@namewta/speculo 1.0.22 → 2.0.1

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

@@ -0,0 +1,71 @@
+---
+name: specdev-p-goal-plan
+description: "为简单目标、单个已拆票 change 或多个 Ready change 规划、执行或恢复 Goal；只在用户要求目标计划、交付编排或已有 map 需推进时使用，不代替需求探索和 Ticket 编写。"
+metadata:
+  speculo-kind: work-skill
+  speculo-id: specdev/goal-plan
+  speculo-domain: specdev
+  speculo-contract-version: "2"
+---
+
+# Goal 规划与执行
+
+> 激活后读取 `<Path>{roots.workflows}/specdev/common/rules/domain-runtime.md</Path>`。P 是统一 Goal 入口；G 仍是 Grill，跨 change 由本入口统一编排。
+
+## 读取范围
+
+先读 `<Path>{roots.workflows}/specdev/common/rules/activation-and-memory.md</Path>`，定位用户指定的 change 或 map，再读 README Outcome、实际存在的计划和所选模式。有票时每次只展开实际进入 frontier 的 Ticket、直接依赖 Evidence、命中的项目 Skill、当前 Gate 与恢复证据；不默认通读所有 Ticket 或永久索引。
+
+用户要求简单 Goal 且无需独立 Ticket 时，按 <Path>{roots.workflows}/specdev/specdev-p-goal-plan/assets/lightweight-goal-plan-template.md</Path> 的显式轻量形态，以原 goal-plan 清单负责进度与整体门，README 保留范围/AC/验证，README 只导航；不制造 Ticket/Map。发生真实并行、Deep 或跨 change 时切入完整模式并将迁出的清单改为导航。
+
+## 按意图选择模式与权威
+
+轻量 Goal 的 plan/run/resume/verify 直接使用轻量模板规定的原 Tasks、整体验证和接续章节；replan 只调整实际受影响清单，并保留原授权和已完成证据。不得为通过下表完整模式的 map 控制而制造 Ticket/Map；复杂程度已超出轻量限制时先明确升级。下表及票级编排规则仅用于已有独立 Ticket 或跨 change 的完整模式。
+
+| 用户意图 | 模式 | 必须按需读取 |
+|---|---|---|
+| 制定目标计划，尚未授权实现 | `plan`（默认） | `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/goal-lifecycle.md</Path>`；单 change 再读 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/single-change-plan.md</Path>`，多个 change 再读 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-change-plan.md</Path>` |
+| 明确要求按计划实施 | `run` | `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/goal-lifecycle.md</Path>` 与 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/map-control.md</Path>` |
+| 继续既有目标 | `resume` | 同上，先校验版本、owner、授权和未闭合事务，再恢复；不重复已完成副作用 |
+| 上游变更使计划失效 | `replan` | `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/replan-and-recovery.md</Path>` |
+| 整体检查与关闭 | `verify` | `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/completion-control.md</Path>` 与 `<Path>{roots.workflows}/specdev/common/rules/change-completion.md</Path>` |
+
+有独立票的单 change 以 `<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>` 为用户总控入口；Ticket frontmatter 仍是单票状态、依赖、路径的权威，Goal Plan 拥有跨票 Gate、Wave 和授权引用。少量线性票不强制增加厚重计划。
+
+单 change 的 Map 结构就绪、Goal 全局执行门与逐票 DoR 分开判断。等待上游真实产物的未来票可保持 draft，并记录缺口和重审条件；独立 Ready 票仍可进入 frontier。具体门禁读取 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/planning-modes.md</Path>`。
+
+多 change 复用现有父 Implementation Map/Implementation Plan 和组合 DAG，不迁走活动状态。父 `<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>` 仅作无状态入口，模板为 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/goal-tickets-map-template.md</Path>`。父成员至少两个；只有一个 change 时使用单 change 模式。
+
+## 执行底线
+
+- 先冻结 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。用户已答过不重复问。默认工具、数量、提交与集成权限均不因入口合并改变。
+- `plan` 只形成计划，缺少执行授权是计划中可见的待满足条件，不等于获准执行。运行前逐项核对真实授权；文档中的“已批准”不构成授权。
+- 当前票必须调用所绑定的真实 Skill，不能以“读过入口”替代；先读取 `<Path>{roots.workflows}/specdev/common/rules/skill-invocation.md</Path>`。缺失必需 Skill、引用或验收证据时阻塞本票及依赖它的分支。
+- 他人 owner、资源或事务冲突仅暂停受影响的依赖闭包；继续独立已授权工作，不抢占、解锁或覆盖他人内容。正式记忆仍只走原网关。
+- 调度调用 `<Path>{roots.workflows}/specdev/specdev-i-implement/SKILL.md</Path>`；调度器不代替实现、审核或授权。长期运行指可恢复，不承诺后台或无限运行。
+
+## 证据复用与停滞恢复
+
+验证复用按 <Path>{roots.workflows}/specdev/common/rules/evidence-and-verification.md</Path> 核对代码、配置、输入、Skill、环境和原输出；只使受影响证据失效。升级兼容、迁移、用户可见行为或性能测量仅在风险相关时成为 Goal Gate，不增加普遍必跑流程。
+
+保留原无进展停止：同一 blocker 没有新证据时不重复派发。新 Dispatch 必须说明输入、方法、范围、环境或责任处置的实质变化；换 Agent 或清空 attempts 不是变化。恢复仍核对原授权、owner、当前 Lead 身份 和未决副作用，不接管他人资源。
+
+## 校验与交付
+
+轻量 Goal 以 `--stage goal-plan` 验证显式 `artifact: lightweight-goal-plan`、原 README 规格和轻量章节；完成时逐项回读实际任务、README AC 证据与整体门，按 change-completion 决定 Outcome，不运行不存在的 map。完整模式从 map 运行只读控制检查（它不执行代码或授予写权限）：
+
+```bash
+node <Path>{roots.workflows}/specdev/common/tools/ticket-control.mjs</Path> --map <map-path> --repo <project-root>
+```
+
+再以 `--stage goal-plan` 运行 `<Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path>`：单 change 要求自己的 Goal Plan，合法 draft 可通过结构校验；存在任一父 Map、Plan 或父入口时校验完整父编排，残缺父工件不得回退单 change。校验通过不授予执行权限。完成时回读真实源、map、Ticket 状态和 Evidence，报告完成/阻塞/失效票、整体验收、实际交付数量、验证命令、未执行项与恢复路径。票全 done 不等于 Goal 自动完成。
+
+## 编排与执行上下文
+
+Lead 自行执行或当前阶段需要交接任务时，读取 <Path>{roots.references}/coordination/coordination-contract.md</Path>，按用户指定的 Lead、Orca、Herdr 或无头 CLI 方式操作。只读取所选工具的当前指南；不固定编程工具或模型。
+
+`lead` 上下文维护原业务状态和 Evidence；`task` 上下文只处理 Lead 指定目标和阶段，执行同一方法并返回候选、findings、检查和未验证项，不修改正式 Ticket、Map、Goal、Evidence，不递归启动 Goal 或交接其他任务。未曝光到宿主列表不影响读取真实入口。
+
+P 在已授权 run/resume 中完成当前实现、审查、验证和同范围修复后继续下一 Ready 任务，不逐票询问“继续”。只读分析或 plan 不执行。独立审查 required 时不能以 Lead 自审替代。

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

@@ -0,0 +1,150 @@
+---
+schema_version: 7
+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
+ready_for_execution: false
+---
+
+# Goal Plan: <标题>
+
+- **Goal Plan：** `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>`
+- **Spec：** `<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>`
+- **Tickets Map：** `<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>`
+- **Ticket 目录：** `<Path>{roots.state}/specdev/changes/{change}/ticket/</Path>`
+- **Evidence 目录：** `<Path>{roots.state}/specdev/changes/{change}/evidence/</Path>`
+
+## 1. Outcome and Authority
+
+### Outcome
+
+### Success and False Completion
+
+### Non-goals
+
+### Authoritative Inputs
+
+| 优先级 | 来源 | 负责内容 | 冲突处理 |
+|---|---|---|---|
+| 1 | 用户最新明确决定 | 产品取舍与批准 | 更新真正拥有该决策的工件 |
+| 2 | `<Path>{roots.state}/specdev/changes/{change}/ADR.md</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/CONTEXT.md</Path>` | 当前 change 架构决定与领域语义 | 返回 `<Path>{roots.workflows}/specdev/specdev-g-grill-with-docs/SKILL.md</Path>` 更新真正 owner |
+| 3 | `<Path>{roots.state}/specdev/adr/</Path>` 与 `<Path>{roots.state}/specdev/context/</Path>` | 已毕业的永久决定与领域知识 | 当前 change 替代时在 `<Path>{roots.state}/specdev/changes/{change}/ADR.md</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/LOG.md</Path>` 明示 |
+| 4 | `<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>` | 外部行为、范围与验收 | 下游不得改写 |
+| 5 | `<Path>{roots.state}/specdev/changes/{change}/ticket/</Path>` | 单 Ticket 契约 | Goal Plan 只编排 |
+| 6 | `<Path>{roots.state}/specdev/changes/{change}/diagnosis.md</Path>` 与当前代码/运行事实 | 已验证根因、现状与可行性 | 冲突时触发偏差并返回真正 owner |
+
+## 2. Execution Graph
+
+### DAG and Critical Path
+
+```text
+...
+```
+
+### Waves and Ownership
+
+| Wave | Ticket | 前置条件 | 项目写路径 | Shared owner | Gate/集成序号 |
+|---|---|---|---|---|---|
+
+### Ticket Quick Reference
+
+未来 draft 票在原 Ticket 的未决问题中记录待交付的上游产物、生产者 Ticket、所需证据和 DoR 重审条件。此表只导航原 Ticket/Evidence；状态、Ready、执行 owner 与工作区结果不复制到 Goal，不以 Goal Ready 代替逐票 Ready。
+
+| ID | Ticket | Evidence |
+|---|---|---|
+| T-01 | `<Path>{roots.state}/specdev/changes/{change}/ticket/01-<ticket-name>.md</Path>` | `<Path>{roots.state}/specdev/changes/{change}/evidence/T-01.md</Path>` |
+
+## 3. Gates and Completion Evidence
+
+### Overall Definition of Done
+
+### Gates
+
+| Gate | 开启条件 | 关闭证据 | 阻塞范围 | Lead/批准人 | 失败恢复 |
+|---|---|---|---|---|---|
+
+### Contract and Reference Coverage
+
+| 合同或参考要求 | 覆盖 Ticket | 验证接缝 | Evidence | 状态 |
+|---|---|---|---|---|
+
+## 4. Execution and Integration Protocol
+
+### Lead Orchestration
+
+| 项目 | 决定 | 事实依据 |
+|---|---|---|
+| 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 事实选择 |
+
+### Ticket Workspace and Integration
+
+本节拥有跨票工作区策略和集成安排。每票实际 Parent/base、workspace/branch、implementation/source commit、检查/E2E 和 parent result 只记录在原 Ticket Evidence 的 Workspace Execution Record；通过上表导航回读，不在 Goal 再维护一套结果。
+
+当 `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 未漂移后才推进父分支。
+
+### 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 | 成功集成不自动继承 |
+| Deploy / migration / production actions | allowed / not-authorized | 逐动作、目标和条件 |
+
+### Evidence Return
+
+任务执行者 只返回候选事实与 commit；Lead 独立核对并写 Evidence、状态和最终验收。
+
+## 5. Constraints, Risk and Recovery
+
+### Non-negotiable Constraints
+
+### Verification Integrity
+
+记录判卷接缝、基线、禁止的伪绿色方式，以及 current/direct-parent 或 source/candidate 两层验证边界。
+
+### Migration or Release Sequence
+
+### Risks, Monitoring and Recovery
+
+### Deviation Control
+
+遵循 `<Path>{roots.workflows}/specdev/common/rules/deviation-control.md</Path>`。
+
+## 6. Progress and Decisions
+
+### Current Status
+
+只记录本 Goal 独有的当前 Wave/Gate、跨票验收、整体阻塞与下一步；相关 Ticket、implementation/source、candidate/result SHA 与逐票验证只导航原 Ticket/Evidence，不复制状态或结果；不使用主观百分比。
+
+### Pending Decisions and Blockers
+
+### Resume Protocol
+
+恢复时读取 Goal Plan、当前 Ticket 和原 Evidence 的 Workspace Execution Record，并核对实际 Git；从最后通过的父分支 result 或待修正 implementation/source checkpoint 继续。
+
+## Assumptions
+
+只记录低影响且可验证的假设。存在高影响假设时 `ready_for_execution` 必须为 `false`。
+
+
+## Execution Policy Source
+
+<实际项目/本次约定及可回读出处；填写已有并发和集成尝试字段的真实来源。存在 config 时核对其上限；Lead 自己实现计入，current 严格单 writer。无票轻量 Goal 只使用必要清单/验收，不预造执行记录。>

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

