@namewta/speculo 0.3.4 → 0.5.0

package/template/workflows/specdev/P-goal-plan/P-goal-plan.md

@@ -4,12 +4,12 @@ type: workflow-entry
 workflow: specdev
 name: 目标规划
 description: 在协调复杂度需要时，将 Ready Spec、Tickets、架构决策与外部约束综合为决策完备的跨 Ticket 编排计划。
-keywords: [目标规划, 编排, DAG, Gate, Wave, Lead, Subagent, 迁移, 证据]
+keywords: [目标规划, 编排, DAG, Gate, Wave, Lead, Subagent, checkpoint, 派单, 迁移, 证据]
 ---
 
 # 目标规划
 
-Goal Plan 只解决单个 Ticket 无法独立决定的事情：跨 Ticket 顺序、并发、共享所有权、里程碑 Gate、集成验证、迁移与发布顺序、偏差升级和恢复。它不是 Ticket 的放大版，也不按固定章节数量衡量质量。
+Goal Plan 只解决单个 Ticket 无法独立决定的事情：跨 Ticket 顺序、并发、共享所有权、里程碑 Gate、Agent 交付、集成验证、迁移与发布顺序、偏差升级和恢复。它不是 Ticket 的放大版，也不按固定章节数量衡量质量；每个 Ticket 的独立 Dispatch Packet 是 Goal Plan 的执行入口，不是第二份 Ticket。
 
 产物写入 `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>`。
 
@@ -54,9 +54,10 @@ Spec 或 Tickets Map 不存在时，返回 `<Path>{roots.workflows}/specdev/S-sp
 
 1. 验证 Spec Ready、Ticket Ready、合同覆盖、DAG、路径所有权和 Deep Ticket 完整性；
 2. 只读探索会影响调度的代码事实和项目约束；
-3. 识别 coordination、migration、high-assurance、reference-conformance 等可组合模式；
-4. 只对无法发现且会改变 Gate、Wave、owner、迁移或批准点的问题向用户提问；
-5. 不熟悉的外部标准或依赖使用 `<Path>{roots.workflows}/specdev/common/skills/research/SKILL.md</Path>`。
+3. 识别 coordination、migration、high-assurance、reference-conformance 等可组合规划模式；
+4. 在 `direct`、`native-subagent`、`external-web-subagent` 中选择唯一 execution model，并固定 Lead、源码 checkpoint、上下文交付和逐动作授权；
+5. 只对无法发现且会改变 Gate、Wave、owner、执行模型、迁移或批准点的问题向用户提问；
+6. 不熟悉的外部标准或依赖使用 `<Path>{roots.workflows}/specdev/common/skills/research/SKILL.md</Path>`。
 
 任何硬停止问题都必须退回拥有该决策的上游工件，不得用 Goal Plan 覆盖。
 
@@ -69,7 +70,10 @@ Spec 或 Tickets Map 不存在时，返回 `<Path>{roots.workflows}/specdev/S-sp
 3. 为 shared path、共享合同和集中变更指定唯一 owner；
 4. 为行为闭环、合同稳定、迁移完成、发布就绪等关键状态定义 Gate；
 5. 明确 expand → migrate → contract、Evidence 返回和集成规则；并行写代码时使用 `<Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>`；
-6. 将每个 Ticket 需要的执行上下文压缩成派单载荷，不复制整个历史对话。
+6. 以 `operation=plan` 调用 `<Path>{roots.workflows}/specdev/common/skills/subagent-delivery/SKILL.md</Path>`，生成里程碑 Delivery Contract 和每个 Ticket 可独立投递的 Dispatch Packet；
+7. 派单块只携带实现所需的权威引用、边界、基线、验证、恢复和返回字段，不复制完整历史对话或 Ticket 全文。
+
+**完成标准**：DAG、Wave、Gate 与 Tickets Map 一致；每个计划 Ticket 都有唯一 owner、基线和可恢复派单块。
 
 ### 3. 定义整体完成、证据与恢复
 
