@konneal/engine 0.2.28 → 0.2.30

package/dist/{ask-KELYM6RJ.js → ask-43C2WZZO.js}

@@ -1,7 +1,7 @@
 import {
   handleAsk
-} from "./chunk-INCFGVH3.js";
-import "./chunk-4G5OGWXY.js";
+} from "./chunk-TDKNQPA2.js";
+import "./chunk-F66NYFUK.js";
 import "./chunk-2RKYO3OC.js";
 import "./chunk-A3QHHUN5.js";
 import "./chunk-JGKSUSF5.js";

package/dist/{chunk-4G5OGWXY.js → chunk-F66NYFUK.js}

@@ -22747,12 +22747,31 @@ var federate = {
 // workers/worker_public/src/stages/seal.ts
 var seal = {
   name: "seal",
-  when: (c) => !!c.opts.sealScope,
+  when: (c) => !!c.opts.sealScope || !!c.opts.editionSteer || !!c.opts.editionExclude,
   run: (c) => {
     const before = c.hits.length;
     const scope = c.opts.sealScope;
-    c.hits = c.hits.filter((h) => h.metadata.doc_number === scope.doc_number && (!scope.edition || h.metadata.edition === scope.edition));
-    console.log("context seal:", before, "\u2192", c.hits.length, "candidates within", `doc#${scope.doc_number}${scope.edition ? "@" + scope.edition : ""}`);
+    if (scope) {
+      c.hits = c.hits.filter((h) => h.metadata.doc_number === scope.doc_number && (!scope.edition || h.metadata.edition === scope.edition));
+      console.log("context seal:", before, "\u2192", c.hits.length, "candidates within", `doc#${scope.doc_number}${scope.edition ? "@" + scope.edition : ""}`);
+      return;
+    }
+    const exclude = c.opts.editionExclude;
+    if (exclude) {
+      const before2 = c.hits.length;
+      c.hits = c.hits.filter((h) => !(h.metadata.doc_number === exclude.doc_number && h.metadata.edition !== exclude.edition));
+      console.log("edition exclude:", before2, "\u2192", c.hits.length, "after dropping superseded candidates of", `doc#${exclude.doc_number}@${exclude.edition}`);
+      return;
+    }
+    const steer = c.opts.editionSteer;
+    const current = [];
+    const superseded = [];
+    for (const h of c.hits) {
+      const same = h.metadata.doc_number === steer.doc_number;
+      (same && h.metadata.edition !== steer.edition ? superseded : current).push(h);
+    }
+    c.hits = [...current, ...superseded];
+    console.log("edition steer:", superseded.length, "superseded candidates demoted behind", current.length, "current-edition candidates of", `doc#${steer.doc_number}@${steer.edition}`);
   }
 };
 

package/dist/{chunk-5LCPKJ6V.js → chunk-S7NLWPNX.js}

@@ -7,7 +7,7 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "./chunk-4G5OGWXY.js";
+} from "./chunk-F66NYFUK.js";
 import {
   corsHeaders,
   err,

package/dist/{chunk-INCFGVH3.js → chunk-TDKNQPA2.js}

@@ -28,7 +28,7 @@ import {
   syntheticUnderstanding,
   telemetry,
   understandQuery
-} from "./chunk-4G5OGWXY.js";
+} from "./chunk-F66NYFUK.js";
 import {
   corsHeaders,
   err,
@@ -2188,7 +2188,7 @@ Answer account questions from these records ONLY: name the record when you use i
             // the evidence view's ground truth: the exact passages this
             // answer was built from, compact — cache hits carry none,
             // because the cache stores the answer and never the passages
-            passages: usedHits.slice(0, 8).map((h) => ({ d: h.metadata.docidentifier ?? "", a: h.metadata.clause_anchor ?? "", t: (h.text ?? "").slice(0, 600), ...h.metadata.table_selection ? { s: h.metadata.table_selection } : {} }))
+            passages: usedHits.slice(0, 8).map((h) => ({ d: h.metadata.docidentifier ?? "", a: h.metadata.clause_anchor ?? "", t: (h.text ?? "").slice(0, h.metadata.block === "table" ? 1400 : 600), b: h.metadata.block === "table" || void 0, ...h.metadata.table_selection ? { s: h.metadata.table_selection } : {} }))
           });
           telemetry(env, ctx, tier, "ask", model, true, c2.text.length, queryHash, q.lang, void 0, telemetryMeta());
           const canonical = c2.text;