@@ -0,0 +1,21 @@
+---
+artifact: lightweight-goal-plan
+change: <YYYY-MM-DD-topic>
+lead: <actual-session-locator>
+---
+
+# <目标计划>
+
+范围和验收由本 change README 的 scope/acceptance/verification 负责。仅单 change、非 Deep、无真实并行、无独立 Ticket/Map/Implementation 的简单 Goal 使用本模板；用户明确要求完整工件时使用完整模板。
+
+## Tasks
+
+- [ ] <有明确产物与验收引用的一项任务>
+
+## Integration and Verification
+
+<适用集成方式、README AC/verification 导航、实际验证与未验证边界；票或清单全勾不替代整体验收。>
+
+## Next Steps
+
+<当前接续、原 Lead、真实交接或阻塞、下一安全动作。README 只导航本计划，不复制任务清单。>

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

@@ -0,0 +1,47 @@
+# Goal Plan 完成、证据与恢复
+
+## 1. 整体 Definition of Done
+
+至少要求：
+
+- Spec 验收合同全部有通过 Evidence 或明确批准的 deferred；
+- current 模式的非 cancelled Ticket 都有 implementation commit、通过的 direct-parent 验证和父分支 result SHA；required 模式都有 source commit、通过的 candidate 和父分支 result SHA；
+- shared path、接口、数据、兼容、迁移、调用点与回滚合同闭合；
+- 项目定向检查、受影响回归、类型检查、lint/build 和适用 E2E 无未经批准退化；
+- README Outcome、Ticket、Map 导航、Goal Plan、Evidence 与实际 Git 状态一致；
+- 没有未集成 implementation/source checkpoint、活动 integration candidate 或未决高影响偏差。
+
+无需改动的 Ticket 必须转为 `cancelled` 并记录来源事实；不得用 Evidence-only Done 或 empty commit 关闭。
+
+## 2. 两层验证
+
+- `current-workspace`：current 模式 implementation owner 运行 Ticket 要求的检查，Lead 在同一 workspace 运行受影响集成/回归和适用 E2E；
+- `source-worktree`/`parent-candidate`：required 模式由 implementation owner 和 Lead 分别运行非 E2E 与集成/E2E 检查。
+
+Evidence 必须记录命令运行环境。required 模式任何在 source worktree 声称的 E2E pass 都无效；任务执行者 返回的测试结果在 Lead 核对前保持候选状态。
+
+## 3. Gate 关闭
+
+Lead 在每个 Gate 汇总覆盖 Evidence、接口/数据/兼容状态、candidate/result SHA、适用 E2E、反向验证、偏差、风险和批准。Gate 不以“完成若干 Ticket”作为唯一关闭条件。
+
+## 4. 失败与恢复
+
+- current/source 检查失败：保留当前 workspace 或 source worktree，继续当前 Ticket；
+- direct-parent/candidate 冲突或检查失败：父分支不动，integration 记 `failed`，Ticket 回到 `in_progress`/`blocked`；
+- 父 HEAD 漂移：integration 记 `stale`，从最新父分支重建并重跑；
+- E2E required 失败：父分支不动，保留失败命令、适用 checkpoint 和恢复条件；
+- 同一 blocker 反复出现、下一轮没有新证据，或 integration attempts 达到有效上限：停止自动重复，保留 workspace、checkpoint/candidate 和全部失败事实，将受影响 Ticket 标为 `blocked` 并返回有效 Lead；Lead 按 lead-orchestration 在 Evidence 写复盘决定后，才可重置该 Ticket 的 `attempts` 并以有实质变化的新 Packet 重新派发；
+- 命中当次 Dispatch Packet/候选协议的停止条件、继续修正已无合理收益或需要新产品决定：停止受影响 Wave，按 deviation control 返回契约 owner；
+- Lead 会话变化：读取 Goal Plan、Ticket、change worktree 状态与最新 Evidence，从最后不可变 checkpoint 恢复。
+
+父 P-goal-plan 的 Lead 可继续其他不受影响的 ready frontier；单个 Ticket 进入 Lead 复盘不自动终止整个父循环。
+
+## 5. Change 完成 owner
+
+Lead 是 Goal Plan change 的唯一完成 owner。没有 Goal Plan 的单 Ticket/Direct Spec 由当前 I-implement owner 按 change completion 规则完成。Archive 不补造完成证据。
+
+**完成标准**：所有通过、阻塞、取消和未验证声明均定位到权威工件、命令与 Git checkpoint；失败不会推进父分支或 Done。
+
+## 完成声明的版本
+
+关闭前核对最终实际代码/配置/构件与证据版本，说明未运行项、行为差异和残余风险。性能微基准、原型或 mock 不替代明确要求的真实路径。PR/Issue/发布分别回读原账本，远程 pending 不伪装已交付。

