@namewta/speculo 2.0.4 → 2.0.6

package/template/workflows/specdev/specdev-i-implement/SKILL.md

@@ -20,13 +20,13 @@ metadata:
 
 ## 当前票的执行入口
 
-执行先读取 <Path>{roots.workflows}/specdev/common/rules/execution-policy.md</Path>，确定 Spec/Ticket、执行方式与工作区三个独立选择；完整获批 Spec 不因范围较大而强制拆票，已有 Ready Ticket 不强制补 Goal。执行必须读取 `<Path>{roots.workflows}/specdev/specdev-i-implement/references/implementation-procedure.md</Path>` 和 `<Path>{roots.workflows}/specdev/specdev-i-implement/references/execution-preflight.md</Path>`；执行过程按当前阶段路由设计、TDD、双轴审查和 Evidence；预检单独拥有 Git、workspace、Ready 与授权检查。两者必读，分支参考只在对应 workspace/风险/阶段进入时加载。
+执行先读取 <Path>{roots.workflows}/specdev/common/rules/execution-policy.md</Path>，确定输入，分别选择票据调度、Agent 编排和 change 工作区；完整获批 Spec 不因范围较大而强制拆票，已有 Ready Ticket 不强制补 Goal。执行必须读取 `<Path>{roots.workflows}/specdev/specdev-i-implement/references/implementation-procedure.md</Path>` 和 `<Path>{roots.workflows}/specdev/specdev-i-implement/references/execution-preflight.md</Path>`；执行过程按当前阶段路由设计、TDD、双轴审查和 Evidence；预检单独拥有 Git、workspace、Ready 与授权检查。两者必读，分支参考只在对应 workspace/风险/阶段进入时加载。
 
 UI Ticket 或 Direct Spec 必须读取 <Path>{roots.workflows}/specdev/common/rules/design-contract.md</Path> 与当前批准 DESIGN，核验 design_ref（revision/digest/pages/acceptance）、原型和基线。页面任务按已批准规则实现，不重新选择模板；实际实现证据写入 `Design Conformance`，原型截图不替代生产页面验证。
 
 1. 核验 Ready、授权、owner、真实源与 map 基线；新增计划型票按 `<Path>{roots.workflows}/specdev/common/rules/skill-invocation.md</Path>` 实际调用绑定能力并记录证据。票缺调用契约时先由 Lead 补齐，不猜测。
 2. 保持 codebase-design、design-it-twice 和 TDD 的适用门禁；进入对应实现步骤再读其 reference。派单时调用 共享编排方法；Lead 是唯一 SpecDev 状态写入者。
-3. Ticket 和 Direct Spec 均可在 current 模式串行使用当前 workspace，或在 required 模式使用独立 worktree，E2E 由 Lead 在 current 或 required 的 parent-candidate 完成。实现 commit、父分支推进和集成均需真实授权。
+3. Ticket 和 Direct Spec 的全部执行者复用选定 change 工作区；票据调度和 Agent 编排分别决定。E2E 由 Lead 在稳定输入上验收；checkpoint 可为实际 commit 或工作副本快照，提交/合并按明确授权执行。
 4. 安全、并发、公共接口、数据迁移或用户要求全面审查时展开 `<Path>{roots.workflows}/specdev/common/skills/code-review/references/risk-review.md</Path>`；不为省上下文删减必要检查或限制发现数量。
 5. 写 Evidence、运行适用校验并回读后才推进状态；必需 Skill 失败、验收失败、越界或归属冲突暂停本票及依赖它的分支。无关工作仍由总控继续，不接管他人事务。
 
@@ -44,6 +44,6 @@ UI Ticket 或 Direct Spec 必须读取 <Path>{roots.workflows}/specdev/common/ru
 
 进入实现或审查时读取 <Path>{roots.references}/coordination/coordination-contract.md</Path>；未明确指定时按当前宿主正常执行，App、CLI 等均可，subagent/agent team 属于宿主能力。明确指定 CLI 交互、Herdr 等方式时按选择执行并展开对应参考；编排与 current/worktree 独立，已有授权和选择直接复用。只读取所选工具的当前指南，不固定工具或模型。
 
-`lead` 上下文维护原业务状态和 Evidence；`task` 上下文只处理 Lead 指定目标和阶段，执行同一方法并返回候选、findings、检查和未验证项，不修改正式 Ticket、Map、Goal、Evidence，不递归启动 Goal 或擅自跨 CLI 派单；宿主原生协作遵守原写集和单 writer 约束。未曝光到宿主列表不影响读取真实入口。
+`lead` 上下文维护原业务状态和 Evidence；`task` 上下文处理指定目标、阶段及授权写集，返回候选、findings、检查和未验证项，不修改正式 Ticket/Map/Goal/Evidence，不递归启动 Goal 或擅自跨 CLI 派单。同票可按要求协作，写集和共享资源仍须唯一 owner。
 
 P 在已授权 run/resume 中完成当前实现、审查、验证和同范围修复后继续下一 Ready 任务，不逐票询问“继续”。只读分析或 plan 不执行。双轴审查必须由未参与本范围实现的 Agent 执行，默认派遣一位原生 subagent；已有编排选择沿用于 review，不能由实现者或参与实现的 Lead 自审替代。

package/template/workflows/specdev/specdev-i-implement/assets/evidence-template.md

@@ -1,14 +1,14 @@
 # Evidence: <Ticket ID> — <Ticket title>
 
-本模板按有效计划或当前 I 的 workspace/integration 策略记录实际验证环境；不适用的环境明确写 `not-applicable`，不伪造 source、candidate 或 result 链。Direct Spec 使用本模板时写入 `<Path>{roots.state}/specdev/changes/{change}/evidence/direct-spec.md</Path>`，current 使用实施前基线和最终 checkpoint；required 保存真实 change 工作区集成链，不填 Ticket ID。
+本模板记录选定 change-workspace 上的实际实现与验证，不预造 source/candidate/result。Direct Spec 写 evidence/direct-spec.md；所有执行者复用 README 的 Execution Context，提交与合并仅记录实际获授权的结果。
 
 - **Change：** `<change>`
 - **Ticket：** `<Path>{roots.state}/specdev/changes/{change}/ticket/{ticket-file}.md</Path>`
 - **Spec：** `<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>`
 - **Goal Plan：** `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>` / 不适用
 - **Lead：** `<owner-or-session-locator>`
-- **Workspace/branch：** `<workspace_ref>` / `<branch>`
-- **Base/implementation-or-source/candidate/result SHA：** `<sha>` / `<sha>` / `<sha>` / `<sha>`
+- **工作区：** `<Path>{roots.state}/specdev/changes/{change}/README.md</Path>` 的 execution-context 锚点（唯一实际 workspace/branch/base）
+- **固定交付：** 实际 commit 或工作副本快照/审查输入 locator
 - **状态：** review / done / blocked / deviated / cancelled
 
 ## 1. 实现摘要
@@ -17,16 +17,16 @@
 
 ## 2. Lead Dispatch And Candidate Return
 
