@inerrata-corporation/errata 2.0.17-dev.3450 → 2.0.17-dev.3464

package/consolidate-worker.mjs

@@ -15212,7 +15212,11 @@ var init_history_evidence = __esm({
       tempId: external_exports.string().regex(/^r[0-9]{1,3}$/),
       fromTempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
       toTempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
-      meaning: external_exports.enum(["resolves", "mitigates", "caused-by"]),
+      // `addresses`: the source ties this change to this failure (a fix message, a
+      // ticket/fuzz reference, a guard on the failing case). Source fidelity only —
+      // whether it worked is later evidence's job. `resolves` additionally needs the
+      // source to show the failure no longer occurs.
+      meaning: external_exports.enum(["addresses", "resolves", "mitigates", "caused-by"]),
       evidence: external_exports.array(HistoryEvidenceSelectionSchema).min(1).max(8)
     });
     HistoryCandidateBatchSchema = external_exports.strictObject({
@@ -15565,6 +15569,9 @@ var init_wire = __esm({
         evidence: external_exports.array(HistoryEvidenceRefSchema).max(12).optional(),
         verificationEvidence: external_exports.array(HistoryEvidenceRefSchema).max(12).optional(),
         verifierBuild: external_exports.string().max(80).optional(),
+        /** History-mined relation strength: `addresses` = the commit ties the change
+         *  to the failure (source fidelity); `resolves` = the source also shows it gone. */
+        historyRelation: external_exports.enum(["addresses", "resolves", "mitigates", "caused-by"]).optional(),
         unitDigest: external_exports.string().regex(/^[a-f0-9]{64}$/).optional(),
         /** Triage route per-context counts (T3 induction). Carried as structured data
          *  here; stored JSON-encoded on the Neo4j rel (`perContextJson`). */

package/errata.mjs

@@ -15804,7 +15804,11 @@ var init_history_evidence = __esm({
       tempId: external_exports.string().regex(/^r[0-9]{1,3}$/),
       fromTempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
       toTempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
-      meaning: external_exports.enum(["resolves", "mitigates", "caused-by"]),
+      // `addresses`: the source ties this change to this failure (a fix message, a
+      // ticket/fuzz reference, a guard on the failing case). Source fidelity only —
+      // whether it worked is later evidence's job. `resolves` additionally needs the
+      // source to show the failure no longer occurs.
+      meaning: external_exports.enum(["addresses", "resolves", "mitigates", "caused-by"]),
       evidence: external_exports.array(HistoryEvidenceSelectionSchema).min(1).max(8)
     });
     HistoryCandidateBatchSchema = external_exports.strictObject({
@@ -16274,6 +16278,9 @@ var init_wire = __esm({
         evidence: external_exports.array(HistoryEvidenceRefSchema).max(12).optional(),
         verificationEvidence: external_exports.array(HistoryEvidenceRefSchema).max(12).optional(),
         verifierBuild: external_exports.string().max(80).optional(),
+        /** History-mined relation strength: `addresses` = the commit ties the change
+         *  to the failure (source fidelity); `resolves` = the source also shows it gone. */
+        historyRelation: external_exports.enum(["addresses", "resolves", "mitigates", "caused-by"]).optional(),
         unitDigest: external_exports.string().regex(/^[a-f0-9]{64}$/).optional(),
         /** Triage route per-context counts (T3 induction). Carried as structured data
          *  here; stored JSON-encoded on the Neo4j rel (`perContextJson`). */
@@ -82169,7 +82176,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.17-dev.3450" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.17-dev.3464" : "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;
@@ -87654,6 +87661,23 @@ function stageMs(value) {
   const ms = Number.parseInt(value, 10);
   return Number.isFinite(ms) ? ms : -1;
 }
+function unitDecisions(receipt) {
+  const decisions = receipt.decisions ?? [];
+  if (receipt.proposedAtoms === void 0 && decisions.length === 0) return "";
+  const part = (kind, head2) => {
+    const tally = /* @__PURE__ */ new Map();
+    for (const d of decisions) if (d.kind === kind && d.verdict !== "accepted") {
+      const key = `${d.verdict} ${d.reason}`;
+      tally.set(key, (tally.get(key) ?? 0) + 1);
+    }
+    const why = [...tally].sort((a, b) => b[1] - a[1]).map(([key, n]) => {
+      const [verdict, ...reason] = key.split(" ");
+      return `${verdict} ${n} ${reason.join(" ")}`;
+    });
+    return `${head2}${why.length ? ` ${why.join(", ")}` : ""}`;
+  };
+  return ` [${part("atom", `atoms ${receipt.proposedAtoms ?? "?"}\u2192${receipt.acceptedAtoms ?? "?"}`)}; ${part("relation", `relations ${receipt.pairs}\u2192${receipt.keptPairs} pairs`)}]`;
+}
 function unitTiming(postStarted, prepMs, receipt, nowMs = Date.now()) {
   const s = (ms) => `${(ms / 1e3).toFixed(1)}s`;
   const parts2 = [`local ${s(prepMs)}`];
@@ -87931,7 +87955,7 @@ async function walk10(root, input, client, opts, readBlob) {
         }
         const packages = new Set(outcome.result.nodes.filter((n) => n.decision !== "rejected" && n.canonicalId.startsWith("pkg:")).map((n) => n.canonicalId)).size;
         counts = addCounts(counts, { commitsWalked: 1, changesExtracted: 1, pairs: outcome.receipt.keptPairs, claims: outcome.receipt.claims, anchors: outcome.receipt.anchors, packages });
-        log(`[errata] history ${label}: ${outcome.result.nodes.length} nodes, ${outcome.result.edges.length} edges (${outcome.receipt.keptPairs} pairs, ${outcome.receipt.claims} claims)${unitTiming(started2, prepMs, outcome.receipt)}`);
+        log(`[errata] history ${label}: ${outcome.result.nodes.length} nodes, ${outcome.result.edges.length} edges (${outcome.receipt.keptPairs} pairs, ${outcome.receipt.claims} claims)${unitDecisions(outcome.receipt)}${unitTiming(started2, prepMs, outcome.receipt)}`);
         break;
       }
       case "replayed": {
@@ -87942,7 +87966,7 @@ async function walk10(root, input, client, opts, readBlob) {
       case "empty":
       case "dry-run":
         counts = addCounts(counts, { commitsWalked: 1, changesExtracted: outcome.status === "dry-run" ? 1 : 0, pairs: outcome.receipt.keptPairs, claims: outcome.receipt.claims });
-        log(`[errata] history ${label}: ${outcome.status} (${outcome.receipt.keptPairs} pairs, dropped ${outcome.receipt.droppedByEvidence} by evidence, ${outcome.receipt.droppedByAnchor} by anchor)${unitTiming(started2, prepMs, outcome.receipt)}`);
+        log(`[errata] history ${label}: ${outcome.status} (${outcome.receipt.keptPairs} pairs, dropped ${outcome.receipt.droppedByEvidence} by evidence, ${outcome.receipt.droppedByAnchor} by anchor)${unitDecisions(outcome.receipt)}${unitTiming(started2, prepMs, outcome.receipt)}`);
         break;
       case "refused":
         profile = stage(profile, { state: "refused", lastError: `unit ${label} refused: ${outcome.reason}` }, now);

package/package.json

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

package/pass-worker.mjs

@@ -15070,7 +15070,11 @@ var init_history_evidence = __esm({
       tempId: external_exports.string().regex(/^r[0-9]{1,3}$/),
       fromTempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
       toTempId: external_exports.string().regex(/^a[0-9]{1,3}$/),
-      meaning: external_exports.enum(["resolves", "mitigates", "caused-by"]),
+      // `addresses`: the source ties this change to this failure (a fix message, a
+      // ticket/fuzz reference, a guard on the failing case). Source fidelity only —
+      // whether it worked is later evidence's job. `resolves` additionally needs the
+      // source to show the failure no longer occurs.
+      meaning: external_exports.enum(["addresses", "resolves", "mitigates", "caused-by"]),
       evidence: external_exports.array(HistoryEvidenceSelectionSchema).min(1).max(8)
     });
     HistoryCandidateBatchSchema = external_exports.strictObject({
@@ -15347,6 +15351,9 @@ var init_wire = __esm({
         evidence: external_exports.array(HistoryEvidenceRefSchema).max(12).optional(),
         verificationEvidence: external_exports.array(HistoryEvidenceRefSchema).max(12).optional(),
         verifierBuild: external_exports.string().max(80).optional(),
+        /** History-mined relation strength: `addresses` = the commit ties the change
+         *  to the failure (source fidelity); `resolves` = the source also shows it gone. */
+        historyRelation: external_exports.enum(["addresses", "resolves", "mitigates", "caused-by"]).optional(),
         unitDigest: external_exports.string().regex(/^[a-f0-9]{64}$/).optional(),
         /** Triage route per-context counts (T3 induction). Carried as structured data
          *  here; stored JSON-encoded on the Neo4j rel (`perContextJson`). */