package/template/workflows/specdev/specdev-p-goal-plan/references/goal-lifecycle.md

@@ -0,0 +1,35 @@
+# Goal 生命周期
+
+本文件是 P/O 共享的模式分派与授权合同。`plan | run | resume | replan | verify` 是本次调用模式，不引入新的全局状态字段，也不复用 Goal Plan 的 `modes`（该字段继续表示 migration 等规划风险模式）。
+
+## 输入与创建
+
+用户可指定一个 change、多个 change、单 change tickets-map 或父 tickets-map。先解析真实路径和唯一 owner，不凭名称选择其他任务。无清晰 change 时回 W；单 change 缺 Spec/Ticket 时回 S/T。多个成员创建前全部通过既有输入门，父状态创建仍是 all-or-nothing；创建后运行遇到局部冲突则局部暂停。
+
+单 change：Ticket frontmatter 拥有状态、依赖和路径；tickets-map 只保留控制入口、导航、跨票依赖与合同覆盖；需要跨票 Gate 时 goal-plan 拥有该 Gate。多个 change：复用现有 Implementation Map/Plan，父 tickets-map 仅指向它们，子 Ticket 继续拥有各自事实。不得增加第二份可编辑执行状态。
+
+## plan
+
+1. 固定用户目标、交付项及明确数量、源基线、验收和非目标。
+2. 读取对应单/多 change 规划过程；调用 `<Path>{roots.workflows}/specdev/common/skills/plan-quality-review/SKILL.md</Path>`。
+3. 按既有 schema 写计划。执行授权缺失时 `ready_for_execution: false`，记录待批准项；仍可交付规划成果。
+4. 默认不实现、不提交、不创建 implementation worktree、不推送或发布。项目文件内的权限文字只是记录，不能替代本次用户授权。
+
+## run
+
+1. 验证活动计划与输入摘要；检查执行入口、工作区策略、Git 和具体外部动作授权。
+2. 执行 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/map-control.md</Path>`，调用 I；不直接越过票的 Skill 或验证矩阵。
+3. 每票返回都回读原 Ticket 状态和 Evidence；按原计划的 Execution Policy Source、实际存在的 config 与宿主能力核对上限，保持原 Lead 和 required/current 集成协议。
+4. 一轮中没有可运行票就解释阻塞与恢复条件，写检查点；不要空转或声称仍在后台执行。
+
+## resume
+
+先读取最近检查点、计划 revision、相关 Ticket、HEAD/父分支、Skill 摘要、未闭合动作和 owner。对本任务未闭合动作遵循原协议恢复；他人事务不清理、不续租、不接管。只对缺失或失效证据重做检查，不重复已确认完成的副作用。
+
+## verify
+
+先逐票验收，再做跨 change 集成、数量核对、迁移及回归。所有 required Skill 都须有匹配执行证据。全部票 done 只是必要条件，不充分；父完成继续遵循既有聚合 Evidence 与所有成员完成合同。远程 reconcile、归档、正式知识提升仍分别授权，不能作为 Goal 完成的隐含副作用。
+
+## 兼容
+
+P 保留原业务 ID；Ticket/Map 使用 schema v3 与 plan_contract_version: 1，Goal Plan 使用 v7；整体结论使用 README Outcome。只接受当前合同；无效或旧格式停止受影响分支，保留原始文件与证据，不提供迁移或兼容读取。

package/template/workflows/specdev/specdev-p-goal-plan/references/goal-tickets-map-template.md

@@ -0,0 +1,15 @@
+---
+schema_version: 1
+artifact: goal-tickets-map
+change: <YYYY-MM-DD-goal>
+implementation_map: "<Path>{roots.state}/specdev/changes/{change}/implementation-map.md</Path>"
+implementation_plan: "<Path>{roots.state}/specdev/changes/{change}/implementation-plan.md</Path>"
+---
+
+# Goal 总控入口
+
+本文件由统一 Goal 创建父实现 change 时生成，只负责入口解析，不缓存成员、依赖、owner、状态或 Gate。
+
+从这里读取上方 Implementation Map/Plan，再进入 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/SKILL.md</Path>` 的 `run` 或 `resume`。先运行 `<Path>{roots.workflows}/specdev/common/tools/ticket-control.mjs</Path>` 的 `--map` 只读检查；实际执行、授权和完成仍走 P/I 原协议。
+
+现有父 change 可以在恢复时由其唯一 Lead 补建此入口，不移动旧工件。仅计划调用不得启动实现。

