@namewta/speculo 0.8.6 → 0.8.8

package/template/workflows/specdev/P-prototype/tools/materialize-prototype.mjs

@@ -0,0 +1,126 @@
+#!/usr/bin/env node
+
+import { lstat, mkdir, readFile, rename, rm, writeFile } from "node:fs/promises";
+import { dirname, isAbsolute, join, relative, resolve, sep } from "node:path";
+import { pathToFileURL } from "node:url";
+
+const REQUIRED_TARGETS = new Set([
+  "final/index.html",
+  "final/styles.css",
+  "final/app.js",
+]);
+
+const TARGET_LANGUAGE = new Map([
+  ["final/index.html", new Set(["html"])],
+  ["final/styles.css", new Set(["css"])],
+  ["final/app.js", new Set(["javascript", "js"])],
+]);
+
+export function extractPrototypeSources(markdown) {
+  const pattern = /<!-- PROTOTYPE-FILE: ([^\r\n]+) -->\r?\n```(html|css|javascript|js)\r?\n([\s\S]*?)\r?\n```\r?\n<!-- \/PROTOTYPE-FILE -->/g;
+  const sources = new Map();
+
+  for (const match of markdown.matchAll(pattern)) {
+    const target = match[1].trim().replaceAll("\\", "/");
+    if (isAbsolute(target) || !TARGET_LANGUAGE.has(target)) {
+      throw new Error(`unsupported prototype target: ${target}`);
+    }
+    if (!TARGET_LANGUAGE.get(target).has(match[2])) throw new Error(`invalid code fence language for ${target}: ${match[2]}`);
+    if (sources.has(target)) throw new Error(`duplicate prototype target: ${target}`);
+    sources.set(target, `${match[3].replaceAll("\r\n", "\n")}\n`);
+  }
+
+  const openingCount = markdown.match(/<!-- PROTOTYPE-FILE:/g)?.length ?? 0;
+  const closingCount = markdown.match(/<!-- \/PROTOTYPE-FILE -->/g)?.length ?? 0;
+  if (openingCount !== 3 || closingCount !== 3 || sources.size !== 3) {
+    throw new Error(`expected exactly three paired PROTOTYPE-FILE blocks; found ${openingCount} openings, ${closingCount} closings, ${sources.size} valid blocks`);
+  }
+
+  for (const target of REQUIRED_TARGETS) {
+    if (!sources.has(target)) throw new Error(`missing prototype source block: ${target}`);
+  }
+
+  return sources;
+}
+
+function resolveInside(root, target) {
+  const destination = resolve(root, ...target.split("/"));
+  const local = relative(root, destination);
+  if (!local || local.startsWith(`..${sep}`) || local === ".." || isAbsolute(local)) {
+    throw new Error(`prototype target escapes design package: ${target}`);
+  }
+  return destination;
+}
+
+async function assertNoSymlink(root, target) {
+  let current = root;
+  const local = relative(root, target);
+  for (const segment of ["", ...local.split(sep).filter(Boolean)]) {
+    if (segment) current = join(current, segment);
+    try {
+      const info = await lstat(current);
+      if (info.isSymbolicLink()) throw new Error(`prototype path must not contain symlinks: ${current}`);
+    } catch (error) {
+      if (error.code !== "ENOENT") throw error;
+    }
+  }
+}
+
+async function atomicWrite(destination, content) {
+  await mkdir(dirname(destination), { recursive: true });
+  const temporary = `${destination}.tmp-${process.pid}-${Date.now()}`;
+  await writeFile(temporary, content, "utf8");
+  try {
+    await rename(temporary, destination);
+  } catch (error) {
+    await rm(temporary, { force: true });
+    throw error;
+  }
+}
+
+export async function materialize(markdownPath, { check = false } = {}) {
+  const absoluteMarkdown = resolve(markdownPath);
+  const root = dirname(absoluteMarkdown);
+  const markdown = await readFile(absoluteMarkdown, "utf8");
+  const sources = extractPrototypeSources(markdown);
+  const mismatches = [];
+
+  for (const [target, expected] of sources) {
+    const destination = resolveInside(root, target);
+    await assertNoSymlink(root, destination);
+    if (check) {
+      let actual;
+      try {
+        actual = await readFile(destination, "utf8");
+      } catch (error) {
+        if (error.code === "ENOENT") {
+          mismatches.push(`${target}: missing`);
+          continue;
+        }
+        throw error;
+      }
+      if (actual !== expected) mismatches.push(`${target}: differs from design-system.md`);
+    } else {
+      await atomicWrite(destination, expected);
+    }
+  }
+
+  if (mismatches.length > 0) throw new Error(mismatches.join("\n"));
+  return [...sources.keys()];
+}
+
+async function main() {
+  const args = process.argv.slice(2);
+  const check = args.includes("--check");
+  const paths = args.filter((arg) => arg !== "--check");
+  if (paths.length !== 1) throw new Error("usage: materialize-prototype.mjs [--check] <design-system.md>");
+  const targets = await materialize(paths[0], { check });
+  console.log(`${check ? "verified" : "materialized"} ${targets.length} prototype files`);
+}
+
+if (process.argv[1] && pathToFileURL(resolve(process.argv[1])).href === import.meta.url) {
+  main().catch((error) => {
+    console.error(error.message);
+    process.exitCode = 1;
+  });
+}

package/template/workflows/specdev/P-prototype/tools/validate-design-package.mjs

