用途：在限定的变更范围内，把显式规格契约与实现进行一致性核验，聚焦接口/签名、参数与返回类型、schema、标识符规则、不变量等可机械观察的要求。
主要能力：先确定权威规格与变更实现边界，抽取显式契约，再将其映射到变更范围内的实现模块；使用与语言相适配的解析/阅读方式检查实现，不把 grep 失败或语言不支持当作不存在的证据；将范围内的不一致归类为 CONTRACT VIOLATION，将明确要求却无实现证据的归类为 CONTRACT GAP；报告期望证据、实际证据、精确位置及不匹配点；仅当范围内每个显式契约都已检查后才报告 clean。
使用方式：提供权威规格与变更范围，指明需核验的契约集合，然后按上述流程比对并输出违规与缺失报告。资料未提供具体安装或调用命令。
限制：不得推断规格未声明的契约；不审查代码风格、设计偏好或一般正确性，除非它们本身是显式契约；不检查未被改动模块拥有的契约，除非核验范围明确包含它们。