-- **执行选择与来源：** 当前宿主正常执行（mode: lead，App/CLI 等）/ 显式 CLI 交互或调用 / Herdr / 其他已选方式；current / required；实际用户选择或有效计划来源，无 Goal 时默认串行、集成尝试上限 3
-- **Implementation owner：** Lead / `<agent/provider>`
+- **执行选择与来源：** ticket_execution=auto/serial/parallel；单 Agent/subagent/team/指定工具的要求来源；README 工作区引用；验证尝试上限缺省 3
+- **Implementation owners：** 实际实现及修复者身份；同票多人时列明各自写集
 - **Dispatch Packet/checkpoint：** Lead direct / `<locator + immutable checkpoint>`
-- **文件交接（实际外部派遣时）：** `<Path>{roots.state}/specdev/changes/{change}/sessions/{session}/{task}/TASK.md</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/sessions/{session}/{task}/REPORT.md</Path>`；绑定稳定 change 身份与 change 根相对 locator，修正交付引用新任务及旧报告；Lead direct 不创建空目录
-- **允许动作：** worktree changes / implementation commit / ...
-- **返回：** commit、dirty 状态、修改路径、非 E2E 命令、未验证项与恢复条件
+- **文件交接（实际外部派遣时）：** `<Path>{roots.state}/specdev/changes/{change}/sessions/{session}/{task}/TASK.md</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/sessions/{session}/{task}/REPORT.md</Path>`，以及实际存在的 `<Path>{roots.state}/specdev/changes/{change}/sessions/{session}/{task}/session-locator.json</Path>`；绑定稳定 change 身份与 change 根相对 locator，修正交付引用新任务及旧报告；Lead direct 不创建空目录
+- **允许动作：** 授权路径写入、检查；commit/merge 仅明确授权时
+- **返回：** checkpoint/快照、dirty 状态、实际实现者、修改路径、命令/退出码、未验证项与恢复条件
 - **Lead 独立核对：** pass / fail；实际读取与命令摘要
 - **只读 Agent findings：** 无 / 固定输入、来源、结论、Lead 核对
 
-任务执行者 不写本 Evidence；以上内容由 Lead 从实际 workspace、Git 和返回事实整理。有文件交接时依 <Path>{roots.references}/coordination/session-files.md</Path> 只保存输入/报告指针和 Lead 独立核验，不复制正文；REPORT 的 completed 不是本 Evidence 的 done。先读报告聚焦交接，细节不足再检索其历史入口。突然中断无报告时记录未知事实与原工具查询结果，不补造成功回报。
+任务执行者 不写本 Evidence；以上内容由 Lead 从实际 workspace、Git 和返回事实整理。有文件交接时依 <Path>{roots.references}/coordination/session-files.md</Path> 只保存交接文件指针和 Lead 独立核验，不复制正文；REPORT 的 completed 不是本 Evidence 的 done。先读报告聚焦交接，细节不足再沿对应定位文件的 path，结合 TASK 内容检索；地址不重复写入 Evidence。突然中断无报告时记录未知事实与原工具查询结果，不补造成功回报。
 
 ## 3. 修改范围与路径所有权
 
@@ -48,11 +48,11 @@
 
 ## 5. Workspace Verification
 
-按有效计划或当前 I 执行合同 记录 current workspace 或 source worktree 检查，并注明运行环境。
+在 README 选定的 change-workspace 记录适用检查；冻结审查/整体测试输入前协调相关 writer 停写。
 
 | 命令或步骤 | 运行环境 | 结果 | 摘要 |
 |---|---|---|---|
-| ... | current-workspace | pass / fail / not-run | ... |
+| ... | change-workspace | pass / fail / not-run | ... |
 
 - **失败后修复与重跑：** 无 / ...
 - **未运行检查：** 无 / 原因与风险
@@ -78,26 +78,15 @@
 
 ## 7. Integration Verification
 
-按有效计划或当前 I 执行合同 记录 direct-parent 或 parent-candidate 集成；未采用的字段写 `null` 或 `not-applicable`。
+Lead 在选定 change-workspace 对固定交付执行适用集成/回归和 E2E。记录命令、退出码、真实观察、输入与运行环境。E2E disposition 为 required 或 not-required: reason；required 未执行/失败不得完成。提交、合并和发布单独列实际授权与结果，不是默认每票门。
 
-| 项目 | 结果 |
-|---|---|
-| Parent before SHA | `<sha>` |
-| Implementation/source SHA | `<sha>` / `<sha>` |
-| Candidate branch/workspace | current / `<branch>` / `not-applicable` |
-| Method/conflicts | direct-parent / fast-forward / merge-commit；无 / paths |
-| Integration checks | 命令、运行环境 `current-workspace`、结果 |
-| E2E disposition | required / not-required: reason |
-| E2E result | pending / passed / failed / not-required；场景与证据 |
-| Parent result/re-read | `<sha>`；HEAD/tree/ancestor 核对 |
-
-集成失败时明确父 HEAD 是否推进、失败命令、旧 SHA 和恢复条件。
+实际运行后在本文件建立 `verification` 锚点，含 `Result: passed|failed`、`Observed: <真实观察>`，有命令时记录 `Command` 与 `Exit`。required E2E 单独可回读段另记 `Owner: <实际 Lead>`。不能以模板标题或 passed 结论自证运行。
 
 ### Failure History And Lead Recovery
 
-| 轮次 | 阶段 | Checkpoint/candidate | 失败事实 | 下一轮变化 |
+| 轮次 | 阶段 | Checkpoint/snapshot | 失败事实 | 下一轮变化 |
 |---|---|---|---|---|
-| ... | implementation / review / direct-parent / parent-candidate | `<sha-or-locator>` | blocker、命令与摘要 | 首次失败待定 / Lead 决定 |
+| ... | implementation / review / workspace-verification | `<sha-or-locator>` | blocker、命令与摘要 | 首次失败待定 / Lead 决定 |
 
 - **共同失败模式：** not-applicable / ...
 - **最可能原因：** not-applicable / ...
@@ -117,9 +106,9 @@
 - **残余风险/已知限制：** 无 / ...
 - **后续 Ticket：** 无 / `<ticket-id>`
 - **监控或回滚触发：** 不适用 / ...
-- **Source commit：** `<sha>`
-- **Parent result：** `<sha>`
-- **Source workspace：** `<workspace_ref>`
+- **已授权 Git 交付：** 实际执行的 commit/merge 或 not-requested
+- **最终交付 checkpoint/快照：** `<actual-locator>`
+- **工作区引用：** `<Path>{roots.state}/specdev/changes/{change}/README.md</Path>` 的 execution-context 锚点
 - **Evidence：** `<Path>{roots.state}/specdev/changes/{change}/evidence/{ticket-id}.md</Path>`
 
 ## Skill Execution Records
@@ -148,11 +137,30 @@
 
 ## Workspace Execution Record
 