@@ -78,8 +82,11 @@ Spec 或 Tickets Map 不存在时，返回 `<Path>{roots.workflows}/specdev/S-sp
 1. 将整体目标、非目标和权威来源压缩为一个可审查摘要；
 2. 定义整体 Definition of Done 和每个 Gate 的关闭证据；
 3. 固化跨 Ticket 不可协商约束；
-4. 定义偏差等级、暂停范围、批准人和恢复动作；
-5. 定义进度回报、Evidence 汇总、残余风险和回滚要求。
+4. 区分不可违反约束与可由实现者调整的建议；
+5. 定义实测基线、反向验证、防伪完成、偏差等级、修正上限、暂停范围、批准人和恢复动作；
+6. 定义进度回报、Evidence 汇总、残余风险和回滚要求。
+
+**完成标准**：所有完成声明能映射到实际命令、代码状态、Evidence 或人工批准；没有 provider 自报即通过的门禁。
 
 ### 4. 写入自适应 Goal Plan
 
@@ -96,6 +103,8 @@ Spec 或 Tickets Map 不存在时，返回 `<Path>{roots.workflows}/specdev/S-sp
 
 Ticket 较多时在 Execution Graph 内增加速查表；不创建独立的第二套状态来源。
 
+Goal Plan 不受单次 `/goal` 字符上限约束。需要粘贴到外部 Agent 时，只投递对应 Ticket 的 Dispatch Packet 及其指向的权威材料。
+
 ### 5. 同步与验证
 
 1. 将 Wave、Gate 和 owner 投影同步到 `<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>`；
