用途：将实现与其验收契约、范围和工程义务进行对照审查，本技能只做检查与隔离诊断，不修复代码、测试、配置或契约，也不提交、推送、合并、部署、改标签、发评论或审批，发布属于另外授权的工作流。
主要能力：先捕获契约与审查范围，接受 issue 或契约引用、PR URL 或实现交接，解析显式输入后再用 PR 元数据或交接补全，不擅自选择无关 issue 或便利的对比基线。按协议位置约定读取源、规范契约、待定修正与父契约，保留 ID、边界、排除项、约定接缝与独立判定源，并应用仓库、安全与兼容性约束。
对切分子项，取分解、父快照、贡献映射与前置结果，检查前置是否真实就绪，只审查子项完整贡献与继承约束。审查前固定候选与对比身份：分支或 PR 需确定实际 head、base、merge base 与预期变更集；工作树范围含所请求的已暂存、未暂存、删除及相关未跟踪内容。必要时用可复现快照。若范围、契约或候选身份无法可靠建立则返回 BLOCKED。
三轴检查：契约符合度（缺失或部分结果、状态与错误与不变量、生产接线、边界、夹具特化行为、遗漏的源承诺）；范围与简洁性（未请求行为、投机依赖与基础设施、无消费者的机制）；工程质量（适用标准、回归、有具体后果的可维护性、安全与兼容性与数据完整性、薄弱断言与误导性证据）。每个范围内需求需有实现审查、发现或明确检查限制，可用紧凑覆盖图，不另建验收矩阵。
使用方式：以 /critique 审查提案、/prove 验证验收作区分；调用前先读验收契约协议。修复类发现交给明确授权的 /implement-contract；契约缺失、源承诺遗漏、实质冲突或承诺变更交回 /acceptance-contract。报告按协议存储与传递规则保存，候选变更后需刷新审查。
限制：审查不等于验收证明或合并批准；/prove 输出缺失本身不是缺陷；无开放 PR 或全局 CI 通过也可审查；不得修改契约或调用下游技能；无法确定身份时不得给出 REVIEWED 结论。未提供具体收费、平台或代码示例信息。