该 skill 用于实现对契约的审查。调用后获权检查代码、做安全的隔离诊断，并把审查报告与证据保存到 .p2p/work/<slug>/。它不修复代码、测试、配置或契约，也不提交、推送、发布评论、批准、改标签、合并、部署或修改外部系统。
主要能力：一是契约忠实度，检查遗漏或部分完成的结果、状态与错误行为、生产接线、边界、夹具特定行为等；二是范围与简洁性，识别未被要求的行为、投机性依赖与基础设施、无消费者的机制；三是工程质量，检查标准适用性、回归、可维护性、安全与兼容性、数据完整性、薄弱断言与误导性证据。
使用方式：接受 .p2p/work/<slug>/contract.md，并发现同目录下 candidate.json、绑定的输入与 implementation.md；也接受可解析到本地工作项的 PR URL 或保存的交接。需先固定候选与比较基线身份，读取实际 diff 及足够上下文。每种发现需给出类别、需求 ID 或约束来源、精确位置、已检查证据、后果与最小有效修正。结论分为 REVIEWED、CHANGES NEEDED、BLOCKED；身份漂移会作废结论。报告以固定模板填写契约、父上下文、候选、比较、稳定性、覆盖与三个轴，并以编号的 Next steps 结尾。
适用场景：在 /prove 验收之前对固定实现做可信审查，或对切片子项、已批准 Epic 交付计划下的工作做审查。限制：缺少 /prove 输出不算缺陷；审查不等于证明或合并批准；发现需修正时交给 /implement-contract，需改契约时交给 /plan-acceptance。