dotmd-cli 0.80.0 → 0.82.0

package/README.md

@@ -282,6 +282,26 @@ export const types = {
 };
 ```
 
+### Code references
+
+Archive and rename repair every reference inside the doc roots. `codeRoots`
+extends that to source files that cite a document by its repo-relative path in
+a comment, a docstring or a string literal:
+
+```js
+export const codeRoots = ['packages', 'scripts', 'services'];
+export const codeRefsUntouched = ['scripts/guards/plan-baseline.json'];
+```
+
+`runlist refs <old> <new>` reports every citation by file and line and writes
+only on `--fix`; `runlist refs repair` does the same for every archived
+document still cited at its previous path. Archive and rename print the count
+afterwards and take `--fix-refs`. Only the full repo-relative path matches,
+never a bare basename, and only that segment is replaced, so a trailing `§` or
+`#` anchor survives. A citation inside a string literal waits for `--strings`,
+a file in `codeRefsUntouched` is never written, and with no `codeRoots` set
+nothing is scanned.
+
 Configuration supports multiple roots, custom types and templates, taxonomy,
 reference fields, presets, rendering, lifecycle hooks, validation hooks, and
 AI summarization hooks. See [`runlist.config.example.mjs`](runlist.config.example.mjs)

package/bin/dotmd.mjs

@@ -256,6 +256,8 @@ Validate & Fix:
   self-check                        Project/version skew diagnostic (alias: doctor --project)
   lint [--fix]                      Check and auto-fix frontmatter issues
   fix-refs [--dry-run]              Auto-fix broken reference paths + body links
+  refs <old> <new> [--fix]          Report (or rewrite) code-root citations of a moved document
+  refs repair [--fix]               Same, for every archived document still cited at its old path
   fix-membership [<hub>...]         Add unambiguous missing child parent_plan back-references
   sync-status [<hub>...] [--adopt]  Rewrite hub table rows whose printed status drifted from the plan
 
@@ -891,6 +893,39 @@ a parentless child ranked by multiple hubs as ambiguous.
   runlist fix-membership --dry-run       preview without writing
   runlist fix-membership --dry-run --json`,
 
+  refs: `runlist refs <old> <new> — code-root citations of a moved document
+       runlist refs repair          — every archived document still cited at its old path
+
+Reference repair inside the doc roots is what archive and rename already do.
+This is the other half: a source comment, docstring or string literal that
+cites a document by its repo-relative path, in the roots \`codeRoots\` names.
+Absent that key, nothing is scanned and nothing changes.
+
+What it matches:
+  - The full repo-relative path only (\`docs/plans/<slug>.md\`). Never a bare
+    basename — a corpus cites slugs as words, and matching one is how a rename
+    corrupts an unrelated line.
+  - A trailing \`§\` or \`#\` anchor is kept as written: only the path is
+    replaced, so quotes, backticks and punctuation around it survive.
+
+What it writes:
+  - Report is the default. \`--fix\` rewrites citations in comments.
+  - A citation inside a string literal (or bare in code) is reported in its own
+    group and rewritten only with \`--strings\` — a test or a guard may assert
+    on it.
+  - A file listed in \`codeRefsUntouched\` is reported and never written.
+  - A file that is not writable, or that resolves outside the repository, is
+    refused by name.
+
+  runlist refs docs/plans/a.md docs/plans/archived/a.md
+  runlist refs docs/plans/a.md docs/plans/archived/a.md --fix
+  runlist refs repair                   report every stale archived citation
+  runlist refs repair --fix --strings   rewrite them, string literals included
+
+\`repair\` reads each previous path from the archive directory mapping, which is
+the one move the tool leaves a readable trace of. A rename records none, so a
+renamed document is covered by the two-argument form.`,
+
   'fix-refs': `runlist fix-refs — auto-fix broken reference paths
 
 Scans all docs for reference fields that point to non-existent files,
@@ -1873,6 +1908,7 @@ async function main() {
   if (command === 'rename') { const { runRename } = await import('../src/rename.mjs'); await runRename(restArgs, config, { dryRun }); return; }
   if (command === 'migrate') { const { runMigrate } = await import('../src/migrate.mjs'); runMigrate(restArgs, config, { dryRun }); return; }
   if (command === 'fix-refs') { const { runFixRefs } = await import('../src/fix-refs.mjs'); runFixRefs(restArgs, config, { dryRun }); return; }
+  if (command === 'refs') { const { runRefs } = await import('../src/code-refs.mjs'); runRefs(restArgs, config, { dryRun }); return; }
   if (command === 'fix-membership') { const { runFixMembership } = await import('../src/fix-membership.mjs'); await runFixMembership(restArgs, config, { dryRun }); return; }
   if (command === 'sync-status') { const { runSyncStatus } = await import('../src/sync-status.mjs'); await runSyncStatus(restArgs, config, { dryRun }); return; }
   if (command === 'self-check') {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dotmd-cli",
-  "version": "0.80.0",
+  "version": "0.82.0",
   "description": "CLI for managing markdown documents with YAML frontmatter — index, query, validate, graph, export, lifecycle, and AI summaries.",
   "type": "module",
   "license": "MIT",

package/runlist.config.example.mjs

@@ -21,6 +21,38 @@ export const excludeDirs = ['evidence'];
 // checks, which are deliberate subsets.
 // export const minDocs = 500;
 
+// ─── Code references (`runlist refs`) ────────────────────────────────────────
+//
+// Archive and rename repair every reference inside the doc roots. These four
+// keys extend that to source files that cite a document by its repo-relative
+// path in a comment, a docstring or a string literal. With no `codeRoots` the
+// scan never runs and nothing changes.
+//
+// `runlist refs <old> <new>` reports, `--fix` writes; `runlist refs repair`
+// does the same for every archived document still cited at its previous path.
+// Archive and rename print the count afterwards and take `--fix-refs`.
+//
+// Only the full repo-relative path matches, never a bare basename — a corpus
+// cites slugs as words, and matching one is how a rename corrupts an
+// unrelated line. Only the path segment is replaced, so a trailing `§` or `#`
+// anchor, a backtick or a quote is kept as written.
+
+// Repo-relative directories scanned for path-shaped citations. Empty = off.
+// export const codeRoots = ['packages', 'scripts', 'services'];
+
+// File kinds considered. An entry with no leading dot is an exact basename,
+// which is how a file with no extension opts in. Unset = the built-in list.
+// export const codeExtensions = ['.ts', '.tsx', '.mjs', '.swift', '.sql', '.py', '.sh', 'Dockerfile'];
+
+// Never scanned. Vendored trees and generated output, where a rewrite is
+// undone by the next codegen run and the citation belongs upstream.
+// Unset = node_modules, dist/build, and the usual generated-output shapes.
+// export const codeExcludes = ['**/node_modules/**', '**/*.generated.*', '**/__generated__/**'];
+
+// Files whose content is data keyed on document paths — a guard baseline
+// whose keys are plan paths, for instance. Reported, never written.
+// export const codeRefsUntouched = ['scripts/guards/plan-baseline.json'];
+
 // Document types — each type has its own status vocabulary and context layout.
 // Defaults: plan, doc, prompt. Override to customize statuses per type, or add new types.
 //