@@ -108,8 +117,9 @@ node <Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path> \
 ```
 
 4. 更新 `<Path>{roots.state}/specdev/status.json</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>`；
-5. 向用户汇报模式、关键路径、Wave、Gate、shared owner、迁移策略、主要风险和 Ready 状态；
-6. 未经用户要求，不自动进入实现。
+5. 原子写入 Goal Plan 和同步投影后重新读取，确认 execution model、Lead、checkpoint、授权、Wave/Gate 与派单块一致；
+6. 向用户汇报规划模式、execution model、关键路径、Wave、Gate、shared owner、checkpoint、迁移策略、主要风险和 Ready 状态；
+7. 未经用户要求，不自动进入实现。
 
 ## 决策完备标准
 
@@ -120,6 +130,7 @@ Goal Plan 必须让执行 Lead 或实现者无需重新决定：
 - Gate 开启、关闭和证据；
 - 迁移、兼容、收缩、发布和回滚顺序；
 - Agent 派单上下文、Evidence 返回和集成规则；
+- execution model、Lead、checkpoint、上下文交付、修正上限和逐动作授权；
 - 偏差等级、暂停范围和批准路径。
 
 Goal Plan 不应重复：
@@ -134,6 +145,7 @@ Goal Plan 不应重复：
 - `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>` 已写入且只包含适用内容；
 - 所有计划内 Ticket Ready，DAG 无环，合同覆盖明确；
 - Wave、Gate、owner、集成、偏差和恢复可执行；
+- 每个计划 Ticket 的 Dispatch Packet 可独立定位权威输入、路径合同、验证和恢复点；
 - Tickets Map 投影已同步；
 - 无未批准高影响假设或硬停止问题；
 - `<Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path>` 无 error；
@@ -146,3 +158,4 @@ Goal Plan 不应重复：
 - 完成、证据、偏差与恢复：`<Path>{roots.workflows}/specdev/P-goal-plan/completion-control.md</Path>`
 - Goal Plan 模板：`<Path>{roots.workflows}/specdev/P-goal-plan/goal-plan-template.md</Path>`
 - 并行 Ticket worktree：`<Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>`
+- Agent 交付合同：`<Path>{roots.workflows}/specdev/common/skills/subagent-delivery/SKILL.md</Path>`

package/template/workflows/specdev/P-goal-plan/completion-control.md

@@ -9,7 +9,8 @@ Goal Plan 用紧凑摘要表达：
 - 所有计划 Ticket 完成后的可观察终态；
 - 关键约束；
 - 明确非目标；
-- 权威来源和冲突规则。
+- 权威来源和冲突规则；
+- 看似有主路径但违反边界、数据、兼容或证据要求的伪完成判据。
 
 不复制 `<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>` 的完整用户故事。
 
@@ -19,10 +20,12 @@ Goal Plan 用紧凑摘要表达：
 
 - 所有计划内 Ticket 完成，cancelled 或 deferred 项有批准；
 - 所有 Spec 验收合同和外部符合性要求有 Evidence；
-- 项目类型检查、静态检查、测试、lint、构建和适用 CI 完成；仅 UI 交互受影响时由 Lead 完成 E2E；
+- 项目类型检查、静态检查、测试、lint、构建和适用 CI 完成，测试数量、skip/todo、覆盖率或等价基线没有未经批准的退化；仅 UI 交互受影响时由 Lead 完成 E2E；
+- 可静默失效的关键门禁完成受控反向验证并恢复绿色；普通门禁有明确不适用结论，不为形式破坏环境；
 - 迁移、兼容、调用点清零、监控、回滚和不可逆批准完成；
 - 无未批准偏差和未处置高风险残余问题；
-- Ticket、Map、Goal Plan、Evidence 和状态一致。
+- Ticket、Map、Goal Plan、Evidence、源码 checkpoint 和状态一致；
+- provider 或 Worker 自报结果均已由 Lead 核对，未核对项保持 `unverified`。
 
 ## 3. Gate 关闭仪式
 
@@ -32,14 +35,17 @@ Goal Plan 用紧凑摘要表达：
 2. 检查对应合同和参考符合性；
 3. 检查共享接口、数据、兼容、迁移和调用点；
 4. 运行里程碑级验证；仅 UI 交互受影响时由 Lead 运行最小 E2E；
-5. 审查失败分类、偏差、残余风险和恢复能力；
-6. 获取适用人工批准；
-7. 同步 `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>`、`<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>` 和状态工件。
+5. 对会出现“坏了但仍绿色”的关键门禁运行受控反向验证，记录失败信号和恢复后的通过证据；
+6. 审查基线退化、失败分类、偏差、残余风险和恢复能力；
+7. 获取适用人工批准；
+8. 同步 `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>`、`<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>` 和状态工件。
 
 ## 4. 不可协商约束
 
 只记录跨多个 Ticket 且不可由实现者改变的规则，例如数据完整性、wire format 兼容、旧协议收缩条件、shared owner、安全要求、发布窗口、回滚演练和批准点。
 
+每条约束同时说明违反后果。可由实现者沿现有惯例选择、且不改变行为或风险的事项写入 Guidance，不伪装成硬约束。
+
 来源必须指向：
 
 - `<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>`；
@@ -60,10 +66,14 @@ Goal Plan 用紧凑摘要表达：
 - 哪些 Evidence 失效；
 - 重新开始的条件。
 
-## 6. 风险与恢复
+## 6. 风险、修正与恢复
 
 每个高风险项写明：触发信号、事故半径、预防措施、检测方式、恢复动作、owner 和批准点。迁移或发布计划必须给出回滚不可行时的前向恢复方案。
 
+每个 Dispatch Packet 记录 checkpoint、workspace/session locator、最近已验证 Evidence 和 `max_correction_rounds`。默认同一验收项最多修正 3 轮；达到上限后暂停当前 Ticket 和受影响 Wave，保留已通过行为，形成包含失败命令、最小错误、责任方和恢复条件的 blocker。
+
+恢复时依次读取 `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>`、当前 Ticket、最新 Evidence 和 `<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>`。从最后已验证 checkpoint 继续，不重复询问已确认事实，也不创建额外进度或阻塞文件。
+
 ## 7. 进度与决策回报
 
 使用可核验状态，不使用主观百分比：
@@ -72,8 +82,11 @@ Goal Plan 用紧凑摘要表达：
 WAVE_STATUS wave=<n> ready=<ids> active=<ids> done=<ids> blocked=<ids>
 GATE_STATUS gate=<name> state=open|closed evidence=<paths> risks=<summary>
 TICKET_STATUS id=<id> state=<state> evidence=<path> deviation=<none|id>
+DELIVERY_STATUS id=<id> model=<model> checkpoint=<sha> locator=<ref> corrections=<n> unverified=<items|none>
 BLOCKER id=<id> owner=<owner> needed=<decision-or-input> impact=<scope>
 DECISION id=<id> owner=<owner> status=pending|approved|rejected impact=<scope>
 ```
 
 具体路径必须以完整 Path 标签 形式填写。
