@inerrata-corporation/errata 2.0.2-dev.1179 → 2.0.2-dev.1189

package/errata.mjs

@@ -19131,14 +19131,19 @@ function ingestDesignProblem(store, flag, opts) {
   let created = false;
   let corroborated = false;
   let recurredResolved = false;
+  let reopenedFromRegression = false;
   if (existing) {
     const resolvedUnretracted = existing.attrs["resolvedAt"] != null && existing.attrs["resolvedAs"] == null;
     const recurAttrs = () => {
       recurredResolved = true;
+      const sources2 = existing.attrs["recurrenceSources"] ?? [];
       return {
         resolutionSuspect: true,
         recurredAt: opts.ts,
-        recurrences: (Number(existing.attrs["recurrences"]) || 0) + 1
+        recurrences: (Number(existing.attrs["recurrences"]) || 0) + 1,
+        // RG-reopen: the door touch carries its session — the reopen check
+        // after the update counts DISTINCT sources against REOPEN_MIN_SOURCES.
+        ...sources2.includes(opts.source) ? {} : { recurrenceSources: [...sources2, opts.source].slice(-8) }
       };
     };
     const sources = existing.attrs["sources"] ?? [];
@@ -19177,11 +19182,13 @@ function ingestDesignProblem(store, flag, opts) {
         ...reinforcedSeqAttrs(store, existing.label),
         lastUpdatedAt: opts.ts
       });
+      if (recurredResolved) reopenedFromRegression = maybeReopenFromRegression(store, problemId, opts.ts);
     } else if (resolvedUnretracted && opts.ts - (Number(existing.attrs["recurredAt"]) || 0) > RECURRENCE_DEBOUNCE_MS) {
       store.updateNode(problemId, {
         attrs: { ...existing.attrs, ...recurAttrs() },
         lastUpdatedAt: opts.ts
       });
+      reopenedFromRegression = maybeReopenFromRegression(store, problemId, opts.ts);
     }
   } else {
     created = true;
@@ -19245,7 +19252,8 @@ function ingestDesignProblem(store, flag, opts) {
     solutionId,
     anchored,
     linkedPackages,
-    ...recurredResolved ? { recurredResolved } : {}
+    ...recurredResolved ? { recurredResolved } : {},
+    ...reopenedFromRegression ? { reopenedFromRegression } : {}
   };
 }
 function canonicalizePatternText(name2) {
@@ -19453,20 +19461,39 @@ function findResolvedAnchorMatch(store, relPath, workspaceId2, statement, kind =
   }
   return best?.id ?? null;
 }
