@namewta/speculo 2.0.1 → 2.0.3

package/template/workflows/specdev/common/tools/validate-specdev.mjs

@@ -28,9 +28,10 @@ import {
   validateGoalMap, validateInitiative, resolveProjectSource, readChangeExecution, readSpecification, resolveToolContext, validateExecutionPolicy, canonicalToolPath, resolveSnapshotContext, readLightweightGoal, validateAcceptanceEvidence,
 } from "./plan-contract.mjs";
 
-import { validateChangeClosure } from "./change-artifacts.mjs";
+import { validateChangeClosure, readChangeOwner } from "./change-artifacts.mjs";
 import { validateRecord, validateRecords } from "./delivery-artifacts.mjs";
 import { reviewScopeCLI } from "./review-scope.mjs";
+import { hasIndependentReview, validateIndependentReview } from "./review-evidence.mjs";
 import { ENGINEERING_KINDS, validateEngineeringArtifacts, validateEngineeringPackage } from "./engineering-evidence.mjs";
 
 const DOMAIN_SCHEMA_VERSION = 3;
@@ -55,7 +56,7 @@ const EXPECTED_WORKS = new Set([
   "specdev-g-grill-with-docs",
   "specdev-i-implement",
   "specdev-i-init-setup",
-  "specdev-l-learn-change",
+  "specdev-l-learn",
   "specdev-p-goal-plan",
   "specdev-p-prototype",
   "specdev-r-review-architecture",
@@ -172,7 +173,7 @@ const VALID_STAGES = new Set([
   "tickets",
   "goal-plan",
   "implement",
-  "learn-change",
+  "learn",
   "retro",
   "pr-delivery",
   "review",
@@ -202,15 +203,6 @@ const REQUIRED_TICKET_KEYS = new Set([
   "shared_paths",
   "shared_path_owners",
 ]);
-const REQUIRED_READY_TICKET_SECTIONS = new Set([
-  "## 1. 战略与来源",
-  "## 2. 决策状态",
-  "## 3. 范围边界",
-  "## 4. 要构建什么",
-  "## 7. 路径访问契约",
-  "## 8. 验证矩阵",
-  "## 10. 验收标准",
-]);
 const REQUIRED_GOAL_PLAN_SECTIONS = new Set([
   "## 1. Outcome and Authority",
   "## 2. Execution Graph",
@@ -334,6 +326,20 @@ function sectionBody(body, heading) {
   return (next ? tail.slice(0, next.index) : tail).trim();
 }
 
+// Accept the published long templates and the concise headings without making
+// numbering, repeated instructions or a fixed count of implementation steps a gate.
+function semanticSection(body, names) {
+  const lines = runtime.markdownBodyLines(body);
+  const matches = lines.filter(line => {
+    const match = /^(#{2,3})\s+(?:\d+\.\s*)?(.+)$/.exec(line.text);
+    return match && names.includes(match[2]);
+  });
+  if (matches.length !== 1) return "";
+  const start = matches[0], level = /^#+/.exec(start.text)[0].length;
+  const end = lines.find(line => line.line > start.line && /^#{1,3}\s/.test(line.text) && /^#+/.exec(line.text)[0].length <= level);
+  return body.split(/\r?\n/).slice(start.line, end ? end.line-1 : undefined).join("\n").trim();
+}
+
 function stripPathTag(value) {
   const match = /^<Path>([^<]+)<\/Path>$/.exec(String(value).trim());
   return match ? match[1].trim() : null;
@@ -874,10 +880,10 @@ function capabilityChecks(root) {
       ],
     ],
     [
-      "learn-change",
+      "learn",
       [
-        join(root, "specdev-l-learn-change", "SKILL.md"),
-        ["开发完成后", "零专业背景", "$ARGUMENTS", "ASCII", "learning/index.md", "{number}_{topic}.md", "{roots.state}/learning/"],
+        join(root, "specdev-l-learn", "SKILL.md"),
+        ["需求参考", "零专业背景", "$ARGUMENTS", "ASCII", "learning-change.md", "learning/index.md", "{number}_{topic}.md", "{roots.state}/learning/"],
       ],
     ],
     [
@@ -1460,12 +1466,13 @@ function validateDiagnosis(path, expectedChange, errors) {
   return { path, meta, body };
 }
 
-function validateReviews(change, required, errors) {
+function validateReviews(change, required, errors, repoRoot = null) {
   const root = join(change, "reviews");
   const paths = isDirectory(root)
     ? readdirSync(root).filter((name) => /^CR-\d{3,}\.md$/.test(name)).sort().map((name) => join(root, name))
     : [];
   if (required && !paths.length) errors.push("review stage requires a CR-###.md report");
+  const latest = [...paths].sort((a,b) => Number(basename(a).match(/\d+/)[0])-Number(basename(b).match(/\d+/)[0])).at(-1);
   for (const path of paths) {
     const { meta, body } = parseFrontmatter(path);
     if (meta.schema_version !== 1 || meta.artifact !== "code-review") {
@@ -1483,6 +1490,12 @@ function validateReviews(change, required, errors) {
     for (const heading of ["## Fixed Input", "## 标准", "## 规范", "## Summary"]) {
       if (!body.includes(heading)) errors.push(`${basename(path)}: missing '${heading}'`);
     }
+    // Historical CRs remain readable. Only the current review or an explicitly
+    // supplied new record is checked against the independent execution contract.
+    if (required && path === latest || hasIndependentReview(path)) {
+      errors.push(...validateIndependentReview(change, toPosix(relative(change,path)), {repoRoot,requirePassed:meta.status === 'approved',expectedResults:{standards:meta.standards_result,specification:meta.specification_result},expectedHead:meta.head,checkCurrent:required && path === latest}));
+      if (meta.status === 'approved' && (meta.standards_result !== 'pass' || meta.specification_result !== 'pass')) errors.push(`${basename(path)}: approved requires both review axes to pass`);
+    }
   }
   return paths;
 }
@@ -1586,7 +1599,7 @@ function validateChangeLearning(change, required, errors) {
   const diagramName = /^\d{2,}_[\p{L}\p{N}_-]+\.md$/u;
 
   if (!existsSync(learningRoot)) {
-    if (required) errors.push("learn-change stage requires learning/index.md");
+    if (required) errors.push("learn stage requires learning/index.md");
     return null;
   }
   if (lstatSync(learningRoot).isSymbolicLink() || !isDirectory(learningRoot)) {
@@ -1595,22 +1608,27 @@ function validateChangeLearning(change, required, errors) {
   }
 
   const diagramFiles = [];
+  const diagramNumbers = new Set();
   for (const entry of readdirSync(learningRoot, { withFileTypes: true })) {
     if (entry.isSymbolicLink()) {
       errors.push(`learning/${entry.name}: learning artifacts must not be symlinks`);
     } else if (entry.isFile() && diagramName.test(entry.name)) {
       diagramFiles.push(entry.name);
+      const number = Number(entry.name.split("_")[0]);
+      if (diagramNumbers.has(number)) errors.push(`learning/${entry.name}: duplicate diagram number ${number}`);
+      diagramNumbers.add(number);
     }
   }
   diagramFiles.sort();
 
   if (!isFile(indexPath)) {
-    errors.push("learn-change stage requires learning/index.md");
+    errors.push("learn stage requires learning/index.md");
     return null;
   }
 
   const index = readText(indexPath);
-  if (!index.includes("# Change 学习图解索引")) {
+  // Historical titles remain readable without rewriting existing learning records.
+  if (!/^# (?:Change )?学习图解索引\s*$/m.test(index)) {
     errors.push("learning/index.md: missing index heading");
   }
   const entries = Array.from(
@@ -1687,18 +1705,12 @@ function validateSpec(path, errors, warnings) {
   const sources = requireList(meta, "sources", label, errors);
   if (!sources.length) errors.push(`${label}: sources must contain at least one source`);
   if (meta.ready_for_tickets === true) {
-    const unresolved = sectionBody(body, "### 未决问题");
+    const unresolved = semanticSection(body, ["未决问题"]);
     if (unresolved && !/^无[。.]?$/.test(unresolved.trim())) {
       errors.push(`${label}: ready Spec has unresolved high-impact questions`);
     }
-    for (const heading of [
-      "## 1. 问题与目标",
-      "## 2. 解决方案与外部行为",
-      "## 4. 验收合同",
-      "## 5. 范围",
-      "## 9. 验证策略",
-    ]) {
-      if (!body.includes(heading)) errors.push(`${label}: ready Spec missing '${heading}'`);
+    for (const heading of ["问题与目标", "解决方案与外部行为", "验收合同", "范围", "验证策略"]) {
+      if (!semanticSection(body,[heading])) errors.push(`${label}: ready Spec missing '${heading}' content`);
     }
   }
   return { path, meta, body };
@@ -2176,32 +2188,22 @@ function validateTicket(path, errors) {
     if (!new Set(["ready", "in_progress", "review", "done"]).has(meta.status)) {
       errors.push(`${basename(path)}: ready=true conflicts with status=${meta.status}`);
     }
-    for (const heading of REQUIRED_READY_TICKET_SECTIONS) {
-      if (!body.includes(heading)) errors.push(`${basename(path)}: Ready Ticket missing '${heading}'`);
+    for (const names of [["目标与来源","战略与来源"],["行为与范围","要构建什么"],["验收标准"],["验证方法","验证矩阵"]]) {
+      if (!semanticSection(body,names)) errors.push(`${basename(path)}: Ready Ticket missing '${names[0]}' content`);
     }
-    const unresolved = sectionBody(body, "### 未决问题");
+    const unresolved = semanticSection(body, ["未决问题"]);
     if (unresolved && !/^无[。.]?$/.test(unresolved.trim())) {
       errors.push(`${basename(path)}: Ready Ticket has unresolved questions`);
     }
     if (!lists.writable_paths.length) errors.push(`${basename(path)}: Ready implementation Ticket requires writable_paths`);
-    if (new Set(["standard", "deep"]).has(meta.planning_depth)) {
-      for (const heading of ["## 5. 实现契约", "## 6. 执行路线"]) {
-        if (!body.includes(heading)) {
-          errors.push(`${basename(path)}: ${meta.planning_depth} Ticket missing '${heading}'`);
-        }
-      }
-    }
-    if (meta.planning_depth === "deep" && !body.includes("## 9. 发布、迁移与恢复")) {
-      errors.push(`${basename(path)}: Deep Ticket missing release/migration/recovery`);
-    }
-    const verification = sectionBody(body, "## 8. 验证矩阵");
+    const verification = semanticSection(body, ["验证方法","验证矩阵"]);
     if (!verification || !verification.includes("|")) {
       errors.push(`${basename(path)}: Ready Ticket has no usable verification matrix`);
     }
     if (!verification.includes("E2E disposition") || !/(current-workspace|source-worktree|parent-candidate|direct-parent)/.test(verification)) {
       errors.push(`${basename(path)}: Ready Ticket must define E2E disposition and an explicit execution environment`);
     }
-    const acceptance = sectionBody(body, "## 10. 验收标准").toLowerCase();
+    const acceptance = semanticSection(body, ["验收标准"]).toLowerCase();
     if (!acceptance.includes("- [ ]") && !acceptance.includes("- [x]")) {
       errors.push(`${basename(path)}: Ready Ticket has no acceptance checklist`);
     }
@@ -2223,8 +2225,10 @@ function validateChangeExecution(change, errors, context) {
       errors.push(`${basename(path)}: invalid worktree entry`);
       continue;
     }
+    const direct = worktree.purpose === "direct-spec";
+    const unit = direct ? "direct-spec" : worktree.ticket_id;
     const requiredWorktreeKeys = [
-      "ticket_id",
+      ...(direct ? ["purpose", "change", "integration_attempt_limit"] : ["ticket_id"]),
       "owner",
       "implementation_owner",
       "integration_owner",
@@ -2245,14 +2249,24 @@ function validateChangeExecution(change, errors, context) {
     }
     const unexpectedWorktreeKeys = Object.keys(worktree).filter((key) => !requiredWorktreeKeys.includes(key));
     if (unexpectedWorktreeKeys.length) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} has unexpected keys ${JSON.stringify(unexpectedWorktreeKeys.sort())}`);
+      errors.push(`${basename(path)}: worktree ${unit} has unexpected keys ${JSON.stringify(unexpectedWorktreeKeys.sort())}`);
     }
-    if (!/^T-[0-9]{2,}$/.test(String(worktree.ticket_id))) {
-      errors.push(`${basename(path)}: invalid worktree ticket_id ${worktree.ticket_id}`);
-    } else if (seenWorktreeTickets.has(worktree.ticket_id)) {
-      errors.push(`${basename(path)}: duplicate worktree for ${worktree.ticket_id}`);
-    }
-    seenWorktreeTickets.add(worktree.ticket_id);
+    if (direct) {
+      if (worktree.change !== expectedChange) errors.push("Direct Spec execution belongs to another change");
+      try {
+        if (readChangeOwner(context, expectedChange).owner !== worktree.owner) errors.push("Direct Spec execution owner differs from original Lead");
+      } catch (error) { errors.push(error.message); }
+      if (!Number.isInteger(worktree.integration_attempt_limit) || worktree.integration_attempt_limit < 1) errors.push("Direct Spec requires a positive integration_attempt_limit");
+      if (worktree.integration?.attempts > worktree.integration_attempt_limit) errors.push("Direct Spec integration attempts exceed integration_attempt_limit");
+      if (worktree.integration_owner !== worktree.owner) errors.push("Direct Spec integration owner must be Lead");
+      if (worktree.status === "cancelled" && data.outcome !== "cancelled") errors.push("cancelled Direct Spec execution requires the original whole-change cancellation");
+      if (worktree.workspace_ref !== "current" && worktree.branch !== `speculo/${expectedChange}/direct-spec`) errors.push("Direct Spec source branch must match its change");
+    } else if (!/^T-[0-9]{2,}$/.test(String(unit))) {
+      errors.push(`${basename(path)}: invalid worktree ticket_id ${unit}`);
+    } else if (seenWorktreeTickets.has(unit)) {
+      errors.push(`${basename(path)}: duplicate worktree for ${unit}`);
+    }
+    seenWorktreeTickets.add(unit);
     const ref = worktree.workspace_ref;
     if (
       typeof ref !== "string" ||
@@ -2262,20 +2276,20 @@ function validateChangeExecution(change, errors, context) {
       errors.push(`${basename(path)}: workspace_ref must be a portable non-absolute locator`);
       continue;
     }
-    if (!VALID_WORKTREE_STATUS.has(worktree.status)) {
+    if (!VALID_WORKTREE_STATUS.has(worktree.status) && !(direct && worktree.status === "cancelled")) {
       errors.push(`${basename(path)}: invalid worktree status ${worktree.status}`);
     }
     const currentWorkspace = ref === "current";
     if (worktree.provider !== "git") {
-      errors.push(`${basename(path)}: Ticket worktree ${worktree.ticket_id} provider must be git`);
+      errors.push(`${basename(path)}: Ticket worktree ${unit} provider must be git`);
     }
-    const expectedRef = `specdev-worktree/${expectedChange}/${worktree.ticket_id}`;
+    const expectedRef = `specdev-worktree/${expectedChange}/${unit}`;
     if (!currentWorkspace && ref !== expectedRef) {
       errors.push(`${basename(path)}: git workspace_ref must equal ${expectedRef}`);
     }
 
     if ("terminal_action" in worktree) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} obsolete terminal_action is not allowed`);
+      errors.push(`${basename(path)}: worktree ${unit} obsolete terminal_action is not allowed`);
     }
     const requiredIntegrationKeys = [
       "owner",
@@ -2287,35 +2301,35 @@ function validateChangeExecution(change, errors, context) {
     ];
     const missingIntegrationKeys = requiredIntegrationKeys.filter((key) => !(key in worktree));
     if (missingIntegrationKeys.length) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} integration contract missing ${JSON.stringify(missingIntegrationKeys)}`);
+      errors.push(`${basename(path)}: worktree ${unit} integration contract missing ${JSON.stringify(missingIntegrationKeys)}`);
       continue;
     }
     for (const key of ["owner", "implementation_owner", "integration_owner", "base_sha", "parent_branch", "branch", "updated_at"]) {
       if (typeof worktree[key] !== "string" || !worktree[key].trim()) {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${key} is required`);
+        errors.push(`${basename(path)}: worktree ${unit} ${key} is required`);
       }
     }
     if (typeof worktree.parent_branch !== "string" || !worktree.parent_branch.trim()) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} parent_branch is required`);
+      errors.push(`${basename(path)}: worktree ${unit} parent_branch is required`);
     } else if (currentWorkspace && worktree.parent_branch !== worktree.branch) {
-      errors.push(`${basename(path)}: current workspace ${worktree.ticket_id} branch must equal parent_branch`);
+      errors.push(`${basename(path)}: current workspace ${unit} branch must equal parent_branch`);
     } else if (!currentWorkspace && worktree.parent_branch === worktree.branch) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} parent_branch must differ from branch`);
+      errors.push(`${basename(path)}: worktree ${unit} parent_branch must differ from branch`);
     }
 
     const sourceRequired = new Set(["review", "integrating", "integrated", "removed"]).has(worktree.status);
     if (sourceRequired && (typeof worktree.source_checkpoint !== "string" || !worktree.source_checkpoint.trim())) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${worktree.status} requires source_checkpoint`);
+      errors.push(`${basename(path)}: worktree ${unit} ${worktree.status} requires source_checkpoint`);
     } else if (
       worktree.source_checkpoint !== null &&
       (typeof worktree.source_checkpoint !== "string" || !worktree.source_checkpoint.trim())
     ) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} source_checkpoint must be null or non-empty`);
+      errors.push(`${basename(path)}: worktree ${unit} source_checkpoint must be null or non-empty`);
     }
 
     const integration = worktree.integration;
     if (!integration || typeof integration !== "object" || Array.isArray(integration)) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} integration must be an object`);
+      errors.push(`${basename(path)}: worktree ${unit} integration must be an object`);
       continue;
     }
     const requiredResultKeys = [
@@ -2339,49 +2353,48 @@ function validateChangeExecution(change, errors, context) {
     ];
     const missingResultKeys = requiredResultKeys.filter((key) => !(key in integration));
     if (missingResultKeys.length) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} integration missing ${JSON.stringify(missingResultKeys)}`);
+      errors.push(`${basename(path)}: worktree ${unit} integration missing ${JSON.stringify(missingResultKeys)}`);
     }
     const unexpectedResultKeys = Object.keys(integration).filter((key) => !requiredResultKeys.includes(key));
     if (unexpectedResultKeys.length) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} integration has unexpected keys ${JSON.stringify(unexpectedResultKeys.sort())}`);
+      errors.push(`${basename(path)}: worktree ${unit} integration has unexpected keys ${JSON.stringify(unexpectedResultKeys.sort())}`);
     }
     if (!VALID_INTEGRATION_STATUS.has(integration.status)) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} has invalid integration status ${integration.status}`);
+      errors.push(`${basename(path)}: worktree ${unit} has invalid integration status ${integration.status}`);
     }
     if (!VALID_INTEGRATION_METHOD.has(integration.method)) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} has invalid integration method ${integration.method}`);
+      errors.push(`${basename(path)}: worktree ${unit} has invalid integration method ${integration.method}`);
     }
     if (!VALID_INTEGRATION_VERIFICATION.has(integration.verification)) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} has invalid integration verification ${integration.verification}`);
+      errors.push(`${basename(path)}: worktree ${unit} has invalid integration verification ${integration.verification}`);
     }
     if (!Array.isArray(integration.conflict_paths)) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} conflict_paths must be an array`);
+      errors.push(`${basename(path)}: worktree ${unit} conflict_paths must be an array`);
     }
     if (!Number.isInteger(integration.attempts) || integration.attempts < 0) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} attempts must be a non-negative integer`);
