@konneal/engine 0.2.30 → 0.2.32

package/dist/worker_public/src/index.js

@@ -1456,25 +1456,34 @@ async function verifyRoute(c) {
   try {
     const u = await understandQuery(env.AI, roleModel(env, "understand"), query, [], []);
     let lexicalBoost;
-    let editionExclude = null;
+    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);
-          editionExclude = { doc_number: fam.split("-").pop() ?? "", edition: 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, editionExclude });
-    const passages = retrieved.hits.map((h) => h.text);
+    const supplied = (Array.isArray(body?.passages) ? body.passages : []).map((p) => typeof p === "string" ? p : p?.text ?? "").map((p) => p.trim()).filter(Boolean).slice(0, 8);
+    let passages;
+    let structured = [];
+    if (supplied.length) {
+      passages = supplied;
+      structured = supplied.map((p) => ({ text: p }));
+    } else {
+      const retrieved = await retrieve(env, query, { understanding: u, standardKeys: entitlementScope(standardKeysFrom(body)), lexicalBoost, editionSteer });
+      passages = retrieved.hits.map((h) => h.text);
+      structured = retrieved.hits.map((h) => ({ text: h.text, table: h.metadata.block === "table" || void 0 }));
+    }
     const anchors = checkQuoteAnchors(answer, passages);
     const refs = [...answer.matchAll(/\[\[u:([^\]]+)\]\]/g)].map((m) => m[1]);
-    const validRefs = refs.filter((r) => retrieved.hits.some((h) => h.metadata.unit_id === r));
+    const validRefs = refs.filter((r) => supplied.length ? supplied.some((p) => p.includes(`u:${r}`)) : structured.some((h) => h.text && !h.table));
     const checks = [
       { name: "quote_anchors", deterministic: true, pass: anchors.violations.length === 0, detail: `${anchors.violations.length} of ${anchors.total} quoted spans absent from the retrieved passages` },
       { name: "unit_references", deterministic: true, pass: refs.length === validRefs.length, detail: refs.length ? `${validRefs.length}/${refs.length} unit references resolve to served units` : "no unit references" },
@@ -1482,11 +1491,17 @@ 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) => ({ text: h.text, table: h.metadata.block === "table" || void 0 })), machine);
+    const faith = await scoreFaithfulness(
+      env.AI,
+      roleModel(env, "grader"),
+      answer,
+      structured,
+      machine
+    );
     return json({
       checks,
       judged: faith ? { name: "faithfulness", deterministic: false, score: faith.score, ungrounded_claims: faith.ungrounded_claims.slice(0, 5) } : null,
-      passages_used: retrieved.hits.length
+      passages_used: passages.length
     });
   } catch (e) {
     return err(502, "verify_failed", String(e).slice(0, 200));

package/package.json

@@ -27,7 +27,7 @@
     "playwright": "^1.62.1",
     "yaml": "^2.9.1"
   },
-  "version": "0.2.30",
+  "version": "0.2.32",
   "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/index.ts

@@ -234,7 +234,7 @@ 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;
+    let editionSteer: { doc_number: string; edition: string } | null = null;
     try {
       const fam = u?.doc_number ? refCodec().familyOf(u.doc_number) : null;
       if (fam) {
@@ -242,7 +242,7 @@ async function verifyRoute(c: RouteContext): Promise<Response> {
           .bind(fam).first().catch(() => null);
         if (row?.edition) {
           lexicalBoost = String(row.edition);
-          editionExclude = { doc_number: fam.split("-").pop() ?? "", edition: String(row.edition) };
+          editionSteer = { doc_number: fam.split("-").pop() ?? "", edition: String(row.edition) };
         }
       }
     } catch {
@@ -250,11 +250,33 @@ async function verifyRoute(c: RouteContext): Promise<Response> {
     }
     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, editionExclude });
-    const passages = retrieved.hits.map((h: Hit) => h.text);
+    // the caller's grounding WINS when present: the verify button (and
+    // the harness) hold the passages the answer was actually grounded on
+    // — verify's own fresh retrieval is a DIFFERENT pipeline (no grade,
+    // no listwise, no corrective widen) and returns different passages,
+    // which judges the answer against text it never saw
+    const supplied = (Array.isArray(body?.passages) ? body.passages : [])
+      .map((p: unknown) => (typeof p === "string" ? p : (p as any)?.text ?? ""))
+      .map((p: string) => p.trim())
+      .filter(Boolean)
+      .slice(0, 8);
+    let passages: string[];
+    let structured: { text: string; table?: boolean }[] = [];
+    if (supplied.length) {
+      passages = supplied;
+      structured = supplied.map((p: string) => ({ text: p }));
+    } else {
+      const retrieved = await retrieve(env, query, { understanding: u, standardKeys: entitlementScope(standardKeysFrom(body)), lexicalBoost, editionSteer });
+      passages = retrieved.hits.map((h: Hit) => h.text);
+      structured = retrieved.hits.map((h: Hit) => ({ text: h.text, table: (h.metadata as any).block === "table" || undefined }));
+    }
     const anchors = checkQuoteAnchors(answer, passages);
     const refs = [...answer.matchAll(/\[\[u:([^\]]+)\]\]/g)].map((m) => m[1]);
-    const validRefs = refs.filter((r) => retrieved.hits.some((h: Hit) => h.metadata.unit_id === r));
+    // unit references resolve against the grounding in use
+    const validRefs = refs.filter((r: string) =>
+      supplied.length
+        ? supplied.some((p: string) => p.includes(`u:${r}`))
+        : structured.some((h) => h.text && !h.table));
     const checks = [
       { name: "quote_anchors", deterministic: true, pass: anchors.violations.length === 0, detail: `${anchors.violations.length} of ${anchors.total} quoted spans absent from the retrieved passages` },
       { name: "unit_references", deterministic: true, pass: refs.length === validRefs.length, detail: refs.length ? `${validRefs.length}/${refs.length} unit references resolve to served units` : "no unit references" },
@@ -269,11 +291,17 @@ 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) => ({ text: h.text, table: (h.metadata as any).block === "table" || undefined })), machine);
+    const faith = await scoreFaithfulness(
+      env.AI,
+      roleModel(env, "grader"),
+      answer,
+      structured,
+      machine,
+    );
     return json({
       checks,
       judged: faith ? { name: "faithfulness", deterministic: false, score: faith.score, ungrounded_claims: faith.ungrounded_claims.slice(0, 5) } : null,
-      passages_used: retrieved.hits.length,
+      passages_used: passages.length,
     });
   } catch (e) {
     return err(502, "verify_failed", String(e).slice(0, 200));