vibe-coding-master 0.9.2 → 0.9.4

package/dist/backend/templates/harness/vcm-final-acceptance-skill.js

@@ -3,9 +3,9 @@ export function renderVcmFinalAcceptanceSkillRules() {
 
 Use this skill only when project-manager is ready to close a complete VCM code-delivery flow, including Architect Debug Flow or an Architecture Diagnosis Flow that produced code changes.
 
-Do not use it for Docs-Only Flow, Validation-Only Flow, Communication-Only Flow, PR-Preparation Flow, analysis-only Diagnosis, Architect Debug Branch, or Architecture Diagnosis Branch.
+Do not use it for Docs-Only Flow, Validation-Only Flow, Communication-Only Flow, PR-Preparation Flow, or analysis-only Diagnosis. After an Architect Debug Branch or Architecture Diagnosis Branch passes its code-diff Gate, use it for the parent flow the branch returned to, auditing the whole task; never for a branch that has not passed its code-diff Gate.
 
-This skill is a final evidence audit. It does not replace architect docs sync, tester validation acceptance, coder implementation responsibility, or user approval for high-risk decisions.
+This skill is a final evidence audit. It does not replace architect documentation ownership, tester validation acceptance, coder implementation responsibility, or user approval for high-risk decisions.
 
 Project-manager must not use this skill to perform technical design review, implementation review, source-code analysis, or test adequacy analysis. Missing or conflicting evidence must be routed to the responsible role.
 
@@ -17,11 +17,10 @@ Read the relevant task evidence before deciding:
 - \`.ai/vcm/handoffs/architecture-plan.md\` when the task required architect planning
 - \`.ai/vcm/handoffs/architecture-diagnosis.md\` when the flow used Architecture Diagnosis Mode
 - \`.ai/vcm/handoffs/test-report.md\` when tester validation was required
-- \`.ai/vcm/handoffs/docs-sync-report.md\` when durable docs could be affected
 - \`.ai/vcm/handoffs/known-issues.md\` when unresolved findings were recorded
 - \`.ai/vcm/gate-reviews/index.json\` and referenced Gate Review reports when Gate Reviews were required, skipped, or overridden
 - current \`git status\` and changed file list
-- relevant long-term docs only when needed to confirm that a docs-sync artifact exists and names the correct durable docs
+- the architecture plan's Docs Impact and the code-diff Gate's Documentation Fit result when durable docs could be affected
 
 ## Evidence Audit
 
@@ -29,7 +28,7 @@ Check whether the required role evidence exists, is current, and gives a clear r
 
 Acceptable evidence must show:
 
-- architect plan, architecture diagnosis, or docs-sync decision when required by the completed flow
+- architect plan or architecture diagnosis when required by the completed flow
 - tester terminal \`Test Result: pass|fail\` and validation evidence when code, behavior, tests, or generated context changed; \`incomplete\` is not acceptance evidence
 - required Gate Review decisions, skip reasons, or override reasons when Gate Reviews were enabled
 - known-issues disposition when unresolved findings were recorded
@@ -43,7 +42,7 @@ Review the changed file list only, then classify files:
 
 - expected files: directly named by the user request, route message, durable plan, architecture plan, or architecture diagnosis
 - supporting files: tests, fixtures, generated context, docs, or wiring needed for expected files
-- approved deviations: files explained by Replan, tester follow-up, docs-sync, or explicit user approval
+- approved deviations: files explained by Replan, a Debug or Diagnosis fix, tester follow-up, a post-validation docs correction, or explicit user approval
 - unexplained files: files with no traceable reason in the task evidence
 - high-risk unexpected files: auth, permissions, payment, billing, schema, migrations, data deletion, secrets, dependencies, lockfiles, broad generated artifacts, or broad formatting churn
 
@@ -61,9 +60,10 @@ Check:
 - tester report records terminal \`Test Result: pass|fail\`, validation commands, results, and skipped checks with reasons; do not accept \`Test Result: incomplete\`
 - required Gate Reviews are approved, or skipped/overridden through a VCM-recorded user action
 - Gate Review enable state is confirmed authoritatively: do not infer that no Gate Reviews were required from an absent or empty \`.ai/vcm/gate-reviews/index.json\`. When Gate Review is enabled, a missing index or a required gate without a recorded decision means the gate was skipped — run the matching command from the \`vcm-gate-review\` skill, including the code source for \`code-diff\`, and do not accept until each required gate returns \`approve\`/\`already_approved\`, \`disabled\`/\`not_required\`, or a VCM-recorded user skip/override
-- docs-sync report records docs updated, docs intentionally left unchanged, or required follow-up when docs sync was required
-- when durable docs changed, docs-sync or tester evidence records a passing \`.ai/tools/check-durable-docs\` result and any cross-document inconsistency was resolved by the owning role
-- known issues are either resolved, promoted to durable docs by architect, or explicitly accepted by the user
+- the code-diff Gate approval covers the current HEAD commit, so every doc correction and follow-up commit was reviewed; a commit made after the approval requires rerunning the code-diff Gate before acceptance
+- \`.ai/tools/check-durable-docs\` passes when durable docs changed
+- any cross-document inconsistency was resolved by the owning role
+- known issues are either resolved, promoted to durable docs by architect, or explicitly accepted by the user; when \`docs/known-issues.md\` still needs a promotion or removal, decide \`needs-architect-follow-up\`
 - temporary task state is ready to clean after durable facts are promoted
 
 ## Decisions
@@ -74,10 +74,9 @@ Choose exactly one:
 - accepted-with-known-risks
 - needs-coder-follow-up
 - needs-architect-follow-up
-- needs-docs-sync
 - blocked-by-user-decision
 
-Do not accept when required role evidence is missing, required Gate Review evidence is missing, tester findings are unresolved, docs sync is missing for durable changes, the durable-doc audit failed or is missing after durable-doc changes, known-issues disposition is missing, or unexplained high-risk files remain.
+Do not accept when required role evidence is missing, required Gate Review evidence is missing, tester findings are unresolved, the code-diff approval does not cover the current HEAD, the durable-doc audit failed or is missing after durable-doc changes, known-issues disposition is missing, or unexplained high-risk files remain.
 
 ## Output
 
@@ -94,7 +93,7 @@ Use this structure:
 
 ## Decision
 
-accepted|accepted-with-known-risks|needs-coder-follow-up|needs-architect-follow-up|needs-docs-sync|blocked-by-user-decision
+accepted|accepted-with-known-risks|needs-coder-follow-up|needs-architect-follow-up|blocked-by-user-decision
 
 ## Evidence Reviewed
 
@@ -112,7 +111,7 @@ accepted|accepted-with-known-risks|needs-coder-follow-up|needs-architect-follow-
 
 ## Validation Summary
 
-## Review And Docs Sync
+## Review And Documentation
 
 ## Known Issues Disposition
 
@@ -123,7 +122,7 @@ accepted|accepted-with-known-risks|needs-coder-follow-up|needs-architect-follow-
 ## Final User Summary
 \`\`\`
 
-Each rewrite must be a complete, self-contained snapshot of the current acceptance decision and supporting evidence. Restate every still-relevant evidence result, file classification, validation result, Gate decision, docs-sync result, known-issues disposition, cleanup result, risk, and next action; do not rely on a prior acceptance revision, route message, Session, or transcript.
+Each rewrite must be a complete, self-contained snapshot of the current acceptance decision and supporting evidence. Restate every still-relevant evidence result, file classification, validation result, Gate decision, documentation result, known-issues disposition, cleanup result, risk, and next action; do not rely on a prior acceptance revision, route message, Session, or transcript.
 
 The final user summary should be concise and include files changed, validation, docs updates, open risks, and next action.
 `;

package/dist/backend/templates/harness/vcm-long-running-validation-skill.js

@@ -9,11 +9,11 @@ The only sanctioned long-running mechanism is \`.ai/tools/run-long-check\` plus
 
 Each run-long-check or watch-job invocation must be the only top-level command in its Bash tool call. Do not pipe it, append or prepend another command, place it in a conditional chain or subshell, capture it with command substitution, or invoke it through a shell command string. Ordinary redirection is allowed. A directly passed script such as \`-- bash /tmp/check.sh\` is allowed; \`-- bash -c '...'\` is not.
 
-The hard ceiling is 60 minutes per job, enforced by the job worker itself. No approval can raise this ceiling; split larger operations into jobs that each fit within it.
+The hard ceiling is 100 minutes per job, enforced by the job worker itself. No approval can raise this ceiling; split larger operations into jobs that each fit within it.
 
 ## Protocol
 
-1. Start the command with an explicit ceiling: \`.ai/tools/run-long-check --timeout <duration> -- <command>\`. Pass the validation executable and its arguments directly. Do not use a shell command-string wrapper, pipeline its output, or append another command: run-long-check already captures stdout/stderr, and shell wrappers can hide the validation exit code. Pick the ceiling from \`docs/TESTING.md\` guidance or a realistic estimate, never above 60m. The tool prints the job id and creates job state under \`.ai/vcm/jobs/<job-id>/\`.
+1. Start the command with an explicit ceiling: \`.ai/tools/run-long-check --timeout <duration> -- <command>\`. Pass the validation executable and its arguments directly. Do not use a shell command-string wrapper, pipeline its output, or append another command: run-long-check already captures stdout/stderr, and shell wrappers can hide the validation exit code. Pick the ceiling from \`docs/TESTING.md\` guidance or a realistic estimate, never above 100m. The tool prints the job id and creates job state under \`.ai/vcm/jobs/<job-id>/\`.
 2. In the same turn, run \`.ai/tools/watch-job <job-id>\` as its own Bash tool call. The default watch window is 8 minutes.
 3. If watch-job exits 125, the job is still running and a bounded handoff is active for the next watcher: run \`.ai/tools/watch-job <job-id>\` again immediately. Do not end the turn between windows.
 4. Repeat until watch-job reports a terminal result.

package/dist/backend/templates/harness/vcm-workflow-review-skill.js

@@ -65,7 +65,7 @@ VCM binds that authorization to this exact task state, flow, target role, eviden
 
 ## User-Approved Post-Validation Work
 
-When Tester has returned \`pass\`, validation-adequacy and code-diff are both successful, and the user explicitly approves additional Tester-owned work in the current task, propose Tester again with:
+When Tester has returned \`pass\`, the validation-adequacy and code-diff Gates are successful, Final Acceptance has not routed a follow-up, and the user explicitly approves additional Tester-owned work in the current task, propose Tester again with:
 
 \`\`\`text
 Authorization Text: none
@@ -73,7 +73,7 @@ Violated Rule: none
 Approval Text: <user's exact approval>
 \`\`\`
 
-This is a normal one-time follow-up approval, not a Workflow Override. Do not use it before both Gates are successful, for required unresolved coverage, for another owner, or without the user's exact approval. After Tester completes the approved work, rerun Tester validation and every invalidated Gate.
+This is a normal one-time follow-up approval, not a Workflow Override. Do not use it before those Gates are successful, for required unresolved coverage, for another owner, or without the user's exact approval. After Tester completes the approved work, rerun Tester validation and every invalidated Gate.
 
 ## Completion
 

package/dist/shared/types/gate-review.js

@@ -5,6 +5,7 @@ export const GATE_REVIEW_GATES = [
 ];
 export const CODE_DIFF_FINDING_SCOPES = [
     "test-only",
+    "docs-only",
     "implementation"
 ];
 export const CODE_DIFF_SOURCES = [
@@ -12,3 +13,6 @@ export const CODE_DIFF_SOURCES = [
     "architect-debug",
     "architect-diagnosis"
 ];
+// Prefixes the code-diff error recorded when the Docs Impact coverage check
+// refuses to start the Gate; Workflow Control routes it to Architect.
+export const CODE_DIFF_DOCS_COVERAGE_ERROR_PREFIX = "Docs coverage check failed:";

package/dist/shared/types/workflow.js

@@ -12,7 +12,6 @@ export const WORKFLOW_EVIDENCE_ARTIFACTS = [
     "architect-debug.md",
     "architecture-diagnosis.md",
     "docs-update-report.md",
-    "docs-sync-report.md",
     "final-acceptance.md"
 ];
 export const WORKFLOW_EVIDENCE_GATES = [

package/dist/shared/validation/artifact-check.js

@@ -1,4 +1,4 @@
-import { ARCHITECT_DEBUG_DISPOSITIONS, ARCHITECT_DEBUG_STATUSES, ARCHITECTURE_BRIEF_STATUSES, ARCHITECTURE_DIAGNOSIS_DISPOSITIONS, ARCHITECTURE_EVIDENCE_STATUSES, ARCHITECTURE_PLAN_RESULTS, CODER_COMPLETION_DECISIONS, DOCS_REPORT_DECISIONS, DOCS_UPDATE_COMMIT_PATTERN, DOCS_UPDATE_COMMIT_RULE, DOCS_SYNC_CORRECTION_OWNERS, FINAL_ACCEPTANCE_DECISIONS, L3_ACTIONS, L3_REQUIRED_VALUES, PLANNING_PROGRESS_STATUSES, STRICT_NONE_VALUE, TEST_INFRASTRUCTURE_STATUSES, TEST_RESULTS } from "./artifact-contract.js";
+import { ARCHITECT_DEBUG_DISPOSITIONS, ARCHITECT_DEBUG_STATUSES, ARCHITECTURE_BRIEF_STATUSES, ARCHITECTURE_DIAGNOSIS_DISPOSITIONS, ARCHITECTURE_EVIDENCE_STATUSES, ARCHITECTURE_PLAN_RESULTS, CODER_COMPLETION_DECISIONS, DOCS_REPORT_DECISIONS, DOCS_UPDATE_COMMIT_PATTERN, DOCS_UPDATE_COMMIT_RULE, FINAL_ACCEPTANCE_DECISIONS, L3_ACTIONS, L3_REQUIRED_VALUES, PLANNING_PROGRESS_STATUSES, STRICT_NONE_VALUE, TEST_INFRASTRUCTURE_STATUSES, TEST_RESULTS } from "./artifact-contract.js";
 import { getArtifactDefinition } from "./artifact-registry.js";
 const PLACEHOLDER_PATTERN = /(^|\n)\s*(TBD|Not run yet\.?|status:\s*draft)\s*(\n|$)/i;
 export function checkMarkdownArtifact(kind, artifactPath, content, options = {}) {
@@ -260,32 +260,6 @@ function validateArtifactFields(kind, content, mode) {
         }
         return invalidFields;
     }
-    if (kind === "docs-sync-report") {
-        const invalidFields = validateDecision(content, DOCS_REPORT_DECISIONS);
-        const decision = readArtifactSectionContent(content, "Decision")?.trim().toLowerCase();
-        const owner = readArtifactSectionContent(content, "Correction Owner")?.trim().toLowerCase();
-        const evidence = readArtifactSectionContent(content, "Correction Evidence");
-        if (!isAllowedValue(owner, DOCS_SYNC_CORRECTION_OWNERS)) {
-            invalidFields.push(renderExactSectionError("Correction Owner", DOCS_SYNC_CORRECTION_OWNERS.join("|"), owner));
-        }
-        if (decision === "synced" || decision === "unchanged") {
-            if (owner !== "none") {
-                invalidFields.push(renderExactSectionError("Correction Owner", "none", owner, `when Decision is ${decision}`));
-            }
-            if (!isExactNone(evidence)) {
-                invalidFields.push(renderExactSectionError("Correction Evidence", STRICT_NONE_VALUE, evidence, `when Decision is ${decision}`));
-            }
-        }
-        if (decision === "blocked") {
-            if (!owner || owner === "none") {
-                invalidFields.push("Correction Owner must be architect, coder, or tester when Decision is blocked.");
-            }
-            if (!hasSubstantiveSectionValue(evidence)) {
-                invalidFields.push("Correction Evidence must identify the unresolved documentation correction when Decision is blocked.");
-            }
-        }
-        return invalidFields;
-    }
     if (kind === "final-acceptance") {
         return validateDecision(content, FINAL_ACCEPTANCE_DECISIONS);
     }

package/dist/shared/validation/artifact-contract.js

@@ -32,13 +32,11 @@ export const L3_ACTIONS = ["run-existing", "updated", "added"];
 export const DOCS_REPORT_DECISIONS = ["synced", "unchanged", "blocked"];
 export const DOCS_UPDATE_COMMIT_PATTERN = /^[0-9a-f]{7,40}$/;
 export const DOCS_UPDATE_COMMIT_RULE = "When Decision is synced, Commit must contain only one bare lowercase hexadecimal commit hash (7-40 characters, for example abc1234) on a single line. No backticks, bullets, links, subjects, or extra lines; put explanations in Evidence Reviewed. An unchanged result does not require a new commit.";
-export const DOCS_SYNC_CORRECTION_OWNERS = ["none", "architect", "coder", "tester"];
 export const FINAL_ACCEPTANCE_DECISIONS = [
     "accepted",
     "accepted-with-known-risks",
     "needs-coder-follow-up",
     "needs-architect-follow-up",
-    "needs-docs-sync",
     "blocked-by-user-decision"
 ];
 export function renderArtifactOptions(values) {

package/dist/shared/validation/artifact-registry.js

@@ -172,23 +172,6 @@ export const ARTIFACT_DEFINITIONS = [
             "Decision"
         ]
     },
-    {
-        kind: "docs-sync-report",
-        fileName: "docs-sync-report.md",
-        owner: "architect",
-        requiredHeadings: [
-            "Summary",
-            "Architecture Drift Check",
-            "Docs Updated",
-            "Docs Reviewed And Left Unchanged",
-            "Public Contract / Module Boundary Notes",
-            "Remaining Documentation Risks",
-            "Known Issues Disposition",
-            "Correction Owner",
-            "Correction Evidence",
-            "Decision"
-        ]
-    },
     {
         kind: "workflow-progress",
         fileName: "workflow-progress.md",
@@ -209,7 +192,7 @@ export const ARTIFACT_DEFINITIONS = [
             "Evidence Reviewed",
             "Scope Traceability",
             "Validation Summary",
-            "Review And Docs Sync",
+            "Review And Documentation",
             "Known Issues Disposition",
             "Gate Review Gates",
             "Cleanup Readiness",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "vibe-coding-master",
-  "version": "0.9.2",
+  "version": "0.9.4",
   "description": "Local GUI session cockpit for Claude Code role sessions.",
   "type": "module",
   "files": [

package/scripts/claude-plugins/vcm-lsp-bridge/vcm-lsp-proxy.mjs

@@ -265,5 +265,9 @@ if (separator >= 0 && process.argv[1] && realpathSync(process.argv[1]) === fileU
     process.stderr.write("usage: vcm-lsp-proxy.mjs -- <server-command> [args...]\n");
     process.exit(2);
   }
-  startProxy({ command, args, input: process.stdin, output: process.stdout, errorOutput: process.stderr });
+  const { server } = startProxy({ command, args, input: process.stdin, output: process.stdout, errorOutput: process.stderr });
+  // Exit with the server so Claude Code sees the crash and restarts it; an open
+  // stdin would otherwise keep the proxy alive with no server behind it.
+  server.on("exit", (code, signal) => process.exit(code ?? (signal ? 1 : 0)));
+  server.on("error", () => process.exit(1));
 }

package/scripts/harness-tools/check-docs-sync

@@ -0,0 +1,246 @@
+#!/usr/bin/env node
+"use strict";
+// Check that the architecture plan's Docs Impact covers every module the task
+// touched. Without .ai/generated/module-index.json the repository is one module
+// named "." whose owning doc is docs/ARCHITECTURE.md (or its docs/architecture/
+// area docs).
+//
+// Usage:
+//   .ai/tools/check-docs-sync [--base <commit>] [--json]
+//
+// The check compares the task's commits (base..HEAD, excluding [VCM Harness]
+// commits) with .ai/generated/module-index.json and the Docs Impact table of
+// .ai/vcm/handoffs/architecture-plan.md:
+//   - every module touched by a code change had its owning architecture doc
+//     changed in the task or has a Docs Impact row for that doc;
+//   - a Docs Impact row that records no change gives its reason;
+//   - every document Docs Impact records as changed was changed.
+// A task without a complete architecture plan (an Architect Debug Flow or an
+// Architecture Diagnosis Flow) is skipped.
+// The base defaults to the merge-base of HEAD with the base repository's HEAD.
+
+const childProcess = require("node:child_process");
+const fs = require("node:fs");
+const path = require("node:path");
+
+const HARNESS_COMMIT_PREFIX = "[VCM Harness] ";
+const PLAN_PATH = ".ai/vcm/handoffs/architecture-plan.md";
+const MODULE_INDEX_PATH = ".ai/generated/module-index.json";
+const PROJECT_DOC = "docs/ARCHITECTURE.md";
+const AREA_DOC_DIR = "docs/architecture/";
+const USAGE = "usage: check-docs-sync [-h] [--base BASE] [--json]";
+
+function usageError(message) {
+  process.stderr.write(USAGE + "\ncheck-docs-sync: error: " + message + "\n");
+  process.exit(2);
+}
+
+function parseArgs(argv) {
+  const args = { base: undefined, json: false };
+  for (let index = 0; index < argv.length; index += 1) {
+    const argument = argv[index];
+    if (argument === "-h" || argument === "--help") {
+      process.stdout.write(USAGE + "\n\nCheck that the architecture plan's Docs Impact covers every touched module.\n");
+      process.exit(0);
+    } else if (argument === "--json") {
+      args.json = true;
+    } else if (argument === "--base") {
+      if (index + 1 >= argv.length) {
+        usageError("argument " + argument + ": expected one argument");
+      }
+      index += 1;
+      args.base = argv[index];
+    } else {
+      usageError("unrecognized arguments: " + argument);
+    }
+  }
+  return args;
+}
+
+function git(root, args) {
+  const result = childProcess.spawnSync("git", args, { cwd: root, encoding: "utf8", maxBuffer: 256 * 1024 * 1024 });
+  return result.status === 0 ? result.stdout.trim() : "";
+}
+
+function repositoryRoot() {
+  return git(process.cwd(), ["rev-parse", "--show-toplevel"]) || process.cwd();
+}
+
+// The task branch forks from the base repository's checked-out branch, which
+// is the main worktree sharing this repository's git directory.
+function resolveBase(root, explicit) {
+  if (explicit) {
+    return git(root, ["rev-parse", "--verify", explicit + "^{commit}"]) || undefined;
+  }
+  const fromEnv = (process.env.VCM_BASE_COMMIT || "").trim();
+  if (fromEnv && git(root, ["rev-parse", "--verify", fromEnv + "^{commit}"])) {
+    return fromEnv;
+  }
+  const commonDir = git(root, ["rev-parse", "--path-format=absolute", "--git-common-dir"]);
+  const baseHead = commonDir ? git(root, ["--git-dir", commonDir, "rev-parse", "HEAD"]) : "";
+  const head = git(root, ["rev-parse", "HEAD"]);
+  if (baseHead && baseHead !== head) {
+    return git(root, ["merge-base", "HEAD", baseHead]) || undefined;
+  }
+  const upstream = git(root, ["rev-parse", "--abbrev-ref", "--symbolic-full-name", "@{upstream}"]);
+  return upstream ? git(root, ["merge-base", "HEAD", upstream]) || undefined : undefined;
+}
+
+function taskCommits(root, base) {
+  const lines = git(root, ["log", "--format=%H%x09%s", base + "..HEAD"]).split("\n").filter(Boolean);
+  return lines
+    .map((line) => {
+      const separator = line.indexOf("\t");
+      return { sha: line.slice(0, separator), subject: line.slice(separator + 1) };
+    })
+    .filter((commit) => !commit.subject.startsWith(HARNESS_COMMIT_PREFIX))
+    .map((commit) => ({
+      ...commit,
+      files: git(root, ["show", "--format=", "--name-only", "--no-renames", commit.sha]).split("\n").filter(Boolean)
+    }));
+}
+
+function isArchitectureDoc(file) {
+  return file === PROJECT_DOC || file.startsWith(AREA_DOC_DIR) || path.posix.basename(file) === "ARCHITECTURE.md";
+}
+
+// Files that describe or derive from code rather than change it.
+function isDocumentationFile(file) {
+  return isArchitectureDoc(file) || file.startsWith("docs/") || file.startsWith(".ai/") || /\.md$/i.test(file);
+}
+
+// The repository as one module, for projects without a module index (the
+// generator supports Cargo and npm workspaces only).
+const ROOT_MODULE = { name: ".", path: ".", doc: PROJECT_DOC };
+
+function loadModules(root) {
+  const target = path.join(root, MODULE_INDEX_PATH);
+  if (!fs.existsSync(target)) {
+    return [ROOT_MODULE];
+  }
+  const index = JSON.parse(fs.readFileSync(target, "utf8"));
+  return (index.layers || []).flatMap((layer) => layer.modules || []).map((module) => ({
+    name: module.name,
+    path: module.path || ".",
+    doc: module.path && module.path !== "." ? module.architectureDoc || module.path + "/ARCHITECTURE.md" : PROJECT_DOC
+  }));
+}
+
+function owningModule(modules, file) {
+  let best;
+  for (const module of modules) {
+    const prefix = module.path === "." ? "" : module.path + "/";
+    if ((prefix === "" || file.startsWith(prefix)) && (!best || prefix.length > best.prefix.length)) {
+      best = { module, prefix };
+    }
+  }
+  return best && best.module;
+}
+
+function sectionContent(content, heading) {
+  const match = new RegExp("^#{1,6}\\s+" + heading.replace(/[.*+?^${}()|[\]\\/]/g, "\\$&") + "\\s*$", "im").exec(content);
+  if (!match) {
+    return undefined;
+  }
+  const after = content.slice(match.index + match[0].length);
+  const next = /\n#{1,6}\s+\S/.exec(after);
+  return (next ? after.slice(0, next.index) : after).replace(/<!--[\s\S]*?-->/g, "").trim();
+}
+
+function tableRows(section) {
+  const lines = (section || "").split(/\r?\n/).map((line) => line.trim()).filter((line) => line.startsWith("|"));
+  return lines.slice(2).map((line) => line.replace(/^\|/, "").replace(/\|$/, "").split("|").map((cell) => cell.trim().replace(/^`|`$/g, "")));
+}
+
+function finding(code, subject, message) {
+  return { code, subject, message };
+}
+
+function planIsComplete(content) {
+  return /^Planning Result:\s*complete\s*$/im.test(content);
+}
+
+// A module's doc is the project doc or one of its area docs for the root module.
+function documentsModule(module, document) {
+  return module.doc === PROJECT_DOC
+    ? document === PROJECT_DOC || document.startsWith(AREA_DOC_DIR)
+    : document === module.doc;
+}
+
+function check(root, planContent, base) {
+  const findings = [];
+  const modules = loadModules(root);
+  const commits = taskCommits(root, base);
+  const changed = new Set(commits.flatMap((commit) => commit.files));
+
+  const touched = new Map();
+  for (const file of changed) {
+    if (isDocumentationFile(file)) {
+      continue;
+    }
+    const module = owningModule(modules, file);
+    if (module) {
+      touched.set(module.path, module);
+    }
+  }
+
+  const rows = tableRows(sectionContent(planContent, "Docs Impact")).map(([documentCell, change, reason]) => ({
+    document: (documentCell || "").split(/\s+/)[0],
+    change: change || "",
+    reason: reason || ""
+  }));
+  const docChanged = (module) => [...changed].some((file) => documentsModule(module, file));
+
+  for (const module of touched.values()) {
+    if (!docChanged(module) && !rows.some((row) => documentsModule(module, row.document))) {
+      findings.push(finding("DS_MODULE_NOT_COVERED", module.path,
+        "Module " + module.name + " (" + module.path + ") changed in the task, but neither its owning doc " + module.doc
+          + " changed nor does Docs Impact list it with the reason no owned fact changed."));
+    }
+  }
+
+  for (const row of rows) {
+    if (!/\.md$/i.test(row.document)) {
+      continue;
+    }
+    const unchanged = !row.change || /^(none|unchanged|no change)\b/i.test(row.change);
+    if (unchanged && !/\w/.test(row.reason.replace(/^(none|tbd)\.?$/i, ""))) {
+      findings.push(finding("DS_UNCHANGED_WITHOUT_REASON", row.document,
+        "Docs Impact records no change to " + row.document + " without the reason no owned fact changed."));
+    } else if (!unchanged && !changed.has(row.document)) {
+      findings.push(finding("DS_PLANNED_DOC_NOT_CHANGED", row.document,
+        "Docs Impact records a change to " + row.document + ", but the task did not change it."));
+    }
+  }
+  return findings;
+}
+
+function main() {
+  const args = parseArgs(process.argv.slice(2));
+  const root = repositoryRoot();
+  const planPath = path.join(root, PLAN_PATH);
+  const plan = fs.existsSync(planPath) ? fs.readFileSync(planPath, "utf8") : "";
+  if (!planIsComplete(plan)) {
+    const reason = "No complete " + PLAN_PATH + "; the task has no Docs Impact to check.";
+    process.stdout.write(args.json ? JSON.stringify({ skipped: reason, findings: [] }, null, 2) + "\n" : reason + "\n");
+    return 0;
+  }
+  const base = resolveBase(root, args.base);
+  if (!base) {
+    process.stderr.write("check-docs-sync: cannot determine the task base commit; pass --base <commit>.\n");
+    return 2;
+  }
+  const findings = check(root, plan, base);
+  if (args.json) {
+    process.stdout.write(JSON.stringify({ base, findings }, null, 2) + "\n");
+  } else if (findings.length === 0) {
+    process.stdout.write("Docs sync check passed.\n");
+  } else {
+    for (const item of findings) {
+      process.stdout.write(item.code + " " + item.subject + ": " + item.message + "\n");
+    }
+  }
+  return findings.length === 0 ? 0 : 1;
+}
+
+process.exitCode = main();

package/scripts/harness-tools/check-durable-docs

@@ -303,6 +303,29 @@ function checkGeneratedArchitectureFacts(root, findings) {
   });
 }
 
+// Area docs under docs/architecture/ split the project doc's detailed design,
+// so docs/ARCHITECTURE.md must link each one.
+function checkAreaDocLinks(root, findings) {
+  const areaDir = path.join(root, "docs/architecture");
+  let entries;
+  try {
+    entries = fs.readdirSync(areaDir, { withFileTypes: true });
+  } catch {
+    return;
+  }
+  const projectDoc = path.join(root, "docs/ARCHITECTURE.md");
+  const projectText = isFile(projectDoc) ? fs.readFileSync(projectDoc, "utf8") : "";
+  for (const entry of entries.sort((left, right) => (left.name < right.name ? -1 : 1))) {
+    if (!entry.isFile() || !entry.name.endsWith(".md")) {
+      continue;
+    }
+    if (!projectText.includes("architecture/" + entry.name)) {
+      findings.push(finding("DD_AREA_DOC_UNLINKED", "docs/architecture/" + entry.name, 1,
+        "Area architecture doc is not linked from docs/ARCHITECTURE.md."));
+    }
+  }
+}
+
 function main(argv) {
   const args = parseArgs(argv);
   const root = repositoryRoot();
@@ -312,6 +335,7 @@ function main(argv) {
   checkArchitectureHistory(root, findings);
   checkTestingHistory(root, findings);
   checkGeneratedArchitectureFacts(root, findings);
+  checkAreaDocLinks(root, findings);
   findings.sort((left, right) =>
     left.path < right.path ? -1 : left.path > right.path ? 1
       : left.line !== right.line ? left.line - right.line

package/scripts/harness-tools/run-long-check

@@ -9,7 +9,7 @@
 // wrappers are rejected because they can hide the validation command's exit code.
 //
 // The command runs in a detached worker process group. The worker itself
-// enforces the job ceiling (--timeout, max 60m) and a supervision lease: when
+// enforces the job ceiling (--timeout, max 100m) and a supervision lease: when
 // no foreground watcher renews .ai/vcm/jobs/<job-id>/lease, the worker kills
 // the command process group and records the job as orphaned. Watch the job
 // with .ai/tools/watch-job in the same turn.
@@ -22,7 +22,7 @@ const fs = require("node:fs");
 const os = require("node:os");
 const path = require("node:path");
 
-const MAX_TIMEOUT_SECONDS = 60 * 60;
+const MAX_TIMEOUT_SECONDS = 100 * 60;
 const DEFAULT_TIMEOUT_SECONDS = MAX_TIMEOUT_SECONDS;
 const QUEUED_STALE_SECONDS = 60;
 const ACTIVE_STATUSES = new Set(["queued", "starting", "running"]);
@@ -584,7 +584,7 @@ async function main(argv) {
     return 2;
   }
   if (timeoutSeconds > MAX_TIMEOUT_SECONDS) {
-    process.stderr.write("error: timeout exceeds maximum 60m; split the work or get user approval\n");
+    process.stderr.write("error: timeout exceeds maximum 100m; split the work or get user approval\n");
     return 2;
   }
 

package/scripts/verify-package.mjs

@@ -9,6 +9,7 @@ const requiredFiles = [
   "scripts/claude-plugins/vcm-lsp-bridge/.claude-plugin/plugin.json",
   "scripts/claude-plugins/vcm-lsp-bridge/vcm-lsp-proxy.mjs",
   "scripts/harness-tools/check-durable-docs",
+  "scripts/harness-tools/check-docs-sync",
   "scripts/harness-tools/generate-module-index",
   "scripts/harness-tools/generate-public-surface",
   "scripts/harness-tools/run-long-check",