@namewta/speculo 1.0.24 → 2.0.1

package/template/workflows/specdev/common/rules/path-reference-contract.md

@@ -2,6 +2,12 @@
 
 本规则是 SpecDev 中“文件、目录、工件与工具引用”的唯一规范。入口 work、子流程、模板、规则、Schema、Skill、工具说明和治理文档均必须遵守。
 
+## 直接使用与根
+
+先明确 projectRoot、methodRoot（方法包根）、stateRoot（领域共同数据父根）；specdevRoot 为 stateRoot/specdev，不持久化新 context JSON。已安装时验证真实 workspace，显式参数与安装 roots 冲突即拒绝；无安装时方法资源可只读，业务写入仍限获批项目内根。相对参数统一基于 projectRoot，不静默改用 cwd 或另一项目。实际路径逐层检查链接、大小写、父类型、包含关系、已有目标与有关事务；仅字符串前缀不足以证明安全。
+
+{roots.*} 只使用既有 alias。安装时来自 workspace；完整离线包由导出资源映射解析；普通自包含 Work 的 references/assets/scripts 相对 Skill 根。没有明确写根仍可只读审查，缺 Node/摘要工具可提供草案但不能伪造检查通过。诊断可显示绝对路径，持久工件使用项目相对或对象内 locator。
+
 ## 1. 工作流目录中的引用
 
 引用 `<Path>{roots.workflows}/specdev/</Path>` 下的任何文件或目录时，必须写出完整根变量与完整相对路径：
@@ -12,8 +18,8 @@
 
 正确示例：
 
-- `<Path>{roots.workflows}/specdev/I-init-setup/config-template.json</Path>`
-- `<Path>{roots.workflows}/specdev/P-goal-plan/orchestration-protocol.md</Path>`
+- `<Path>{roots.workflows}/specdev/specdev-i-init-setup/assets/config-template.json</Path>`
+- `<Path>{roots.workflows}/specdev/specdev-p-goal-plan/references/orchestration-protocol.md</Path>`
 - `<Path>{roots.workflows}/specdev/common/schemas/ticket.schema.json</Path>`
 - `<Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path>`
 - `<Path>{roots.workflows}/specdev/common/skills/research/SKILL.md</Path>`
@@ -21,9 +27,9 @@
 不得使用：
 
 - 裸文件名；
-- 相对路径；
+- 未声明相对基准的跨包路径；
 - 仅写目录名；
-- 指向内部文件的 Markdown 相对链接；
+- 跨包偶然目录关系的 Markdown 相对链接；
 - 省略 Path 标签的反引号路径。
 
 ## 2. 状态目录中的引用
@@ -44,7 +50,7 @@
 
 目录引用必须以 `/` 结束；文件引用不得以 `/` 结束。
 
-嵌套安装反例：项目根 `.speculo/specdev` 不是状态根。change 必须位于 `<Path>{roots.state}/specdev/changes/{change}/</Path>` 或 `<Path>{roots.state}/specdev/archive/YYYY-MM/{change}/</Path>`。
+嵌套安装反例：项目根 `.speculo/specdev` 不是状态根。change 必须位于 `<Path>{roots.state}/specdev/changes/{change}/</Path>` 或新归档 `<Path>{roots.state}/specdev/changes/archive/{change}/</Path>`；旧 `<Path>{roots.state}/specdev/archive/YYYY-MM/{change}/</Path>` 只读保留。
 
 ## 3. 项目代码路径
 
@@ -121,4 +127,7 @@ SpecDev 不假定运行时一定提供项目根变量。Ticket、Evidence、诊
 
 本文件是 SpecDev 内部动态工件协议，不是通用 Agent Skills 的文件格式规范。独立标准 Skill 的静态 references/assets 使用相对路径；workflow 私有 Skill 声明 compatibility 后继续使用本 Path 合同。已有持久化引用不批量迁移。
 
