repair-gaps 是承诺到证明（promise-to-proof）流程中位于 /prove 之后的修复步骤。它消费源契约、证明结果、匹配的候选对象以及具体未解决的需求 ID，只修复这些缺口，不替代新的证明。前置条件：先阅读验收契约协议，并确认证明所依据的精确契约修订与捕获文本同当前契约一致，且候选身份仍然匹配。
主要能力：针对命名需求做范围最小、深度完整的实现或证据修复；仅编辑命名需求所需的实现或证据；保留源需求与已有有效检查；实现命名结果所需的状态、不变量、持久化与失败行为；复用已约定的接缝与独立判定基准；运行聚焦检查并审视 diff。修复后重查契约，报告修复前后候选、改动文件、已解决需求、改动证据与剩余缺口。
用法：接受 .p2p/work/<slug>/contract.md 及其关联输入、candidate.json、proof.md，也接受指向同一工作项的显式证明引用。工作流结束后写出并重新读取 .p2p/work/<slug>/repair.md、留存证据与更新后的紧凑 candidate.json 身份，按历史规则保留旧报告与候选记录，并把 .p2p/ 排除在候选之外。结果为 REPAIRED、NO CHANGE 或 BLOCKED 三种，均不构成验收；结尾须写明：Fresh /prove required before acceptance。
限制：绝不通过弱化契约来迁就修复；若需改变承诺或引入新的重要接缝，应报告为 blocked 并交回显式裁决，经过授权的实质变更需要新修订与新证明。不得 publish、commit、push 或宣布 PROVEN。输入陈旧、含糊或不可用时须报告 BLOCKED 且不做编辑。若缺少授权编辑，仅为审阅性的发现应走 /implement-contract，且不替代所需的 NOT PROVEN 证明。可复用经验只能作为 learning candidates 线索交给 /retrospect，不得据此改变契约、需求 ID、阶段判定、范围或许可。具体命令、路径外的配置项与更多细节暂未在资料中提供。