@inerrata-corporation/errata 2.0.17-dev.3447 → 2.0.17-dev.3459

package/consolidate-worker.mjs

@@ -18575,6 +18575,8 @@ function generalize(text, opts = {}) {
 init_src();
 
 // src/instance-receipts.ts
+var INSTANCE_SEMANTIC_EDGE_TYPES = ["CAUSED_BY", "SOLVED_BY"];
+var INSTANCE_ANCHOR_EDGE_TYPES = ["OCCURS_IN", "DEPENDS_ON", "PERTAIN_TO", "CONCERNS"];
 function receiptMap(attrs) {
   const value = attrs["instanceReceipts"];
   return value && typeof value === "object" && !Array.isArray(value) ? value : {};
@@ -19455,8 +19457,8 @@ function generalizeFileRefs(text, fileLexicon, level = 1) {
 
 // src/instance-ingest.ts
 var INSTANCE_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
-var INSTANCE_EDGES = ["CAUSED_BY", "SOLVED_BY"];
-var ANCHOR_EDGES = ["OCCURS_IN", "DEPENDS_ON", "PERTAIN_TO", "CONCERNS"];
+var INSTANCE_EDGES = INSTANCE_SEMANTIC_EDGE_TYPES;
+var ANCHOR_EDGES = INSTANCE_ANCHOR_EDGE_TYPES;
 var ANCHOR_TARGET_LABELS = ["Language", "Package", "Domain", "Component"];
 function stripCodebaseScope(scope) {
   const s = { ...scope ?? {} };

package/errata.mjs

@@ -82169,7 +82169,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.17-dev.3447" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.17-dev.3459" : "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;
@@ -85055,6 +85055,39 @@ async function linkRegisteredWorkspaces(cfg, loggedInProfile = cfg.activeInstall
 
 // src/instance-receipts.ts
 import { createHash as createHash18 } from "node:crypto";
+var INSTANCE_SEMANTIC_EDGE_TYPES = ["CAUSED_BY", "SOLVED_BY"];
+var INSTANCE_ANCHOR_EDGE_TYPES = ["OCCURS_IN", "DEPENDS_ON", "PERTAIN_TO", "CONCERNS"];
+function edgeReceiptKind(type) {
+  if (INSTANCE_SEMANTIC_EDGE_TYPES.includes(type)) return "semantic";
+  if (INSTANCE_ANCHOR_EDGE_TYPES.includes(type)) return "anchor";
+  return type === "ANCHORED_AT" ? "projectAnchor" : null;
+}
+function instanceEdgeReceipts(sent, received, cloudIds) {
+  const wireId = (id) => cloudIds.get(id) ?? id;
+  const edgeKey = (e) => JSON.stringify([wireId(e.from), e.type, wireId(e.to)]);
+  const groupKey = (source, kind) => JSON.stringify([wireId(source), kind]);
+  const accepted = /* @__PURE__ */ new Map();
+  const rejected = /* @__PURE__ */ new Set();
+  for (const edge2 of received) {
+    const key = edgeKey(edge2);
+    if (edge2.decision === "rejected") rejected.add(key);
+    else if (edge2.decision === "created" || edge2.decision === "reinforced") accepted.set(key, (accepted.get(key) ?? 0) + 1);
+  }
+  const groups = /* @__PURE__ */ new Map();
+  for (const edge2 of sent) {
+    const kind = edgeReceiptKind(edge2.type);
+    if (!kind) continue;
+    const group = groupKey(edge2.from, kind);
+    const expected = groups.get(group) ?? /* @__PURE__ */ new Map();
+    const key = edgeKey(edge2);
+    expected.set(key, (expected.get(key) ?? 0) + 1);
+    groups.set(group, expected);
+  }
+  const complete = new Set([...groups].filter(
+    ([, expected]) => [...expected].every(([key, count]) => !rejected.has(key) && (accepted.get(key) ?? 0) >= count)
+  ).map(([group]) => group));
+  return { complete: (source, kind) => complete.has(groupKey(source, kind)) };
+}
 var FIELDS = ["contributedAtSeq", "cloudNodeId", "anchorsContributedDigest", "projectAnchorsContributedDigest", "semanticEdgesContributedDigest", "shipRefusedSinceSeq", "shipRefusedCount", "shipRefusedReason", "shipRefusedFingerprint"];
 function instanceDestinationKey(input) {
   return createHash18("sha256").update(JSON.stringify([
@@ -85099,6 +85132,7 @@ function acceptedInstanceReceipt(current, sent, decision, destination, mirrorLeg
 }
 
 // src/multi.ts
+init_src();
 init_dist();
 init_src5();
 import { existsSync as existsSync34, readFileSync as readFileSync36, unlinkSync as unlinkSync5, writeFileSync as writeFileSync26 } from "node:fs";
@@ -85480,8 +85514,8 @@ function internalSymbolsFor(description, lexiconHas, publicIndex) {
 // src/instance-ingest.ts
 init_generalize_graph();
 var INSTANCE_LABELS = ["Problem", "Vulnerability", "Solution", "RootCause"];
-var INSTANCE_EDGES = ["CAUSED_BY", "SOLVED_BY"];
-var ANCHOR_EDGES = ["OCCURS_IN", "DEPENDS_ON", "PERTAIN_TO", "CONCERNS"];
+var INSTANCE_EDGES = INSTANCE_SEMANTIC_EDGE_TYPES;
+var ANCHOR_EDGES = INSTANCE_ANCHOR_EDGE_TYPES;
 var ANCHOR_TARGET_LABELS = ["Language", "Package", "Domain", "Component"];
 function stripCodebaseScope(scope) {
   const s = { ...scope ?? {} };
@@ -87620,6 +87654,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)}`];
@@ -87897,7 +87948,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": {
@@ -87908,7 +87959,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);
@@ -90343,7 +90394,20 @@ async function startMultiDaemon(opts = {}) {
               if (rn.decision === "rejected") rejected.set(rn.canonicalId, rn.reason ?? "no reason given");
             }
             const rejectedEdges = res.result.edges.filter((re) => re.decision === "rejected");
-            const edgeReceiptsComplete = rejectedEdges.length === 0 && res.result.edges.length === instances.edges.length;
+            const cloudIds = /* @__PURE__ */ new Map();
+            for (const node2 of res.result.nodes) {
+              if (isMembraneSaltedId(node2.nodeId)) cloudIds.set(node2.canonicalId, node2.nodeId);
+            }
+            for (const localId of /* @__PURE__ */ new Set([
+              ...Object.keys(instances.anchorDigests),
+              ...Object.keys(instances.projectAnchorDigests),
+              ...Object.keys(instances.semanticEdgeDigests)
+            ])) {
+              const owner = owningStore(localId);
+              const cloudId = owner && instanceReceipt(owner.n, destinationKey)["cloudNodeId"];
+              if (isMembraneSaltedId(cloudId)) cloudIds.set(localId, cloudId);
+            }
+            const edgeReceipts = instanceEdgeReceipts(instances.edges, res.result.edges, cloudIds);
             if (rejectedEdges.length > 0) {
               const byReason = /* @__PURE__ */ new Map();
               for (const re of rejectedEdges) {
@@ -90393,7 +90457,7 @@ async function startMultiDaemon(opts = {}) {
             await stampBatched(Object.entries(instances.anchorDigests), ([localId, dg]) => {
               const owner = owningStore(localId);
               if (!owner) return;
-              if (!edgeReceiptsComplete || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
+              if (!edgeReceipts.complete(localId, "anchor") || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
               owner.s.updateNode(localId, {
                 attrs: updateInstanceReceipt(owner.n, destinationKey, { anchorsContributedDigest: dg }, owner.s === store)
               });
@@ -90401,7 +90465,7 @@ async function startMultiDaemon(opts = {}) {
             await stampBatched(Object.entries(instances.projectAnchorDigests), ([localId, dg]) => {
               const owner = owningStore(localId);
               if (!owner) return;
-              if (!edgeReceiptsComplete || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
+              if (!edgeReceipts.complete(localId, "projectAnchor") || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
               owner.s.updateNode(localId, {
                 attrs: updateInstanceReceipt(owner.n, destinationKey, { projectAnchorsContributedDigest: dg }, owner.s === store)
               });
@@ -90409,7 +90473,7 @@ async function startMultiDaemon(opts = {}) {
             await stampBatched(Object.entries(instances.semanticEdgeDigests), ([localId, dg]) => {
               const owner = owningStore(localId);
               if (!owner) return;
-              if (!edgeReceiptsComplete || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
+              if (!edgeReceipts.complete(localId, "semantic") || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
               owner.s.updateNode(localId, {
                 attrs: updateInstanceReceipt(owner.n, destinationKey, { semanticEdgesContributedDigest: dg }, owner.s === store)
               });

package/package.json

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