package/src/baton.mjs

@@ -161,6 +161,7 @@ export async function runBaton(argv, config, opts = {}) {
   let repoPath = null;
   let oldStatus = null;
   let ownershipPath = null;
+  let planGuard = null;
   if (planPath) {
     planPath = authorizeManagedSource(planPath, config, { kind: 'Baton plan source' }).path;
     repoPath = toRepoPath(planPath, config.repoRoot);
@@ -183,7 +184,29 @@ export async function runBaton(argv, config, opts = {}) {
     if (status === 'in-session') {
       die('`runlist baton --status in-session` contradicts baton release semantics. Choose active/paused/awaiting/partial/blocked.');
     }
-    assertPlanMutationAuthorized(repoPath, config, { sessionId: authoritativeSessionId(), force });
+    const sessionId = authoritativeSessionId();
+    const ownership = assertPlanMutationAuthorized(repoPath, config, { sessionId, force });
+    const ownedHere = ownership?.state === 'owned' && ownership.sessionId === sessionId;
+    // Baton's release only means something when there is a claim to release. A
+    // plan that is neither in-session nor owned here carries a status someone
+    // chose on purpose (`awaiting`, `blocked`, a repo's own `awaiting-testing`),
+    // and flipping it to the default `active` as a side effect of saving a
+    // prompt overwrites that reason — silently, since baton's headline is the
+    // prompt it saved. That is not hypothetical: a prompt-refresh pass named a
+    // plan slug, got a status flip it never asked for, and had to notice and
+    // undo it. So the prompt still lands with its `plan:` link, and the plan's
+    // status stays put unless the caller states the transition with --status.
+    const currentStatus = asString(fm.status);
+    if (!statusFlag && oldStatus !== 'in-session' && !ownedHere) {
+      if (!currentStatus || (validStatuses?.size > 0 && !validStatuses.has(currentStatus))) {
+        die(`${repoPath} is not in-session and its status (\`${oldStatus}\`) is not one baton can leave in place.\n`
+          + `Say what it should become: runlist baton ${repoPath} @<draft-file> --status <status>\n`
+          + `Or save the prompt without touching the plan: runlist baton ${path.basename(planPath, '.md')} @<draft-file>`);
+      }
+      status = currentStatus;
+      planGuard = { path: planPath, expectedContent: raw };
+      if (note) warn('--note ignored — the plan\'s status is unchanged, so there is no transition to record.');
+    }
     // Before the plan-completion step: a refusal must leave nothing changed.
     refuseIfPending();
     ownershipPath = readPlanOwnership(repoPath, config)?.recordPath ?? null;
@@ -221,7 +244,7 @@ export async function runBaton(argv, config, opts = {}) {
     const prepared = preparePromptDocument(slugBase, body, config, { plan: repoPath, dryRun });
     const setArgs = [status, planPath];
     if (force) setArgs.push('--force');
-    if (note) setArgs.push('--note', note);
+    if (note && !planGuard) setArgs.push('--note', note);
     try {
       if (dryRun) process.stdout.write(`${dim('[dry-run]')} Would create: ${prepared.repoPath}\n`);
       archiveResult = await runSet(setArgs, config, {
@@ -229,6 +252,7 @@ export async function runBaton(argv, config, opts = {}) {
         viaBaton: true,
         testHooks: opts.testHooks,
         creations: dryRun ? [] : [{ path: prepared.filePath, content: prepared.content }],
+        guards: planGuard && !dryRun ? [planGuard] : [],
         deferIndex: true,
       });
     } catch (err) {
@@ -297,6 +321,10 @@ export async function runBaton(argv, config, opts = {}) {
     return operationResult;
   }
   process.stderr.write(`\n${prefix}${green('✓ Baton passed')}: ${createdSlug} (the next session's hud surfaces it — nothing to paste into chat)\n`);
+  if (planGuard) {
+    process.stderr.write(dim(`${repoPath} left at \`${oldStatus}\` — it was not in-session, so there was no claim to release.\n`));
+    process.stderr.write(dim(`Meant to change it? runlist set <status> ${repoPath}\n`));
+  }
   if (statusChanged) {
     const pathspec = operationResult.repositoryFiles.join(' ');
     let gitignored = false;

package/src/code-refs.mjs

@@ -0,0 +1,546 @@
+// Reference repair outside the doc roots.
+//
+// Every sweep the lifecycle runs is pushed through `authorizeManagedSweep` →
+// `authorizeManagedSource`, which refuses anything that is not a `.md` file
+// inside a configured docs root. That chokepoint is what makes a move's write
+// set provable, so it is deliberately NOT widened here: this module walks the
+// configured code roots on its own, outside the move transaction, and archive
+// and rename call it after their own doc-root repair has committed.
+//
+// Two rules separate it from the document rewriter:
+//   1. It matches the full repo-relative path only, never a bare basename. A
+//      corpus cites slugs as words in prose comments, so a basename match is
+//      how a rename corrupts an unrelated line.
+//   2. It replaces the path segment and nothing else, so a `§`/`#` anchor, a
+//      closing backtick, a quote or a trailing comma all survive untouched.
+//      That also means the rendering is repo-relative, which is the spelling a
+//      reader of a source comment can paste; the doc rewriter's doc-relative
+//      rendering is not reused.
+
+import { accessSync, constants, readFileSync, readdirSync, realpathSync, statSync, writeFileSync } from 'node:fs';
+import path from 'node:path';
+import { escapeRegex, toRepoPath } from './util.mjs';
+import { collectDocFiles } from './index.mjs';
+import { bold, dim, green, yellow } from './color.mjs';
+
+// Measured file kinds in a corpus of 839 stale mentions: TypeScript, Swift,
+// SQL, ESM scripts, TSX, shell, Python, GraphQL, Dockerfiles, and a long tail.
+// An entry without a leading dot is an exact basename, which is how a file
+// with no extension opts in.
+export const DEFAULT_CODE_EXTENSIONS = Object.freeze([
+  '.ts', '.tsx', '.js', '.jsx', '.mjs', '.cjs',
+  '.swift', '.kt', '.sql', '.py', '.sh', '.rb', '.go', '.rs',
+  '.graphql', '.gql', '.yml', '.yaml', '.css', '.scss', '.toml',
+  'Dockerfile', 'Justfile', 'Makefile',
+]);
+
+// Generated output is excluded rather than reported: rewriting an artifact is
+// undone by the next codegen run, and the citation lives in the schema
+// description upstream.
+export const DEFAULT_CODE_EXCLUDES = Object.freeze([
+  '**/node_modules/**',
+  '**/.git/**',
+  '**/dist/**',
+  '**/build/**',
+  '**/.next/**',
+  '**/*.generated.*',
+  '**/__generated__/**',
+  '**/generated/**',
+]);
+
+// Comment openers by file kind. The classifier only asks whether an opener
+// precedes the match on the same line, so a table this small is enough — and
+// getting it wrong is safe in one direction only, which is why `#` is not
+// handed to every language.
+const COMMENT_OPENERS = {
+  c: ['//', '/*', '*'],
+  hash: ['#'],
+  sql: ['--', '/*', '*'],
+  all: ['//', '/*', '*', '#', '--'],
+};
+
+const OPENERS_BY_EXTENSION = new Map([
+  ['.ts', 'c'], ['.tsx', 'c'], ['.js', 'c'], ['.jsx', 'c'], ['.mjs', 'c'], ['.cjs', 'c'],
+  ['.swift', 'c'], ['.kt', 'c'], ['.css', 'c'], ['.scss', 'c'], ['.go', 'c'], ['.rs', 'c'],
+  ['.sql', 'sql'],
+  ['.py', 'hash'], ['.sh', 'hash'], ['.rb', 'hash'], ['.yml', 'hash'], ['.yaml', 'hash'],
+  ['.toml', 'hash'], ['.graphql', 'hash'], ['.gql', 'hash'],
+]);
+
+export function codeRefsConfig(config) {
+  const roots = config?.codeRefs?.roots ?? [];
+  return {
+    roots,
+    extensions: config?.codeRefs?.extensions ?? [...DEFAULT_CODE_EXTENSIONS],
+    excludes: config?.codeRefs?.excludes ?? [...DEFAULT_CODE_EXCLUDES],
+    untouched: new Set(config?.codeRefs?.untouched ?? []),
+    enabled: roots.length > 0,
+  };
+}
+
+// ── Globs ────────────────────────────────────────────────────────────────
+
+// A deliberately small subset: `**` spans segments, `*` stays inside one, `?`
+// is one character. Enough for the exclude shapes a code root needs, and it
+// refuses to grow into a dependency.
+export function globToRegex(pattern) {
+  let out = '^';
+  for (let i = 0; i < pattern.length; i++) {
+    const ch = pattern[i];
+    if (ch === '*') {
+      if (pattern[i + 1] === '*') {
+        i++;
+        if (pattern[i + 1] === '/') { i++; out += '(?:.*/)?'; }
+        else out += '.*';
+      } else {
+        out += '[^/]*';
+      }
+    } else if (ch === '?') {
+      out += '[^/]';
+    } else {
+      out += escapeRegex(ch);
+    }
+  }
+  return new RegExp(out + '$');
+}
+
+export function matchesAnyGlob(repoPath, patterns) {
+  return patterns.some(pattern => globToRegex(pattern).test(repoPath));
+}
+
+// ── Walking the code roots ───────────────────────────────────────────────
+
+function extensionAllowed(basename, extensions) {
+  const ext = path.extname(basename);
+  if (ext && extensions.includes(ext)) return true;
+  return extensions.includes(basename);
+}
+
+export function collectCodeFiles(config) {
+  const settings = codeRefsConfig(config);
+  if (!settings.enabled) return [];
+  const files = [];
+  const seen = new Set();
+
+  const walk = (dir) => {
+    let entries;
+    try { entries = readdirSync(dir, { withFileTypes: true }); } catch { return; }
+    for (const entry of entries) {
+      const abs = path.join(dir, entry.name);
+      const repoPath = toRepoPath(abs, config.repoRoot);
+      if (matchesAnyGlob(repoPath, settings.excludes)) continue;
+      if (entry.isSymbolicLink()) continue;
+      if (entry.isDirectory()) { walk(abs); continue; }
+      if (!entry.isFile()) continue;
+      if (!extensionAllowed(entry.name, settings.extensions)) continue;
+      if (seen.has(abs)) continue;
+      seen.add(abs);
+      files.push(abs);
+    }
+  };
+
+  for (const root of settings.roots) {
+    const abs = path.resolve(config.repoRoot, root);
+    let stat;
+    try { stat = statSync(abs); } catch { continue; }
+    if (!stat.isDirectory()) continue;
+    walk(abs);
+  }
+  return files.sort((a, b) => a.localeCompare(b));
+}
+
+// ── The matcher ──────────────────────────────────────────────────────────
+
+// The path may not continue in either direction: a preceding path character
+// means this is a longer path that merely ends with ours, and a following one
+// means the citation names something below it. Everything else — a quote, a
+// backtick, a bracket, a space, a line start, a trailing `§` or `#` anchor —
+// is a boundary, and is left exactly as it was found.
+export function referenceRegex(repoPath) {
+  return new RegExp(`(?<![A-Za-z0-9_\\-/.])${escapeRegex(repoPath)}(?![A-Za-z0-9_\\-/])`, 'g');
+}
+
+const ANCHOR = /^\s*(?:§|#[A-Za-z0-9])/;
+
+function commentOpenerIndex(line, kind) {
+  const openers = COMMENT_OPENERS[kind] ?? COMMENT_OPENERS.all;
+  let best = -1;
+  for (const opener of openers) {
+    let from = 0;
+    for (;;) {
+      const at = line.indexOf(opener, from);
+      if (at === -1) break;
+      from = at + 1;
+      // `https://` is not a comment. A lone `*` only opens a continuation
+      // line when it is the first thing on the line.
+      if (opener === '//' && line[at - 1] === ':') continue;
+      if (opener === '*' && line.slice(0, at).trim() !== '') continue;
+      if (best === -1 || at < best) best = at;
+      break;
+    }
+  }
+  return best;
+}
+
+function insideQuotes(line, index) {
+  let quote = null;
+  for (let i = 0; i < index; i++) {
+    const ch = line[i];
+    if (ch === '\\') { i++; continue; }
+    if (quote) { if (ch === quote) quote = null; continue; }
+    if (ch === '"' || ch === "'" || ch === '`') quote = ch;
+  }
+  return quote;
+}
+
+// `comment` is written by `--fix`; `string` and `code` wait for `--strings`,
+// because a path inside a quoted string can be data a test or a guard asserts
+// on rather than prose a reader follows.
+export function classifyMatch(line, index, fileKind) {
+  const opener = commentOpenerIndex(line, fileKind);
+  if (opener !== -1 && opener < index) return 'comment';
+  return insideQuotes(line, index) ? 'string' : 'code';
+}
+
+function fileKindFor(filePath) {
+  return OPENERS_BY_EXTENSION.get(path.extname(filePath)) ?? 'all';
+}
+
+export function findCodeReferences(content, repoPath, filePath) {
+  const kind = fileKindFor(filePath);
+  const lines = content.split('\n');
+  const hits = [];
+  for (let n = 0; n < lines.length; n++) {
+    const line = lines[n];
+    const regex = referenceRegex(repoPath);
+    let match;
+    while ((match = regex.exec(line)) !== null) {
+      hits.push({
+        line: n + 1,
+        column: match.index + 1,
+        text: line.trim(),
+        form: classifyMatch(line, match.index, kind),
+        anchored: ANCHOR.test(line.slice(match.index + repoPath.length)),
+      });
+    }
+  }
+  return hits;
+}
+
+export function rewriteCodeReferences(content, oldRepoPath, newRepoPath, filePath, { strings = false } = {}) {
+  const kind = fileKindFor(filePath);
+  const lines = content.split('\n');
+  let changed = 0;
+  const out = lines.map(line => {
+    const regex = referenceRegex(oldRepoPath);
+    return line.replace(regex, (found, offset) => {
+      const form = classifyMatch(line, offset, kind);
+      if (form !== 'comment' && !strings) return found;
+      changed++;
+      return newRepoPath;
+    });
+  });
+  return { content: out.join('\n'), changed };
+}
+
+// ── Scanning ─────────────────────────────────────────────────────────────
+
+function writability(absPath, repoRoot) {
+  let canonical;
+  try { canonical = realpathSync(absPath); } catch (err) { return `cannot be resolved (${err.code ?? err.message})`; }
+  const repoCanonical = realpathSync(repoRoot);
+  const relative = path.relative(repoCanonical, canonical);
+  if (relative.startsWith('..') || path.isAbsolute(relative)) return 'resolves outside the repository';
+  try { accessSync(canonical, constants.W_OK); } catch { return 'is not writable'; }
+  return null;
+}
+
+/**
+ * Report every code-root citation of `oldRepoPath`. Pure read: `runlist refs`
+ * and the archive / rename count line share it, the same way `fixBrokenRefs`
+ * is shared by `fix-refs` and `check --fix`.
+ */
+export function scanCodeRefs(config, oldRepoPath, { files = null } = {}) {
+  const settings = codeRefsConfig(config);
+  const result = emptyScan(settings.enabled);
+  if (!settings.enabled) return result;
+
+  for (const absPath of files ?? collectCodeFiles(config)) {
+    let content;
+    try { content = readFileSync(absPath, 'utf8'); } catch { continue; }
+    if (!content.includes(oldRepoPath)) continue;
+    const repoPath = toRepoPath(absPath, config.repoRoot);
+    const hits = findCodeReferences(content, oldRepoPath, absPath);
+    if (!hits.length) continue;
+    const untouched = settings.untouched.has(repoPath);
+    result.files.push({ path: repoPath, absPath, untouched, hits });
+    result.total += hits.length;
+    if (untouched) result.untouchedCount += hits.length;
+    for (const hit of hits) result.byForm[hit.form]++;
+  }
+  return result;
+}
+
+// Any document-shaped path, so a sweep reads each file once instead of once
+// per moved document. `repair` over a corpus of 1,000 archived documents and
+// 2,000 code files is 2 million file reads the other way round; the captured
+// token is then looked up in the work list, which keeps the match rule
+// identical to the single-document scan.
+const ANY_DOC_PATH = /(?<![A-Za-z0-9_\-/.])([A-Za-z0-9_\-./]+\.md)(?![A-Za-z0-9_\-/])/g;
+
+function emptyScan(enabled) {
+  return { enabled, files: [], total: 0, byForm: { comment: 0, string: 0, code: 0 }, untouchedCount: 0, refused: [] };
+}
+
+/**
+ * One pass over the code roots for many document paths at once. Returns a Map
+ * of path → the same scan shape `scanCodeRefs` returns, for the paths that
+ * were actually cited.
+ */
+export function scanManyCodeRefs(config, wanted, { files = null } = {}) {
+  const settings = codeRefsConfig(config);
+  const byPath = new Map();
+  if (!settings.enabled || wanted.size === 0) return byPath;
+
+  for (const absPath of files ?? collectCodeFiles(config)) {
+    let content;
+    try { content = readFileSync(absPath, 'utf8'); } catch { continue; }
+    if (!content.includes('.md')) continue;
+    const repoPath = toRepoPath(absPath, config.repoRoot);
+    const untouched = settings.untouched.has(repoPath);
+    const kind = fileKindFor(absPath);
+    const lines = content.split('\n');
+    const perPath = new Map();
+
+    for (let n = 0; n < lines.length; n++) {
+      const line = lines[n];
+      if (!line.includes('.md')) continue;
+      ANY_DOC_PATH.lastIndex = 0;
+      let match;
+      while ((match = ANY_DOC_PATH.exec(line)) !== null) {
+        const found = match[1];
+        if (!wanted.has(found)) continue;
+        if (!perPath.has(found)) perPath.set(found, []);
+        perPath.get(found).push({
+          line: n + 1,
+          column: match.index + 1,
+          text: line.trim(),
+          form: classifyMatch(line, match.index, kind),
+          anchored: ANCHOR.test(line.slice(match.index + found.length)),
+        });
+      }
+    }
+
+    for (const [found, hits] of perPath) {
+      if (!byPath.has(found)) byPath.set(found, emptyScan(true));
+      const scan = byPath.get(found);
+      scan.files.push({ path: repoPath, absPath, untouched, hits });
+      scan.total += hits.length;
+      if (untouched) scan.untouchedCount += hits.length;
+      for (const hit of hits) scan.byForm[hit.form]++;
+    }
+  }
+  return byPath;
+}
+
+/** Writable citations only: what `--fix` (or `--fix --strings`) would change. */
+export function fixableCount(scan, { strings = false } = {}) {
+  let count = 0;
+  for (const file of scan.files) {
+    if (file.untouched) continue;
+    for (const hit of file.hits) {
+      if (hit.form === 'comment' || strings) count++;
+    }
+  }
+  return count;
+}
+
+export function applyCodeRefs(config, scan, oldRepoPath, newRepoPath, { strings = false, dryRun = false } = {}) {
+  const written = [];
+  const refused = [];
+  let changed = 0;
+  for (const file of scan.files) {
+    if (file.untouched) continue;
+    const reason = writability(file.absPath, config.repoRoot);
+    if (reason) { refused.push({ path: file.path, reason }); continue; }
+    const content = readFileSync(file.absPath, 'utf8');
+    const result = rewriteCodeReferences(content, oldRepoPath, newRepoPath, file.absPath, { strings });
+    if (!result.changed || result.content === content) continue;
+    if (!dryRun) writeFileSync(file.absPath, result.content, 'utf8');
+    written.push({ path: file.path, changed: result.changed });
+    changed += result.changed;
+  }
+  return { written, refused, changed };
+}
+
+// ── The work list for `refs repair` ──────────────────────────────────────
+
+// Nothing in the tool records where a document used to live: a rename moves
+// the file and rewrites the doc-root references, and neither writes the old
+// path anywhere. The one move that leaves a readable trace is the archive,
+// whose destination is the source path with the archive directory inserted,
+// so the previous path is that segment removed. A hand-moved or renamed
+// document is out of reach here and `refs <old> <new>` covers it by hand.
+export function archivedPreviousPaths(config) {
+  const docs = collectDocFiles(config).map(file => toRepoPath(file, config.repoRoot));
+  const live = new Set(docs);
+  const pairs = [];
+  for (const current of docs) {
+    const segments = current.split('/');
+    const at = segments.lastIndexOf(config.archiveDir);
+    if (at === -1) continue;
+    const previous = [...segments.slice(0, at), ...segments.slice(at + 1)].join('/');
+    if (previous === current) continue;
+    // A live document at that path means the citation is not stale.
+    if (live.has(previous)) continue;
+    pairs.push({ previous, current });
+  }
+  return pairs;
+}
+
+// ── Output ───────────────────────────────────────────────────────────────
+
+const FORM_LABELS = { comment: 'In a comment', string: 'In a string literal', code: 'In code' };
+
+function writeGroup(out, label, entries, { prefix = '' } = {}) {
+  if (!entries.length) return;
+  const lines = entries.reduce((sum, entry) => sum + entry.hits.length, 0);
+  out.write(`${prefix}${bold(label)} (${lines} in ${entries.length} file${entries.length === 1 ? '' : 's'}):\n`);
+  for (const entry of entries) {
+    for (const hit of entry.hits) {
+      out.write(`${prefix}  ${entry.path}:${hit.line}  ${dim(hit.text)}\n`);
+    }
+  }
+}
+
+function groupBy(scan, form) {
+  return scan.files
+    .filter(file => !file.untouched)
+    .map(file => ({ path: file.path, hits: file.hits.filter(hit => hit.form === form) }))
+    .filter(file => file.hits.length);
+}
+
+export function reportScan(scan, oldRepoPath, newRepoPath, out, { prefix = '' } = {}) {
+  out.write(`${prefix}${oldRepoPath} → ${newRepoPath}\n\n`);
+  for (const form of ['comment', 'string', 'code']) {
+    writeGroup(out, FORM_LABELS[form], groupBy(scan, form), { prefix });
+  }
+  const untouched = scan.files.filter(file => file.untouched);
+  if (untouched.length) {
+    writeGroup(out, 'Never written (listed in codeRefsUntouched)', untouched, { prefix });
+  }
+  const anchored = scan.files.reduce((sum, file) => sum + file.hits.filter(hit => hit.anchored).length, 0);
+  if (anchored) out.write(`${prefix}${dim(`${anchored} carry a section anchor, which is kept as written.`)}\n`);
+}
+
+export function countLine(scan, oldRepoPath, newRepoPath) {
+  const files = scan.files.length;
+  return `${scan.total} code reference${scan.total === 1 ? '' : 's'} in ${files} file${files === 1 ? '' : 's'} still ${scan.total === 1 ? 'cites' : 'cite'} the old path; run \`runlist refs ${oldRepoPath} ${newRepoPath} --fix\``;
+}
+
+// ── The verb ─────────────────────────────────────────────────────────────
+
+function requireConfigured(settings, out) {
+  if (settings.enabled) return true;
+  out.write(`${yellow('No code roots configured.')} Set \`codeRoots\` in runlist.config.mjs to scan source files for document citations.\n`);
+  return false;
+}
+
+export function runRefs(argv, config, opts = {}) {
+  const out = opts.out ?? process.stdout;
+  const fix = argv.includes('--fix');
+  const strings = argv.includes('--strings');
+  const dryRun = Boolean(opts.dryRun);
+  const positional = argv.filter(arg => !arg.startsWith('-'));
+  const settings = codeRefsConfig(config);
+  if (!requireConfigured(settings, out)) return { enabled: false };
+
+  if (positional[0] === 'repair') return repairAll(config, { fix, strings, dryRun, out });
+
+  const [oldInput, newInput] = positional;
+  if (!oldInput || !newInput) {
+    out.write('Usage: runlist refs <old> <new> [--fix] [--strings]\n       runlist refs repair [--fix] [--strings]\n');
+    return { enabled: true };
+  }
+  const oldRepoPath = normalizeInput(oldInput, config);
+  const newRepoPath = normalizeInput(newInput, config);
+  return reportOne(config, oldRepoPath, newRepoPath, { fix, strings, dryRun, out, showEmpty: true });
+}
+
+function normalizeInput(input, config) {
+  const abs = path.resolve(config.repoRoot, input);
+  return toRepoPath(abs, config.repoRoot);
+}
+
+function reportOne(config, oldRepoPath, newRepoPath, { fix, strings, dryRun, out, showEmpty = false, files = null, scan: given = null }) {
+  const scan = given ?? scanCodeRefs(config, oldRepoPath, { files });
+  if (!scan.total) {
+    if (showEmpty) out.write(green(`No code references to ${oldRepoPath}.\n`));
+    return { enabled: true, scan, changed: 0 };
+  }
+  reportScan(scan, oldRepoPath, newRepoPath, out);
+  if (!fix) {
+    const writable = fixableCount(scan, { strings });
+    out.write(`\n${scan.total} reference${scan.total === 1 ? '' : 's'} in ${scan.files.length} file${scan.files.length === 1 ? '' : 's'}. `);
+    out.write(`${writable} would be rewritten by --fix${strings ? ' --strings' : ''}.\n`);
+    if (!strings && (scan.byForm.string || scan.byForm.code)) {
+      out.write(dim('Add --strings to rewrite the ones inside string literals and code.\n'));
+    }
+    return { enabled: true, scan, changed: 0 };
+  }
+  const applied = applyCodeRefs(config, scan, oldRepoPath, newRepoPath, { strings, dryRun });
+  const prefix = dryRun ? dim('[dry-run] ') : '';
+  out.write(`\n${prefix}${green(`Rewrote ${applied.changed} reference(s) in ${applied.written.length} file(s).`)}\n`);
+  for (const entry of applied.refused) {
+    out.write(`${yellow('Refused')}: ${entry.path} ${entry.reason}.\n`);
+  }
+  return { enabled: true, scan, changed: applied.changed, refused: applied.refused };
+}
+
+function repairAll(config, { fix, strings, dryRun, out }) {
+  const pairs = archivedPreviousPaths(config);
+  const wanted = new Map(pairs.map(pair => [pair.previous, pair.current]));
+  const found = scanManyCodeRefs(config, new Set(wanted.keys()));
+  let total = 0;
+  let changed = 0;
+  const stale = [];
+  for (const pair of pairs) {
+    const scan = found.get(pair.previous);
+    if (!scan?.total) continue;
+    stale.push({ ...pair, scan });
+    total += scan.total;
+  }
+  if (!stale.length) {
+    out.write(green(`No stale code references across ${pairs.length} archived document(s).\n`));
+    return { enabled: true, total: 0, changed: 0, documents: 0 };
+  }
+  out.write(`${bold(`${total} stale code reference(s) across ${stale.length} archived document(s).`)}\n\n`);
+  for (const entry of stale) {
+    const applied = reportOne(config, entry.previous, entry.current, { fix, strings, dryRun, out, scan: entry.scan });
+    changed += applied.changed ?? 0;
+    out.write('\n');
+  }
+  out.write(dim('Previous paths come from the archive directory mapping — a rename records none, so `refs <old> <new>` covers those by hand.\n'));
+  return { enabled: true, total, changed, documents: stale.length };
+}
+
+/**
+ * The line archive and rename print after their own doc-root repair. Returns
+ * null when no code root is configured, which is today's behaviour exactly.
+ */
+export function reportMovedCodeRefs(config, oldRepoPath, newRepoPath, { fix = false, strings = false, dryRun = false, out = process.stdout, prefix = '' } = {}) {
+  const settings = codeRefsConfig(config);
+  if (!settings.enabled) return null;
+  const scan = scanCodeRefs(config, oldRepoPath);
+  if (!scan.total) return { total: 0, changed: 0 };
+  if (!fix) {
+    out.write(`${prefix}${countLine(scan, oldRepoPath, newRepoPath)}\n`);
+    return { total: scan.total, changed: 0 };
+  }
+  const applied = applyCodeRefs(config, scan, oldRepoPath, newRepoPath, { strings, dryRun });
+  out.write(`${prefix}Rewrote ${applied.changed} code reference(s) in ${applied.written.length} file(s).\n`);
+  for (const entry of applied.refused) {
+    out.write(`${prefix}${yellow('Refused')}: ${entry.path} ${entry.reason}.\n`);
+  }
+  return { total: scan.total, changed: applied.changed, refused: applied.refused };
+}

package/src/commands.mjs

@@ -120,7 +120,7 @@ const definitions = [
   command('status', mutates('managed source and same-root destination'), 'mutate', [form('<file> [status]', { args: positionals(1, 2), options: LIFECYCLE_OPTIONS })]),
   command('set', mutates('managed source and same-root destination'), 'mutate', [form('<status> [file]', { args: positionals(1, 2), options: LIFECYCLE_OPTIONS })]),
   command('ship', mutates('repository release/index paths and global release tooling'), 'mutate', [form('[patch|minor|major]', { args: positionals(0, 1) })]),
-  command('archive', mutates('managed source and same-root destination'), 'mutate', [form('<file>', { args: positionals(1, 1), options: [...LIFECYCLE_OPTIONS, flag('--closeout-template')] })]),
+  command('archive', mutates('managed source and same-root destination'), 'mutate', [form('<file>', { args: positionals(1, 1), options: [...LIFECYCLE_OPTIONS, flag('--closeout-template'), flag('--fix-refs'), flag('--strings')] })]),
   command('bulk', mutates('managed source sweep; archive destinations preserve roots'), 'mutate', [
     form('archive <files...>', { subcommands: ['archive'], args: positionals(1, Infinity), options: [flag('--json'), flag('--no-index'), flag('--show-files')] }),
     form('tag [files...]', { subcommands: ['tag'], args: positionals(0, Infinity), options: [value('--type'), value('--status'), flag('--json')] }),
@@ -133,9 +133,13 @@ const definitions = [
     dashPositionalsAfter: 1,
   })]),
   command('lint', mutates('managed source sweep with --fix; otherwise read-only'), 'mutate', [form('', { options: [flag('--fix')] })]),
-  command('rename', mutates('managed source, same-root destination, and rewrite sweep'), 'mutate', [form('<old> [new]', { args: positionals(1, 2), options: [flag('--show-files')] })]),
+  command('rename', mutates('managed source, same-root destination, and rewrite sweep'), 'mutate', [form('<old> [new]', { args: positionals(1, 2), options: [flag('--show-files'), flag('--fix-refs'), flag('--strings')] })]),
   command('migrate', mutates('managed source sweep'), 'mutate', [form('<field> <old> <new> [files...]', { args: positionals(3, Infinity), options: [flag('--show-files')] })]),
   command('fix-refs', mutates('managed source sweep'), 'mutate', [form('', { options: [flag('--show-files')] })]),
+  command('refs', mutates('configured code roots with --fix; otherwise read-only'), 'mutate', [
+    form('repair', { subcommands: ['repair'], options: [flag('--fix'), flag('--strings')] }),
+    form('<old> <new>', { args: positionals(2, 2), options: [flag('--fix'), flag('--strings')] }),
+  ]),
   command('fix-membership', mutates('managed source sweep'), 'mutate', [form('[hubs...]', { args: positionals(0, Infinity), options: [flag('--json')] })]),
   command('sync-status', mutates('managed source sweep'), 'mutate', [form('[hubs...]', { args: positionals(0, Infinity), options: [flag('--adopt'), flag('--json')] })]),
   command('doctor', mutates('managed sweeps, repo index, and maintenance config paths by mode'), 'mutate', [form('[path]', { args: positionals(0, 1), options: [flag('--apply', '--yes'), flag('--statuses'), optionalValue('--migrate-template'), flag('--migrate-prompts'), flag('--frontmatter-fix'), flag('--project'), flag('--transactions'), flag('--claims'), flag('--session'), value('--older-than'), flag('--json'), flag('--include-archived')] })]),

package/src/config.mjs

@@ -22,6 +22,18 @@ const DEFAULTS = {
   // Floor under the scan surface; null = off. See `applyScanFloor` in validate.mjs.
   minDocs: null,
 
+  // Reference repair outside the doc roots (`runlist refs`). An empty
+  // `codeRoots` is off, which is the behaviour before this key existed: the
+  // doc-root repair archive and rename already run is unchanged either way.
+  // Paths are repo-relative. `null` on the two lists means "the built-in
+  // list", which lives in code-refs.mjs so config.mjs stays a leaf.
+  codeRoots: [],
+  codeExtensions: null,
+  codeExcludes: null,
+  // Files whose content is data keyed on document paths — a guard baseline
+  // whose keys are plan paths, for instance. Reported, never written.
+  codeRefsUntouched: [],
+
   types: {
     plan: {
       statuses: ['in-session', 'active', 'planned', 'blocked', 'partial', 'paused', 'awaiting', 'queued-after', 'archived'],
@@ -394,6 +406,17 @@ function validateConfig(userConfig, config, validStatuses, indexPath) {
     warnings.push("Config: index.snapshot must be 'status' or 'state'.");
   }
 
+  for (const key of ['codeRoots', 'codeRefsUntouched']) {
+    if (config[key] !== undefined && !Array.isArray(config[key])) {
+      warnings.push(`Config: ${key} must be an array.`);
+    }
+  }
+  for (const key of ['codeExtensions', 'codeExcludes']) {
+    if (config[key] != null && !Array.isArray(config[key])) {
+      warnings.push(`Config: ${key} must be an array.`);
+    }
+  }
+
   // Unknown top-level user config keys
   for (const key of Object.keys(userConfig)) {
     if (!VALID_CONFIG_KEYS.has(key)) {
@@ -608,6 +631,13 @@ export async function resolveConfig(cwd, explicitConfigPath) {
     docsRootPrefix,
     minDocs,
 
+    codeRefs: {
+      roots: Array.isArray(config.codeRoots) ? config.codeRoots : [],
+      extensions: Array.isArray(config.codeExtensions) ? config.codeExtensions : null,
+      excludes: Array.isArray(config.codeExcludes) ? config.codeExcludes : null,
+      untouched: Array.isArray(config.codeRefsUntouched) ? config.codeRefsUntouched : [],
+    },
+
     statusOrder,
     validStatuses,
     validTypes,

package/src/git.mjs

@@ -122,8 +122,7 @@ export function getGitLastModifiedBatch(repoRoot, relPaths, options = {}) {
   assertSafeGitPaths(paths);
   if (paths.length === 0) return { dates: new Map(), commits: new Map(), history: new Map(), complete: true, reason: null };
   // Full-tree callers can supply a small set of configured root pathspecs for
-  // diff extraction. Revision selection still uses the exact requested paths,
-  // so excluded or unrelated documents cannot consume the commit bound.
+  // diff extraction.
   const scanPaths = options.pathspecs?.length ? [...new Set(options.pathspecs)] : paths;
   assertSafeGitPaths(scanPaths);
   const expectedPaths = new Set(paths);
@@ -133,10 +132,23 @@ export function getGitLastModifiedBatch(repoRoot, relPaths, options = {}) {
   const commitsByPath = new Map();
   const history = new Map();
   let reason = null;
+  // Revision selection uses the root pathspecs when the caller supplied them,
+  // not the full requested list: Git matches every pathspec against every
+  // commit's diff, so a full-tree scan of a ~5k-doc corpus spent ~14s here
+  // walking history 5k pathspecs at a time (the same walk costs ~0.25s against
+  // one root). The window can only widen, never narrow, per requested path —
+  // every requested path lives under a root, so a commit touching one matches
+  // the root too, and the window stays a newest-first prefix of history. What
+  // it costs is depth: commits touching only non-requested docs now consume the
+  // bound, so a path whose latest commit falls outside the window resolves to
+  // no date at all rather than to a stale one. That case is already accounted
+  // for below — an unresolved TRACKED path keeps `commit-limit`, which callers
+  // surface as "Git metadata is incomplete".
+  const revisionPathspecs = scanPaths.length < paths.length ? scanPaths : paths;
   const revisions = spawnSync('git', ['rev-list', '--stdin', `--max-count=${maxCommits + 1}`, revision], {
     cwd: repoRoot,
     encoding: 'utf8',
-    input: `--\n${paths.map(literalGitPathspec).join('\n')}\n`,
+    input: `--\n${revisionPathspecs.map(literalGitPathspec).join('\n')}\n`,
     maxBuffer,
   });
   if (revisions.error?.code === 'ENOBUFS') {

package/src/lifecycle.mjs

@@ -13,6 +13,7 @@ import { walkSections, findSection } from './section.mjs';
 import { authorizeManagedDestination, authorizeManagedSource, authorizeManagedSweep } from './managed-path.mjs';
 import { withPathLocks, snapshotFile, replaceSnapshot, moveFileAtomic, mutateFile, mutateFileSet } from './atomic-mutation.mjs';
 import { configuredReferenceFields, createReferenceIdentitySet, rewriteDocumentReferences } from './reference-planner.mjs';
+import { reportMovedCodeRefs } from './code-refs.mjs';
 import {
   assertPlanMutationAuthorized,
   assertHookDeliveryTakeoverSafe,
@@ -417,7 +418,15 @@ export async function runStatus(argv, config, opts = {}) {
 
   if (oldStatus === newStatus) {
     if (!dryRun && (opts.additionalUpdates?.length || opts.creations?.length)) {
-      mutateFileSet({ updates: opts.additionalUpdates ?? [], creations: opts.creations ?? [] }, {
+      // Guards belong here as much as on the mutating paths below: a caller that
+      // asked for the status it already has (baton's prompt-only handoff) decided
+      // that from this file's status and then writes only its creations, so the
+      // read and the write need something holding the gap.
+      mutateFileSet({
+        updates: opts.additionalUpdates ?? [],
+        creations: opts.creations ?? [],
+        guards: opts.guards ?? [],
+      }, {
         repoRoot: config.repoRoot,
         testHooks: opts.testHooks,
       });
@@ -697,7 +706,10 @@ export function runArchive(argv, config, opts = {}) {
   const noIndex = argv.includes('--no-index') || opts.noIndex;
   const showFiles = argv.includes('--show-files') || opts.showFiles;
   const closeoutTemplate = argv.includes('--closeout-template');
-  argv = argv.filter(a => a !== '--no-index' && a !== '--show-files' && a !== '--closeout-template' && a !== '--force');
+  const fixCodeRefs = argv.includes('--fix-refs') || opts.fixRefs;
+  const codeRefStrings = argv.includes('--strings');
+  argv = argv.filter(a => a !== '--no-index' && a !== '--show-files' && a !== '--closeout-template' && a !== '--force'
+    && a !== '--fix-refs' && a !== '--strings');
   let note = opts.note ?? null;
   const noteIdx = argv.indexOf('--note');
   if (noteIdx !== -1) {
@@ -825,6 +837,10 @@ export function runArchive(argv, config, opts = {}) {
       }
     }
 
+    if (!opts.skipInboundRefs) {
+      reportMovedCodeRefs(config, oldRepoPath, newRepoPath, { dryRun: true, out, prefix: `${prefix} ` });
+    }
+
     // Preview onArchive hook fire
     if (config.hooks?.onArchive) {
       out.write(`${prefix} Would fire hook: onArchive\n`);
@@ -860,6 +876,12 @@ export function runArchive(argv, config, opts = {}) {
   }
   if (selfRefsFixed) out.write('Updated references in archived file.\n');
   if (updatedRefCount > 0) out.write(`Updated references in ${updatedRefCount} file(s).\n`);
+  // The doc-root repair above is committed. The code roots are a separate
+  // sweep outside the move transaction, so the count is reported and the
+  // write waits for --fix-refs.
+  if (!opts.skipInboundRefs) {
+    reportMovedCodeRefs(config, oldRepoPath, newRepoPath, { fix: fixCodeRefs, strings: codeRefStrings, out });
+  }
   if (config.indexPath && indexRegenerated) out.write('Index regenerated.\n');
   if (config.indexPath && noIndex) out.write(dim('(index not regenerated — run `runlist index` to refresh)\n'));
 

package/src/prompts.mjs

@@ -56,7 +56,13 @@ export async function runPrompts(argv, config, opts = {}) {
 }
 
 function runPromptsList(argv, config, opts = {}) {
-  const index = buildIndex(config);
+  // Listing prompts renders slug / status / updated / target — nothing any
+  // validating pass produces, and `runQuery` never reads warnings either. A
+  // full `buildIndex` here parsed every body in the repo through the ref,
+  // git-staleness and hub passes (~25s on a 5k-doc corpus) to print ten lines,
+  // and then `pendingPromptsOldestFirst` scanned the tree a second time. One
+  // fast index, shared, on the same terms hud reads on.
+  const index = buildIndex(config, { fast: true, invokeHooks: false });
   const hasStatusFlag = argv.includes('--status');
   const includeArchived = argv.includes('--include-archived');
   const sub = argv[0];
@@ -87,7 +93,7 @@ function runPromptsList(argv, config, opts = {}) {
 }
 
 function renderPromptQueueList(index, config) {
-  const queue = pendingPromptsOldestFirst(config);
+  const queue = pendingPromptsOldestFirst(config, index);
   const queuedPaths = new Set(queue.map(q => q.doc.path));
   const others = index.docs
     .filter(d => d.type === 'prompt' && !queuedPaths.has(d.path) && !isArchivedPath(d.path, config) && d.status !== 'archived')
@@ -175,8 +181,12 @@ function renderPromptsVerbose(index, config, { hasStatusFlag, includeArchived })
   }
 }
 
-export function pendingPromptsOldestFirst(config) {
-  const index = buildIndex(config, { fast: true, invokeHooks: false });
+// `index` lets a caller that already has a fast index (the prompt listings)
+// share it rather than re-walking the tree. It must be a full index of the
+// repo: the filter below narrows it, so a pre-filtered one would drop prompts
+// from the queue.
+export function pendingPromptsOldestFirst(config, index = null) {
+  index = index ?? buildIndex(config, { fast: true, invokeHooks: false });
   const actionable = actionablePromptStatuses(config);
   const prompts = index.docs.filter(d =>
     d.type === 'prompt'

package/src/rename.mjs

@@ -10,9 +10,12 @@ import { authorizeManagedDestination, authorizeManagedSource, authorizeManagedSw
 import { availableSessionId, prepareOwnershipMigration } from './pickup.mjs';
 import { moveFileAtomic } from './atomic-mutation.mjs';
 import { configuredReferenceFields, createReferenceIdentitySet, planReferenceMove, rewriteDocumentReferences } from './reference-planner.mjs';
+import { reportMovedCodeRefs } from './code-refs.mjs';
 
 export async function runRename(argv, config, opts = {}) {
   const { dryRun } = opts;
+  const fixCodeRefs = argv.includes('--fix-refs') || opts.fixRefs;
+  const codeRefStrings = argv.includes('--strings');
   const positional = argv.filter(arg => !arg.startsWith('-'));
   const oldInput = positional[0];
   let newInput = positional[1];
@@ -58,6 +61,7 @@ export async function runRename(argv, config, opts = {}) {
       for (const item of referencePlan.updates) process.stdout.write(`${prefix}   ${toRepoPath(item.path, config.repoRoot)}\n`);
     }
     if (ownership) process.stdout.write(`${prefix} Would migrate this session's ownership record.\n`);
+    reportMovedCodeRefs(config, oldRepoPath, newRepoPath, { dryRun: true, prefix: `${prefix} ` });
     return;
   }
 
@@ -93,6 +97,10 @@ export async function runRename(argv, config, opts = {}) {
   regenIndex(config);
   process.stdout.write(`${green('Renamed')}: ${oldRepoPath} → ${newRepoPath}\n`);
   if (result.updatedPaths.length) process.stdout.write(`Updated references in ${result.updatedPaths.length} file(s).\n`);
+  // The doc-root repair above is committed. The code roots are a separate
+  // sweep outside the move transaction, so the count is reported and the
+  // write waits for --fix-refs.
+  reportMovedCodeRefs(config, oldRepoPath, newRepoPath, { fix: fixCodeRefs, strings: codeRefStrings });
   try { config.hooks.onRename?.({ oldPath: oldRepoPath, newPath: newRepoPath, referencesUpdated: result.updatedPaths.length }); }
   catch (err) { warn(`Hook 'onRename' threw: ${err.message}`); }
   return { oldRepoPath, newRepoPath, referencePaths: result.updatedPaths.map(item => toRepoPath(item, config.repoRoot)) };

package/src/util.mjs

@@ -221,6 +221,48 @@ export function levenshtein(a, b) {
   return matrix[b.length][a.length];
 }
 
+// Edit distance, but only as far as the caller cares. Returns the distance when
+// it is <= limit and null when it provably exceeds it. The suggester asks
+// "within 3 edits?" of every candidate in the index, and the full matrix
+// computes an exact answer it then throws away: ~900 cells and two allocations
+// per pair, several hundred thousand pairs per unresolved reference on a large
+// corpus. Only cells within `limit` of the diagonal can hold a value <= limit,
+// so this walks that band in two flat rows and abandons a row whose cheapest
+// cell is already past the limit. Distances <= limit are identical to
+// `levenshtein`'s — test/util.test.mjs checks that against it directly.
+export function levenshteinWithin(a, b, limit) {
+  if (Math.abs(a.length - b.length) > limit) return null;
+  if (a.length === 0) return b.length;
+  if (b.length === 0) return a.length;
+  const over = limit + 1;
+  let prev = new Int32Array(a.length + 2).fill(over);
+  let cur = new Int32Array(a.length + 2).fill(over);
+  for (let j = 0; j <= Math.min(a.length, limit); j++) prev[j] = j;
+  for (let i = 1; i <= b.length; i++) {
+    const lo = Math.max(1, i - limit);
+    const hi = Math.min(a.length, i + limit);
+    // Reset the cells this row will write plus the two the next row reads as
+    // band neighbours, so nothing stale survives the row swap.
+    cur.fill(over, Math.max(0, lo - 1), hi + 2);
+    cur[0] = i <= limit ? i : over;
+    let rowMin = over;
+    for (let j = lo; j <= hi; j++) {
+      const substitution = prev[j - 1] + (b.charCodeAt(i - 1) === a.charCodeAt(j - 1) ? 0 : 1);
+      const deletion = prev[j] + 1;
+      const insertion = cur[j - 1] + 1;
+      let best = substitution < deletion ? substitution : deletion;
+      if (insertion < best) best = insertion;
+      if (best > limit) best = over;
+      cur[j] = best;
+      if (best < rowMin) rowMin = best;
+    }
+    if (rowMin > limit) return null;
+    const swap = prev; prev = cur; cur = swap;
+  }
+  const distance = prev[a.length];
+  return distance <= limit ? distance : null;
+}
+
 // Top-N candidates from a list, ranked for "did you mean" hints. Substring
 // match wins (cheap and intent-revealing for typos that share a prefix or
 // stem); Levenshtein distance ≤3 catches transpositions and small edits.
@@ -246,8 +288,12 @@ export function suggestCandidates(query, candidates, max = 3) {
       if (!cand || scored.has(cand)) continue;
       const candLower = String(cand).toLowerCase();
       if (candLower === lower) continue;
-      const dist = levenshtein(lower, candLower);
-      if (dist <= 3) scored.set(cand, 1000 + dist);
+      // The candidate list here is every basename AND every repo path in the
+      // index, so on a large corpus this loop ran hundreds of thousands of
+      // distance computations per unresolved reference. Only "within 3 edits"
+      // matters, so it asks for exactly that.
+      const dist = levenshteinWithin(lower, candLower, 3);
+      if (dist !== null) scored.set(cand, 1000 + dist);
     }
   }
 

package/src/validate.mjs

@@ -338,14 +338,25 @@ function candidatePathsForType(docs, type) {
 // can't see siblings). Filters candidates by ref-field type when the field
 // name implies one (e.g. `related_plans` → plans only).
 export function enrichRefErrorSuggestions(docs, config) {
+  // One candidate list per inferred type, not per broken ref. The list is a
+  // filter plus a ~2-per-doc Set build over the whole index, and it does not
+  // depend on the entry — rebuilding it for each entry made this pass quadratic
+  // in (docs × broken refs), which on a 4.8k-doc corpus with a couple hundred
+  // unresolved refs was ~9s of every `check`, `briefing` and `plans` run.
+  const candidateCache = new Map();
+  const candidatesFor = (type) => {
+    const key = type ?? '';
+    if (!candidateCache.has(key)) candidateCache.set(key, candidatePathsForType(docs, type));
+    return candidateCache.get(key);
+  };
+
   const enrich = (entry) => {
     if (!entry?.meta || !['ref-resolution', 'body-link-resolution'].includes(entry.meta.kind)) return;
     if (entry.meta.kind === 'body-link-resolution'
       && (entry.meta.targetKind !== 'document' || entry.meta.reason !== 'missing')) return;
     if (entry._suggested) return;
     const inferred = inferRefFieldType(entry.meta.field);
-    const candidates = candidatePathsForType(docs, inferred);
-    const suggestions = suggestCandidates(path.basename(entry.meta.relPath), candidates);
+    const suggestions = suggestCandidates(path.basename(entry.meta.relPath), candidatesFor(inferred));
     entry._suggested = true;
     if (suggestions.length === 0) return;
     entry.message = `${entry.message} Did you mean: ${suggestions.join(', ')}?`;