-function markResolvedRecurrence(store, nodeId, ts) {
+function maybeReopenFromRegression(store, nodeId, ts) {
   const n = store.getNode(nodeId);
   if (!n) return false;
   if (n.attrs["resolvedAt"] == null || n.attrs["resolvedAs"] != null) return false;
+  const sources = n.attrs["recurrenceSources"] ?? [];
+  if (new Set(sources).size < REOPEN_MIN_SOURCES) return false;
+  const attrs = { ...n.attrs };
+  delete attrs["resolvedAt"];
+  delete attrs["resolutionSuspect"];
+  attrs["reopenedFrom"] = "regression";
+  attrs["reopenedAt"] = ts;
+  store.updateNode(nodeId, { attrs, lastUpdatedAt: ts });
+  return true;
+}
+function markResolvedRecurrence(store, nodeId, ts, source) {
+  const n = store.getNode(nodeId);
+  if (!n) return { marked: false, reopened: false };
+  if (n.attrs["resolvedAt"] == null || n.attrs["resolvedAs"] != null) {
+    return { marked: false, reopened: false };
+  }
+  const sources = n.attrs["recurrenceSources"] ?? [];
   store.updateNode(nodeId, {
     attrs: {
       ...n.attrs,
       resolutionSuspect: true,
       recurredAt: ts,
-      recurrences: (Number(n.attrs["recurrences"]) || 0) + 1
+      recurrences: (Number(n.attrs["recurrences"]) || 0) + 1,
+      ...source && !sources.includes(source) ? { recurrenceSources: [...sources, source].slice(-RECURRENCE_SOURCES_CAP) } : {}
     },
     lastUpdatedAt: ts
   });
-  return true;
+  const reopened = source ? maybeReopenFromRegression(store, nodeId, ts) : false;
+  return { marked: true, reopened };
 }
 function isFragmentFixNote(note) {
   const t = note.trim();
@@ -19869,7 +19896,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, CITABLE_PRIOR_LABELS, MAX_ANCHOR_FILES, 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, REOPEN_MIN_SOURCES, RECURRENCE_SOURCES_CAP, 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";
@@ -19909,6 +19936,8 @@ var init_design_problem = __esm({
       "where"
     ]);
     SAME_ANCHOR_DEDUP_JACCARD = 0.6;
+    REOPEN_MIN_SOURCES = 2;
+    RECURRENCE_SOURCES_CAP = 8;
     CITABLE_PRIOR_LABELS = /* @__PURE__ */ new Set([
       "Solution",
       "RootCause",
@@ -22462,6 +22491,19 @@ var init_mechanism_liveness = __esm({
         effectCounter: "recurrencesMarked",
         note: "RG-recognize tier A (exact-id door); tiers B/C add REGRESSION_OF edges; reopen is RG-reopen's"
       },
+      {
+        id: "regression-reopen",
+        what: "flips a marked close back open once two DISTINCT sessions witnessed the recurrence",
+        pass: "capture",
+        // Reopens should be rarer than recurrences by construction — written-at-all.
+        fed: {
+          labels: ["Problem"],
+          attr: "reopenedFrom",
+          minFraction: 0
+        },
+        effectCounter: "reopenedFromRegression",
+        note: "RG-reopen; the machine sweep never counts as a witness \u2014 only sessions do"
+      },
       {
         id: "fix-candidate-ask",
         what: "asks an agent whether an edit to a problem's anchor fixed it",
@@ -22722,6 +22764,7 @@ __export(src_exports2, {
   PERCOLATING_EDGES: () => PERCOLATING_EDGES,
   PERCOLATING_LABELS: () => PERCOLATING_LABELS,
   RECURRENCE_DEBOUNCE_MS: () => RECURRENCE_DEBOUNCE_MS,
+  REOPEN_MIN_SOURCES: () => REOPEN_MIN_SOURCES,
   SAME_ANCHOR_DEDUP_JACCARD: () => SAME_ANCHOR_DEDUP_JACCARD,
   STALL_MIN_RUNS: () => STALL_MIN_RUNS,
   STALL_MIN_SPAN_MS: () => STALL_MIN_SPAN_MS,
@@ -22792,6 +22835,7 @@ __export(src_exports2, {
   matchLanguagesInText: () => matchLanguagesInText,
   matchPackagesInText: () => matchPackagesInText,
   matchSymbolsInText: () => matchSymbolsInText,
+  maybeReopenFromRegression: () => maybeReopenFromRegression,
   mergeCloudCounts: () => mergeCloudCounts,
   mergeDuplicateProblems: () => mergeDuplicateProblems,
   migrateProjectAlias: () => migrateProjectAlias,
@@ -29532,7 +29576,7 @@ function bindResolvedRegressions(store, opts) {
       }
       if (!best) continue;
       if (store.outEdges(f.id, ["REGRESSION_OF"]).some((e) => e.to === best.node.id)) continue;
-      if (!markResolvedRecurrence(store, best.node.id, opts.ts)) continue;
+      if (!markResolvedRecurrence(store, best.node.id, opts.ts).marked) continue;
       store.mergeEdge({
         id: `edge_${digest({ from: f.id, type: "REGRESSION_OF", to: best.node.id })}`.slice(0, 24),
         from: f.id,
@@ -54043,7 +54087,7 @@ function wireWitnessItems(items) {
 var REFUTE_REASONS_CAP = 5;
 var REFUTE_WITNESS_KEYS_CAP = 16;
 function applyLocalRefutations(store, refutes, ts) {
-  const out2 = { stamped: 0, duplicate: 0, unknownNode: 0 };
+  const out2 = { stamped: 0, duplicate: 0, unknownNode: 0, stampedIds: [] };
   for (const r of refutes) {
     const node2 = store.getNode(r.nodeId);
     if (!node2) {
@@ -54067,6 +54111,7 @@ function applyLocalRefutations(store, refutes, ts) {
       lastUpdatedAt: ts
     });
     out2.stamped++;
+    out2.stampedIds.push(r.nodeId);
   }
   return out2;
 }
@@ -56953,7 +56998,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.1179" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.1189" : "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;
@@ -57790,6 +57835,7 @@ function createWorkspaceEngine(opts) {
     let corroboratedEdges = 0;
     let refutesStamped = 0;
     let recurrencesMarked = 0;
+    let reopenedFromRegression = 0;
     const dispositions = emptyTagDispositions();
     let unresolvedHandles = 0;
     let priorEdgesFlagOff = 0;
@@ -57856,9 +57902,16 @@ function createWorkspaceEngine(opts) {
           else tagsRestated++;
           if (r.recurredResolved) {
             recurrencesMarked++;
-            console.warn(
-              `[errata] REGRESSION candidate: a resolved problem recurred (${r.problemId}) \u2014 marked resolutionSuspect, not reopened`
-            );
+            if (r.reopenedFromRegression) {
+              reopenedFromRegression++;
+              console.warn(
+                `[errata] REOPENED from regression: ${r.problemId} \u2014 second independent witness; the fix did not hold`
+              );
+            } else {
+              console.warn(
+                `[errata] REGRESSION candidate: a resolved problem recurred (${r.problemId}) \u2014 marked resolutionSuspect, not reopened`
+              );
+            }
           }
           if (flag.kind !== "constraint") sessionLastProblem.set(sessionId, designProblemId(flag.problem));
           if (r.created || r.corroborated) {
@@ -57937,7 +57990,23 @@ function createWorkspaceEngine(opts) {
         });
         priorEdges += plan.priorEdges;
         corroboratedEdges += plan.corroboratedEdges;
-        refutesStamped += applyLocalRefutations(store, plan.refutes, t).stamped;
+        const refuteResult = applyLocalRefutations(store, plan.refutes, t);
+        refutesStamped += refuteResult.stamped;
+        for (const id of refuteResult.stampedIds) {
+          const node2 = store.getNode(id);
+          if (node2?.label !== "Solution") continue;
+          for (const e of store.inEdges(id, ["SOLVED_BY", "FIXED_BY"])) {
+            const touch = markResolvedRecurrence(store, e.from, t, sessionId);
+            if (!touch.marked) continue;
+            recurrencesMarked++;
+            if (touch.reopened) {
+              reopenedFromRegression++;
+              console.warn(
+                `[errata] REOPENED from regression: ${e.from} \u2014 its solution ${id} was refuted by a second independent witness`
+              );
+            }
+          }
+        }
         addTagDispositions(dispositions, plan.dispositions);
         unresolvedHandles += plan.unresolvedHandles.length;
         priorEdgesFlagOff += plan.priorEdgesSuppressed.flagOff;
@@ -57981,7 +58050,8 @@ function createWorkspaceEngine(opts) {
           if (r.created && dedupPath) {
             try {
               const closedId = findResolvedAnchorMatch(store, dedupPath, profile.id, p.statement, p.kind);
-              if (closedId && markResolvedRecurrence(store, closedId, t)) {
+              const touch = closedId ? markResolvedRecurrence(store, closedId, t, sessionId) : { marked: false, reopened: false };
+              if (closedId && touch.marked) {
                 store.mergeEdge({
                   id: `edge_${digest({ from: r.problemId, type: "REGRESSION_OF", to: closedId })}`.slice(0, 24),
                   from: r.problemId,
@@ -57996,8 +58066,9 @@ function createWorkspaceEngine(opts) {
                   attrs: { provisional: true, machineProposed: true, session: sessionId }
                 });
                 recurrencesMarked++;
+                if (touch.reopened) reopenedFromRegression++;
                 console.warn(
-                  `[errata] REGRESSION candidate: new problem ${r.problemId} paraphrases resolved ${closedId} on ${dedupPath} \u2014 bound REGRESSION_OF, marked resolutionSuspect`
+                  `[errata] REGRESSION candidate: new problem ${r.problemId} paraphrases resolved ${closedId} on ${dedupPath} \u2014 bound REGRESSION_OF, marked resolutionSuspect` + (touch.reopened ? "; second independent witness \u2014 REOPENED" : "")
                 );
               }
             } catch (err2) {
@@ -58415,6 +58486,8 @@ function createWorkspaceEngine(opts) {
         refutesStamped,
         // RG-recognize tier A: resolved problems the door saw recur this pass.
         recurrencesMarked,
+        // RG-reopen: closes flipped open on the two-touch evidence bar.
+        reopenedFromRegression,
         // WM-labels calibration cells (see prior-tags exposure split).
         exposureShown,
         exposureEvicted,
@@ -58858,16 +58931,17 @@ function createWorkspaceEngine(opts) {
           if (e.merged > 0) {
             console.log(`[errata] dedup: merged ${e.merged} paraphrased problem(s) by embedding across ${e.clusters} cluster(s)`);
           }
-          const rg = bindResolvedRegressions(store, { ts: Date.now() });
-          if (rg.bound > 0) {
-            console.warn(`[errata] REGRESSION: bound ${rg.bound} open problem(s) to resolved predecessors${rg.full ? " (first full sweep)" : ""}`);
-          }
           const cb = bindCanonicalNeighbors(store, { ts: Date.now() });
           if (cb.bound > 0) {
             console.log(`[errata] canonical-bind: +${cb.bound} machine-proposed link(s) across ${cb.scanned} problem(s)`);
           }
           refreshContextNow();
         }
+        const rg = bindResolvedRegressions(store, { ts: Date.now() });
+        if (rg.bound > 0) {
+          console.warn(`[errata] REGRESSION: bound ${rg.bound} open problem(s) to resolved predecessors${rg.full ? " (first full sweep)" : ""}`);
+          refreshContextNow();
+        }
         return { embedded: sem.embedded };
       } catch (err2) {
         console.warn("[errata] settled embed failed:", err2);

package/package.json

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