+      errors.push(`${basename(path)}: worktree ${unit} attempts must be a non-negative integer`);
     }
-    if (
-      typeof integration.evidence !== "string" ||
-      !/^<Path>\{roots\.state\}\/specdev\/changes\/[^<]+\/evidence\/T-[0-9]{2,}\.md<\/Path>$/.test(integration.evidence)
-    ) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} integration evidence must be a rooted Ticket Evidence path`);
+    const expectedEvidence = `<Path>{roots.state}/specdev/changes/${expectedChange}/evidence/${unit}.md</Path>`;
+    if (direct ? integration.evidence !== expectedEvidence : typeof integration.evidence !== "string" || !/^<Path>\{roots\.state\}\/specdev\/changes\/[^<]+\/evidence\/T-[0-9]{2,}\.md<\/Path>$/.test(integration.evidence)) {
+      errors.push(`${basename(path)}: worktree ${unit} integration evidence must be its rooted Evidence path: ${expectedEvidence}`);
     }
     if (!new Set(["pending", "applying", "applied", "failed", "stale"]).has(integration.promotion_status)) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} has invalid promotion_status ${integration.promotion_status}`);
+      errors.push(`${basename(path)}: worktree ${unit} has invalid promotion_status ${integration.promotion_status}`);
     }
     for (const [name, suite] of [["full_suite", integration.full_suite], ["e2e", integration.e2e]]) {
       if (!suite || typeof suite !== "object" || Array.isArray(suite) || typeof suite.required !== "boolean" || !VALID_E2E_STATUS.has(suite.status)) {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${name} contract is invalid`);
+        errors.push(`${basename(path)}: worktree ${unit} ${name} contract is invalid`);
         continue;
       }
       const unexpectedSuiteKeys = Object.keys(suite).filter((key) => !new Set(["required", "status", "reason", "evidence"]).has(key));
-      if (unexpectedSuiteKeys.length) errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${name} has unexpected keys ${JSON.stringify(unexpectedSuiteKeys.sort())}`);
+      if (unexpectedSuiteKeys.length) errors.push(`${basename(path)}: worktree ${unit} ${name} has unexpected keys ${JSON.stringify(unexpectedSuiteKeys.sort())}`);
       if (suite.required === false && (suite.status !== "not-required" || typeof suite.reason !== "string" || !suite.reason.trim())) {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} non-required ${name} needs not-required status and reason`);
+        errors.push(`${basename(path)}: worktree ${unit} non-required ${name} needs not-required status and reason`);
       }
       if (suite.required === true && suite.status === "not-required") {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} required ${name} cannot be not-required`);
