@inerrata-corporation/errata 2.0.17-dev.3537 → 2.0.17-dev.3549

package/consolidate-worker.mjs

@@ -15796,6 +15796,22 @@ var init_project_wire_attrs = __esm({
   }
 });
 
+// ../../packages/shared/src/edit-placeholder.ts
+function isEditPlaceholderSolution(node) {
+  if (node.label !== "Solution") return false;
+  const text = node.description.trim().toLowerCase();
+  if (text.startsWith(AUTO_MINT_PREFIX)) return true;
+  return /^fix for [^\r\n]+ \(episode_[^)]+\)$/.test(text) && !(typeof node.attrs?.["rationale"] === "string" && node.attrs["rationale"].trim());
+}
+var AUTO_MINT_PREFIX, EDIT_PLACEHOLDER_RETIREMENT;
+var init_edit_placeholder = __esm({
+  "../../packages/shared/src/edit-placeholder.ts"() {
+    "use strict";
+    AUTO_MINT_PREFIX = "addressed by an edit to ";
+    EDIT_PLACEHOLDER_RETIREMENT = "edit-placeholder-solution";
+  }
+});
+
 // ../../packages/shared/src/index.ts
 var init_src = __esm({
   "../../packages/shared/src/index.ts"() {
@@ -15827,6 +15843,7 @@ var init_src = __esm({
     init_triage_canon();
     init_history_text();
     init_project_wire_attrs();
+    init_edit_placeholder();
   }
 });
 
@@ -16331,6 +16348,54 @@ function repairSessionEvidence(input, aliases = /* @__PURE__ */ new Map()) {
   return repaired;
 }
 
+// ../../packages/local-graph/src/edit-placeholder-retirement.ts
+init_src();
+var EDIT_PLACEHOLDER_FLOOR_KEY = "edit-placeholder-retirement-1";
+function installEditPlaceholderRetirement(db) {
+  if (db.prepare("SELECT value FROM store_meta WHERE key=?").get(EDIT_PLACEHOLDER_FLOOR_KEY)) return;
+  const timestamp = `CAST(unixepoch('subsec') * 1000 AS INTEGER)`;
+  const placeholder = (n) => `(${n}.label='Solution' AND (
+    lower(trim(${n}.description)) LIKE '${AUTO_MINT_PREFIX}%'
+    OR (lower(trim(${n}.description)) GLOB 'fix for * (episode_*)'
+      AND instr(${n}.description,char(10))=0 AND instr(${n}.description,char(13))=0
+      AND trim(coalesce(json_extract(${n}.attrs_json,'$.rationale'),''))='')))`;
+  const contaminated = (n) => `(${n}.label='Claim' AND json_extract(${n}.attrs_json,'$.abstractionLevel')>=2
+    AND EXISTS(SELECT 1 FROM json_each(${n}.attrs_json,'$.members') m JOIN nodes s ON s.id=m.value
+      WHERE ${placeholder("s")} OR json_extract(s.attrs_json,'$.retiredReason')='${EDIT_PLACEHOLDER_RETIREMENT}'))`;
+  const retire = (where, reason) => `UPDATE nodes SET valid_to=coalesce(valid_to,${timestamp}),
+    attrs_json=json_set(attrs_json,'$.retiredReason','${reason}','$.retiredAt',${timestamp})
+    WHERE (valid_to IS NULL OR coalesce(json_extract(attrs_json,'$.retiredReason'),'')<>'${reason}') AND (${where});`;
+  const closeEdges = (where) => `UPDATE edges SET valid_to=${timestamp} WHERE valid_to IS NULL AND (${where});`;
+  const retired = `(SELECT id FROM nodes WHERE json_extract(attrs_json,'$.retiredReason') IN ('${EDIT_PLACEHOLDER_RETIREMENT}','edit-placeholder-member'))`;
+  const markParents = `UPDATE nodes SET attrs_json=json_set(attrs_json,'$.retiredEditPlaceholder',json('true'))
+    WHERE label='Problem' AND coalesce(json_extract(attrs_json,'$.retiredEditPlaceholder'),0)<>1
+      AND id IN (SELECT e.from_id FROM edges e JOIN nodes s ON s.id=e.to_id WHERE e.type='SOLVED_BY'
+        AND s.label='Solution' AND json_extract(s.attrs_json,'$.retiredReason')='${EDIT_PLACEHOLDER_RETIREMENT}');`;
+  db.transaction(() => {
+    db.exec(retire(placeholder("nodes"), EDIT_PLACEHOLDER_RETIREMENT));
+    db.exec(retire(contaminated("nodes"), "edit-placeholder-member"));
+    db.exec(markParents);
+    db.exec(closeEdges(`from_id IN ${retired} OR to_id IN ${retired}`));
+    for (const operation of ["INSERT", "UPDATE OF label,description,attrs_json,valid_to"]) {
+      const suffix = operation.startsWith("INSERT") ? "insert" : "update";
+      db.exec(`CREATE TRIGGER edit_placeholder_nodes_${suffix} AFTER ${operation} ON nodes
+        WHEN NEW.valid_to IS NULL AND (${placeholder("NEW")} OR ${contaminated("NEW")}) BEGIN
+          ${retire(`id=NEW.id AND label='Solution'`, EDIT_PLACEHOLDER_RETIREMENT)}
+          ${retire(contaminated("nodes"), "edit-placeholder-member")}
+          ${markParents}
+          ${closeEdges(`from_id IN ${retired} OR to_id IN ${retired}`)}
+        END;`);
+      db.exec(`CREATE TRIGGER edit_placeholder_edges_${suffix} AFTER ${suffix.toUpperCase()} ON edges
+        WHEN NEW.valid_to IS NULL AND EXISTS(SELECT 1 FROM nodes n WHERE n.id IN (NEW.from_id,NEW.to_id)
+          AND json_extract(n.attrs_json,'$.retiredReason') IN ('${EDIT_PLACEHOLDER_RETIREMENT}','edit-placeholder-member')) BEGIN
+          ${markParents}
+          ${closeEdges("id=NEW.id")}
+        END;`);
+    }
+    db.prepare("INSERT INTO store_meta(key,value) VALUES (?,?)").run(EDIT_PLACEHOLDER_FLOOR_KEY, "installed");
+  });
+}
+
 // ../../packages/local-graph/src/store.ts
 var LOCAL_RULE_OVERRIDES = {
   ANCHORED_AT: {
@@ -16582,6 +16647,7 @@ var SqliteGraphStore = class {
     }
     this.db.exec(TEMPORAL_INDEX_SQL);
     installHistoryCacheFloor(this.db);
+    installEditPlaceholderRetirement(this.db);
     if (!this.db.prepare("SELECT value FROM store_meta WHERE key = ?").get(SESSION_REPAIR_KEY)) {
       this.db.transaction(() => {
         this.repairSessionAliases();
@@ -17128,8 +17194,8 @@ var SqliteGraphStore = class {
       qname: typeof r.qname === "string" ? r.qname : null
     }));
   }
-  findAllVersionsByLabel(label) {
-    const rows = this.stmts.findByLabelAll.all(label);
+  findAllVersionsByLabel(label, attribute) {
+    const rows = attribute ? this.db.prepare("SELECT * FROM nodes WHERE label = ? AND json_extract(attrs_json, ?) = ?").all(label, `$.${attribute.path}`, attribute.value) : this.stmts.findByLabelAll.all(label);
     return rows.map(rowToNode);
   }
   searchNodes(opts) {
@@ -17573,8 +17639,8 @@ init_src();
 init_src();
 
 // ../../packages/local-graph/src/design-problem.ts
+init_src();
 var RECURRENCE_DEBOUNCE_MS = 60 * 60 * 1e3;
-var AUTO_MINT_PREFIX = "addressed by an edit to ";
 
 // ../../packages/local-graph/src/intent.ts
 init_src();
@@ -17589,6 +17655,7 @@ var STATEMENT_PATH_RE = new RegExp(
 
 // ../../packages/local-graph/src/percolate.ts
 init_src2();
+init_src();
 var PERCOLATING_LABELS = ["Claim", "Problem", "Solution"];
 var PERCOLATING_EDGES = ["CAUSED_BY", "SOLVED_BY", "CONTRADICTS"];
 var PERCOLATING_DRIFT_EDGES = ["CONTINUES", "REVEALED_BY", "SUPERSEDED_BY", "SPLIT_INTO"];
@@ -17610,6 +17677,10 @@ function percolate(l1, l2, opts) {
   l2.transaction(() => {
     for (const label of PERCOLATING_LABELS) {
       for (const n of l1.findNodesByLabel(label)) {
+        if (isEditPlaceholderSolution(n) || n.attrs["retiredReason"]) {
+          result.nodesSkipped++;
+          continue;
+        }
         if (n.label === "Problem" && n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) continue;
         if (n.attrs["source"] === "cloud") {
           const raw = l2.getMeta?.(`history-correction:${String(n.attrs["cloudNodeId"] ?? n.id)}`);
@@ -18213,6 +18284,7 @@ function induceAbstractions(l2, opts) {
   const ids = /* @__PURE__ */ new Set();
   for (const label of PERCOLATING_LABELS) {
     for (const n of l2.findNodesByLabel(label)) {
+      if (isEditPlaceholderSolution(n) || n.attrs["retiredReason"] || n.validTo != null) continue;
       if (Number(n.attrs["abstractionLevel"] ?? ABSTRACTION_LEVEL.CONCRETE) >= ABSTRACTION_LEVEL.PRINCIPLE) {
         continue;
       }
@@ -18410,6 +18482,7 @@ function buildContextIngest(store, profile, daemonVersion, ignorePatterns = [],
 
 // src/instance-ingest.ts
 init_src();
+init_src();
 init_src2();
 
 // ../../packages/privacy-edge/src/ontology.ts
@@ -19742,7 +19815,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
         semanticEndpoints.set(n.id, contributedWireId(n, opts.destinationKey));
         continue;
       }
-      if (label === "Solution" && n.description.startsWith(AUTO_MINT_PREFIX)) {
+      if (isEditPlaceholderSolution(n)) {
         composition.autoMint++;
         continue;
       }

package/errata.mjs

@@ -17479,6 +17479,22 @@ var init_project_wire_attrs = __esm({
   }
 });
 
+// ../../packages/shared/src/edit-placeholder.ts
+function isEditPlaceholderSolution(node2) {
+  if (node2.label !== "Solution") return false;
+  const text = node2.description.trim().toLowerCase();
+  if (text.startsWith(AUTO_MINT_PREFIX)) return true;
+  return /^fix for [^\r\n]+ \(episode_[^)]+\)$/.test(text) && !(typeof node2.attrs?.["rationale"] === "string" && node2.attrs["rationale"].trim());
+}
+var AUTO_MINT_PREFIX, EDIT_PLACEHOLDER_RETIREMENT;
+var init_edit_placeholder = __esm({
+  "../../packages/shared/src/edit-placeholder.ts"() {
+    "use strict";
+    AUTO_MINT_PREFIX = "addressed by an edit to ";
+    EDIT_PLACEHOLDER_RETIREMENT = "edit-placeholder-solution";
+  }
+});
+
 // ../../packages/shared/src/index.ts
 var src_exports = {};
 __export(src_exports, {
@@ -17495,6 +17511,7 @@ __export(src_exports, {
   ANCHOR_LABEL_QNAME_RE: () => ANCHOR_LABEL_QNAME_RE,
   ANCHOR_REFUSAL_REASONS: () => ANCHOR_REFUSAL_REASONS,
   ANCHOR_SYMBOL_KINDS: () => ANCHOR_SYMBOL_KINDS,
+  AUTO_MINT_PREFIX: () => AUTO_MINT_PREFIX,
   BELIEF_EDGES: () => BELIEF_EDGES,
   BRIDGE_EDGES: () => BRIDGE_EDGES,
   CAUSAL_EDGES: () => CAUSAL_EDGES,
@@ -17516,6 +17533,7 @@ __export(src_exports, {
   EDGE_CONDUCTANCE_OVERRIDES: () => EDGE_CONDUCTANCE_OVERRIDES,
   EDGE_RULES: () => EDGE_RULES,
   EDGE_WEIGHT: () => EDGE_WEIGHT,
+  EDIT_PLACEHOLDER_RETIREMENT: () => EDIT_PLACEHOLDER_RETIREMENT,
   EVIDENCE_EDGES: () => EVIDENCE_EDGES,
   FILE_ANCHOR_QNAME: () => FILE_ANCHOR_QNAME,
   GIT_EDGES: () => GIT_EDGES,
@@ -17612,6 +17630,7 @@ __export(src_exports, {
   isCloudWritableNodeLabel: () => isCloudWritableNodeLabel,
   isCodeLabel: () => isCodeLabel,
   isContextLabel: () => isContextLabel,
+  isEditPlaceholderSolution: () => isEditPlaceholderSolution,
   isInferredSource: () => isInferredSource,
   isManifestPath: () => isManifestPath,
   isMembraneSaltedId: () => isMembraneSaltedId,
@@ -17709,6 +17728,7 @@ var init_src = __esm({
     init_triage_canon();
     init_history_text();
     init_project_wire_attrs();
+    init_edit_placeholder();
   }
 });
 
@@ -18278,6 +18298,60 @@ var init_session_evidence = __esm({
   }
 });
 
+// ../../packages/local-graph/src/edit-placeholder-retirement.ts
+function installEditPlaceholderRetirement(db) {
+  if (db.prepare("SELECT value FROM store_meta WHERE key=?").get(EDIT_PLACEHOLDER_FLOOR_KEY)) return;
+  const timestamp = `CAST(unixepoch('subsec') * 1000 AS INTEGER)`;
+  const placeholder = (n) => `(${n}.label='Solution' AND (
+    lower(trim(${n}.description)) LIKE '${AUTO_MINT_PREFIX}%'
+    OR (lower(trim(${n}.description)) GLOB 'fix for * (episode_*)'
+      AND instr(${n}.description,char(10))=0 AND instr(${n}.description,char(13))=0
+      AND trim(coalesce(json_extract(${n}.attrs_json,'$.rationale'),''))='')))`;
+  const contaminated = (n) => `(${n}.label='Claim' AND json_extract(${n}.attrs_json,'$.abstractionLevel')>=2
+    AND EXISTS(SELECT 1 FROM json_each(${n}.attrs_json,'$.members') m JOIN nodes s ON s.id=m.value
+      WHERE ${placeholder("s")} OR json_extract(s.attrs_json,'$.retiredReason')='${EDIT_PLACEHOLDER_RETIREMENT}'))`;
+  const retire = (where, reason) => `UPDATE nodes SET valid_to=coalesce(valid_to,${timestamp}),
+    attrs_json=json_set(attrs_json,'$.retiredReason','${reason}','$.retiredAt',${timestamp})
+    WHERE (valid_to IS NULL OR coalesce(json_extract(attrs_json,'$.retiredReason'),'')<>'${reason}') AND (${where});`;
+  const closeEdges = (where) => `UPDATE edges SET valid_to=${timestamp} WHERE valid_to IS NULL AND (${where});`;
+  const retired = `(SELECT id FROM nodes WHERE json_extract(attrs_json,'$.retiredReason') IN ('${EDIT_PLACEHOLDER_RETIREMENT}','edit-placeholder-member'))`;
+  const markParents = `UPDATE nodes SET attrs_json=json_set(attrs_json,'$.retiredEditPlaceholder',json('true'))
+    WHERE label='Problem' AND coalesce(json_extract(attrs_json,'$.retiredEditPlaceholder'),0)<>1
+      AND id IN (SELECT e.from_id FROM edges e JOIN nodes s ON s.id=e.to_id WHERE e.type='SOLVED_BY'
+        AND s.label='Solution' AND json_extract(s.attrs_json,'$.retiredReason')='${EDIT_PLACEHOLDER_RETIREMENT}');`;
+  db.transaction(() => {
+    db.exec(retire(placeholder("nodes"), EDIT_PLACEHOLDER_RETIREMENT));
+    db.exec(retire(contaminated("nodes"), "edit-placeholder-member"));
+    db.exec(markParents);
+    db.exec(closeEdges(`from_id IN ${retired} OR to_id IN ${retired}`));
+    for (const operation of ["INSERT", "UPDATE OF label,description,attrs_json,valid_to"]) {
+      const suffix = operation.startsWith("INSERT") ? "insert" : "update";
+      db.exec(`CREATE TRIGGER edit_placeholder_nodes_${suffix} AFTER ${operation} ON nodes
+        WHEN NEW.valid_to IS NULL AND (${placeholder("NEW")} OR ${contaminated("NEW")}) BEGIN
+          ${retire(`id=NEW.id AND label='Solution'`, EDIT_PLACEHOLDER_RETIREMENT)}
+          ${retire(contaminated("nodes"), "edit-placeholder-member")}
+          ${markParents}
+          ${closeEdges(`from_id IN ${retired} OR to_id IN ${retired}`)}
+        END;`);
+      db.exec(`CREATE TRIGGER edit_placeholder_edges_${suffix} AFTER ${suffix.toUpperCase()} ON edges
+        WHEN NEW.valid_to IS NULL AND EXISTS(SELECT 1 FROM nodes n WHERE n.id IN (NEW.from_id,NEW.to_id)
+          AND json_extract(n.attrs_json,'$.retiredReason') IN ('${EDIT_PLACEHOLDER_RETIREMENT}','edit-placeholder-member')) BEGIN
+          ${markParents}
+          ${closeEdges("id=NEW.id")}
+        END;`);
+    }
+    db.prepare("INSERT INTO store_meta(key,value) VALUES (?,?)").run(EDIT_PLACEHOLDER_FLOOR_KEY, "installed");
+  });
+}
+var EDIT_PLACEHOLDER_FLOOR_KEY;
+var init_edit_placeholder_retirement = __esm({
+  "../../packages/local-graph/src/edit-placeholder-retirement.ts"() {
+    "use strict";
+    init_src();
+    EDIT_PLACEHOLDER_FLOOR_KEY = "edit-placeholder-retirement-1";
+  }
+});
+
 // ../../packages/local-graph/src/store.ts
 function localEdgeViolation(fromLabel, type, toLabel) {
   if (type in LOCAL_RULE_OVERRIDES) {
@@ -18304,7 +18378,7 @@ function graphStoreNeedsPreparation(path2) {
     for (const match2 of (SCHEMA_SQL + TEMPORAL_INDEX_SQL).matchAll(/CREATE INDEX IF NOT EXISTS (\w+)/g)) {
       if (!indexes.has(match2[1])) return true;
     }
-    return [SESSION_REPAIR_KEY, HISTORY_CACHE_FLOOR_KEY].some((key) => !db.prepare("SELECT value FROM store_meta WHERE key = ?").get(key));
+    return [SESSION_REPAIR_KEY, HISTORY_CACHE_FLOOR_KEY, EDIT_PLACEHOLDER_FLOOR_KEY].some((key) => !db.prepare("SELECT value FROM store_meta WHERE key = ?").get(key));
   } catch {
     return true;
   } finally {
@@ -18379,6 +18453,7 @@ var init_store = __esm({
     init_src();
     init_history_cache_floor();
     init_session_evidence();
+    init_edit_placeholder_retirement();
     LOCAL_RULE_OVERRIDES = {
       ANCHORED_AT: {
         from: EDGE_RULES["ANCHORED_AT"]?.from,
@@ -18557,6 +18632,7 @@ CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_js
         }
         this.db.exec(TEMPORAL_INDEX_SQL);
         installHistoryCacheFloor(this.db);
+        installEditPlaceholderRetirement(this.db);
         if (!this.db.prepare("SELECT value FROM store_meta WHERE key = ?").get(SESSION_REPAIR_KEY)) {
           this.db.transaction(() => {
             this.repairSessionAliases();
@@ -19103,8 +19179,8 @@ CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_js
           qname: typeof r.qname === "string" ? r.qname : null
         }));
       }
-      findAllVersionsByLabel(label) {
-        const rows = this.stmts.findByLabelAll.all(label);
+      findAllVersionsByLabel(label, attribute) {
+        const rows = attribute ? this.db.prepare("SELECT * FROM nodes WHERE label = ? AND json_extract(attrs_json, ?) = ?").all(label, `$.${attribute.path}`, attribute.value) : this.stmts.findByLabelAll.all(label);
         return rows.map(rowToNode);
       }
       searchNodes(opts) {
@@ -19840,6 +19916,7 @@ function addDependency(store, opts) {
 }
 function markRevisit(store, node2, reason, ts, answeredWhen) {
   const fresh = store.getNode(node2.id) ?? node2;
+  if (fresh.validTo != null || fresh.attrs["retiredReason"]) return;
   store.updateNode(node2.id, {
     attrs: {
       ...fresh.attrs,
@@ -19900,7 +19977,7 @@ function clearRevisit(store, nodeId, ts) {
   store.updateNode(nodeId, { attrs, lastUpdatedAt: ts });
 }
 function listNeedsRevisit(store, asOf) {
-  return store.nodesAsOfWhereTrue(asOf, "revisit").map((n) => ({
+  return store.nodesAsOfWhereTrue(asOf, "revisit").filter((n) => !n.attrs["retiredReason"]).map((n) => ({
     id: n.id,
     label: n.label,
     description: n.description,
@@ -21557,7 +21634,7 @@ function isFragmentFixNote(note) {
   return /^(and|but|or|nor|so|yet|also|plus)\b/i.test(t);
 }
 function isAutoMinted(n) {
-  return n.label === "Solution" && String(n.description ?? "").startsWith(AUTO_MINT_PREFIX);
+  return isEditPlaceholderSolution(n);
 }
 function solutionTextKey(text) {
   return text.trim().replace(/\s+/g, " ").toLowerCase();
@@ -21886,7 +21963,7 @@ function reopenAutoClosedProblems(store, t) {
       continue;
     }
     const sols = store.outEdges(p.id, ["SOLVED_BY"]).map((e) => store.getNode(e.to)).filter((n) => n !== null);
-    if (sols.length === 0) continue;
+    if (sols.length === 0 && p.attrs["retiredEditPlaceholder"] !== true) continue;
     if (!sols.every((s) => String(s.description ?? "").startsWith(AUTO_MINT_PREFIX))) {
       report.agentDescribed++;
       continue;
@@ -22049,7 +22126,7 @@ function priorExposure(store, nodeId, atSeq) {
   if ((n.attrs["evictedCount"] ?? 0) > 0) return "evicted";
   return "unshown";
 }
-var DESIGN_PROMOTE_AT, STATEMENT_ALIAS_CAP, RECURRENCE_DEBOUNCE_MS, PATTERN_DEDUP_COSINE, PATTERN_ALIAS_CAP, DEDUP_STOPWORDS, SAME_ANCHOR_DEDUP_JACCARD, EMPTY_FOLD_REPORT, SAME_ANCHOR_SCOUT_AUTO_COSINE, SAME_ANCHOR_SCOUT_MIN_COSINE, SAME_ANCHOR_NOMINATE_JACCARD, REOPEN_MIN_SOURCES, RECURRENCE_SOURCES_CAP, CITABLE_PRIOR_LABELS, MAX_ANCHOR_FILES, ENCLOSING_SYMBOL_KINDS, ENCLOSING_WALK_DEPTH, AUTO_MINT_PREFIX, FIX_CANDIDATE_ASK_LIMIT;
+var DESIGN_PROMOTE_AT, STATEMENT_ALIAS_CAP, RECURRENCE_DEBOUNCE_MS, PATTERN_DEDUP_COSINE, PATTERN_ALIAS_CAP, DEDUP_STOPWORDS, SAME_ANCHOR_DEDUP_JACCARD, EMPTY_FOLD_REPORT, SAME_ANCHOR_SCOUT_AUTO_COSINE, SAME_ANCHOR_SCOUT_MIN_COSINE, SAME_ANCHOR_NOMINATE_JACCARD, REOPEN_MIN_SOURCES, RECURRENCE_SOURCES_CAP, CITABLE_PRIOR_LABELS, MAX_ANCHOR_FILES, ENCLOSING_SYMBOL_KINDS, ENCLOSING_WALK_DEPTH, FIX_CANDIDATE_ASK_LIMIT;
 var init_design_problem = __esm({
   "../../packages/local-graph/src/design-problem.ts"() {
     "use strict";
@@ -22060,6 +22137,7 @@ var init_design_problem = __esm({
     init_src2();
     init_problem_package_link();
     init_problem_dedup();
+    init_src();
     DESIGN_PROMOTE_AT = 1;
     STATEMENT_ALIAS_CAP = 5;
     RECURRENCE_DEBOUNCE_MS = 60 * 60 * 1e3;
@@ -22125,7 +22203,6 @@ var init_design_problem = __esm({
       "Property"
     ]);
     ENCLOSING_WALK_DEPTH = 8;
-    AUTO_MINT_PREFIX = "addressed by an edit to ";
     FIX_CANDIDATE_ASK_LIMIT = 5;
   }
 });
@@ -22410,6 +22487,10 @@ function percolate(l1, l2, opts) {
   l2.transaction(() => {
     for (const label of PERCOLATING_LABELS) {
       for (const n of l1.findNodesByLabel(label)) {
+        if (isEditPlaceholderSolution(n) || n.attrs["retiredReason"]) {
+          result.nodesSkipped++;
+          continue;
+        }
         if (n.label === "Problem" && n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) continue;
         if (n.attrs["source"] === "cloud") {
           const raw2 = l2.getMeta?.(`history-correction:${String(n.attrs["cloudNodeId"] ?? n.id)}`);
@@ -22542,6 +22623,7 @@ var init_percolate = __esm({
   "../../packages/local-graph/src/percolate.ts"() {
     "use strict";
     init_src2();
+    init_src();
     PERCOLATING_LABELS = ["Claim", "Problem", "Solution"];
     PERCOLATING_EDGES = ["CAUSED_BY", "SOLVED_BY", "CONTRADICTS"];
     PERCOLATING_DRIFT_EDGES = ["CONTINUES", "REVEALED_BY", "SUPERSEDED_BY", "SPLIT_INTO"];
@@ -24023,6 +24105,7 @@ function induceAbstractions(l2, opts) {
   const ids = /* @__PURE__ */ new Set();
   for (const label of PERCOLATING_LABELS) {
     for (const n of l2.findNodesByLabel(label)) {
+      if (isEditPlaceholderSolution(n) || n.attrs["retiredReason"] || n.validTo != null) continue;
       if (Number(n.attrs["abstractionLevel"] ?? ABSTRACTION_LEVEL.CONCRETE) >= ABSTRACTION_LEVEL.PRINCIPLE) {
         continue;
       }
@@ -24099,6 +24182,10 @@ function pendingAbstractions(l2) {
     if (Number(n.attrs["abstractionLevel"] ?? ABSTRACTION_LEVEL.CONCRETE) < ABSTRACTION_LEVEL.PRINCIPLE) continue;
     if (n.attrs["provisional"] !== true) continue;
     const memberIds = Array.isArray(n.attrs["members"]) ? n.attrs["members"] : [];
+    if (memberIds.some((id) => {
+      const m = l2.getNode(id);
+      return !m || m.validTo != null || m.attrs["retiredReason"] || isEditPlaceholderSolution(m);
+    })) continue;
     const members = memberIds.map((id) => {
       const m = l2.getNode(id);
       return m ? { id: m.id, label: m.label, description: m.description } : { id, label: "?", description: "(member missing)" };
@@ -24130,13 +24217,19 @@ function parseAbstractionFences(text) {
 }
 function applyAbstractionFence(l2, fence, ts) {
   const node2 = l2.getNode(fence.candidate);
-  if (!node2 || node2.label !== "Claim" || Number(node2.attrs["abstractionLevel"] ?? ABSTRACTION_LEVEL.CONCRETE) < ABSTRACTION_LEVEL.PRINCIPLE) {
+  if (!node2 || node2.validTo != null || node2.attrs["retiredReason"] || node2.label !== "Claim" || Number(node2.attrs["abstractionLevel"] ?? ABSTRACTION_LEVEL.CONCRETE) < ABSTRACTION_LEVEL.PRINCIPLE) {
     return { applied: false, principleId: fence.candidate, reason: "no such abstraction candidate" };
   }
   if (node2.attrs["provisional"] !== true) {
     return { applied: false, principleId: fence.candidate, reason: "candidate already distilled" };
   }
   const members = Array.isArray(node2.attrs["members"]) ? node2.attrs["members"] : [];
+  if (members.some((id) => {
+    const m = l2.getNode(id);
+    return !m || m.validTo != null || m.attrs["retiredReason"] || isEditPlaceholderSolution(m);
+  })) {
+    return { applied: false, principleId: fence.candidate, reason: "candidate contains retired or missing evidence" };
+  }
   const want = new Set(members);
   const got = new Set(fence.covers);
   const missing = members.filter((id) => !got.has(id));
@@ -25568,7 +25661,7 @@ function renderSnapshot(s) {
   lines.push("");
   lines.push("### \u270D\uFE0F CAPTURE PROTOCOL \u2014 tags are the record");
   lines.push(
-    "For problems and fixes, errata records inline tags: `[!one line]` for every problem you state, `(fix:[id])` when your edit fixed a shown problem, and to JUDGE a prior shown below \u2014 `(confirm:[id])` if it held, `(refute:[id] why)` if it's wrong or didn't hold. Untagged prose is silently lost \u2014 tag as you write. Requested errata-* answer blocks keep their fences; put them in your turn-final reply."
+    "For ALL project work \u2014 features, UX, refactors, research, not just debugging \u2014 errata records inline tags: `[!one line]` for every problem you state (even in code you just wrote), `(constraint: why)` for each design decision, `(fix:[id])` when your edit fixed a shown problem, and to JUDGE a prior shown below \u2014 `(confirm:[id])` if it held, `(refute:[id] why)` if it's wrong or didn't hold. Untagged prose is silently lost \u2014 tag as you write. Requested errata-* answer blocks keep their fences; put them in your turn-final reply."
   );
   lines.push("");
   lines.push(SEARCH_IMPERATIVE_HEADER);
@@ -26037,7 +26130,7 @@ function diffRenderLedger(before, after) {
   for (const i2 of before) (survived.has(key(i2)) ? shown : evicted).push(i2);
   return { shown, evicted };
 }
-var RECENT_OPEN, RECENT_RESOLVED, RECENT_CONSTRAINTS, SCOPE_POOL_FACTOR, RECALL_FIRST_HEADER, RECALL_FIRST_BODY, RECALL_FIRST_BLOCK, SEARCH_IMPERATIVE_HEADER, SEARCH_IMPERATIVE_BODY, SPAWN_SHARE_HINT, SUBAGENT_OWN_BLOCK_NOTE, EVICTION_ORDER, MOTIF_FLOOR, REMOTE_FLOOR, PROBLEM_FLOOR, REVIEW_ITEM_FLOOR, DEFAULT_AGENT_CONTEXT_BUDGET;
+var RECENT_OPEN, RECENT_RESOLVED, RECENT_CONSTRAINTS, SCOPE_POOL_FACTOR, RECALL_FIRST_HEADER, RECALL_FIRST_BODY, RECALL_FIRST_BLOCK, SEARCH_IMPERATIVE_HEADER, SEARCH_IMPERATIVE_BODY, PROMPT_RECUE, SPAWN_SHARE_HINT, SUBAGENT_OWN_BLOCK_NOTE, EVICTION_ORDER, MOTIF_FLOOR, REMOTE_FLOOR, PROBLEM_FLOOR, REVIEW_ITEM_FLOOR, DEFAULT_AGENT_CONTEXT_BUDGET;
 var init_render = __esm({
   "../../packages/context-writer/src/render.ts"() {
     "use strict";
@@ -26054,7 +26147,8 @@ var init_render = __esm({
 
 ${RECALL_FIRST_BODY}`;
     SEARCH_IMPERATIVE_HEADER = "### \u{1F50E} PRIORS ARE SEEDS \u2014 a sample, not the whole graph";
-    SEARCH_IMPERATIVE_BODY = "Everything below is a budgeted slice of a much larger graph, not all errata knows. Starting a piece of work? Say what it is \u2014 we search on it between your tool calls and put what we find here:\n```errata-intent\nintent: <the work in hand, in your words>\n```\nNarration, not a detour: no tool call, no plan change. It is the one signal we cannot derive from your edits \u2014 everything else here is guessed from the files you touched.";
+    SEARCH_IMPERATIVE_BODY = "Everything below is a budgeted slice of a much larger graph, not all errata knows. New request \u2014 any task, not just a bug? Say what it is \u2014 we search on it between your tool calls and put what we find here:\n```errata-intent\nintent: <the work in hand, in your words>\n```\nNarration, not a detour: no tool call, no plan change. It is the one signal we cannot derive from your edits \u2014 everything else here is guessed from the files you touched.";
+    PROMPT_RECUE = "errata (context block above unchanged): new request \u2192 state it first:\n```errata-intent\nintent: <this request, in your words>\n```\nTag ALL project work, not just bugs \u2014 features, UX, refactors, research: problems you hit (even in code you just wrote) [!\u2026], decisions (constraint: why), approaches (tried: \u2026)/(failed: \u2026), the area (domain: \u2026). Restate tags in your final reply.";
     SPAWN_SHARE_HINT = "_Spawning a subagent? It gets its own errata block, seeded from its task \u2014 none of the priors here. To hand it some, put this in its prompt (or `priors: all` for this whole block):_\n```errata-share\npriors: [handle], [handle]\n```";
     SUBAGENT_OWN_BLOCK_NOTE = "_This block is yours: seeded from the task you were given, then from what you state and touch. The agent that spawned you sees a different one._";
     EVICTION_ORDER = [
@@ -30987,82 +31081,10 @@ function resolveProblem(store, problem, t) {
     if (suppressed) mintSuppressionAntiPattern(store, problem, liveSym, ep, t);
     return null;
   }
-  store.mergeEdge({
-    id: `edge_${digest({ from: problem.id, type: "FIXED_BY", to: ep.id })}`.slice(0, 24),
-    from: problem.id,
-    to: ep.id,
-    type: "FIXED_BY",
-    confidence: 0.7,
-    extractionSource: "daemon-extracted",
-    createdAt: t,
-    lastSeenAt: t,
-    navSuccesses: 0,
-    navFailures: 0,
-    attrs: { resolvedAt: t }
-  });
-  const solId = `solution_${digest({ logicalId: anchorLogicalId, ep: ep.id }).slice(0, 16)}`;
-  const solSeq = store.nextIngestSeq();
-  store.mergeNode({
-    id: solId,
-    label: "Solution",
-    description: `fix for ${liveSym.description} (${ep.id})`,
-    extractionConfidence: 0.7,
-    extractionSource: "daemon-extracted",
-    embedding: [],
-    cumulativeSurprise: 0,
-    peakSurprise: 0,
-    cumulativeHits: 1,
-    lastUpdatedAt: t,
-    createdAt: t,
-    createdAtSeq: solSeq,
-    lastReinforcedAtSeq: solSeq,
-    memoryTier: "short-term",
-    pageRank: 0,
-    isLandmark: false,
-    community: null,
-    stability: "forming",
-    attrs: {
-      episodeId: ep.id,
-      anchorLogicalId,
-      editSurprise: ep.attrs["editSurprise"] ?? 0,
-      workspaceId: problem.attrs["workspaceId"],
-      // Resolution-checkpoint marker (Phase 8): this fresh Solution awaits the
-      // agent's one-question enrichment pull. Cleared by annotateResolution.
-      // Lives on the Solution (a live node) so it survives the Problem's close
-      // and is visible cross-process via the shared store.
-      enrichmentPending: true,
-      problemId: problem.id,
-      problemDescription: problem.description,
-      symbolName: liveSym.description
-    }
-  });
-  store.mergeEdge({
-    id: `edge_${digest({ from: problem.id, type: "SOLVED_BY", to: solId })}`.slice(0, 24),
-    from: problem.id,
-    to: solId,
-    type: "SOLVED_BY",
-    confidence: 0.7,
-    extractionSource: "daemon-extracted",
-    createdAt: t,
-    lastSeenAt: t,
-    navSuccesses: 0,
-    navFailures: 0,
-    attrs: {}
-  });
-  store.mergeEdge({
-    id: `edge_${digest({ from: solId, type: "ANCHORED_AT", to: liveSym.id })}`.slice(0, 24),
-    from: solId,
-    to: liveSym.id,
-    type: "ANCHORED_AT",
-    confidence: 0.7,
-    extractionSource: "daemon-extracted",
-    createdAt: t,
-    lastSeenAt: t,
-    navSuccesses: 0,
-    navFailures: 0,
-    attrs: {}
+  store.updateNode(problem.id, {
+    attrs: { ...store.getNode(problem.id).attrs, resolvedAs: "edited", resolutionEpisode: ep.id, enrichmentPending: true }
   });
-  return solId;
+  return null;
 }
 function mintSuppressionAntiPattern(store, problem, liveSym, ep, t) {
   const code = problem.attrs["diagnosticCode"] ?? "";
@@ -31140,6 +31162,7 @@ function annotateResolution(store, ann, t) {
   for (const pid of ann.problemIds) {
     const problem = store.getNode(pid);
     if (!problem) continue;
+    store.updateNode(pid, { attrs: { ...problem.attrs, enrichmentPending: false } });
     const cause = ann.sharedRootCause ?? ann.perProblem?.find((p) => p.problemId === pid)?.rootCause;
     if (cause) {
       const rc = store.outEdges(pid, ["CAUSED_BY"]).map((e) => store.getNode(e.to)).find((n) => n?.label === "RootCause");
@@ -31210,6 +31233,60 @@ function annotateResolution(store, ann, t) {
       }
     }
     const sol = store.outEdges(pid, ["SOLVED_BY"]).map((e) => store.getNode(e.to)).find((n) => n?.label === "Solution");
+    if (!sol && ann.solutionRationale?.trim()) {
+      const rationale = ann.solutionRationale.trim();
+      const id = `solution_${digest({ rationale }).slice(0, 16)}`;
+      const seq = store.nextIngestSeq();
+      store.mergeNode({
+        id,
+        label: "Solution",
+        description: rationale,
+        extractionSource: "agent-observed",
+        extractionConfidence: conf,
+        validFrom: t,
+        validTo: null,
+        createdAt: t,
+        lastUpdatedAt: t,
+        createdAtSeq: seq,
+        lastReinforcedAtSeq: seq,
+        embedding: [],
+        cumulativeHits: 1,
+        pageRank: 0,
+        cumulativeSurprise: 0,
+        peakSurprise: 0,
+        isLandmark: false,
+        community: null,
+        memoryTier: "short-term",
+        stability: "forming",
+        attrs: { rationale, problemId: pid, enrichmentPending: false, workspaceId: problem.attrs["workspaceId"] }
+      });
+      store.mergeEdge({
+        id: `edge_${digest({ from: pid, type: "SOLVED_BY", to: id }).slice(0, 16)}`,
+        from: pid,
+        to: id,
+        type: "SOLVED_BY",
+        confidence: conf,
+        extractionSource: "agent-observed",
+        createdAt: t,
+        lastSeenAt: t,
+        navSuccesses: 0,
+        navFailures: 0,
+        attrs: {}
+      });
+      const anchor = store.outEdges(pid, ["ANCHORED_AT"])[0];
+      if (anchor) store.mergeEdge({
+        ...anchor,
+        id: `edge_${digest({ from: id, type: "ANCHORED_AT", to: anchor.to }).slice(0, 16)}`,
+        from: id,
+        confidence: conf,
+        extractionSource: "agent-observed",
+        createdAt: t,
+        lastSeenAt: t,
+        navSuccesses: 0,
+        navFailures: 0,
+        attrs: {}
+      });
+    }
     if (sol) {
       const attrs = { ...sol.attrs, enrichmentPending: false };
       if (ann.solutionRationale) attrs["rationale"] = ann.solutionRationale;
@@ -32244,7 +32321,7 @@ function buildAgentInstruction(opts = {}) {
   const signals = opts.signals ?? ["prior", "problem", "vulnerability", "domain", "fix", "constraint", "triage", "attempt", "link"];
   const ref = opts.referent ?? "its-handle";
   const token = (s) => s === "problem" ? TAG_EXAMPLE.problem() : s === "constraint" ? TAG_EXAMPLE.constraint() : s === "attempt" ? TAG_EXAMPLE.tried() : s === "domain" ? TAG_EXAMPLE.domain() : s === "link" ? TAG_EXAMPLE.pattern() : s === "verdict" ? TAG_EXAMPLE.confirm(ref) : TAG_EXAMPLE[s](ref);
-  const head2 = "Tag inline (no fences or backticks). Untagged findings are silently lost. Cite short handles; tag everything, we filter downstream. Requested errata-* answer blocks are the exception: keep their fences in your turn-final reply:";
+  const head2 = "Tag inline (no fences/backticks) on ALL work, not just bugs. Untagged findings are silently lost. Cite short handles; we filter downstream. Requested errata-* answer blocks are the exception: keep their fences in your turn-final reply:";
   const tail = "Restate mid-turn tags in your final reply; the harness can drop mid-turn text. EXCEPT one already shown with an id: cite [its-handle] instead of retyping (drift mints a duplicate).";
   return [
     head2,
@@ -43637,7 +43714,7 @@ function collectEnrichmentPulls(store, opts = {}) {
   const byEpisode = /* @__PURE__ */ new Map();
   for (const s of pending) {
     const ep = s.attrs["episodeId"] ?? s.id;
-    const e = byEpisode.get(ep) ?? { episodeId: ep, problems: [], solutionIds: [] };
+    const e = byEpisode.get(ep) ?? { episodeId: ep, problems: [], solutionIds: [], problemIds: [] };
     e.problems.push({
       solutionId: s.id,
       problemId: s.attrs["problemId"] ?? null,
@@ -43647,13 +43724,22 @@ function collectEnrichmentPulls(store, opts = {}) {
     e.solutionIds.push(s.id);
     byEpisode.set(ep, e);
   }
+  for (const p of store.findAllVersionsByLabel("Problem", { path: "enrichmentPending", value: 1 })) {
+    if (p.validTo == null || p.attrs["retiredReason"] || p.attrs["resolvedAs"] !== "edited") continue;
+    if (opts.onlyUnsurfaced && p.attrs["enrichmentSurfaced"] === true) continue;
+    const ep = String(p.attrs["resolutionEpisode"] ?? p.id);
+    const e = byEpisode.get(ep) ?? { episodeId: ep, problems: [], solutionIds: [], problemIds: [] };
+    e.problems.push({ solutionId: null, problemId: p.id, problem: p.description });
+    e.problemIds.push(p.id);
+    byEpisode.set(ep, e);
+  }
   return [...byEpisode.values()];
 }
 function takeEnrichmentNudge(store) {
   const pulls = collectEnrichmentPulls(store, { onlyUnsurfaced: true });
   if (pulls.length === 0) return null;
   for (const pull of pulls) {
-    for (const id of pull.solutionIds) {
+    for (const id of [...pull.solutionIds, ...pull.problemIds]) {
       const sol = store.getNode(id);
       if (sol) store.updateNode(id, { attrs: { ...sol.attrs, enrichmentSurfaced: true } });
     }
@@ -43661,9 +43747,9 @@ function takeEnrichmentNudge(store) {
   const items = pulls.map((p) => {
     const what = p.problems.map((x) => `${x["fixed"] ? `\`${x["fixed"]}\`` : "a symbol"}${x["problem"] ? ` (${x["problem"]})` : ""}`).join(", ");
     const ids = p.problems.map((x) => x["problemId"]).filter(Boolean);
-    return `\u2022 fixed ${what} \u2014 what was the root cause? a pattern? \u2192 errata.annotate_resolution problemIds:${JSON.stringify(ids)}`;
+    return `\u2022 observed ${what} stop failing \u2014 was this fixed? If known, give the root cause and solutionRationale \u2192 errata.annotate_resolution problemIds:${JSON.stringify(ids)}`;
   }).join("\n");
-  return `\u26A1 errata \u2014 ${pulls.length} recent fix(es) await a one-line root cause (optional, answer in-flow):
+  return `\u26A1 errata \u2014 ${pulls.length} observed resolution(s) await a one-line root cause and fix explanation (optional, answer in-flow):
 ` + items;
 }
 function takeDiscriminatorNudge(path2) {
@@ -45112,7 +45198,7 @@ var init_mcp = __esm({
           const pulls = collectEnrichmentPulls(store).map((p) => ({
             episodeId: p.episodeId,
             problems: p.problems,
-            question: "You just resolved the above. For each (or shared): what was the root cause, and is this an instance of a pattern? One line each."
+            question: "The above stopped failing. If you know why, provide the root cause and solutionRationale (the actual fix); optionally name a pattern. Do not guess."
           }));
           return { count: pulls.length, pulls };
         }
@@ -53386,7 +53472,7 @@ function decideContextInject(args2) {
   if (event === "SessionStart" || event === "SubagentStart") {
     if (sessionId) lastInjectedHash.set(sessionId, block.hash);
   } else if (sessionId && lastInjectedHash.get(sessionId) === block.hash) {
-    return null;
+    return event === "UserPromptSubmit" ? { hookEventName: event, additionalContext: PROMPT_RECUE } : null;
   } else {
     if (sessionId) lastInjectedHash.set(sessionId, block.hash);
   }
@@ -53835,13 +53921,14 @@ function buildWebUi(deps) {
     });
     if (decision && subagent !== null) lastSubagentInjectAt.set(contextKey2, Date.now());
     let systemMessage = null;
-    if (sid && block && recallCardEnabled() && (decision || atPrompt)) {
+    const delivered = decision !== null && decision.additionalContext !== PROMPT_RECUE;
+    if (sid && block && recallCardEnabled() && (delivered || atPrompt)) {
       const card = storedCard && subagent !== null ? forSubagent(storedCard, subagent) : storedCard;
       if (card) {
         if (subagent !== null && storedCard) rememberAgentCard(sid, agentId, storedCard);
         else rememberCard(sid, card);
-        if (decision && hookEvent === "SubagentStart") systemMessage = renderRecallLine(card);
-        else if (decision && sid.startsWith("codex:")) systemMessage = renderRecallLine(card);
+        if (delivered && hookEvent === "SubagentStart") systemMessage = renderRecallLine(card);
+        else if (delivered && sid.startsWith("codex:")) systemMessage = renderRecallLine(card);
       }
     }
     if (!decision) return c.json({});
@@ -82432,7 +82519,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.17-dev.3537" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.17-dev.3549" : "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;
@@ -85648,8 +85735,8 @@ function runLockfilePass(opts) {
 
 // src/instance-ingest.ts
 init_src();
+init_src();
 init_src2();
-init_src5();
 init_src10();
 init_src();
 
@@ -86064,7 +86151,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
         semanticEndpoints.set(n.id, contributedWireId(n, opts.destinationKey));
         continue;
       }
-      if (label === "Solution" && n.description.startsWith(AUTO_MINT_PREFIX)) {
+      if (isEditPlaceholderSolution(n)) {
         composition.autoMint++;
         continue;
       }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inerrata-corporation/errata",
-  "version": "2.0.17-dev.3537",
+  "version": "2.0.17-dev.3549",
   "description": "errata - local-first observation engine for AI coding agents",
   "type": "module",
   "bin": {

package/pass-worker.mjs

@@ -16206,6 +16206,22 @@ var init_project_wire_attrs = __esm({
   }
 });
 
+// ../../packages/shared/src/edit-placeholder.ts
+function isEditPlaceholderSolution(node) {
+  if (node.label !== "Solution") return false;
+  const text = node.description.trim().toLowerCase();
+  if (text.startsWith(AUTO_MINT_PREFIX)) return true;
+  return /^fix for [^\r\n]+ \(episode_[^)]+\)$/.test(text) && !(typeof node.attrs?.["rationale"] === "string" && node.attrs["rationale"].trim());
+}
+var AUTO_MINT_PREFIX, EDIT_PLACEHOLDER_RETIREMENT;
+var init_edit_placeholder = __esm({
+  "../../packages/shared/src/edit-placeholder.ts"() {
+    "use strict";
+    AUTO_MINT_PREFIX = "addressed by an edit to ";
+    EDIT_PLACEHOLDER_RETIREMENT = "edit-placeholder-solution";
+  }
+});
+
 // ../../packages/shared/src/index.ts
 var init_src = __esm({
   "../../packages/shared/src/index.ts"() {
@@ -16237,6 +16253,7 @@ var init_src = __esm({
     init_triage_canon();
     init_history_text();
     init_project_wire_attrs();
+    init_edit_placeholder();
   }
 });
 
@@ -25360,6 +25377,54 @@ function repairSessionEvidence(input, aliases = /* @__PURE__ */ new Map()) {
   return repaired;
 }
 
+// ../../packages/local-graph/src/edit-placeholder-retirement.ts
+init_src();
+var EDIT_PLACEHOLDER_FLOOR_KEY = "edit-placeholder-retirement-1";
+function installEditPlaceholderRetirement(db) {
+  if (db.prepare("SELECT value FROM store_meta WHERE key=?").get(EDIT_PLACEHOLDER_FLOOR_KEY)) return;
+  const timestamp = `CAST(unixepoch('subsec') * 1000 AS INTEGER)`;
+  const placeholder = (n) => `(${n}.label='Solution' AND (
+    lower(trim(${n}.description)) LIKE '${AUTO_MINT_PREFIX}%'
+    OR (lower(trim(${n}.description)) GLOB 'fix for * (episode_*)'
+      AND instr(${n}.description,char(10))=0 AND instr(${n}.description,char(13))=0
+      AND trim(coalesce(json_extract(${n}.attrs_json,'$.rationale'),''))='')))`;
+  const contaminated = (n) => `(${n}.label='Claim' AND json_extract(${n}.attrs_json,'$.abstractionLevel')>=2
+    AND EXISTS(SELECT 1 FROM json_each(${n}.attrs_json,'$.members') m JOIN nodes s ON s.id=m.value
+      WHERE ${placeholder("s")} OR json_extract(s.attrs_json,'$.retiredReason')='${EDIT_PLACEHOLDER_RETIREMENT}'))`;
+  const retire = (where, reason) => `UPDATE nodes SET valid_to=coalesce(valid_to,${timestamp}),
+    attrs_json=json_set(attrs_json,'$.retiredReason','${reason}','$.retiredAt',${timestamp})
+    WHERE (valid_to IS NULL OR coalesce(json_extract(attrs_json,'$.retiredReason'),'')<>'${reason}') AND (${where});`;
+  const closeEdges = (where) => `UPDATE edges SET valid_to=${timestamp} WHERE valid_to IS NULL AND (${where});`;
+  const retired = `(SELECT id FROM nodes WHERE json_extract(attrs_json,'$.retiredReason') IN ('${EDIT_PLACEHOLDER_RETIREMENT}','edit-placeholder-member'))`;
+  const markParents = `UPDATE nodes SET attrs_json=json_set(attrs_json,'$.retiredEditPlaceholder',json('true'))
+    WHERE label='Problem' AND coalesce(json_extract(attrs_json,'$.retiredEditPlaceholder'),0)<>1
+      AND id IN (SELECT e.from_id FROM edges e JOIN nodes s ON s.id=e.to_id WHERE e.type='SOLVED_BY'
+        AND s.label='Solution' AND json_extract(s.attrs_json,'$.retiredReason')='${EDIT_PLACEHOLDER_RETIREMENT}');`;
+  db.transaction(() => {
+    db.exec(retire(placeholder("nodes"), EDIT_PLACEHOLDER_RETIREMENT));
+    db.exec(retire(contaminated("nodes"), "edit-placeholder-member"));
+    db.exec(markParents);
+    db.exec(closeEdges(`from_id IN ${retired} OR to_id IN ${retired}`));
+    for (const operation of ["INSERT", "UPDATE OF label,description,attrs_json,valid_to"]) {
+      const suffix = operation.startsWith("INSERT") ? "insert" : "update";
+      db.exec(`CREATE TRIGGER edit_placeholder_nodes_${suffix} AFTER ${operation} ON nodes
+        WHEN NEW.valid_to IS NULL AND (${placeholder("NEW")} OR ${contaminated("NEW")}) BEGIN
+          ${retire(`id=NEW.id AND label='Solution'`, EDIT_PLACEHOLDER_RETIREMENT)}
+          ${retire(contaminated("nodes"), "edit-placeholder-member")}
+          ${markParents}
+          ${closeEdges(`from_id IN ${retired} OR to_id IN ${retired}`)}
+        END;`);
+      db.exec(`CREATE TRIGGER edit_placeholder_edges_${suffix} AFTER ${suffix.toUpperCase()} ON edges
+        WHEN NEW.valid_to IS NULL AND EXISTS(SELECT 1 FROM nodes n WHERE n.id IN (NEW.from_id,NEW.to_id)
+          AND json_extract(n.attrs_json,'$.retiredReason') IN ('${EDIT_PLACEHOLDER_RETIREMENT}','edit-placeholder-member')) BEGIN
+          ${markParents}
+          ${closeEdges("id=NEW.id")}
+        END;`);
+    }
+    db.prepare("INSERT INTO store_meta(key,value) VALUES (?,?)").run(EDIT_PLACEHOLDER_FLOOR_KEY, "installed");
+  });
+}
+
 // ../../packages/local-graph/src/store.ts
 var LOCAL_RULE_OVERRIDES = {
   ANCHORED_AT: {
@@ -25611,6 +25676,7 @@ var SqliteGraphStore = class {
     }
     this.db.exec(TEMPORAL_INDEX_SQL);
     installHistoryCacheFloor(this.db);
+    installEditPlaceholderRetirement(this.db);
     if (!this.db.prepare("SELECT value FROM store_meta WHERE key = ?").get(SESSION_REPAIR_KEY)) {
       this.db.transaction(() => {
         this.repairSessionAliases();
@@ -26157,8 +26223,8 @@ var SqliteGraphStore = class {
       qname: typeof r.qname === "string" ? r.qname : null
     }));
   }
-  findAllVersionsByLabel(label) {
-    const rows = this.stmts.findByLabelAll.all(label);
+  findAllVersionsByLabel(label, attribute) {
+    const rows = attribute ? this.db.prepare("SELECT * FROM nodes WHERE label = ? AND json_extract(attrs_json, ?) = ?").all(label, `$.${attribute.path}`, attribute.value) : this.stmts.findByLabelAll.all(label);
     return rows.map(rowToNode);
   }
   searchNodes(opts) {
@@ -26598,6 +26664,7 @@ function addDependency(store2, opts) {
 }
 function markRevisit(store2, node, reason, ts, answeredWhen) {
   const fresh = store2.getNode(node.id) ?? node;
+  if (fresh.validTo != null || fresh.attrs["retiredReason"]) return;
   store2.updateNode(node.id, {
     attrs: {
       ...fresh.attrs,
@@ -26663,7 +26730,7 @@ function clearRevisit(store2, nodeId, ts) {
   store2.updateNode(nodeId, { attrs, lastUpdatedAt: ts });
 }
 function listNeedsRevisit(store2, asOf) {
-  return store2.nodesAsOfWhereTrue(asOf, "revisit").map((n) => ({
+  return store2.nodesAsOfWhereTrue(asOf, "revisit").filter((n) => !n.attrs["retiredReason"]).map((n) => ({
     id: n.id,
     label: n.label,
     description: n.description,
@@ -27078,6 +27145,7 @@ function foldDuplicateProblem(store2, dup, survivor, ts) {
 }
 
 // ../../packages/local-graph/src/design-problem.ts
+init_src();
 function isConstraintProblem(node) {
   return node.attrs["kind"] === "constraint";
 }
@@ -27098,7 +27166,7 @@ var CITABLE_PRIOR_LABELS = /* @__PURE__ */ new Set([
   "AntiPattern"
 ]);
 function isAutoMinted(n) {
-  return n.label === "Solution" && String(n.description ?? "").startsWith(AUTO_MINT_PREFIX);
+  return isEditPlaceholderSolution(n);
 }
 function priorsForFile(store2, relPath) {
   const want = relPath.trim().replace(/^\.?\//, "");
@@ -27343,7 +27411,7 @@ function reopenAutoClosedProblems(store2, t) {
       continue;
     }
     const sols = store2.outEdges(p.id, ["SOLVED_BY"]).map((e) => store2.getNode(e.to)).filter((n) => n !== null);
-    if (sols.length === 0) continue;
+    if (sols.length === 0 && p.attrs["retiredEditPlaceholder"] !== true) continue;
     if (!sols.every((s) => String(s.description ?? "").startsWith(AUTO_MINT_PREFIX))) {
       report.agentDescribed++;
       continue;
@@ -27358,7 +27426,6 @@ function reopenAutoClosedProblems(store2, t) {
   }
   return report;
 }
-var AUTO_MINT_PREFIX = "addressed by an edit to ";
 function markFixCandidates(store2, t) {
   let resolved = 0;
   for (const p of store2.findNodesByLabel("Problem")) {
@@ -27624,6 +27691,7 @@ function backfillLegacyAnchors(store2, ts) {
 
 // ../../packages/local-graph/src/percolate.ts
 init_src2();
+init_src();
 
 // ../../packages/local-graph/src/abstraction.ts
 init_src();