-实际执行前可以使用只读 `speculo resolve <project-root> --path '<Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path>'` 展开单个指针。解析器先打开字面 workspace 路径，拒绝未知 alias、未替换变量、通配符、越界路径与链接跳转；不执行 shell、不授予文件写入权限。完整命令由已获授权调用方使用参数数组构造，不把 Path 标记或用户文本直接交给 shell。
+已有安装可选使用只读 `speculo resolve <project-root> --path '<Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path>'` 展开单个指针。解析器先打开字面 workspace 路径，拒绝未知 alias、未替换变量、通配符、越界路径与链接跳转；不执行 shell、不授予文件写入权限。完整命令由已获授权调用方使用参数数组构造，不把 Path 标记或用户文本直接交给 shell。
+
+
+change 内 Markdown 点击链接相对当前文件，对象内 locator 相对稳定 change 根；项目文件 locator 相对项目根，二者不得混淆。新归档移动后通过稳定名称与实际唯一位置解析；不改不可变批准、revision 或原型摘要绑定字节。旧 archive 只读解析保留原格式，不能凭空合成新 Outcome。链接可迁移不等于授权可迁移，真实 owner 与写集仍需核对。

package/template/workflows/specdev/common/rules/readiness-and-depth.md

@@ -27,6 +27,7 @@ Ticket 只有同时满足以下适用条件才可设置 `ready: true`：
 - 外部行为和可观察产出明确；
 - IN、REUSE、OUT 无冲突；
 - 高影响决策已锁定；
+- UI 范围按 <Path>{roots.workflows}/specdev/common/rules/design-contract.md</Path> 硬引用已批准 change DESIGN、基线版本和原型，确认/摘要未失效；
 - 没有会改变行为、接口、数据、兼容、安全、范围或验收的未决问题；
 - 依赖存在且无循环；
 - `writable_paths`、`read_only_paths` 和 `shared_paths` 使用项目相对 Path 标签；
@@ -37,12 +38,16 @@ Ticket 只有同时满足以下适用条件才可设置 `ready: true`：
 - Deep Ticket 有迁移、兼容、监控、回滚和批准点，或逐项说明不适用；
 - 单个全新上下文可以完成，否则必须拆分。
 
-详细检查位于 `<Path>{roots.workflows}/specdev/T-tickets/ticket-readiness.md</Path>`。
+详细检查位于 `<Path>{roots.workflows}/specdev/specdev-t-tickets/references/ticket-readiness.md</Path>`。
 
 ## 3. Spec Readiness
 
 `<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>` 只有在外部行为、范围、公共接口、数据、安全、兼容、迁移和验收合同不存在高影响未知项时，才可设置 `ready_for_tickets: true`。
 
+UI 范围的 Ready Spec 同样要求已批准且未漂移的 change DESIGN 和页面/状态 AC 映射；纯后端或 LOGIC-only 无此要求。
+
+轻量 README 的 scope/acceptance/verification 使用同样的外部行为、风险与可判定 AC 门；没有独立票不要求 Spec YAML 或 Map。Deep、真实并行、跨 change 或复杂设计依赖必须使用完整工件；用户明确产物要求不因轻量分支降低。
+
 ## 4. 假设规则
 
 - 低影响、可逆的默认值可以作为显式假设继续；

package/template/workflows/specdev/common/rules/test-reliability.md

@@ -22,6 +22,8 @@
 
 清理要停止新工作、解除监听、恢复全局修改，并等待子进程 exit、server close、worker termination 或等价信号。仅调用 abort/close/kill 不代表清理完成。测试需能在断言失败后仍清理，并在存在晚到回调时验证它不能污染下一个测试。
 
+清理失败保留原故障及清理故障，不吞掉其中一个。
+
 ## 有效 red、负向对照与测试删除
 
 有效 red 必须来自目标行为断言。编译错误、没选中测试、fixture 初始化失败、探针未执行、timeout 杀死子进程都不是目标回归证据。强制变异先证明修改落在真实执行路径，观察预期断言失败，再还原并复跑基线。
@@ -30,4 +32,6 @@
 
 删除旧测试前逐项核对它所保护的行为、错误、兼容和历史回归在新测试中的承接位置与有效证据。新的公共接口测试存在，不证明旧测试全部冗余；缺失承接则保留或补齐。不要用 sleep、宽断言、吞错、重试、归一化或跳过来制造绿色。真实外部服务允许的有界重试须由该测试政策明确批准，并报告重试与跳过。
 
