用途：repair-proof 是 promise-to-proof 流程中 /prove 之后的修复步骤。它读取来源契约、证明结果、匹配的候选版本以及具体未解决的需求编号，只修复这些缺口，绝不替代新的证明。修复前需阅读验收契约协议，并针对所列需求做最小而完整的修复（范围收敛、深度完整）。
主要能力与用法：工作流为读取确切的来源契约修订版与 NOT PROVEN 证明结果，确认候选版本身份与未解决需求编号，在获得授权编辑时对所列需求实施最小完整的实现或证据修复，保留已给出的授权，运行聚焦检查并检视改动差异，最后重新检查契约，报告修复前后的候选版本、改动文件、已处理需求、变更的证据与剩余缺口，并以“Fresh /prove required before acceptance.”结束。
约束：修复前须确认证明所依据的确切契约修订版与抓取文本和当前契约一致，候选版本身份仍然匹配；只编辑所列需求所需的实现或证据；保留来源需求与已有有效检查；实现所列结果所需的状态、不变式、持久化与失败行为，这些编号不授权无关改进或推测性机制，应复用既定的接缝与独立判定基准。绝不为了迁就修复而弱化契约；若需要改变承诺或引入有后果的新接缝，应报告为 BLOCKED 并交回显式处理；经授权的实质性变更需要新的修订版与证明。不得发布、提交、推送或宣布 PROVEN。若输入过期、含糊或不可用，报告 BLOCKED 且不编辑。
结果与交接：结果为 REPAIRED（已完成范围改动且聚焦检查通过）、NO CHANGE（未做安全或必要的改动并说明原因）或 BLOCKED（输入或所需能力不可用或过期）。三者都不代表验收通过，必须由新的 /prove 运行依据全部需求评估变更后的候选版本。交接格式包含契约、契约快照、修复前后候选版本、已处理需求、改动文件、变更的证据、聚焦检查与剩余缺口等字段。
适用场景：适用于按需求编号修复实现或证据缺口、并需保留可追溯证明链条的流程。限制：不宣布验收，不弱化契约，不进行未授权改动，输入不明确时只能阻塞。关于收费、价格、平台等信息资料未提供。