用途：verify 是 droid-control 工作流中由编排器路由进入的后台知识原子，用于把最终交付物与工作流开始时作出的承诺逐条核对。它用于交付物验证，不直接调用。
输入：来自命令 parse 步骤的承诺（对交付物内容的约定），以及 compose 输出（成品及其元数据）。compose 是可选的：原始桌面截图/状态和驱动的证据交接也可以作为交付物。需验证任务的 postcondition，而不只是动作的退出状态或 effect 字段。
状态词表：每个步骤、检查与 postcondition 只能取 PASS（观察到 postcondition 为真）、FAIL（观察到 postcondition 为假，属发现项）、BLOCKED（无法观察，如捕获不可用、权限等待未解决、缺二进制或连接、环境阻止；需说明阻塞原因与解除条件）。BLOCKED 不得并入 PASS 或 FAIL；含 BLOCKED 步骤的交付物不完整，除非用户接受部分证据。verify 的判定（CONFIRMED/REFUTED/INCONCLUSIVE）针对证据是否充分，而非步骤状态：依赖 BLOCKED 步骤的断言判定为 INCONCLUSIVE，但 INCONCLUSIVE 也涵盖所有步骤都运行却仍无法判定断言的场景。
视频交付物：先对最终 .mp4 运行 ffprobe，再做完整解码。检查项包括存在且可解码、分辨率匹配合成分辨率、像素格式为 yuv420p 与 bt709、文件大小、时长符合公式与节奏表、文件名含 PR 号。承诺检查包括标题卡、并排布局、展示打磨、按键叠加、效果层级、速度说明等。内容检查需抽取帧实际查看，确认每个证明点、前后状态、最终状态、无超过 3 秒的空档。
截图/快照交付物：对证明需检查证据存在、环境说明、结论、前后配对；对 QA 报告需检查步骤覆盖、证据附件、失败记录、报告结构。
失败处理：识别问题产生的阶段（capture 或 compose），报告具体失败，回到失败阶段修复并重新验证；在每条承诺满足前不得报告交付物完成。
输出示例包含技术、承诺与内容三部分清单。