+        errors.push(`${basename(path)}: worktree ${unit} required ${name} cannot be not-required`);
       }
+      if (direct && suite.required === true && suite.status === "passed" && (typeof suite.evidence !== "string" || !suite.evidence.trim())) errors.push(`Direct Spec passed ${name} requires actual evidence`);
     }
     const e2e = integration.e2e;
     if (
@@ -2391,65 +2404,65 @@ function validateChangeExecution(change, errors, context) {
       typeof e2e.required !== "boolean" ||
       !VALID_E2E_STATUS.has(e2e.status)
     ) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} integration e2e contract is invalid`);
+      errors.push(`${basename(path)}: worktree ${unit} integration e2e contract is invalid`);
     } else {
       const unexpectedE2eKeys = Object.keys(e2e).filter((key) => !new Set(["required", "status", "reason", "evidence"]).has(key));
       if (unexpectedE2eKeys.length) {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} integration e2e has unexpected keys ${JSON.stringify(unexpectedE2eKeys.sort())}`);
+        errors.push(`${basename(path)}: worktree ${unit} integration e2e has unexpected keys ${JSON.stringify(unexpectedE2eKeys.sort())}`);
       }
       if (e2e.required === false && e2e.status !== "not-required") {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} non-required E2E must use status=not-required`);
+        errors.push(`${basename(path)}: worktree ${unit} non-required E2E must use status=not-required`);
       }
       if (e2e.required === true && e2e.status === "not-required") {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} required E2E cannot be not-required`);
