@inerrata-corporation/errata 2.0.2-dev.295 → 2.0.2-dev.302

package/consolidate-worker.mjs

@@ -15214,7 +15214,12 @@ var init_edge_rules = __esm({
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
       IS_A: { from: ["Weakness"], to: ["Weakness"] },
       // ── Conceptual (v1 taxonomy.ts: instance → motif/pattern reference) ──
-      INSTANCE_OF: { to: ["Pattern", "Weakness", "Technique"] },
+      // `AntiPattern` joined the target set 2026-08-02: it is one of the three motif
+      // kinds (generalizer motifs.ts `layerOf`: pattern | technique | antipattern) and
+      // the SUPPRESSED-close path mints `Problem ─INSTANCE_OF→ AntiPattern` as the
+      // negative-knowledge binding ("silenced, not solved") — the original three-label
+      // rule predates AntiPattern joining the motif layer and silently ate that edge.
+      INSTANCE_OF: { to: ["Pattern", "AntiPattern", "Weakness", "Technique"] },
       IMPLEMENTS: { from: ["Solution", "Language", "Component"], to: ["Pattern", "Technique"] },
       MATCHES: { to: ["Pattern"] },
       // ── Artifact evidence (v1 taxonomy.ts artifact rows) ──
@@ -15772,7 +15777,15 @@ var LOCAL_RULE_OVERRIDES = {
     to: [...CODE_NODE_LABELS, "Symbol"]
   },
   REVEALED_BY: null,
-  PRODUCED: null
+  PRODUCED: null,
+  // FIXED_BY locally ALSO carries the fix-provenance sense: `resolveProblem`
+  // attributes a closed Problem to the fixing `Episode` (PLAN_PLASTICITY §2.1)
+  // alongside the cloud's Problem→Solution knowledge claim. Same shape as
+  // PRODUCED/REVEALED_BY above — an Episode is code-layer and never drains, so
+  // the cloud door's `to: [Solution]` rule is untouched. The `from` constraint
+  // stays: the reversed (Solution)-FIXED_BY->(...) splash bug is the reason
+  // this rule exists at all.
+  FIXED_BY: { from: EDGE_RULES["FIXED_BY"]?.from, to: ["Solution", "Episode"] }
 };
 function localEdgeViolation(fromLabel, type, toLabel) {
   if (type in LOCAL_RULE_OVERRIDES) {

package/errata.mjs

@@ -15389,7 +15389,12 @@ var init_edge_rules = __esm({
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
       IS_A: { from: ["Weakness"], to: ["Weakness"] },
       // ── Conceptual (v1 taxonomy.ts: instance → motif/pattern reference) ──
-      INSTANCE_OF: { to: ["Pattern", "Weakness", "Technique"] },
+      // `AntiPattern` joined the target set 2026-08-02: it is one of the three motif
+      // kinds (generalizer motifs.ts `layerOf`: pattern | technique | antipattern) and
+      // the SUPPRESSED-close path mints `Problem ─INSTANCE_OF→ AntiPattern` as the
+      // negative-knowledge binding ("silenced, not solved") — the original three-label
+      // rule predates AntiPattern joining the motif layer and silently ate that edge.
+      INSTANCE_OF: { to: ["Pattern", "AntiPattern", "Weakness", "Technique"] },
       IMPLEMENTS: { from: ["Solution", "Language", "Component"], to: ["Pattern", "Technique"] },
       MATCHES: { to: ["Pattern"] },
       // ── Artifact evidence (v1 taxonomy.ts artifact rows) ──
@@ -16497,7 +16502,15 @@ var init_store = __esm({
         to: [...CODE_NODE_LABELS, "Symbol"]
       },
       REVEALED_BY: null,
-      PRODUCED: null
+      PRODUCED: null,
+      // FIXED_BY locally ALSO carries the fix-provenance sense: `resolveProblem`
+      // attributes a closed Problem to the fixing `Episode` (PLAN_PLASTICITY §2.1)
+      // alongside the cloud's Problem→Solution knowledge claim. Same shape as
+      // PRODUCED/REVEALED_BY above — an Episode is code-layer and never drains, so
+      // the cloud door's `to: [Solution]` rule is untouched. The `from` constraint
+      // stays: the reversed (Solution)-FIXED_BY->(...) splash bug is the reason
+      // this rule exists at all.
+      FIXED_BY: { from: EDGE_RULES["FIXED_BY"]?.from, to: ["Solution", "Episode"] }
     };
     SCHEMA_VERSION = 6;
     SCHEMA_SQL = `
@@ -26812,7 +26825,7 @@ function bindCanonicalNeighbors(store, opts) {
   let bound = 0;
   for (const p of problems) {
     const existing = new Set(
-      store.outEdges(p.id, ["MATCHES", "INSTANCE_OF"]).map((e) => e.to)
+      store.outEdges(p.id, ["MATCHES", "INSTANCE_OF", "RELATES_TO"]).map((e) => e.to)
     );
     if (existing.size >= k) continue;
     const ranked = candidates.filter(
@@ -52622,6 +52635,14 @@ function enqueueWitnesses(queue, fresh, now) {
 function pendingFor(queue, channel) {
   return queue.filter((w) => w.channel === channel);
 }
+function partitionReplayable(queue, channel, isShipped) {
+  const replay2 = [];
+  const waiting = [];
+  for (const w of pendingFor(queue, channel)) {
+    (isShipped(w.nodeId) ? replay2 : waiting).push(w);
+  }
+  return { replay: replay2, waiting };
+}
 function retireWitnesses(queue, channel, settledKeys) {
   return queue.filter((w) => !(w.channel === channel && settledKeys.has(w.witnessKey)));
 }
@@ -52881,7 +52902,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.295" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.302" : "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;
@@ -53824,8 +53845,20 @@ function createWorkspaceEngine(opts) {
         const citingSession = sessionOriginKey(sessionId);
         const mintedHere = (nodeId) => store.getNode(nodeId)?.attrs["sources"]?.[0] === sessionId;
         const sendWitnesses = async (channel, fresh, send) => {
-          const queued = pendingFor(witnessQueue, channel);
-          if (fresh.length === 0 && queued.length === 0) return;
+          const { replay: queued, waiting } = partitionReplayable(
+            witnessQueue,
+            channel,
+            (nodeId) => {
+              const n = store.getNode(nodeId);
+              return !n || n.attrs["contributedAtSeq"] != null;
+            }
+          );
+          if (fresh.length === 0 && queued.length === 0) {
+            if (waiting.length > 0) {
+              console.log(`[errata] ${channel}: ${waiting.length} parked awaiting node drain`);
+            }
+            return;
+          }
           const groups = /* @__PURE__ */ new Map();
           for (const q of queued) {
             const g = groups.get(q.sessionKey) ?? [];
@@ -53870,7 +53903,7 @@ function createWorkspaceEngine(opts) {
           witnessQueue = enqueueWitnesses(witnessQueue, stillUnmatched, Date.now());
           saveWitnessQueue(witnessQueuePath(paths.configDir), witnessQueue);
           console.log(
-            `[errata] ${channel}: ${formatDisposition({ recorded, unmatched, duplicate, selfGated })}` + (queued.length > 0 ? ` (incl. ${queued.length} replayed)` : "")
+            `[errata] ${channel}: ${formatDisposition({ recorded, unmatched, duplicate, selfGated })}` + (queued.length > 0 ? ` (incl. ${queued.length} replayed)` : "") + (waiting.length > 0 ? ` (${waiting.length} awaiting drain)` : "")
           );
           appendWitnessLedger(paths.configDir, {
             ts: Date.now(),
@@ -53879,7 +53912,8 @@ function createWorkspaceEngine(opts) {
             unmatched,
             duplicate,
             selfGated,
-            parked: pendingFor(witnessQueue, channel).length
+            parked: pendingFor(witnessQueue, channel).length,
+            awaitingDrain: waiting.length
           });
         };
         if (typeof cloud.reportContradictions === "function") {

package/package.json

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

package/pass-worker.mjs

@@ -15069,7 +15069,12 @@ var init_edge_rules = __esm({
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
       IS_A: { from: ["Weakness"], to: ["Weakness"] },
       // ── Conceptual (v1 taxonomy.ts: instance → motif/pattern reference) ──
-      INSTANCE_OF: { to: ["Pattern", "Weakness", "Technique"] },
+      // `AntiPattern` joined the target set 2026-08-02: it is one of the three motif
+      // kinds (generalizer motifs.ts `layerOf`: pattern | technique | antipattern) and
+      // the SUPPRESSED-close path mints `Problem ─INSTANCE_OF→ AntiPattern` as the
+      // negative-knowledge binding ("silenced, not solved") — the original three-label
+      // rule predates AntiPattern joining the motif layer and silently ate that edge.
+      INSTANCE_OF: { to: ["Pattern", "AntiPattern", "Weakness", "Technique"] },
       IMPLEMENTS: { from: ["Solution", "Language", "Component"], to: ["Pattern", "Technique"] },
       MATCHES: { to: ["Pattern"] },
       // ── Artifact evidence (v1 taxonomy.ts artifact rows) ──
@@ -24079,7 +24084,15 @@ var LOCAL_RULE_OVERRIDES = {
     to: [...CODE_NODE_LABELS, "Symbol"]
   },
   REVEALED_BY: null,
-  PRODUCED: null
+  PRODUCED: null,
+  // FIXED_BY locally ALSO carries the fix-provenance sense: `resolveProblem`
+  // attributes a closed Problem to the fixing `Episode` (PLAN_PLASTICITY §2.1)
+  // alongside the cloud's Problem→Solution knowledge claim. Same shape as
+  // PRODUCED/REVEALED_BY above — an Episode is code-layer and never drains, so
+  // the cloud door's `to: [Solution]` rule is untouched. The `from` constraint
+  // stays: the reversed (Solution)-FIXED_BY->(...) splash bug is the reason
+  // this rule exists at all.
+  FIXED_BY: { from: EDGE_RULES["FIXED_BY"]?.from, to: ["Solution", "Episode"] }
 };
 function localEdgeViolation(fromLabel, type, toLabel) {
   if (type in LOCAL_RULE_OVERRIDES) {