-独立 Ticket 或 required Direct Spec 真正开始时，在本节保存本单元 workspace 执行字段的唯一 JSON object：base_sha、parent_branch、workspace/implementation/integration owner、workspace_ref、branch、source_checkpoint、status、integration 的 candidate/result/验证/E2E/attempts 等。由实际操作生成，不能预填空对象；current/direct-parent 与 required/source/parent-candidate 仍各按原合同验证。其他表格只说明和导航这些事实，不复制第二套可写状态；Direct Spec 使用 purpose=direct-spec、change 和 integration_attempt_limit 代替 ticket_id；required 必须记录，current 可保留原 checkpoint 证据不造集成记录。字段和生成步骤见 <Path>{roots.workflows}/specdev/common/skills/dev-worktree/references/create.md</Path>。无票不创建 Ticket/Map/Goal，历史 current 证据不回填。
+实际开始时保存唯一 JSON object，遵循 <Path>{roots.workflows}/specdev/common/schemas/execution-record.schema.json</Path>。不预造空记录：
+
+```json
+{
+  "schema_version": 1,
+  "ticket_id": "T-01",
+  "workspace_context": "README.md#execution-context",
+  "implementation_owners": ["native:actual-implementer"],
+  "status": "active",
+  "checkpoint": null,
+  "verification": {
+    "status": "pending",
+    "evidence": null,
+    "e2e": {"required": false, "status": "not-required", "reason": "填写实际依据", "evidence": null}
+  },
+  "attempts": 0
+}
+```
+
+Direct Spec 用 `purpose: direct-spec`、`change: <实际 change>` 替代 ticket_id。status 为 active/review/verified/blocked/cancelled；verified 要求实际检查、独立双轴审查和 E2E 全部通过。checkpoint 指向原 Independent Review 的完整固定输入，如 `evidence/T-01.md#review-input`，verification.evidence 指向真实观察段；不复制快照或工作区字段。记录所有实际实现及修复者，正式 Evidence 只由 Lead 写入。旧活动记录先由原 owner 显式整理，历史原文保留。
 
 ## Acceptance Verification
 
-仅独立 Spec 的无票 Direct Spec 完成时填写本节 JSON array，每个 Spec AC 恰一项。字段为 `id`（AC-N）、`result: passed`、`method`、`source`、`observed`；实际执行命令时增加 `command` 与 `exit: 0`。引用外部 `evidence` 文件时须提供真实匹配的 `sha256`；原 Evidence 内联实际观察不另造文件。没有执行的项不伪造 passed。普通 README 轻量模式仍用 README verification 表，二者不重复维护。
+Ticket 完成时按本票 contract_ids、Direct Spec 完成时按全部 Spec AC 填写本节 JSON array，每个 AC 恰一项。字段为 `id`（AC-N）、`result: passed`、`method`、`source`、`observed`；实际执行命令时增加 `command` 与 `exit: 0`。引用外部 `evidence` 文件时须提供真实匹配的 `sha256`；原 Evidence 内联实际观察不另造文件。没有执行的项不伪造 passed。普通 README 轻量模式仍用 README verification 表，二者不重复维护。
 
 ## 独立审查记录的填写
 

package/template/workflows/specdev/specdev-i-implement/references/execution-preflight.md

@@ -11,28 +11,28 @@
 - [ ] 所有 `blocked_by` Ticket 为 done 且 Evidence 存在。
 - [ ] UI Ticket 的 design_ref revision/digest/pages/acceptance 与已批准 change DESIGN 一致，prototype/基线引用未漂移；实际 UI 文件范围不能通过省略 ui_change 绕过。
 - [ ] Spec、ADR、Ticket 与 Goal Plan 无冲突；旧 Goal Plan schema 必须重跑 P-goal-plan。
-- [ ] Goal Plan（若存在）为 `lead-directed`，workspace/integration 策略为 `current/direct-parent` 或 `required/candidate-merge`，Lead 可恢复，implementation/integration 上限有 Execution Policy Source 来源，存在有效 config 时不超过其上限及平台能力。
+- [ ] Goal Plan（若存在）为 lead-directed，票据策略为 auto/serial/parallel；max_parallel_tickets 与实际实现者人数限制分别核对，来源可回读。
 - [ ] 当前代码入口、接口、路径和父分支仍与 Ticket 假设一致。
-- [ ] writable/shared paths 有唯一 owner；current 模式的 Ticket 顺序已固定且没有其他 active implementation writer。
-- [ ] implementation commit 与当前策略对应的 direct-parent 或 local candidate integration/父分支更新已授权；push/PR/remote/deploy 等保持独立。
-- [ ] required 模式的 原 Ticket Evidence 的 Workspace Execution Record，`base_sha`、父分支、owners、branch、`workspace_ref`、integration 与 E2E disposition 完整；current 模式的 current workspace 记录使用 `workspace_ref: current`、`branch: parent_branch` 和 direct-parent integration。
-- [ ] 实现执行者 若被派遣，Packet 绑定唯一 Ticket workspace 或 current workspace/checkpoint；任务执行者 不写 SpecDev 状态。
-- [ ] current 模式 source 检查在 current workspace 且不宣称 E2E；required 模式 source 检查明确为非 E2E，required E2E 有 parent-candidate 场景与预期。
+- [ ] writable/shared paths 和语义资源有唯一 owner；并行候选无冲突，serial 时没有另一张 in_progress/review 票。
+- [ ] 实现已授权；提交、合并、push/PR/deploy 等仅在本次实际需要且已有明确授权时执行，不作为默认每票门。
+- [ ] README 的 Execution Context 与实际 change 工作区、branch、base、owner 一致；本票执行记录引用它，缺失时由 Lead 先登记真实上下文。
+- [ ] 派遣 Packet 绑定本票、选定 change 工作区、固定输入与具体写集；多个协作者各有明确范围，不写正式状态。
+- [ ] 检查在 change-workspace 运行；独立审查和整体验收前协调相关 writer 停写，E2E 由 Lead 拥有。
 - [ ] 验证命令/环境可用，关键静默失败风险有受控反向验证。
 - [ ] Deep Ticket 批准点已满足。
-- [ ] 若属于父 Implementation Map：父 revision 与 Plan source revision 一致，组合 Ticket 在 tasks/frontier 中，dependency Gate 已满足，serialization lock 可用，派单未重复，workspace 策略一致，全部成员 active implementation 数未超过父上限。
+- [ ] 属于父实现时：revision、组合 ID、dependency/serialization、实际 workspace 和票据配额一致；父计划引用成员工作区，不能改选或新增。
 
 ## Direct Spec 硬检查
 
 - [ ] 用户已授权按当前规格实现；独立 Spec 已就绪（ready_for_tickets=true），目标、行为、风险门与验收完整；README 替代规格时仍满足轻量边界。不要求单一行为或低风险，确需独立调度/依赖 DAG 才拆票。
-- [ ] current 工作副本只有一个代码 writer（Lead 或获派执行者）；required 以整个 change 为单元，真实 workspace、Lead/实现/integration owner 及路径唯一。SpecDev 正式工件只由 Lead 写入。
+- [ ] Direct Spec 的执行者复用 change 唯一工作区，写集无冲突；SpecDev 正式工件只由 Lead 写入。
 - [ ] 目标、IN/OUT、可写范围、不变量、验证与验收完整。
 - [ ] Direct Spec 涉及 UI 时读取批准 DESIGN 并冻结版本、页面/状态与原型摘要；无 UI 不要求此项。
 - [ ] 实施前 Git checkpoint、dirty 状态和现有用户改动已记录，不覆盖无关改动。
-- [ ] 已读取命中的项目 Skill；非 E2E、适用回归与 E2E 环境可执行，E2E owner 为 Lead。required 的 source 只运行非 E2E，候选检查在 parent-candidate。
-- [ ] implementation commit 授权状态明确；current 未授权时不提交，在原 Evidence 记录交付状态；required 创建前必须有实现 commit 和 local candidate integration/父分支更新授权。
+- [ ] 已读命中 Skill，适用检查与 E2E 环境可执行，E2E owner 为 Lead，验证输入可冻结回读。
+- [ ] 未获提交授权时固定工作副本快照；选 worktree 不额外要求 commit/merge 授权。
 
