用途：针对选定的功能或实现，按本次运行约定的有限验收契约进行验证，产出可核查的证据，说明需求、可观察行为、失败用例与运行门禁是否满足。
主要能力：先界定功能范围（仓库、工作树、基线、含未提交改动的差异、环境），只盘点变更面、直接调用方与命名的外部接口；记录需求、操作、变体、预期结果、检查与浏览器观察 ID。命令型分支直接执行声明检查，不加载模型预览；需要 worker 的分支才解析 validate-* 路由并绑定已批准快照。支持复用证据、控制重试次数、区分产品行为、测试脚手架、环境、运行门禁与未决策略等失败类别。
使用方式：将验证计划、证据包与 ledger 放在源码、构建和依赖扫描根之外的独立运行目录；计划以绝对路径与 SHA-256 绑定初始快照。按 references 中的 run-control、test-methods、model-selection 等指引执行，使用 review_evidence.py run-check 运行检查并记录浏览器观察。先跑低成本相关检查，再跑契约需要的集成与用户流程；每单元产出限定 ID 的证据包，全部通过后导出一份完整包。
适用场景：功能验收前的端到端验证、需要向审查者证明行为符合契约、需要在限定范围内诊断与修复缺陷。
限制：仅限用户已有授权范围；生产写入、外部消息、部署、提交与发布需单独授权。源码发现不等于执行证据，未解发现需限时并转为阻塞。缺失共享库会阻塞依赖工作；缺失外部运行器属于可用性阻塞，不得静默替换模型或降低断言。资料未提供具体命令、配置示例、支持平台、价格与性能数据。