@inerrata-corporation/errata 2.0.2-dev.1182 → 2.0.2-dev.1196

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,54 @@ 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 confirmFixHeld(store, solutionId, ts) {
+  let acknowledged = 0;
+  for (const e of store.inEdges(solutionId, ["SOLVED_BY", "FIXED_BY"])) {
+    const p = store.getNode(e.from);
+    if (!p || p.label !== "Problem") continue;
+    if (p.attrs["resolutionSuspect"] !== true || p.attrs["resolvedAt"] == null) continue;
+    const attrs = { ...p.attrs };
+    delete attrs["resolutionSuspect"];
+    attrs["fixHeldConfirmedAt"] = ts;
+    delete attrs["recurrenceSources"];
+    store.updateNode(p.id, { attrs, lastUpdatedAt: ts });
+    acknowledged++;
+  }
+  return acknowledged;
 }
 function isFragmentFixNote(note) {
   const t = note.trim();
@@ -19869,7 +19911,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 +19951,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 +22506,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 +22779,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,
@@ -22750,6 +22808,7 @@ __export(src_exports2, {
   communityInductionRequests: () => communityInductionRequests,
   communitySeeds: () => communitySeeds,
   compareSemver: () => compareSemver,
+  confirmFixHeld: () => confirmFixHeld,
   corroborateClaim: () => corroborateClaim,
   creditAssignment: () => creditAssignment,
   crystallize: () => crystallize,
@@ -22792,6 +22851,7 @@ __export(src_exports2, {
   matchLanguagesInText: () => matchLanguagesInText,
   matchPackagesInText: () => matchPackagesInText,
   matchSymbolsInText: () => matchSymbolsInText,
+  maybeReopenFromRegression: () => maybeReopenFromRegression,
   mergeCloudCounts: () => mergeCloudCounts,
   mergeDuplicateProblems: () => mergeDuplicateProblems,
   migrateProjectAlias: () => migrateProjectAlias,
@@ -22893,7 +22953,19 @@ function buildSnapshot(opts) {
     anchors: opts.store.outEdges(p.id, ["MANIFESTED_IN", "EVIDENCED_BY"])
   }));
   const recentConstraints = stillOpen.filter((p) => isConstraintProblem(p)).sort((a, b) => b.lastUpdatedAt - a.lastUpdatedAt).slice(0, 3);
-  const recentResolved = problems.filter((p) => p.attrs["resolvedAt"] != null && p.attrs["resolvedAs"] == null).sort((a, b) => Number(b.attrs["resolvedAt"] ?? 0) - Number(a.attrs["resolvedAt"] ?? 0)).slice(0, 4).map((p) => {
+  const regressions = problems.filter((p) => p.attrs["resolvedAt"] == null && p.attrs["mergedInto"] === void 0).flatMap(
+    (open2) => opts.store.outEdges(open2.id, ["REGRESSION_OF"]).flatMap((e) => {
+      const closed = opts.store.getNode(e.to);
+      if (!closed || closed.attrs["resolutionSuspect"] !== true || closed.attrs["resolvedAt"] == null) {
+        return [];
+      }
+      const solEdge = opts.store.outEdges(closed.id, ["SOLVED_BY"])[0];
+      const solution = solEdge ? opts.store.getNode(solEdge.to) ?? void 0 : void 0;
+      return [{ open: open2, closed, ...solution ? { solution } : {} }];
+    })
+  ).sort((a, b) => Number(b.closed.attrs["recurredAt"] ?? 0) - Number(a.closed.attrs["recurredAt"] ?? 0)).slice(0, 2);
+  const regressionClosedIds = new Set(regressions.map((r) => r.closed.id));
+  const recentResolved = problems.filter((p) => p.attrs["resolvedAt"] != null && p.attrs["resolvedAs"] == null).filter((p) => !regressionClosedIds.has(p.id)).sort((a, b) => Number(b.attrs["resolvedAt"] ?? 0) - Number(a.attrs["resolvedAt"] ?? 0)).slice(0, 4).map((p) => {
     const solEdge = opts.store.outEdges(p.id, ["SOLVED_BY"])[0];
     const solution = solEdge ? opts.store.getNode(solEdge.to) ?? void 0 : void 0;
     return { node: p, ...solution ? { solution } : {} };
@@ -22963,6 +23035,7 @@ function buildSnapshot(opts) {
     recentProblems: recent2,
     recentResolved,
     recentConstraints,
+    regressions,
     ...causalNudge ? { causalNudge } : {},
     ...opts.selfCiteSkips && opts.selfCiteSkips > 0 ? { selfCiteSkips: opts.selfCiteSkips } : {},
     ...domainNudge ? { domainNudge } : {},
@@ -23127,7 +23200,7 @@ function renderSnapshot(s) {
     lines.push("");
   }
   lines.push("### Recently observed problems in this workspace");
-  if (s.recentProblems.length === 0 && s.recentResolved.length === 0 && s.recentConstraints.length === 0) {
+  if (s.recentProblems.length === 0 && s.recentResolved.length === 0 && s.recentConstraints.length === 0 && s.regressions.length === 0) {
     lines.push("- _none yet \u2014 errata is still building its model_");
   } else {
     if (s.recentProblems.length > 0) {
@@ -23149,6 +23222,22 @@ function renderSnapshot(s) {
         );
       }
     }
+    if (s.regressions.length > 0) {
+      lines.push("_\u{1F501} RECURRED \u2014 a previously-solved problem appears to be back; did the fix hold?_");
+      for (const g of s.regressions) {
+        lines.push(`- **${g.open.description}** \u2014 \`${g.open.id}\`${tagOf(g.open)}`);
+        lines.push(`  - previously resolved as: ${g.closed.description.slice(0, 120)} \u2014 \`${g.closed.id}\``);
+        if (g.solution) {
+          lines.push(
+            `  - the fix on record: ${g.solution.description.slice(0, 120)} \u2014 \`${g.solution.id}\` \xB7 fix still holds \u2192 (confirm:[${g.solution.id}]) \xB7 hitting it again \u2192 flag it (a second independent witness reopens the close)`
+          );
+        } else {
+          lines.push(
+            `  - no fix prose on record \xB7 hitting it again \u2192 flag it (a second independent witness reopens the close)`
+          );
+        }
+      }
+    }
     if (s.recentConstraints.length > 0) {
       lines.push("_Design tensions \u2014 constraints this work is shaped around, not defects to fix:_");
       for (const c of s.recentConstraints) {
@@ -29532,7 +29621,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 +54132,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 +54156,7 @@ function applyLocalRefutations(store, refutes, ts) {
       lastUpdatedAt: ts
     });
     out2.stamped++;
+    out2.stampedIds.push(r.nodeId);
   }
   return out2;
 }
@@ -56953,7 +57043,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.1182" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.1196" : "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 +57880,8 @@ function createWorkspaceEngine(opts) {
     let corroboratedEdges = 0;
     let refutesStamped = 0;
     let recurrencesMarked = 0;
+    let reopenedFromRegression = 0;
+    let fixHeldConfirmed = 0;
     const dispositions = emptyTagDispositions();
     let unresolvedHandles = 0;
     let priorEdgesFlagOff = 0;
@@ -57856,9 +57948,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 +58036,32 @@ 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 c of plan.corroborations) {
+          const node2 = store.getNode(c.nodeId);
+          if (node2?.label !== "Solution") continue;
+          const held = confirmFixHeld(store, c.nodeId, t);
+          if (held > 0) {
+            fixHeldConfirmed += held;
+            console.log(`[errata] fix-held confirmed: ${node2.id} \u2014 ${held} regression question(s) acknowledged`);
+          }
+        }
+        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 +58105,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 +58121,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 +58541,10 @@ 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,
+        // RG-prime: regression questions acknowledged by a fix-held confirm.
+        fixHeldConfirmed,
         // WM-labels calibration cells (see prior-tags exposure split).
         exposureShown,
         exposureEvicted,

package/package.json

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

package/pass-worker.mjs

@@ -27052,7 +27052,19 @@ function buildSnapshot(opts) {
     anchors: opts.store.outEdges(p.id, ["MANIFESTED_IN", "EVIDENCED_BY"])
   }));
   const recentConstraints = stillOpen.filter((p) => isConstraintProblem(p)).sort((a, b) => b.lastUpdatedAt - a.lastUpdatedAt).slice(0, 3);
-  const recentResolved = problems.filter((p) => p.attrs["resolvedAt"] != null && p.attrs["resolvedAs"] == null).sort((a, b) => Number(b.attrs["resolvedAt"] ?? 0) - Number(a.attrs["resolvedAt"] ?? 0)).slice(0, 4).map((p) => {
+  const regressions = problems.filter((p) => p.attrs["resolvedAt"] == null && p.attrs["mergedInto"] === void 0).flatMap(
+    (open) => opts.store.outEdges(open.id, ["REGRESSION_OF"]).flatMap((e) => {
+      const closed = opts.store.getNode(e.to);
+      if (!closed || closed.attrs["resolutionSuspect"] !== true || closed.attrs["resolvedAt"] == null) {
+        return [];
+      }
+      const solEdge = opts.store.outEdges(closed.id, ["SOLVED_BY"])[0];
+      const solution = solEdge ? opts.store.getNode(solEdge.to) ?? void 0 : void 0;
+      return [{ open, closed, ...solution ? { solution } : {} }];
+    })
+  ).sort((a, b) => Number(b.closed.attrs["recurredAt"] ?? 0) - Number(a.closed.attrs["recurredAt"] ?? 0)).slice(0, 2);
+  const regressionClosedIds = new Set(regressions.map((r) => r.closed.id));
+  const recentResolved = problems.filter((p) => p.attrs["resolvedAt"] != null && p.attrs["resolvedAs"] == null).filter((p) => !regressionClosedIds.has(p.id)).sort((a, b) => Number(b.attrs["resolvedAt"] ?? 0) - Number(a.attrs["resolvedAt"] ?? 0)).slice(0, 4).map((p) => {
     const solEdge = opts.store.outEdges(p.id, ["SOLVED_BY"])[0];
     const solution = solEdge ? opts.store.getNode(solEdge.to) ?? void 0 : void 0;
     return { node: p, ...solution ? { solution } : {} };
@@ -27122,6 +27134,7 @@ function buildSnapshot(opts) {
     recentProblems: recent,
     recentResolved,
     recentConstraints,
+    regressions,
     ...causalNudge ? { causalNudge } : {},
     ...opts.selfCiteSkips && opts.selfCiteSkips > 0 ? { selfCiteSkips: opts.selfCiteSkips } : {},
     ...domainNudge ? { domainNudge } : {},