-- [ ] required 的 Direct Spec Execution Record 使用 purpose/change 身份、真实 source/candidate locator 和正整数 integration_attempt_limit；恢复时原记录与 Git 一致，不存在未处置 Ticket 执行。
+- [ ] Direct Spec 执行记录以 purpose/change 标识，引用唯一 Execution Context；不与未处置 Ticket 执行记录混用。
 
 ## 失效分类
 
@@ -42,12 +42,12 @@
 - **map-context-stale**：总体实施背景、项目 Skill 矩阵、Ticket 覆盖或 Skill 路径失效；停止项目写入并返回 T-tickets 更新 Map。
 - **design-invalid / design-drift**：UI 批准缺失、revision/digest/原型/基线不一致或页面合同失效；停止受影响实现并返回 P-prototype，不能由 I 改写 DESIGN 消除偏差。
 - **spec-invalid / adr-conflict**：返回对应上游 owner。
-- **checkpoint-drift**：current/来源/父分支/派单 checkpoint 漂移；由 Lead 重建执行记录或 required 模式的 worktree/candidate。
-- **workspace-contract-invalid**：缺少父分支、owner、locator、implementation/source/适用 result 字段或授权；停止并修状态/计划。
-- **workspace-strategy-invalid**：Goal Plan 的 workspace/integration 组合非法，或 current 模式出现并发 implementation writer；停止并修状态/计划。
+- **checkpoint-drift**：固定输入与实际变更不一致；停止受影响验收，重新冻结并重验，不新建 worktree。
+- **workspace-contract-invalid**：工作区、branch、基线、owner 或授权无法核对；停止受影响写入并保留现场。
+- **workspace-strategy-invalid**：上下文冲突、额外工作区或非法调度策略；由原 owner 整理后恢复。
 - **delivery-unverified**：候选、provider 声明或附件不能独立核对；保持 unverified。
-- **e2e-owner-invalid**：required 模式 E2E 被安排在 source worktree，或任一模式不是 Lead owner；停止并修 Ticket/Goal Plan。
-- **direct-parent-invalid**：current 模式的 Ticket commit、父 HEAD、验证或 Evidence 不一致；保留最后可信 commit 并阻塞当前 Ticket。
+- **e2e-owner-invalid**：适用 E2E 未在稳定交付上由 Lead 验收；修正验证安排。
+- **delivery-checkpoint-invalid**：完成证据未覆盖真实交付；保留最后可信快照并阻塞本票。
 - **parent-plan-stale**：父 Implementation Map revision、成员 Ticket、serialization、workspace 策略、全局实现配额或 repository/ref 已变化；停止当前派单并返回 P-goal-plan 重算。
 
 ## 验证范围与失败保证

package/template/workflows/specdev/specdev-i-implement/references/implementation-procedure.md

@@ -1,24 +1,24 @@
 # 实现
 
 
-本 work 保留模块设计检查、design-it-twice、TDD 红绿循环、双轴审查和证据治理。Ticket 与 Direct Spec 均按 <Path>{roots.workflows}/specdev/common/rules/execution-policy.md</Path> 独立选择执行方式和工作区；有有效计划时继承其 workspace/Gate，无 Goal 由 I 在原 Evidence 承接。Lead 默认按当前宿主正常执行；明确指定 CLI 交互、Herdr 等方式时按选择执行。
+本 work 保留模块设计检查、design-it-twice、TDD 红绿循环、双轴审查和证据治理。Ticket 与 Direct Spec 按 <Path>{roots.workflows}/specdev/common/rules/execution-policy.md</Path> 分别决定票据调度、Agent 编排与 change 工作区；同一 change 的实现者复用选定工作区。
 
-若当前 change 是未完成父 Implementation Map 的成员，必须读取 `<Path>{roots.workflows}/specdev/common/rules/parent-implementation-orchestration.md</Path>`、父 Map 与父 Plan。父 Plan 提供跨 change dependency/serialization、全局 workspace 策略、组合派单标识、implementation agent cap 和 integration queue；子 Goal Plan 只能增加子内 Gate，不能放宽或冲突。
+若属于未完成父实现，读取 <Path>{roots.workflows}/specdev/common/rules/parent-implementation-orchestration.md</Path> 和父 Map/Plan；继承跨 change dependency/serialization、组合身份、票据上限和整体 Gate，引用成员实际工作区。
 
 
 ## 执行模式
 
 ### Ticket 模式（默认）
 
-使用下节规定的输入顺序。父 Implementation Plan 存在时采用其 Lead、workspace/integration 与全局 Gate，即使子 Goal Plan 不存在；两者都有时必须一致。没有父计划沿用子计划；两者都没有时当前主会话作为 Lead，使用当前票完整合同及共用执行策略，不降级为轻量 Spec，不要求补 Goal。
+使用下节规定的输入顺序。父计划提供跨 change Gate 与调度约束，子计划提供本 change 约束，不能相互放宽。无计划时当前 I Lead 按原 Ticket 和 README 执行上下文安排，不要求补造 Goal。
 
 ### Direct Spec 模式
 
-完整获批 Spec 可以直接实现，包括多个行为或高风险范围；先核对目标、IN/OUT、唯一写入 owner、可写范围、关键不变量、全部 AC、验证及适用批准/恢复门。可以选择 current 或 required，并使用原生能力或 Herdr。独立调度、依赖 DAG、逐票追踪确有需要或用户明确要求时才返回 T-tickets。README 规格替代仍仅适用于轻量任务。
+完整获批 Spec 可直接实现，先核对范围、各写集 owner、不变量、AC、验证及批准/恢复门。工作区和协作方式分别选择；确需独立调度、DAG、逐票追踪或用户要求时才返回 T。README 替代规格仍限轻量边界。
 
 ### Documentation 分支
 
-Ready documentation Ticket 或获批 Direct Spec 需要维护项目文档时读取 <Path>{roots.workflows}/specdev/specdev-i-implement/references/documentation-procedure.md</Path>。继续执行下方全部适用预检、workspace、commit、双轴审查、Evidence 和完成步骤；仅纯说明变更的代码红绿循环由可运行示例/类型/链接/生成与事实验证替代。prompt/tool/CLI/UI 文案属于可见行为，不能按纯说明豁免。
+Ready documentation Ticket 或获批 Direct Spec 需要维护项目文档时读取 <Path>{roots.workflows}/specdev/specdev-i-implement/references/documentation-procedure.md</Path>。继续执行下方全部适用预检、workspace、checkpoint、双轴审查、Evidence 和完成步骤；仅纯说明变更的代码红绿循环由可运行示例/类型/链接/生成与事实验证替代。prompt/tool/CLI/UI 文案属于可见行为，不能按纯说明豁免。
 
 ## 输入
 
