用途：invariants 是 bencium-loop 循环所依赖的顺序与证据规则集合，集中声明一次，供各命令引用；各命令只携带自己特有的规则。
主要能力：顺序不变量包括 PLAN → BUILD（用户批准计划前不得编辑实现文件，PROTOTYPE 例外，只写一次性文件）、RED → GREEN（先观察到声明的失败测试按预期原因失败，再改实现）、VERIFY（本地）→ DEPLOY（有检查失败则不部署）、DEPLOY → SMOKE（[deployed] 行只对线上 URL 评估，只有 SMOKE 可翻转并保留标签）。证据不变量包括：勾选前必须有可指认的证据（文件路径、grep 命中、命令输出、HTTP 状态）；未评估的检查视为失败，零评估即 FAIL；被做局的通过视为 FAIL。
强制状态：PLAN → BUILD、VERIFY → DEPLOY、[deployed] 行仅由 SMOKE 翻转由钩子强制（plan-gate.sh、deploy-gate.sh、acceptance-gate.sh），但仅存在于 Claude Code；在 Codex、opencode 和粘贴式对话中，以上全部只是提示词约定。RED → GREEN、勾选前需证据为“要求”而非强制；工作流结果中行不消失由工作流脚本代码保证。
自定义：项目步骤的顺序依赖可写在 .harness/rules.md 的 Ordering invariants 标题下，代理每次会话读取，缺少前置步骤时拒绝执行；每条需写明原因。
限制：规则数量增加会降低指令遵循度，新增硬规则应移除或合并一条，否则需在 CHANGELOG 说明；tests/rule-budget.test.mjs 检查每命令的行数与规则预算，超限即失败，但只衡量体量，不衡量是否仍被遵守。