+覆盖率和测试数量不能证明等价。结构检查、可执行反例和真实宿主观察分别报告，不把第一层写成第三层。
+
 方法参考：<Url>https://github.com/deepseek-ai/deepseek-harness/blob/d743267388641bc76f17c45ce8b4c231aed1d32c/.agents/skills/dsh-ci-test-reliability/SKILL.md</Url>。使用目标项目的框架和真实 CI，不照搬 DSH 的工具、覆盖率或超时常量。

package/template/workflows/specdev/common/rules/workflow-routing.md

@@ -20,14 +20,14 @@
 | 开发完成后需要理解当前 change 或追问实现 | L-learn-change | 返回用户 / 继续提问 / Triage / A |
 | 架构健康扫描 | R-review-architecture | G / T |
 
-同 change 下一阶段需要当前一手推理且上下文健康时继续；切换 repo/person/harness 或旁路时使用 `<Path>{roots.commands}/handoff.md</Path>`；严格限定且可独立派单时使用 Dispatch Packet；其他长上下文以权威工件路径恢复。平台不支持 clear/compact 时不虚构操作。
+同 change 下一阶段需要当前一手推理且上下文健康时继续；切换 repo/person/harness 或旁路时使用 `<Path>{roots.commands}/handoff/COMMAND.md</Path>`；严格限定且可独立派单时使用 Dispatch Packet；其他长上下文以权威工件路径恢复。平台不支持 clear/compact 时不虚构操作。
 
 
 本地已清晰请求不强制绕行 Triage。完成后要记账才选 publish；尚未成 Change、只想先留 inbox 记录才选 capture。publish、reconcile 与 capture 写不同远程对象，可先后执行。G 是单 change Grill，P-prototype 是 UI 设计，不与统一 P-goal-plan 混淆。W 发现候选后逐个交 G/S/T；单 change 拆票后可交 P 规划，多个 child 创建父 Goal 前仍须全部 Ready。原缺陷诊断 D、风险分诊、远程 reconcile、完成后发布投影和记事项捕获职责不删除。
 
 ## 复盘与交付路由
 
-开发环境/流程复盘 → <Path>{roots.workflows}/specdev/R-retro/R-retro.md</Path>。代码讲解仍为 L；Speculo 产品反馈仍为 retro command。CI/安全/PR/包发布 → <Path>{roots.workflows}/specdev/T-triage/T-triage.md</Path> 的对应模式；确定性修复回到 D/I，不由 T 接管代码。
+开发环境/流程复盘 → <Path>{roots.workflows}/specdev/specdev-r-retro/SKILL.md</Path>。代码讲解仍为 L；Speculo 产品反馈仍为 retro command。CI/安全/PR/包发布 → <Path>{roots.workflows}/specdev/specdev-t-triage/SKILL.md</Path> 的对应模式；确定性修复回到 D/I，不由 T 接管代码。
 
 长任务在阶段边界按产物与待决问题选择继续、压缩上下文或 handoff；交接只携带准确 owner、SHA、输入和未闭合动作，不硬编码特定模型的上下文阈值，不自动启动其他会话。
 

package/template/workflows/specdev/common/rules/workflow-state-and-lifecycle.md

@@ -1,100 +1,45 @@
-# 状态、持久化与恢复细则
+# 工件生命周期与恢复
 
-创建、恢复、迁移、关闭或归档 change 时读取；普通路由只读激活合同。
+创建、恢复、结束或归档 change 时读取。安装与业务运行分开；新项目不预造空目录、全局状态或工作调用记录。
 
-## 持久化约定
+## 身份与位置
 
-`speculo init` 创建固定状态骨架：
+change 的稳定身份是同一项目、领域内的 `YYYY-MM-DD-topic[-NN]` 目录名，日期为创建日期，不随归档重命名。真实首次创建时选择未占用名称；检查 active、新 archive 和旧历史，重名或多位置阻塞。只有需要相应内容时才建目录。
 