@@ -59,22 +59,17 @@ Git 已处于 merge/rebase 冲突时，先加载 `<Path>{roots.workflows}/specde
 
 预检参考拥有 Ready、依赖证据、真实 Skill、计划版本、owner、权限、Git 状态与 workspace 的完整检查，不在此复写。
 
-通过预检后：`required` 实现以 `purpose=ticket|direct-spec, operation=create|restore` 调用 `<Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>`；`current` Ticket 确认当前 branch/HEAD/dirty 状态和单 writer。Lead 设置 Ticket 为 `in_progress` 并按策略登记 active worktree 或 current workspace 记录。Direct Spec required 记录真实 change worktree 到原 direct-spec Evidence，不创建 Ticket 状态。
+通过预检后，复用 change README 中选定的工作区；明确要求创建/恢复 worktree 时以 `purpose=change, operation=create|restore` 调用 <Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>。Lead 先保存真实 Execution Context，再将本票设为 in_progress、在原 Evidence 登记 active 执行记录。无票沿 Direct Spec Evidence，不创建票据。
 
-**完成标准**：真实 workspace、基线、唯一 owners 和授权与预检一致；代码使合同失效时停止并返回上游 owner，current Ticket 严格串行。
+**完成标准**：工作区、基线、owner 与授权符合预检；所有票据复用同一 change workspace，串并行按独立策略决定。
 
 ### 2. Lead 决定自行实现或动态派单
 
-两种输入模式下，Lead 根据独立性、路径冲突、上下文、风险、用户选择和平台能力决定；原生 subagent/team 属于宿主能力。派单时读取 `<Path>{roots.references}/coordination/task-brief.md</Path>`；外部 CLI/Herdr/Orca 派遣按 `<Path>{roots.references}/coordination/session-files.md</Path>` 保存 TASK、交回 REPORT，原 Evidence 只导航与验收。`current` 模式仍可派遣一个 实现执行者 写当前 workspace，但必须等待其返回、Lead 验收并形成 commit 后才进入下一个 Ticket；`required` 模式 实现执行者 绑定独立 Ticket worktree。Direct Spec 同样可以交接实现：提供获批 Spec、项目 Skill、当前工作区、路径和验收，current 只允许一个代码 writer，required 绑定本 change 的唯一 source worktree。
+按 <Path>{roots.workflows}/specdev/common/rules/execution-policy.md</Path>，用户/项目/当前 Work 要求优先，Lead 根据任务事实和宿主能力安排单 Agent、subagent 或团队。同票协作不改变 serial 票据顺序；跨票并行仍须 DAG 与写集/资源无冲突。只读探索不占票据执行槽。
 
-- 实现执行者 同时取适用子 Goal Plan、父 Implementation Plan、实际存在的 config 和平台能力的共同上限；current 模式保持单 writer 串行安全不变量；Lead 参与实现时计入；
-- 父实现编排存在时，派单与返回都使用 `<member-change>::<ticket-id>`，并占用父 Plan 的 task/serialization/integration slot；
-- review/research/test-observation agent 不设置 SpecDev 数字上限，但保持只读；
-- implementation Packet 绑定唯一执行 workspace、checkpoint、路径、非 E2E 检查与已授权 commit 返回；Ticket 提供 Map/项目 Skill/本票，Direct Spec 提供完整规格/项目 Skill/AC，不补造票；
-- 任务执行者 不写 SpecDev 工件、Evidence、父分支或 E2E 结果；
-- Lead 自行实现时仍遵循相同 worktree、commit 与返回事实合同。
+派单读取 <Path>{roots.references}/coordination/task-brief.md</Path>；外部 CLI/Herdr/Orca 按 <Path>{roots.references}/coordination/session-files.md</Path> 保存冻结 TASK/正式 REPORT 和派遣后可选 session-locator.json；新派遣在投递前与回收时分别运行交接校验的 dispatch/return 阶段，原 Evidence 只导航与验收。Packet 绑定同一 change workspace、票据/规格、实际写集、固定输入、验证与停止条件。多个实现者明确细分写集；Git index 操作由 Lead 协调串行，不暂存他人改动。
 
-**完成标准**：current 模式只有一个 implementation owner 写当前 workspace；required 模式只有一个 owner 写当前 Ticket worktree；Direct Spec 同样只有一个代码 writer；所有 SpecDev 写入仍由 Lead 拥有。
+**完成标准**：实现者与路径归属可回读，正式状态仍只由 Lead 写入，派遣不创建额外 worktree。
 
 ### 3. 设计检查
 
@@ -104,20 +99,13 @@ UI 的模板、视觉语言、共享组件及交互规则由批准 DESIGN 锁定
 
 涉及错误、取消、并发或资源释放时，按 <Path>{roots.workflows}/specdev/common/rules/error-handling.md</Path> 和 <Path>{roots.workflows}/specdev/common/rules/test-reliability.md</Path> 验证实际状态与清理完成。注册、Worker、CLI、配置和发布路径要覆盖真正入口；删除旧测试前核对全部风险承接，不因为新接口测试存在就删除。
 
-### 5. 实现检查、commit 与 Lead 接收
+### 5. 实现检查、checkpoint 与 Lead 接收
 
-Ticket 模式的 implementation owner 按有效计划或当前 I 执行合同 策略在当前 workspace 或来源 worktree：
+实现者在选定 change 工作区运行 Ticket/Spec 规定的单元、组件、静态、类型、lint/build 等适用检查，记录命令、退出码、实际改动与未验证项。E2E Gate 留给 Lead。提交只在已有具体授权时执行；没有授权时以工作副本快照冻结实际交付。
 
-- 运行 Ticket 要求的单元、组件、静态、类型、lint/build 等非 E2E 检查；
-- 审计 writable/shared/read-only 路径和新/既有/环境失败；
-- 在已授权时创建引用 Ticket ID 的实现 commit；current 模式 commit 直接落在父分支，required 模式落在 Ticket branch；
-- 返回 commit、dirty 状态、实际路径、命令/结果、未运行项和恢复条件。
+Lead 按 <Path>{roots.references}/coordination/result-and-recovery.md</Path> 回读工具、真实 writer、Git/dirty 状态、diff、路径与命令事实。验收前协调相关 writer 停写；无改动且权威事实表明无需实现时 cancelled，不造 empty commit。未完成工作不以 Evidence-only Done 代替。
 
-Ticket 模式中，Lead 读取 `<Path>{roots.references}/coordination/result-and-recovery.md</Path>`，重读 Git 状态、branch tip、commit、diff 和命令事实。无改动时将 Ticket 改为 `cancelled` 并记录原因；不得 empty commit 或 Evidence-only Done。required 模式来源 worktree 不运行 E2E；current 模式适用 E2E 留给 Lead 的 direct-parent 验证。
-
-Direct Spec 的 implementation owner 在所选工作区运行规格要求的非 E2E 检查，审计获批写集，在已授权时创建引用 change 的非空 commit；Lead 按共享返回合同重读候选。required 必须形成 source commit，current 未授权提交则保留真实 checkpoint/dirty 交付事实。无需改动时记录事实并取消直接实现，不创建 empty commit。记录实际路径、命令结果、未运行项和恢复条件。
-
-**完成标准**：required 模式 Ticket worktree clean 且 `source_checkpoint` 精确等于 branch tip；current 模式 workspace clean 且 Ticket `result_sha` 精确等于父分支上的 implementation commit；或 Direct Spec 的所选 workspace、checkpoint、路径和获批规格一致；required 来源必须 clean 且 source checkpoint 等于 branch tip。
+**完成标准**：实际改动可定位，授权路径及原有用户改动保全；固定 checkpoint 或快照覆盖本票交付。共享工作区其他票的改动不计入本票。
 
 ### 6. 双轴审查
 
@@ -132,25 +120,21 @@ Direct Spec 的 implementation owner 在所选工作区运行规格要求的非
 
 Direct Spec current 未提交时按 <Path>{roots.workflows}/specdev/common/skills/code-review/references/working-tree-review.md</Path> 固定实际交付快照；HEAD 不能代表未提交内容，也不因审查而自动取得 commit 授权。
 
-### 7. 最终集成与适用 E2E
-
-`required` Ticket/Direct Spec 模式中，Lead 以相应 `purpose=ticket|direct-spec, operation=finalize` 调用 dev-worktree，并读取 `<Path>{roots.workflows}/specdev/common/skills/dev-worktree/references/finalize.md</Path>`。该参考唯一维护最新父分支 candidate 的组合、检查、失败/漂移、重建、fast-forward、回读与尝试上限过程。验证失败或父 HEAD 漂移，父分支不推进；不能凭来源检查通过标记 Done。
-
-E2E 是否需要由 Ticket/Goal Plan 的实际跨边界风险决定，不限于 UI；不适用必须记录原因。
+### 7. 最终验证与适用 E2E
 
-`current` Ticket 模式跳过 source worktree、candidate merge 和 candidate checkout。Lead 在当前 workspace 运行 Ticket 要求的适用集成/回归与 E2E，记录运行环境、命令、退出码和摘要；E2E 不得派给其他 agent。失败时不声明完成，保留 Ticket commit、父 HEAD 和恢复条件。全部通过后重读父 HEAD/tree 并记录 `result_sha`。Direct Spec current 同样跳过 source/candidate 与父分支推进；Direct Spec required 完整执行上方候选集成流程。无 Goal 时采用原 Evidence 记录的尝试上限。
+Lead 在同一 change 工作区按 <Path>{roots.workflows}/specdev/common/skills/dev-worktree/references/finalize.md</Path> 核验固定交付、集成/回归和适用 E2E。此方法 current/worktree 均适用，不创建候选 checkout、不自动提交或合并。无提交授权时先按 <Path>{roots.workflows}/specdev/common/skills/code-review/references/working-tree-review.md</Path> 固定工作副本输入。
 
-无论失败发生在 implementation、review、direct-parent 还是 parent-candidate，同一 Ticket 反复返回相同 blocker、下一轮没有产生新证据，或 integration attempts 达到有效 Plan 上限时，都停止自动退回原 implementation owner。Lead 保留当前 workspace/worktree、implementation/source commit、旧 candidate 和失败命令，在 Ticket Evidence 记录失败历史，并将 Ticket/worktree 标为 `blocked`。当前 change 属于父实现时返回父 O Lead；否则返回 Goal Plan Lead，或无 Goal Plan 时的当前 I Lead。Lead 按 lead-orchestration 完成最小复盘并形成有实质变化的新 Dispatch Packet 后，才可重置 attempts 和重新派发；契约已失效则返回真正 owner。
+最终输入变化、冲突修正或多单元组合时，按 <Path>{roots.workflows}/specdev/common/skills/code-review/references/review-evidence.md</Path> 补充整体独立审查；单票记录不能代替全部交付的验收。
 
-最终候选与来源审查不同、发生冲突修正或多个单元组合时，Lead 按 <Path>{roots.workflows}/specdev/common/skills/code-review/references/review-evidence.md</Path> 对最终交付范围补充独立审查；原输入完全相同才复用。候选未获两轴通过不能推进父分支或声明完成。
+同一 blocker 反复出现且无新证据，或 attempts 达到有效上限时，保留当前工作区、checkpoint 和失败历史，将本票 blocked 并返回有效 Lead。Lead 记录共同失败模式、可能原因、下一轮实质改变和 owner/路由后才可重置 attempts。父 Lead 可继续其他不受影响的 Ready 票；不通过新开 worktree 或仅更换 Agent 绕过停止点。
 
 ### 8. Evidence、状态与完成
 
-Lead 使用 `<Path>{roots.workflows}/specdev/specdev-i-implement/assets/evidence-template.md</Path>` 写入 Ticket Evidence；Direct Spec 按该模板的 Direct Spec 适配说明写 `<Path>{roots.state}/specdev/changes/{change}/evidence/direct-spec.md</Path>`。Ticket Evidence 按策略记录 implementation/source、适用 candidate/result SHA、派单/返回、两层验证、双轴审查、E2E disposition、路径审计、失败历史与适用 Lead 复盘、偏差和残余风险；Direct Spec Evidence 使用实施前基线与所选 workspace 最终 checkpoint；required 追加真实 Workspace Execution Record 与 source/candidate/result 链，current 未发生集成不伪造这些字段，两者都不填 Ticket ID。
+Lead 使用 <Path>{roots.workflows}/specdev/specdev-i-implement/assets/evidence-template.md</Path> 写本票原 Evidence；无票写 evidence/direct-spec.md。执行记录引用 README 唯一工作区，保存实际实现者、固定审查输入、检查、E2E、失败历史及恢复，不复制工作区生命周期或虚构集成链。
 
 UI Evidence 必须包含 `## Design Conformance`，列出 design_ref 的准确 digest、pages 与 acceptance ID，逐项连接实现位置、真实浏览器任务、桌面/窄屏截图和状态观察。对照批准原型说明允许的实现差异；未知与未通过项保持未验证，不能仅凭原型证据完成实施。
 
