@inerrata-corporation/errata 2.0.2-dev.483 → 2.0.2-dev.500

package/errata.mjs

@@ -17660,13 +17660,46 @@ function addDependency(store, opts) {
   store.mergeEdge(edge2);
   return edge2;
 }
-function markRevisit(store, node2, reason, ts) {
+function markRevisit(store, node2, reason, ts, answeredWhen) {
   const fresh = store.getNode(node2.id) ?? node2;
   store.updateNode(node2.id, {
-    attrs: { ...fresh.attrs, revisit: true, revisitReason: reason, revisitSinceTs: ts },
+    attrs: {
+      ...fresh.attrs,
+      revisit: true,
+      revisitReason: reason,
+      revisitSinceTs: ts,
+      ...answeredWhen ? { revisitAnsweredWhen: answeredWhen } : {}
+    },
     lastUpdatedAt: ts
   });
 }
+function conditionOf(node2) {
+  const explicit = node2.attrs["revisitAnsweredWhen"];
+  if (explicit === "parentProblemOpen") return explicit;
+  if (String(node2.attrs["revisitReason"] ?? "").startsWith(LEGACY_AUTO_CLOSE_ASK)) {
+    return "parentProblemOpen";
+  }
+  return void 0;
+}
+function clearAnsweredRevisits(store, ts) {
+  const report = { cleared: 0, standing: 0 };
+  for (const node2 of store.findNodesByLabel("Solution")) {
+    if (node2.attrs["revisit"] !== true) continue;
+    if (conditionOf(node2) !== "parentProblemOpen") {
+      report.standing++;
+      continue;
+    }
+    const parents = store.inEdges(node2.id, ["SOLVED_BY"]).map((e) => store.getNode(e.from)).filter((n) => n !== null);
+    const answered = parents.every((p) => p.attrs["resolvedAt"] == null);
+    if (!answered) {
+      report.standing++;
+      continue;
+    }
+    clearRevisit(store, node2.id, ts);
+    report.cleared++;
+  }
+  return report;
+}
 function clearRevisit(store, nodeId, ts) {
   const n = store.getNode(nodeId);
   if (!n) return;
@@ -17739,10 +17772,12 @@ function propagateFactChange(store, opts) {
   cascade(store, seeds, visited, flagged, opts.ts);
   return flagged;
 }
+var LEGACY_AUTO_CLOSE_ASK;
 var init_justification = __esm({
   "../../packages/local-graph/src/justification.ts"() {
     "use strict";
     init_src();
+    LEGACY_AUTO_CLOSE_ASK = "auto-closed off a pre-provenance anchor";
   }
 });
 
@@ -19260,11 +19295,12 @@ function markFixCandidates(store, t) {
     let symName = "";
     let symRelPath;
     let edited = false;
+    const since = Math.max(p.createdAt, Number(p.attrs["fixCandidateClearedAt"] ?? 0));
     for (const e of store.outEdges(p.id, ["ANCHORED_AT"])) {
       if (e.attrs?.["mention"] === true) continue;
       if (e.attrs?.["anchorProvenance"] === "legacy") continue;
       const sym = store.getNode(e.to);
-      if (sym && sym.lastUpdatedAt > p.createdAt) {
+      if (sym && sym.lastUpdatedAt > since) {
         edited = true;
         symName = sym.description;
         symRelPath = sym.attrs["relPath"] ?? void 0;
@@ -19285,7 +19321,12 @@ function markFixCandidates(store, t) {
         // asking about. Deliberately NOT `resolvedAt` — this is a question.
         fixCandidateAt: t,
         fixCandidateSymbol: symName,
-        ...symRelPath ? { fixCandidateFile: symRelPath } : {}
+        ...symRelPath ? { fixCandidateFile: symRelPath } : {},
+        // Snapshot the render-ledger counter so "shown since THIS ask" is
+        // measurable. `shownCount` is the node's LIFETIME count across every
+        // band, so comparing it raw would retire a fresh ask on a
+        // frequently-surfaced problem before anyone had seen the question once.
+        fixCandidateShownBase: Number(p.attrs["shownCount"] ?? 0)
       },
       lastUpdatedAt: t
     });
@@ -19293,6 +19334,34 @@ function markFixCandidates(store, t) {
   }
   return resolved;
 }
+function clearSettledFixCandidates(store, t) {
+  const report = { answered: 0, ignored: 0, standing: 0 };
+  for (const p of store.findNodesByLabel("Problem")) {
+    if (p.attrs["fixCandidateAt"] === void 0) continue;
+    const answered = p.attrs["resolvedAt"] != null || store.outEdges(p.id, ["SOLVED_BY"]).some((e) => {
+      const s = store.getNode(e.to);
+      return s !== null && !String(s.description ?? "").startsWith(AUTO_MINT_PREFIX);
+    });
+    const base = Number(
+      p.attrs["fixCandidateShownBase"] ?? p.attrs["shownCount"] ?? 0
+    );
+    const shownSinceAsk = Number(p.attrs["shownCount"] ?? 0) - base;
+    const ignored = shownSinceAsk >= FIX_CANDIDATE_ASK_LIMIT;
+    if (!answered && !ignored) {
+      report.standing++;
+      continue;
+    }
+    const attrs = { ...p.attrs };
+    delete attrs["fixCandidateAt"];
+    delete attrs["fixCandidateSymbol"];
+    delete attrs["fixCandidateFile"];
+    attrs["fixCandidateClearedAt"] = t;
+    store.updateNode(p.id, { attrs, lastUpdatedAt: t });
+    if (answered) report.answered++;
+    else report.ignored++;
+  }
+  return report;
+}
 function recordRenderLedger(store, ledger, seq, ts) {
   const bump = (ids, field) => {
     let n = 0;
@@ -19318,7 +19387,7 @@ function recordRenderLedger(store, ledger, seq, ts) {
   });
   return { shown, evicted };
 }
-var DESIGN_PROMOTE_AT, STATEMENT_ALIAS_CAP, PATTERN_DEDUP_COSINE, PATTERN_ALIAS_CAP, DEDUP_STOPWORDS, SAME_ANCHOR_DEDUP_JACCARD, CITABLE_PRIOR_LABELS, MAX_ANCHOR_FILES, AUTO_MINT_PREFIX;
+var DESIGN_PROMOTE_AT, STATEMENT_ALIAS_CAP, PATTERN_DEDUP_COSINE, PATTERN_ALIAS_CAP, DEDUP_STOPWORDS, SAME_ANCHOR_DEDUP_JACCARD, CITABLE_PRIOR_LABELS, MAX_ANCHOR_FILES, AUTO_MINT_PREFIX, FIX_CANDIDATE_ASK_LIMIT;
 var init_design_problem = __esm({
   "../../packages/local-graph/src/design-problem.ts"() {
     "use strict";
@@ -19365,6 +19434,7 @@ var init_design_problem = __esm({
     ]);
     MAX_ANCHOR_FILES = 5;
     AUTO_MINT_PREFIX = "addressed by an edit to ";
+    FIX_CANDIDATE_ASK_LIMIT = 5;
   }
 });
 
@@ -19560,7 +19630,11 @@ function backfillLegacyAnchors(store, ts) {
           store,
           sol,
           `auto-closed off a pre-provenance anchor (guessed ${guessedAnchor}) \u2014 confirm the problem is really fixed, or reopen it`,
-          ts
+          ts,
+          // "or reopen it" is half the ask, and the nightly reopen takes that
+          // branch — so record what would answer this, or the flag can never be
+          // lowered and the band fills with settled questions.
+          "parentProblemOpen"
         );
         store.updateNode(p.id, {
           attrs: { ...p.attrs, resolutionSuspect: true },
@@ -21684,6 +21758,7 @@ __export(src_exports2, {
   CITABLE_PRIOR_LABELS: () => CITABLE_PRIOR_LABELS,
   CODE_REACH_EDGES: () => CODE_REACH_EDGES,
   CREDIT_FAMILY: () => CREDIT_FAMILY,
+  FIX_CANDIDATE_ASK_LIMIT: () => FIX_CANDIDATE_ASK_LIMIT,
   JOINT_COMMUNITY_EDGES: () => JOINT_COMMUNITY_EDGES,
   JOINT_COMMUNITY_LABELS: () => JOINT_COMMUNITY_LABELS,
   MAX_ANCHOR_FILES: () => MAX_ANCHOR_FILES,
@@ -21711,7 +21786,9 @@ __export(src_exports2, {
   canonicalizePatternText: () => canonicalizePatternText,
   causalChain: () => causalChain,
   claimId: () => claimId,
+  clearAnsweredRevisits: () => clearAnsweredRevisits,
   clearRevisit: () => clearRevisit,
+  clearSettledFixCandidates: () => clearSettledFixCandidates,
   communityInductionRequests: () => communityInductionRequests,
   communitySeeds: () => communitySeeds,
   compareSemver: () => compareSemver,
@@ -28434,6 +28511,8 @@ function runNightlyPipeline(store) {
   });
   const motifs = promoteMotifs(store, started2);
   reopenAutoClosedProblems(store, started2);
+  const revisits = clearAnsweredRevisits(store, started2);
+  const fixCandidates = clearSettledFixCandidates(store, started2);
   const designResolved = markFixCandidates(store, started2);
   const cry = crystallize(store, { ts: started2 });
   return {
@@ -28449,6 +28528,8 @@ function runNightlyPipeline(store) {
     // skills are cloud-induced now (see above)
     skillsRefreshed: 0,
     designResolved,
+    revisitsCleared: revisits.cleared,
+    fixCandidatesSettled: fixCandidates.answered + fixCandidates.ignored,
     claimsEvaluated: cry.evaluated,
     claimsDerived: cry.derived.length,
     durationMs: Date.now() - started2
@@ -53704,7 +53785,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.483" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.500" : "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;

package/package.json

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

package/pass-worker.mjs

@@ -25007,13 +25007,56 @@ function addDependency(store2, opts) {
   store2.mergeEdge(edge);
   return edge;
 }
-function markRevisit(store2, node, reason, ts) {
+function markRevisit(store2, node, reason, ts, answeredWhen) {
   const fresh = store2.getNode(node.id) ?? node;
   store2.updateNode(node.id, {
-    attrs: { ...fresh.attrs, revisit: true, revisitReason: reason, revisitSinceTs: ts },
+    attrs: {
+      ...fresh.attrs,
+      revisit: true,
+      revisitReason: reason,
+      revisitSinceTs: ts,
+      ...answeredWhen ? { revisitAnsweredWhen: answeredWhen } : {}
+    },
     lastUpdatedAt: ts
   });
 }
+var LEGACY_AUTO_CLOSE_ASK = "auto-closed off a pre-provenance anchor";
+function conditionOf(node) {
+  const explicit = node.attrs["revisitAnsweredWhen"];
+  if (explicit === "parentProblemOpen") return explicit;
+  if (String(node.attrs["revisitReason"] ?? "").startsWith(LEGACY_AUTO_CLOSE_ASK)) {
+    return "parentProblemOpen";
+  }
+  return void 0;
+}
+function clearAnsweredRevisits(store2, ts) {
+  const report = { cleared: 0, standing: 0 };
+  for (const node of store2.findNodesByLabel("Solution")) {
+    if (node.attrs["revisit"] !== true) continue;
+    if (conditionOf(node) !== "parentProblemOpen") {
+      report.standing++;
+      continue;
+    }
+    const parents = store2.inEdges(node.id, ["SOLVED_BY"]).map((e) => store2.getNode(e.from)).filter((n) => n !== null);
+    const answered = parents.every((p) => p.attrs["resolvedAt"] == null);
+    if (!answered) {
+      report.standing++;
+      continue;
+    }
+    clearRevisit(store2, node.id, ts);
+    report.cleared++;
+  }
+  return report;
+}
+function clearRevisit(store2, nodeId, ts) {
+  const n = store2.getNode(nodeId);
+  if (!n) return;
+  const attrs = { ...n.attrs };
+  delete attrs["revisit"];
+  delete attrs["revisitReason"];
+  delete attrs["revisitSinceTs"];
+  store2.updateNode(nodeId, { attrs, lastUpdatedAt: ts });
+}
 function listNeedsRevisit(store2, asOf) {
   return store2.nodesAsOf(asOf).filter((n) => n.attrs["revisit"] === true).map((n) => ({
     id: n.id,
@@ -25536,11 +25579,12 @@ function markFixCandidates(store2, t) {
     let symName = "";
     let symRelPath;
     let edited = false;
+    const since = Math.max(p.createdAt, Number(p.attrs["fixCandidateClearedAt"] ?? 0));
     for (const e of store2.outEdges(p.id, ["ANCHORED_AT"])) {
       if (e.attrs?.["mention"] === true) continue;
       if (e.attrs?.["anchorProvenance"] === "legacy") continue;
       const sym = store2.getNode(e.to);
-      if (sym && sym.lastUpdatedAt > p.createdAt) {
+      if (sym && sym.lastUpdatedAt > since) {
         edited = true;
         symName = sym.description;
         symRelPath = sym.attrs["relPath"] ?? void 0;
@@ -25561,7 +25605,12 @@ function markFixCandidates(store2, t) {
         // asking about. Deliberately NOT `resolvedAt` — this is a question.
         fixCandidateAt: t,
         fixCandidateSymbol: symName,
-        ...symRelPath ? { fixCandidateFile: symRelPath } : {}
+        ...symRelPath ? { fixCandidateFile: symRelPath } : {},
+        // Snapshot the render-ledger counter so "shown since THIS ask" is
+        // measurable. `shownCount` is the node's LIFETIME count across every
+        // band, so comparing it raw would retire a fresh ask on a
+        // frequently-surfaced problem before anyone had seen the question once.
+        fixCandidateShownBase: Number(p.attrs["shownCount"] ?? 0)
       },
       lastUpdatedAt: t
     });
@@ -25569,6 +25618,35 @@ function markFixCandidates(store2, t) {
   }
   return resolved;
 }
+var FIX_CANDIDATE_ASK_LIMIT = 5;
+function clearSettledFixCandidates(store2, t) {
+  const report = { answered: 0, ignored: 0, standing: 0 };
+  for (const p of store2.findNodesByLabel("Problem")) {
+    if (p.attrs["fixCandidateAt"] === void 0) continue;
+    const answered = p.attrs["resolvedAt"] != null || store2.outEdges(p.id, ["SOLVED_BY"]).some((e) => {
+      const s = store2.getNode(e.to);
+      return s !== null && !String(s.description ?? "").startsWith(AUTO_MINT_PREFIX);
+    });
+    const base = Number(
+      p.attrs["fixCandidateShownBase"] ?? p.attrs["shownCount"] ?? 0
+    );
+    const shownSinceAsk = Number(p.attrs["shownCount"] ?? 0) - base;
+    const ignored = shownSinceAsk >= FIX_CANDIDATE_ASK_LIMIT;
+    if (!answered && !ignored) {
+      report.standing++;
+      continue;
+    }
+    const attrs = { ...p.attrs };
+    delete attrs["fixCandidateAt"];
+    delete attrs["fixCandidateSymbol"];
+    delete attrs["fixCandidateFile"];
+    attrs["fixCandidateClearedAt"] = t;
+    store2.updateNode(p.id, { attrs, lastUpdatedAt: t });
+    if (answered) report.answered++;
+    else report.ignored++;
+  }
+  return report;
+}
 
 // ../../packages/local-graph/src/intent.ts
 init_src();
@@ -25716,7 +25794,11 @@ function backfillLegacyAnchors(store2, ts) {
           store2,
           sol,
           `auto-closed off a pre-provenance anchor (guessed ${guessedAnchor}) \u2014 confirm the problem is really fixed, or reopen it`,
-          ts
+          ts,
+          // "or reopen it" is half the ask, and the nightly reopen takes that
+          // branch — so record what would answer this, or the flag can never be
+          // lowered and the band fills with settled questions.
+          "parentProblemOpen"
         );
         store2.updateNode(p.id, {
           attrs: { ...p.attrs, resolutionSuspect: true },
@@ -26299,6 +26381,8 @@ function runNightlyPipeline(store2) {
   });
   const motifs = promoteMotifs(store2, started);
   reopenAutoClosedProblems(store2, started);
+  const revisits = clearAnsweredRevisits(store2, started);
+  const fixCandidates = clearSettledFixCandidates(store2, started);
   const designResolved = markFixCandidates(store2, started);
   const cry = crystallize(store2, { ts: started });
   return {
@@ -26314,6 +26398,8 @@ function runNightlyPipeline(store2) {
     // skills are cloud-induced now (see above)
     skillsRefreshed: 0,
     designResolved,
+    revisitsCleared: revisits.cleared,
+    fixCandidatesSettled: fixCandidates.answered + fixCandidates.ignored,
     claimsEvaluated: cry.evaluated,
     claimsDerived: cry.derived.length,
     durationMs: Date.now() - started