package/dist/faithfulness-context.d.ts

@@ -1 +1,4 @@
-export declare function buildJudgeContext(passages: string[], machine?: string[]): string;
+export declare function buildJudgeContext(passages: (string | {
+    text: string;
+    table?: boolean;
+})[], machine?: string[]): string;

package/dist/faithfulness.d.ts

@@ -3,4 +3,7 @@ export interface FaithfulnessResult {
     score: number;
     ungrounded_claims: string[];
 }
-export declare function scoreFaithfulness(ai: any, model: string, answer: string, passages: string[], machine?: string[]): Promise<FaithfulnessResult | null>;
+export declare function scoreFaithfulness(ai: any, model: string, answer: string, passages: (string | {
+    text: string;
+    table?: boolean;
+})[], machine?: string[]): Promise<FaithfulnessResult | null>;

package/dist/{search-4UK3RBEQ.js → search-NHTT5DDI.js}

@@ -1,7 +1,7 @@
 import {
   handleSearch
-} from "./chunk-5LCPKJ6V.js";
-import "./chunk-4G5OGWXY.js";
+} from "./chunk-S7NLWPNX.js";
+import "./chunk-F66NYFUK.js";
 import "./chunk-2RKYO3OC.js";
 import "./chunk-A3QHHUN5.js";
 import "./chunk-JGKSUSF5.js";

package/dist/worker_public/src/index.js

@@ -1,6 +1,6 @@
 import {
   handleSearch
-} from "../../chunk-5LCPKJ6V.js";
+} from "../../chunk-S7NLWPNX.js";
 import {
   bindModelNode,
   checkQuoteAnchors,
@@ -9,7 +9,7 @@ import {
   modelGroundingBlock,
   scoreJudge,
   standardForDocNumber
-} from "../../chunk-INCFGVH3.js";
+} from "../../chunk-TDKNQPA2.js";
 import {
   buildMessages,
   citations,
@@ -32,7 +32,7 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "../../chunk-4G5OGWXY.js";
+} from "../../chunk-F66NYFUK.js";
 import {
   authenticate,
   corsHeaders,
@@ -393,7 +393,11 @@ function parseVerdict(text) {
 
 // workers/worker_public/src/faithfulness-context.ts
 function buildJudgeContext(passages, machine = []) {
-  const context = passages.slice(0, 8).map((p, i) => `[${i + 1}] ${p.replace(/\s+/g, " ").slice(0, 1400)}`).join("\n");
+  const context = passages.slice(0, 8).map((p, i) => {
+    const text = typeof p === "string" ? p : p.text;
+    const limit = typeof p !== "string" && p.table ? 2400 : 1400;
+    return `[${i + 1}] ${text.replace(/\s+/g, " ").slice(0, limit)}`;
+  }).join("\n");
   const machineContext = machine.length ? "\n" + machine.slice(0, 6).map((m) => `[M] ${m.replace(/\s+/g, " ").slice(0, 400)}`).join("\n") : "";
   return context + machineContext;
 }
@@ -992,7 +996,7 @@ async function handleMcp(env, ctx, req, tier, key) {
       // stream:false forces the JSON lane (anon defaults to SSE)
       body: JSON.stringify({ ...args, stream: false })
     });
-    const res = name === "ask" ? await (await import("../../ask-KELYM6RJ.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-4UK3RBEQ.js")).handleSearch(env, ctx, inner, tier, key);
+    const res = name === "ask" ? await (await import("../../ask-43C2WZZO.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-NHTT5DDI.js")).handleSearch(env, ctx, inner, tier, key);
     return res.json().catch(() => ({ error: { message: "tool transport failed", status: res.status } }));
   });
   if (out.ok && "accepted" in out) return new Response(null, { status: 202 });
