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

package/errata.mjs

@@ -19495,6 +19495,21 @@ function markResolvedRecurrence(store, nodeId, ts, source) {
   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();
   if (t.length === 0) return true;
@@ -22793,6 +22808,7 @@ __export(src_exports2, {
   communityInductionRequests: () => communityInductionRequests,
   communitySeeds: () => communitySeeds,
   compareSemver: () => compareSemver,
+  confirmFixHeld: () => confirmFixHeld,
   corroborateClaim: () => corroborateClaim,
   creditAssignment: () => creditAssignment,
   crystallize: () => crystallize,
@@ -22937,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 } : {} };
@@ -23007,6 +23035,7 @@ function buildSnapshot(opts) {
     recentProblems: recent2,
     recentResolved,
     recentConstraints,
+    regressions,
     ...causalNudge ? { causalNudge } : {},
     ...opts.selfCiteSkips && opts.selfCiteSkips > 0 ? { selfCiteSkips: opts.selfCiteSkips } : {},
     ...domainNudge ? { domainNudge } : {},
@@ -23171,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) {
@@ -23193,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) {
@@ -56998,7 +57043,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.1189" : "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;
@@ -57836,6 +57881,7 @@ function createWorkspaceEngine(opts) {
     let refutesStamped = 0;
     let recurrencesMarked = 0;
     let reopenedFromRegression = 0;
+    let fixHeldConfirmed = 0;
     const dispositions = emptyTagDispositions();
     let unresolvedHandles = 0;
     let priorEdgesFlagOff = 0;
@@ -57992,6 +58038,15 @@ function createWorkspaceEngine(opts) {
         corroboratedEdges += plan.corroboratedEdges;
         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;
@@ -58488,6 +58543,8 @@ function createWorkspaceEngine(opts) {
         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.1189",
+  "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 } : {},