-- 全局状态：`<Path>{roots.state}/specdev/status.json</Path>`
-- 活跃 change：`<Path>{roots.state}/specdev/changes/</Path>`
-- 历史归档：`<Path>{roots.state}/specdev/archive/</Path>`
-- 捕获账本（可选，缺失合法）：`<Path>{roots.state}/specdev/capture.md</Path>`
+- 活动/已结束未归档对象：<Path>{roots.state}/specdev/changes/{change}/README.md</Path>。
+- 新封存对象：<Path>{roots.state}/specdev/changes/archive/{change}/README.md</Path>。
+- 既有历史：<Path>{roots.state}/specdev/archive/YYYY-MM/{change}/</Path>，原位只读，保留原 schema、许可、模式和字节。
+- 直接 A 无 change 的必要维护回执：<Path>{roots.state}/specdev/maintenance/{date}-{topic}[-NN].md</Path>，只在跨会话/跨对象恢复需要时创建。
+- 工程 docs：<Path>{roots.state}/docs/README.md</Path>，明确请求基线后按需存在；它是跨领域工程事实，不是 SpecDev 独占知识 store。
 
-刷新时 CLI 依据 `<Path>{roots.workflows}/specdev/runtime-contract.json</Path>` 处理持久化数据：配置使用 baseline 三方合并，登记的状态 schema 使用显式 migrator，其他 runtime 文件按字节保留。只有字段删除或结构迁移时才在 `<Path>{roots.state}/back/</Path>` 写入 targeted backup；冲突在替换 active 安装前阻塞。`<Path>{roots.state}/back/</Path>`、`<Path>{roots.state}/install.json</Path>`、`<Path>{roots.state}/managed.json</Path>` 与 `<Path>{roots.state}/baselines/</Path>` 均不属于 SpecDev 写入 namespace。
+归档实际位置和原回执表示封存；不在 README 增加 archived、archive_path 或全局 active/archived 列表。新 archive 不嵌套月份。旧历史移动须另有明确计划，验证所有 locator 和 DESIGN 摘要；不可变正文不做路径替换。
 
-初始化设置 work 首次运行时生成配置并创建空的永久 namespace：
+## 唯一整体结论
 
-- 全局配置：`<Path>{roots.state}/specdev/config.json</Path>`
-- 追踪规则：`<Path>{roots.state}/specdev/.config/tracking.md</Path>`
-- 领域布局：`<Path>{roots.state}/specdev/.config/domain-layout.md</Path>`
-- 永久 ADR：`<Path>{roots.state}/specdev/adr/</Path>`
-- 永久领域上下文：`<Path>{roots.state}/specdev/context/</Path>`
-- 永久研究：`<Path>{roots.state}/specdev/research/</Path>`
+每个新 change README 正文恰有一行：
 
-初始化只保证永久目录存在，不写知识内容。只有 A-archive-and-consolidate 在 change 完成、实现证据验证、毕业评估和用户确认后，才能创建、合并或改写这些永久 namespace 中的内容；其他 Works 只读。
+```text
+Outcome: active
+```
 
-单个 change 可以包含：
+合法值只有 `active | completed | cancelled`，ASCII 大小写和格式固定；不从标题、YAML、清单、代码围栏或时间推断。重复/缺失/非法 Outcome、同义 YAML status 或新旧混合权威均拒绝写入。README 保存目的、当前接续和验收导航；完成/取消必须先通过 <Path>{roots.workflows}/specdev/common/rules/change-completion.md</Path>，结论文本本身不是证据。
 
-- `<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/source.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/triage.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/diagnosis.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/diagnostics/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/CONTEXT.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/ADR.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/LOG.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/design-tree.json</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/ticket/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>`
-- `<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}/wayfinder-map.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/investigation/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/investigation/comments/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/architecture-review.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/evidence/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/reviews/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/prototypes/{design-id}/design-system.md</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/prototypes/{design-id}/comparison/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/prototypes/{design-id}/final/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/questionnaires/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/learning/index.md</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/learning/{number}_{topic}.md</Path>`
+简单任务清单、范围、AC 和验证在 README；无独立 Ticket 的 Goal 用 goal-plan 清单；有 Ticket 则票和对应 Evidence 负责进度。迁出进度的位置改成导航，不能双写。复杂 Spec、Ticket、Map、Goal、Implementation、DESIGN 与专用工具合同保留真实消费者需要的字段。
 
+## owner 与独有事实
 
