@inerrata-corporation/errata 2.0.2-dev.627 → 2.0.2-dev.631

package/errata.mjs

@@ -22579,7 +22579,7 @@ function renderSnapshot(s) {
   lines.push("");
   lines.push("### \u270D\uFE0F CAPTURE PROTOCOL \u2014 tags are the record");
   lines.push(
-    "errata records ONLY inline tags: `[!one line]` for every problem you state, `(fix:[id])` when your edit fixed a shown problem. Untagged prose is silently lost \u2014 tag as you write (no fences), we filter downstream."
+    "errata records ONLY inline tags: `[!one line]` for every problem you state, `(fix:[id])` when your edit fixed a shown problem, and to JUDGE a prior shown below \u2014 `(confirm:[id])` if it held, `(refute:[id] why)` if it's wrong or didn't hold. Untagged prose is silently lost \u2014 tag as you write (no fences), we filter downstream."
   );
   lines.push("");
   lines.push(SEARCH_IMPERATIVE_HEADER);
@@ -26981,6 +26981,13 @@ function linkBullet(ref) {
     `    \xB7 your fix vs a shown solution: (builds-on:[${ref}]) \xB7 (supersedes:[${ref}]) \xB7 (alternative:[h]) \u2014 pick one`
   ].join("\n");
 }