+
+**完成标准**：进度可由权威工件恢复；所有通过、阻塞和未验证声明均能定位到具体 Evidence 与源码 checkpoint。

package/template/workflows/specdev/P-goal-plan/goal-plan-template.md

@@ -19,6 +19,8 @@ ready_for_execution: false
 
 ### Outcome
 
+### Success and False Completion
+
 ### Non-goals
 
 ### Authoritative Inputs
@@ -68,9 +70,45 @@ ready_for_execution: false
 
 ## 4. Execution and Integration Protocol
 
-### Dispatch Payload
-
-并行写代码时记录统一 `base_sha`，并为每个 Ticket 指定分支、`workspace_ref` 和 worktree owner。
+### Delivery Contract
+
+| 字段 | 值 |
+|---|---|
+| Execution model | direct / native-subagent / external-web-subagent |
+| Lead / Provider | `<owner>` / `<provider-or-none>` |
+| Repository / Branch | `<repository-or-local>` / `<branch-or-n/a>` |
+| Checkpoint policy | immutable SHA / local baseline |
+| Source delivery | none / repository-url / source-package / combination |
+| Max concurrency / corrections | `<n>` / `3` |
+| Review | standards + spec + Lead verification + conditional E2E |
+
+### Authorization Matrix
+
+| 动作 | 状态 | 目标与条件 |
+|---|---|---|
+| Local changes | allowed / not-authorized | ... |
+| Commit | allowed / not-authorized | ... |
+| Push / PR / Merge | allowed / not-authorized | ... |
+| Deploy / Migration | allowed / not-authorized | ... |
+| Production configuration / feature / real user data | allowed / not-authorized | ... |
+
+### Per-Ticket Dispatch Packets
+
+#### Dispatch: T-01
+
+- **Goal / observable result：**
+- **Priority on conflict：** correctness > contract completeness > speed，或当前项目裁决
+- **Implement / Ticket：** `<Path>{roots.workflows}/specdev/I-implement/I-implement.md</Path>`；`<Path>{roots.state}/specdev/changes/{change}/ticket/01-<name>.md</Path>`
+- **Authority / dependencies：** 相关合同、ADR/CONTEXT、已完成依赖 Evidence
+- **Wave / Gate / hard constraints：**
+- **Writable / read-only / shared owner：**
+- **Baseline / branch / workspace or session locator / package hash：**
+- **Preflight receipt：** 在 `<Path>{roots.state}/specdev/changes/{change}/evidence/T-01.md</Path>` 记录目标、顺序、最大风险和基线差异，不超过 10 行
+- **Verification / baseline / reverse check：**
+- **Authorization / deviation / correction limit：**
+- **Return：** 状态、Evidence、locator、最终 checkpoint、commit/PR、未验证项、待 Lead E2E
+
+并行写代码时记录统一 `base_sha`，并为每个 Ticket 指定分支、`workspace_ref` 和 worktree owner。每个派单块可以独立投递，但不复制完整 Ticket 或历史对话。
 
 ### Ticket Execution
 
@@ -84,6 +122,12 @@ Worker 将 Ticket 推进到 `review`，返回 Ticket ID 与状态、Evidence 路
 
 ### Non-negotiable Constraints
 
+每条包含来源和违反后果；局部实现自由进入 Guidance。
+
+### Verification Integrity
+
+记录不可修改的判卷接缝、基线非退化条件、禁止的伪绿色方式，以及仅对静默失败风险执行的受控反向验证。
+
 ### Migration or Release Sequence
 
 ### Risks, Monitoring and Recovery
@@ -96,8 +140,16 @@ Worker 将 Ticket 推进到 `review`，返回 Ticket ID 与状态、Evidence 路
 
 ### Current Status
 
+记录 Wave/Gate、Ticket、checkpoint、workspace/session locator、修正轮次和未验证项；不使用主观百分比。
+
 ### Pending Decisions and Blockers
 
+达到修正上限时记录最后可信 checkpoint、失败命令、已通过行为、owner 和恢复条件。
+
+### Resume Protocol
+
+恢复时读取本 Goal Plan、当前 Ticket、最新 Evidence 和 change 状态，从最后已验证 checkpoint 继续。
+
 ### Reporting Format
 
 ## Assumptions