+        errors.push(`${basename(path)}: worktree ${unit} required E2E cannot be not-required`);
       }
       if (
         e2e.required === true &&
         e2e.status === "passed" &&
         (typeof e2e.evidence !== "string" || !e2e.evidence.trim())
       ) {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} passed required E2E needs evidence`);
+        errors.push(`${basename(path)}: worktree ${unit} passed required E2E needs evidence`);
       }
     }
     const integrationLifecycleActive = new Set(["integrating", "integrated", "removed"]).has(worktree.status);
     if (integrationLifecycleActive) {
       if (typeof integration.parent_before_sha !== "string" || !integration.parent_before_sha.trim()) {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${worktree.status} requires parent_before_sha`);
+        errors.push(`${basename(path)}: worktree ${unit} ${worktree.status} requires parent_before_sha`);
       }
       if (typeof integration.source_sha !== "string" || !integration.source_sha.trim()) {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${worktree.status} requires source_sha`);
+        errors.push(`${basename(path)}: worktree ${unit} ${worktree.status} requires source_sha`);
       } else if (integration.source_sha !== worktree.source_checkpoint) {
-        errors.push(`${basename(path)}: worktree ${worktree.ticket_id} source_sha must equal source_checkpoint`);
+        errors.push(`${basename(path)}: worktree ${unit} source_sha must equal source_checkpoint`);
       }
       if (currentWorkspace) {
         if (integration.candidate_sha !== null || integration.candidate_tree_sha !== null || integration.candidate_branch !== null || integration.candidate_workspace_ref !== null) {
-          errors.push(`${basename(path)}: current workspace ${worktree.ticket_id} cannot record candidate workspace fields`);
+          errors.push(`${basename(path)}: current workspace ${unit} cannot record candidate workspace fields`);
         }
         if (integration.method !== "direct-parent") {
-          errors.push(`${basename(path)}: current workspace ${worktree.ticket_id} requires integration.method=direct-parent`);
+          errors.push(`${basename(path)}: current workspace ${unit} requires integration.method=direct-parent`);
         }
       } else {
         if (typeof integration.candidate_sha !== "string" || !integration.candidate_sha.trim()) {
-          errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${worktree.status} requires candidate_sha`);
+          errors.push(`${basename(path)}: worktree ${unit} ${worktree.status} requires candidate_sha`);
         }