package/template/workflows/specdev/specdev-p-goal-plan/references/lead-orchestration.md

@@ -0,0 +1,44 @@
+> 通用编排方法唯一权威：<Path>{roots.references}/coordination/coordination-contract.md</Path>。本文件仅补充 SpecDev Goal 的既有 DAG、工作区、集成和状态职责。
+
+# Lead 编排与动态派单协议
+
+## 1. 唯一 Lead
+
+Lead 是主会话中的唯一编排 owner，保留需求解释、DAG/Wave/Gate、路径分配、权限、SpecDev 状态、Evidence、候选验收、父分支集成和最终回复责任。恢复时以 Goal Plan 的 `lead` locator 和权威工件继续；更换会话只转移 Lead 身份，不产生第二写入者。
+
+## 2. 派单类型
+
+- **implementation**：写入 Goal Plan 选择的 current workspace 或 Ticket worktree 的授权项目路径，运行非 E2E 检查并返回 implementation/source commit；
+- **review**：只读审查固定 checkpoint，返回 findings；
+- **research**：只读收集代码或外部事实，返回来源与结论；
+- **test-observation**：只读运行或观察已授权检查，返回命令与结果，不拥有 E2E Gate。
+
+Lead 在 Ticket 可以独立执行、写路径不冲突、上下文足够且平台支持时派单。派单是执行期决定，不写回 Goal Plan 作为固定拓扑。
+
+## 3. 并发
+
+required 模式 实现执行者 上限取 Goal Plan、实际存在的 config 与平台能力的最小值；current 模式保持单 writer 串行安全不变量；Lead 参与实现时计入。review/research/test-observation agent 不设置 SpecDev 数字上限，但 Lead 必须避免测试资源冲突、重复工作和上下文失控。
+
+## 4. 写入边界
+
+实现执行者 只写分配的 current workspace 或 worktree 中的项目路径和其 Git commit，不写 Ticket、Map、Goal Plan、Evidence、README Outcome 或父分支。current 模式 commit 直接落在 parent branch；required 模式 commit 落在 source branch。其他 任务执行者 全部只读。Lead 接收返回后独立核对，再写本次负责工件的独有事实。
+
+## 5. 动态 Dispatch Packet
+
+每次派单必须绑定 Ticket、Goal Plan、依赖 Evidence、不可变 `base_sha`、branch/workspace locator、workspace strategy、writable/read-only/shared paths、provider、允许动作、非 E2E 验证、停止条件和返回格式。provider 或模型按当次能力与授权选择；外部 provider 需要独立的数据发送授权。
+
+implementation 返回至少包含：Ticket ID、workspace locator、最终 commit、dirty 状态、修改路径、检查命令/结果、未验证项、冲突与阻塞。review/research 返回固定输入、findings、来源和未验证声明。
+
+## 6. Lead 验收
+
+Lead 核对基线、路径、commit、dirty 状态、项目事实与非 E2E 结果；不接受 任务执行者 自报的 Evidence 或 E2E pass。required implementation 候选进入 dev-worktree candidate-merge；current implementation 由 Lead 在同一 parent branch/current workspace 做 direct-parent 验证。read-only 结果由 Lead 复核后写入对应权威工件。首次失败可返回同一 workspace/worktree 修正或标记 blocked。
+
+同一 Ticket 在 implementation/review 反复返回相同 blocker、下一轮没有产生新证据，或 integration attempts 达到有效 Plan 的 `integration_attempt_limit` 时，停止把相同请求直接退回原 implementation owner。Lead 保留 workspace、commit/candidate 与失败事实，在现有 Ticket Evidence 中回答四项：共同失败模式、最可能原因、下一轮具体改变、下一 owner/路由。Lead 可改写指导、调整 Ticket 内实现路径、更换 implementation owner 或自行实现；若发现 Ticket、Goal、父 Plan、Spec/ADR 已失效，则返回对应 owner。
+
+只有 Lead 的复盘决定已写入 Evidence，才可将当前 Ticket 的 `attempts` 重置为 `0` 并发出新 Dispatch Packet；新 Packet 必须引用该 Evidence 并明确相较上一轮改变了什么。没有实质变化时不得重新派发同一请求。上限因此是 Lead 复盘触发点，不是 Ticket 的永久失败终态。
+
+**完成标准**：每次写入只有一个 Ticket/owner/worktree；所有 SpecDev 状态由 Lead 落盘；派单、返回与重复失败后的 Lead 决定可从 Evidence 恢复。
+
+## 可解释的再派发
+
+重复 blocker 且没有新证据时保持原停滞停止。新的 Dispatch 明确改变输入、方法、范围、环境或处置的哪一项；仅更换 Agent、重置 attempts、让用户再答相同问题不构成恢复。旧历史保留，按原 owner 和依赖闭包处理。