package/template/workflows/specdev/P-goal-plan/orchestration-protocol.md

@@ -1,6 +1,6 @@
 # Goal Plan 编排协议
 
-本文件定义 DAG、Wave、Gate、路径所有权、Lead/Subagent、worktree、Evidence 返回和集成规则。
+本文件定义 DAG、Wave、Gate、路径所有权、Delivery Contract、Dispatch Packet、Evidence 返回和集成规则。
 
 ## 1. DAG 与关键路径
 
@@ -58,58 +58,62 @@ Gate 由可验证状态定义，不用“完成若干 Ticket”作为唯一条
 
 收缩不得仅以“所有迁移 Ticket 已完成”为依据。
 
-## 6. Lead/Subagent
+## 6. Lead 与 Delivery Contract
 
-Lead 负责基线、DAG、Wave、shared owner、Gate、Evidence 汇总和集成；不抢做已派发 Ticket 的实现。
+Lead 负责源码基线、DAG、Wave、shared owner、Gate、权限、Evidence 汇总和集成；已派发 Ticket 的实现由对应执行者负责，Lead 不制造双重 owner。
 
-并行写代码且配置允许时，Lead 为每个 Ticket 调用 `<Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>`：
+Goal Plan 选择唯一 execution model：`direct`、`native-subagent` 或 `external-web-subagent`。Lead 以 `operation=plan` 调用 `<Path>{roots.workflows}/specdev/common/skills/subagent-delivery/SKILL.md</Path>`，生成里程碑级 Delivery Contract；Implement 阶段以 `operation=execute` 调用同一 Skill 做恢复和验收。
 
-- 所有并行 Ticket 固定同一 `base_sha`，每个 Ticket 使用独立分支和 `workspace_ref`；
-- Lead 创建、恢复、集成和清理；Worker 只把状态推进到 `review`；
-- 只读调查和顺序执行不为形式创建 worktree。
+Delivery Contract 必须固定：
 
-每个 Agent 的最小读取顺序：
+- execution model、Lead、provider 和可恢复 workspace/session locator；
+- repository、branch、不可变 checkpoint 与源码交付方式；
+- 最大并发和默认 3 轮的 `max_correction_rounds`；
+- 标准轴、规范轴、Lead 独立验证和条件性 E2E；
+- local changes、commit、push、PR、merge、deploy、migration 和生产动作的逐项授权；
+- 完成、阻塞、偏差、恢复和返回协议。
 
-1. `<Path>{roots.workflows}/specdev/I-implement/I-implement.md</Path>`；
-2. `<Path>{roots.state}/specdev/changes/{change}/ticket/{ticket-file}.md</Path>`；
-3. `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>` 中适用的 Wave、Gate 和硬约束；
-4. `<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>` 中相关合同；
-5. `<Path>{roots.state}/specdev/changes/{change}/ADR.md</Path>` 和 `<Path>{roots.state}/specdev/changes/{change}/CONTEXT.md</Path>` 中相关条目；
-6. 项目级 Agent 指令和当前代码事实。
+并行写代码且配置允许时，Lead 为每个 Ticket 调用 `<Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>`。所有并行 Ticket 固定同一 `base_sha`，每个 Ticket 使用独立分支和 `workspace_ref`；Lead 创建、恢复、集成和清理，Worker 只推进到 `review`。只读调查和顺序执行不为形式创建 worktree。
 
-不把完整历史对话、全部 Ticket 或无关研究塞入 Agent 上下文。
+**完成标准**：整个 Goal Plan 只有一个 execution model 和 Lead；每个高影响动作都有明确授权状态。
 
-## 7. 派单载荷
+## 7. Dispatch Packet
 
-派单必须包含：
+每个计划 Ticket 都生成一个可独立投递的 Dispatch Packet。它不是 Ticket 副本，而是进入权威工件和当前基线的紧凑入口，至少包含：
 