@@ -1452,17 +1456,21 @@ async function verifyRoute(c) {
   try {
     const u = await understandQuery(env.AI, roleModel(env, "understand"), query, [], []);
     let lexicalBoost;
+    let editionExclude = null;
     try {
       const fam = u?.doc_number ? refCodec().familyOf(u.doc_number) : null;
       if (fam) {
         const row = await env.DB.prepare("SELECT edition FROM documents WHERE family = ?1 AND active = 1 ORDER BY edition DESC LIMIT 1").bind(fam).first().catch(() => null);
-        if (row?.edition) lexicalBoost = String(row.edition);
+        if (row?.edition) {
+          lexicalBoost = String(row.edition);
+          editionExclude = { doc_number: fam.split("-").pop() ?? "", edition: String(row.edition) };
+        }
       }
     } catch {
     }
     const bound = await bindModelNode(env, { query, standardKeys: entitlementScope(standardKeysFrom(body)) });
     const modelGrounding = bound && !bound.gated ? modelGroundingBlock(bound) : null;
-    const retrieved = await retrieve(env, query, { understanding: u, standardKeys: entitlementScope(standardKeysFrom(body)), lexicalBoost });
+    const retrieved = await retrieve(env, query, { understanding: u, standardKeys: entitlementScope(standardKeysFrom(body)), lexicalBoost, editionExclude });
     const passages = retrieved.hits.map((h) => h.text);
     const anchors = checkQuoteAnchors(answer, passages);
     const refs = [...answer.matchAll(/\[\[u:([^\]]+)\]\]/g)].map((m) => m[1]);
@@ -1474,7 +1482,7 @@ async function verifyRoute(c) {
     ];
     const machine = (Array.isArray(body?.blocks) ? body.blocks : []).filter((b) => b?.type === "verdict" && b?.payload).map((b) => [b.payload.check, b.payload.meaning, b.payload.definition, b.payload.violation_meaning].filter((x) => typeof x === "string" && x).join(" \u2014 ")).filter(Boolean);
     if (modelGrounding) machine.unshift(modelGrounding);
-    const faith = await scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, retrieved.hits.map((h) => h.text), machine);
+    const faith = await scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, retrieved.hits.map((h) => ({ text: h.text, table: h.metadata.block === "table" || void 0 })), machine);
     return json({
       checks,
       judged: faith ? { name: "faithfulness", deterministic: false, score: faith.score, ungrounded_claims: faith.ungrounded_claims.slice(0, 5) } : null,

package/package.json

@@ -27,7 +27,7 @@
     "playwright": "^1.62.1",
     "yaml": "^2.9.1"
   },
-  "version": "0.2.28",
+  "version": "0.2.30",
   "description": "The Konneal engine: the publisher-agnostic build pipeline and API plane for standards intelligence (retrieval, answer contract, verdicts, evaluation).",
   "license": "BSD-3-Clause",
   "type": "module",

package/workers/worker_public/src/ask.ts

@@ -1098,7 +1098,7 @@ async function handleAsk(
             // the evidence view's ground truth: the exact passages this
             // answer was built from, compact — cache hits carry none,
             // because the cache stores the answer and never the passages
-            passages: usedHits.slice(0, 8).map((h: Hit) => ({ d: h.metadata.docidentifier ?? "", a: h.metadata.clause_anchor ?? "", t: (h.text ?? "").slice(0, 600), ...((h.metadata as any).table_selection ? { s: (h.metadata as any).table_selection } : {}) })) });
+            passages: usedHits.slice(0, 8).map((h: Hit) => ({ d: h.metadata.docidentifier ?? "", a: h.metadata.clause_anchor ?? "", t: (h.text ?? "").slice(0, (h.metadata as any).block === "table" ? 1400 : 600), b: (h.metadata as any).block === "table" || undefined, ...((h.metadata as any).table_selection ? { s: (h.metadata as any).table_selection } : {}) })) });
           telemetry(env, ctx, tier, "ask", model, true, c2.text.length, queryHash, q.lang, undefined, telemetryMeta());
           const canonical = c2.text;
           // streamed answers can't be regenerated mid-flight; enforcement

