@inerrata-corporation/errata 2.0.2-dev.192 → 2.0.2-dev.201

package/errata.mjs

@@ -18183,6 +18183,9 @@ var init_problem_package_link = __esm({
 });
 
 // ../../packages/local-graph/src/design-problem.ts
+function isConstraintProblem(node2) {
+  return node2.attrs["kind"] === "constraint";
+}
 function isPlaceholderStatement(statement) {
   const s = statement.trim();
   if (s.length < 8) return true;
@@ -18432,7 +18435,7 @@ function tokenJaccard(a, b) {
   for (const t of sa) if (sb.has(t)) inter++;
   return inter / (sa.size + sb.size - inter);
 }
-function reinforceSameAnchorProblem(store, relPath, workspaceId2, statement, source, ts) {
+function reinforceSameAnchorProblem(store, relPath, workspaceId2, statement, source, ts, kind = "problem") {
   const stmt = statement.trim();
   if (!ANCHORABLE_CODE.test(relPath)) return null;
   const file2 = resolveFileNode(store, relPath, workspaceId2);
@@ -18443,6 +18446,8 @@ function reinforceSameAnchorProblem(store, relPath, workspaceId2, statement, sou
     const cand = store.getNode(e.from);
     if (!cand || cand.label !== "Problem" || cand.attrs["resolvedAt"]) continue;
     if (cand.id === selfId) continue;
+    const candKind = cand.attrs["kind"] === "constraint" ? "constraint" : "problem";
+    if (candKind !== (kind === "constraint" ? "constraint" : "problem")) continue;
     const score2 = tokenJaccard(stmt, cand.description);
     if (score2 >= SAME_ANCHOR_DEDUP_JACCARD && (!best || score2 > best.score)) best = { node: cand, score: score2 };
   }
@@ -18477,6 +18482,7 @@ function priorsForFile(store, relPath) {
   }
   if (!file2) return null;
   const openProblems = [];
+  const constraints = [];
   const seenProblem = /* @__PURE__ */ new Set();
   const related = /* @__PURE__ */ new Map();
   for (const e of store.inEdges(file2.id, ["ANCHORED_AT"])) {
@@ -18485,14 +18491,14 @@ function priorsForFile(store, relPath) {
     if (n.label === "Problem") {
       if (!n.attrs["resolvedAt"] && !seenProblem.has(n.id)) {
         seenProblem.add(n.id);
-        openProblems.push(n);
+        (isConstraintProblem(n) ? constraints : openProblems).push(n);
       }
     } else if (CITABLE_PRIOR_LABELS.has(n.label)) {
       related.set(n.id, n);
     }
   }
   const solutionsByProblem = /* @__PURE__ */ new Map();
-  for (const p of openProblems) {
+  for (const p of [...openProblems, ...constraints]) {
     for (const e of store.outEdges(p.id, ["SOLVED_BY", "CAUSED_BY", "INSTANCE_OF"])) {
       const n = store.getNode(e.to);
       if (n && CITABLE_PRIOR_LABELS.has(n.label)) related.set(n.id, n);
@@ -18503,9 +18509,11 @@ function priorsForFile(store, relPath) {
       }
     }
   }
-  if (openProblems.length === 0 && related.size === 0) return null;
-  openProblems.sort((a, b) => (b.lastUpdatedAt ?? 0) - (a.lastUpdatedAt ?? 0));
-  return { file: file2, openProblems, related: [...related.values()], solutionsByProblem };
+  if (openProblems.length === 0 && constraints.length === 0 && related.size === 0) return null;
+  const recentFirst = (a, b) => (b.lastUpdatedAt ?? 0) - (a.lastUpdatedAt ?? 0);
+  openProblems.sort(recentFirst);
+  constraints.sort(recentFirst);
+  return { file: file2, openProblems, constraints, related: [...related.values()], solutionsByProblem };
 }
 function anchorProblemToDiff(store, problemId, changedPaths, workspaceId2, t, opts = {}) {
   return anchorNodeToDiff(store, problemId, "Problem", changedPaths, workspaceId2, t, opts);
@@ -18626,6 +18634,7 @@ function resolveDesignProblems(store, t) {
   for (const p of store.findNodesByLabel("Problem")) {
     if (!p.id.startsWith("dprob_")) continue;
     if (p.attrs["resolvedAt"]) continue;
+    if (isConstraintProblem(p)) continue;
     let symName = "";
     let symRelPath;
     let edited = false;
@@ -20536,6 +20545,7 @@ function mergeDuplicateProblems(store, opts) {
         if (consumed.has(b.id)) continue;
         const tb = tokens.get(b.id);
         if (Math.min(ta.size, tb.size) < minTokens) continue;
+        if (isConstraintProblem(a) !== isConstraintProblem(b)) continue;
         if (overlap(ta, tb) >= minOverlap) {
           cluster.push(b);
           consumed.add(b.id);
@@ -20592,6 +20602,7 @@ var init_problem_dedup = __esm({
     "use strict";
     init_src();
     init_src();
+    init_design_problem();
     REDIRECT_EDGES = [
       "CAUSED_BY",
       "SOLVED_BY",
@@ -20850,6 +20861,7 @@ __export(src_exports2, {
   induceAbstractions: () => induceAbstractions,
   induceTriage: () => induceTriage,
   ingestDesignProblem: () => ingestDesignProblem,
+  isConstraintProblem: () => isConstraintProblem,
   isPlaceholderStatement: () => isPlaceholderStatement,
   linkProblemToLanguages: () => linkProblemToLanguages,
   linkProblemToPackages: () => linkProblemToPackages,
@@ -20935,12 +20947,14 @@ function isPassiveInjectable(node2) {
 }
 function buildSnapshot(opts) {
   const problems = opts.store.findNodesByLabel("Problem").filter((p) => p.attrs["mergedInto"] === void 0);
-  const allProblems = problems.filter((p) => p.attrs["resolvedAt"] == null);
+  const stillOpen = problems.filter((p) => p.attrs["resolvedAt"] == null);
+  const allProblems = stillOpen.filter((p) => !isConstraintProblem(p));
   allProblems.sort((a, b) => b.lastUpdatedAt - a.lastUpdatedAt);
   const recent = allProblems.slice(0, 8).map((p) => ({
     node: p,
     anchors: opts.store.outEdges(p.id, ["MANIFESTED_IN", "EVIDENCED_BY"])
   }));
+  const recentConstraints = stillOpen.filter((p) => isConstraintProblem(p)).sort((a, b) => b.lastUpdatedAt - a.lastUpdatedAt).slice(0, 3);
   const recentResolved = problems.filter((p) => p.attrs["resolvedAt"] != null && p.attrs["resolvedAs"] == null).sort((a, b) => Number(b.attrs["resolvedAt"] ?? 0) - Number(a.attrs["resolvedAt"] ?? 0)).slice(0, 4).map((p) => {
     const solEdge = opts.store.outEdges(p.id, ["SOLVED_BY"])[0];
     const solution = solEdge ? opts.store.getNode(solEdge.to) ?? void 0 : void 0;
@@ -21007,6 +21021,7 @@ function buildSnapshot(opts) {
     profileContext,
     recentProblems: recent,
     recentResolved,
+    recentConstraints,
     ...causalNudge ? { causalNudge } : {},
     ...domainNudge ? { domainNudge } : {},
     motifs,
@@ -21059,6 +21074,7 @@ function sliceForFile(store, relPath) {
   const fp = priorsForFile(store, relPath);
   const priors = fp ? {
     openProblems: fp.openProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.description })),
+    constraints: fp.constraints.slice(0, 2).map((c) => ({ id: c.id, description: c.description })),
     related: fp.related.slice(0, 4).map((n) => ({ id: n.id, label: n.label, description: n.description })),
     solutionsByProblem: Object.fromEntries(
       fp.openProblems.slice(0, 3).map((p) => [
@@ -21153,7 +21169,7 @@ function renderSnapshot(s) {
   }
   const tagOf = (n) => s.edgeElicitation ? ` \`[${priorHandle(n)}]\`` : "";
   lines.push("### Recently observed problems in this workspace");
-  if (s.recentProblems.length === 0 && s.recentResolved.length === 0) {
+  if (s.recentProblems.length === 0 && s.recentResolved.length === 0 && s.recentConstraints.length === 0) {
     lines.push("- _none yet \u2014 errata is still building its model_");
   } else {
     if (s.recentProblems.length > 0) {
@@ -21175,6 +21191,12 @@ function renderSnapshot(s) {
         );
       }
     }
+    if (s.recentConstraints.length > 0) {
+      lines.push("_Design tensions \u2014 constraints this work is shaped around, not defects to fix:_");
+      for (const c of s.recentConstraints) {
+        lines.push(`- \u2696 **${c.description}** \u2014 \`${c.id}\`${tagOf(c)}`);
+      }
+    }
     if (s.recentResolved.length > 0) {
       lines.push("_Recently resolved \u2014 solved here; jumping-off points, not live defects:_");
       for (const r of s.recentResolved) {
@@ -21242,6 +21264,14 @@ function renderSnapshot(s) {
         }
       }
     }
+    if (w.priors?.constraints.length) {
+      lines.push(
+        "- **Design tensions here** \u2014 standing constraints this code is shaped around. They are NOT open work and a change does not resolve one, so there is no `(fix:)` token; cite one you worked within with `([id])`:"
+      );
+      for (const c of w.priors.constraints) {
+        lines.push(`  - ${c.description} \u2192 \`([${c.id}])\``);
+      }
+    }
     if (w.priors?.related.length) {
       lines.push("- **Related priors** (cite with `([id])` where you lean on one):");
       for (const n of w.priors.related) {
@@ -21279,6 +21309,9 @@ function dropLowestUnit(s) {
       case "pendingEnrichment":
         if (s.pendingEnrichment.length) return s.pendingEnrichment.pop(), true;
         break;
+      case "recentConstraints":
+        if (s.recentConstraints.length) return s.recentConstraints.pop(), true;
+        break;
       case "recentProblems":
         if (s.recentProblems.length) return s.recentProblems.pop(), true;
         break;
@@ -21350,6 +21383,9 @@ ${RECALL_FIRST_BODY}`;
       // budget they drop before anything open/actionable.
       "recentResolved",
       "pendingEnrichment",
+      // A standing design tension outranks an enrichment nudge (it prevents a wrong
+      // decision) but yields to a live defect (which is actionable now).
+      "recentConstraints",
       "recentProblems",
       "needsRevisit"
     ];
@@ -26475,6 +26511,7 @@ function mergeProblemsByEmbedding(store, opts) {
         if (b.id === a.id || consumed.has(b.id)) continue;
         if (b.embedding.length !== a.embedding.length) continue;
         if ((a.attrs["embeddingVersion"] ?? "") !== (b.attrs["embeddingVersion"] ?? "")) continue;
+        if (isConstraintProblem(a) !== isConstraintProblem(b)) continue;
         if (cosine(a.embedding, b.embedding) >= minCosine) {
           cluster.push(b);
           consumed.add(b.id);
@@ -37711,11 +37748,11 @@ var init_mcp = __esm({
       },
       {
         name: "errata.problems",
-        description: "List the workspace's Problem backlog \u2014 the triage view that search/why/impact can't give because they need a seed. status: 'open' (default) | 'resolved' (a real fix) | 'retracted' (false alarms \u2014 false_positive/dissolution) | 'all'. Also returns a `retracted` breakdown so the false-positive rate stays visible.",
+        description: "List the workspace's Problem backlog \u2014 the triage view that search/why/impact can't give because they need a seed. status: 'open' (default) | 'resolved' (a real fix) | 'retracted' (false alarms \u2014 false_positive/dissolution) | 'constraint' (design TENSIONS captured via `(constraint: \u2026)` \u2014 standing context, not open work, so they're excluded from 'open') | 'all'. Also returns a `retracted` breakdown so the false-positive rate stays visible.",
         inputSchema: {
           type: "object",
           properties: {
-            status: { type: "string", description: "open | resolved | retracted | all (default open)" },
+            status: { type: "string", description: "open | resolved | retracted | constraint | all (default open)" },
             limit: { type: "number" }
           }
         },
@@ -37725,7 +37762,7 @@ var init_mcp = __esm({
           const RETRACTIONS = /* @__PURE__ */ new Set(["false_positive", "invalid", "duplicate"]);
           const rows = store.findAllVersionsByLabel("Problem").map((p) => {
             const ra = p.attrs["resolvedAs"];
-            const status = ra && RETRACTIONS.has(ra) ? ra : p.attrs["resolvedAt"] != null ? "resolved" : "open";
+            const status = ra && RETRACTIONS.has(ra) ? ra : p.attrs["resolvedAt"] != null ? "resolved" : isConstraintProblem(p) ? "constraint" : "open";
             const anchorEdge = store.outEdges(p.id, ["ANCHORED_AT"])[0];
             const anchor = anchorEdge ? store.getNode(anchorEdge.to)?.description : void 0;
             return {
@@ -37733,17 +37770,21 @@ var init_mcp = __esm({
               problem: p.description,
               status,
               createdAt: p.createdAt,
+              // Surfaced even when `status` is resolved/retracted, so a caller can tell
+              // an explicitly-discharged TENSION from a fixed defect.
+              ...isConstraintProblem(p) ? { kind: "constraint" } : {},
               ...p.attrs["provisional"] ? { provisional: true } : {},
               ...p.attrs["resolvedReason"] ? { reason: String(p.attrs["resolvedReason"]) } : {},
               ...anchor ? { anchor } : {}
             };
           });
-          const inScope = (s) => want === "all" ? true : want === "resolved" ? s === "resolved" : want === "retracted" ? RETRACTIONS.has(s) : s === "open";
+          const inScope = (s) => want === "all" ? true : want === "resolved" ? s === "resolved" : want === "retracted" ? RETRACTIONS.has(s) : want === "constraint" ? s === "constraint" : s === "open";
           const items = rows.filter((r) => inScope(r.status)).sort((a, b) => b.createdAt - a.createdAt).slice(0, limit);
           const countBy = (s) => rows.filter((r) => r.status === s).length;
           return {
             open: countBy("open"),
             resolved: countBy("resolved"),
+            constraints: countBy("constraint"),
             retracted: {
               falsePositive: countBy("false_positive"),
               dissolution: countBy("invalid"),
@@ -37832,7 +37873,8 @@ var init_mcp = __esm({
         inputSchema: { type: "object", properties: {} },
         handler: (_args, store) => {
           const problems = store.findNodesByLabel("Problem");
-          const open2 = problems.filter((p) => p.attrs["resolvedAt"] == null);
+          const open2 = problems.filter((p) => p.attrs["resolvedAt"] == null && !isConstraintProblem(p));
+          const constraints = problems.filter((p) => p.attrs["resolvedAt"] == null && isConstraintProblem(p));
           const noFix = open2.filter((p) => store.outEdges(p.id, ["SOLVED_BY"]).length === 0);
           const allProblems = store.findAllVersionsByLabel("Problem");
           const ungroundedDerived = store.findNodesByLabel("Claim").filter((c) => c.attrs["crystallized"] === "derived" && Number(c.attrs["groundedSupport"] ?? 0) === 0);
@@ -37842,6 +37884,7 @@ var init_mcp = __esm({
             strandedSymbols: findStrandedSymbols(store).length,
             openProblems: open2.length,
             openProblemsWithoutFix: noFix.length,
+            designConstraints: constraints.length,
             retractedFalsePositive: allProblems.filter((p) => p.attrs["resolvedAs"] === "false_positive").length,
             retractedDissolution: allProblems.filter((p) => p.attrs["resolvedAs"] === "invalid").length,
             ungroundedDerivedClaims: ungroundedDerived.length,
@@ -38413,7 +38456,7 @@ function formatProblemsMd(r) {
   const lines = [head("problems")];
   const ret = r.retracted ?? { falsePositive: 0, dissolution: 0, duplicate: 0 };
   lines.push(
-    `open ${r.open} \xB7 resolved ${r.resolved} \xB7 retracted: ${ret.falsePositive} fp / ${ret.dissolution} dissolution / ${ret.duplicate} dup`
+    `open ${r.open} \xB7 resolved ${r.resolved}` + (r.constraints ? ` \xB7 constraints ${r.constraints}` : "") + ` \xB7 retracted: ${ret.falsePositive} fp / ${ret.dissolution} dissolution / ${ret.duplicate} dup`
   );
   lines.push(`showing ${r.count}`);
   lines.push("");
@@ -46151,10 +46194,13 @@ function recallForFile(store, relPath) {
       recallLine(p, `${TAG_EXAMPLE.fix(p.id)} if you resolved it \xB7 ${TAG_EXAMPLE.prior(p.id)} to cite${causeCue}`)
     );
   }
+  for (const c of priors.constraints.slice(0, 2)) {
+    lines.push(recallLine(c, `design tension \u2014 hold it, don't "fix" it \xB7 ${TAG_EXAMPLE.prior(c.id)} to cite`));
+  }
   for (const n of priors.related.slice(0, 4)) {
     lines.push(recallLine(n, `cite with ${TAG_EXAMPLE.prior(n.id)}`));
   }
-  const total = priors.openProblems.length + priors.related.length;
+  const total = priors.openProblems.length + priors.constraints.length + priors.related.length;
   return `errata \u2014 ${total} prior(s) recorded on this file (act only if relevant):
 ${lines.join("\n")}
 ` + buildFileRecallInstruction();
@@ -47126,12 +47172,12 @@ var init_report_render = __esm({
 
 // src/cli.ts
 init_src5();
-import { closeSync as closeSync2, existsSync as existsSync24, openSync as openSync2, readFileSync as readFileSync22, renameSync as renameSync3, statSync as statSync6 } from "node:fs";
-import { join as join26 } from "node:path";
+import { closeSync as closeSync2, existsSync as existsSync25, openSync as openSync2, readFileSync as readFileSync23, renameSync as renameSync3, statSync as statSync6 } from "node:fs";
+import { join as join27 } from "node:path";
 import { spawn as spawn3 } from "node:child_process";
 
 // src/daemon.ts
-import { existsSync as existsSync19, writeFileSync as writeFileSync15 } from "node:fs";
+import { existsSync as existsSync20, writeFileSync as writeFileSync16 } from "node:fs";
 
 // ../../node_modules/.pnpm/@hono+node-server@1.19.11_hono@4.12.8/node_modules/@hono/node-server/dist/index.mjs
 import { createServer as createServerHTTP } from "http";
@@ -47711,8 +47757,8 @@ init_config();
 
 // src/engine.ts
 import { execFileSync as execFileSync3 } from "node:child_process";
-import { existsSync as existsSync18, statSync as statSync5, appendFileSync as appendFileSync2, readdirSync as readdirSync8, renameSync as renameSync2, readFileSync as readFileSync17, writeFileSync as writeFileSync14 } from "node:fs";
-import { join as join22, relative as relative6, sep as sep4 } from "node:path";
+import { existsSync as existsSync19, statSync as statSync5, appendFileSync as appendFileSync2, readdirSync as readdirSync9, renameSync as renameSync2, readFileSync as readFileSync18, writeFileSync as writeFileSync15 } from "node:fs";
+import { join as join23, relative as relative6, sep as sep4 } from "node:path";
 
 // ../../node_modules/.pnpm/chokidar@4.0.3/node_modules/chokidar/esm/index.js
 import { stat as statcb } from "fs";
@@ -50204,7 +50250,7 @@ function harvestInlineTags(store, text, opts) {
   const touched = opts.sessionTouchedIds ?? /* @__PURE__ */ new Set();
   const plan = { priorEdges: 0, problems: [], fixes: [], triages: [], attempts: [], unresolvedFixes: [], transfers: [], solutionLinks: [], instances: [], patterns: [], domains: [], packages: [], components: [], refutes: [], corroborations: [] };
   const tags = parseInlineTags(text);
-  const symptomSeqs = tags.filter((t) => (t.kind === "problem" || t.kind === "todo" || t.kind === "constraint") && t.statement).map((t) => ({ seq: t.seq ?? -1, statement: t.statement, threadId: t.threadId })).sort((a, b) => a.seq - b.seq);
+  const symptomSeqs = tags.filter((t) => (t.kind === "problem" || t.kind === "todo") && t.statement).map((t) => ({ seq: t.seq ?? -1, statement: t.statement, threadId: t.threadId })).sort((a, b) => a.seq - b.seq);
   const bindSymptom = (seq, threadId) => {
     if (threadId) {
       const hit = symptomSeqs.find((s) => s.threadId === threadId);
@@ -50234,7 +50280,7 @@ function harvestInlineTags(store, text, opts) {
         ...tag.threadId ? { threadId: tag.threadId } : {}
       });
     } else if (tag.kind === "constraint") {
-      plan.problems.push({ statement: tag.statement, kind: "problem" });
+      plan.problems.push({ statement: tag.statement, kind: "constraint" });
     } else if (tag.kind === "fix") {
       if (tag.handle) {
         const problemId = resolveHandle(store, tag.handle, opts.handleMap);
@@ -50454,7 +50500,10 @@ function parseRollupJson(text) {
       ...str("cause") ? { cause: str("cause") } : {},
       ...str("fix") ? { fix: str("fix") } : {},
       ...str("anchor") ? { anchor: str("anchor") } : {},
-      kind: o["kind"] === "todo" ? "todo" : "problem"
+      // Preserve `constraint` (GH-constraint-kind) — collapsing it to `problem`
+      // here would re-arm the auto-close and the inferred fix-binding on a design
+      // tension that arrived through the rollup path instead of the inline tag.
+      kind: o["kind"] === "todo" ? "todo" : o["kind"] === "constraint" ? "constraint" : "problem"
     });
   }
   return flags2.slice(0, 12);
@@ -50492,6 +50541,147 @@ ${conversation}` }]
   };
 }
 
+// src/constraint-backfill.ts
+init_src4();
+init_src2();
+import { existsSync as existsSync13, readFileSync as readFileSync11, readdirSync as readdirSync6, writeFileSync as writeFileSync11 } from "node:fs";
+import { join as join16 } from "node:path";
+import { homedir as homedir4 } from "node:os";
+var BACKFILL_VERSION = 1;
+var EMPTY = {
+  skipped: true,
+  stamped: 0,
+  detached: 0,
+  reopened: 0,
+  witnessed: 0,
+  cloudTwins: []
+};
+function markerPath(configDir) {
+  return join16(configDir, "constraint-backfill.json");
+}
+function alreadyDone(configDir) {
+  const p = markerPath(configDir);
+  if (!existsSync13(p)) return false;
+  try {
+    const raw2 = JSON.parse(readFileSync11(p, "utf8"));
+    return raw2?.version === BACKFILL_VERSION;
+  } catch {
+    return false;
+  }
+}
+function replay(root) {
+  const statements = /* @__PURE__ */ new Set();
+  const citedByFix = /* @__PURE__ */ new Set();
+  const dir = claudeProjectDir(root, homedir4());
+  if (!existsSync13(dir)) return { statements, citedByFix };
+  let names;
+  try {
+    names = readdirSync6(dir).filter((n) => n.endsWith(".jsonl"));
+  } catch {
+    return { statements, citedByFix };
+  }
+  for (const f of names) {
+    let lines;
+    try {
+      lines = readFileSync11(join16(dir, f), "utf8").split("\n");
+    } catch {
+      continue;
+    }
+    for (const line of lines) {
+      if (!line.trim()) continue;
+      let rec;
+      try {
+        rec = JSON.parse(line);
+      } catch {
+        continue;
+      }
+      if (rec.type !== "assistant" || !Array.isArray(rec.message?.content)) continue;
+      for (const b of rec.message.content) {
+        if (b?.type !== "text" || typeof b.text !== "string") continue;
+        for (const tag of parseInlineTags(b.text)) {
+          if (tag.kind === "constraint" && tag.statement) statements.add(tag.statement);
+          if (tag.kind === "fix") {
+            const t = tag;
+            if (t.handle) citedByFix.add(t.handle);
+            if (t.threadId) citedByFix.add(t.threadId);
+          }
+        }
+      }
+    }
+  }
+  return { statements, citedByFix };
+}
+function backfillConstraintKind(store, opts) {
+  if (!opts.force && !opts.dryRun && alreadyDone(opts.configDir)) return EMPTY;
+  const { statements, citedByFix } = replay(opts.root);
+  const report = {
+    skipped: false,
+    stamped: 0,
+    detached: 0,
+    reopened: 0,
+    witnessed: 0,
+    cloudTwins: []
+  };
+  const seen = /* @__PURE__ */ new Set();
+  const work = [];
+  for (const statement of statements) {
+    const id = designProblemId(statement);
+    if (seen.has(id)) continue;
+    seen.add(id);
+    const node2 = store.getNode(id);
+    if (!node2 || node2.label !== "Problem") continue;
+    const isWitnessed = citedByFix.has(priorHandle(node2)) || citedByFix.has(id) || [...citedByFix].some((c) => c && id.startsWith(c));
+    const fabricated = [];
+    for (const e of store.outEdges(id, ["SOLVED_BY"])) {
+      const sol = store.getNode(e.to);
+      if (!sol) continue;
+      const auto = sol.description.startsWith(AUTO_MINT_PREFIX);
+      if (!auto && isWitnessed) report.witnessed++;
+      else fabricated.push(sol.id);
+    }
+    const stamp = node2.attrs["kind"] !== "constraint";
+    if (stamp) report.stamped++;
+    if (fabricated.length > 0) {
+      report.detached += fabricated.length;
+      report.reopened++;
+    }
+    const cloudNodeId = node2.attrs["cloudNodeId"];
+    if (typeof cloudNodeId === "string" && (stamp || fabricated.length > 0)) {
+      report.cloudTwins.push(cloudNodeId);
+    }
+    if (stamp || fabricated.length > 0) work.push({ id, fabricated, stamp });
+  }
+  if (opts.dryRun) return report;
+  store.transaction(() => {
+    for (const w of work) {
+      const node2 = store.getNode(w.id);
+      if (!node2) continue;
+      const attrs = { ...node2.attrs, kind: "constraint" };
+      if (w.fabricated.length > 0) {
+        delete attrs["resolvedAt"];
+        delete attrs["resolvedReason"];
+      }
+      store.updateNode(w.id, { attrs, lastUpdatedAt: opts.now });
+      for (const solId of w.fabricated) {
+        for (const e of store.outEdges(w.id, ["SOLVED_BY"])) {
+          if (e.to === solId) store.closeEdge(e.id, opts.now);
+        }
+        const sol = store.getNode(solId);
+        if (sol?.description.startsWith(AUTO_MINT_PREFIX)) store.closeNode(solId, opts.now);
+      }
+    }
+  });
+  try {
+    writeFileSync11(
+      markerPath(opts.configDir),
+      JSON.stringify({ version: BACKFILL_VERSION, at: opts.now, ...report, cloudTwins: report.cloudTwins.length }, null, 2),
+      "utf8"
+    );
+  } catch {
+  }
+  return report;
+}
+
 // src/engine.ts
 init_symbol_summaries();
 init_reconcile();
@@ -50690,11 +50880,11 @@ init_outbox();
 init_src8();
 init_src();
 init_src2();
-import { readFileSync as readFileSync11 } from "node:fs";
-import { join as join16 } from "node:path";
+import { readFileSync as readFileSync12 } from "node:fs";
+import { join as join17 } from "node:path";
 function loadClaimIgnorePatterns(workspaceRoot) {
   try {
-    return readFileSync11(join16(workspaceRoot, ".errataignore"), "utf8").split(/\r?\n/).map((l) => l.trim()).filter((l) => l.length > 0 && !l.startsWith("#")).map((l) => l.toLowerCase());
+    return readFileSync12(join17(workspaceRoot, ".errataignore"), "utf8").split(/\r?\n/).map((l) => l.trim()).filter((l) => l.length > 0 && !l.startsWith("#")).map((l) => l.toLowerCase());
   } catch {
     return [];
   }
@@ -51055,22 +51245,22 @@ async function pullCloudTriage(shared, cloud, profile, limit = 50) {
 }
 
 // src/git-sensor.ts
-import { existsSync as existsSync13, readFileSync as readFileSync12, watch as fsWatch } from "node:fs";
-import { join as join17 } from "node:path";
+import { existsSync as existsSync14, readFileSync as readFileSync13, watch as fsWatch } from "node:fs";
+import { join as join18 } from "node:path";
 function readFirstLine(path2) {
   try {
-    return readFileSync12(path2, "utf8").split(/\r?\n/, 1)[0].trim();
+    return readFileSync13(path2, "utf8").split(/\r?\n/, 1)[0].trim();
   } catch {
     return null;
   }
 }
 function readGitRefState(gitDir) {
-  const head2 = readFirstLine(join17(gitDir, "HEAD"));
+  const head2 = readFirstLine(join18(gitDir, "HEAD"));
   const m = head2 ? /^ref:\s*refs\/heads\/(.+)$/.exec(head2) : null;
   const branch = m ? m[1] : null;
   let sha2 = null;
   if (branch) {
-    sha2 = readFirstLine(join17(gitDir, "refs", "heads", branch));
+    sha2 = readFirstLine(join18(gitDir, "refs", "heads", branch));
     if (!sha2) sha2 = shaFromPackedRefs(gitDir, `refs/heads/${branch}`);
   } else if (head2 && /^[0-9a-f]{7,40}$/i.test(head2)) {
     sha2 = head2;
@@ -51078,13 +51268,13 @@ function readGitRefState(gitDir) {
   return {
     branch,
     sha: sha2,
-    mergeHeadExists: existsSync13(join17(gitDir, "MERGE_HEAD")),
-    origHeadExists: existsSync13(join17(gitDir, "ORIG_HEAD"))
+    mergeHeadExists: existsSync14(join18(gitDir, "MERGE_HEAD")),
+    origHeadExists: existsSync14(join18(gitDir, "ORIG_HEAD"))
   };
 }
 function shaFromPackedRefs(gitDir, ref) {
   try {
-    for (const line of readFileSync12(join17(gitDir, "packed-refs"), "utf8").split(/\r?\n/)) {
+    for (const line of readFileSync13(join18(gitDir, "packed-refs"), "utf8").split(/\r?\n/)) {
       const [sha2, name2] = line.split(/\s+/);
       if (name2 === ref && sha2) return sha2;
     }
@@ -51118,7 +51308,7 @@ function startGitSensor(gitDir, onEvent, opts = {}) {
   const settle = () => {
     if (timer) clearTimeout(timer);
     timer = setTimeout(() => {
-      if (existsSync13(join17(gitDir, "index.lock"))) {
+      if (existsSync14(join18(gitDir, "index.lock"))) {
         settle();
         return;
       }
@@ -51129,7 +51319,7 @@ function startGitSensor(gitDir, onEvent, opts = {}) {
     }, debounceMs);
   };
   for (const sub of ["HEAD", "logs/HEAD", "MERGE_HEAD", "ORIG_HEAD"]) {
-    const p = join17(gitDir, sub);
+    const p = join18(gitDir, sub);
     try {
       watchers.push(fsWatch(p, settle));
     } catch {
@@ -51354,21 +51544,21 @@ var TelemetryRecorder = class {
 
 // src/skills.ts
 import {
-  existsSync as existsSync14,
+  existsSync as existsSync15,
   mkdirSync as mkdirSync6,
-  readFileSync as readFileSync13,
-  readdirSync as readdirSync6,
+  readFileSync as readFileSync14,
+  readdirSync as readdirSync7,
   unlinkSync as unlinkSync2,
-  writeFileSync as writeFileSync11
+  writeFileSync as writeFileSync12
 } from "node:fs";
-import { basename as basename4, join as join18 } from "node:path";
+import { basename as basename4, join as join19 } from "node:path";
 function skillFileName(id) {
   return `${id.replace(/[^A-Za-z0-9_.-]/g, "_")}.md`;
 }
 function readSkillManifest(manifestPath) {
-  if (!existsSync14(manifestPath)) return [];
+  if (!existsSync15(manifestPath)) return [];
   try {
-    const parsed = JSON.parse(readFileSync13(manifestPath, "utf8"));
+    const parsed = JSON.parse(readFileSync14(manifestPath, "utf8"));
     return (parsed.skills ?? []).map((s) => ({
       title: s.title ?? "",
       layer: s.layer ?? "technique",
@@ -51384,7 +51574,7 @@ async function syncSkills(paths, client, seed, pins = [], techSeed) {
   const staleDaemon = res.staleDaemon && res.latestDaemonVersion ? { latest: res.latestDaemonVersion } : void 0;
   mkdirSync6(paths.skillsDir, { recursive: true });
   if (res.skills.length === 0 && pins.length === 0) {
-    const existing = readdirSync6(paths.skillsDir).filter((f) => f.endsWith(".md"));
+    const existing = readdirSync7(paths.skillsDir).filter((f) => f.endsWith(".md"));
     if (existing.length > 0) return { written: 0, pruned: 0, ...staleDaemon ? { staleDaemon } : {} };
   }
   const rows = [];
@@ -51392,7 +51582,7 @@ async function syncSkills(paths, client, seed, pins = [], techSeed) {
   for (const s of res.skills) {
     const fileName = skillFileName(s.id);
     keep.add(fileName);
-    writeFileSync11(join18(paths.skillsDir, fileName), s.markdown, "utf8");
+    writeFileSync12(join19(paths.skillsDir, fileName), s.markdown, "utf8");
     rows.push({
       id: s.id,
       title: s.title,
@@ -51405,7 +51595,7 @@ async function syncSkills(paths, client, seed, pins = [], techSeed) {
     const fileName = skillFileName(p.id);
     if (keep.has(fileName)) continue;
     keep.add(fileName);
-    writeFileSync11(join18(paths.skillsDir, fileName), p.markdown, "utf8");
+    writeFileSync12(join19(paths.skillsDir, fileName), p.markdown, "utf8");
     rows.push({
       id: p.id,
       title: p.title,
@@ -51415,17 +51605,17 @@ async function syncSkills(paths, client, seed, pins = [], techSeed) {
     });
   }
   let pruned = 0;
-  for (const f of readdirSync6(paths.skillsDir)) {
+  for (const f of readdirSync7(paths.skillsDir)) {
     if (!f.endsWith(".md")) continue;
     if (keep.has(basename4(f))) continue;
     try {
-      unlinkSync2(join18(paths.skillsDir, f));
+      unlinkSync2(join19(paths.skillsDir, f));
       pruned++;
     } catch {
     }
   }
   rows.sort((a, b) => a.id.localeCompare(b.id));
-  writeFileSync11(
+  writeFileSync12(
     paths.skillsManifest,
     JSON.stringify({ generatedAt: Date.now(), skills: rows }, null, 2),
     "utf8"
@@ -51437,22 +51627,22 @@ async function syncSkills(paths, client, seed, pins = [], techSeed) {
 init_src2();
 import {
   cpSync,
-  existsSync as existsSync15,
+  existsSync as existsSync16,
   lstatSync,
   mkdirSync as mkdirSync7,
-  readFileSync as readFileSync14,
-  readdirSync as readdirSync7,
+  readFileSync as readFileSync15,
+  readdirSync as readdirSync8,
   rmSync as rmSync2,
   symlinkSync,
-  writeFileSync as writeFileSync12
+  writeFileSync as writeFileSync13
 } from "node:fs";
-import { join as join19 } from "node:path";
+import { join as join20 } from "node:path";
 var SKILL_NS = "errata-";
 var HARNESS_SKILL_DIRS = [
-  { configDir: ".claude", skillsDir: join19(".claude", "skills") },
+  { configDir: ".claude", skillsDir: join20(".claude", "skills") },
   // Cursor adopted the standard; its exact project dir is still moving — kept
   // best-effort and gated on `.cursor/` presence so we never create it blind.
-  { configDir: ".cursor", skillsDir: join19(".cursor", "skills") }
+  { configDir: ".cursor", skillsDir: join20(".cursor", "skills") }
 ];
 function skillSlug(title, id) {
   const base = title.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "") || id.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "") || "skill";
@@ -51497,12 +51687,12 @@ function skillCiteHandle(s) {
   return priorHandle({ id: s.id, description: s.title });
 }
 function reconcileNamespaced(dir, keep) {
-  if (!existsSync15(dir)) return 0;
+  if (!existsSync16(dir)) return 0;
   let pruned = 0;
-  for (const name2 of readdirSync7(dir)) {
+  for (const name2 of readdirSync8(dir)) {
     if (!name2.startsWith(SKILL_NS) || keep.has(name2)) continue;
     try {
-      rmSync2(join19(dir, name2), { recursive: true, force: true });
+      rmSync2(join20(dir, name2), { recursive: true, force: true });
       pruned++;
     } catch {
     }
@@ -51511,7 +51701,7 @@ function reconcileNamespaced(dir, keep) {
 }
 function linkOrCopy(linkPath, target) {
   try {
-    if (existsSync15(linkPath) || safeLstat(linkPath)) rmSync2(linkPath, { recursive: true, force: true });
+    if (existsSync16(linkPath) || safeLstat(linkPath)) rmSync2(linkPath, { recursive: true, force: true });
   } catch {
   }
   try {
@@ -51532,7 +51722,7 @@ function safeLstat(p) {
   }
 }
 function emitAndProjectSkills(root, skills) {
-  const agentsSkillsDir = join19(root, ".agents", "skills");
+  const agentsSkillsDir = join20(root, ".agents", "skills");
   mkdirSync7(agentsSkillsDir, { recursive: true });
   const slugs = [];
   const keep = /* @__PURE__ */ new Set();
@@ -51540,7 +51730,7 @@ function emitAndProjectSkills(root, skills) {
   for (const s of skills) {
     let body2;
     try {
-      body2 = readFileSync14(s.bodyPath, "utf8");
+      body2 = readFileSync15(s.bodyPath, "utf8");
     } catch {
       continue;
     }
@@ -51549,9 +51739,9 @@ function emitAndProjectSkills(root, skills) {
     keep.add(slug2);
     slugs.push(slug2);
     const description = deriveDescription(s.title, s.layer, body2);
-    mkdirSync7(join19(agentsSkillsDir, slug2), { recursive: true });
-    writeFileSync12(
-      join19(agentsSkillsDir, slug2, "SKILL.md"),
+    mkdirSync7(join20(agentsSkillsDir, slug2), { recursive: true });
+    writeFileSync13(
+      join20(agentsSkillsDir, slug2, "SKILL.md"),
       renderSkillMd(slug2, description, body2, skillCiteHandle(s)),
       "utf8"
     );
@@ -51560,11 +51750,11 @@ function emitAndProjectSkills(root, skills) {
   reconcileNamespaced(agentsSkillsDir, keep);
   let projected = 0;
   for (const h of HARNESS_SKILL_DIRS) {
-    if (!existsSync15(join19(root, h.configDir))) continue;
-    const dir = join19(root, h.skillsDir);
+    if (!existsSync16(join20(root, h.configDir))) continue;
+    const dir = join20(root, h.skillsDir);
     mkdirSync7(dir, { recursive: true });
     for (const slug2 of slugs) {
-      linkOrCopy(join19(dir, slug2), join19(agentsSkillsDir, slug2));
+      linkOrCopy(join20(dir, slug2), join20(agentsSkillsDir, slug2));
       projected++;
     }
     reconcileNamespaced(dir, keep);
@@ -51573,15 +51763,15 @@ function emitAndProjectSkills(root, skills) {
   return { slugs, emitted, projected };
 }
 function emitInputsFromManifest(erretaDir, manifestPath) {
-  if (!existsSync15(manifestPath)) return [];
+  if (!existsSync16(manifestPath)) return [];
   try {
-    const parsed = JSON.parse(readFileSync14(manifestPath, "utf8"));
+    const parsed = JSON.parse(readFileSync15(manifestPath, "utf8"));
     return (parsed.skills ?? []).filter((s) => Boolean(s.id && s.file)).map((s) => ({
       id: s.id,
       title: s.title ?? s.id,
       layer: s.layer ?? "technique",
       confidence: s.confidence ?? 0,
-      bodyPath: join19(erretaDir, s.file)
+      bodyPath: join20(erretaDir, s.file)
     }));
   } catch {
     return [];
@@ -51595,17 +51785,17 @@ var GITIGNORE_LINES = [
   ".cursor/skills/errata-*/"
 ];
 function ensureSkillGitignore(root) {
-  const path2 = join19(root, ".gitignore");
+  const path2 = join20(root, ".gitignore");
   let current = "";
   try {
-    current = existsSync15(path2) ? readFileSync14(path2, "utf8") : "";
+    current = existsSync16(path2) ? readFileSync15(path2, "utf8") : "";
   } catch {
     return;
   }
   if (current.includes(GITIGNORE_MARK)) return;
   const prefix = current.length > 0 && !current.endsWith("\n") ? "\n" : "";
   try {
-    writeFileSync12(path2, `${current}${prefix}
+    writeFileSync13(path2, `${current}${prefix}
 ${GITIGNORE_LINES.join("\n")}
 `, "utf8");
   } catch {
@@ -51769,20 +51959,20 @@ var CausalBuffer = class {
 // src/profile.ts
 init_src2();
 init_paths();
-import { existsSync as existsSync17, readFileSync as readFileSync16, writeFileSync as writeFileSync13 } from "node:fs";
+import { existsSync as existsSync18, readFileSync as readFileSync17, writeFileSync as writeFileSync14 } from "node:fs";
 import { createHash as createHash12 } from "node:crypto";
-import { join as join21 } from "node:path";
+import { join as join22 } from "node:path";
 
 // src/git-remote.ts
 init_src();
-import { existsSync as existsSync16, readFileSync as readFileSync15, statSync as statSync4 } from "node:fs";
-import { isAbsolute as isAbsolute3, join as join20, resolve as resolve5 } from "node:path";
+import { existsSync as existsSync17, readFileSync as readFileSync16, statSync as statSync4 } from "node:fs";
+import { isAbsolute as isAbsolute3, join as join21, resolve as resolve5 } from "node:path";
 function resolveGitDir(root) {
-  const dotGit = join20(root, ".git");
+  const dotGit = join21(root, ".git");
   try {
     const st = statSync4(dotGit);
     if (st.isDirectory()) return dotGit;
-    const m = /^gitdir:\s*(.+?)\s*$/m.exec(readFileSync15(dotGit, "utf8"));
+    const m = /^gitdir:\s*(.+?)\s*$/m.exec(readFileSync16(dotGit, "utf8"));
     if (!m) return null;
     const dir = m[1];
     return isAbsolute3(dir) ? dir : resolve5(root, dir);
@@ -51791,22 +51981,22 @@ function resolveGitDir(root) {
   }
 }
 function gitConfigPath(gitDir) {
-  const commondirFile = join20(gitDir, "commondir");
-  if (existsSync16(commondirFile)) {
-    const common = readFileSync15(commondirFile, "utf8").trim();
+  const commondirFile = join21(gitDir, "commondir");
+  if (existsSync17(commondirFile)) {
+    const common = readFileSync16(commondirFile, "utf8").trim();
     const commonDir = isAbsolute3(common) ? common : resolve5(gitDir, common);
-    return join20(commonDir, "config");
+    return join21(commonDir, "config");
   }
-  return join20(gitDir, "config");
+  return join21(gitDir, "config");
 }
 function readRemotes(root) {
   const gitDir = resolveGitDir(root);
   if (!gitDir) return [];
   const cfgPath = gitConfigPath(gitDir);
-  if (!existsSync16(cfgPath)) return [];
+  if (!existsSync17(cfgPath)) return [];
   let txt;
   try {
-    txt = readFileSync15(cfgPath, "utf8");
+    txt = readFileSync16(cfgPath, "utf8");
   } catch {
     return [];
   }
@@ -51838,13 +52028,13 @@ function refreshRepoLocator(root, profile) {
 }
 function loadProfile(root) {
   const p = workspacePaths(root);
-  if (!existsSync17(p.workspaceJson)) return null;
-  return JSON.parse(readFileSync16(p.workspaceJson, "utf8"));
+  if (!existsSync18(p.workspaceJson)) return null;
+  return JSON.parse(readFileSync17(p.workspaceJson, "utf8"));
 }
 function saveProfile(root, profile) {
   const p = workspacePaths(root);
   ensureDir(p.configDir);
-  writeFileSync13(p.workspaceJson, JSON.stringify(profile, null, 2), "utf8");
+  writeFileSync14(p.workspaceJson, JSON.stringify(profile, null, 2), "utf8");
 }
 function autodetectProfile(root) {
   const id = workspaceId(root);
@@ -51852,10 +52042,10 @@ function autodetectProfile(root) {
   const p = emptyProfile(id, name2);
   const locator = detectRepoLocator(root);
   if (locator) p.repoLocator = locator;
-  const pkgPath = join21(root, "package.json");
-  if (existsSync17(pkgPath)) {
+  const pkgPath = join22(root, "package.json");
+  if (existsSync18(pkgPath)) {
     try {
-      const pkg = JSON.parse(readFileSync16(pkgPath, "utf8"));
+      const pkg = JSON.parse(readFileSync17(pkgPath, "utf8"));
       p.languages.push("typescript", "javascript");
       const nodeVer = pkg.engines?.node ?? "node";
       p.stack.push(`node@${nodeVer}`);
@@ -51876,10 +52066,10 @@ function autodetectProfile(root) {
     } catch {
     }
   }
-  const pyproject = join21(root, "pyproject.toml");
-  if (existsSync17(pyproject)) {
+  const pyproject = join22(root, "pyproject.toml");
+  if (existsSync18(pyproject)) {
     try {
-      const txt = readFileSync16(pyproject, "utf8");
+      const txt = readFileSync17(pyproject, "utf8");
       const py = /python\s*=\s*"([^"]+)"/.exec(txt)?.[1];
       p.languages.push("python");
       p.stack.push(`python@${py ?? "3"}`);
@@ -51890,16 +52080,16 @@ function autodetectProfile(root) {
     } catch {
     }
   }
-  const reqs = join21(root, "requirements.txt");
-  if (existsSync17(reqs)) {
+  const reqs = join22(root, "requirements.txt");
+  if (existsSync18(reqs)) {
     if (!p.languages.includes("python")) p.languages.push("python");
     if (!p.stack.includes("python@3")) p.stack.push("python@3");
   }
-  if (existsSync17(join21(root, "go.mod"))) {
+  if (existsSync18(join22(root, "go.mod"))) {
     p.languages.push("go");
     p.stack.push("go");
   }
-  if (existsSync17(join21(root, "Cargo.toml"))) {
+  if (existsSync18(join22(root, "Cargo.toml"))) {
     p.languages.push("rust");
     p.stack.push("rust");
   }
@@ -52057,7 +52247,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.192" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.201" : "2.0.0-alpha.0";
 var IGNORED_PATH = /[\\/](?:\.git|node_modules|\.errata|\.claude|\.codex|\.cursor|\.turbo|\.next|dist|coverage|test-results|playwright-report|__pycache__)(?:[\\/]|$)/;
 var IGNORED_NOISE = /castalia\.db|eventlog\.sqlite|turn-cursors/;
 var GIT_OP_MUTE_MS = 4e3;
@@ -52067,7 +52257,7 @@ var TURN_REPLAY_LOOKBACK_MS = 7 * 24 * 60 * 6e4;
 function appendIdentityAudit(path2, record2, line) {
   if (!record2.accepted && record2.score <= 0) return;
   try {
-    if (existsSync18(path2) && statSync5(path2).size >= IDENTITY_AUDIT_MAX_BYTES) {
+    if (existsSync19(path2) && statSync5(path2).size >= IDENTITY_AUDIT_MAX_BYTES) {
       renameSync2(path2, `${path2}.1`);
     }
     appendFileSync2(path2, line);
@@ -52077,14 +52267,14 @@ function appendIdentityAudit(path2, record2, line) {
 var yieldToLoop = () => new Promise((r) => setImmediate(r));
 function loadTurnCursors(path2) {
   try {
-    return new Map(Object.entries(JSON.parse(readFileSync17(path2, "utf8"))));
+    return new Map(Object.entries(JSON.parse(readFileSync18(path2, "utf8"))));
   } catch {
     return /* @__PURE__ */ new Map();
   }
 }
 function saveTurnCursors(path2, cursors) {
   try {
-    writeFileSync14(path2, JSON.stringify(Object.fromEntries(cursors)), "utf8");
+    writeFileSync15(path2, JSON.stringify(Object.fromEntries(cursors)), "utf8");
   } catch {
   }
 }
@@ -52106,7 +52296,7 @@ function gitSourceWatchTargets(root) {
         ["-C", root, "ls-files", "--others", "--ignored", "--exclude-standard", "--directory", "-z"],
         { encoding: "utf8", maxBuffer: 256 * 1024 * 1024, windowsHide: true, stdio: ["ignore", "pipe", "ignore"] }
       );
-      ignoredDirs = igOut.split("\0").filter(Boolean).map((d) => d.replace(/\/+$/, "")).filter((d) => !IGNORED_PATH.test(join22(root, d) + sep4));
+      ignoredDirs = igOut.split("\0").filter(Boolean).map((d) => d.replace(/\/+$/, "")).filter((d) => !IGNORED_PATH.test(join23(root, d) + sep4));
     } catch {
     }
     const hasIgnoredChild = (dir) => ignoredDirs.some((ig) => ig.startsWith(dir + "/"));
@@ -52118,19 +52308,19 @@ function gitSourceWatchTargets(root) {
         if (!f.startsWith(prefix)) continue;
         const rest2 = f.slice(prefix.length);
         if (rest2.includes("/")) children.add(dir === "" ? rest2.slice(0, rest2.indexOf("/")) : dir + "/" + rest2.slice(0, rest2.indexOf("/")));
-        else targets.add(join22(root, f));
+        else targets.add(join23(root, f));
       }
       for (const c of children) {
-        if (IGNORED_PATH.test(join22(root, c) + sep4)) continue;
+        if (IGNORED_PATH.test(join23(root, c) + sep4)) continue;
         if (hasIgnoredChild(c)) addUnder(c);
-        else targets.add(join22(root, c));
+        else targets.add(join23(root, c));
       }
     };
     addUnder("");
     if (targets.size > 0) return [...targets];
   } catch {
   }
-  return readdirSync8(root, { withFileTypes: true }).filter((e) => e.isDirectory() && !IGNORED_PATH.test(join22(root, String(e.name)) + sep4)).map((e) => join22(root, String(e.name)));
+  return readdirSync9(root, { withFileTypes: true }).filter((e) => e.isDirectory() && !IGNORED_PATH.test(join23(root, String(e.name)) + sep4)).map((e) => join23(root, String(e.name)));
 }
 function createWorkspaceEngine(opts) {
   const paths = workspacePaths(opts.workspaceRoot);
@@ -52284,7 +52474,7 @@ function createWorkspaceEngine(opts) {
       const srcPaths = diff.changedPaths.filter((p) => /\.(ts|tsx|js|jsx|mjs|cjs|py)$/i.test(p));
       let episodeId2;
       if (srcPaths.length > 0) {
-        const abs = srcPaths.map((p) => join22(opts.workspaceRoot, p));
+        const abs = srcPaths.map((p) => join23(opts.workspaceRoot, p));
         try {
           const r = await runReindexPass(
             `git-reindex:${profile.name} (${abs.length} files)`,
@@ -52320,8 +52510,8 @@ function createWorkspaceEngine(opts) {
         `[errata] git: ${ev.kind} ${ev.newSha.slice(0, 7)} by ${meta3.authorName} \u2014 ${diff.changedPaths.length} file(s), ${diff.renames.length} rename(s)`
       );
     };
-    const gitDir = join22(opts.workspaceRoot, ".git");
-    if (existsSync18(gitDir)) {
+    const gitDir = join23(opts.workspaceRoot, ".git");
+    if (existsSync19(gitDir)) {
       stopGit = startGitSensor(gitDir, (ev) => {
         void handleGitEvent(ev).catch((err2) => {
           console.warn("[errata] git event handler failed:", err2);
@@ -52391,10 +52581,10 @@ function createWorkspaceEngine(opts) {
     });
     doneRender?.();
     writeContextFile(opts.workspaceRoot, body2);
-    const target = join22(opts.workspaceRoot, "AGENTS.md");
+    const target = join23(opts.workspaceRoot, "AGENTS.md");
     writeManagedBlock(target, { body: AGENTS_POINTER_BODY, stable: true, force: true });
     if (elicit) {
-      writePrimingHandles(join22(paths.configDir, "priming-handles.json"), [
+      writePrimingHandles(join23(paths.configDir, "priming-handles.json"), [
         ...snapshot.recentProblems.map((r) => r.node),
         // Resolved-band handles: the ✓ problem AND its Solution are citable
         // (a fix tag on an already-resolved problem no-ops idempotently; the
@@ -52485,6 +52675,21 @@ function createWorkspaceEngine(opts) {
     } catch (err2) {
       console.warn("[errata] anchor backfill failed:", err2);
     }
+    try {
+      const c = backfillConstraintKind(store, {
+        root: opts.workspaceRoot,
+        configDir: paths.configDir,
+        now: Date.now()
+      });
+      if (!c.skipped && (c.stamped > 0 || c.detached > 0)) {
+        console.log(
+          `[errata] constraint backfill: ${c.stamped} design tension(s) marked` + (c.detached > 0 ? `; ${c.detached} fabricated resolution(s) detached, ${c.reopened} reopened` : "") + (c.witnessed > 0 ? `; ${c.witnessed} cited discharge(s) kept` : "") + (c.cloudTwins.length > 0 ? ` \u2014 ${c.cloudTwins.length} already contributed; run scripts/repair-cloud-constraints.ts to repair the cloud twins` : "")
+        );
+        refreshContextNow();
+      }
+    } catch (err2) {
+      console.warn("[errata] constraint backfill failed:", err2);
+    }
     const report = runNightlyPipeline(store);
     try {
       const m = mergeDuplicateProblems(store, { ts: Date.now() });
@@ -52584,7 +52789,7 @@ function createWorkspaceEngine(opts) {
       resultSummary: { exitCode: e.exitCode ?? 1, errorTokens: e.errorTokens }
     });
   };
-  const turnCursorPath = join22(paths.configDir, "turn-cursors.json");
+  const turnCursorPath = join23(paths.configDir, "turn-cursors.json");
   const lastTurnUuid = loadTurnCursors(turnCursorPath);
   const sessionLastProblem = /* @__PURE__ */ new Map();
   const sessionThreads = /* @__PURE__ */ new Map();
@@ -52607,7 +52812,7 @@ function createWorkspaceEngine(opts) {
     const t = Date.now();
     let processedTurns = 0;
     const elicit = isEdgeElicitationEnabled();
-    const handleMap = elicit ? readPrimingHandles(join22(paths.configDir, "priming-handles.json")) : {};
+    const handleMap = elicit ? readPrimingHandles(join23(paths.configDir, "priming-handles.json")) : {};
     const wsRoot = (opts.workspaceRoot ?? "").replace(/\\/g, "/");
     const toRel = (abs) => {
       const p = abs.replace(/\\/g, "/");
@@ -52649,7 +52854,7 @@ function createWorkspaceEngine(opts) {
             ts: t
           });
           if (r.created || r.corroborated) minted++;
-          sessionLastProblem.set(sessionId, designProblemId(flag.problem));
+          if (flag.kind !== "constraint") sessionLastProblem.set(sessionId, designProblemId(flag.problem));
           if (r.created || r.corroborated) {
             try {
               if (editedTurnFile) {
@@ -52729,11 +52934,13 @@ function createWorkspaceEngine(opts) {
           const dedupPath = anchorPath ?? hintPath;
           if (dedupPath) {
             try {
-              const dupId = reinforceSameAnchorProblem(store, dedupPath, profile.id, p.statement, sessionId, t);
+              const dupId = reinforceSameAnchorProblem(store, dedupPath, profile.id, p.statement, sessionId, t, p.kind);
               if (dupId) {
                 minted++;
-                sessionLastProblem.set(sessionId, dupId);
-                inScopeProblemId = dupId;
+                if (p.kind !== "constraint") {
+                  sessionLastProblem.set(sessionId, dupId);
+                  inScopeProblemId = dupId;
+                }
                 if (p.threadId) threads.set(p.threadId, dupId);
                 continue;
               }
@@ -52747,8 +52954,10 @@ function createWorkspaceEngine(opts) {
           });
           if (r.created || r.corroborated) {
             minted++;
-            sessionLastProblem.set(sessionId, designProblemId(p.statement));
-            inScopeProblemId = designProblemId(p.statement);
+            if (p.kind !== "constraint") {
+              sessionLastProblem.set(sessionId, designProblemId(p.statement));
+              inScopeProblemId = designProblemId(p.statement);
+            }
             if (p.threadId) threads.set(p.threadId, designProblemId(p.statement));
             try {
               if (anchorPath) {
@@ -53138,7 +53347,7 @@ function createWorkspaceEngine(opts) {
     try {
       const inputs = emitInputsFromManifest(paths.configDir, paths.skillsManifest);
       emitAndProjectSkills(opts.workspaceRoot, inputs);
-      writePrimingHandles(join22(paths.configDir, "priming-handles.json"), skillHandleNodes(inputs));
+      writePrimingHandles(join23(paths.configDir, "priming-handles.json"), skillHandleNodes(inputs));
     } catch (err2) {
       console.warn("[skills] agent-skills projection failed (non-fatal):", err2 instanceof Error ? err2.message : err2);
     }
@@ -53325,7 +53534,7 @@ function createWorkspaceEngine(opts) {
         console.log(
           "[errata] sync skipped \u2014 cloud sync consent is off (enable with `errata consent sync on`)"
         );
-        const pending = existsSync18(paths.outbox) ? readdirSync8(paths.outbox).filter((f) => f.endsWith(".json")).length : 0;
+        const pending = existsSync19(paths.outbox) ? readdirSync9(paths.outbox).filter((f) => f.endsWith(".json")).length : 0;
         return { uploaded: 0, failed: 0, remaining: pending };
       }
       try {
@@ -53412,7 +53621,7 @@ async function startDaemon(opts) {
     reviewUrl: () => webUiUrl + "/review"
   });
   const writeLockFile = (url2) => {
-    writeFileSync15(
+    writeFileSync16(
       engine.paths.daemonLock,
       JSON.stringify({ pid: process.pid, webUiUrl: url2, startedAt: Date.now() }),
       "utf8"
@@ -53455,7 +53664,7 @@ async function startDaemon(opts) {
       );
       await engine.stop();
       try {
-        if (existsSync19(engine.paths.daemonLock)) {
+        if (existsSync20(engine.paths.daemonLock)) {
         }
       } catch {
       }
@@ -53472,16 +53681,16 @@ async function listenServer(fetchFn, port) {
 
 // src/registry.ts
 init_paths();
-import { existsSync as existsSync20, readFileSync as readFileSync18, writeFileSync as writeFileSync16 } from "node:fs";
-import { join as join23 } from "node:path";
+import { existsSync as existsSync21, readFileSync as readFileSync19, writeFileSync as writeFileSync17 } from "node:fs";
+import { join as join24 } from "node:path";
 function registryPath() {
-  return process.env["ERRATA_REGISTRY_PATH"] ?? join23(globalDir(), "workspaces.json");
+  return process.env["ERRATA_REGISTRY_PATH"] ?? join24(globalDir(), "workspaces.json");
 }
 function read() {
   const p = registryPath();
-  if (!existsSync20(p)) return { version: 1, workspaces: {} };
+  if (!existsSync21(p)) return { version: 1, workspaces: {} };
   try {
-    const parsed = JSON.parse(readFileSync18(p, "utf8"));
+    const parsed = JSON.parse(readFileSync19(p, "utf8"));
     return { version: 1, workspaces: parsed.workspaces ?? {} };
   } catch {
     return { version: 1, workspaces: {} };
@@ -53489,7 +53698,7 @@ function read() {
 }
 function write(reg) {
   ensureDir(globalDir());
-  writeFileSync16(registryPath(), JSON.stringify(reg, null, 2), "utf8");
+  writeFileSync17(registryPath(), JSON.stringify(reg, null, 2), "utf8");
 }
 function registerWorkspace(profile, root, now = Date.now()) {
   const reg = read();
@@ -53506,7 +53715,7 @@ function pruneMissingWorkspaces() {
   const reg = read();
   const removed = [];
   for (const [id, entry] of Object.entries(reg.workspaces)) {
-    if (!existsSync20(entry.path)) {
+    if (!existsSync21(entry.path)) {
       removed.push(entry);
       delete reg.workspaces[id];
     }
@@ -53515,13 +53724,13 @@ function pruneMissingWorkspaces() {
   return removed;
 }
 function workspaceStatus(entry) {
-  const missing = !existsSync20(entry.path);
+  const missing = !existsSync21(entry.path);
   const lockPath = workspacePaths(entry.path).daemonLock;
   let running = false;
   let webUiUrl = null;
-  if (existsSync20(lockPath)) {
+  if (existsSync21(lockPath)) {
     try {
-      const lock = JSON.parse(readFileSync18(lockPath, "utf8"));
+      const lock = JSON.parse(readFileSync19(lockPath, "utf8"));
       if (lock.pid && lock.webUiUrl && pidAlive(lock.pid)) {
         running = true;
         webUiUrl = lock.webUiUrl;
@@ -53549,7 +53758,7 @@ function pidAlive(pid) {
 // src/multi.ts
 init_dist();
 init_src4();
-import { readFileSync as readFileSync21, unlinkSync as unlinkSync3, writeFileSync as writeFileSync17 } from "node:fs";
+import { readFileSync as readFileSync22, unlinkSync as unlinkSync3, writeFileSync as writeFileSync18 } from "node:fs";
 
 // src/principle-sync.ts
 init_src4();
@@ -53577,8 +53786,8 @@ init_reconcile();
 
 // src/lockfile-auto.ts
 init_src();
-import { existsSync as existsSync21, readFileSync as readFileSync19 } from "node:fs";
-import { join as join24 } from "node:path";
+import { existsSync as existsSync22, readFileSync as readFileSync20 } from "node:fs";
+import { join as join25 } from "node:path";
 
 // src/package-index.ts
 init_src();
@@ -53724,11 +53933,11 @@ function runLockfilePass(opts) {
     { file: "package-lock.json", parse: parsePackageLockJson }
   ];
   for (const c of candidates) {
-    const p = join24(opts.root, c.file);
-    if (!existsSync21(p)) continue;
+    const p = join25(opts.root, c.file);
+    if (!existsSync22(p)) continue;
     let sbom;
     try {
-      sbom = c.parse(readFileSync19(p, "utf8"));
+      sbom = c.parse(readFileSync20(p, "utf8"));
     } catch {
       continue;
     }
@@ -54171,7 +54380,7 @@ var ConsolidateWorker = class {
 init_paths();
 
 // src/lock.ts
-import { existsSync as existsSync22, readFileSync as readFileSync20 } from "node:fs";
+import { existsSync as existsSync23, readFileSync as readFileSync21 } from "node:fs";
 function isProcessAlive(pid) {
   if (!pid || pid <= 0) return false;
   try {
@@ -54182,9 +54391,9 @@ function isProcessAlive(pid) {
   }
 }
 function readDaemonLock(lockPath) {
-  if (!existsSync22(lockPath)) return null;
+  if (!existsSync23(lockPath)) return null;
   try {
-    const lock = JSON.parse(readFileSync20(lockPath, "utf8"));
+    const lock = JSON.parse(readFileSync21(lockPath, "utf8"));
     return typeof lock.pid === "number" ? lock : null;
   } catch {
     return null;
@@ -54426,12 +54635,12 @@ async function reanchorProject(opts) {
 }
 
 // src/adopt.ts
-import { existsSync as existsSync23 } from "node:fs";
-import { dirname as dirname9, join as join25 } from "node:path";
+import { existsSync as existsSync24 } from "node:fs";
+import { dirname as dirname9, join as join26 } from "node:path";
 function findGitRoot(absPath) {
   let dir = absPath;
   for (let depth = 0; depth < 64; depth++) {
-    if (existsSync23(join25(dir, ".git"))) return dir;
+    if (existsSync24(join26(dir, ".git"))) return dir;
     const parent = dirname9(dir);
     if (parent === dir) return null;
     dir = parent;
@@ -54653,7 +54862,7 @@ async function startMultiDaemon(opts = {}) {
     void ambientLinkAll();
     app.route(`/ws/${rec.id}`, rec.webApp);
     try {
-      writeFileSync17(
+      writeFileSync18(
         rec.engine.paths.daemonLock,
         JSON.stringify({ pid: process.pid, webUiUrl: `${baseUrl}/ws/${rec.id}`, startedAt: Date.now() }),
         "utf8"
@@ -54842,7 +55051,7 @@ async function startMultiDaemon(opts = {}) {
   baseUrl = `http://127.0.0.1:${port}`;
   try {
     ensureDir(globalDir());
-    writeFileSync17(
+    writeFileSync18(
       lockPath,
       JSON.stringify({ pid: process.pid, webUiUrl: baseUrl, startedAt: Date.now() }),
       "utf8"
@@ -54851,7 +55060,7 @@ async function startMultiDaemon(opts = {}) {
   }
   for (const r of records) {
     try {
-      writeFileSync17(
+      writeFileSync18(
         r.engine.paths.daemonLock,
         JSON.stringify({ pid: process.pid, webUiUrl: `${baseUrl}/ws/${r.id}`, startedAt: Date.now() }),
         "utf8"
@@ -55319,7 +55528,7 @@ async function startMultiDaemon(opts = {}) {
     },
     async stop() {
       try {
-        const cur = readFileSync21(lockPath, "utf8");
+        const cur = readFileSync22(lockPath, "utf8");
         if (JSON.parse(cur).pid === process.pid) unlinkSync3(lockPath);
       } catch {
       }
@@ -56339,21 +56548,21 @@ async function cmdInit() {
   if (!skipHooks) {
     console.log("");
     console.log("installing harness hooks...");
-    const { existsSync: existsSync25 } = await import("node:fs");
-    const { join: join27 } = await import("node:path");
+    const { existsSync: existsSync26 } = await import("node:fs");
+    const { join: join28 } = await import("node:path");
     try {
       await installClaudeHooks(port);
     } catch (err2) {
       console.warn(`  \u26A0\uFE0F  Claude hook install failed: ${err2 instanceof Error ? err2.message : err2}`);
     }
-    if (existsSync25(join27(ROOT, ".cursor"))) {
+    if (existsSync26(join28(ROOT, ".cursor"))) {
       try {
         await installCursorMcpConfig();
       } catch (err2) {
         console.warn(`  \u26A0\uFE0F  Cursor MCP config failed: ${err2 instanceof Error ? err2.message : err2}`);
       }
     }
-    if (existsSync25(join27(ROOT, ".codex"))) {
+    if (existsSync26(join28(ROOT, ".codex"))) {
       try {
         await installCodexHooks(port);
       } catch (err2) {
@@ -56510,8 +56719,8 @@ async function cmdStatus() {
     console.log(`    stack:     ${profile.stack.join(", ") || "(none)"}`);
     console.log(`    languages: ${profile.languages.join(", ") || "(none)"}`);
   }
-  console.log(`  graph db:  ${existsSync24(paths.castalia) ? "yes" : "no"} (${paths.castalia})`);
-  console.log(`  event log: ${existsSync24(paths.eventLog) ? "yes" : "no"} (${paths.eventLog})`);
+  console.log(`  graph db:  ${existsSync25(paths.castalia) ? "yes" : "no"} (${paths.castalia})`);
+  console.log(`  event log: ${existsSync25(paths.eventLog) ? "yes" : "no"} (${paths.eventLog})`);
   const lockPath = globalDaemonLock();
   const running = isDaemonAlive(lockPath) ? readDaemonLock(lockPath) : null;
   console.log(
@@ -57141,11 +57350,11 @@ function cmdInstallationProfile(args2) {
 }
 async function cmdReview() {
   const paths = workspacePaths(ROOT);
-  if (!existsSync24(paths.reviewQueue)) {
+  if (!existsSync25(paths.reviewQueue)) {
     console.log("(review queue empty)");
     return;
   }
-  const queue = JSON.parse(readFileSync22(paths.reviewQueue, "utf8"));
+  const queue = JSON.parse(readFileSync23(paths.reviewQueue, "utf8"));
   if (queue.length === 0) {
     console.log("(review queue empty)");
     return;
@@ -57816,7 +58025,7 @@ async function gatherRepo(store, ws) {
   };
 }
 async function gatherReportData(generatedAt) {
-  const { existsSync: existsSync25 } = await import("node:fs");
+  const { existsSync: existsSync26 } = await import("node:fs");
   const { openGraphStore: openGraphStore2 } = await Promise.resolve().then(() => (init_src4(), src_exports2));
   const cfg = loadConfig();
   const outbound = cfg.consent.sync ? "auto" : "off";
@@ -57824,7 +58033,7 @@ async function gatherReportData(generatedAt) {
   for (const ws of listWorkspaces()) {
     if (ws.missing) continue;
     const dbPath = workspacePaths(ws.path).castalia;
-    if (!existsSync25(dbPath)) continue;
+    if (!existsSync26(dbPath)) continue;
     let store = null;
     try {
       store = openGraphStore2({ path: dbPath });
@@ -57855,7 +58064,7 @@ async function gatherReportData(generatedAt) {
   };
 }
 async function cmdReport(args2) {
-  const { mkdirSync: mkdirSync8, writeFileSync: writeFileSync18 } = await import("node:fs");
+  const { mkdirSync: mkdirSync8, writeFileSync: writeFileSync19 } = await import("node:fs");
   const { renderReport: renderReport2 } = await Promise.resolve().then(() => (init_report_render(), report_render_exports));
   const includeFutureVerbs = args2.includes("--future-verbs");
   const now = /* @__PURE__ */ new Date();
@@ -57868,8 +58077,8 @@ async function cmdReport(args2) {
   const outDir = workspacePaths(ROOT).configDir;
   mkdirSync8(outDir, { recursive: true });
   const files = renderReport2(data, { includeFutureVerbs });
-  for (const f of files) writeFileSync18(join26(outDir, f.name), f.html, "utf8");
-  const indexPath = join26(outDir, "report.html");
+  for (const f of files) writeFileSync19(join27(outDir, f.name), f.html, "utf8");
+  const indexPath = join27(outDir, "report.html");
   console.log(`report \u2192 ${indexPath}`);
   console.log(
     `  ${data.repos.length} repo(s) \xB7 ${files.length} file(s) \xB7 ${data.rollup.nodes.toLocaleString("en-US")} nodes`
@@ -57987,15 +58196,15 @@ function hookRelayCommand(port, path2) {
   return process.platform === "win32" ? `cmd //c "curl -s --connect-timeout 1 --max-time 2 -X POST -H \\"Content-Type: application/json\\" --data-binary @- ${url2} 2>NUL || echo {}"` : `curl -s --connect-timeout 1 --max-time 2 -X POST -H 'Content-Type: application/json' --data-binary @- ${url2} 2>/dev/null || echo '{}'`;
 }
 async function installClaudeHooks(port) {
-  const { mkdirSync: mkdirSync8, existsSync: existsSync25, readFileSync: readFileSync23, writeFileSync: writeFileSync18 } = await import("node:fs");
-  const { join: join27 } = await import("node:path");
-  const dir = join27(ROOT, ".claude");
-  if (!existsSync25(dir)) mkdirSync8(dir, { recursive: true });
-  const file2 = join27(dir, "settings.json");
+  const { mkdirSync: mkdirSync8, existsSync: existsSync26, readFileSync: readFileSync24, writeFileSync: writeFileSync19 } = await import("node:fs");
+  const { join: join28 } = await import("node:path");
+  const dir = join28(ROOT, ".claude");
+  if (!existsSync26(dir)) mkdirSync8(dir, { recursive: true });
+  const file2 = join28(dir, "settings.json");
   let settings = {};
-  if (existsSync25(file2)) {
+  if (existsSync26(file2)) {
     try {
-      settings = JSON.parse(readFileSync23(file2, "utf8"));
+      settings = JSON.parse(readFileSync24(file2, "utf8"));
     } catch {
       console.error(`refusing to overwrite invalid JSON at ${file2}`);
       process.exit(2);
@@ -58041,10 +58250,10 @@ async function installClaudeHooks(port) {
     dropErrata(list);
     list.push({ hooks: [{ type: "command", command: injectCmd }] });
   }
-  writeFileSync18(file2, JSON.stringify(settings, null, 2) + "\n", "utf8");
+  writeFileSync19(file2, JSON.stringify(settings, null, 2) + "\n", "utf8");
   console.log(`installed Claude Code hooks \u2192 ${file2}`);
   await installClaudeMcpConfig();
-  const claudeMd = join27(ROOT, "CLAUDE.md");
+  const claudeMd = join28(ROOT, "CLAUDE.md");
   const recall = writeManagedBlock(claudeMd, { body: RECALL_FIRST_BLOCK });
   if (recall.kind === "collision") {
     console.warn(
@@ -58056,15 +58265,15 @@ async function installClaudeHooks(port) {
   console.log(`  endpoint: http://127.0.0.1:${port}/api/hook`);
 }
 async function installClaudeMcpConfig() {
-  const { mkdirSync: mkdirSync8, existsSync: existsSync25, readFileSync: readFileSync23, writeFileSync: writeFileSync18 } = await import("node:fs");
-  const { join: join27, dirname: dirname10 } = await import("node:path");
-  const file2 = join27(ROOT, ".mcp.json");
+  const { mkdirSync: mkdirSync8, existsSync: existsSync26, readFileSync: readFileSync24, writeFileSync: writeFileSync19 } = await import("node:fs");
+  const { join: join28, dirname: dirname10 } = await import("node:path");
+  const file2 = join28(ROOT, ".mcp.json");
   const dir = dirname10(file2);
-  if (!existsSync25(dir)) mkdirSync8(dir, { recursive: true });
+  if (!existsSync26(dir)) mkdirSync8(dir, { recursive: true });
   let cfg = {};
-  if (existsSync25(file2)) {
+  if (existsSync26(file2)) {
     try {
-      cfg = JSON.parse(readFileSync23(file2, "utf8"));
+      cfg = JSON.parse(readFileSync24(file2, "utf8"));
     } catch {
       console.error(`refusing to overwrite invalid JSON at ${file2}`);
       process.exit(2);
@@ -58072,21 +58281,21 @@ async function installClaudeMcpConfig() {
   }
   cfg.mcpServers ??= {};
   cfg.mcpServers["errata"] = errataMcpInvocation();
-  writeFileSync18(file2, JSON.stringify(cfg, null, 2) + "\n", "utf8");
+  writeFileSync19(file2, JSON.stringify(cfg, null, 2) + "\n", "utf8");
   console.log(`installed Claude Code MCP server config \u2192 ${file2}`);
   console.log(`  Claude Code will spawn \`errata mcp\` on workspace open.`);
   console.log(`  Tools: errata.search / locate / neighbors / callers_of / what_uses / show / similar`);
 }
 async function installCursorMcpConfig() {
-  const { mkdirSync: mkdirSync8, existsSync: existsSync25, readFileSync: readFileSync23, writeFileSync: writeFileSync18 } = await import("node:fs");
-  const { join: join27 } = await import("node:path");
-  const dir = join27(ROOT, ".cursor");
-  if (!existsSync25(dir)) mkdirSync8(dir, { recursive: true });
-  const file2 = join27(dir, "mcp.json");
+  const { mkdirSync: mkdirSync8, existsSync: existsSync26, readFileSync: readFileSync24, writeFileSync: writeFileSync19 } = await import("node:fs");
+  const { join: join28 } = await import("node:path");
+  const dir = join28(ROOT, ".cursor");
+  if (!existsSync26(dir)) mkdirSync8(dir, { recursive: true });
+  const file2 = join28(dir, "mcp.json");
   let cfg = {};
-  if (existsSync25(file2)) {
+  if (existsSync26(file2)) {
     try {
-      cfg = JSON.parse(readFileSync23(file2, "utf8"));
+      cfg = JSON.parse(readFileSync24(file2, "utf8"));
     } catch {
       console.error(`refusing to overwrite invalid JSON at ${file2}`);
       process.exit(2);
@@ -58094,7 +58303,7 @@ async function installCursorMcpConfig() {
   }
   cfg.mcpServers ??= {};
   cfg.mcpServers["errata"] = errataMcpInvocation();
-  writeFileSync18(file2, JSON.stringify(cfg, null, 2) + "\n", "utf8");
+  writeFileSync19(file2, JSON.stringify(cfg, null, 2) + "\n", "utf8");
   console.log(`installed Cursor MCP server config \u2192 ${file2}`);
   console.log(`  Cursor will spawn \`errata mcp\` on workspace open.`);
   console.log(`  Tools: errata.search / locate / neighbors / callers_of / what_uses`);
@@ -58102,16 +58311,16 @@ async function installCursorMcpConfig() {
   console.log(`  \u26A0\uFE0F  reload Cursor (Cmd/Ctrl-Shift-P \u2192 "Reload Window") to pick it up.`);
 }
 async function installCodexHooks(port) {
-  const { mkdirSync: mkdirSync8, existsSync: existsSync25, readFileSync: readFileSync23, writeFileSync: writeFileSync18 } = await import("node:fs");
-  const { join: join27 } = await import("node:path");
-  const dir = join27(ROOT, ".codex");
-  if (!existsSync25(dir)) mkdirSync8(dir, { recursive: true });
-  const file2 = join27(dir, "config.toml");
+  const { mkdirSync: mkdirSync8, existsSync: existsSync26, readFileSync: readFileSync24, writeFileSync: writeFileSync19 } = await import("node:fs");
+  const { join: join28 } = await import("node:path");
+  const dir = join28(ROOT, ".codex");
+  if (!existsSync26(dir)) mkdirSync8(dir, { recursive: true });
+  const file2 = join28(dir, "config.toml");
   const BEGIN = `# >>> errata hooks (errata-managed)`;
   const END = `# <<< errata hooks`;
   let existing = "";
-  if (existsSync25(file2)) {
-    existing = readFileSync23(file2, "utf8");
+  if (existsSync26(file2)) {
+    existing = readFileSync24(file2, "utf8");
     const beginIdx = existing.indexOf(BEGIN);
     const endIdx = existing.indexOf(END);
     if (beginIdx >= 0 && endIdx > beginIdx) {
@@ -58140,7 +58349,7 @@ ${END}
   const final = existing.length > 0 && !existing.endsWith("\n") ? `${existing}
 
 ${block}` : existing + (existing.endsWith("\n\n") ? "" : "\n") + block;
-  writeFileSync18(file2, final, "utf8");
+  writeFileSync19(file2, final, "utf8");
   console.log(`installed Codex hooks \u2192 ${file2}`);
   console.log(`  endpoint: http://127.0.0.1:${port}/api/hook`);
   console.log("");
@@ -58430,7 +58639,7 @@ async function cmdDash(args2) {
       await yieldToLoop2();
       try {
         const items = selectDurableMemory(handle2.sharedStore, r.engine.profile);
-        const res = bleedRules(join26(r.root, ".claude", "rules"), items);
+        const res = bleedRules(join27(r.root, ".claude", "rules"), items);
         if (res.written || res.pruned) {
           console.log(
             `[rules:${r.entry.name}] ${res.written} collective principle(s) \u2192 .claude/rules` + (res.pruned ? `, ${res.pruned} pruned` : "")