+不默认创建 leadership epoch、空批准槽或每 Work 记录。实际交接、并行、worktree/集成发生时，在原计划、Ticket Evidence 或操作回执记录唯一负责者、获批写集、输入、真实交接与下一步。复杂任务 owner 从原 implementation-plan/goal-plan 的 `lead` 读取。无 Goal 且动作确需 owner 时，README 的 `## Ownership` 内保存 `Owner: <session locator>` 与 `Evidence: <对象内相对路径>[#anchor]`，证据指向实际会话/交接；设计 bootstrap 还保存 `Work: specdev/prototype` 且依据正文绑定该 Work。普通只读不预建所有权记录，字段不创造授权。
 
-## 状态字段
+每个实现 Ticket 的 Evidence 在 `## Workspace Execution Record` 下以唯一 JSON object 保留实际执行记录（原 worktree 字段），不创建全局 array 镜像；其中保留 base SHA、父分支、workspace/implementation/integration owner、workspace locator、implementation/source checkpoint、candidate/result SHA、验证与 E2E disposition。current 使用 current/direct-parent；required 使用 source/parent-candidate，清理后也保留集成证据。父计划只导航，不另复制一套结果。
 
-`<Path>{roots.state}/specdev/status.json</Path>` 使用全局 schema v5；Spec/Ticket/Tickets Map 保留各自 schema v3；新 Ticket/Map 使用附加 plan_contract_version: 1，config 使用 schema v6，Goal Plan 使用 schema v6，Implementation Map/Plan 使用 schema v1，`<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>` 使用 schema v6：
+语言、用户工具和数量来自当前请求/既有项目说明；实际并发、worktree 与尝试上限由原 Goal/项目约定负责，原 Goal/Implementation Plan 的 `## Execution Policy Source` 说明实际策略来源；已有 config 仍校验相应上限，Lead 自己实现计入并发。旧 config 的真实远程/验证用途可选保留；未知独有字段不能以简化为由丢弃。默认 UI 3 个、配置 2–4、明确用户数量覆盖，均不变。
 
-- `schema_version`（数字）：全局状态 schema 版本，固定为 `5`。
-- `workflow`（字符串）：workflow 标识，固定为 `"specdev"`。
-- `active`（对象数组）：当前活跃 change 的严格索引；每项只能包含 `change`，格式 `"YYYY-MM-DD-<kebab-topic>"`。
-- `archived`（去重字符串数组）：已归档 change 名称。详细归档时间、路径和 promotion 摘要只存在于 `<Path>{roots.state}/specdev/archive/YYYY-MM/{change}/.status.json</Path>`。
+## 创建、恢复和历史边界
 
-`active[].change` 必须唯一，且不得同时出现在 `archived`。`current_work`、`works_run` 和 `claimed_investigations` 只存在于 change 自有 `<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>`：开始 Work 时设置 `current_work`；暂停或可恢复阻塞时保留；成功完成时加入 `works_run` 并清空；取消时清空但不加入。逐次时间、结果和审计证据由 change 自有状态、Work 主产物、Evidence 或 LOG 承载，不写入全局索引。
+首次真实任务才创建 README 和实际需要的其他工件。简单形态参考 <Path>{roots.workflows}/specdev/specdev-i-init-setup/assets/change-readme-template.md</Path>；实际需要 owner、验证或取消记录时读取 <Path>{roots.workflows}/specdev/specdev-i-init-setup/references/change-record-examples.md</Path>，不预填空槽。默认目录发现只枚举 changes 直接子目录，不递归把 ticket、archive 或临时目录当 change。指定历史再查询新 archive/旧月份 archive；同身份多位置报冲突。
 
-`<Path>{roots.state}/specdev/config.json</Path>` 的 `execution.max_implementation_agents`、`max_integration_attempts` 和 planning UI 设计候选字段均为可配置正整数；候选默认值与上限必须落在 2-4 且默认值不大于上限。仅 implementation subagent 受前者约束且不含 Lead，current workspace 仍保持单 writer 串行安全不变量；只读 review/research/test-observation agent 不设 SpecDev 数字上限。
+恢复重读原 owner、输入摘要、实际 writer、Git/工具结果与未决动作。结果未保存不等于操作没发生；超时不证明 writer 结束。仅使受影响证据失效，不清零尝试、不抢锁，不改完成历史。review-only、performance、documentation、evidence-triage 留原报告或 Evidence，不能伪造问题已解决。
 
