用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/devcodex-labs/devcodex --skill cp-gate命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
正在显示 SKILL.md
| name | cp-gate |
| description | 执行 CP1(需求确认)/ CP2(方案确认)与条件 CP3(实施计划确认)。CP1→CP2 强制按序,CP3 按工作流能力矩阵判定。 |
CP 门控不受 ENV_MODE 影响。dev/prod 均强制保持 CP1→CP2 顺序;CP3 是否 required 由工作流/子类型/风险决定:
| ENV_MODE | CP 行为 |
|---|---|
prod(默认) | CP1→CP2 强制按序;命中 CP3 条件时再确认实施计划 |
dev | 同 prod;额外执行完整规范与方案验证,不扩大 CP3 触发面 |
⛔ CP 是用户交互机制(确认需求/方案/计划),与规范验证无关。CP1/CP2 必须确认;CP3 未触发时必须记录
N/A + subtype/risk evidence,不得伪装成已确认。 CP 跳过路径:显式@devcodex-auto、全局默认@rocky、Profileconfig.json的extensions.devcodex.autoAliases替换别名或明确自然语言 auto 授权(如“进入 auto 模式执行”);这是 Agent 级行为,与 ENV_MODE 无关。
工作流能力的唯一结构化事实源为 ../routing/workflow-capabilities.json;本文件只拥有确认交互和 CP3 细化条件。
CP1 前后必须使用 workflow-plan-decision.v1.schema.json 与 hooks/_runtime/workflow-plan-decision-v1.cjs 形成唯一决策对象:
ceremonyTier=simple|standard 只决定流程仪式,designDepth=minimal|standard 只决定技术方案深度,assuranceLevel=targeted|affected|full 只决定验证路由;任一轴都不得反推其他轴。extensions.devcodex.workflowRouting 配置 > 智能识别 > 回退”。Profile 配置只提供流程仪式默认值,不得覆盖用户当前意图,也不得降低验证或强制义务。phase=precheck,完成唯一项目与有界项目事实读取后形成 phase=post-context;只有实际 scope 扩张才形成 phase=scope-expansion。PC8 必须说明二次判断是否变化及原因。mandatoryObligations;simple/minimal/targeted 不能省略这些义务,也不能自行获得 SimpleTaskFastPathLeaseV1。ImplementationComplexityLevel / ImplementationComplexityPreference 仅供读取兼容并只映射到 designDepth;禁止新 CP、Prompt、Skill 或产物继续写入旧字段。当用户选择
@devcodex-auto、全局默认@rocky、Profile 配置的 auto 替换别名,或在文本宿主中明确自然语言授权 auto(如“进入 auto 模式执行”“全自动继续”“run in auto mode”)时:
@devcodex-auto、全局默认 @rocky、项目 Profile extensions.devcodex.autoAliases 替换别名与明确自然语言 auto 授权;配置了 autoAliases 时该列表替换全局默认别名,空数组表示关闭默认别名;模糊提及、询问 auto 规则、普通“继续”或未生效昵称不等价于 auto 授权stickyAuto(TTL 与 sticky 项目同量级);后续同 session 无别名的“确认/继续/补充”保持 executionMode=auto,直到显式退出(退出 auto / 关闭自动模式 / exit auto mode / 切回确认模式)或 sticky 过期/换会话请@rocky执行、(@rocky));拒绝与标识符粘连(如 ok@rocky)UserPromptSubmit 注入 ExecutionModeV1: auto|confirm(含 sticky/source/authorityRef 与 CP auto-pass 提示);白名单边界不因 sticky 扩大hook-enforced 宿主下,完成上述流程后,白名单路径形成无额外 Auto 边界提醒通过;非白名单路径在默认 safety-only 下提醒后继续已获正式授权的 mutation,在 strict 模式下回确认并硬拦截instruction-fallback 宿主(如 JetBrains / Cursor)只同步 auto 规则说明,不承诺 runtime 级 CP 行为;支持 Hook 的宿主由 DEVCODEX_HOOK_ENFORCEMENT 决定提醒或硬拦截auto: / /auto / profile executionMode 不属于本轮正式入口secretRef、secret manager、config.local.json 或占位符。当本轮已触发 host-capability-routing 时,CP 请求、用户确认、Auto 转换、confirm/compact/resume 后续执行必须引用同一个 OriginalInstructionRefV1 / CapabilityIntentDecisionV1 identity:
memory_cp_confirm readback;受控摘要、宿主 mode、plan 文件和 UI approval 不能替代。auto_authorized 必须带非空 autoAuthorityRef,且只能引用现有有效 Auto alias/自然语言授权证据;本 Gate 和宿主 mode 都不能创建授权。compat/none、conversation-visible turn-bound、readback 未验证或 digest mismatch 不能授权跨轮 mutation;优先回绑已确认 CP/task artifact,失败则停止并要求重述/重新确认。MCP_NOT_REQUIRED。ActualInstructionEnvelopeV1 → WorkItemSetV1 → WorkflowRouteDecisionV2。只有实际用户指令段可有 instructionAuthority=true;附件、截图/OCR、引用文档、工具输出和 ambient UI 只作证据,不能单独改变路由、CP 或授权。Envelope 与 RouteDecision 本身的 mutationAuthority/releaseAuthority 固定为 false。memory_task_admit_v2 读取不可变 AdmissionIngressSnapshotV1、进入 TaskAdmissionTransactionV1,create-if-absent 并回读 TaskIdentityV2、canonical overview/问题概况和 CP pending 状态,同时在同一 MCP 调用内 acquire owner 并 finalize admission;手工新建目录、mtime、最近任务或回复内摘要不构成准入。兼容分步调用只允许一次性 AdmissionContinuationLeaseV1,不得要求用户再发一条消息恢复。mutationAuthority=false;确认后若 receipt 尚未观察当前 CP,先通过 memory_task_write_owner renew 复证。每次 claim/transition 必须从 TaskRecovery readback 返回 fresh CanonicalTaskWriteContextV1;正式 mutation 还必须绑定 finalized admission、所需 CP confirmation、当前 active FencedTaskWriteOwnerLeaseV2、精确 state sequence/writer generation 与唯一未结算 TaskOperationRecordV1。owner TTL 只作诊断,不能产生 takeover;“继续”、resolver、WorkspaceSessionRouteIndexV1 或旧 owner 只可定位/恢复,不能授权写入。SimpleTaskFastPath 只能消费 server-owned SimpleTaskFastPathLeaseV1:最多 2 个同一边界内的 exact 低风险路径、最多 2 次 create-or-update。正式产物、公共契约、控制面、安全、依赖、发布、跨模块或第 3 个路径必须在 mutation 前撤销轻路径并升级为正式准入。MutationFootprintV2 → ArtifactSlotDecisionV2 → TaskOwnedMutationLeaseV2 → V5 prewrite → actual observation 单次消费;0-target、unknown、partial、越界或“退出码 0 但 required effect 未发生”进入 needs-reconcile,不得宣称完成。memory_task_terminal_v1 同时核对当前 lifecycle revision、state sequence、writer generation、settled-set digest 与 ECR/report/memory/completion 四类独立证据;存在未结算/待 reconcile operation 时必须阻断,成功后写 terminal lineage 并立即解绑 route/owner,相同 replay 零新写;后续只有显式 reopen 可获得 revision+1 与新 generation/nonce。| CP | 名称 | dev | fix | 目的 |
|---|---|---|---|---|
| CP1 | 需求/问题确认 | 🔴 必须 | 🔴 必须 | 确认 AI 理解与用户一致 |
| CP2 | 方案确认 | 🔴 必须 | 🔴 必须 | 确认技术方案可行后再编码 |
| CP3 | 实施计划确认 | 条件触发 | 条件触发 | 确认任务拆分、顺序、依赖、验证和回滚后开始逐文件执行 |
| 工作流 | 条件 |
|---|---|
| dev.default / dev.refactor / dev.database / dev.optimization | 必须 |
| dev.docs | 豁免 CP3;必须在需求级记忆或报告中记录 CP3: N/A(docs 子类型豁免) |
| dev.init | 豁免 CP3;必须在需求级记忆或报告中记录 CP3: N/A(init 子类型豁免) |
| dev.scenario-test | 必须 |
| dev.plan-review | N/A(自身为方案评审,不递归进入 CP3) |
| fix | ≥5 文件变更 或 含高风险操作 |
| fix | 其他场景 → 可选 |
| dev/fix SimpleTaskFastPath | 目标明确、预计 ≤2 个同一边界 exact 低风险路径、无公共 API/Schema/依赖/配置/发布/控制面/台账来源/高风险、无需多轮跟踪,且已取得 server-owned SimpleTaskFastPathLeaseV1 时,允许 CP1/CP2 用内联摘要 + 报告/记忆承载;租约最多 2 次 create-or-update,未触发的 00-需求概况.md / 00-需求变更概况.md / 00-问题概况.md / 01-需求确认.md / 01-产品需求.md / 01-需求变更确认.md / 01-问题确认.md / 04-实施计划.md 记为 N/A + skipReason |
| ExistingRequirementArtifactOverride | 用户调整/修改/补充既有需求/问题且已有需求或 bug 真相源时,必须先更新已有文件;产品直接提供完整需求时,正式准入创建 00-需求概况.md(仅来源/映射概况)并以原样 01-产品需求.md 为 CP1 产品真相源,产品正文只给产品填写完整 PRD,AI / 研发缺口 / 冲突检查记录在 00、CP1 摘要、02-技术方案.md 或报告中,不改写 01;需求变更优先使用 00-需求变更概况.md / 01-需求变更确认.md 并回写目标需求真相源;SimpleTaskFastPath 只允许不新建完整产物,不能用回复替代文件回写 |
| ArtifactDecisionMatrix | CP1/CP2/CP3/ECR 按任务规模列出关键产物 create / update / skip / N/A,判定优先级为已有真相源回写 > 任务触发条件 > SimpleTaskFastPath > 子类型豁免 |
高风险操作:DDL 变更 / 共享配置文件、package.json、CI 或生产配置变更 / 文件删除 / 直接影响生产环境的修改。env、secretRef、secret manager 或 config.local.json 仅在用户 / 项目明确指定时作为连接配置入口。
R12 顺序索引:方案 → PR-1 → 确认 CP2 → PR-2~PR-7 → CP3 → 编码。交叉:
dev-plan-reviewR9(确认 CP2 前须 PR-1 证据);lifecycle R10(控制面写复用checkCpGate,默认 safety-only 放行时 Honesty 披露cp2-unconfirmed-write)。R9 现状(F-05):Hook 在 Stop 上对「请确认 CP2 / 确认技术方案」等话术做
pr1-skipped硬续(有02-技术方案且无强 PR-1 证据时)。不是「用户点确认按钮前」的 UI 硬拦;模型仍须在呈确认前自检 PR-1。强证据须为独立03-*方案复审*:open blocker = 0(或明确 PR-1 通过句)且实质章节(映射/契约/CodeTruth/Blocker/根因等 ≥2),正文达到最小长度;禁止仅 thinopen blocker = 0、仅表格PR-1 | ✅、或有 02 时仅 sessions 一行。禁止「某某通过」假绿。R10 现状(F-06):控制面写路径复用
checkCpGate。DEVCODEX_HOOK_ENFORCEMENT=strict→ PreTool deny;默认 safety-only → 提醒放行 + Honestycp2-unconfirmed-write。控制面任务推荐 strict。
WorkspaceSessionRouteIndexV1 命中都只定位任务;必须从 exact route/project/task binding、sessions 与绑定 artifact digest 复证 CP,并重新取得当前 owner/mutation lease。缺失/漂移返回 stale-confirmation 或 needs-reconcile 并回对应阶段,不能把 继续<任务名>任务 当作新确认、自动重开或写权TaskAdmissionTransactionV1 单写者先 create-if-absent 并回读 identity、canonical overview/问题概况和 CP pending,禁止先手工拼目录再补准入。dev/requirements 必须先判定入口类型:纯新需求且无产品角色 → 00-需求概况.md + 01-需求确认.md + <任务>/.memory/sessions.md;有产品角色直接提供完整需求 → 00-需求概况.md(仅来源/映射概况)+ 原样 01-产品需求.md + <任务>/.memory/sessions.md,产品正文只给产品填写完整 PRD,AI / 研发缺口 / 冲突检查记录在 00、CP1 摘要、02-技术方案.md 或报告中,不改写 01;需求变更 → 00-需求变更概况.md + 01-需求变更确认.md + 回写目标需求真相源;历史目录的 01-需求概述.md 仅作兼容。fix/bugs → 00-问题概况.md + 01-问题确认.md,也允许使用 01--问题确认与CP1.md、02--技术方案与CP2.md 这类报告等价承载 CP1/CP2;CP3 → 04-实施计划.md。命中有效 SimpleTaskFastPathLeaseV1 时,允许不创建需求/bug 目录,用内联 CP 摘要 + 报告/记忆替代,但必须记录 N/A + skipReason 和升级回退条件;若命中 ExistingRequirementArtifactOverride,则必须先增量编辑已有真相源,回复内联摘要不得替代文件回写。所有场景必须用 ArtifactDecisionMatrix 说明每个产物是 create、update、skip 还是 N/A。05-实施进度.md 不是小任务默认必产物;当任务跨 2 轮以上会话、存在明确阻塞、用户要求持续跟踪、CP3 计划拆为多批次、预计修改 ≥10 文件或命中控制面/模板/validate/部署副本联动时,必须在执行前创建并在每批完成后更新。默认前提是已存在 04-实施计划.md;docs/init/plan-review 等 CP3 豁免场景可使用已确认文档大纲、任务切片或 ContextHandoffCard 作为等价计划锚点。CP3: N/A(<子类型> 子类型豁免),让 hook/fallback 能区分“合法豁免”和“遗漏确认”。| 用户响应 | 处理方式 |
|---|---|
| ✅ 确认("可以"/"没问题"/"确认") | 进入下一阶段 |
| ✏️ 修正("X 部分改为 Y") | 应用修正后重新输出当前 CP,等待再次确认 |
| ❌ 拒绝("不对"/"重来") | 回退到当前 CP 重新分析 |
| ?追问 | 回答后重新输出当前 CP,等待确认 |
| 🔀 模糊(含批评/情绪/意图不明) | 不得推进,必须明确询问再等待显式响应 |
hooks/_runtime/review-execution-contract.cjs 的 selectReviewClass,lifecycle 未接线前由本表驱动 Agent):| c19Label(用户面) | reviewClass | 选用条件 |
|---|---|---|
| 轻量 | R1 | 低风险单文件、纯文案、SimpleTaskFastPath;无公共契约/多真相源/发布/控制面/安全/文档消费者;必须 skipReason |
| 标准 | R2 | 默认 post-confirmation;或 changed>2 / affected>changed |
| 全面 | R3 | 公共 API/配置、跨模块注册链、运行时安全、package/adapter、文档消费者、控制面、多真相源、用户要求全面、长周期/多轮收敛 |
| 发布安全 | R4 | security/release 风险、发布阶段、claims 含 full、或输入不全 fail-closed |
reviewScope · stage=post-confirmation · cpPhase · riskClass · riskFlags · reviewClass · c19Label · contentPack · blockers · result · skipReason(仅 R1 降级)· independentEvidence(R3/R4)· negativeEvidence(R2+)· authorSelfReviewOnlyreview-checklist 文件并冻结范围、维度、证据路线和状态字段dev-plan-review PR-2~PR-7,不能只写“轻量自洽”skipReasonaudit 或扩大扫描范围🔴 ConfirmBindingGate:控制面、多文件、Hook/MCP/CLI/分发、或用户要求 digest 绑定时,CP 确认必须绑定 确认前 产物全文
artifactPath + version + artifactSha256。
🔴 禁止确认后仅改产物头部/状态字段再刷新 hash 仍保持同一 ✅(必须标stale并重确认)。
🔴 ClosureEvidenceGate:宣称 closed / 可确认下一 CP / 可实施 时,每条 P0 须双列designEvidence+runtimeOwners(writer|reader|schema|probe);仅有设计段落 → 最高partial,禁止写「可确认 CP3 / 可实施」。
🔴 ReReviewRuntimeFirstGate:用户说「已调整 / 再审」时,先绑 hash、先问 runtime 假绿,再做旧 finding 打勾。
🔴 RequiredCandidateEvidenceGate:CP1/CP2 请求确认前必须检查候选审查包。CP1 要求
CandidateReviewBundleV1 + phaseKind=CP1 + RQMatrix + DomainRealityMatrix + ClaimEvidenceMatrix + EscapeAbsorptionQueue;CP2 要求CandidateReviewBundleV1 + phaseKind=CP2 + TDMatrix + BlockerSnapshot + ClaimEvidenceMatrix。缺失、陈旧、存在 open blocker 或软确认绕过时,确认状态必须停在当前 CP 并修订产物。 机器探针:npm run test:candidate-review-bundle/scripts/lib/candidate-review-bundle.js;分类为review-ready才能进入确认,review-incomplete、blocked、stale、confirm-blocked均不得包装为用户可确认状态。
控制面推荐写入(digest 扩展表):
### CP 确认记录
| CP | 状态 | artifactPath | version | sha256 | sourceMessage | confirmedAt |
|:--:|:----:|--------------|---------|--------|---------------|-------------|
| CP1 | ✅ | `01-需求确认.md` | v0.4.0 | `ABC…` | 确认 CP1 | 10:30 |
| CP2 | ⏳ | — | — | — | — | — |
| CP3 | ⏹️ | — | — | — | — | — |
memory_cp_confirm { requirement, kind, phase, time, artifactPath, artifactVersion, artifactSha256, sourceMessage }
artifactPath + artifactSha256 是必填控制绑定,服务端会 对照磁盘重算 hash,不一致则拒绝写入MEMORY_CP_CONFIRMATION_UNBOUND、零写入且不得生成伪 ✅;不存在仅靠 phase/time 的确认兼容通道readCpConfirmations 对含 sha 的行执行 verifyArtifactDigest;不匹配则视为未确认validate-closure-evidence-controls)🔴 hook 读取此格式:
hooks/_runtime/lifecycle.cjs通过读取.devcodex/requirements/<任务名>/.memory/sessions.md或.devcodex/bugs/<任务名>/.memory/sessions.md判断 CP 确认状态。legacy 正则为| CP[123] | ✅ |;digest 扩展表在 sha 与磁盘一致时才算 ✅。格式不符或 digest 不匹配则 hook 视为"未确认";默认safety-only下输出提醒并放行,strict模式下阻断代码写入工具(Write/Edit/apply_patch)。
每次用户确认 CP 后,立即在对应任务目录的 .memory/sessions.md 写入或更新(控制面优先 digest 扩展表;小任务可用 legacy 三列表):
### CP 确认记录
| CP | 状态 | 时间 |
|:---:|:----:|-------|
| CP1 | ✅ | 10:30 |
| CP2 | ⏳ | — |
| CP3 | ⏹️ | — |
✅ 已确认 · ⏳ 等待确认 · ⏹️ 未开始 · stale 正文已变须重确认memory_cp_confirm(控制面带 digest 字段)报告中「CP 确认记录」表:
| CP | 状态 | 用户响应 | 时间 |
|:--:|:----:|---------|------|
| CP1 | ✅ | 确认需求理解正确 | HH:MM |
| CP2 | ✏️→✅ | 修正后确认方案 | HH:MM |
| CP3 | ✅ | 确认实施计划 | HH:MM |
| CP3 | N/A | docs/init/plan-review 子类型豁免 | HH:MM |
详细变更分级规则见
instructions/10-dev.instructions.md §变更管理。
| 变更级别 | 判断条件 | 处理方式 |
|---|---|---|
| 🟢 微调 | 不影响已确认的接口/行为/范围 | 继续执行,记录偏离原因 |
| 🟡 扩展 | 追加功能点或调整非核心接口 | 回 CP2 补充确认后继续 |
| 🔴 重大 | 影响核心接口/数据模型/范围边界 | 必须回 CP1 重新确认 |
| 产出物 | 模板 |
|---|---|
| CP1/CP2/CP3 确认格式 | prompts/cp-checklist.prompt.md |
🔴 FC7 强制(v1.9.5+,PI-005 规范化):所有用户决策节点必须有且仅有 1 个 🟢 推荐项 + 一句话推荐理由。
适用范围:
用户确认语义必须先表示为宿主无关的 ConfirmationRequest,再由宿主适配层选择按钮、权限提示、Hook 阻断或文本 fallback;这是语义层抽象,不要求 runtime 逐字输出一个同名对象;禁止把按钮 UI 写成全宿主能力。
ConfirmationRequest
- id
- kind: cp_gate | destructive | high_risk | ambiguity | approval
- severity: forbid | require_completion | warn_continue | log_only
- question
- options
- recommendedOption
- evidence
- fallbackText
- auditLogRequired
| 能力层级 | 使用场景 | 行为 |
|---|---|---|
structured_buttons | Claude Code SDK / VS Code Chat Extension 等明确支持按钮或多选的宿主 | 渲染按钮或结构化多选 |
tool_permission_prompt | Claude SDK / Copilot CLI 等权限审批流 | 暂停等待 allow/deny |
hook_block_reason | Codex/Claude/Copilot hooks strict | 硬拦并输出原因与下一步 |
text_confirm | Cursor/JetBrains/repository instructions fallback | 明确文本等待确认 |
audit_only | 非阻断低风险 | 记录原因后放行 |
{
"questions": [{
"question": "选择哪个方案?",
"header": "方案选择",
"multiSelect": false,
"options": [
{
"label": "方案 A(推荐)",
"description": "推荐理由:[实证依据 / 风险权衡 / 性价比 一句话]"
},
{
"label": "方案 B",
"description": "代价:... 适用场景:..."
},
{
"label": "方案 C",
"description": "代价:... 适用场景:..."
}
]
}]
}
格式要求:
(推荐) 字样**选项**:
| 选项 | 描述 | 推荐 |
|------|------|:---:|
| 🟢 A | 方案 A 描述 / **推荐理由**:... | ⭐ |
| B | 方案 B 描述 / 代价:... | |
| C | 方案 C 描述 / 代价:... | |
关联:PI-005(维护态记录按 active-root 写入,例如
.devcodex/<project>/data/process-improvements.md) · FC7
PostConfirmationReviewScopeGatereview-checklistdev-plan-reviewskipReason本轮修复 / 已关闭 / 延后 / 另起任务,并把验收口径写入 CP1 产物;禁止只列新增问题而漏掉用户已指出或上轮已确认的问题。data/*.md 的 open/partial 项时,进入正式确认前必须先把候选项分类为 pure-open / residual-tail / already-fixed / misclassified;非 pure-open 项须先回写状态并修正本轮范围,不得把 stale-open 条目继续按纯 open 统计。CodeTruthEvidenceMatrixGate,至少绑定 repo path、符号/契约、当前行为、反证探针和差距;多方案收敛后触发 UniqueRecommendationBeforeConfirmGate,只能保留一个推荐方案或一个明确组合推荐。禁止收敛后用「你希望哪种 / A/B/C 点选」代替唯一推荐(NoPreferenceMenuAfterConvergenceGate)。完成态 / 收口「下一步」另受 UniqueNextStepRecommendationGate 约束:禁止 free-text「做 A 或做 B」并列(classifyNextStepOrForkSample / PF-172)。01-需求确认.md / 02-技术方案.md / artifactPath);禁止无路径点选。机器探针:classifyCpArtifactBeforeConfirmSample → missing-cp-artifact 失败。CodeTruthEvidenceMatrix(或 Gate 名 + repoPath/currentBehavior/negativeProbe);机器探针:classifyCodeTruthMatrixAtCpSample → missing-code-truth-matrix 失败。artifactPath+artifactSha256/ConfirmBindingGate(classifyControlPlaneDigestSample);禁止把「作者自审」标成「独立审查」(classifyAuthorSelfReviewBoundarySample)。TimeoutOwnership:同步 I/O 不得宣称 wall-clock 硬超时假绿(见 release-verification / MCP 文档边界)。closed / canceled / archived / user-canceled 时,禁止把同一目录改回 active/candidate 或增量写 00/01 冒充新开。必须新建需求/bug 目录,旧目录仅可追加 superseded/related marker 或被新目录引用。机器探针:classifyClosedArtifactNoReviveSample → revive-allowed-invalid 失败;npm run test:executable-absorption-gates。activeTask(或等价任务名)、phaseKind/CP 状态、sourceDelivery=none|started|partial|complete、唯一 nextAllowedAction。禁止把「CP3 候选计划已生成 / 04 已存在」渲染为「源码已在实施」。仅 CP3 confirmed + 05 存在 + 可验证 source mutation 才可 sourceDelivery=started。探针:classifyTaskPhaseProjectionSample → phase-fail。