用途：do 是清单（manifest）执行器，按清单中列出的交付物顺序推进工作，并逐一验证每个验收标准（Acceptance Criteria）和全局不变量（Global Invariants）。适用于执行清单、运行计划等场景。
主要能力：验收标准与全局不变量是约束层，是本次运行必须满足的内容，也是唯一能阻止其关闭的门禁（gate）。过程指引（Process Guidance）是建议性的，可权衡后偏离；初始方案与交付物顺序同为计划而非契约，可根据实际情况调整，但任何偏离都需在终端路径（完成摘要、升级载荷或待定摘要）中说明，若保留执行日志也需记入日志。
门禁评估：门禁由标题、正文、可选原因和必需的类型（judgment 或 deterministic）组成，无默认类型且不可推断，未声明类型即为无效清单。判断型门禁的重新验证范围由 --exhaustive-verification 控制，默认关闭即采用 Ratchet 增量方式，开启则每次全量重读变更。
执行策略：--verification 可选 per-gate（默认，每个门禁独立并发验证）、consolidated（单次共享上下文顺序验证）或 self（执行者自评）；选定后需加载对应参考文件。--verifier-model <model> 为可选，仅适用于独立模式。模式、验证器模型来源及是否启用穷尽验证在运行期内固定，不随成本、轮次或发现而变化。
运行方式：评估结果返回 PASS、FAIL 或 BLOCKED 并附具体证据；门禁账本记录最新判定、证据、新鲜度、验证模式与评估器来源。所有验收标准与全局不变量均获得新鲜的、有证据的 PASS 是完成的必要且充分条件，之后调用 /done。可执行的 BLOCKED 通过 /escalate 处理。
限制：清单路径无法读取时记为 BLOCKED 而非 FAIL；评估器只评估、不修复工件；同一主题两次评估结论相反本身即为发现。资料未提供具体安装命令、收费与平台信息。