用途：execute-ticket 负责单张工单的质量循环，从语义基线、实现、聚焦简化、评审隔离门、QA 协调到验证交接。它不负责从文件夹选择工单、解析旧式 Markdown、更新运行台账、移动工单文件、提交、推送、创建或编辑 PR、合并或清理工作树。
主要能力与用法：消费调用方提供的规范化 Ticket Envelope。默认 skills-only 通道加载 skills-only 契约，输入无需 runner，交接为简短说明，除非需要完整记录。输入需包含规范化信封与工单正文、仓库/工作树路径与允许文件范围、来源与当前 CandidateRef、验收标准与显式兼容要求、质量重试上限及已打开的工单级门。拒绝过期 CandidateRef 和未解决的实现启动 HITL 门；仅人工验证门可保持打开，但会限制最终处置。
质量循环：仅检查建立语义基线所需的代码、测试、规格与当前文档；按仓库要求获取当前一手文档。将验收标准转为可观察测试与不变量，行为变更时按测试先行流程：复现 RED、实现 GREEN、再重构。仅实现工单范围，保留无关用户改动，除非显式要求兼容否则不加兼容垫片。执行检查前应用验证准入与每次尝试成本，验证交付物图、选择因果与强制检查、保留所有先前尝试与当前剩余预算，不因候选变更自动重复完整套件。通过叶子清单与内容寻址引用传递，执行叶子声明的规范化字节输入输出上限，预算耗尽的部分结果继续而不丢弃剩余范围。GREEN 后通过 code-simplification 做聚焦清理，任何编辑后重跑受影响检查。冻结候选差异与 CandidateRef，调用只读 code-review，仅在观察到独立上下文隔离时才称其为独立，期间不得编辑。发现阻塞项则变更候选、使先前评审/QA/审计证据失效并从相关阶段重试，达到配置重试上限即停止。通过 qa-test-plan 构建 QA 计划，漂移后重新检查验证准入，保留旧证据原身份，仅执行可行且授权的检查，如实分类观察结果，模拟证据不得变为实时。除非 skills-only 以简短说明结束，否则将工单 ID、信封引用、冻结 CandidateRef、评审结果、QA 计划/结果、门、提供方记录与请求操作交给 verification-audit，由其单独输出规范验证记录与声明上限。
交接：返回结构化结果，含工单 ID、信封引用、CandidateRef、变更路径与验收标准状态、运行命令与观察结果、保留的尝试/分片、每次消耗、未知成本、当前剩余预算、完整套件重复原因、评审发现与重试次数、QA 计划与已执行证据引用、各叶子的规范化执行模式/隔离/并行标志/授权引用、已验证的验证记录或确切验证错误、未解决的人工/凭据/提供方/实时环境门。不得据此交接声称完成、PR 已开、已集成或生产就绪；规范验证缩减限制声明，交付状态需 Autopilot 通道的调度器回执，或 skills-only 中单独授权的调用方交付与提供方回读，二者均不能从实现完成推断。
限制：不选择工单、不解析旧式 Markdown、不更新台账、不移动文件、不提交推送、不创建编辑 PR、不合并、不清理工作树；不自动重复完整套件；模拟证据不得当作实时；未提供具体安装命令、价格或平台信息。