用途：针对“本不该发生却发生了”的系统状态，用最小改动设计可强制的不变量。它把不变量提案当作待裁决的主张，而非直接加检查。
主要能力：采用 OWNER-FIRST、反例驱动、归纳、权威门控、源头求真、策略归属、见证一致、夹具感知、失败关闭等模式。默认使用 Authority-Gated v1，要求候选不变量 ID、工件与方向状态标识、反例轨迹或“当前无反例”说明、所有者/范围/真源证明、转移与归纳覆盖、强制边界选择、异常与策略归属检查、生成/校验/见证一致性、夹具前置条件对齐、验证计划，以及权威包回执与否决处理，并在实施或移交前通过 Invariant Gate。
使用方式：先做即时扫描，记录 artifact_state_id 与 direction_state_id，再回答状态所有者、原始边界、允许转移、当前失败最小轨迹、身份语义、异常所有者、见证所有者、夹具前置条件、保护层级等问题；随后将候选分类为 accepted、candidate、downgraded、rejected、unresolved、blocked，并给出路由（enforce-now、validate-only、proof-only、defer、no-change、blocked）。重大不变量可启用自定义 Codex 权威代理分工（反例、所有者范围、归纳、边界、见证一致、验证、怀疑者）。
限制：本技能自身不实施修复，除非另有技能明确拥有实施权；未提供所有者、范围、真源、反例、归纳覆盖、边界与验证的不变量不予接受；存在未决否决时禁止 enforce-now；压缩模式仅限探索性草图；确切的安装命令、价格与平台信息暂未提供。