-Ticket 正常状态：`ready → in_progress → review → done`。`required` 的 `done` 要求 change worktree 已完成集成（`integrated` 或 `removed`）、父 HEAD=result SHA 且包含 source commit；`current` 的 `done` 要求 current workspace clean、direct-parent 验证通过且父 HEAD=result SHA。阻塞使用 `blocked`，契约偏差使用 `deviated`，无需改动使用 `cancelled`。Direct Spec 由当前 I-implement owner 按 `<Path>{roots.workflows}/specdev/common/rules/change-completion.md</Path>` 关闭 change。
+Ticket 正常状态：ready → in_progress → review → done。done 要求执行记录 verified、实际改动/AC、独立双轴审查和适用验证通过；无每票 commit/父分支推进要求。blocked/deviated/cancelled 沿原语义，Direct Spec 由原 I owner 按 <Path>{roots.workflows}/specdev/common/rules/change-completion.md</Path> 完成。
 
 按实际存在的负责位置更新：Ticket/Evidence 拥有本票进度，Goal 拥有整体 Gate 与集成，Map/README 只导航；轻量输入把当前清单与验证写原 README，Direct Spec 不创建缺失的 Ticket/Map/Goal Plan。最后一个计划内 Ticket 完成后，Goal Plan 的 Lead 按 change completion 关闭；无 Goal Plan 的当前 I owner 承担同一门禁。需要远程 reconcile 或把已完成 Ticket 投影为 GitHub Issue 时返回 T-triage，否则进入 Archive。
 
@@ -167,7 +151,7 @@ node <Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path> \
 
 ### 9. 返回
 
-Ticket 模式返回 Ticket 状态与 README Outcome、Evidence 完整路径、workspace locator、implementation/source、适用 candidate/result SHA、父分支、E2E disposition、适用 Lead 复盘决定、未验证项和下一路由。Direct Spec 返回 README Outcome、`<Path>{roots.state}/specdev/changes/{change}/evidence/direct-spec.md</Path>`、实际 workspace、实施前/最终 checkpoint、适用 E2E 和下一路由。push、PR、remote merge、deploy、migration、生产动作及来源 branch/worktree cleanup 只在独立授权时执行。
+返回 Ticket 状态或 Direct Spec Outcome、原 Evidence、README 工作区引用、真实 checkpoint/快照、E2E、未验证项和下一路由。已授权且实际发生的 Git 交付另列；不把 verified 描述成已提交/已合并。
 
 ## 计划型票扩展
 