+function verdictBullet(ref) {
+  return [
+    "  \u2022 judge a prior we SHOWED you \u2014 a verdict on it, not a re-use of it; this is how a",
+    `    shown prior earns or loses trust: ${TAG_EXAMPLE.confirm(ref)} if it held \xB7`,
+    `    ${TAG_EXAMPLE.refute(ref)} if it's wrong or didn't hold (the reason is required)`
+  ].join("\n");
+}
 function attemptBullet() {
   return [
     `  \u2022 attempting an approach / an attempt failed \u2192 ${TAG_EXAMPLE.tried()} \xB7`,
@@ -26991,13 +26998,13 @@ function attemptBullet() {
 function buildAgentInstruction(opts = {}) {
   const signals = opts.signals ?? ["prior", "problem", "domain", "fix", "constraint", "triage", "attempt", "link"];
   const ref = opts.referent ?? "its-handle";
-  const token = (s) => s === "problem" ? TAG_EXAMPLE.problem() : s === "constraint" ? TAG_EXAMPLE.constraint() : s === "attempt" ? TAG_EXAMPLE.tried() : s === "domain" ? TAG_EXAMPLE.domain() : s === "link" ? TAG_EXAMPLE.pattern() : TAG_EXAMPLE[s](ref);
+  const token = (s) => s === "problem" ? TAG_EXAMPLE.problem() : s === "constraint" ? TAG_EXAMPLE.constraint() : s === "attempt" ? TAG_EXAMPLE.tried() : s === "domain" ? TAG_EXAMPLE.domain() : s === "link" ? TAG_EXAMPLE.pattern() : s === "verdict" ? TAG_EXAMPLE.confirm(ref) : TAG_EXAMPLE[s](ref);
   const head2 = `We tag the priors we show you with a short handle like [${opts.handleExample ?? "chokidar-glob"}]. Tags are the ONLY signal recorded \u2014 anything you state but don't tag is silently lost. Weave each tag inline in your prose as you state it (no fences or backticks, no extra calls); tag everything, we filter downstream:`;
   const tail = "Mid-turn text (between tool calls) can be dropped by the harness \u2014 RESTATE every tag in your turn-final message; the final message is what reliably survives \u2014 EXCEPT one already shown above with an id: that is captured, so cite `[its-handle]` rather than retyping it (drift mints a duplicate).";
   return [
     head2,
     ...signals.map(
-      (s) => s === "triage" ? triageBullet(ref) : s === "attempt" ? attemptBullet() : s === "link" ? linkBullet(ref) : `  \u2022 ${GLOSS[s]} \u2192 ${token(s)}`
+      (s) => s === "triage" ? triageBullet(ref) : s === "attempt" ? attemptBullet() : s === "link" ? linkBullet(ref) : s === "verdict" ? verdictBullet(ref) : `  \u2022 ${GLOSS[s]} \u2192 ${token(s)}`
     ),
     tail
   ].join("\n");
@@ -27048,7 +27055,15 @@ var init_agent_signals = __esm({
       // knowledge can cross to the collective.
       package: () => `(package: the-package-name)`,
       component: () => `(component: The Component)`,
-      aids: (ref) => `(aids:[${ref}])`
+      aids: (ref) => `(aids:[${ref}])`,
+      // VERDICT (VS-verdict-tags) — a judgment on a SHOWN prior, distinct from leaning on it.
+      // `confirm` rides the corroborate channel (it held); `refute` the contradict channel
+      // (it's wrong / didn't hold) and REQUIRES a reason. This is the inline producer the
+      // evidence channels lacked — refute sat dead (contradictionPressure 0) until now, while
+      // lean-on corroboration lived, because only corroboration had an inline path. Grammar
+      // single-sourced with parseInlineTags' CONFIRM_PREFIX/REFUTE_PREFIX.
+      confirm: (ref) => `(confirm:[${ref}])`,
+      refute: (ref) => `(refute:[${ref}] one line why)`
     };
     GLOSS = {
       prior: "a shown prior helped, or you work in a primed language/package",
@@ -27076,7 +27091,8 @@ var init_agent_signals = __esm({
       // clause; the pattern convergence hook now rides here too (it fell 0/4 when it
       // only appeared in the link bullet's tail).
       domain: "a problem with no single file \u2014 name the area it's about (Title Case). Also name the general shape it instantiates: (pattern: the shape) \u2014 needs no code anchor, and two agents naming the same shape converge on one node",
-      link: "the problem you flagged is an instance of priors/abstractions you can name \u2014 (instance:[h1],[h2],\u2026) / (pattern: \u2026) / (aids:[h]); rendered whole via linkBullet"
+      link: "the problem you flagged is an instance of priors/abstractions you can name \u2014 (instance:[h1],[h2],\u2026) / (pattern: \u2026) / (aids:[h]); rendered whole via linkBullet",
+      verdict: "you can judge a prior we SHOWED you \u2014 confirm it if it held, refute it (with why) if it didn't; rendered whole via verdictBullet"
     };
   }
 });
@@ -51970,6 +51986,9 @@ var BUILDS_ON_PREFIX = /^\s*builds-on:(?:#([a-z][\w-]{0,63}))?\s*/i;
 var SUPERSEDES_PREFIX = /^\s*supersedes:(?:#([a-z][\w-]{0,63}))?\s*/i;
 var ALTERNATIVE_PREFIX = /^\s*alternative:(?:#([a-z][\w-]{0,63}))?\s*/i;
 var INSTANCE_PREFIX = /^\s*instance:\s*/i;
+var CONFIRM_PREFIX = /^\s*confirm:\s*/i;
+var REFUTE_PREFIX = /^\s*refute:\s*/i;
+var REFUTE_REASON_MIN = 4;
 var PATTERN_RE = /\(\s*pattern:\s*([^()\n]{3,}?)\s*\)/gi;
 var DOMAIN_RE = /\(\s*domain:\s*([^()\n]{3,}?)\s*\)/gi;
 var PACKAGE_RE = /\(\s*package:\s*([^()\n]{2,}?)\s*\)/gi;
@@ -52014,7 +52033,7 @@ function parseInlineTags(text) {
     const seqStart = out2.length;
     const sentence = raw2.replace(
       /`[^`]*`/g,
-      (m) => /\[[!?]|\((?:fix|cause|constraint|tried|failed):|\(\[/.test(m) ? " " : m
+      (m) => /\[[!?]|\((?:fix|cause|constraint|tried|failed|confirm|refute):|\(\[/.test(m) ? " " : m
     );
     const sfield = sentence.replace(/\s+/g, " ").trim().slice(0, 160);
     const citeMatched = /* @__PURE__ */ new Set();
@@ -52029,6 +52048,8 @@ function parseInlineTags(text) {
       const aidsM = fixM || causeM ? null : AIDS_PREFIX.exec(content);
       const instM = fixM || causeM || aidsM ? null : INSTANCE_PREFIX.exec(content);
       const ssM = fixM || causeM || aidsM || instM ? null : BUILDS_ON_PREFIX.exec(content) && { re: BUILDS_ON_PREFIX, kind: "builds-on" } || SUPERSEDES_PREFIX.exec(content) && { re: SUPERSEDES_PREFIX, kind: "supersedes" } || ALTERNATIVE_PREFIX.exec(content) && { re: ALTERNATIVE_PREFIX, kind: "alternative" };
+      const confirmM = fixM || causeM || aidsM || instM || ssM ? null : CONFIRM_PREFIX.exec(content);
+      const refuteM = fixM || causeM || aidsM || instM || ssM || confirmM ? null : REFUTE_PREFIX.exec(content);
       const isFix = fixM !== null;
       const isCause = causeM !== null;
       if (aidsM || instM || ssM) {
@@ -52054,6 +52075,21 @@ function parseInlineTags(text) {
         }
         continue;
       }
+      if (confirmM || refuteM) {
+        const body2 = content.replace(confirmM ? CONFIRM_PREFIX : REFUTE_PREFIX, "");
+        HANDLE_RE.lastIndex = 0;
+        const h2 = HANDLE_RE.exec(body2);
+        const handle2 = h2 ? h2[1] ?? h2[2] : void 0;
+        if (handle2) {
+          if (refuteM) {
+            const reason = body2.replace(new RegExp(HANDLE_RE.source, "gi"), " ").replace(/\s+/g, " ").trim();
+            if (reason.length >= REFUTE_REASON_MIN) out2.push({ kind: "refute", handle: handle2, statement: reason, sentence: sfield });
+          } else {
+            out2.push({ kind: "confirm", handle: handle2, sentence: sfield });
+          }
+        }
+        continue;
+      }
       const verbThread = fixM?.[1] ?? causeM?.[1] ?? void 0;
       if (isFix) content = content.replace(FIX_PREFIX, "");
       else if (isCause) content = content.replace(CAUSE_PREFIX, "");
@@ -52604,6 +52640,27 @@ function harvestInlineTags(store, text, opts) {
           boundStatement: b.statement
         });
       }
+    } else if (tag.kind === "confirm" || tag.kind === "refute") {
+      const targetId = resolveHandle(store, tag.handle, opts.handleMap);
+      const target = targetId ? store.getNode(targetId) : null;
+      const citedLabel = target?.label ?? opts.handleMap[tag.handle]?.label;
+      if (targetId && citedLabel && CORROBORATABLE_LABELS.has(citedLabel)) {
+        if (tag.kind === "confirm") {
+          const witnessKey = `corrob:${targetId}:confirm:${digest({ h: tag.handle })}`.slice(0, 72);
+          if (!plan.corroborations.some((c) => c.witnessKey === witnessKey)) {
+            const exposure = typeof store.currentIngestSeq === "function" ? priorExposure(store, targetId, store.currentIngestSeq()) : "unshown";
+            if (exposure === "shown") plan.exposureShown++;
+            else if (exposure === "evicted") plan.exposureEvicted++;
+            else plan.exposureUnshown++;
+            plan.corroborations.push({ nodeId: targetId, witnessKey, exposure });
+          }
+        } 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 });
+          }
+        }
+      }
     } else if (tag.kind === "prior") {
       const targetId = resolveHandle(store, tag.handle, opts.handleMap);
       const target = targetId ? store.getNode(targetId) : null;
@@ -54800,7 +54857,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.627" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.631" : "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;
@@ -56009,9 +56066,14 @@ function createWorkspaceEngine(opts) {
           });
         };
         if (typeof cloud.reportContradictions === "function") {
+          const emitRefutes = plan.refutes.filter((r) => !mintedHere(r.nodeId));
+          const refuteSkipped = plan.refutes.length - emitRefutes.length;
+          if (refuteSkipped > 0) {
+            appendWitnessLedger(paths.configDir, { ts: Date.now(), channel: "contradict", clientSelfSkipped: refuteSkipped });
+          }
           await sendWitnesses(
             "contradict",
-            plan.refutes,
+            emitRefutes,
             (items2, session) => cloud.reportContradictions({
               daemonVersion: DAEMON_VERSION,
               projectId: profile.id,
@@ -57331,9 +57393,12 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     if (outs.length === 0) continue;
     const dg = digest(outs.map(({ e, wireTo }) => `${e.type}>${wireTo}`).sort());
     const owner = store.getNode(sourceId) ?? opts.sharedStore?.getNode(sourceId);
-    if (owner?.attrs["semanticEdgesContributedDigest"] === dg) continue;
-    semanticEdgeDigests[sourceId] = dg;
-    for (const { e, wireTo } of outs) edges.push({ ...e, from: wireFrom, to: wireTo, attrs: {} });
+    const digestSkip = owner?.attrs["semanticEdgesContributedDigest"] === dg;
+    if (!digestSkip) semanticEdgeDigests[sourceId] = dg;
+    for (const { e, wireTo } of outs) {
+      if (digestSkip && !shippedById.has(e.to)) continue;
+      edges.push({ ...e, from: wireFrom, to: wireTo, attrs: {} });
+    }
   }
   if (nodes.length === 0 && anchorEdges.length === 0 && edges.length === 0) return null;
   let symbolSummaries;
@@ -57358,6 +57423,29 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     if (count > 0) symbolSummaries = sidecar;
   }
   edges.push(...anchorEdges);
+  const bindingEndpoints = /* @__PURE__ */ new Set();
+  for (const e of edges) {
+    if (e.type === "CAUSED_BY" || e.type === "SOLVED_BY") {
+      bindingEndpoints.add(e.from);
+      bindingEndpoints.add(e.to);
+    }
+  }
+  const heldOrphans = /* @__PURE__ */ new Set();
+  for (const wn of nodes) {
+    if (wn.label !== "RootCause" && wn.label !== "Solution") continue;
+    const src = store.getNode(wn.id) ?? opts.sharedStore?.getNode(wn.id);
+    if (typeof src?.attrs["contributedAtSeq"] === "number") continue;
+    if (bindingEndpoints.has(wn.id)) continue;
+    heldOrphans.add(wn.id);
+  }
+  const shippableNodes = heldOrphans.size === 0 ? nodes : nodes.filter((n) => !heldOrphans.has(n.id));
+  const shippableEdges = heldOrphans.size === 0 ? edges : edges.filter((e) => !heldOrphans.has(e.from) && !heldOrphans.has(e.to));
+  if (heldOrphans.size > 0) {
+    console.warn(
+      `[errata] held ${heldOrphans.size} causal-orphan node(s) \u2014 no shippable binding edge this drain (VS-orphan-gate)`
+    );
+  }
+  if (shippableNodes.length === 0 && shippableEdges.length === 0) return null;
   const base = {
     daemonVersion,
     // Origin key (= project, the salted `wp_…`) — the door stamps it onto created
@@ -57369,8 +57457,8 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     // Context nodes FIRST: a chunked drain (cloud-client, 25-node chunks) then
     // co-locates the few Language/Package stubs with the first instance chunk,
     // maximizing in-payload endpoint resolution.
-    nodes: [...contextNodes, ...nodes],
-    edges,
+    nodes: [...contextNodes, ...shippableNodes],
+    edges: shippableEdges,
     // Spread-if-present: an absent sidecar keeps `base` — and therefore the
     // payloadDigest — byte-identical to the pre-sidecar batch (backward compat).
     ...symbolSummaries ? { symbolSummaries } : {}

package/package.json

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