@inerrata-corporation/errata 2.0.17-dev.3538 → 2.0.17-dev.3562

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: {
@@ -16546,6 +16611,7 @@ function rowToEdge(r) {
   };
 }
 var FINGERPRINT_INDEXED_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
+var NODE_LABELS_CHUNK = 256;
 var SqliteGraphStore = class {
   db;
   // Typed edge lookups build their SQL from the number of types asked for, and
@@ -16582,6 +16648,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();
@@ -17047,6 +17114,19 @@ var SqliteGraphStore = class {
     const row = this.stmts.getNode.get(id);
     return row ? rowToNode(row) : null;
   }
+  nodeLabels(ids) {
+    const width = NODE_LABELS_CHUNK;
+    const stmt = this.typedEdgeStmt(
+      `SELECT id, label FROM nodes WHERE id IN (${Array.from({ length: width }, () => "?").join(",")})`
+    );
+    const labels = /* @__PURE__ */ new Map();
+    for (let i = 0; i < ids.length; i += width) {
+      const chunk = ids.slice(i, i + width);
+      while (chunk.length < width) chunk.push(null);
+      for (const row of stmt.all(...chunk)) labels.set(row.id, row.label);
+    }
+    return labels;
+  }
   getEdge(id) {
     const row = this.stmts.getEdge.get(id);
     return row ? rowToEdge(row) : null;
@@ -17128,8 +17208,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 +17653,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 +17669,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 +17691,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 +18298,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 +18496,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 +19829,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 {
@@ -18371,7 +18445,7 @@ function rowToEdge(r) {
 function openGraphStore(opts) {
   return new SqliteGraphStore(opts);
 }
-var LOCAL_RULE_OVERRIDES, SCHEMA_VERSION, SESSION_REPAIR_KEY, SESSION_EVIDENCE_PREDICATE, SCHEMA_SQL, TEMPORAL_INDEX_SQL, FINGERPRINT_INDEXED_LABELS, SqliteGraphStore;
+var LOCAL_RULE_OVERRIDES, SCHEMA_VERSION, SESSION_REPAIR_KEY, SESSION_EVIDENCE_PREDICATE, SCHEMA_SQL, TEMPORAL_INDEX_SQL, FINGERPRINT_INDEXED_LABELS, NODE_LABELS_CHUNK, SqliteGraphStore;
 var init_store = __esm({
   "../../packages/local-graph/src/store.ts"() {
     "use strict";
@@ -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,
@@ -18521,6 +18596,7 @@ CREATE INDEX IF NOT EXISTS nodes_live_description ON nodes(description, label) W
 CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_json, '$.anchorHint.path')) WHERE valid_to IS NULL;
 `;
     FINGERPRINT_INDEXED_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
+    NODE_LABELS_CHUNK = 256;
     SqliteGraphStore = class {
       db;
       // Typed edge lookups build their SQL from the number of types asked for, and
@@ -18557,6 +18633,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();
@@ -19022,6 +19099,19 @@ CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_js
         const row = this.stmts.getNode.get(id);
         return row ? rowToNode(row) : null;
       }
+      nodeLabels(ids) {
+        const width = NODE_LABELS_CHUNK;
+        const stmt = this.typedEdgeStmt(
+          `SELECT id, label FROM nodes WHERE id IN (${Array.from({ length: width }, () => "?").join(",")})`
+        );
+        const labels = /* @__PURE__ */ new Map();
+        for (let i2 = 0; i2 < ids.length; i2 += width) {
+          const chunk = ids.slice(i2, i2 + width);
+          while (chunk.length < width) chunk.push(null);
+          for (const row of stmt.all(...chunk)) labels.set(row.id, row.label);
+        }
+        return labels;
+      }
       getEdge(id) {
         const row = this.stmts.getEdge.get(id);
         return row ? rowToEdge(row) : null;
@@ -19103,8 +19193,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) {
@@ -19524,7 +19614,9 @@ function staticConductance(edgeType) {
   return Math.max(UNKNOWN_CONDUCTANCE, Math.min(1, w / MAX_EDGE_WEIGHT));
 }
 function edgeConductance(edge2) {
-  const staticW = staticConductance(edge2.type);
+  return learnedConductance(staticConductance(edge2.type), edge2);
+}
+function learnedConductance(staticW, edge2) {
   const s = edge2.navSuccesses ?? 0;
   const f = edge2.navFailures ?? 0;
   const betaMean = (1 + s) / (2 + s + f);
@@ -19840,6 +19932,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 +19993,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 +21650,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 +21979,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 +22142,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 +22153,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 +22219,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 +22503,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 +22639,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"];
@@ -22718,9 +22816,28 @@ var init_uncertainty = __esm({
 });
 
 // ../../packages/math/src/discovery.ts
+function typeRelevance(label) {
+  return TYPE_RELEVANCE[label] ?? DEFAULT_TYPE_RELEVANCE;
+}
+var TYPE_RELEVANCE, DEFAULT_TYPE_RELEVANCE;
 var init_discovery = __esm({
   "../../packages/math/src/discovery.ts"() {
     "use strict";
+    TYPE_RELEVANCE = {
+      Solution: 1,
+      Vulnerability: 0.95,
+      RootCause: 0.9,
+      Pattern: 0.8,
+      Problem: 0.7,
+      Technique: 0.7,
+      AntiPattern: 0.7,
+      Weakness: 0.6,
+      Domain: 0.5,
+      Function: 0.4,
+      Class: 0.4,
+      File: 0.3
+    };
+    DEFAULT_TYPE_RELEVANCE = 0.3;
   }
 });
 
@@ -24023,6 +24140,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 +24217,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 +24252,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));
@@ -25247,6 +25375,7 @@ __export(src_exports2, {
   isFragmentFixNote: () => isFragmentFixNote,
   isPlaceholderStatement: () => isPlaceholderStatement,
   isUnfilledPlaceholder: () => isUnfilledPlaceholder,
+  learnedConductance: () => learnedConductance,
   linkProblemToLanguages: () => linkProblemToLanguages,
   linkProblemToPackages: () => linkProblemToPackages,
   linkProblemToSymbols: () => linkProblemToSymbols,
@@ -30988,82 +31117,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"] ?? "";
@@ -31141,6 +31198,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");
@@ -31211,6 +31269,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;
@@ -32099,62 +32211,139 @@ async function rankForText(store, text, candidateIds) {
     (r) => r.score > 0
   );
 }
+function walksRelatedness(type) {
+  if (type === "DEPENDS_ON") return true;
+  if (PAGERANK_EXCLUSIONS.has(type)) return false;
+  return (EDGE_WEIGHT[type] ?? 1) > 0;
+}
+function burstStaticConductance(type, seedLabel) {
+  if (type === "ANCHORED_AT") return BURST_ANCHORED_AT_CONDUCTANCE;
+  if (type === "DEPENDS_ON") return seedLabel === "Package" ? staticConductance(type) : BURST_DEPENDS_ON_FLOOR;
+  return staticConductance(type);
+}
+function burstConductance(edge2, seedLabel) {
+  return learnedConductance(burstStaticConductance(edge2.type, seedLabel), edge2);
+}
 function localBurst(store, seedId, opts = {}) {
-  const maxHops = opts.maxHops ?? 2;
+  const maxHops = opts.maxHops ?? 3;
   const limit = opts.limit ?? 20;
-  const nodeCap = opts.nodeCap ?? 500;
+  const nodeCap = opts.nodeCap ?? 200;
   const seed = store.getNode(seedId);
   if (!seed) return [];
+  const act = /* @__PURE__ */ new Map([[seedId, 1]]);
   const hopOf = /* @__PURE__ */ new Map([[seedId, 0]]);
   const viaOf = /* @__PURE__ */ new Map();
-  let frontier = [seedId];
-  for (let h = 1; h <= maxHops && hopOf.size < nodeCap; h++) {
-    const next = [];
-    for (const id of frontier) {
-      const neigh = [
-        ...store.outEdges(id).map((e) => ({ nb: e.to, via: { edgeType: e.type, parentId: id, forward: true } })),
-        ...store.inEdges(id).map((e) => ({ nb: e.from, via: { edgeType: e.type, parentId: id, forward: false } }))
-      ];
-      for (const { nb, via } of neigh) {
-        if (!hopOf.has(nb)) {
-          hopOf.set(nb, h);
-          viaOf.set(nb, via);
-          next.push(nb);
-          if (hopOf.size >= nodeCap) break;
-        }
-      }
-      if (hopOf.size >= nodeCap) break;
-    }
-    frontier = next;
-  }
-  hopOf.delete(seedId);
+  const expanded = /* @__PURE__ */ new Set();
+  const frontier = new ActivationHeap();
+  frontier.push(seedId, 1);
+  let strongest = 0;
+  while (frontier.size > 0 && expanded.size < nodeCap) {
+    const top = frontier.pop();
+    if (expanded.has(top.id) || top.a < (act.get(top.id) ?? 0)) continue;
+    if (top.a < ACTIVATION_EPSILON || top.a < strongest * BURST_RELATIVE_FLOOR) break;
+    expanded.add(top.id);
+    const hops = hopOf.get(top.id) ?? 0;
+    if (hops >= maxHops) continue;
+    const edges = [
+      ...store.outEdges(top.id).map((e) => ({ e, nb: e.to, forward: true })),
+      ...store.inEdges(top.id).map((e) => ({ e, nb: e.from, forward: false }))
+    ].filter(({ e }) => walksRelatedness(e.type));
+    const damp = BURST_STEP_DAMPING / Math.sqrt(Math.max(1, edges.length));
+    for (const { e, nb, forward } of edges) {
+      if (nb === seedId || expanded.has(nb)) continue;
+      const a = top.a * burstConductance(e, seed.label) * damp;
+      if (a <= (act.get(nb) ?? 0)) continue;
+      act.set(nb, a);
+      if (a > strongest) strongest = a;
+      hopOf.set(nb, hops + 1);
+      viaOf.set(nb, { edgeType: e.type, parentId: top.id, forward });
+      frontier.push(nb, a);
+    }
+  }
+  act.delete(seedId);
   const ctxSeed = seed.embedding.length > 0 ? { seedEmbedding: seed.embedding, seedEmbeddingVersion: seed.attrs["embeddingVersion"] } : {};
   const gated = seed.embedding.length > 0;
-  const nodes = [...hopOf.entries()].map(([id, hops]) => ({ node: store.getNode(id), hops })).filter((x) => x.node != null);
-  const maxPr = Math.max(1e-9, ...nodes.map((x) => x.node.pageRank));
+  const labelOf = store.nodeLabels([...act.keys()]);
+  const pool = (keep) => [...act.entries()].filter(([id]) => keep(labelOf.get(id) ?? "")).sort((x, y) => y[1] - x[1]).slice(0, BURST_SCORED_CANDIDATES);
+  const isKnowledge = (label) => typeRelevance(label) >= KNOWLEDGE_TYPE_RELEVANCE;
+  const reached = [...pool(isKnowledge), ...pool((l) => !isKnowledge(l))].map(([id, a]) => ({ node: store.getNode(id), a })).filter((x) => x.node != null);
+  const maxPr = Math.max(1e-9, ...reached.map((x) => x.node.pageRank));
+  const maxAct = Math.max(1e-12, ...reached.map((x) => x.a));
   const weights = {
     centralityScale: maxPr,
     ...gated ? { semanticFloor: semanticFloorFor(ctxSeed.seedEmbeddingVersion) } : {},
     ...opts.weights
   };
   const now = store.currentIngestSeq();
-  return nodes.map(({ node: node2, hops }) => {
-    const r = scoreCandidate(node2, { ...ctxSeed, hops, decay: nodeFreshness(node2, now) }, weights);
+  return reached.map(({ node: node2, a }) => {
+    const r = scoreCandidate(node2, { ...ctxSeed, decay: nodeFreshness(node2, now) }, weights);
+    const score2 = a / maxAct * r.score * typeRelevance(node2.label);
     const via = viaOf.get(node2.id);
-    return { id: node2.id, score: r.score, components: r.components, node: node2, hops, ...via ? { via } : {} };
+    return { id: node2.id, score: score2, components: r.components, node: node2, hops: hopOf.get(node2.id) ?? 0, ...via ? { via } : {} };
   }).filter((r) => !gated || r.score > 0).sort((a, b) => b.score - a.score).slice(0, limit);
 }
+var BURST_STEP_DAMPING, ACTIVATION_EPSILON, BURST_RELATIVE_FLOOR, BURST_SCORED_CANDIDATES, KNOWLEDGE_TYPE_RELEVANCE, BURST_ANCHORED_AT_CONDUCTANCE, BURST_DEPENDS_ON_FLOOR, ActivationHeap;
 var init_relevance_rank = __esm({
   "../../packages/generalizer/src/relevance-rank.ts"() {
     "use strict";
     init_src3();
     init_src4();
+    init_src5();
+    init_src();
+    BURST_STEP_DAMPING = 0.85;
+    ACTIVATION_EPSILON = 1e-6;
+    BURST_RELATIVE_FLOOR = 0.02;
+    BURST_SCORED_CANDIDATES = 150;
+    KNOWLEDGE_TYPE_RELEVANCE = 0.5;
+    BURST_ANCHORED_AT_CONDUCTANCE = 1 / 3;
+    BURST_DEPENDS_ON_FLOOR = 0.1;
+    ActivationHeap = class {
+      items = [];
+      get size() {
+        return this.items.length;
+      }
+      push(id, a) {
+        const items = this.items;
+        items.push({ id, a });
+        let i2 = items.length - 1;
+        while (i2 > 0) {
+          const p = i2 - 1 >> 1;
+          if (items[p].a >= items[i2].a) break;
+          [items[p], items[i2]] = [items[i2], items[p]];
+          i2 = p;
+        }
+      }
+      pop() {
+        const items = this.items;
+        const top = items[0];
+        const last = items.pop();
+        if (items.length > 0 && last) {
+          items[0] = last;
+          let i2 = 0;
+          for (; ; ) {
+            const l = 2 * i2 + 1, r = l + 1;
+            let m = i2;
+            if (l < items.length && items[l].a > items[m].a) m = l;
+            if (r < items.length && items[r].a > items[m].a) m = r;
+            if (m === i2) break;
+            [items[m], items[i2]] = [items[i2], items[m]];
+            i2 = m;
+          }
+        }
+        return top;
+      }
+    };
   }
 });
 
 // ../../packages/generalizer/src/index.ts
 var src_exports3 = {};
 __export(src_exports3, {
+  BURST_ANCHORED_AT_CONDUCTANCE: () => BURST_ANCHORED_AT_CONDUCTANCE,
+  BURST_DEPENDS_ON_FLOOR: () => BURST_DEPENDS_ON_FLOOR,
+  BURST_RELATIVE_FLOOR: () => BURST_RELATIVE_FLOOR,
+  BURST_SCORED_CANDIDATES: () => BURST_SCORED_CANDIDATES,
+  BURST_STEP_DAMPING: () => BURST_STEP_DAMPING,
   FULL_RESCORE_EVERY: () => FULL_RESCORE_EVERY,
   INCREMENTAL_REGION_MAX_FRACTION: () => INCREMENTAL_REGION_MAX_FRACTION,
   anchorByLine: () => anchorByLine,
@@ -32164,6 +32353,8 @@ __export(src_exports3, {
   attributeRootCause: () => attributeRootCause,
   bindCanonicalNeighbors: () => bindCanonicalNeighbors,
   bindResolvedRegressions: () => bindResolvedRegressions,
+  burstConductance: () => burstConductance,
+  burstStaticConductance: () => burstStaticConductance,
   closeProblem: () => closeProblem,
   codeAnchorProjection: () => codeAnchorProjection,
   commandSignature: () => commandSignature,
@@ -43638,7 +43829,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,
@@ -43648,13 +43839,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 } });
     }
@@ -43662,9 +43862,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) {
@@ -45113,7 +45313,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 };
         }
@@ -82434,7 +82634,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.17-dev.3538" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.17-dev.3562" : "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;
@@ -85650,8 +85850,8 @@ function runLockfilePass(opts) {
 
 // src/instance-ingest.ts
 init_src();
+init_src();
 init_src2();
-init_src5();
 init_src10();
 init_src();
 
@@ -86066,7 +86266,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.3538",
+  "version": "2.0.17-dev.3562",
   "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: {
@@ -25575,6 +25640,7 @@ function rowToEdge(r) {
   };
 }
 var FINGERPRINT_INDEXED_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
+var NODE_LABELS_CHUNK = 256;
 var SqliteGraphStore = class {
   db;
   // Typed edge lookups build their SQL from the number of types asked for, and
@@ -25611,6 +25677,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();
@@ -26076,6 +26143,19 @@ var SqliteGraphStore = class {
     const row = this.stmts.getNode.get(id);
     return row ? rowToNode(row) : null;
   }
+  nodeLabels(ids) {
+    const width = NODE_LABELS_CHUNK;
+    const stmt = this.typedEdgeStmt(
+      `SELECT id, label FROM nodes WHERE id IN (${Array.from({ length: width }, () => "?").join(",")})`
+    );
+    const labels = /* @__PURE__ */ new Map();
+    for (let i2 = 0; i2 < ids.length; i2 += width) {
+      const chunk = ids.slice(i2, i2 + width);
+      while (chunk.length < width) chunk.push(null);
+      for (const row of stmt.all(...chunk)) labels.set(row.id, row.label);
+    }
+    return labels;
+  }
   getEdge(id) {
     const row = this.stmts.getEdge.get(id);
     return row ? rowToEdge(row) : null;
@@ -26157,8 +26237,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 +26678,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 +26744,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 +27159,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 +27180,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 +27425,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 +27440,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 +27705,7 @@ function backfillLegacyAnchors(store2, ts) {
 
 // ../../packages/local-graph/src/percolate.ts
 init_src2();
+init_src();
 
 // ../../packages/local-graph/src/abstraction.ts
 init_src();
@@ -28897,6 +28979,10 @@ function codeAnchorProjection(store2, semanticIds, opts = {}) {
 // ../../packages/generalizer/src/embed-code.ts
 init_src();
 
+// ../../packages/generalizer/src/relevance-rank.ts
+init_src();
+var BURST_ANCHORED_AT_CONDUCTANCE = 1 / 3;
+
 // ../../packages/context-writer/src/agents-md.ts
 init_src();