package/template/workflows/specdev/specdev-i-implement/references/merge-conflict-protocol.md

@@ -1,21 +1,11 @@
-# Merge / Rebase Conflict Protocol
+# Git 冲突处置
 
-只在 `git status` 证明仓库正处于 merge/rebase 冲突时加载。
+仅在当前工作区已有 merge/rebase 冲突或明确授权的 Git 集成发生冲突时读取；普通票据实现不创建 candidate worktree 或自动合并。
 
-## 流程
+1. 读取实际 Git 操作状态、原 owner、目标、基线、授权和冲突文件，不将未知现场视作本次操作。
+2. 暂停重叠写集，保留未提交用户/其他票改动及可恢复 checkpoint。解决冲突须在原写集内保持双方已批准意图。
+3. 需要改变 Spec/ADR、安全/迁移/验收或越过 owner 时停止并返回真正 owner；未知 merge/rebase 不自动 abort。
+4. 只有与当前操作匹配的授权包含相应暂存、提交或 abort 时才执行；任何操作不扩展到其他 branch/worktree 或远端。
+5. 修正者属于实现者，不能自审；在选定工作区冻结实际结果，补充独立双轴审查和受影响验证，再记录结果。
 
-1. 读取 Git 状态、操作类型、冲突路径、base/ours/theirs SHA、Ticket/Evidence 与匹配的 candidate integration 记录。
-2. 从 commit、source、Spec、Ticket、ADR、测试和调用者追溯双方意图；信息不足时不猜产品行为。
-3. 对每个 hunk 写出双方意图、共同约束和唯一可推导结果；需要新行为或上层决定时停止并登记 deviation。
-4. 在授权路径内解决文本，运行受影响的非 E2E 检查；candidate checkout 中按 finalize 合同运行父状态检查/E2E。
-5. 匹配的 local candidate integration 授权包含 `git add`、candidate merge commit、必要的 `git merge --abort` 和 transient candidate checkout/branch 生命周期；不扩展到来源 branch/worktree cleanup 或远端动作。
-6. 需要改变 Spec/ADR、安全/迁移决定、越过 owner 或无法同时保持既有意图时，在 Lead-created candidate 中执行 `git merge --abort`，记录 blocker 并保留来源 worktree；未知普通冲突现场不擅自 abort。
-7. 重读 Git 状态、parents 与 diff，确认无 marker、无未声明路径、双方合同及验证仍成立。
-
-## 完成标准
-
-- 每个 hunk 可追溯到既有意图；
-- 新产品决定没有藏在冲突解决中；
-- 验证记录命令、运行环境、退出码和摘要；
-- Git 副作用来自明确的 candidate integration 或其他逐动作授权；
-- 完成/暂停可以从 Git、原计划/README 与 Evidence 恢复。
+**完成标准**：实际 Git 状态、交付和证据一致；失败保留现场，不创建额外工作区或删除来源分支。

package/template/workflows/specdev/specdev-p-goal-plan/SKILL.md

@@ -39,8 +39,8 @@ metadata:
 ## 执行底线
 
 - 先冻结 Outcome、权威来源、用户指定的交付数量、范围、Definition of Done 和失败停止条件；按风险确定 DAG/Gate/Wave，不用文档长度替代质量。