-- Ticket ID 与 `<Path>{roots.state}/specdev/changes/{change}/ticket/{ticket-file}.md</Path>`；
-- 基线 SHA、分支和 `workspace_ref`；
-- 项目写、只读和 shared 路径；
-- 已完成依赖及其 Evidence；
-- 合同 ID；
-- 适用 Wave、Gate 和跨 Ticket 约束；
-- 必须执行的验证矩阵；
-- 偏差升级方式和禁止修改事项。
+1. Ticket ID、目标、可观察完成结果和优先级冲突裁决；
+2. `<Path>{roots.workflows}/specdev/I-implement/I-implement.md</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/ticket/{ticket-file}.md</Path>`；
+3. 相关 Spec 合同、ADR/CONTEXT 条目、Wave、Gate 和不可协商约束；
+4. 已完成依赖及其 `<Path>{roots.state}/specdev/changes/{change}/evidence/{ticket-id}.md</Path>`；
+5. 项目 `writable_paths`、`read_only_paths`、`shared_paths` 与唯一 shared owner；
+6. `base_sha`、branch、workspace/session locator 和 source package hash；
+7. 必跑验证、基线指标、可静默失效门禁的反向验证，以及明确不适用项；
+8. 当前授权、偏差升级、修正上限、Evidence 路径和返回字段。
+
+派单块将不可违反项写为 Hard Constraints，将低影响实现自由写为 Guidance。执行者必须先核对 checkpoint、项目指令、路径和验证命令，再在 Ticket Evidence 记录不超过 10 行的开工回执：目标、执行顺序、最大风险和发现的基线差异。事实不一致时停止受影响路径并升级，不用更详细文字掩盖失效前提。
+
+Agent 的最小读取顺序为 Implement work、当前 Ticket、Goal Plan 中适用的 Delivery Contract/Dispatch Packet、相关 Spec/ADR/CONTEXT、项目 Agent 指令和当前代码事实。不投递完整历史对话、全部 Ticket 或无关研究。
+
+**完成标准**：每个 Dispatch Packet 可在新上下文中定位全部权威输入、边界、基线、验证、恢复点和返回目标。
 
 ## 8. Evidence 返回与集成
 
 Agent 完成或阻塞时：
 
-1. 写入 `<Path>{roots.state}/specdev/changes/{change}/evidence/{ticket-id}.md</Path>`；
+1. 写入 `<Path>{roots.state}/specdev/changes/{change}/evidence/{ticket-id}.md</Path>`，包含实际修改、命令与退出状态、验收映射、反向验证、修正轮次、checkpoint 和未验证项；
 2. 同步 Ticket、Tickets Map、Goal Plan 和 change 状态；
-3. 向 Lead 返回 Ticket ID 与状态、Evidence 完整路径、`workspace_ref`、commit 或 PR 引用，以及仅在用户界面交互受影响时由 Lead 执行的待办 E2E。
+3. 向 Lead 返回 Ticket ID 与状态、Evidence 完整路径、workspace/session locator、最终 checkpoint、commit/PR 引用和条件性 Lead E2E。
+
+Lead 接收原生或外部候选交付时：
 
-Lead 集成时：
+1. 读取 Dispatch Packet、Ticket、Evidence、Goal Plan 和对应代码引用；
+2. 检查 checkpoint、附件 hash、路径授权、依赖和敏感信息边界；
+3. 在隔离基线上应用交付，复跑定向验证和受影响回归；
+4. 仅当用户界面交互受影响时，由 Lead 运行最小 E2E；
+5. 将 provider 声明、模拟结果和静态推断保持为 `unverified`，直到有独立证据；
+6. 验证通过后集成，并按 dev-worktree Skill 更新或清理 worktree；
+7. 同步 Ticket、Map、Evidence 和 Goal Plan，检查 Gate 是否可关闭。
 
-1. 读取 Ticket、Evidence、Goal Plan 和对应代码引用；
-2. 检查路径授权；
-3. 复跑定向验证；
-4. 合并或应用变更；
-5. 运行受影响回归；
-6. 仅当用户界面交互受影响时，由 Lead 运行最小 E2E；
-7. 按 dev-worktree Skill 更新或清理 worktree；
-8. 同步 Ticket、Map、Evidence 和 Goal Plan；
-9. 检查 Gate 是否可关闭。
+同一验收项达到修正上限时标记 blocker，记录最后 checkpoint、错误、已通过行为、责任方和恢复条件。逻辑冲突返回契约 owner 解决，不机械选择某一侧版本。
 
