@inerrata-corporation/errata 2.0.2-dev.1166 → 2.0.2-dev.1172

package/errata.mjs

@@ -22357,6 +22357,24 @@ var init_mechanism_liveness = __esm({
     STALL_MIN_RUNS = 3;
     STALL_MIN_SPAN_MS = 60 * 60 * 1e3;
     MECHANISMS = [
+      {
+        id: "refute-local-stamp",
+        what: "stamps a harvested refute witness onto the LOCAL node (refutedAt/refutations/reason)",
+        // Stamped at harvest, so the capture pass carries the effect counter.
+        pass: "capture",
+        // Refutes are rare by design (a verdict, not a lean-on) — the bar is "the
+        // field is written at all", the revisitAnsweredWhen precedent. RG-mark
+        // ships the producer; RG-recall is the ranking consumer — until it lands,
+        // THIS descriptor is the consumer, which is exactly the condition the
+        // probe exists to keep visible rather than let rot silently.
+        fed: {
+          labels: ["Problem", "Solution", "RootCause", "Pattern"],
+          attr: "refutedAt",
+          minFraction: 0
+        },
+        effectCounter: "refutesStamped",
+        note: "RG-mark; reason text is local-only (wire ships nodeId+witnessKey)"
+      },
       {
         id: "fix-candidate-ask",
         what: "asks an agent whether an edit to a problem's anchor fixed it",
@@ -53880,6 +53898,43 @@ function typePriorEdge(sourceLabel, targetLabel2, sentence = "") {
   }
   return "RELATES_TO";
 }
+function refuteReason(statement) {
+  const s = (statement ?? "").trim();
+  return s.length > 0 ? s.slice(0, 240) : void 0;
+}
+function wireWitnessItems(items) {
+  return items.map(({ nodeId, witnessKey }) => ({ nodeId, witnessKey }));
+}
+var REFUTE_REASONS_CAP = 5;
+var REFUTE_WITNESS_KEYS_CAP = 16;
+function applyLocalRefutations(store, refutes, ts) {
+  const out2 = { stamped: 0, duplicate: 0, unknownNode: 0 };
+  for (const r of refutes) {
+    const node2 = store.getNode(r.nodeId);
+    if (!node2) {
+      out2.unknownNode++;
+      continue;
+    }
+    const keys = node2.attrs["refuteWitnessKeys"] ?? [];
+    if (keys.includes(r.witnessKey)) {
+      out2.duplicate++;
+      continue;
+    }
+    const reasons = node2.attrs["refuteReasons"] ?? [];
+    store.updateNode(r.nodeId, {
+      attrs: {
+        ...node2.attrs,
+        refutedAt: ts,
+        refutations: (Number(node2.attrs["refutations"]) || 0) + 1,
+        ...r.reason ? { refuteReasons: [r.reason, ...reasons].slice(0, REFUTE_REASONS_CAP) } : {},
+        refuteWitnessKeys: [...keys, r.witnessKey].slice(-REFUTE_WITNESS_KEYS_CAP)
+      },
+      lastUpdatedAt: ts
+    });
+    out2.stamped++;
+  }
+  return out2;
+}
 var PRIOR_TAG_INSTRUCTION = buildAgentInstruction();
 function isEdgeElicitationEnabled() {
   return (process.env["EDGE_ELICITATION_ENABLED"] ?? "true").toLowerCase() !== "false";
@@ -54140,7 +54195,8 @@ function harvestInlineTags(store, text, opts) {
         if (nodeId) {
           const witnessKey = `refute:${nodeId}:${digest({ s: tag.statement ?? "" })}`.slice(0, 72);
           if (!plan.refutes.some((r) => r.witnessKey === witnessKey)) {
-            plan.refutes.push({ nodeId, witnessKey });
+            const reason = refuteReason(tag.statement);
+            plan.refutes.push({ nodeId, witnessKey, ...reason ? { reason } : {} });
           }
         }
       }
@@ -54175,7 +54231,8 @@ function harvestInlineTags(store, text, opts) {
         } else {
           const witnessKey = `refute:${targetId}:${digest({ s: tag.statement ?? "" })}`.slice(0, 72);
           if (!plan.refutes.some((r) => r.witnessKey === witnessKey)) {
-            plan.refutes.push({ nodeId: targetId, witnessKey });
+            const reason = refuteReason(tag.statement);
+            plan.refutes.push({ nodeId: targetId, witnessKey, ...reason ? { reason } : {} });
           }
         }
       }
@@ -56761,7 +56818,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.1166" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.1172" : "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;
@@ -57596,6 +57653,7 @@ function createWorkspaceEngine(opts) {
     let exposureEvicted = 0;
     let exposureUnshown = 0;
     let corroboratedEdges = 0;
+    let refutesStamped = 0;
     const dispositions = emptyTagDispositions();
     let unresolvedHandles = 0;
     let priorEdgesFlagOff = 0;
@@ -57737,6 +57795,7 @@ function createWorkspaceEngine(opts) {
         });
         priorEdges += plan.priorEdges;
         corroboratedEdges += plan.corroboratedEdges;
+        refutesStamped += applyLocalRefutations(store, plan.refutes, t).stamped;
         addTagDispositions(dispositions, plan.dispositions);
         unresolvedHandles += plan.unresolvedHandles.length;
         priorEdgesFlagOff += plan.priorEdgesSuppressed.flagOff;
@@ -58112,7 +58171,7 @@ function createWorkspaceEngine(opts) {
         if (typeof cloud.reportContradictions === "function") {
           await sendWitnesses(
             "contradict",
-            plan.refutes,
+            wireWitnessItems(plan.refutes),
             (items2, session) => cloud.reportContradictions({
               daemonVersion: DAEMON_VERSION,
               projectId: profile.id,
@@ -58180,6 +58239,9 @@ function createWorkspaceEngine(opts) {
         triaged,
         priorEdges,
         corroboratedEdges,
+        // RG-mark: refute witnesses stamped onto local nodes (the local half of
+        // the contradict channel; the wire half rides the witness ledger).
+        refutesStamped,
         // 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.1166",
+  "version": "2.0.2-dev.1172",
   "description": "errata - local-first observation engine for AI coding agents",
   "type": "module",
   "bin": {