-- 固定 `lead-directed`。完整 Goal 的 `concurrent_implementation_limit` 由 Execution Policy Source 说明，实际存在 config 时不超过其有效上限与宿主能力；只读审查没有新增数字上限。进入派单前读取 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/lead-orchestration.md</Path>`。
-- 保留原 worktree 选择：未明确时询问，默认 current 严格串行；required 才使用独立 worktree 与 candidate-merge。用户已答过不重复问。默认工具、数量、提交与集成权限均不因入口合并改变。
+- 固定 `lead-directed`，Lead 拥有状态和验收，不固定实现团队。ticket_execution 默认 auto；max_parallel_tickets 计量票据，显式 concurrent_implementation_limit 计量实现者；策略来源写 Execution Policy Source。派单读取 <Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/lead-orchestration.md</Path>。
+- 保留 change 已选工作区，未指定复用 current；明确要求才创建一个 change worktree。串并行、派遣和审查不增建工作区，提交/合并按实际授权执行。
 - `plan` 只形成计划，缺少执行授权是计划中可见的待满足条件，不等于获准执行。运行前逐项核对真实授权；文档中的“已批准”不构成授权。
 - 当前票必须调用所绑定的真实 Skill，不能以“读过入口”替代；先读取 `<Path>{roots.workflows}/specdev/common/rules/skill-invocation.md</Path>`。缺失必需 Skill、引用或验收证据时阻塞本票及依赖它的分支。
 - 他人 owner、资源或事务冲突仅暂停受影响的依赖闭包；继续独立已授权工作，不抢占、解锁或覆盖他人内容。正式记忆仍只走原网关。
@@ -66,6 +66,6 @@ node <Path>{roots.workflows}/specdev/common/tools/ticket-control.mjs</Path> --ma
 
 进入实现或审查时读取 <Path>{roots.references}/coordination/coordination-contract.md</Path>；未明确指定时按当前宿主正常执行，App、CLI 等均可，subagent/agent team 属于宿主能力。明确指定 CLI 交互、Herdr 等方式时按选择执行并展开对应参考；编排与 current/worktree 独立，已有授权和选择直接复用。只读取所选工具的当前指南，不固定工具或模型。
 
-`lead` 上下文维护原业务状态和 Evidence；`task` 上下文只处理 Lead 指定目标和阶段，执行同一方法并返回候选、findings、检查和未验证项，不修改正式 Ticket、Map、Goal、Evidence，不递归启动 Goal 或擅自跨 CLI 派单；宿主原生协作遵守原写集和单 writer 约束。未曝光到宿主列表不影响读取真实入口。
+`lead` 上下文维护原业务状态和 Evidence；`task` 上下文只处理 Lead 指定目标和阶段，执行同一方法并返回候选、findings、检查和未验证项，不修改正式 Ticket、Map、Goal、Evidence，不递归启动 Goal 或擅自跨 CLI 派单；宿主原生协作遵守原写集和共享资源 owner 约束。未曝光到宿主列表不影响读取真实入口。
 
 P 在已授权 run/resume 中完成当前实现、审查、验证和同范围修复后继续下一 Ready 任务，不逐票询问“继续”。只读分析或 plan 不执行。双轴审查必须由未参与本范围实现的 Agent 执行，默认派遣一位原生 subagent；已有编排选择沿用于 review，不能由实现者或参与实现的 Lead 自审替代。

package/template/workflows/specdev/specdev-p-goal-plan/assets/goal-plan-template.md

@@ -1,15 +1,13 @@
 ---
-schema_version: 7
+schema_version: 8
 artifact: goal-plan
 change: <YYYY-MM-DD-topic>
 status: draft
 modes: []
 orchestration: lead-directed
 lead: <owner-or-session-locator>
-concurrent_implementation_limit: 3
 integration_attempt_limit: 3
-ticket_workspace_policy: current
-integration_gate: direct-parent
+ticket_execution: auto
 ready_for_execution: false
 ---
 
@@ -85,36 +83,35 @@ ready_for_execution: false
 
 | 项目 | 决定 | 事实依据 |
 |---|---|---|
-| Lead | `<owner-or-session-locator>` | 唯一 SpecDev 状态、Evidence 与父分支 owner |
-| Concurrent implementations | `<concurrent_implementation_limit>`，Lead 实际参与实现时计入；current 始终单 writer | 本计划 Execution Policy Source；核对实际存在的 config、依赖和平台限制 |
-| Integration attempts | `<integration_attempt_limit>` | 本计划 Execution Policy Source；核对实际存在的 config 限制 |
-| Read-only agents | 无 SpecDev 数字上限 | review/research/test-observation，不写状态 |
-| Dispatch | execution-time dynamic | provider/模型/派单按 Ticket 事实选择 |
+| Lead | `<owner-or-session-locator>` | 唯一 SpecDev 状态、Evidence 与交付验收 owner |
+| Ticket scheduling | `ticket_execution: auto`；有明确票据上限时增加 max_parallel_tickets | DAG、路径/资源、用户与项目要求 |
+| Implementation agents | 有明确要求才记录 concurrent_implementation_limit；核对已有 config/宿主人数限制 | 不从票数或工作区数量推导 |
+| Integration attempts | `<integration_attempt_limit>` | 检查失败后的 Lead 复盘上限 |
+| Read-only agents | 不额外占票据槽，review 中的票仍计入 | 当前 Work 的独立审查/工具要求仍生效 |
+| Dispatch | execution-time dynamic | 单 Agent、subagent 或团队按事实选择 |
 
-### Ticket Workspace and Integration
+### Change Workspace and Verification
 
-本节拥有跨票工作区策略和集成安排。每票实际 Parent/base、workspace/branch、implementation/source commit、检查/E2E 和 parent result 只记录在原 Ticket Evidence 的 Workspace Execution Record；通过上表导航回读，不在 Goal 再维护一套结果。
+工作区实际事实只在 change README 的 Execution Context，所有票据和执行者复用。未指定时使用 current，明确要求才创建/复用一个 change worktree。父计划只导航成员选择；串并行不改变工作区数量。
 
-当 `ticket_workspace_policy: current` 时，Ticket 必须严格串行。Lead 每次只允许一个 implementation owner 写入当前 workspace；完成非 E2E 检查并形成 commit 后，Lead 在同一父分支/current workspace 运行适用集成检查和 E2E，验证通过后将该 Ticket 的 `result_sha` 记录为其 implementation commit，再开始下一个 Ticket。不得创建 source/candidate worktree。
-
-当 `ticket_workspace_policy: required` 时，Ticket 使用独立 source worktree；source worktree 不运行 E2E，Lead 在最新父分支的 candidate 状态运行集成检查和适用 E2E，通过且父 HEAD 未漂移后才推进父分支。
+serial 完成当前票的实现、审查和验证后开始下一票；auto/parallel 推进无冲突 Ready 票。shared owner、Git index 操作与全局验证协调串行。验收固定真实 commit 或未提交快照；Lead-owned E2E 在稳定 change-workspace 上执行，不创建 candidate checkout。
 
 ### Authorization Matrix
 
 | 动作 | 状态 | 目标与条件 |
 |---|---|---|
-| Current workspace Ticket changes | allowed / not-authorized | 仅 current 模式；严格串行，单一 implementation writer |
-| Ticket worktree local changes | allowed / not-authorized | 仅 required 模式；限 writable/shared owner 合同 |
-| Implementation commit | allowed / not-authorized | 每 Ticket 必需；缺失则 Plan blocked |
-| Local direct-parent verification and parent update | allowed / not-authorized | 仅 current 模式；Lead 核对 Ticket commit 后继续 |
-| Local candidate integration and parent update | allowed / not-authorized | 仅 required 模式；Lead-only；缺失则 Plan blocked |
-| Push / PR / remote merge | allowed / not-authorized | 不从本计划本地授权继承 |
-| Branch/worktree cleanup | allowed / not-authorized | 成功集成不自动继承 |
+| Change workspace implementation | allowed / not-authorized | 授权范围和唯一写集 owner |
+| Change worktree creation | allowed / not-requested | 一个 change 的明确选择，不从并行继承 |
+| Change workspace verification | allowed / not-authorized | 固定输入、独立审查与 Lead E2E |
+| Implementation commit | allowed / not-requested | 仅明确要求且获授权时执行 |
+| Merge / parent update | allowed / not-requested | 具体目标与交付约定，不是每票默认门 |
+| Push / PR / remote merge | allowed / not-authorized | 不从实现授权继承 |
+| Branch/worktree cleanup | allowed / not-authorized | 精确授权目标，保全可恢复产物 |
 | Deploy / migration / production actions | allowed / not-authorized | 逐动作、目标和条件 |
 
 ### Evidence Return
 
-任务执行者 只返回候选事实与 commit；Lead 独立核对并写 Evidence、状态和最终验收。
+任务执行者 只返回候选事实与 checkpoint/快照；Lead 独立核对并写 Evidence、状态和最终验收。
 
 ## 5. Constraints, Risk and Recovery
 
@@ -122,7 +119,7 @@ ready_for_execution: false
 
 ### Verification Integrity
 
-记录判卷接缝、基线、禁止的伪绿色方式，以及 current/direct-parent 或 source/candidate 两层验证边界。
+记录判卷接缝、基线、禁止的伪绿色方式，以及选定 change 工作区内每票与整体交付的验证边界。
 
 ### Migration or Release Sequence
 
@@ -136,13 +133,13 @@ ready_for_execution: false
 
 ### Current Status
 
-只记录本 Goal 独有的当前 Wave/Gate、跨票验收、整体阻塞与下一步；相关 Ticket、implementation/source、candidate/result SHA 与逐票验证只导航原 Ticket/Evidence，不复制状态或结果；不使用主观百分比。
+只记录本 Goal 独有的当前 Wave/Gate、跨票验收、整体阻塞与下一步；相关 Ticket、固定 checkpoint/快照与逐票验证只导航原 Ticket/Evidence，不复制状态或结果；不使用主观百分比。
 
 ### Pending Decisions and Blockers
 
 ### Resume Protocol
 
-恢复时读取 Goal Plan、当前 Ticket 和原 Evidence 的 Workspace Execution Record，并核对实际 Git；从最后通过的父分支 result 或待修正 implementation/source checkpoint 继续。
+恢复时读取 Goal Plan、README 的 Execution Context、当前 Ticket 和原 Evidence 的 Workspace Execution Record，并核对选定工作区、实际 Git 与 writer；从最后可信 checkpoint/快照及未决事项继续。
 
 ## Assumptions
 
@@ -151,4 +148,4 @@ ready_for_execution: false
 
 ## Execution Policy Source
 
-<实际项目/本次约定及可回读出处；填写已有并发和集成尝试字段的真实来源。存在 config 时核对其上限；Lead 自己实现计入，current 严格单 writer。无票轻量 Goal 只使用必要清单/验收，不预造执行记录。>
+记录用户/项目约定的可回读出处；说明 ticket_execution、可选票据上限、明确人数限制和验证尝试上限。缺少人数或票数要求时不填固定数字；工作区引用 change README。轻量无票 Goal 继续使用必要清单和验收，不预造运行记录。