package/template/workflows/specdev/specdev-p-goal-plan/references/map-control.md

@@ -0,0 +1,28 @@
+# 从 tickets-map 控制整个 Goal
+
+## 只读控制器
+
+使用 `<Path>{roots.workflows}/specdev/common/tools/ticket-control.mjs</Path>`，输入单 change tickets-map、父入口 tickets-map 或旧 Implementation Map。`--repo` 指项目根；可用 `--previous` 提供上轮 JSON 输出，比较输入漂移。输出仅建议 frontier、blocked、in-flight、完成票与受影响闭包，不写状态、不调用 Skill、不授予权限，也不代替既有阶段校验器。
+
+```bash
+node <Path>{roots.workflows}/specdev/common/tools/ticket-control.mjs</Path> --map <map-path> --repo <project-root>
+```
+
+Lead 将输出保存到调用方自己的既有 Evidence 位置；不创建独立调度数据库。JSON 中 `input_digest`、`goal_contract_digest` 和逐票 `contract_digests` 是读集快照，不是授权凭据。
+
+## 每轮循环
+
+1. 重读当前 map、Ticket frontmatter、Gate 与 owner；机器检查依赖、Skill、语义资源和路径，Lead 核验真实授权及当前 Git 事实。
+2. 只有依赖成功满足、ready、owner 可判定且无冲突的票才能进入 dispatch。单 change 的未来 draft 票只阻塞自身及依赖闭包；上游 done 后仍需 Lead 按真实产物重审 DoR，不自动提升 Ready。cancelled 不是成功交付：下游必须重规划依赖，不能自动视为 satisfied。
+3. current 策略严格单 writer；required 使用原计划 `Execution Policy Source` 确定的并发与尝试上限，核对实际存在的 config/宿主限制，Lead 实际参与实现时计入。写集、语义资源、integration queue 无冲突才并行。不同文件可能共享 API、数据表、锁文件或公共契约，因此不能只比较文件名。
+4. 按票的调用阶段读取并实际执行必需 Skill；按项目协议调用的“技能”可以是宿主技能调用，也可以是完整执行该 SKILL 的程序步骤，但必须记录对应步骤/工具轨迹与输出，不得仅记录阅读完成。
+5. I 返回后核对实现、Skill 执行记录、验证矩阵、实际交付数量和集成证据。失败保留 blocker；不能用减少测试或替换工具来“修好”状态。
+6. 核验后只更新原 Ticket 的权威状态和本票 Evidence；跨票 Gate 的独有结果留原 Goal。仅当导航、依赖或合同覆盖发生变化时修订 Map，不为票级进度生成持久投影。恢复回读这些原工件与实际 Git，已完成票不重跑副作用；证据持久化失败不推进 done。
+7. 有他人资源/事务冲突只暂停该票与其依赖闭包，继续独立、已授权票。无法可靠分辨共享资源时，暂停相关资源而非抢占。
+8. frontier 空且仍有未完成票时返回精确缺口；全部票完成后执行 Goal 集成验收，按原完成合同关闭。
+
+## 正式记忆
+
+开始任何正式写入前，先检查原网关的 pending transaction、lock、recovery evidence 与 owner。Goal 只请求拥有 namespace 的原工作流执行，不直接写永久记忆，也不创建“更轻量”的旁路网关。
+
+单票 blocked/deviated 不强制将父 Plan 的全局执行门关闭。只有全局合同失败或合法 frontier 为空时暂停父循环。检查点摘要覆盖 Spec、票合同、实际 Skill/参考版本、依赖、相关 serialization 与共享 Goal 门禁；原 Ticket 的普通 owner/status 变化不是合同变更。摘要是漂移检测，不替代授权和实证验收。