-`<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>` 的 `worktrees` 保存 Ticket 级 `base_sha`、父分支、workspace/implementation/integration owner、workspace locator、implementation/source checkpoint、适用 candidate/result SHA、验证、E2E disposition 与生命周期状态。current 记录使用 `workspace_ref=current` 和 direct-parent；required 记录使用 source/parent-candidate。每个实现 Ticket 都有一条记录；父分支只有在对应策略的验证通过后推进。`removed` 是 required 集成后来源 branch/worktree 完成清理的终态，必须保留全部集成与 E2E 证据。
+新 writer 不新增或更新旧 status 镜像。发现旧活动 status、未知 schema、混合协议或 <Path>{roots.state}/specdev/.markdown-conversion-pending</Path> 时只读盘点，停止重叠写入并交显式转换 owner；不自动升级、不因 README 存在跳过。pending 不证明互斥，也不能按年龄删除。旧 archive 原位冻结，历史 reader 不产生可写新对象。
 
-领域状态枚举：
-
-- change：`active | blocked | completed | archived`
-- Ticket：`draft | ready | in_progress | blocked | review | done | deviated | cancelled`
-- Investigation status：`open | closed`
-- Investigation resolution：`answered | out-of-scope | superseded | cancelled | null`
-- Planning Depth：`lite | standard | deep`
-- Worktree：`planned | active | review | integrating | integrated | removed | blocked`
-
-
-
-## 路径分配
-
-1. workflow 运行状态写入 `<Path>{roots.state}/specdev/</Path>`。
-2. change 产物写入 `<Path>{roots.state}/specdev/changes/{change}/</Path>`。
-3. 项目代码、测试和用户要求的项目文档写入项目路径；Evidence 仅保存项目相对指针。
-4. 长期知识候选先在 change 内形成；只有 A 在完成证据、毕业评估和用户确认全部通过后，才提升到对应永久 namespace。
-
-
-## 扩展工件与兼容
-
-W 可写 `<Path>{roots.state}/specdev/changes/{change}/initiative.json</Path>`：它只拥有候选 change 边界与目标指针，不复制各 child 的状态。父 Goal 的 `<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>` 使用 goal-tickets-map 指针合同，权威仍是父 Implementation Map/Plan。旧 O restore key 不变；旧票继续可读，未完成旧票在新执行前由 Lead 显式补全调用绑定、交付约束并重新过门禁，不自动迁移、重置状态或改写他人事务。
-
-## 专业分支的原位恢复
-
-performance/documentation/evidence-triage 是原 Work 内的模式，不是新的 current_work 或 works_run 值。R 的记录留 architecture-review，I 留原 Evidence，D 留 diagnosis/diagnostics；格式见 <Path>{roots.workflows}/specdev/common/rules/engineering-evidence.md</Path>。普通旧工件不回填，归档和已完成历史不重写，config/status/change/Goal/Spec/Ticket 版本不变。
-
-恢复时先核对原 owner、Lead epoch、输入/Skill/代码 checkpoint 和未决动作。仅使受影响证据失效；不能把“结果未保存”解释为操作未发生，不能清空 attempts 或转移锁来恢复。执行、远程账本和 A 的网关继续由原 owner 管理；只阻塞受影响的依赖闭包。
+CLI 刷新先 staging/验证再原子替换并保全未知 runtime；Work 不修改 <Path>{roots.state}/back/</Path>、安装元数据或命令 sidecar。安装故障只在与本次路径冲突时阻塞相关动作。

package/template/workflows/specdev/common/schemas/change-design.schema.json