-逻辑冲突返回契约和 owner 解决，不机械选择某一侧版本。
+**完成标准**：每个完成声明可追溯到 Lead 核对的代码状态和 Evidence；失败也具有可恢复的最后可信 checkpoint。

package/template/workflows/specdev/P-goal-plan/planning-modes.md

@@ -13,6 +13,8 @@
 - [ ] 可能并行的 Ticket 项目写路径不相交，或已有 shared owner 与排序方案。
 - [ ] Deep Ticket 具备迁移、兼容、监控、回滚、收缩条件和批准点。
 - [ ] Ticket 与 Spec、ADR、代码事实不存在未处理冲突。
+- [ ] 项目声明的验证命令真实存在且能观察目标行为；不可运行项有替代证据或明确 blocker。
+- [ ] 当前源码基线、工作区状态和外部合同版本已实测，而非使用浮动的“最新”描述。
 
 ## 2. 硬停止
 
@@ -26,7 +28,9 @@
 - Ticket 与 `<Path>{roots.state}/specdev/changes/{change}/ADR.md</Path>` 的已接受决策冲突；
 - Deep Ticket 缺少关键迁移或恢复信息；
 - 当前代码事实使 Ticket 的核心行为、接口或验证不可执行；
-- 必需外部合同或参考权威不可获得。
+- 必需外部合同或参考权威不可获得；
+- 选择 delegated execution，但 Lead、checkpoint、可恢复 locator 或交付通道无法建立；
+- 用户要求的远程或生产动作没有逐动作授权。
 
 按 `<Path>{roots.workflows}/specdev/common/rules/artifact-contract.md</Path>` 和 `<Path>{roots.workflows}/specdev/common/rules/deviation-control.md</Path>` 返回真正拥有该决策的工件。
 
@@ -54,17 +58,47 @@
 
 模式可以组合。仅有线性低风险 Ticket 时不应为了形式生成重型 Goal Plan。
 
-## 4. 模式摘要
+## 4. 执行模型与交付事实
+
+规划模式描述“为什么需要治理”，execution model 描述“每个 Ticket 怎样被执行”，两者不得混为同一枚举。每份 Goal Plan 只选一个主 execution model：
+
+- `direct`：Lead 或当前执行者直接运行 Ticket，不创建子代理交付通道；
+- `native-subagent`：Lead 可直接管理隔离 Agent，写代码并行时配合 `<Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>`；
+- `external-web-subagent`：通过网页 provider 交付，输出在 Lead 独立核对前保持候选状态。
+
+选择模型前先发现当前平台能力、项目配置和用户请求。只有用户明确指定 provider 或交付通道时才把偏好当作约束；否则优先使用能保留隔离、checkpoint 和 Evidence 的现有原生能力。
+
+必须固定：
+
+- `lead` 与不可转移责任；
+- provider 和稳定 workspace/session locator，direct 时为不适用；
+- repository/branch 与不可变 `base_sha` 或等价本地基线；
+- `source_delivery`：none、repository-url、source-package 或 combination；
+- `max_correction_rounds`，默认 3；
+- local changes、commit、push、PR、merge、deploy、migration、production configuration、production feature、real user data 的逐动作授权。
+
+GitHub checkpoint、源码包和 provider 分支由 `<Path>{roots.workflows}/specdev/common/skills/subagent-delivery/SKILL.md</Path>` 按需加载。认证秘密和机器绝对路径不得进入 Goal Plan。
+
+## 5. 模式摘要
 
 写入 `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>` 前形成：
 
 ```text
 modes=<mode-list>
+execution_model=<direct|native-subagent|external-web-subagent>
+lead=<owner>
+provider=<id|none>
 tickets=<count>
 critical_path=<ticket-list>
 parallel_capacity=<n>
+checkpoint=<sha-or-local-baseline>
+source_delivery=<mode>
+max_correction_rounds=<n>
 shared_owners=<owner-map>
 gates=<gate-list>
+authorization=<action-summary>
 hard_stops=<none-or-list>
 adopted_assumptions=<low-impact-only>
 ```
+
+**完成标准**：可组合 modes 与唯一 execution model 分离；源码、交付、权限和恢复字段都有可验证值。