@konneal/engine 0.2.27 → 0.2.29

package/dist/{ask-Y7L6MDAV.js → ask-UAJHC6U7.js}

@@ -1,7 +1,7 @@
 import {
   handleAsk
-} from "./chunk-JVN6SQAT.js";
-import "./chunk-4G5OGWXY.js";
+} from "./chunk-ODHIVW3M.js";
+import "./chunk-BHWG556Q.js";
 import "./chunk-2RKYO3OC.js";
 import "./chunk-A3QHHUN5.js";
 import "./chunk-JGKSUSF5.js";

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

@@ -22747,12 +22747,24 @@ 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,
   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 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-JVN6SQAT.js → chunk-ODHIVW3M.js}

@@ -28,7 +28,7 @@ import {
   syntheticUnderstanding,
   telemetry,
   understandQuery
-} from "./chunk-4G5OGWXY.js";
+} from "./chunk-BHWG556Q.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;
@@ -2367,6 +2367,8 @@ export {
   handleMemories,
   checkQuoteAnchors,
   standardForDocNumber,
+  bindModelNode,
+  modelGroundingBlock,
   scoreJudge,
   handleAsk
 };

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

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

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-ICNVGXUY.js}

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

package/dist/worker_public/src/index.js

@@ -1,13 +1,15 @@
 import {
   handleSearch
-} from "../../chunk-5LCPKJ6V.js";
+} from "../../chunk-RI2SRLZY.js";
 import {
+  bindModelNode,
   checkQuoteAnchors,
   handleAsk,
   handleMemories,
+  modelGroundingBlock,
   scoreJudge,
   standardForDocNumber
-} from "../../chunk-JVN6SQAT.js";
+} from "../../chunk-ODHIVW3M.js";
 import {
   buildMessages,
   citations,
@@ -25,11 +27,12 @@ import {
   parseAppliedContext,
   portModelRunner,
   promptVars,
+  refCodec,
   retrieve,
   sessionFrom,
   telemetry,
   understandQuery
-} from "../../chunk-4G5OGWXY.js";
+} from "../../chunk-BHWG556Q.js";
 import {
   authenticate,
   corsHeaders,
@@ -390,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, 900)}`).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;
 }
@@ -989,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-Y7L6MDAV.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-UAJHC6U7.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-ICNVGXUY.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 });
@@ -1448,7 +1455,22 @@ async function verifyRoute(c) {
   if (!answer || !query) return err(400, "invalid_input", "answer and query are required");
   try {
     const u = await understandQuery(env.AI, roleModel(env, "understand"), query, [], []);
-    const retrieved = await retrieve(env, query, { understanding: u, standardKeys: entitlementScope(standardKeysFrom(body)) });
+    let lexicalBoost;
+    let editionSteer = 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);
+          editionSteer = { 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, editionSteer });
     const passages = retrieved.hits.map((h) => h.text);
     const anchors = checkQuoteAnchors(answer, passages);
     const refs = [...answer.matchAll(/\[\[u:([^\]]+)\]\]/g)].map((m) => m[1]);
@@ -1459,7 +1481,8 @@ async function verifyRoute(c) {
       { name: "citations_present", deterministic: true, pass: new RegExp(`\\[[^\\]]*(${P().publisher.name})[^\\]]*\\]`).test(answer), detail: "normative claims should carry a passage citation" }
     ];
     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);
-    const faith = await scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, retrieved.hits.map((h) => h.text), machine);
+    if (modelGrounding) machine.unshift(modelGrounding);
+    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.27",
+  "version": "0.2.29",
   "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, 900)}`)
+    .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

@@ -13,7 +13,8 @@ import { ftsMatchQuery } from "./lexical";
 import { scoreFaithfulness } from "./faithfulness";
 import { checkQuoteAnchors } from "./anchors";
 import { namedDocumentIn } from "./context";
-import { standardForDocNumber } from "./modelplane";
+import { standardForDocNumber, bindModelNode, modelGroundingBlock } from "./modelplane";
+import { refCodec } from "./codecs";
 import { entitlementScope, standardKeysFrom } from "./requestScope";
 import type { Env } from "./env";
 export type { Env };
@@ -228,7 +229,28 @@ async function verifyRoute(c: RouteContext): Promise<Response> {
   if (!answer || !query) return err(400, "invalid_input", "answer and query are required");
   try {
     const u = await understandQuery(env.AI, roleModel(env, "understand"), query, [], []);
-    const retrieved = await retrieve(env, query, { understanding: u, standardKeys: entitlementScope(standardKeysFrom(body)) });
+    // the grounding must MIRROR the ask path's: the edition boost (the
+    // publication's active edition, the codec's family) and the model
+    // grounding — a verify that grounds against different passages than
+    // the answer used judges a different answer
+    let lexicalBoost: string | undefined;
+    let editionSteer: { 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);
+          editionSteer = { 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, editionSteer });
     const passages = retrieved.hits.map((h: Hit) => h.text);
     const anchors = checkQuoteAnchors(answer, passages);
     const refs = [...answer.matchAll(/\[\[u:([^\]]+)\]\]/g)].map((m) => m[1]);
@@ -246,7 +268,8 @@ async function verifyRoute(c: RouteContext): Promise<Response> {
       .map((b: any) => [b.payload.check, b.payload.meaning, b.payload.definition, b.payload.violation_meaning]
         .filter((x: unknown) => typeof x === "string" && x).join(" — "))
       .filter(Boolean);
-    const faith = await scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, retrieved.hits.map((h: Hit) => h.text), machine);
+    if (modelGrounding) machine.unshift(modelGrounding);
+    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,23 @@ 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,
   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 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,11 @@ 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;
   /** 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;