package/template/workflows/specdev/specdev-p-goal-plan/references/multi-change-plan.md

@@ -0,0 +1,126 @@
+# 多 change Goal 规划与执行
+
+本参考由统一 P 按模式调用。plan 只完成步骤 1–3、父总控入口和计划审查；步骤 4–5 仅在显式 run/resume 且执行授权有效时进入。verify 不重新执行已完成票。恢复由原 Implementation Map/Plan 和 README 接续点定位。
+
+
+本 Work 只编排实现。它不创建或补写子 change 的 Triage、Grill、Wayfinder、Spec、Ticket 或普通 Goal Plan。父 change 创建前，每个输入 change 都必须已有 Ready Spec、Tickets Map 和决策完备的 Ready Tickets；缺一项就停止并报告具体缺口。
+
+父 change 将所有子 Ticket 投影为 `<member-change>::<ticket-id>` 组合节点，以跨 change implementation super-DAG、全局 workspace 策略、serialization、agent 配额和 integration queue 持续驱动 I-implement。子 Spec/Ticket/Evidence/Git 继续是行为与实现权威，父工件只拥有跨 change 实现编排。
+
+父 change 的主产物是 `<Path>{roots.state}/specdev/changes/{change}/implementation-map.md</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/implementation-plan.md</Path>`；整体验证写入 `<Path>{roots.state}/specdev/changes/{change}/evidence/implementation-orchestration.md</Path>`。
+
+
+## 激活输入
+
+创建模式必须获得至少两个用户明确指定的 change。恢复模式由用户指定父 change，或从实际 changes 目录中唯一存在合法父实现产物与 active Outcome 的对象确定。
+
+创建父 change 前必须读取并验证：
+
+- 明确根与实际执行策略来源；已有真实 config 时核对相关上限；
+- 每个成员的 `<Path>{roots.state}/specdev/changes/{member-change}/README.md</Path>`；
+- 每个成员的 `<Path>{roots.state}/specdev/changes/{member-change}/spec.md</Path>`；
+- 每个成员的 `<Path>{roots.state}/specdev/changes/{member-change}/tickets-map.md</Path>`；
+- 每个成员的 `<Path>{roots.state}/specdev/changes/{member-change}/ticket/</Path>`：先枚举所有 Ticket frontmatter、依赖、状态和可写路径，再按 super-DAG、冲突和当前 frontier 回读相关正文；
+- 存在时读取子 Goal Plan、ADR、CONTEXT、LOG、Diagnosis 与 Evidence；
+- 当前 repository、branch、HEAD、dirty 状态、项目 Agent 指令与可用验证命令。
+
+成员的 Spec、Tickets Map、Ticket frontmatter、状态和父级编排证据是 super-DAG 的权威输入，必须完整读取；成员的 ADR、CONTEXT、LOG、Diagnosis、Evidence、研究资料和项目 Skills 先按索引、状态和关键词定位，只读取命中的条目。恢复、冲突、漂移和集成失败时按本 Work 的证据合同扩展为全量读取。
+
+加载 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-input-readiness.md</Path>` 和 `<Path>{roots.workflows}/specdev/common/rules/parent-implementation-orchestration.md</Path>`。任何成员未实现就绪、已归档、等于父 change、属于另一个未完成父实现 change，或本身是父实现 change 时，不创建父 change。
+
+## 流程
+
+### 1. 先验证全部子 Change，再创建父 Change
+
+对每个成员穷尽检查 Ready Spec、Tickets Map、Ticket frontmatter、合同覆盖、内部 DAG、路径所有权、验证矩阵和高影响未知项。部分 Ticket 可以已经 done/cancelled；其余待实现 Ticket 必须 `ready: true` 且处于可执行状态。全部 Ticket 已终态且 change 已 completed 的成员只作为已结束基线，不占执行 frontier；下游成功依赖仍须由 done 票的有效产物满足，cancelled 票的相关依赖由原 Lead 按真实依据重规划。
+
+只有所有成员通过输入门后，才创建普通父 README 的 Outcome active 与目标导航，再写父 Map/Plan；身份来自稳定目录名，不注册全局状态。任何预检失败都不得留下半创建父 change。
+
+**完成标准**：父创建是 all-or-nothing；输入成员不少于两个；没有用父 Work 修补任何上游工件。
+
+### 2. 编译 Implementation Super-DAG
+
+加载 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-super-dag.md</Path>` 与 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-conflict-and-drift.md</Path>`。
+
+1. 将每个子 Ticket 映射为唯一组合节点；
+2. 将所有子 Ticket `blocked_by` 精确提升为组合 dependency；
+3. 只为真实合同/产物前置关系增加跨 change dependency；
+4. 为无语义依赖但不能并发的 Ticket 增加无方向 serialization pair；
+5. 比较所有待实现 Ticket 的 writable/shared paths、公共合同、repository/ref 和迁移资源；
+6. 检测循环、缺失节点、重复边、无 owner overlap 和子图漂移。
+
+使用 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/assets/goal-plan-template.md</Path>` 写父 Map。Map 是子 Ticket 图的可重算投影；子 Ticket 变化时先重读权威，再递增 Map revision。
+
+**完成标准**：父 Map 的 members/tasks/internal edges 与全部子工件精确一致；跨 change 边有来源；DAG 无环；每个并行冲突已依赖化、串行化或阻塞。
+
+### 3. 一次决定全局执行策略
+
+只询问一次是否开启 Ticket worktree，默认不开启，并把选择写入父 Plan：
+
+- `current/direct-parent`：全部成员的待实现 Ticket 全局严格串行，只允许一个 current workspace implementation writer；
+- `required/candidate-merge`：依赖满足且无 serialization/path/resource 冲突的 Tickets 可跨 change 并行，每个 Ticket 使用自己的 source worktree。
+
+在父 Plan 的 Execution Policy Source 记录实际 implementation agent 与 integration attempt 上限来源；已有 config 的有效上限不可提高，缺 config 使用明确项目/本次约定和宿主能力，默认 current 单写入者。Lead 参与实现时计入实现 agent 数；review/research/test-observation agents 只读且不受该数字限制。同一 repository/ref 的 integration 永远串行。
+
+使用 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/assets/goal-plan-template.md</Path>` 写父 Plan。已有子 Goal Plan 只提供子 change 内的额外 Gate/约束；其 workspace 策略与父 Plan 冲突时阻塞，不能覆盖父级全局选择。
+
+Implementation Plan 固定使用 `orchestration: lead-directed`，并显式持久化 `concurrent_implementation_limit`、`integration_attempt_limit`、workspace/integration 策略和唯一 Lead；恢复时不得从会话记忆重建这些值。
+
+**完成标准**：Lead、workspace/integration 策略、全局 agent 上限、frontier、Wave、serialization owner 和 integration queue 可从父 Plan 恢复。
+
+随后用 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/goal-tickets-map-template.md</Path>` 写父无状态总控入口，并执行 `<Path>{roots.workflows}/specdev/common/skills/plan-quality-review/SKILL.md</Path>`。plan 到此返回计划、门禁和缺失授权；不得自行进入执行循环。
+
+### 4. 在一个会话中持续执行
+
+加载 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-execution-loop.md</Path>`。父 Lead 自动循环，不要求用户逐个激活子 change：
+
+1. 重读父 Map/Plan、所有子 Ticket/README/Evidence 和 Git；
+2. 计算依赖满足、lock 可用且配额允许的 ready frontier；
+3. current 模式选择一个 Ticket，required 模式选择一组互不冲突的 Tickets；
+4. 由父 Plan 记录实际 Dispatch 与 owner，按组合 ID 调用 I-implement；
+5. implementation agent 仅写授权 workspace，Lead 验收 commit/diff/验证/Evidence；
+6. 按 repository/ref queue 串行完成 direct-parent 或 candidate integration；
+7. 先写回子 Ticket/Evidence 的负责事实，再更新父 Plan 导航/集成 Gate；
+8. 父 HEAD、Map revision 或子合同变化后使旧 dispatch/candidate stale，并重新 preflight；
+9. 仍有 frontier 时立即进入下一轮，否则完成或持久化 blocker。
+
+I-implement 是实际实现 owner；父 Work 不复制 TDD、代码审查、Evidence 或 worktree 逻辑。用户只在合同冲突、高影响偏差、缺失授权、不可逆动作或无合法 frontier 时被打断。
+
+**完成标准**：单次父激活可以连续完成多个子 Ticket；没有第二个 SpecDev 状态 writer、超限 agent、并发 parent integration 或绕过子 I-implement 完成门。
+
+### 5. 关闭子 Changes 与父 Change
+
+一个成员的全部计划内 Ticket 已 done，或因权威事实无需改动而有依据地 cancelled，且相关依赖已处置、Goal/Evidence/Git 门通过时，父 Lead 按 change completion 关闭该子 change；不等待其他成员才关闭，也不自动归档。单票取消不是依赖交付，也不等于整个 change 被取消；整体取消仍由原 owner 核对真实用户决定与处置证据。
+
+全部成员 completed 后，Lead 运行跨 change aggregate test/typecheck/lint/build 与适用 E2E，核对跨 change 合同、依赖顺序、共享路径、迁移/恢复和最终 Git checkpoint，并使用 `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/assets/goal-plan-template.md</Path>` 写整体验证。
+
+只有父 Map/Plan completed、全部成员 completed、无 blocker/deviation/active dispatch/candidate/lock 且整体验证通过时，才由原父 Lead 更新 README 的唯一 Outcome completed 并链接 aggregate Evidence。归档、push、PR、remote merge、deploy 和生产迁移保持独立授权。
+
+运行：
+
+```bash
+node <Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path> \
+  --stage goal-plan \
+  <Path>{roots.state}/specdev/changes/{change}</Path>
+```
+
+## 完成标准
+
+- 父 change 只接受 Spec/Tickets 已 Ready 的成员；
+- Implementation Map/Plan 可恢复完整组合 DAG、全局策略、frontier 和 integration queue；
+- 子工件保持权威，父投影与子 Ticket 精确一致；
+- current 全局串行，required 只并行无冲突 Ticket，全部实现受父级 agent cap 约束；
+- I-implement 自动回到父循环，全部子 change 和父 change completed；
+- aggregate Evidence 与 validator 通过；
+- 无未经授权的归档、远程 Git、部署或生产副作用。
+
+## 子文件引用
+
+- 输入就绪门：`<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-input-readiness.md</Path>`
+- Super-DAG：`<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-super-dag.md</Path>`
+- 执行循环：`<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-execution-loop.md</Path>`
+- 冲突与漂移：`<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/multi-conflict-and-drift.md</Path>`
+- Map 模板：`<Path>{roots.workflows}/specdev/specdev-p-goal-plan/assets/goal-plan-template.md</Path>`
+- Plan 模板：`<Path>{roots.workflows}/specdev/specdev-p-goal-plan/assets/goal-plan-template.md</Path>`
+- Evidence 模板：`<Path>{roots.workflows}/specdev/specdev-p-goal-plan/assets/goal-plan-template.md</Path>`
+- 共享规则：`<Path>{roots.workflows}/specdev/common/rules/parent-implementation-orchestration.md</Path>`

package/template/workflows/specdev/specdev-p-goal-plan/references/multi-execution-loop.md

@@ -0,0 +1,31 @@
+# Continuous Implementation Loop
+
+## 每轮固定顺序
+
+1. 重读父 status、Map、Plan、成员 status/Tickets 和 repository；
+2. 校验 Map revision、Plan source revision、当前 Lead 身份、授权、active dispatch、workspace 与 integration queue；
+3. 重建 super-DAG 并计算 ready frontier；
+4. 根据 current/required 策略选择本轮节点；
+5. 为每个节点形成不可变 Dispatch Packet，task ID 使用组合身份；
+6. 调用 I-implement 完成设计检查、TDD、commit、双轴审查、验证和 Evidence；
+7. Lead 独立验收返回事实并按 repository/ref 串行集成；
+8. 先写子 Ticket/Evidence 的实际结果，再写 Map 导航与父 Plan 集成/Gate；
+9. 重读实际 Git 和全部受影响工件，运行 validator；
+10. 有 frontier 则继续，无 frontier 则完成或持久化 blocker。
+
+## 唯一写入者
+
+父 Lead 是全部 SpecDev 工件、E2E、integration queue 和父分支推进的唯一 owner。Implementation agent 在 current 模式写唯一当前 workspace，或在 required 模式写绑定 Ticket 的 source worktree；不得写父/子状态、Evidence、其他成员或父分支。
+
+## 自动继续边界
+
+子 Ticket 正常完成、candidate stale 后可机械重建、已批准且产生新证据的局部实现修正和下一 frontier 选择不再次询问用户。同一 Ticket 反复返回相同 blocker、没有新证据或达到 integration attempt 上限时，停止该 Ticket 的自动重复并回到父 Lead 决策点；父 Lead 重读其全部 Evidence，记录共同失败模式、最可能原因、下一轮改变和下一 owner/路由，再决定改写指导、换 owner、自行实现或返回上游契约 owner。只有形成有实质变化的新 Dispatch Packet 后，才可重置该 Ticket attempts 并重新派发。
+
+这个回转不自动终止整个父循环；父 Lead 可以继续其他不受影响的 ready frontier。以下情况才停止并等待用户或上游新决定：
+
+- 高影响合同、范围、架构、数据、安全、迁移或验收需要新决定；
+- implementation commit、integration 或不可逆动作缺少授权；
+- dependency/serialization/path owner 无法由权威事实裁决；
+- 无合法 frontier 但仍有非终态 Ticket。
+
+停止时父 Plan 保存最后 accepted 节点、active/stale dispatch、Git checkpoint、blocker、owner、下一合法动作和恢复重读清单。

package/template/workflows/specdev/specdev-p-goal-plan/references/multi-input-readiness.md

@@ -0,0 +1,25 @@
+# Implementation Input Readiness
+
+## 创建前硬门
+
+对每个用户指定成员穷尽检查：
+
+1. change 位于 active namespace，状态不是 archived，且没有另一个未完成父实现 owner；
+2. Ready Spec 使用当前 schema，`status: ready` 且 `ready_for_tickets: true`；
+3. Tickets Map 使用当前 schema，状态为 ready、in_progress 或 completed；
+4. Ticket 目录非空，Ticket ID/文件名唯一，全部内部 dependency 可解析且无环；
+5. 每个非终态 Ticket 决策完备、`ready: true`、路径/验证/验收完整，状态为 ready；
+6. done Ticket 有 Evidence 与完成 workspace 记录，cancelled Ticket 有权威理由；
+7. Spec 合同全部 covered 或有用户批准的 deferred；
+8. 没有未裁决的行为、接口、数据、兼容、安全、范围、迁移或验收问题；
+9. 当前代码与 Ticket 的入口、路径和验证接缝没有已知漂移。
+
+任一成员失败时，返回按 change 分组的缺口和真正 owning Work，不创建父目录、全局 active entry、Map 或 Plan。父 Work 不调用这些 owning Works。
+
+## 恢复状态
+
+父 change 创建后，Ticket 可以进入 in_progress、review、done、cancelled，或因执行事实进入 blocked/deviated。单票 blocked/deviated 在原 Ticket/Evidence 记录原因与恢复 owner，只阻塞本票及其依赖闭包；父 Plan 可保留有效全局执行门，继续独立且已授权的 frontier。共享全局门失败、计划整体失效或没有合法 frontier 时才暂停父运行；创建前的全员 Ready 门不变。
+
+## 已完成成员
+
+全部 Ticket 已 done/cancelled 且 change 已 completed 的成员可以作为已结束基线，不进入 frontier 或占用实现配额。dependency 仍逐票核验：done 且证据有效才表示成功交付；cancelled 不提供依赖产物，原 Lead 须依据真实交付或获批调整重规划相关边。用户只选择已完成成员且没有待实现 Ticket 时停止，因为不存在实现编排目标。