hypothesis

Use when a part of a system, a plan, or a document must not go wrong in any order or for any input and tests cannot reach the case — a race, a retry, a multi-step state, money, a permission, an irreversible effect, a schedule or plan that must be the best possible, a result needed under a time or memory limit, two documents that must agree, or code before and after a refactor that must behave the same. Trigger On '$baransu:hypothesis', '假說', '證明所有順序都不會壞', '最壞情況', '這個模組不能出錯', '文件有沒有矛盾', '是否滿足', '最佳化', '重構前後等價', 'model-check this'. Not for finding the cause of a failure ($baransu:hunt) or replaying on the real app ($baransu:prove-it).

Version

0.1.0-codex

Compatibility

Designed for Claude Code; ported to Codex.