package/workers/worker_public/src/faithfulness-context.ts

@@ -4,10 +4,19 @@
 // service's own machine-computed model data: a machine-grounded answer
 // quotes it legitimately, so the judge must see it.
 
-export function buildJudgeContext(passages: string[], machine: string[] = []): string {
+export function buildJudgeContext(
+  passages: (string | { text: string; table?: boolean })[],
+  machine: string[] = [],
+): string {
   const context = passages
     .slice(0, 8)
-    .map((p, i) => `[${i + 1}] ${p.replace(/\s+/g, " ").slice(0, 1400)}`)
+    .map((p, i) => {
+      const text = typeof p === "string" ? p : p.text;
+      // a table's evidence lives across its whole row set — a truncated
+      // table hides the very rows the answer computed from
+      const limit = typeof p !== "string" && p.table ? 2400 : 1400;
+      return `[${i + 1}] ${text.replace(/\s+/g, " ").slice(0, limit)}`;
+    })
     .join("\n");
   const machineContext = machine.length
     ? "\n" + machine.slice(0, 6).map((m) => `[M] ${m.replace(/\s+/g, " ").slice(0, 400)}`).join("\n")

package/workers/worker_public/src/faithfulness.ts

@@ -19,7 +19,7 @@ export async function scoreFaithfulness(
   ai: any,
   model: string,
   answer: string,
-  passages: string[],
+  passages: (string | { text: string; table?: boolean })[],
   machine: string[] = [],
 ): Promise<FaithfulnessResult | null> {
   if (!answer || !passages.length) return null;

package/workers/worker_public/src/index.ts

@@ -234,19 +234,23 @@ async function verifyRoute(c: RouteContext): Promise<Response> {
     // grounding — a verify that grounds against different passages than
     // the answer used judges a different answer
     let lexicalBoost: string | undefined;
+    let editionExclude: { doc_number: string; edition: string } | null = null;
     try {
       const fam = u?.doc_number ? refCodec().familyOf(u.doc_number) : null;
       if (fam) {
         const row = await env.DB.prepare("SELECT edition FROM documents WHERE family = ?1 AND active = 1 ORDER BY edition DESC LIMIT 1")
           .bind(fam).first().catch(() => null);
-        if (row?.edition) lexicalBoost = String(row.edition);
+        if (row?.edition) {
+          lexicalBoost = String(row.edition);
+          editionExclude = { doc_number: fam.split("-").pop() ?? "", edition: String(row.edition) };
+        }
       }
     } catch {
       // degrade to unsteered retrieval
     }
     const bound = await bindModelNode(env, { query, standardKeys: entitlementScope(standardKeysFrom(body)) });
     const modelGrounding = bound && !bound.gated ? modelGroundingBlock(bound) : null;
-    const retrieved = await retrieve(env, query, { understanding: u, standardKeys: entitlementScope(standardKeysFrom(body)), lexicalBoost });
+    const retrieved = await retrieve(env, query, { understanding: u, standardKeys: entitlementScope(standardKeysFrom(body)), lexicalBoost, editionExclude });
     const passages = retrieved.hits.map((h: Hit) => h.text);
     const anchors = checkQuoteAnchors(answer, passages);
     const refs = [...answer.matchAll(/\[\[u:([^\]]+)\]\]/g)].map((m) => m[1]);
@@ -265,7 +269,7 @@ async function verifyRoute(c: RouteContext): Promise<Response> {
         .filter((x: unknown) => typeof x === "string" && x).join(" — "))
       .filter(Boolean);
     if (modelGrounding) machine.unshift(modelGrounding);
-    const faith = await scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, retrieved.hits.map((h: Hit) => h.text), machine);
+    const faith = await scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, retrieved.hits.map((h: Hit) => ({ text: h.text, table: (h.metadata as any).block === "table" || undefined })), machine);
     return json({
       checks,
       judged: faith ? { name: "faithfulness", deterministic: false, score: faith.score, ungrounded_claims: faith.ungrounded_claims.slice(0, 5) } : null,

package/workers/worker_public/src/stages/seal.ts

@@ -6,11 +6,30 @@ import type { Stage } from "./types.ts";
 
 export const seal: Stage = {
   name: "seal",
-  when: (c) => !!c.opts.sealScope,
+  when: (c) => !!c.opts.sealScope || !!c.opts.editionSteer || !!c.opts.editionExclude,
   run: (c) => {
     const before = c.hits.length;
     const scope = c.opts.sealScope!;
+    if (scope) {
         c.hits = c.hits.filter((h) => h.metadata.doc_number === scope.doc_number && (!scope.edition || h.metadata.edition === scope.edition));
-    console.log("context seal:", before, "→", c.hits.length, "candidates within", `doc#${scope.doc_number}${scope.edition ? "@" + scope.edition : ""}`);
+      console.log("context seal:", before, "→", c.hits.length, "candidates within", `doc#${scope.doc_number}${scope.edition ? "@" + scope.edition : ""}`);
+      return;
+    }
+    const exclude = c.opts.editionExclude!;
+    if (exclude) {
+      const before = c.hits.length;
+      c.hits = c.hits.filter((h) => !(h.metadata.doc_number === exclude.doc_number && h.metadata.edition !== exclude.edition));
+      console.log("edition exclude:", before, "→", c.hits.length, "after dropping superseded candidates of", `doc#${exclude.doc_number}@${exclude.edition}`);
+      return;
+    }
+    const steer = c.opts.editionSteer!;
+    const current: typeof c.hits = [];
+    const superseded: typeof c.hits = [];
+    for (const h of c.hits) {
+      const same = h.metadata.doc_number === steer.doc_number;
+      (same && h.metadata.edition !== steer.edition ? superseded : current).push(h);
+    }
+    c.hits = [...current, ...superseded];
+    console.log("edition steer:", superseded.length, "superseded candidates demoted behind", current.length, "current-edition candidates of", `doc#${steer.doc_number}@${steer.edition}`);
   },
 };

package/workers/worker_public/src/stages/types.ts

@@ -29,6 +29,17 @@ export interface RetrieveOptions {
    *  in-family passage out of the final hits, sealing the answer to
    *  zero despite a healthy in-family pool. */
   sealScope?: { doc_number: string; edition?: string } | null;
+  /** Verify's grounding steer (demote-not-exclude): hits of the named
+   *  document whose edition differs from the active one move to the END
+   *  of the candidate pool — superseded passages stay servable but stop
+   *  competing for the window against the current edition. */
+  editionSteer?: { doc_number: string; edition: string } | null;
+  /** Verify's grounding cut: hits of the named document whose edition
+   *  differs from the active one are REMOVED — a grounding endpoint
+   *  judges against the current edition; a superseded passage cannot
+   *  ground a current-edition claim. Everything else (other documents,
+   *  undated vocabulary) survives. */
+  editionExclude?: { doc_number: string; edition: string } | null;
   /** Option C: dense-lane results computed concurrently with
    *  understanding (same folded-query vector, retrieve's exact query
    *  parameters). With no filter they REPLACE the primary dense query;