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

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) {
@@ -40023,6 +40068,8 @@ var init_reconcile = __esm({
 var mcp_exports = {};
 __export(mcp_exports, {
   INSTRUCTIONS: () => INSTRUCTIONS,
+  RG_REFUTED_DAMP: () => RG_REFUTED_DAMP,
+  RG_SUSPECT_BOOST: () => RG_SUSPECT_BOOST,
   createMcpHandler: () => createMcpHandler,
   runMcpServer: () => runMcpServer,
   runTool: () => runTool,
@@ -40094,6 +40141,22 @@ function takeDiscriminatorNudge(path2) {
     shared.close();
   }
 }
+function hitState(n) {
+  const reasons = n.attrs["refuteReasons"];
+  if (n.attrs["resolutionSuspect"] === true && n.attrs["resolvedAt"] != null) {
+    return { state: "regression-suspect", factor: RG_SUSPECT_BOOST };
+  }
+  if (n.attrs["refutedAt"] != null) {
+    return { state: "refuted", ...reasons?.[0] ? { refutedWhy: reasons[0] } : {}, factor: RG_REFUTED_DAMP };
+  }
+  if (n.attrs["reopenedFrom"] === "regression") {
+    return { state: "reopened-regression", factor: RG_SUSPECT_BOOST };
+  }
+  if (n.attrs["resolvedAt"] != null && n.attrs["resolvedAs"] == null) {
+    return { state: "resolved", factor: 1 };
+  }
+  return { factor: 1 };
+}
 function commentAnchorId(store, commentId) {
   const out2 = store.outEdges(commentId, ["EXPLAINS", "ANNOTATES"]);
   if (out2.length > 0) return out2[0].to;
@@ -40158,14 +40221,16 @@ function searchGraph(store, query, limit) {
     }
     add(node2, matched);
   }
-  return [...merged.values()].sort(
-    (a, b) => rankTier(a.node) - rankTier(b.node) || b.matched - a.matched || b.node.pageRank - a.node.pageRank
-  ).slice(0, limit).map(({ node: node2, via }) => ({
+  return [...merged.values()].map((e) => ({ ...e, rg: hitState(e.node) })).sort(
+    (a, b) => rankTier(a.node) - rankTier(b.node) || b.matched - a.matched || b.node.pageRank * b.rg.factor - a.node.pageRank * a.rg.factor
+  ).slice(0, limit).map(({ node: node2, via, rg }) => ({
     id: node2.id,
     label: node2.label,
     description: node2.description,
     pageRank: node2.pageRank,
-    ...via ? { via } : {}
+    ...via ? { via } : {},
+    ...rg.state ? { state: rg.state } : {},
+    ...rg.refutedWhy ? { refutedWhy: rg.refutedWhy } : {}
   }));
 }
 function runTool(name2, args2, store, ctx = {}) {
@@ -40458,7 +40523,7 @@ async function runMcpServer(workspaceRoot) {
     if (resp) process.stdout.write(JSON.stringify(resp) + "\n");
   }
 }
-var INSTRUCTIONS, AUDIT_RUN_THRESHOLD, AUDIT_NUDGE_COOLDOWN, DISCRIMINATOR_NUDGE_COOLDOWN, AUDIT_FLAG_NUDGE, TOOLS;
+var INSTRUCTIONS, AUDIT_RUN_THRESHOLD, AUDIT_NUDGE_COOLDOWN, DISCRIMINATOR_NUDGE_COOLDOWN, AUDIT_FLAG_NUDGE, RG_REFUTED_DAMP, RG_SUSPECT_BOOST, TOOLS;
 var init_mcp = __esm({
   "src/mcp.ts"() {
     "use strict";
@@ -40522,6 +40587,8 @@ var init_mcp = __esm({
     AUDIT_NUDGE_COOLDOWN = 12;
     DISCRIMINATOR_NUDGE_COOLDOWN = 40;
     AUDIT_FLAG_NUDGE = "\u26A1 errata \u2014 reading/auditing? anything you notice that's off, flag it inline as `[!one line]` (`[?\u2026]` = TODO) \u2014 no tool call, we harvest it.";
+    RG_REFUTED_DAMP = 0.75;
+    RG_SUSPECT_BOOST = 1.25;
     TOOLS = [
       {
         name: "errata.switch_context",
@@ -56998,7 +57065,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.1203" : "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 +57903,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 +58060,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 +58565,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.1203",
   "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 } : {},