用途：对 nlspec 进行机械式审查，重点检查一致性、声明可追溯性、接缝质量与跨度。适用于规格编写完成后，或通过“两个泵”进行任何修订之后。
主要能力：审查前先加载规格编写标准，并完整阅读规格及其引用文档后再报告。审查分为多个 pass，需全部运行并按 pass 报告发现：一致性检查术语与重复规则在正文、表格、示例和伪代码中的漂移；声明可追溯性双向检查，确保每个完成定义声明可追溯到指定行为，且每个指定行为服务于某个声明或既定目标；接缝审计检查每个单元的职责、边界、契约和预算是否齐备，契约能否用记法标准表达，Parnas 测试是否在每个接缝成立，并标记合并或拆分候选；声明分类验证每个声明的单元局部与集成标签及其路由单元；可推导性抽查判断规格已回答的决策是否可被两位有能力的读者推导出相同答案，以及未回答的决策是否会在接缝、声明、预算或排除处产生分歧；泵卫生确认自上次审查以来的修订是否通过 spec-defect 升级或催化转换器到达，且转换器新增内容为行为声明而非意见或理由文字。
使用方式：加载规格编写标准，阅读完整规格及引用文档，运行所有 pass，按 pass 报告发现。报告缺陷时需包含位置、捕获该缺陷的 pass 以及建议的修订。不要静默修复，修订需经过 HITL。对于重要规格，可通过 /request-adversarial-review 提供独立审查；若发现需要裁决，可使用 /consensus。
限制：资料未提供具体安装命令、收费、价格、平台或效果信息。