dev-loops 0.6.0 → 0.7.2

package/extension/pi-extension-adapter.ts

@@ -26,6 +26,7 @@ import type {
 
 export function toHarnessContext(ctx: Partial<ExtensionContext> | undefined): HarnessContext {
   const ui = ctx?.ui;
+  const sender = (ctx as { sendUserMessage?: (message: string, options?: Record<string, unknown>) => unknown } | undefined)?.sendUserMessage;
   return {
     cwd: (ctx?.cwd as string) ?? process.cwd(),
     hasUI: Boolean(ctx?.hasUI),
@@ -34,6 +35,7 @@ export function toHarnessContext(ctx: Partial<ExtensionContext> | undefined): Ha
       setWidget: (key, lines, options) => ui?.setWidget?.(key, lines as never, options as never),
       setStatus: (key, text) => ui?.setStatus?.(key, text as never),
     },
+    sendUserMessage: sender ? (message, options) => sender.call(ctx, message, options) : undefined,
   };
 }
 

package/extension/presentation.ts

@@ -19,7 +19,7 @@ function checkMap(checks: DevLoopCheck[]): Map<DevLoopCheckId, DevLoopCheck> {
   return new Map(checks.map((check) => [check.id, check]));
 }
 
-export function orderedSetupSteps(checks: DevLoopCheck[]): string[] {
+function orderedSetupSteps(checks: DevLoopCheck[]): string[] {
   const byId = checkMap(checks);
   const uniqueSteps = [...new Set(DEV_LOOP_CHECK_IDS.filter((id) => byId.get(id)?.ok === false).map((id) => SETUP_GUIDANCE[id]))];
   const steps = uniqueSteps.map((step, index) => `${index + 1}. ${step}`);
@@ -47,24 +47,12 @@ export function buildEntrypointLines(action: string, intent: string): string[] {
 export function buildHelpLines(): string[] {
   return [
     'dev-loops help',
-    'Workflow entry:',
-    '- /skill:dev-loop — single public entrypoint; routing handles the rest',
-    'Direct entrypoints:',
-    '- /dev-loops start <issue>',
-    '- /dev-loops auto <issue>',
-    '- /dev-loops continue [issue|pr]',
-    '- /dev-loops start-spike <question>',
-    '- /dev-loops info <issue|pr>',
-    'Commands:',
-    '- /dev-loops status',
-    '- /dev-loops doctor',
-    '- /dev-loops hide',
-    '- /dev-loops inspect open [--repo <owner/name>]',
-    '- /dev-loops inspect resume [--repo <owner/name>]',
-    '- /dev-loops inspect status [--repo <owner/name>]',
-    '- /dev-loops inspect stop [--repo <owner/name>]',
-    '- /dev-loops inspect restart [--repo <owner/name>]',
-    'Use `pi install git:github.com/mfittko/dev-loops` to install skills and agents; packaged agents sync into `~/.agents/` on session start.',
+    '/skill:dev-loop <intent> starts the public loop',
+    '/dev-loops start <issue> | /dev-loops auto <issue>',
+    '/dev-loops continue [issue|pr] | /dev-loops info <issue|pr>',
+    '/dev-loops start-spike <question>',
+    '/dev-loops inspect open|resume|status|stop|restart',
+    '/dev-loops status | /dev-loops doctor | /dev-loops hide',
   ];
 }
 

package/package.json

@@ -22,19 +22,20 @@
   ],
   "scripts": {
     "verify": "npm test && npm run test:dev-loop",
-    "test": "npm run test:assets && npm run test:extension && npm run test:scripts && npm run test:core && npm run test:docs",
+    "test": "npm run test:assets && npm run test:extension && npm run test:scripts && npm run test:core && npm run test:docs && npm run test:pack",
     "test:assets": "node --test --test-reporter ./test/failure-summary-reporter.mjs test/dev-loop-init-phase-smoke.test.mjs test/contracts/*.test.mjs test/workflow-handoff-contract.test.mjs",
-    "test:extension": "node --import tsx --test --test-reporter ./test/failure-summary-reporter.mjs test/extension-checks.test.mjs test/extension-post-merge-update.test.mjs test/extension-command-contract.test.mjs test/extension-package-contract.test.mjs test/extension-pi-adapter.test.mjs test/extension-claude-adapter.test.mjs test/dev-loops-core.test.mjs test/dev-loops-cli.test.mjs",
-    "test:scripts": "node --test --test-reporter ./test/failure-summary-reporter.mjs test/github/*.test.mjs test/loop/*.test.mjs test/docs/*.test.mjs test/projects/*.test.mjs test/pages/*.test.mjs",
+    "test:extension": "node --import tsx --test --test-reporter ./test/failure-summary-reporter.mjs test/extension-checks.test.mjs test/extension-post-merge-update.test.mjs test/extension-command-contract.test.mjs test/extension-package-contract.test.mjs test/extension-pi-adapter.test.mjs test/dev-loops-core.test.mjs test/dev-loops-cli.test.mjs",
+    "test:scripts": "GIT_CONFIG_COUNT=2 GIT_CONFIG_KEY_0=core.fsync GIT_CONFIG_VALUE_0=none GIT_CONFIG_KEY_1=core.fsyncObjectFiles GIT_CONFIG_VALUE_1=false node --test --test-reporter ./test/failure-summary-reporter.mjs test/github/*.test.mjs test/loop/*.test.mjs test/docs/*.test.mjs test/projects/*.test.mjs test/pages/*.test.mjs",
     "test:core": "node --test --test-reporter ./test/failure-summary-reporter.mjs packages/core/test/*.test.mjs",
     "test:dev-loop": "node --test --test-reporter ./test/failure-summary-reporter.mjs skills/dev-loop/scripts/dev-mode-context.test.mjs skills/dev-loop/scripts/render-template.test.mjs skills/dev-loop/scripts/post-gate-verdict-fallback.test.mjs",
-    "test:playwright:viewer": "playwright test -c playwright.inspect-run-viewer.config.mjs",
-    "test:playwright:deep-dive": "playwright test -c playwright.dev-loops-deep-dive.config.mjs",
-    "test:playwright:intro-deck": "playwright test -c playwright.intro-deck.config.mjs",
-    "test:playwright:intro-article": "playwright test -c playwright.intro-article.config.mjs",
-    "test:playwright:deep-dive-article": "playwright test -c playwright.deep-dive-article.config.mjs",
+    "test:playwright:viewer": "PW_UI_SLICE=inspect-run-viewer playwright test --project=inspect-run-viewer",
+    "test:playwright:deep-dive": "PW_UI_SLICE=deep-dive-deck playwright test --project=deep-dive-deck",
+    "test:playwright:intro-deck": "PW_UI_SLICE=intro-deck playwright test --project=intro-deck",
+    "test:playwright:intro-article": "PW_UI_SLICE=intro-article playwright test --project=intro-article",
+    "test:playwright:deep-dive-article": "PW_UI_SLICE=deep-dive-article playwright test --project=deep-dive-article",
     "smoke:headless": "node scripts/claude/headless-info-smoke.mjs",
-    "test:docs": "node scripts/docs/validate-links.mjs && node scripts/docs/validate-no-duplicate-rules.mjs",
+    "test:docs": "node scripts/docs/validate-links.mjs && node scripts/docs/validate-rule-ownership.mjs",
+    "test:pack": "node --test --test-reporter ./test/failure-summary-reporter.mjs test/packaged-install-smoke.test.mjs",
     "repo-wiki": "node scripts/repo-wiki.mjs",
     "repo-wiki:bootstrap": "node scripts/repo-wiki.mjs scan --repo . && node scripts/repo-wiki.mjs plan --repo . && node scripts/repo-wiki.mjs compile --repo .",
     "repo-wiki:scan": "node scripts/repo-wiki.mjs scan --repo .",
@@ -71,8 +72,7 @@
     ]
   },
   "dependencies": {
-    "mermaid": "11.15.0",
-    "@dev-loops/core": "^0.6.0"
+    "@dev-loops/core": "^0.7.2"
   },
   "repository": {
     "type": "git",
@@ -82,7 +82,7 @@
     "url": "https://github.com/mfittko/dev-loops/issues"
   },
   "homepage": "https://github.com/mfittko/dev-loops#readme",
-  "version": "0.6.0",
+  "version": "0.7.2",
   "files": [
     "cli/",
     "lib/",

package/scripts/_core-helpers.mjs

@@ -14,12 +14,14 @@ export {
 } from "@dev-loops/core/loop/phase-files";
 
 export {
+  containsBareCopilotSummon,
   extractReviewCommitSha,
   isCopilotLogin,
   normalizeTimestamp,
   parseGateReviewCommentBody,
   parseGateReviewCommentMarkerBody,
   resolveDraftGateRoundResetMs,
+  sanitizeCopilotSummonTokens,
   summarizeCopilotReviews,
   summarizeGateReviewCommentMarkers,
   summarizeGateReviewComments,

package/scripts/claude/headless-dev-loop.mjs

@@ -101,7 +101,7 @@ function main(argv) {
   const repoRoot = path.resolve(fileURLToPath(new URL("../../", import.meta.url)));
 
   // --dry-run is side-effect-free: mint a run id in-memory without persisting the state file.
-  const { runId } = ensureRunId({ env: process.env, root: opts.dryRun ? undefined : repoRoot });
+  const { runId } = ensureRunId({ env: opts.dryRun ? {} : process.env, root: opts.dryRun ? undefined : repoRoot });
   const prompt = opts.prompt ?? buildDevLoopPrompt({ issue: opts.issue, pr: opts.pr });
   const { command, args, env } = buildHeadlessClaudeInvocation({
     prompt,

package/scripts/docs/validate-rule-ownership.mjs

@@ -0,0 +1,442 @@
+#!/usr/bin/env node
+/**
+ * validate-rule-ownership.mjs — L0/L1 contract rule ownership validator.
+ *
+ * This scan is deliberately lexical. It catches stable rule-ID ownership,
+ * required-rule deletion, machine-checkable references, defined-term drift,
+ * RFC-2119 modality conflicts, near-duplicate rule bodies, and duplicated
+ * free-text imperative sentences across the corpus. All findings are gating
+ * (exit 1). Behavioral contradictions belong to the L2/L3 harness; semantic
+ * contradictions belong to the gate contradiction lens.
+ *
+ * Also gates corpus→manifest completeness: every defined rule must be listed
+ * in required-rules.json's requiredRules or its optOutRules (unregistered_rule),
+ * the optOutRules manifest itself must be internally consistent (no ID in both
+ * lists — conflicting_manifest_entry; no opt-out for an undefined rule —
+ * dead_opt_out_entry), and the duplicate-sentence allowlist must not contain
+ * stale entries (dead_allowlist_entry).
+ *
+ * Subsumes former scripts/docs/validate-no-duplicate-rules.mjs (retired):
+ * the duplicate-imperative-sentence scan below ports its unique check,
+ * widened from skills/ only to every SOURCE_ROOTS directory.
+ */
+
+import { readFile, readdir } from "node:fs/promises";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+
+import { isDirectCliRun, parseJsonText } from "../_core-helpers.mjs";
+
+const __dirname = path.dirname(fileURLToPath(import.meta.url));
+const REPO_ROOT = path.resolve(__dirname, "..", "..");
+
+const SOURCE_ROOTS = ["skills", "agents", "commands", "docs"];
+const MARKER_RE = /<!--\s*rule:\s*([A-Z][A-Z0-9-]*)\s*-->/g;
+const REF_RE = /<!--\s*rule-ref:\s*([A-Z][A-Z0-9-]*)\s*-->|\[([A-Z0-9]+(?:-[A-Z0-9]+){2,})\]\([^)]*\)/g;
+const TERM_RE = /<!--\s*term:\s*(state|reason|gate):([a-zA-Z0-9_.:-]+)\s*-->/g;
+const CODE_TOKEN_RE = /`([a-z][a-z0-9_:-]+)`/g;
+const MODAL_RE = /\b(MUST NOT|SHALL NOT|SHOULD NOT|MAY NOT|MUST|SHALL|SHOULD|MAY)\b/g;
+
+// Duplicate-imperative-sentence scan (ported from validate-no-duplicate-rules.mjs).
+const IMPERATIVE_PATTERNS = [/\bmust\b/i, /\bnever\b/i, /\bdo not\b/i, /\brequire[sd]?\b/i];
+const MIN_SENTENCE_LENGTH = 20;
+
+// Contract docs that mirror each other's content by design.
+const CANONICAL_MIRROR_DOCS = new Set(["skills/docs/copilot-loop-operations.md", "skills/docs/public-dev-loop-contract.md"]);
+
+// Sentences deliberately duplicated across files (mirrored procedure text, or
+// command trigger-phrasing that STYLE/(c) guardrails require to stay verbatim
+// per file). Cross-file duplication of these is not a corpus authoring bug.
+const KNOWN_INTENTIONAL_DUPLICATE_SENTENCES = new Set([
+  // agents/dev-loop.agent.md mirrors this CLI-fallback safety line from skills/dev-loop/SKILL.md;
+  // each doc's surrounding candidate-resolution list differs per install layout.
+  "NEVER fall back to or any unbounded filesystem walk to locate the CLI — it stalls and trips the needs-attention timeout.",
+  // commands/loop-auto.command.md and commands/loop-start.command.md — command trigger
+  // phrasing is load-bearing verbatim per-command guardrail (c); not a restatement bug.
+  "Do not pick an internal strategy name yourself.",
+  // docs/slides-story-review-loop.md and docs/ui-designer-review-loop.md are sibling
+  // non-normative review-loop docs (epic non-goal) that share boilerplate by design.
+  "The loop requires all of the following inputs before it may run:",
+  "If any required part of this bundle is missing, incomplete, or ambiguous, the loop fails closed instead of guessing.",
+  "- required acceptance criteria are missing",
+]);
+
+const USAGE = `Usage: validate-rule-ownership.mjs [--help]
+
+Validate rule markers, required IDs, rule references, term definitions,
+near-duplicate/modality-conflict findings, and duplicated imperative
+sentences. Also validates corpus→manifest completeness (every defined rule
+must be in requiredRules or explicitly opted out via optOutRules in
+required-rules.json), optOutRules manifest hygiene (no rule listed as both
+required and opted-out; no opt-out for an undefined rule), and that the
+duplicate-sentence allowlist has no stale (dead) entries. All findings are
+gating (exit 1).
+
+Options:
+  --help, -h   Show this help`.trim();
+
+export function isImperativeSentence(sentence) {
+  return IMPERATIVE_PATTERNS.some((pattern) => pattern.test(sentence));
+}
+
+export function normalizeSentence(text) {
+  return text.replace(/\s+/g, " ").trim();
+}
+
+export function extractImperativeSentences(content) {
+  const lines = content.split(/\r?\n/);
+  const sentences = [];
+  let inFencedBlock = false;
+  let fencedDelimiter = "";
+
+  for (let i = 0; i < lines.length; i++) {
+    let line = lines[i];
+    const rawTrimmed = line.trim();
+
+    if (/^\s*#/.test(line) || /^\s*>/.test(line)) continue;
+
+    const fenceMatch = rawTrimmed.match(/^(```|~~~)/);
+    if (fenceMatch) {
+      if (!inFencedBlock) {
+        inFencedBlock = true;
+        fencedDelimiter = fenceMatch[1];
+        continue;
+      } else if (rawTrimmed.startsWith(fencedDelimiter)) {
+        inFencedBlock = false;
+        fencedDelimiter = "";
+        continue;
+      }
+    }
+    if (inFencedBlock) continue;
+
+    line = line.replace(/`[^`]*`/g, "").replace(/\[([^\]]*)\]\([^)]*\)/g, "$1");
+
+    const parts = line.split(/(?<=[.!?])\s+(?=[A-Z])/);
+    for (const part of parts) {
+      const normalized = normalizeSentence(part);
+      if (normalized.length >= MIN_SENTENCE_LENGTH && isImperativeSentence(normalized)) {
+        sentences.push({ text: normalized, line: i + 1 });
+      }
+    }
+  }
+  return sentences;
+}
+
+export function detectDuplicateImperativeSentences(fileContents) {
+  const bySentence = new Map();
+  for (const { file, content } of fileContents) {
+    for (const { text, line } of extractImperativeSentences(content)) {
+      if (!bySentence.has(text)) bySentence.set(text, []);
+      bySentence.get(text).push({ file, line });
+    }
+  }
+  const findings = [];
+  for (const [text, occurrences] of bySentence) {
+    if (KNOWN_INTENTIONAL_DUPLICATE_SENTENCES.has(text)) continue;
+    const files = new Set(occurrences.map((o) => o.file));
+    if (files.size <= 1) continue;
+    if ([...files].every((f) => CANONICAL_MIRROR_DOCS.has(f))) continue;
+    findings.push({ kind: "duplicate_imperative_sentence", text, occurrences });
+  }
+  return findings;
+}
+
+function toPosix(p) {
+  return p.replace(/\\/g, "/");
+}
+
+async function* walk(dir) {
+  let entries;
+  try {
+    entries = await readdir(dir, { withFileTypes: true });
+  } catch (err) {
+    if (err?.code === "ENOENT") return;
+    throw err;
+  }
+  for (const entry of entries) {
+    if (entry.name === "node_modules" || entry.name === "tmp" || entry.name === "site" || entry.name === ".claude") {
+      continue;
+    }
+    const full = path.join(dir, entry.name);
+    if (entry.isSymbolicLink()) continue;
+    if (entry.isDirectory()) yield* walk(full);
+    else if (entry.isFile() && entry.name.endsWith(".md")) yield full;
+  }
+}
+
+export async function collectContractMarkdownFiles(repoRoot = REPO_ROOT) {
+  const files = [];
+  for (const root of SOURCE_ROOTS) {
+    for await (const file of walk(path.join(repoRoot, root))) {
+      files.push(file);
+    }
+  }
+  return files.sort();
+}
+
+function lineFor(content, index) {
+  return content.slice(0, index).split(/\r?\n/).length;
+}
+
+function stripFences(content) {
+  const lines = content.split(/\r?\n/);
+  let inFence = false;
+  let fence = "";
+  return lines.map((line) => {
+    const m = line.trim().match(/^(```|~~~)/);
+    if (m) {
+      if (!inFence) {
+        inFence = true;
+        fence = m[1];
+      } else if (line.trim().startsWith(fence)) {
+        inFence = false;
+        fence = "";
+      }
+      return "";
+    }
+    return inFence ? "" : line;
+  }).join("\n");
+}
+
+function extractRuleBody(content, markerIndex) {
+  const after = content.slice(markerIndex).replace(MARKER_RE, "").trimStart();
+  const firstLine = after.split(/\r?\n/, 1)[0].trim();
+  return firstLine.replace(/^`[A-Z][A-Z0-9-]*`\s*\|\s*/, "").replace(/\s+/g, " ").trim();
+}
+
+export function extractRuleDefinitions(content, file) {
+  const defs = [];
+  const scan = stripFences(content);
+  for (const match of scan.matchAll(MARKER_RE)) {
+    defs.push({ id: match[1], file, line: lineFor(scan, match.index), body: extractRuleBody(scan, match.index) });
+  }
+  return defs;
+}
+
+export function extractRuleReferences(content, file) {
+  const refs = [];
+  const scan = stripFences(content);
+  for (const match of scan.matchAll(REF_RE)) {
+    const id = match[1] || match[2];
+    refs.push({ id, file, line: lineFor(scan, match.index) });
+  }
+  return refs;
+}
+
+export function extractTermDefinitions(content, file) {
+  const terms = [];
+  const scan = stripFences(content);
+  for (const match of scan.matchAll(TERM_RE)) {
+    terms.push({ kind: match[1], value: match[2], key: `${match[1]}:${match[2]}`, file, line: lineFor(scan, match.index) });
+  }
+  return terms;
+}
+
+export function extractTermUses(content, file) {
+  const terms = extractTermDefinitions(content, file);
+  if (terms.length === 0 && !/<!--\s*rule:\s*[A-Z][A-Z0-9-]*\s*-->/u.test(stripFences(content))) return [];
+  const defs = new Set(terms.map((t) => t.value));
+  const uses = [];
+  const scan = stripFences(content);
+  for (const match of scan.matchAll(CODE_TOKEN_RE)) {
+    const token = match[1];
+    if (defs.has(token) || /^(npm|node|gh|dev-loop|dev-loops|final_approval|wait_watch|issue_intake|copilot_pr_followup|autonomy|humanMergeOnly)$/.test(token)) {
+      continue;
+    }
+    if (/^(blocked|done|approval_ready|merge_ready|waiting|waiting_for_[a-z0-9_]+|needs_reconcile|[a-z]+_[a-z0-9_]*_gate)$/.test(token)) {
+      uses.push({ token, file, line: lineFor(scan, match.index) });
+    }
+  }
+  return uses;
+}
+
+export function detectNearDuplicates(definitions) {
+  const seen = new Map();
+  const findings = [];
+  for (const def of definitions) {
+    const normalized = def.body.toLowerCase().replace(/`[^`]+`/g, "").replace(/\b(must|shall|should|may|not)\b/g, "").replace(/[^a-z0-9]+/g, " ").trim();
+    if (!normalized || normalized.length < 24) continue;
+    const prior = seen.get(normalized);
+    if (prior && prior.id !== def.id) findings.push({ kind: "near_duplicate", a: prior, b: def });
+    else seen.set(normalized, def);
+  }
+  return findings;
+}
+
+export function detectModalityConflicts(definitions) {
+  // Order-insensitive: group every definition per normalized subject first,
+  // then compare all pairs, so file-walk order can never mask a conflict
+  // (this scan gates the build).
+  const bySubject = new Map();
+  for (const def of definitions) {
+    const modalities = [...def.body.matchAll(MODAL_RE)].map((m) => m[1]);
+    if (modalities.length === 0) continue;
+    const subject = def.body
+      .replace(MODAL_RE, "")
+      .replace(/`[^`]+`/g, "")
+      .replace(/[^a-zA-Z0-9]+/g, " ")
+      .toLowerCase()
+      .trim();
+    if (!subject) continue;
+    if (!bySubject.has(subject)) bySubject.set(subject, []);
+    bySubject.get(subject).push({ def, modalities });
+  }
+  const findings = [];
+  for (const entries of bySubject.values()) {
+    for (let i = 0; i < entries.length; i += 1) {
+      for (let j = i + 1; j < entries.length; j += 1) {
+        const a = entries[i];
+        const b = entries[j];
+        const aNegative = a.modalities.some((m) => m.endsWith("NOT"));
+        const bNegative = b.modalities.some((m) => m.endsWith("NOT"));
+        // MUST and SHALL are equivalent strong forms (RFC 2119); either
+        // downgrading to SHOULD/MAY (or the negative equivalents) flags.
+        const strongPositive = (mods) => mods.some((m) => m === "MUST" || m === "SHALL");
+        const strongNegative = (mods) => mods.some((m) => m === "MUST NOT" || m === "SHALL NOT");
+        const weakPositive = (mods) => mods.some((m) => m === "SHOULD" || m === "MAY");
+        const weakNegative = (mods) => mods.some((m) => m === "SHOULD NOT" || m === "MAY NOT");
+        const weaker = (strongPositive(a.modalities) && weakPositive(b.modalities))
+          || (strongPositive(b.modalities) && weakPositive(a.modalities))
+          || (strongNegative(a.modalities) && weakNegative(b.modalities))
+          || (strongNegative(b.modalities) && weakNegative(a.modalities));
+        if (aNegative !== bNegative || weaker) findings.push({ kind: "modality_conflict", a: a.def, b: b.def });
+      }
+    }
+  }
+  return findings;
+}
+
+async function readRequiredRules(repoRoot) {
+  const rulesPath = path.join(repoRoot, "skills", "docs", "required-rules.json");
+  const text = await readFile(rulesPath, "utf8");
+  let parsed;
+  try {
+    parsed = parseJsonText(text);
+  } catch (error) {
+    throw new Error(`Malformed JSON in ${rulesPath}`, { cause: error });
+  }
+  return {
+    requiredRules: Array.isArray(parsed.requiredRules) ? parsed.requiredRules : [],
+    // Explicit opt-out for a defined rule that is intentionally NOT deletion-protected. Empty by default.
+    optOutRules: Array.isArray(parsed.optOutRules) ? parsed.optOutRules : [],
+  };
+}
+
+// A KNOWN_INTENTIONAL_DUPLICATE_SENTENCES entry is "dead" when it no longer suppresses a real
+// cross-file duplicate: the sentence would not be flagged even without the allowlist (absent,
+// single-file, or only across canonical-mirror docs). A dead entry silently pre-authorizes
+// reintroducing that exact duplicate, so it gates.
+export function detectDeadAllowlistEntries(fileContents, allowlist = KNOWN_INTENTIONAL_DUPLICATE_SENTENCES) {
+  const filesBySentence = new Map();
+  for (const { file, content } of fileContents) {
+    for (const { text } of extractImperativeSentences(content)) {
+      if (!filesBySentence.has(text)) filesBySentence.set(text, new Set());
+      filesBySentence.get(text).add(file);
+    }
+  }
+  const dead = [];
+  for (const text of allowlist) {
+    const files = filesBySentence.get(text);
+    const wouldFlag = files && files.size > 1 && ![...files].every((f) => CANONICAL_MIRROR_DOCS.has(f));
+    if (!wouldFlag) dead.push(text);
+  }
+  return dead;
+}
+
+export async function validateRuleOwnership(repoRoot = REPO_ROOT) {
+  const files = await collectContractMarkdownFiles(repoRoot);
+  const definitions = [];
+  const references = [];
+  const termDefs = [];
+  const termUses = [];
+  const fileContents = [];
+
+  for (const filePath of files) {
+    const rel = toPosix(path.relative(repoRoot, filePath));
+    const content = await readFile(filePath, "utf8");
+    fileContents.push({ file: rel, content });
+    definitions.push(...extractRuleDefinitions(content, rel));
+    references.push(...extractRuleReferences(content, rel));
+    termDefs.push(...extractTermDefinitions(content, rel));
+    termUses.push(...extractTermUses(content, rel));
+  }
+
+  const errors = [];
+  const byId = new Map();
+  for (const def of definitions) {
+    if (!byId.has(def.id)) byId.set(def.id, []);
+    byId.get(def.id).push(def);
+  }
+  for (const [id, defs] of byId) {
+    if (defs.length !== 1) errors.push({ kind: "duplicate_rule_definition", id, locations: defs.map(({ file, line }) => `${file}:${line}`) });
+  }
+
+  const { requiredRules, optOutRules } = await readRequiredRules(repoRoot);
+  const requiredSet = new Set(requiredRules);
+  const optOutSet = new Set(optOutRules);
+  for (const id of requiredRules) {
+    if (!byId.has(id)) errors.push({ kind: "required_rule_missing", id });
+  }
+  // corpus→manifest completeness: every defined rule must be registered in the manifest or explicitly opted out.
+  for (const [id, defs] of byId) {
+    if (!requiredSet.has(id) && !optOutSet.has(id)) {
+      errors.push({ kind: "unregistered_rule", id, location: defs.map(({ file, line }) => `${file}:${line}`).join(", ") });
+    }
+  }
+  // optOutRules manifest hygiene, in file order for deterministic error ordering.
+  for (const id of optOutRules) {
+    if (requiredSet.has(id)) errors.push({ kind: "conflicting_manifest_entry", id });
+    if (!byId.has(id)) errors.push({ kind: "dead_opt_out_entry", id });
+  }
+
+  for (const ref of references) {
+    if (!byId.has(ref.id)) errors.push({ kind: "unresolved_rule_reference", id: ref.id, location: `${ref.file}:${ref.line}` });
+  }
+
+  const termsByKey = new Map();
+  for (const term of termDefs) {
+    if (!termsByKey.has(term.key)) termsByKey.set(term.key, []);
+    termsByKey.get(term.key).push(term);
+  }
+  for (const [key, defs] of termsByKey) {
+    if (defs.length !== 1) errors.push({ kind: "duplicate_term_definition", key, locations: defs.map(({ file, line }) => `${file}:${line}`) });
+  }
+  const termValues = new Set(termDefs.map((t) => t.value));
+  for (const use of termUses) {
+    if (!termValues.has(use.token)) errors.push({ kind: "undefined_term_use", token: use.token, location: `${use.file}:${use.line}` });
+  }
+
+  for (const finding of detectNearDuplicates(definitions)) {
+    errors.push({ kind: finding.kind, id: `${finding.a.id}~${finding.b.id}`, location: `${finding.a.file}:${finding.a.line} / ${finding.b.file}:${finding.b.line}` });
+  }
+  for (const finding of detectModalityConflicts(definitions)) {
+    errors.push({ kind: finding.kind, id: `${finding.a.id}~${finding.b.id}`, location: `${finding.a.file}:${finding.a.line} / ${finding.b.file}:${finding.b.line}` });
+  }
+  for (const finding of detectDuplicateImperativeSentences(fileContents)) {
+    errors.push({ kind: finding.kind, id: finding.text, location: finding.occurrences.map((o) => `${o.file}:${o.line}`).join(", ") });
+  }
+  for (const text of detectDeadAllowlistEntries(fileContents)) {
+    errors.push({ kind: "dead_allowlist_entry", id: text });
+  }
+
+  return { ok: errors.length === 0, filesScanned: files.length, rules: definitions.length, references: references.length, terms: termDefs.length, errors };
+}
+
+async function main(argv = process.argv.slice(2)) {
+  if (argv.includes("--help") || argv.includes("-h")) {
+    process.stdout.write(`${USAGE}\n`);
+    return 0;
+  }
+  const result = await validateRuleOwnership(REPO_ROOT);
+  if (result.ok) {
+    process.stdout.write(`Rule ownership validation passed: ${result.rules} rules, ${result.references} references, ${result.terms} terms, ${result.filesScanned} files scanned.\n`);
+    return 0;
+  }
+  process.stdout.write(`Rule ownership validation failed:\n`);
+  for (const error of result.errors) process.stdout.write(`- ${error.kind}: ${error.id || error.key || error.token} ${error.location || (error.locations || []).join(", ")}\n`);
+  return 1;
+}
+
+if (isDirectCliRun(import.meta.url)) {
+  process.exitCode = await main();
+}