@@ -0,0 +1,254 @@
+{
+  "type": "object",
+  "additionalProperties": false,
+  "properties": {
+    "schema_version": {
+      "const": 1
+    },
+    "artifact": {
+      "const": "change-design"
+    },
+    "change": {
+      "type": "string",
+      "pattern": "^\\d{4}-\\d{2}-\\d{2}-[a-z0-9]+(?:-[a-z0-9]+)*$"
+    },
+    "revision": {
+      "type": "integer",
+      "minimum": 1
+    },
+    "status": {
+      "enum": [
+        "draft",
+        "approved",
+        "superseded",
+        "blocked"
+      ]
+    },
+    "scope": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "baseline": {
+      "anyOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "properties": {
+            "revision": {
+              "type": "string",
+              "pattern": "^DESIGN-\\d{4,}$"
+            },
+            "digest": {
+              "type": "string",
+              "pattern": "^[a-f0-9]{64}$"
+            }
+          },
+          "required": [
+            "revision",
+            "digest"
+          ]
+        },
+        {
+          "type": "null"
+        }
+      ]
+    },
+    "prototype_ref": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^UI-\\d{3,}$"
+        },
+        "digest": {
+          "type": "string",
+          "pattern": "^[a-f0-9]{64}$"
+        }
+      },
+      "required": [
+        "id",
+        "digest"
+      ]
+    },
+    "selection": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "candidate_id": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "required": [
+        "candidate_id"
+      ]
+    },
+    "tokens": {
+      "type": "object",
+      "minProperties": 1
+    },
+    "pages": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "properties": {
+          "id": {
+            "type": "string",
+            "minLength": 1
+          },
+          "route": {
+            "type": "string",
+            "minLength": 1
+          },
+          "task": {
+            "type": "string",
+            "minLength": 1
+          },
+          "states": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "acceptance": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "string",
+              "minLength": 1
+            }
+          }
+        },
+        "required": [
+          "id",
+          "route",
+          "task",
+          "states",
+          "acceptance"
+        ]
+      }
+    },
+    "overrides": {
+      "type": "array",
+      "minItems": 0,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "properties": {
+          "rule_id": {
+            "type": "string",
+            "minLength": 1
+          },
+          "reason": {
+            "type": "string",
+            "minLength": 1
+          },
+          "scope": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "string",
+              "minLength": 1
+            }
+          }
+        },
+        "required": [
+          "rule_id",
+          "reason",
+          "scope"
+        ]
+      }
+    },
+    "confirmation": {
+      "anyOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "properties": {
+            "by": {
+              "const": "user"
+            },
+            "at": {
+              "type": "string",
+              "format": "date-time"
+            },
+            "record": {
+              "type": "string",
+              "minLength": 1
+            },
+            "digest": {
+              "type": "string",
+              "pattern": "^[a-f0-9]{64}$"
+            },
+            "record_digest": {
+              "type": "string",
+              "pattern": "^[a-f0-9]{64}$"
+            }
+          },
+          "required": [
+            "by",
+            "at",
+            "record",
+            "digest",
+            "record_digest"
+          ]
+        },
+        {
+          "type": "null"
+        }
+      ]
+    },
+    "updated_at": {
+      "type": "string",
+      "format": "date-time"
+    }
+  },
+  "required": [
+    "schema_version",
+    "artifact",
+    "change",
+    "revision",
+    "status",
+    "scope",
+    "baseline",
+    "prototype_ref",
+    "selection",
+    "tokens",
+    "pages",
+    "overrides",
+    "confirmation",
+    "updated_at"
+  ],
+  "$id": "urn:speculo:specdev:change-design:v1",
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "status": {
+            "const": "approved"
+          }
+        }
+      },
+      "then": {
+        "properties": {
+          "baseline": {
+            "type": "object"
+          },
+          "confirmation": {
+            "type": "object"
+          }
+        }
+      }
+    }
+  ],
+  "$schema": "https://json-schema.org/draft/2020-12/schema"
+}

package/template/workflows/specdev/common/schemas/config.schema.json

@@ -1,6 +1,6 @@
 {
   "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "urn:speculo:specdev:config:v6",
+  "$id": "urn:speculo:specdev:config:v7",
   "title": "SpecDev Configuration",
   "type": "object",
   "required": [
@@ -15,7 +15,7 @@
   ],
   "properties": {
     "schema_version": {
-      "const": 6
+      "const": 7
     },
     "interaction_language": {
       "type": "string",
@@ -43,13 +43,13 @@
     "execution": {
       "type": "object",
       "required": [
-        "max_implementation_agents",
+        "max_concurrent_implementations",
         "max_integration_attempts",
         "deep_ticket_human_approval",
         "shared_path_owner"
       ],
       "properties": {
-        "max_implementation_agents": {
+        "max_concurrent_implementations": {
           "type": "integer",
           "minimum": 1
         },