用途：这是 Manifest executor（清单执行器），按清单中 Deliverables 的顺序推进工作，并逐一验证每项 Acceptance Criterion 与 Global Invariant。Acceptance Criteria 与 Global Invariants 是约束层，Gate 是唯一能使其保持开放的东西；Process Guidance 属建议性内容，可权衡而非强制执行，若偏离需在终端路径与执行日志中明确说明。Initial Approach 与 Deliverable 顺序亦属计划而非契约，可根据实际情况调整并同样注明偏离。
主要能力：支持以 --verification 选择验证模式（per-gate 默认、consolidated、self），并加载对应参考文件；--verifier-model <model> 可选，用于独立模式；--exhaustive-verification 决定 Judgment Gate 是否每次重读完整变更。Gate 分为 judgment 与 deterministic 两种必需类型，不声明种类即视为无效。执行前需读取并校验每个 Gate，旧 schema 需通过 /define 重建而非迁移。评估器只评估不修复，无法读取路径返回 BLOCKED。每次评估返回 PASS、FAIL 或 BLOCKED 并附具体证据，通过 gate ledger 记录最新结论、证据、新鲜度、验证模式等。所有 Gate 在所选模式下取得新鲜 PASS 是完成工作的必要且充分条件，随后调用 /done 并停止。
使用方式：执行前解析执行策略，选定验证模式并加载一个匹配参考；对每个候选 Gate 在所选参考的执行信封中进行评估，可并行仅在参考支持时进行。按轮次而非按修复验证：同一提交的发现一次性处理后再复验。遗留 BLOCKED 通过 /escalate 路由，可重试的阻塞按间隔重验。修复后 FAIL 仍可候选，新鲜 PASS 则不再重跑。
适用场景与限制：适用于需要按 manifest 逐项验证交付物与验收标准的执行流程。限制包括：未声明 kind 的 Gate 无效；不执行旧 schema 的迁移；验证模式、验证器模型来源与 --exhaustive-verification 状态在运行期间固定，不可因成本、轮次或发现而更改；不得用无证据的自证或“看起来完成”替代执行 Gate 要求。具体收费、价格与平台信息暂未提供。