@@ -0,0 +1,155 @@
+#!/usr/bin/env node
+
+import { lstat, readdir, readFile, stat } from "node:fs/promises";
+import { basename, dirname, join, resolve } from "node:path";
+import { extractPrototypeSources, materialize } from "./materialize-prototype.mjs";
+
+const REQUIRED_HEADINGS = [
+  "## Project Evidence",
+  "## Style Decision",
+  "## Foundation Tokens",
+  "## Component and State Contract",
+  "## Interaction Contract",
+  "## Responsive Contract",
+  "## Prototype Sources",
+  "## Validation and Handoff",
+];
+
+function frontmatterValue(header, key) {
+  const match = header.match(new RegExp(`^${key}:\\s*(.*?)\\s*$`, "m"));
+  if (!match) return undefined;
+  const value = match[1].trim();
+  if (value === "null") return null;
+  if (/^\d+$/.test(value)) return Number(value);
+  return value.replace(/^['"]|['"]$/g, "");
+}
+
+function frontmatterArray(header, key) {
+  const value = frontmatterValue(header, key);
+  if (typeof value !== "string" || !value.startsWith("[") || !value.endsWith("]")) return [];
+  return value.slice(1, -1).split(",").map((item) => item.trim().replace(/^['"]|['"]$/g, "")).filter(Boolean);
+}
+
+async function isFile(path) {
+  try {
+    return (await stat(path)).isFile();
+  } catch (error) {
+    if (error.code === "ENOENT") return false;
+    throw error;
+  }
+}
+
+async function isSymlink(path) {
+  try {
+    return (await lstat(path)).isSymbolicLink();
+  } catch (error) {
+    if (error.code === "ENOENT") return false;
+    throw error;
+  }
+}
+
+async function validate(path, { allowDraft = false } = {}) {
+  const designPath = resolve(path);
+  if (await isSymlink(designPath)) throw new Error("design-system.md must not be a symlink");
+  const markdown = await readFile(designPath, "utf8");
+  const match = markdown.match(/^---\r?\n([\s\S]*?)\r?\n---\r?\n([\s\S]*)$/);
+  const errors = [];
+  if (!match) throw new Error("design-system.md requires YAML frontmatter");
+  const [, header, body] = match;
+  const meta = {
+    schemaVersion: frontmatterValue(header, "schema_version"),
+    artifact: frontmatterValue(header, "artifact"),
+    change: frontmatterValue(header, "change"),
+    designId: frontmatterValue(header, "design_id"),
+    status: frontmatterValue(header, "status"),
+    projectKind: frontmatterValue(header, "project_kind"),
+    platforms: frontmatterArray(header, "platforms"),
+    candidates: frontmatterArray(header, "style_candidates"),
+    selectedStyle: frontmatterValue(header, "selected_style"),
+    density: frontmatterValue(header, "density"),
+    colorMode: frontmatterValue(header, "color_mode"),
+    researchSnapshot: frontmatterValue(header, "research_snapshot"),
+    prototypeFiles: frontmatterArray(header, "prototype_files"),
+    updatedAt: frontmatterValue(header, "updated_at"),
+  };
+
+  const designRoot = dirname(designPath);
+  const expectedDesignId = basename(designRoot);
+  const expectedChange = basename(dirname(dirname(designRoot)));
+  if (meta.schemaVersion !== 2 || meta.artifact !== "ui-design-system") errors.push("artifact/schema_version must be ui-design-system/2");
+  if (!/^UI-\d{3,}$/.test(String(meta.designId ?? "")) || meta.designId !== expectedDesignId) errors.push("design_id must match the UI-NNN directory");
+  if (meta.change !== expectedChange) errors.push("change must match the owning change directory");
+  if (!new Set(["detecting", "selecting", "ready", "blocked"]).has(meta.status)) errors.push("invalid design status");
+  if (!new Set(["existing", "new"]).has(meta.projectKind)) errors.push("project_kind must be existing or new");
+  if (!meta.platforms.length || meta.platforms.some((value) => !new Set(["desktop", "web", "mobile"]).has(value))) errors.push("platforms must contain desktop, web, or mobile");
+  if (meta.candidates.length < 2 || meta.candidates.length > 4 || new Set(meta.candidates).size !== meta.candidates.length) errors.push("style_candidates must contain 2-4 unique values");
+  if (meta.researchSnapshot !== "49b5659") errors.push("research_snapshot must equal 49b5659");
+  for (const required of ["final/index.html", "final/styles.css", "final/app.js"]) {
+    if (!meta.prototypeFiles.includes(required)) errors.push(`prototype_files must include ${required}`);
+  }
+  if (typeof meta.updatedAt !== "string" || Number.isNaN(Date.parse(meta.updatedAt))) errors.push("updated_at must be ISO-8601");
+  for (const heading of REQUIRED_HEADINGS) if (!body.includes(heading)) errors.push(`missing '${heading}'`);
+  if (/(?:[A-Za-z]:[\\/]|\/(?:Users|home|tmp)\/)/.test(markdown)) errors.push("design package contains a machine-specific absolute path");
+
+  let sources;
+  try {
+    sources = extractPrototypeSources(markdown);
+  } catch (error) {
+    errors.push(error.message);
+  }
+
+  if (meta.status === "ready" && !allowDraft) {
+    if (!meta.selectedStyle || !meta.candidates.includes(meta.selectedStyle)) errors.push("ready design requires selected_style from style_candidates");
+    if (!new Set(["compact", "default", "comfortable", "touch"]).has(meta.density)) errors.push("ready design requires a density");
+    if (!new Set(["light", "dark", "system", "both"]).has(meta.colorMode)) errors.push("ready design requires a color_mode");
+    const comparisonIndex = join(designRoot, "comparison", "index.html");
+    const variantsRoot = join(designRoot, "comparison", "variants");
+    if (!(await isFile(comparisonIndex))) errors.push("ready design requires comparison/index.html");
+    if (await isSymlink(comparisonIndex)) errors.push("comparison/index.html must not be a symlink");
+    if (await isSymlink(join(designRoot, "comparison")) || await isSymlink(variantsRoot)) errors.push("comparison directories must not be symlinks");
+    let variants = [];
+    try {
+      variants = (await readdir(variantsRoot)).filter((entry) => entry.endsWith(".html"));
+    } catch (error) {
+      if (error.code !== "ENOENT") throw error;
+    }
+    if (variants.length < 2 || variants.length > 4) errors.push("ready design requires 2-4 comparison variant HTML files");
+    for (const variant of variants) {
+      if (await isSymlink(join(variantsRoot, variant))) errors.push(`comparison variant must not be a symlink: ${variant}`);
+    }
+    if (await isSymlink(join(designRoot, "final"))) errors.push("final directory must not be a symlink");
+    if (sources) {
+      try {
+        await materialize(designPath, { check: true });
+      } catch (error) {
+        errors.push(error.message);
+      }
+      const html = sources.get("final/index.html") ?? "";
+      const css = sources.get("final/styles.css") ?? "";
+      const js = sources.get("final/app.js") ?? "";
+      if (!/href=["']styles\.css["']/.test(html) || !/src=["']app\.js["']/.test(html)) errors.push("final HTML must reference relative styles.css and app.js");
+      if (/<(?:script|link)[^>]+(?:src|href)=["']https?:/i.test(html)) errors.push("final HTML must not load remote scripts or styles");
+      if (!css.includes(":focus-visible")) errors.push("final CSS must define :focus-visible");
+      if (!css.includes("prefers-reduced-motion")) errors.push("final CSS must handle prefers-reduced-motion");
+      if (!js.includes("addEventListener")) errors.push("final JS must implement an explicit interaction");
+    }
+  }
+
+  if (errors.length) throw new Error(errors.join("\n"));
+  return meta;
+}
+
+const args = process.argv.slice(2);
+const allowDraft = args.includes("--allow-draft");
+const paths = args.filter((arg) => arg !== "--allow-draft");
+if (paths.length !== 1) {
+  console.error("usage: validate-design-package.mjs [--allow-draft] <design-system.md>");
+  process.exitCode = 1;
+} else {
+  validate(paths[0], { allowDraft })
+    .then((meta) => console.log(`valid ${meta.designId} (${meta.status})`))
+    .catch((error) => {
+      console.error(error.message);
+      process.exitCode = 1;
+    });
+}

package/template/workflows/specdev/README.md

@@ -37,6 +37,8 @@ Triage           本地完成后按确认回写/关闭支持的远程 Issue
 Archive          归档历史并将经验证知识提升为当前长期知识
 ```
 
+多个已经完成 Ready Spec 与 Ready Tickets 的 change 需要在一个会话持续实现时，O-orchestrate-implementation 额外创建一个父实现 change；父 Implementation Map/Plan 位于上述单 change 链之外，只编排实现，不参与或替代任何子 change 的需求澄清、Spec 或 Ticket 生产。
+
 核心状态工件：
 
 - `<Path>{roots.state}/specdev/changes/{change}/source.md</Path>`
@@ -45,14 +47,20 @@ Archive          归档历史并将经验证知识提升为当前长期知识
 - `<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}/design-tree.json</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}/evidence/</Path>`
 - `<Path>{roots.state}/specdev/changes/{change}/reviews/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/prototypes/</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>`
 
+`{design-id}` 由 P-prototype 在当前 change 内分配为最小未占用的 `UI-NNN`；设计系统文档是设计权威，comparison 与 final 是其可运行投影。
+
 工件职责和冲突裁决位于 `<Path>{roots.workflows}/specdev/common/rules/artifact-contract.md</Path>`。
 
 ## 持久化约定
@@ -91,6 +99,8 @@ Archive          归档历史并将经验证知识提升为当前长期知识
 - `<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>`
@@ -98,7 +108,9 @@ Archive          归档历史并将经验证知识提升为当前长期知识
 - `<Path>{roots.state}/specdev/changes/{change}/architecture-review.html</Path>`
 - `<Path>{roots.state}/specdev/changes/{change}/evidence/</Path>`
 - `<Path>{roots.state}/specdev/changes/{change}/reviews/</Path>`
-- `<Path>{roots.state}/specdev/changes/{change}/prototypes/</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>`
 
 ## 全局治理原则
@@ -117,6 +129,7 @@ Archive          归档历史并将经验证知识提升为当前长期知识
 12. **完成与归档分离**：本地完成按 change completion 合同决定；远程 close 失败不回滚完成，但必须 reconcile 或 waive 后才归档。
 13. **Lead 与隔离正交**：Lead 固定拥有 SpecDev 状态、Evidence 与父分支；是否派遣 subagent 由 Lead 动态决定。Goal Plan 创建时询问 Ticket 是否开启 worktree，默认不开启；选择只作用于当前 Goal Plan。
 14. **策略化验收**：current 模式使用当前 workspace 严格串行、direct-parent 验证；required 模式使用 source worktree 与 parent-candidate。只有 required 模式创建独立 Ticket worktree。
+15. **父子权威隔离**：父实现 change 只拥有 Ready 子 change 的组合 Ticket DAG、serialization、全局 workspace/资源和实现进度投影；子 change 继续拥有全部行为与实现合同。一个未完成子 change 只能属于一个未完成父实现 change。
 
 共享规则：
 
@@ -129,34 +142,32 @@ Archive          归档历史并将经验证知识提升为当前长期知识
 - `<Path>{roots.workflows}/specdev/common/rules/path-reference-contract.md</Path>`
 - `<Path>{roots.workflows}/specdev/common/rules/codebase-design.md</Path>`
 - `<Path>{roots.workflows}/specdev/common/rules/change-completion.md</Path>`
+- `<Path>{roots.workflows}/specdev/common/rules/parent-implementation-orchestration.md</Path>`
 
 ## 启动协议
 
 1. 解析 workflow 和 state roots。
 2. 读取 `<Path>{roots.state}/specdev/config.json</Path>`；不存在时运行 `<Path>{roots.workflows}/specdev/I-init-setup/I-init-setup.md</Path>`。
 3. 读取 `<Path>{roots.state}/specdev/status.json</Path>`：用户指定 change 优先；唯一活跃 change 直接使用；无活跃时创建；多个候选时请求消歧。
-4. 若当前 change 已有非空 `current_work`，先恢复或显式结束该 Work；否则将 `current_work` 设置为本次 work id。
-5. 只加载当前步骤需要的 work 子文件和共享规则。
-6. 完成后写入产物、运行适用校验、更新状态和 `works_run`。
+4. 读取当前 change 的 `<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>`。若当前 change 是未完成父 Implementation Map 的成员，同时读取父 Map/Plan；父 O Work 自身恢复时以父产物为入口，不逐个手工激活成员。
+5. 若当前 change 已有非空 `current_work`，先恢复或显式结束该 Work；否则将 `current_work` 设置为本次 work id。
+6. 只加载当前步骤需要的 work 子文件和共享规则。
+7. 完成后写入产物、运行适用校验、更新 change 状态和 `works_run`；全局状态只更新 active/archived 索引。
 
 Change 从 active/blocked 转为 completed 时加载 `<Path>{roots.workflows}/specdev/common/rules/change-completion.md</Path>`：有 Goal Plan 时由其中唯一 Lead 拥有转换；无 Goal Plan 的 Ticket/Direct Spec 由当前 I owner 拥有；非实现型终点由最终验收工件 owner 拥有。Archive 不补造 completed。
 
 ## 状态字段
 
-`<Path>{roots.state}/specdev/status.json</Path>` 使用全局 schema v5；Spec/Ticket/Tickets Map 继续使用各自 schema v3，config 使用 schema v5，Goal Plan 使用 schema v6，`<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>` 使用 schema v6：
+`<Path>{roots.state}/specdev/status.json</Path>` 使用全局 schema v5；Spec/Ticket/Tickets Map 继续使用各自 schema v3，config 使用 schema v5，Goal Plan 使用 schema v6，Implementation Map/Plan 使用 schema v1，`<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>` 使用 schema v6：
 
 - `schema_version`（数字）：全局状态 schema 版本，固定为 `5`。
 - `workflow`（字符串）：workflow 标识，固定为 `"specdev"`。
-- `active`（对象数组）：当前活跃 change；每项包含：
-  - `change`（字符串）：change 目录名，格式 `"YYYY-MM-DD-<kebab-topic>"`。
-  - `current_work`（字符串或 null）：当前 work id，如 `"specdev/implement"`；无运行中 work 时为 null。
-  - `works_run`（去重字符串数组）：已成功完成的 work id；重复运行同一 work 不追加副本。
-  - `claimed_investigations`（对象数组，可选）：并行调查领取记录；每项包含 `id`、`owner`、可选 `session` 和 `claimed_at`。
+- `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`。开始 Work 时设置 `current_work`；暂停或可恢复阻塞时保留；成功完成时加入 `works_run` 并清空；取消时清空但不加入。逐次时间、结果和审计证据由 change 自有状态、Work 主产物、Evidence 或 LOG 承载，不写入全局索引。
+`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 承载，不写入全局索引。
 
-`<Path>{roots.state}/specdev/config.json</Path>` 的 `execution.max_implementation_agents`、`max_integration_attempts` 和 planning 原型变体字段均为可配置正整数，初始化时写入默认值；仅 implementation subagent 受前者约束且不含 Lead，current workspace 仍保持单 writer 串行安全不变量；只读 review/research/test-observation agent 不设 SpecDev 数字上限。
+`<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 数字上限。
 
 `<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 证据。
 
@@ -189,11 +200,12 @@ Change 从 active/blocked 转为 completed 时加载 `<Path>{roots.workflows}/sp
 | 疑难 bug 或性能回归 | D-diagnose-bugs | S / T / I / R / W |
 | 模糊但可通过决策访谈收敛 | G-grill-with-docs | P / S / T / W |
 | 路径超出单次上下文 | W-wayfinder | G / P / D / S / T |
-| 需要用代码回答逻辑/UI 问题 | P-prototype | G / S / T / I |
+| 需要检测项目 UI、选择设计方向并生成可运行设计包 | P-prototype | G / S / T / I |
 | 固定点 diff、branch 或 PR review | C-code-review | completed / T / S / G |
 | 外部行为已清楚 | S-spec | T-tickets |
 | Ready Spec 需要垂直切片 | T-tickets | P-goal-plan / I |
 | 多 Ticket 协调 | P-goal-plan | I / Triage / A |
+| 多个 Ready change 的持续实现 | O-orchestrate-implementation | I-implement 循环 / completed / blocked |
 | Ready 执行 | I-implement | Triage / A / blocked / deviation |
 | 架构健康扫描 | R-review-architecture | G / T |
 
@@ -209,8 +221,9 @@ Change 从 active/blocked 转为 completed 时加载 `<Path>{roots.workflows}/sp
 - **G-grill-with-docs** — 设计访谈（带文档）：以完整 frontier 逐轮推进设计树，直到每个决策分支都已关闭并获得用户共识，同时持续维护当前 change 的设计树、日志、领域上下文和架构决策。
 - **I-implement** — 实现：基于 Ready Ticket 或获批小型 Spec 执行设计检查、TDD、动态派单、双轴审查、按 Goal Plan 选择的 current workspace 或 Ticket worktree 提交、直接父分支或候选合并验证和 Lead Evidence 回写。
 - **I-init-setup** — 初始化设置：初始化 SpecDev 的语言、配置、全局状态、本地 change 追踪、领域知识布局、验证命令和并发治理。
+- **O-orchestrate-implementation** — 编排实现：将两个或以上已完成 Ready Spec 与 Ready Tickets 的 change 编译为跨 change implementation super-DAG，并由单一 Lead 在一个会话中持续调度实现、验证和集成。
 - **P-goal-plan** — 目标规划：在跨 Ticket 协调复杂度需要时，以固定 Lead、动态派单、DAG/Gate 和候选合并门禁生成决策完备且可恢复的执行计划。
-- **P-prototype** — 原型：在获授权的临时 branch/worktree 中构建一次性 Logic 或 UI 原型，回答一个明确设计问题并持久化答案、资产定位和清理状态。
+- **P-prototype** — UI 设计原型：检测现有项目的 UI 事实，按产品任务推荐并逐步选择设计风格，生成持久化设计系统文档、多风格 HTML 对照和可运行 HTML/CSS/JS 原型。
 - **R-review-architecture** — 架构审查：从用户指定范围或 Git 热点扫描代码库的深化机会，以持久化可视化 HTML 呈现候选，并对用户选择的一个方案运行设计树访谈。
 - **S-spec** — 编写 Spec：综合已知事实、设计决定、诊断与代码现状，产出以外部行为和验收合同为权威的 Ready Spec。
 - **T-tickets** — 拆分 Tickets：将 Spec、计划或已确认对话拆成曳光弹式垂直切片；每个 Ticket 决策完备、可独立验证、适配单一上下文，并建立阻塞 DAG、路径所有权和执行就绪门禁。

package/template/workflows/specdev/T-triage/T-triage.md

@@ -38,7 +38,7 @@ Triage 是 SpecDev 唯一的远程摄入与关闭边界。开发期间，`<Path>
    - 根因未知的 bug → `<Path>{roots.workflows}/specdev/D-diagnose-bugs/D-diagnose-bugs.md</Path>`；
    - 产品或架构决定未锁定 → `<Path>{roots.workflows}/specdev/G-grill-with-docs/G-grill-with-docs.md</Path>`；
    - 路径超出单次上下文 → `<Path>{roots.workflows}/specdev/W-wayfinder/W-wayfinder.md</Path>`；
-   - 需要可运行原型回答设计问题 → `<Path>{roots.workflows}/specdev/P-prototype/P-prototype.md</Path>`；
+   - 需要检测项目 UI、比较风格候选并固化可运行设计包 → `<Path>{roots.workflows}/specdev/P-prototype/P-prototype.md</Path>`；
    - 外部行为明确 → `<Path>{roots.workflows}/specdev/S-spec/S-spec.md</Path>`；
    - 固定点 diff 或 PR 审查 → `<Path>{roots.workflows}/specdev/C-code-review/C-code-review.md</Path>`；
    - 小型明确变更 → `<Path>{roots.workflows}/specdev/T-tickets/T-tickets.md</Path>` 或获批 Direct Spec。

package/template/workflows/specdev/W-wayfinder/W-wayfinder.md

@@ -34,7 +34,7 @@ Wayfinder 默认进行**规划**：每个 Ticket 解决一个决策，当地图
 - 地图：`<Path>{roots.state}/specdev/changes/{change}/wayfinder-map.md</Path>`
 - 子 Tickets：`<Path>{roots.state}/specdev/changes/{change}/investigation/</Path>`
 - solution comments：`<Path>{roots.state}/specdev/changes/{change}/investigation/comments/</Path>`
-- assignment registry：`<Path>{roots.state}/specdev/status.json</Path>` 的 `claimed_investigations`
+- assignment registry：`<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>` 的 `claimed_investigations`
 
 每次绘制或遍历前加载 `<Path>{roots.workflows}/specdev/W-wayfinder/local-tracker-contract.md</Path>`。Ticket 和地图模板：
 
@@ -47,7 +47,7 @@ Wayfinder 默认进行**规划**：每个 Ticket 解决一个决策，当地图
 每个 Ticket 要么是 **HITL**，与一个代表自己发言的人类一起工作；要么是 **AFK**，由 Agent 独立驱动。HITL Ticket 只能通过实时交流解决，Agent 绝不代替人类一方发言。
 
 - **Research（AFK）**：阅读文档、第三方 API 或知识库等资源，揭示某个决策等待的事实。调用 `<Path>{roots.workflows}/specdev/common/skills/research/SKILL.md</Path>`。当需要当前工作目录之外的知识时使用。
-- **Prototype（HITL）**：调用 `<Path>{roots.workflows}/specdev/P-prototype/P-prototype.md</Path>` 回答一个 UI/逻辑问题，并把 record、临时 branch/worktree 和运行 URL 链接为 solution comment 资产；P 不实现目的地。
+- **Prototype（HITL）**：调用 `<Path>{roots.workflows}/specdev/P-prototype/P-prototype.md</Path>` 检测项目 UI、比较功能风格候选并逐步确认设计方向，把 `<Path>{roots.state}/specdev/changes/{change}/prototypes/{design-id}/design-system.md</Path>` 与 comparison locator 链接为 solution comment 资产；`{design-id}` 使用 P 返回的 `UI-NNN`，P 不实现目的地。
 - **Grilling（HITL）**：对话。调用 `<Path>{roots.workflows}/specdev/G-grill-with-docs/G-grill-with-docs.md</Path>` 的 grilling 与 domain-modeling 能力，但本会话只关闭当前 Wayfinder Ticket。
 - **Task（HITL 或 AFK）**：在决策做出前必须完成的手动工作。它通过为决策解除阻塞赢得位置，不以交付目的地为目标。Agent 能独立驱动时使用 AFK，否则给人类精确清单。
 

package/template/workflows/specdev/W-wayfinder/local-tracker-contract.md

@@ -8,7 +8,7 @@
 | 子 issue | `<Path>{roots.state}/specdev/changes/{change}/investigation/{investigation-id}.md</Path>` |
 | label | Ticket frontmatter 的 `wayfinder:research|prototype|grilling|task` |
 | 阻塞关系 | Ticket frontmatter 的 `blocked_by` |
-| assignment | `<Path>{roots.state}/specdev/status.json</Path>` 当前 change 的 `claimed_investigations` |
+| assignment | `<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>` 的 `claimed_investigations` |
 | solution comment | `<Path>{roots.state}/specdev/changes/{change}/investigation/comments/{investigation-id}/NN-solution.md</Path>` |
 | 关闭 issue | Ticket frontmatter 的 `status: closed` 与 `resolution` |
 
@@ -24,13 +24,12 @@
 
 ## 原子领取
 
-开始任何工作前，重读全局状态并原子写入 `id`、`owner`、可选 `session` 和 `claimed_at`。已领取则选择下一前沿 Ticket。写回结果前再次重读；完成、释放或取消时删除 claim。
+开始任何工作前，重读当前 change 状态并原子写入 `id`、`owner`、可选 `session` 和 `claimed_at`。已领取则选择下一前沿 Ticket。写回结果前再次重读；完成、释放或取消时删除 claim。
 
-Ticket 文件不重复保存 assignee，地图不重复保存 claim。全局 assignment registry 是领取的单一事实源。
+Ticket 文件不重复保存 assignee，地图不重复保存 claim。change assignment registry 是领取的单一事实源。
 
 ## 解决方案评论
 
 Ticket 正文只保存问题。答案写入下一个未占用的 solution comment 文件，资产从评论链接，不粘贴进 Ticket。关闭 Ticket 后，地图的“已做出的决策”只追加名称链接和一句概括；`out-of-scope` 不进入决策索引。
 
 **完成标准**：地图、Ticket、claim、阻塞和 solution comment 可以重建相同前沿；同一事实没有第二份可写副本。
-

package/template/workflows/specdev/common/README.md

@@ -21,6 +21,7 @@
 - Change 完成：`<Path>{roots.workflows}/specdev/common/rules/change-completion.md</Path>`
 - 代码注释：`<Path>{roots.workflows}/specdev/common/rules/code-commenting-rule.md</Path>`
 - 代码库设计：`<Path>{roots.workflows}/specdev/common/rules/codebase-design.md</Path>`
+- 父实现编排：`<Path>{roots.workflows}/specdev/common/rules/parent-implementation-orchestration.md</Path>`
 
 ## 结构化工件 Schema
 
@@ -31,21 +32,23 @@
 - Ticket：`<Path>{roots.workflows}/specdev/common/schemas/ticket.schema.json</Path>`
 - Tickets Map：`<Path>{roots.workflows}/specdev/common/schemas/tickets-map.schema.json</Path>`
 - Goal Plan：`<Path>{roots.workflows}/specdev/common/schemas/goal-plan.schema.json</Path>`
+- Implementation Map：`<Path>{roots.workflows}/specdev/common/schemas/implementation-map.schema.json</Path>`
+- Implementation Plan：`<Path>{roots.workflows}/specdev/common/schemas/implementation-plan.schema.json</Path>`
 - 设计树：`<Path>{roots.workflows}/specdev/common/schemas/design-tree.schema.json</Path>`
 - Wayfinder Ticket：`<Path>{roots.workflows}/specdev/common/schemas/wayfinder-ticket.schema.json</Path>`
 - 来源快照：`<Path>{roots.workflows}/specdev/common/schemas/source.schema.json</Path>`
 - 分诊：`<Path>{roots.workflows}/specdev/common/schemas/triage.schema.json</Path>`
 - 诊断：`<Path>{roots.workflows}/specdev/common/schemas/diagnosis.schema.json</Path>`
 - 代码审查：`<Path>{roots.workflows}/specdev/common/schemas/code-review.schema.json</Path>`
-- 原型记录：`<Path>{roots.workflows}/specdev/common/schemas/prototype-record.schema.json</Path>`
+- UI 设计包：`<Path>{roots.workflows}/specdev/P-prototype/design-package.schema.json</Path>`
 
 ## 工具与 Skill
 
 - 包与 change 校验器：`<Path>{roots.workflows}/specdev/common/tools/validate-specdev.mjs</Path>`
 - 校验器说明：`<Path>{roots.workflows}/specdev/common/tools/README.md</Path>`
 - 外部技术研究 Skill：`<Path>{roots.workflows}/specdev/common/skills/research/SKILL.md</Path>`
-- Ticket/原型 worktree Skill：`<Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>`；仅 required Ticket 使用 source → parent-candidate → parent 状态机，current Ticket 使用 current workspace/direct-parent，原型保持临时生命周期
-- 动态 Agent 交付合同 Skill：`<Path>{roots.workflows}/specdev/common/skills/subagent-delivery/SKILL.md</Path>`；P-goal-plan 建立 Lead 合同，I-implement 在执行期派单与验收
+- Ticket worktree Skill：`<Path>{roots.workflows}/specdev/common/skills/dev-worktree/SKILL.md</Path>`；仅 required Ticket 使用 source → parent-candidate → parent 状态机，current Ticket 使用 current workspace/direct-parent
+- 动态 Agent 交付合同 Skill：`<Path>{roots.workflows}/specdev/common/skills/subagent-delivery/SKILL.md</Path>`；P-goal-plan 可建立子 change Lead 合同，I-implement 在执行期派单与验收，父实现编排存在时受 O-orchestrate-implementation 的全局门约束
 - 双轴代码审查 Skill：`<Path>{roots.workflows}/specdev/common/skills/code-review/SKILL.md</Path>`
 
 ## 加载原则

package/template/workflows/specdev/common/rules/artifact-contract.md

@@ -17,15 +17,20 @@ SpecDev 通过分层工件避免同一决策被多个模型反复重做。每个
 | Ticket | `<Path>{roots.state}/specdev/changes/{change}/ticket/{ticket-file}.md</Path>` | 单一垂直切片的行为、决策、范围、路径所有权、执行路线和验证证据 | 跨 Ticket 里程碑治理 |
 | Tickets Map | `<Path>{roots.state}/specdev/changes/{change}/tickets-map.md</Path>` | 依赖 DAG、合同覆盖、Ready 投影、并行候选和路径冲突 | 单 Ticket 的完整实现契约 |
 | Goal Plan | `<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>` | 跨 Ticket 调度、Gate、共享所有权、迁移顺序、集成和偏差治理 | 复制 Ticket 全文 |
+| Implementation Map | `<Path>{roots.state}/specdev/changes/{change}/implementation-map.md</Path>` | Ready 成员、组合 Ticket inventory、跨 change dependency/serialization 与 revision | 创建或改写子 Spec、Ticket 或实现细节 |
+| Implementation Plan | `<Path>{roots.state}/specdev/changes/{change}/implementation-plan.md</Path>` | 父 Lead、全局 workspace/实现上限、frontier/Wave/locks/integration queue 和可恢复进度投影 | 改写子 change 权威或伪造完成 |
+| Implementation Orchestration Evidence | `<Path>{roots.state}/specdev/changes/{change}/evidence/implementation-orchestration.md</Path>` | 成员完成、组合 Ticket 顺序/锁、repository integration、整体验证、漂移和残余风险 | 新产品/架构决定或单 Ticket Evidence 替代品 |
 | Evidence | `<Path>{roots.state}/specdev/changes/{change}/evidence/{ticket-id}.md</Path>` | 实际修改、命令、结果、验收映射、偏差、风险和提交引用 | 新的产品或架构决策 |
 | 代码审查 | `<Path>{roots.state}/specdev/changes/{change}/reviews/CR-###.md</Path>` | 固定点、标准轴和规范轴 finding | 实施修复或合并两轴排名 |
-| 原型记录 | `<Path>{roots.state}/specdev/changes/{change}/prototypes/{prototype-id}/record.md</Path>` | 一个问题、分支、资产、答案、promotion 和清理 | 生产实现或多个问题的计划 |
+| UI 设计包 | `<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>` | 项目 UI 证据、功能风格候选、逐层用户决定、设计 token、交互合同和可运行 HTML/CSS/JS 投影 | 生产 UI 实现或替用户确认高影响偏好 |
 | Stakeholder 问卷 | `<Path>{roots.state}/specdev/changes/{change}/questionnaires/{slug}.md</Path>` | 第三方原始回答和恢复条件 | 未经转录确认的产品/架构决定 |
 | Wayfinder 地图 | `<Path>{roots.state}/specdev/changes/{change}/wayfinder-map.md</Path>` | 目的地、说明、已关闭决策索引、战争迷雾和范围之外 | 开放 Ticket 正文或答案详情 |
 | Wayfinder Ticket | `<Path>{roots.state}/specdev/changes/{change}/investigation/{investigation-id}.md</Path>` | 一个可精确陈述的问题、类型、阻塞和关闭状态 | 解决方案评论或交付目标 |
 | Wayfinder solution comment | `<Path>{roots.state}/specdev/changes/{change}/investigation/comments/{investigation-id}/NN-solution.md</Path>` | Ticket 的答案、结果事实和资产指针 | 地图索引或产品实现 |
 | 架构审查 | `<Path>{roots.state}/specdev/changes/{change}/architecture-review.md</Path>` 与 `<Path>{roots.state}/specdev/changes/{change}/architecture-review.html</Path>` | 深化候选、证据、可视化、选择和访谈状态 | 未经用户选择的执行契约 |
 
+UI 设计包中的 `{design-id}` 由 P-prototype 分配为当前 change 内最小未占用的 `UI-NNN`；设计系统文档是唯一设计权威，comparison 与 final 不建立第二套规则。
+
 Change CONTEXT/ADR 是 active change 内的执行权威，不是 workflow 级永久知识。G 和其他设计/执行 Works 只读 `<Path>{roots.state}/specdev/context/</Path>` 与 `<Path>{roots.state}/specdev/adr/</Path>`；只有 A 在 change 完成、实现证据验证、毕业评估和用户确认后才能写入永久 namespace。未毕业内容随归档 change 保留，不能从 change 工件消失。
 
 ## 2. 权威顺序
@@ -38,8 +43,9 @@ Change CONTEXT/ADR 是 active change 内的执行权威，不是 workflow 级永
 4. 当前外部行为权威：`<Path>{roots.state}/specdev/changes/{change}/spec.md</Path>`；
 5. 当前 Ticket 契约：`<Path>{roots.state}/specdev/changes/{change}/ticket/{ticket-file}.md</Path>`；
 6. 当前跨 Ticket 编排：`<Path>{roots.state}/specdev/changes/{change}/goal-plan.md</Path>`；
-7. 当前代码与运行事实；
-8. 旧计划、旧日志和未经确认的推断。
+7. 若当前 change 属于父实现 change，父 Implementation Map 对组合 Ticket dependency/serialization 具有权威，父 Implementation Plan 拥有全局 workspace、frontier 与 integration queue；
+8. 当前代码与运行事实；
+9. 旧计划、旧日志和未经确认的推断。
 
 当前 change 决定与永久知识冲突时，必须在 LOG/ADR 中显式说明替代关系；它只约束当前 change，直到 A 决定是否提升并更新永久版本。
 

package/template/workflows/specdev/common/rules/change-completion.md

@@ -16,11 +16,14 @@
 
 Evidence-only Done 和 empty commit 不满足完成门。
 
+父实现 change 还必须满足 `<Path>{roots.workflows}/specdev/common/rules/parent-implementation-orchestration.md</Path>`：全部成员 completed，Implementation Map 与 Implementation Plan completed 且 revision 一致，跨 change 全套验证通过，`<Path>{roots.state}/specdev/changes/{change}/evidence/implementation-orchestration.md</Path>` 完整，没有活动派单、candidate、serialization lock 或未裁决冲突。父完成不自动归档或移动任何成员。
+
 ## 转换 Owner
 
 - 有 Goal Plan：其唯一 Lead 在关闭最后 Gate 后拥有转换；
 - 无 Goal Plan 的 Ticket/Direct Spec：当前 I-implement 主会话 owner 拥有转换；
 - 非实现型终点：最终验收工件 owner 使用本规则。
+- 父实现 change：Implementation Plan 的唯一 Lead 在全部成员与 aggregate gate 关闭后拥有转换。
 
 Owner 原子更新 `<Path>{roots.state}/specdev/changes/{change}/.status.json</Path>` 的 `change_status`、`completed_at`、`updated_at` 和 `current_work`，然后重读。全局 status 只维护 active/archived 索引。
 

package/template/workflows/specdev/common/rules/deviation-control.md

@@ -21,6 +21,7 @@
 - 发现新的安全、数据、兼容、性能或迁移风险；
 - 依赖、合同或外部参考权威已变化；
 - 实际行为将与 Spec 或 ADR 不一致。
+- 父 Implementation Map 的成员、组合 Ticket、dependency、serialization 或 revision 已与子状态、路径或 Git 事实不一致。
 
 ## 3. 偏差记录
 
@@ -41,3 +42,4 @@
 - 未批准的 ticket、spec、architecture 或 release 偏差不得继续实现。
 - 不得通过扩大 `writable_paths`、删除测试、降低断言或把风险改写成“已知限制”来绕过停止。
 - 偏差影响并行执行、source checkpoint 或 candidate 集成时，Lead 必须暂停受影响 Wave，重新计算路径所有权、依赖、Gate 与父分支顺序；任何 subagent 都不能自行改写上层合同。
+- 偏差跨越多个成员时，父 Lead 先递增 Implementation Map revision，再重算 Implementation Plan；旧派单和 candidate 全部标记 stale。

package/template/workflows/specdev/common/rules/evidence-and-verification.md

@@ -49,3 +49,5 @@ subagent 只返回候选命令与结果，不写 Evidence。Lead 重读 workspac
 required Ticket Done 必须有 source commit、通过 candidate、父分支 result 与 Lead Evidence；current Ticket Done 必须有 implementation commit、通过 direct-parent 验证、父分支 result 与 Lead Evidence。无法运行 required 验证、存在未批准偏差、父分支未包含 Ticket commit 或 Evidence 不完整时不得 Done。
 
 Direct Spec Evidence 至少包含：用户批准与轻量合同、Lead、实施前/最终 checkpoint、实际路径、定向/回归/E2E 命令及环境、验收映射、未运行项、偏差、残余风险和提交授权状态。
+
+父实现 change 的 Implementation Orchestration Evidence 不能替代子 Evidence。它至少记录最终 Map revision、全部成员最终状态和子证据指针、dependency/serialization 实际顺序、跨 change 合同检查、aggregate 命令/环境/结果、stale candidate 处理、偏差和残余风险。任何成员未 completed 或整体验证未通过时不得形成父完成证据。

package/template/workflows/specdev/common/rules/parent-implementation-orchestration.md

@@ -0,0 +1,27 @@
+# Parent Implementation Orchestration
+
+本规则只约束 Ready Spec/Tickets 之后的跨 change 实现，供 O-orchestrate-implementation、I-implement 与 A-archive-and-consolidate 读取。
+
+## 输入边界
+
+父实现 change 只能在所有成员通过 Ready Spec/Tickets 输入门后创建。父 Work 不调用或代行 Triage、Grill、Wayfinder、Spec、Tickets 或普通 Goal Plan；输入不足时不留下父状态或父工件。
+
+## 权威边界
+
+- 父 Implementation Map：成员、组合 Ticket inventory、跨 change dependency/serialization 与 revision 的唯一权威投影。
+- 父 Implementation Plan：Lead、全局 workspace 策略、implementation agent/integration attempt 上限、frontier、Wave、locks 和 integration queue 的唯一权威。
+- 子 change：自己的 Spec、Ticket、内部 Goal Gate、workspace、Git、Evidence 和完成状态的唯一权威。
+
+父工件不得复制完整子合同。子权威变化时停止旧派单、递增父 Map revision 并重算父 Plan；不能从旧父投影覆盖子工件。
+
+## 唯一所有权
+
+一个 active/blocked 子 change 最多属于一个未完成父实现 change。v1 不支持父实现 change 嵌套。父 Lead 是父工件、全部 SpecDev 状态写入、E2E、repository/ref integration queue 和父分支推进的唯一 owner；implementation agent 只写授权项目 workspace。
+
+## I-implement 调用
+
+父 Plan 可以替代缺失的子 Goal Plan 提供 workspace/integration 策略和全局执行边界。子 Goal Plan 存在时继续拥有子 change 内 Gate，但不得与父策略冲突。I-implement 完成或阻塞一个组合 Ticket 后返回父 O Work，不要求用户重新激活 change。
+
+## 归档与完成
+
+未完成父实现 change 的成员不得归档。成员满足普通 change completion 时可以先 completed，但不自动归档。父 change 只有全部成员 completed、Map/Plan completed、aggregate Evidence 完整且无 active dispatch/candidate/lock 后才能 completed；完成或归档均不自动级联。