-        const expectedCandidateBranch = `speculo/integration/${expectedChange}/${worktree.ticket_id}`;
+        const expectedCandidateBranch = `speculo/integration/${expectedChange}/${unit}`;
         if (integration.candidate_branch !== expectedCandidateBranch) {
-          errors.push(`${basename(path)}: worktree ${worktree.ticket_id} candidate_branch must equal ${expectedCandidateBranch}`);
+          errors.push(`${basename(path)}: worktree ${unit} candidate_branch must equal ${expectedCandidateBranch}`);
         }
-        const expectedCandidateRef = `specdev-worktree/.integration/${expectedChange}/${worktree.ticket_id}`;
+        const expectedCandidateRef = `specdev-worktree/.integration/${expectedChange}/${unit}`;
         if (integration.candidate_workspace_ref !== expectedCandidateRef) {
-          errors.push(`${basename(path)}: worktree ${worktree.ticket_id} candidate_workspace_ref must equal ${expectedCandidateRef}`);
+          errors.push(`${basename(path)}: worktree ${unit} candidate_workspace_ref must equal ${expectedCandidateRef}`);
         }
         if (!new Set(["fast-forward", "merge-commit"]).has(integration.method)) {
-          errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${worktree.status} requires an integration method`);
+          errors.push(`${basename(path)}: worktree ${unit} ${worktree.status} requires an integration method`);
         }
       }
     if (!Number.isInteger(integration.attempts) || integration.attempts < 1) {
-      errors.push(`${basename(path)}: worktree ${worktree.ticket_id} ${worktree.status} requires attempts >= 1`);
+      errors.push(`${basename(path)}: worktree ${unit} ${worktree.status} requires attempts >= 1`);
     }
     }
     if (worktree.status === "integrating" && integration.status !== "candidate") {
-      errors.push(`${basename(path)}: integrating worktree ${worktree.ticket_id} requires integration.status=candidate`);
+      errors.push(`${basename(path)}: integrating worktree ${unit} requires integration.status=candidate`);
     }
     if (new Set(["integrated", "removed"]).has(worktree.status)) {
       if (
@@ -2459,31 +2472,32 @@ function validateChangeExecution(change, errors, context) {
         typeof integration.result_sha !== "string" ||
         !integration.result_sha.trim() ||
         (currentWorkspace ? integration.result_sha !== worktree.source_checkpoint : integration.result_sha !== integration.candidate_sha) ||
+        (direct && (integration.promotion_status !== "applied" || !new Set(["not-required", "passed"]).has(integration.full_suite?.status))) ||
         !e2e ||
         !new Set(["not-required", "passed"]).has(e2e.status)
       ) {
-        errors.push(`${basename(path)}: ${worktree.status} worktree ${worktree.ticket_id} requires passed candidate/result/E2E state`);
+        errors.push(`${basename(path)}: ${worktree.status} worktree ${unit} requires passed candidate/result/E2E state`);
       }
       if (currentWorkspace && integration.method === "direct-parent") {
         if (integration.candidate_sha !== null || integration.candidate_tree_sha !== null || integration.candidate_branch !== null || integration.candidate_workspace_ref !== null) {
-          errors.push(`${basename(path)}: current workspace ${worktree.ticket_id} direct-parent cannot record candidate fields`);
+          errors.push(`${basename(path)}: current workspace ${unit} direct-parent cannot record candidate fields`);
         }
         if (integration.result_sha !== worktree.source_checkpoint) {
-          errors.push(`${basename(path)}: current workspace ${worktree.status} ${worktree.ticket_id} result_sha must equal source_checkpoint`);
+          errors.push(`${basename(path)}: current workspace ${worktree.status} ${unit} result_sha must equal source_checkpoint`);
         }
       } else if (integration.method === "fast-forward") {
         if (integration.candidate_sha !== worktree.source_checkpoint) {
-          errors.push(`${basename(path)}: ${worktree.status} worktree ${worktree.ticket_id} fast-forward candidate/result must equal source_checkpoint`);
+          errors.push(`${basename(path)}: ${worktree.status} worktree ${unit} fast-forward candidate/result must equal source_checkpoint`);
         }
         if (Array.isArray(integration.conflict_paths) && integration.conflict_paths.length > 0) {
-          errors.push(`${basename(path)}: ${worktree.status} worktree ${worktree.ticket_id} fast-forward cannot record conflict_paths`);
+          errors.push(`${basename(path)}: ${worktree.status} worktree ${unit} fast-forward cannot record conflict_paths`);
         }
       } else if (
         integration.method === "merge-commit" &&
         typeof integration.candidate_sha === "string" &&
         (integration.candidate_sha === worktree.source_checkpoint || integration.candidate_sha === integration.parent_before_sha)
       ) {
-        errors.push(`${basename(path)}: ${worktree.status} worktree ${worktree.ticket_id} merge-commit candidate must be a distinct checkpoint`);
+        errors.push(`${basename(path)}: ${worktree.status} worktree ${unit} merge-commit candidate must be a distinct checkpoint`);
       }
     }
   }
@@ -2491,8 +2505,8 @@ function validateChangeExecution(change, errors, context) {
 }
 
 function validateCurrentWorkspaceExecution(changeStatus, goalPlan, errors) {
-  if (goalPlan?.meta.ticket_workspace_policy !== "current") return;
-  const entries = Array.isArray(changeStatus?.worktrees) ? changeStatus.worktrees : [];
+  const allEntries = Array.isArray(changeStatus?.worktrees) ? changeStatus.worktrees : [];
+  const entries = goalPlan?.meta.ticket_workspace_policy === "current" ? allEntries : allEntries.filter(entry => entry.workspace_ref === "current");
   const active = [];
   for (const worktree of entries) {
     if (worktree.workspace_ref !== "current") {
@@ -2502,7 +2516,7 @@ function validateCurrentWorkspaceExecution(changeStatus, goalPlan, errors) {
       errors.push(`${worktree.ticket_id}: current workspace execution must commit directly on parent_branch`);
     }
     if (new Set(["active", "review", "integrating", "blocked"]).has(worktree.status)) {
-      active.push(worktree.ticket_id);
+      active.push(worktree.ticket_id ?? worktree.purpose);
     }
     const integration = worktree.integration;
     if (integration && typeof integration === "object" && !Array.isArray(integration)) {
@@ -2549,7 +2563,7 @@ function validateGitEvidence(repoRoot, changeStatus, errors) {
   }
   const currentBranch = gitOutput(resolvedRoot, ["branch", "--show-current"]);
   for (const worktree of Array.isArray(changeStatus?.worktrees) ? changeStatus.worktrees : []) {
-    const label = String(worktree.ticket_id ?? "worktree");
+    const label = String(worktree.ticket_id ?? worktree.purpose ?? "worktree");
     for (const [name, sha] of [
       ["base_sha", worktree.base_sha],
       ["source_checkpoint", worktree.source_checkpoint],
@@ -2586,6 +2600,36 @@ function validateGitEvidence(repoRoot, changeStatus, errors) {
         if (gitOutput(candidate,["rev-parse","HEAD"]) !== worktree.integration.candidate_sha || gitOutput(candidate,["rev-parse","HEAD^{tree}"]) !== worktree.integration.candidate_tree_sha) errors.push(`${label}: actual candidate workspace differs from the recorded checkpoint/tree`);
       } catch(error) { errors.push(`${label}: actual candidate isolation is missing: ${error.message}`); }
     }
+    if (worktree.purpose === "direct-spec") {
+      const integration = worktree.integration;
+      if (worktree.source_checkpoint && gitOutput(resolvedRoot, ["rev-parse", worktree.branch]) !== worktree.source_checkpoint && worktree.status !== "removed") errors.push(`${label}: source branch tip differs from source_checkpoint`);
+      if (worktree.source_checkpoint && !gitSucceeds(resolvedRoot, ["merge-base", "--is-ancestor", worktree.base_sha, worktree.source_checkpoint])) errors.push(`${label}: source_checkpoint must descend from base_sha`);
+      if (worktree.workspace_ref !== "current" && new Set(["review", "integrating", "integrated"]).has(worktree.status)) {
+        try {
+          const source = runtime.safeWorkPathSync(resolvedRoot, worktree.workspace_ref, {mustExist:true,type:"directory"});
+          if (gitOutput(source, ["status", "--porcelain"])) errors.push(`${label}: source worktree is dirty`);
+        } catch (error) { errors.push(`${label}: source worktree missing before cleanup: ${error.message}`); }
+      }
+      if (integration?.candidate_sha) {
+        if (gitOutput(resolvedRoot, ["rev-parse", `${integration.candidate_sha}^{tree}`]) !== integration.candidate_tree_sha) errors.push(`${label}: candidate tree differs from recorded tree`);
+        for (const sha of [integration.parent_before_sha, worktree.source_checkpoint]) {
+          if (sha && !gitSucceeds(resolvedRoot, ["merge-base", "--is-ancestor", sha, integration.candidate_sha])) errors.push(`${label}: candidate must contain parent and source checkpoints`);
+        }
+      }
+      const parent = gitOutput(resolvedRoot, ["rev-parse", worktree.parent_branch]);
+      if (worktree.status === "integrating" && worktree.workspace_ref !== "current") {
+        try {
+          const candidate = runtime.safeWorkPathSync(resolvedRoot, integration.candidate_workspace_ref, {mustExist:true,type:"directory"});
+          if (gitOutput(candidate, ["rev-parse", "--path-format=absolute", "--git-common-dir"]) !== gitOutput(resolvedRoot, ["rev-parse", "--path-format=absolute", "--git-common-dir"]) || gitOutput(candidate, ["branch", "--show-current"]) !== integration.candidate_branch || gitOutput(candidate, ["status", "--porcelain"])) errors.push(`${label}: candidate must be a clean worktree of the recorded repository and branch`);
+        } catch (error) { errors.push(`${label}: candidate cannot be inspected: ${error.message}`); }
+      }
+      if (worktree.status === "integrating" && parent !== integration?.parent_before_sha) errors.push(`${label}: parent HEAD drifted; candidate must be marked stale and rebuilt`);
+      if (new Set(["failed", "stale"]).has(integration?.status) && parent === integration.candidate_sha && parent !== integration.parent_before_sha) errors.push(`${label}: failed or stale candidate has already advanced the parent; reconcile before continuing`);
+      if (new Set(["integrated", "removed"]).has(worktree.status)) {
+        if (parent !== integration?.result_sha) errors.push(`${label}: parent branch HEAD must equal recorded result_sha`);
+        if (!gitSucceeds(resolvedRoot, ["merge-base", "--is-ancestor", worktree.source_checkpoint, parent])) errors.push(`${label}: parent must contain source_checkpoint`);
+      }
+    }
     if (new Set(["integrated", "removed"]).has(worktree.status) && gitOutput(resolvedRoot, ["status", "--porcelain"])) {
       errors.push(`${label}: repository is dirty while Ticket is recorded as ${worktree.status}`);
     }
@@ -3052,7 +3096,7 @@ function validateChange(change, stage = null, repoRoot = null, engineeringKind =
     if(archive?.archive_state === 'moved') warnings.push('archive moved and checked, but is not sealed; finish the original A8 receipt');
     return { errors, warnings, ...(archive ? {archive} : {}) };
   }
-  if (isParentImplementation) validateParentImplementation(change, changeStatus, stage, errors, warnings, repoRoot, options);
+  const parentImplementation = isParentImplementation ? validateParentImplementation(change, changeStatus, stage, errors, warnings, repoRoot, options) : null;
   errors.push(...validateInitiative(change));
   if (isFile(join(change, "source-issue.md"))) {
     errors.push("obsolete source-issue.md is forbidden; use source.md without compatibility fallback");
@@ -3080,10 +3124,10 @@ function validateChange(change, stage = null, repoRoot = null, engineeringKind =
   if (isFile(diagnosisPath) || stage === "diagnosis") {
     validateDiagnosis(diagnosisPath, basename(change), errors);
   }
-  validateReviews(change, stage === "review", errors);
+  validateReviews(change, stage === "review", errors, workspace.context.projectRoot);
   validatePrototypes(change, stage === "prototype", errors, prototypeId, new Set(["spec", "tickets", "goal-plan", "implement", "review", "complete"]).has(stage), workspace.context);
   if (new Set(["tickets", "goal-plan", "implement", "review", "complete"]).has(stage)) runDesignCheck("--handoff", change, errors, workspace.context);
-  validateChangeLearning(change, stage === "learn-change", errors);
+  validateChangeLearning(change, stage === "learn", errors);
   const retro = validateRecords(change, "retrospective", parseFrontmatter);
   const prs = validateRecords(change, "pull-request", parseFrontmatter);
   errors.push(...retro.errors, ...prs.errors);
@@ -3206,12 +3250,56 @@ function validateChange(change, stage = null, repoRoot = null, engineeringKind =
         }
       }
     }
-    validateCurrentWorkspaceExecution(changeStatus, goalPlan, errors);
   }
+  validateCurrentWorkspaceExecution(changeStatus, goalPlan, errors);
+  const directExecution = changeStatus?.worktrees?.find(entry => entry.purpose === "direct-spec");
+  if (directExecution && workspace.config) errors.push(...validateExecutionPolicy({meta:{concurrent_implementation_limit:1,integration_attempt_limit:directExecution.integration_attempt_limit}},workspace.config).map(error => `Direct Spec: ${error}`));
+  if (directExecution && (ticketMode || isParentImplementation)) errors.push("Direct Spec execution cannot coexist with Ticket or parent implementation artifacts");
+  if (directExecution && (stage === "complete" || changeStatus.outcome === "completed") && !new Set(["integrated", "removed"]).has(directExecution.status)) errors.push("Direct Spec completion requires integrated or removed execution; active or failed candidates cannot complete");
   validateGitEvidence(stage === "complete" ? workspace.context.projectRoot : repoRoot, changeStatus, errors);
 
+  if (stage === "implement" && spec && !ticketMode && (spec.meta.ready_for_tickets !== true || spec.meta.status !== "ready")) errors.push("Direct Spec implementation requires a ready Spec with ready_for_tickets=true");
+  if (spec?.meta.ready_for_tickets === true && !/\bAC-\d+\b/.test(spec.body)) errors.push("ready Spec must define at least one AC-### acceptance contract");
+
   if (stage === "complete" && spec && !ticketMode && !isParentImplementation && !retroOnly) errors.push(...validateAcceptanceEvidence(change,"evidence/direct-spec.md",[...new Set(spec.body.match(/\bAC-\d+\b/g) ?? [])]));
 
+  // New completion/archival consumes actual review evidence. Historical records
+  // remain readable outside these gates; archived validation returned earlier.
+  let nonImplementation = false;
+  if (stage === 'complete' && !spec && !ticketMode && !simpleGoal && !goalPlan && !isParentImplementation && !changeStatus?.worktrees?.length && !isDirectory(join(change,'evidence'))) {
+    try {
+      const owner = readChangeOwner(workspace.context,basename(change));
+      if (owner.work === 'specdev/learn' && isFile(join(change,'learning','index.md'))) {
+        validateChangeLearning(change,true,errors);
+        nonImplementation = true;
+      } else if (owner.work === 'specdev/triage' && source && triage?.meta.ready_for_implementation === false) nonImplementation = true;
+    } catch(error) { errors.push(error.message); }
+  }
+  if (stage === 'complete' && changeStatus?.location.kind === 'active' && changeStatus?.outcome !== 'cancelled' && !retroOnly && !nonImplementation) {
+    const units = [...tickets.values()].filter(ticket => ticket.meta.status !== 'cancelled');
+    const finalArtifact = isParentImplementation ? 'evidence/implementation-orchestration.md'
+      : units.length > 1 ? 'evidence/final-review.md'
+      : units.length === 1 ? `evidence/${units[0].meta.id}.md`
+      : lightweight ? 'README.md' : 'evidence/direct-spec.md';
+    try {
+      const head = execFileSync('git',['-C',workspace.context.projectRoot,'rev-parse','--verify','HEAD^{commit}'],{encoding:'utf8',stdio:['ignore','pipe','pipe']}).trim();
+      const executions = [...(changeStatus.worktrees ?? []), ...[...(parentImplementation?.memberStatuses?.values() ?? [])].flatMap(status=>status.worktrees ?? [])];
+      const owners = executions.flatMap(record => [record.implementation_owner, ...(record.integration?.conflict_paths?.length ? [record.integration_owner] : [])]).filter(value => typeof value === 'string' && /^[a-z][a-z0-9-]*:\S+$/i.test(value));
+      const bases = [...new Set(executions.map(record=>record.base_sha).filter(value=>/^[a-f0-9]{40}(?:[a-f0-9]{24})?$/.test(value ?? '')))];
+      const expectedBase = bases.length > 1 ? execFileSync('git',['-C',workspace.context.projectRoot,'merge-base','--octopus',...bases],{encoding:'utf8',stdio:['ignore','pipe','pipe']}).trim() : bases[0] ?? null;
+      const sourceLocator = path => {
+        const snapshot = workspace.context.readOnlySnapshot;
+        const original = snapshot ? join(snapshot.sourceContext.specdevRoot,relative(workspace.context.specdevRoot,path)) : path;
+        return toPosix(relative(workspace.context.projectRoot,original));
+      };
+      const specLocator = sourceLocator(spec ? spec.path : join(change,'README.md'));
+      const requiredSpecifications = isParentImplementation
+        ? [sourceLocator(join(change,'implementation-plan.md')),sourceLocator(join(change,'implementation-map.md')),...new Set([...(parentImplementation?.ticketByTask?.values() ?? [])].map(unit=>sourceLocator(join(unit.memberRoot,'spec.md'))))]
+        : spec ? [specLocator] : [`${specLocator}#scope`,`${specLocator}#acceptance`];
+      errors.push(...validateIndependentReview(change,finalArtifact,{repoRoot:workspace.context.projectRoot,expectedHead:head,expectedBase,requiredImplementers:owners,requiredSpecifications,checkCurrent:true,requireDelivery:true}));
+    } catch(error) { errors.push(`independent-review: final delivery checkpoint unavailable: ${error.message}`); }
+  }
+
   if (spec && ticketMode) {
     const declaredContracts = new Set(spec.body.match(/\bAC-\d+\b/g) ?? []);
     const coveredContracts = new Set(
@@ -3297,7 +3385,15 @@ function validateChange(change, stage = null, repoRoot = null, engineeringKind =
       continue;
     }
     const text = readText(evidence);
-    const currentWorkspace = goalPlan?.meta.ticket_workspace_policy === "current";
+    if (stage === 'complete' && changeStatus?.location.kind === 'active' || hasIndependentReview(evidence)) {
+      const execution = changeStatus?.worktrees?.find(entry => entry.ticket_id === ticketId);
+      errors.push(...validateIndependentReview(change, `evidence/${ticketId}.md`, {
+        repoRoot:workspace.context.projectRoot,
+        expectedHead:execution?.integration?.result_sha ?? execution?.source_checkpoint ?? null,
+        checkCurrent:false,
+      }));
+    }
+    const currentWorkspace = changeStatus?.worktrees?.find(entry => entry.ticket_id === ticketId)?.workspace_ref === "current";
     const requiredHeadings = [
       "## 2. Lead Dispatch And Candidate Return",
       "## 3. 修改范围与路径所有权",
@@ -3417,7 +3513,7 @@ function printResults(errors, warnings) {
 }
 
 function usage() {
-  console.error("Usage: node validate-specdev.mjs [--stage <stage>] [--sealed (archived only)] [--prototype-id UI-NNN|LOGIC-NNN] [--repo <project-root>] [--engineering <performance|documentation|incident>] <change-directory> | --review-scope --repo <project-root> --mode <baseline|range|commit|pr|source-files> [comparison options or repeated --file <relative-path>] | --self-check | --capture <capture.md> | --triage-run <TRI-NNN.md>");
+  console.error("Usage: node validate-specdev.mjs [--stage <stage>] [--sealed (archived only)] [--prototype-id UI-NNN|LOGIC-NNN] [--repo <project-root>] [--engineering <performance|documentation|incident>] <change-directory> | --review-scope --repo <project-root> --mode <baseline|range|commit|pr|source-files|working-tree> [comparison options or repeated --file <relative-path>] | --self-check | --capture <capture.md> | --triage-run <TRI-NNN.md>");
   return 2;
 }