@konneal/engine 0.2.24 → 0.2.26

package/dist/ask-YN63SADP.js

@@ -0,0 +1,12 @@
+import {
+  handleAsk
+} from "./chunk-ADQEM7IS.js";
+import "./chunk-WKG65DBA.js";
+import "./chunk-2RKYO3OC.js";
+import "./chunk-A3QHHUN5.js";
+import "./chunk-JGKSUSF5.js";
+import "./chunk-OMXAE27N.js";
+import "./chunk-3FYJM7LH.js";
+export {
+  handleAsk
+};

package/dist/{chunk-FYGJDJPN.js → chunk-2RKYO3OC.js}

@@ -1,10 +1,10 @@
 import {
   LIMITS,
   sha256Hex
-} from "./chunk-434NRPSS.js";
+} from "./chunk-OMXAE27N.js";
 import {
   P
-} from "./chunk-HYI32HMI.js";
+} from "./chunk-3FYJM7LH.js";
 
 // workers/worker_public/src/bubble.ts
 function isAllowedBubbleOrigin(origin) {

package/dist/{chunk-HYI32HMI.js → chunk-3FYJM7LH.js}

@@ -82,7 +82,9 @@ var PROFILE = {
     },
     "bibliography": {},
     "terminology": {},
-    "models": {},
+    "models": {
+      "standard_prefix": "fx-r"
+    },
     "licensed": [
       {
         "key": "std:fixture-ab-99",

package/dist/{chunk-RZ3UZVRR.js → chunk-A3QHHUN5.js}

@@ -1,6 +1,6 @@
 import {
   P
-} from "./chunk-HYI32HMI.js";
+} from "./chunk-3FYJM7LH.js";
 
 // workers/worker_public/src/refusal.ts
 function refusalAnswer() {

package/dist/{chunk-IM5KMIL6.js → chunk-ADQEM7IS.js}

@@ -27,23 +27,23 @@ import {
   syntheticUnderstanding,
   telemetry,
   understandQuery
-} from "./chunk-HXWDVAVN.js";
+} from "./chunk-WKG65DBA.js";
 import {
   corsHeaders,
   err,
   json,
   readJson,
   validateQuery
-} from "./chunk-FYGJDJPN.js";
+} from "./chunk-2RKYO3OC.js";
 import {
   canonicalRefusal,
   refusalAnswer
-} from "./chunk-RZ3UZVRR.js";
+} from "./chunk-A3QHHUN5.js";
 import {
   entitlementScope,
   requestSalt,
   resolveRequestScope
-} from "./chunk-IOZAZA7Y.js";
+} from "./chunk-JGKSUSF5.js";
 import {
   LIMITS,
   MODELS,
@@ -53,10 +53,10 @@ import {
   requestEffort,
   roleModel,
   sha256Hex
-} from "./chunk-434NRPSS.js";
+} from "./chunk-OMXAE27N.js";
 import {
   P
-} from "./chunk-HYI32HMI.js";
+} from "./chunk-3FYJM7LH.js";
 
 // workers/worker_public/src/internal_gateway.ts
 async function retrieveInternal(service, auth, query) {
@@ -2013,10 +2013,25 @@ ${summary}` }] : [],
   } : null;
   if (aggregationVerdict) console.log("aggregation engine:", aggregationVerdict.operation, aggregationVerdict.table, "\u2192", aggregationVerdict.value);
   let boundaryNote = null;
+  let boundaryBoost;
+  let modelEditionBoost;
+  if (boundModel && !boundModel.gated) {
+    const prefix = String(P().sources?.models?.standard_prefix ?? "");
+    if (prefix && boundModel.standard.startsWith(prefix)) {
+      const num3 = boundModel.standard.slice(prefix.length);
+      const family = `${prefix.slice(prefix.lastIndexOf("-") + 1).toUpperCase()}-${num3}`;
+      const row = await env.DB.prepare("SELECT edition FROM documents WHERE family = ?1 AND active = 1 ORDER BY edition DESC LIMIT 1").bind(family).first().catch(() => null);
+      if (row?.edition) modelEditionBoost = String(row.edition);
+    } else {
+      modelEditionBoost = boundModel.standard;
+    }
+  }
+  const lexicalBoost = [boundaryBoost, modelEditionBoost].filter(Boolean).join(" ") || void 0;
   if (P().sources?.licensed?.length) {
     const match = matchLicensedTopic(q.query, P().sources.licensed);
     if (match && !(standardKeys?.has(match.entry.key) ?? false)) {
       const docNum = match.entry.doc_number ?? "";
+      boundaryBoost = docNum || void 0;
       let citing = [];
       if (docNum) {
         const rows = await env.DB.prepare(
@@ -2062,7 +2077,8 @@ Answer account questions from these records ONLY: name the record when you use i
       optimisticHits,
       optimisticVec,
       datasetScope: narrowed ? corpora : null,
-      standardKeys
+      standardKeys,
+      lexicalBoost
     });
     stageTiming["retrieve-core"] = Date.now() - tR;
     console.log("stage: retrieve", Date.now() - tR, "ms");
@@ -2086,7 +2102,7 @@ Answer account questions from these records ONLY: name the record when you use i
     if (grade === "weak" && understanding?.docidentifier) {
       const broaden = `${understanding.standalone_query || q.query} ${understanding.docidentifier}`.trim();
       const tc = Date.now();
-      const second = await retrieve(env, q.query, { prev, understanding, queryOverride: broaden, federate, datasetScope: narrowed ? corpora : null, standardKeys, sealScope: declaredScoped ? docScope : null });
+      const second = await retrieve(env, q.query, { prev, understanding, queryOverride: broaden, federate, datasetScope: narrowed ? corpora : null, standardKeys, sealScope: declaredScoped ? docScope : null, lexicalBoost });
       const grade2 = await gradeRetrieval(env.AI, roleModel(env, "grader"), q.query, second.hits.map((h) => h.text));
       stageTiming.corrective = Date.now() - tc;
       if (grade2 === "good") retrieved = second;

package/dist/{chunk-PZLYPUYJ.js → chunk-GAPT3WEN.js}

@@ -7,24 +7,24 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "./chunk-HXWDVAVN.js";
+} from "./chunk-WKG65DBA.js";
 import {
   corsHeaders,
   err,
   json,
   readJson,
   validateQuery
-} from "./chunk-FYGJDJPN.js";
+} from "./chunk-2RKYO3OC.js";
 import {
   entitlementScope,
   standardKeysFrom
-} from "./chunk-IOZAZA7Y.js";
+} from "./chunk-JGKSUSF5.js";
 import {
   LIMITS,
   MODELS,
   num,
   sha256Hex
-} from "./chunk-434NRPSS.js";
+} from "./chunk-OMXAE27N.js";
 
 // workers/worker_public/src/search.ts
 async function handleSearch(env, ctx, req, tier, key) {

package/dist/{chunk-IOZAZA7Y.js → chunk-JGKSUSF5.js}

@@ -1,10 +1,10 @@
 import {
   DATASETS,
   datasetAllowed
-} from "./chunk-434NRPSS.js";
+} from "./chunk-OMXAE27N.js";
 import {
   P
-} from "./chunk-HYI32HMI.js";
+} from "./chunk-3FYJM7LH.js";
 
 // workers/worker_public/src/requestScope.ts
 function licenseDeclared() {

package/dist/{chunk-434NRPSS.js → chunk-OMXAE27N.js}

@@ -1,6 +1,6 @@
 import {
   P
-} from "./chunk-HYI32HMI.js";
+} from "./chunk-3FYJM7LH.js";
 
 // workers/worker_public/src/config.ts
 var MODELS = {

package/dist/{chunk-HXWDVAVN.js → chunk-WKG65DBA.js}

@@ -1,7 +1,7 @@
 import {
   bubbleConfirmPage,
   isAllowedBubbleOrigin
-} from "./chunk-FYGJDJPN.js";
+} from "./chunk-2RKYO3OC.js";
 import {
   DATASETS,
   LIMITS,
@@ -12,10 +12,10 @@ import {
   processExpansion,
   sha256Hex,
   today
-} from "./chunk-434NRPSS.js";
+} from "./chunk-OMXAE27N.js";
 import {
   P
-} from "./chunk-HYI32HMI.js";
+} from "./chunk-3FYJM7LH.js";
 
 // workers/worker_public/src/ai.ts
 var delay = (ms) => new Promise((r) => setTimeout(r, ms));
@@ -23275,7 +23275,7 @@ async function retrieve(env, query, opts = {}) {
   let rq = opts.queryOverride?.trim() || u?.standalone_query?.trim() || folded;
   if (u?.process_intent) rq += processExpansion();
   const vectorP = rq === folded && opts.optimisticVec ? Promise.resolve(opts.optimisticVec) : rq === folded && opts.warmEmbed ? opts.warmEmbed.then((w) => w ?? embed(portModelRunner(env), MODELS.embed, rq)) : embed(portModelRunner(env), MODELS.embed, rq);
-  const lexicalP = lexicalPrefilter(env, rq).catch(() => []);
+  const lexicalP = lexicalPrefilter(env, opts.lexicalBoost ? `${rq} ${opts.lexicalBoost}` : rq).catch(() => []);
   const [vector, lexicalHits0] = await Promise.all([vectorP, lexicalP]);
   const lexicalHits = opts.sealScope || opts.standardKeys ? lexicalHits0.filter(
     (h) => (!opts.sealScope || h.metadata.doc_number === opts.sealScope.doc_number && (!opts.sealScope.edition || h.metadata.edition === opts.sealScope.edition)) && standardKeyAllowed(h.metadata, opts.standardKeys)

package/dist/faithfulness-context.d.ts

@@ -0,0 +1 @@
+export declare function buildJudgeContext(passages: string[], machine?: string[]): string;

package/dist/faithfulness.d.ts

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

package/dist/profile.gen.d.ts

@@ -55,7 +55,9 @@ export declare const PROFILE: {
         };
         readonly bibliography: {};
         readonly terminology: {};
-        readonly models: {};
+        readonly models: {
+            readonly standard_prefix: "fx-r";
+        };
         readonly licensed: readonly [{
             readonly key: "std:fixture-ab-99";
             readonly package: "fixture-ab-99";

package/dist/profile2.gen.d.ts

@@ -63,7 +63,9 @@ export declare const PROFILE: {
         readonly corpora: {};
         readonly bibliography: {};
         readonly terminology: {};
-        readonly models: {};
+        readonly models: {
+            readonly standard_prefix: "atlas-s";
+        };
     };
     readonly ui: {
         readonly suggestions: readonly ["What does ATLAS 12 specify?", "Which errata are open?"];

package/dist/prompts/faithfulness.md

@@ -1 +1,3 @@
 You are a factuality judge. Given an answer and the retrieved passages it was based on, identify any claims in the answer that are NOT directly supported by the passages. Reply with ONLY a JSON object: {"score": 0.0-1.0, "ungrounded_claims": ["claim text", ...]} — score is the fraction of claims that ARE grounded in the passages; if every claim is supported, score is 1.0 and ungrounded_claims is [].
+
+Passages prefixed [M] are this service's own machine-computed model data (typed blocks the answer was given) — a claim restating [M] content is grounded.

package/dist/search-MSFDEFQG.js

@@ -0,0 +1,12 @@
+import {
+  handleSearch
+} from "./chunk-GAPT3WEN.js";
+import "./chunk-WKG65DBA.js";
+import "./chunk-2RKYO3OC.js";
+import "./chunk-A3QHHUN5.js";
+import "./chunk-JGKSUSF5.js";
+import "./chunk-OMXAE27N.js";
+import "./chunk-3FYJM7LH.js";
+export {
+  handleSearch
+};

package/dist/worker_mcp/src/index.js

@@ -1,11 +1,11 @@
 import {
   authenticate
-} from "../../chunk-FYGJDJPN.js";
-import "../../chunk-434NRPSS.js";
+} from "../../chunk-2RKYO3OC.js";
+import "../../chunk-OMXAE27N.js";
 import {
   P,
   setProfile
-} from "../../chunk-HYI32HMI.js";
+} from "../../chunk-3FYJM7LH.js";
 
 // workers/worker_mcp/src/index.ts
 var PROTOCOL_VERSION = "2025-06-18";

package/dist/worker_public/src/config.js

@@ -16,8 +16,8 @@ import {
   roleModel,
   sha256Hex,
   today
-} from "../../chunk-434NRPSS.js";
-import "../../chunk-HYI32HMI.js";
+} from "../../chunk-OMXAE27N.js";
+import "../../chunk-3FYJM7LH.js";
 export {
   DATASETS,
   LIMITS,

package/dist/worker_public/src/index.js

@@ -1,13 +1,13 @@
 import {
   handleSearch
-} from "../../chunk-PZLYPUYJ.js";
+} from "../../chunk-GAPT3WEN.js";
 import {
   checkQuoteAnchors,
   handleAsk,
   handleMemories,
   scoreJudge,
   standardForDocNumber
-} from "../../chunk-IM5KMIL6.js";
+} from "../../chunk-ADQEM7IS.js";
 import {
   buildMessages,
   citations,
@@ -29,7 +29,7 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "../../chunk-HXWDVAVN.js";
+} from "../../chunk-WKG65DBA.js";
 import {
   authenticate,
   corsHeaders,
@@ -38,14 +38,14 @@ import {
   readJson,
   validateQuery,
   withCors
-} from "../../chunk-FYGJDJPN.js";
+} from "../../chunk-2RKYO3OC.js";
 import {
   canonicalRefusal
-} from "../../chunk-RZ3UZVRR.js";
+} from "../../chunk-A3QHHUN5.js";
 import {
   entitlementScope,
   standardKeysFrom
-} from "../../chunk-IOZAZA7Y.js";
+} from "../../chunk-JGKSUSF5.js";
 import {
   LIMITS,
   MODELS,
@@ -56,11 +56,11 @@ import {
   roleModel,
   sha256Hex,
   today
-} from "../../chunk-434NRPSS.js";
+} from "../../chunk-OMXAE27N.js";
 import {
   P,
   setProfile
-} from "../../chunk-HYI32HMI.js";
+} from "../../chunk-3FYJM7LH.js";
 
 // workers/worker_public/src/conversations.ts
 var ID_RE = /^[a-zA-Z0-9_-]{8,64}$/;
@@ -327,7 +327,10 @@ async function handleGetShared(env, slug) {
 }
 
 // workers/worker_public/prompts/faithfulness.md
-var faithfulness_default = 'You are a factuality judge. Given an answer and the retrieved passages it was based on, identify any claims in the answer that are NOT directly supported by the passages. Reply with ONLY a JSON object: {"score": 0.0-1.0, "ungrounded_claims": ["claim text", ...]} \u2014 score is the fraction of claims that ARE grounded in the passages; if every claim is supported, score is 1.0 and ungrounded_claims is [].\n';
+var faithfulness_default = `You are a factuality judge. Given an answer and the retrieved passages it was based on, identify any claims in the answer that are NOT directly supported by the passages. Reply with ONLY a JSON object: {"score": 0.0-1.0, "ungrounded_claims": ["claim text", ...]} \u2014 score is the fraction of claims that ARE grounded in the passages; if every claim is supported, score is 1.0 and ungrounded_claims is [].
+
+Passages prefixed [M] are this service's own machine-computed model data (typed blocks the answer was given) \u2014 a claim restating [M] content is grounded.
+`;
 
 // workers/worker_public/src/verdict-parse.ts
 function coerceVerdict(obj) {
@@ -385,10 +388,17 @@ function parseVerdict(text) {
   return verdict;
 }
 
+// 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 machineContext = machine.length ? "\n" + machine.slice(0, 6).map((m) => `[M] ${m.replace(/\s+/g, " ").slice(0, 400)}`).join("\n") : "";
+  return context + machineContext;
+}
+
 // workers/worker_public/src/faithfulness.ts
-async function scoreFaithfulness(ai, model, answer, passages) {
+async function scoreFaithfulness(ai, model, answer, passages, machine = []) {
   if (!answer || !passages.length) return null;
-  const context = passages.slice(0, 8).map((p, i) => `[${i + 1}] ${p.replace(/\s+/g, " ").slice(0, 900)}`).join("\n");
+  const context = buildJudgeContext(passages, machine);
   const t0 = Date.now();
   const timeout = new Promise((r) => setTimeout(() => {
     console.log(`faithfulness: timeout (${Date.now() - t0}ms)`);
@@ -405,7 +415,7 @@ async function scoreFaithfulness(ai, model, answer, passages) {
 ${answer.slice(0, 2e3)}
 
 Passages:
-${context}` }
+${context}${machine.length ? buildJudgeContext([], machine) : ""}` }
       ],
       max_tokens: 6144,
       reasoning_effort: "low",
@@ -696,7 +706,7 @@ async function handleJudge(env, req) {
   if (!question || !answer) return err(400, "invalid_input", "question and answer required");
   const passagesText = passages.map((p, i) => `[${i + 1}] ${p}`).join("\n");
   const [faith, relevancy, precision] = await Promise.all([
-    passages.length ? scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, passages) : Promise.resolve(null),
+    passages.length ? scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, passages, (Array.isArray(body?.blocks) ? body.blocks : []).map((b) => [b?.payload?.check, b?.payload?.meaning].filter((x) => typeof x === "string").join(" \u2014 ")).filter(Boolean)) : Promise.resolve(null),
     scoreJudge(env.AI, roleModel(env, "grader"), relevancy_default, `Question: ${question}
 
 Answer:
@@ -979,7 +989,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-OO6UUIFF.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-OJ776DMH.js")).handleSearch(env, ctx, inner, tier, key);
+    const res = name === "ask" ? await (await import("../../ask-YN63SADP.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-MSFDEFQG.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 +1458,8 @@ async function verifyRoute(c) {
       { 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" },
       { name: "citations_present", deterministic: true, pass: new RegExp(`\\[[^\\]]*(${P().publisher.name})[^\\]]*\\]`).test(answer), detail: "normative claims should carry a passage citation" }
     ];
-    const faith = await scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, retrieved.hits.map((h) => h.text));
+    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);
     return json({
       checks,
       judged: faith ? { name: "faithfulness", deterministic: false, score: faith.score, ungrounded_claims: faith.ungrounded_claims.slice(0, 5) } : null,

package/dist/worker_public/src/profile.js

@@ -1,7 +1,7 @@
 import {
   P,
   setProfile
-} from "../../chunk-HYI32HMI.js";
+} from "../../chunk-3FYJM7LH.js";
 export {
   P,
   setProfile

package/dist/worker_public/src/refusal.js

@@ -1,8 +1,8 @@
 import {
   canonicalRefusal,
   refusalAnswer
-} from "../../chunk-RZ3UZVRR.js";
-import "../../chunk-HYI32HMI.js";
+} from "../../chunk-A3QHHUN5.js";
+import "../../chunk-3FYJM7LH.js";
 export {
   canonicalRefusal,
   refusalAnswer

package/dist/worker_public/src/requestScope.js

@@ -4,9 +4,9 @@ import {
   requestSalt,
   resolveRequestScope,
   standardKeysFrom
-} from "../../chunk-IOZAZA7Y.js";
-import "../../chunk-434NRPSS.js";
-import "../../chunk-HYI32HMI.js";
+} from "../../chunk-JGKSUSF5.js";
+import "../../chunk-OMXAE27N.js";
+import "../../chunk-3FYJM7LH.js";
 export {
   entitlementScope,
   licenseDeclared,

package/package.json

@@ -27,7 +27,7 @@
     "playwright": "^1.62.1",
     "yaml": "^2.9.1"
   },
-  "version": "0.2.24",
+  "version": "0.2.26",
   "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/profile/sources.yaml

@@ -2,7 +2,10 @@ corpora:
   clean: { repo: fixtures/corpus, note: the engine's fixture corpus }
 bibliography: {}
 terminology: {}
-models: {}
+models:
+  # the package-id prefix the model lanes read (the edition boost derives
+  # the graph family from it: <prefix><num> → family <LETTER>-<num>)
+  standard_prefix: "fx-r" 
 # the licensed-standards declaration (TODO.external-refs/08): the
 # entitlement keys the deployment's index may carry (`standard_key` chunk
 # metadata, from the packages' license_key facet) — this list is the

package/workers/worker_public/prompts/faithfulness.md

@@ -1 +1,3 @@
 You are a factuality judge. Given an answer and the retrieved passages it was based on, identify any claims in the answer that are NOT directly supported by the passages. Reply with ONLY a JSON object: {"score": 0.0-1.0, "ungrounded_claims": ["claim text", ...]} — score is the fraction of claims that ARE grounded in the passages; if every claim is supported, score is 1.0 and ungrounded_claims is [].
+
+Passages prefixed [M] are this service's own machine-computed model data (typed blocks the answer was given) — a claim restating [M] content is grounded.

package/workers/worker_public/src/admin.ts

@@ -342,7 +342,7 @@ export async function handleJudge(env: Env, req: Request): Promise<Response> {
   // and this route was the one path the flip never reached — it judged
   // on with the retired model and the scores collapsed
   const [faith, relevancy, precision] = await Promise.all([
-    passages.length ? scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, passages) : Promise.resolve(null),
+    passages.length ? scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, passages, (Array.isArray(body?.blocks) ? body.blocks : []).map((b: any) => [b?.payload?.check, b?.payload?.meaning].filter((x: unknown) => typeof x === "string").join(" — ")).filter(Boolean)) : Promise.resolve(null),
     scoreJudge(env.AI, roleModel(env, "grader"), relevancyPrompt, `Question: ${question}\n\nAnswer:\n${answer}`),
     passages.length ? scoreJudge(env.AI, roleModel(env, "grader"), fill(precisionPrompt, promptVars()), `Question: ${question}\n\nPassages:\n${passagesText}`) : Promise.resolve(null),
   ]);

package/workers/worker_public/src/ask.ts

@@ -853,10 +853,37 @@ async function handleAsk(
   // reference the licensed document, and the note instructs the model
   // to attribute, never to recite the licensed parameters.
   let boundaryNote: string | null = null;
+  // the boost rides RETRIEVAL (the lexical lane below): chunks whose
+  // prose references the licensed document — the referencing
+  // publication's own clause — surface for a question the document's
+  // vocabulary alone would miss
+  let boundaryBoost: string | undefined;
+  // the model-bound edition boost: the grounding pool tilts to the
+  // CURRENT edition's chunks (the superseded dirty-corpus editions
+  // otherwise outrank them on shared vocabulary and the answer's model
+  // values read as ungrounded against 2017 passages)
+  let modelEditionBoost: string | undefined;
+  if (boundModel && !boundModel.gated) {
+    const prefix = String(P().sources?.models?.standard_prefix ?? "");
+    if (prefix && boundModel.standard.startsWith(prefix)) {
+      // the profile's package prefix derives the graph family
+      // (<prefix><num> → family <LETTER>-<num>) and the boost is the
+      // family's ACTIVE edition
+      const num = boundModel.standard.slice(prefix.length);
+      const family = `${prefix.slice(prefix.lastIndexOf("-") + 1).toUpperCase()}-${num}`;
+      const row = await env.DB.prepare("SELECT edition FROM documents WHERE family = ?1 AND active = 1 ORDER BY edition DESC LIMIT 1")
+        .bind(family).first<any>().catch(() => null);
+      if (row?.edition) modelEditionBoost = String(row.edition);
+    } else {
+      modelEditionBoost = boundModel.standard; // the doc number is embedded in the id
+    }
+  }
+  const lexicalBoost = [boundaryBoost, modelEditionBoost].filter(Boolean).join(" ") || undefined;
   if (P().sources?.licensed?.length) {
     const match = matchLicensedTopic(q.query, P().sources.licensed);
     if (match && !(standardKeys?.has(match.entry.key) ?? false)) {
       const docNum = match.entry.doc_number ?? "";
+      boundaryBoost = docNum || undefined;
       let citing: string[] = [];
       if (docNum) {
         const rows = await env.DB.prepare(
@@ -923,7 +950,7 @@ async function handleAsk(
     // publications there).
     retrieved = await retrieve(env, q.query, { prev, understanding, federate, warmEmbed, graphDocNumbers,
       sealScope: declaredScoped ? docScope : null, optimisticHits, optimisticVec,
-      datasetScope: narrowed ? corpora : null, standardKeys });
+      datasetScope: narrowed ? corpora : null, standardKeys, lexicalBoost });
     stageTiming["retrieve-core"] = Date.now() - tR;
     console.log("stage: retrieve", Date.now() - tR, "ms");
     // ── TTFT surgery: the two post-retrieval LLM calls run IN PARALLEL —
@@ -957,7 +984,7 @@ async function handleAsk(
     if (grade === "weak" && understanding?.docidentifier) {
       const broaden = `${understanding.standalone_query || q.query} ${understanding.docidentifier}`.trim();
       const tc = Date.now();
-      const second = await retrieve(env, q.query, { prev, understanding, queryOverride: broaden, federate, datasetScope: narrowed ? corpora : null, standardKeys, sealScope: declaredScoped ? docScope : null });
+      const second = await retrieve(env, q.query, { prev, understanding, queryOverride: broaden, federate, datasetScope: narrowed ? corpora : null, standardKeys, sealScope: declaredScoped ? docScope : null, lexicalBoost });
       const grade2 = await gradeRetrieval(env.AI, roleModel(env, "grader"), q.query, second.hits.map((h: Hit) => h.text));
       stageTiming.corrective = Date.now() - tc;
       if (grade2 === "good") retrieved = second; // corrective retry must be strictly better

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

@@ -0,0 +1,16 @@
+// The dependency-free core of the faithfulness grounding (node-loadable
+// for unit tests — the verdict-parse law; faithfulness.ts imports the
+// bundled prompt and cannot load under node). The [M] family is this
+// 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 {
+  const context = passages
+    .slice(0, 8)
+    .map((p, i) => `[${i + 1}] ${p.replace(/\s+/g, " ").slice(0, 900)}`)
+    .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;
+}

package/workers/worker_public/src/faithfulness.ts

@@ -6,6 +6,7 @@
 // The prompt is data (prompts/faithfulness.md), bundled as text.
 import faithfulnessPrompt from "../prompts/faithfulness.md";
 import { parseVerdict } from "./verdict-parse";
+import { buildJudgeContext } from "./faithfulness-context";
 
 export type { Verdict } from "./verdict-parse";
 
@@ -19,12 +20,10 @@ export async function scoreFaithfulness(
   model: string,
   answer: string,
   passages: string[],
+  machine: string[] = [],
 ): Promise<FaithfulnessResult | null> {
   if (!answer || !passages.length) return null;
-  const context = passages
-    .slice(0, 8)
-    .map((p, i) => `[${i + 1}] ${p.replace(/\s+/g, " ").slice(0, 900)}`)
-    .join("\n");
+  const context = buildJudgeContext(passages, machine);
 
   const t0 = Date.now();
   const timeout = new Promise<null>((r) => setTimeout(() => { console.log(`faithfulness: timeout (${Date.now() - t0}ms)`); r(null); }, 240000));
@@ -35,7 +34,7 @@ export async function scoreFaithfulness(
           role: "system",
           content: faithfulnessPrompt.trimEnd(),
         },
-        { role: "user", content: `Answer:\n${answer.slice(0, 2000)}\n\nPassages:\n${context}` },
+        { role: "user", content: `Answer:\n${answer.slice(0, 2000)}\n\nPassages:\n${context}${machine.length ? buildJudgeContext([], machine) : ""}` },
       ],
       max_tokens: 6144,
       reasoning_effort: "low",

package/workers/worker_public/src/index.ts

@@ -238,7 +238,15 @@ async function verifyRoute(c: RouteContext): Promise<Response> {
       { 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" },
       { name: "citations_present", deterministic: true, pass: new RegExp(`\\[[^\\]]*(${P().publisher.name})[^\\]]*\\]`).test(answer), detail: "normative claims should carry a passage citation" },
     ];
-    const faith = await scoreFaithfulness(env.AI, roleModel(env, "grader"), answer, retrieved.hits.map((h: Hit) => h.text));
+    // the answer's typed blocks are the machine grounding (the computed
+    // verdict/aggregation values) — the judge sees them or every
+    // computed value reads as ungrounded
+    const machine = (Array.isArray(body?.blocks) ? body.blocks : [])
+      .filter((b: any) => b?.type === "verdict" && b?.payload)
+      .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);
     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/pipeline.ts

@@ -120,7 +120,7 @@ export async function retrieve(
       : rq === folded && opts.warmEmbed
         ? opts.warmEmbed.then((w) => w ?? embed(portModelRunner(env), MODELS.embed, rq))
         : embed(portModelRunner(env), MODELS.embed, rq);
-  const lexicalP = lexicalPrefilter(env, rq).catch(() => [] as Hit[]);
+  const lexicalP = lexicalPrefilter(env, opts.lexicalBoost ? `${rq} ${opts.lexicalBoost}` : rq).catch(() => [] as Hit[]);
   const [vector, lexicalHits0] = await Promise.all([vectorP, lexicalP]);
   // The declared context's seal binds the lexical lane at the SOURCE: the
   // RRF fusion mixes the full-corpus lexical ranking straight into the

package/workers/worker_public/src/profile.gen.ts

@@ -83,7 +83,9 @@ export const PROFILE = {
     },
     "bibliography": {},
     "terminology": {},
-    "models": {},
+    "models": {
+      "standard_prefix": "fx-r"
+    },
     "licensed": [
       {
         "key": "std:fixture-ab-99",

package/workers/worker_public/src/profile2.gen.ts

@@ -91,7 +91,9 @@ export const PROFILE = {
     "corpora": {},
     "bibliography": {},
     "terminology": {},
-    "models": {}
+    "models": {
+      "standard_prefix": "atlas-s"
+    }
   },
   "ui": {
     "suggestions": [

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

@@ -12,6 +12,11 @@ export interface RetrieveOptions {
   prev?: string;
   understanding?: QueryUnderstanding | null;
   queryOverride?: string;
+  /** Extra terms appended to the LEXICAL lane's query only (never the
+   *  dense vector): the licensed-boundary boost — chunks whose prose
+   *  references the licensed document surface for a question the
+   *  document's own vocabulary would otherwise miss. */
+  lexicalBoost?: string;
   federate?: (query: string) => Promise<Hit[]>;
   warmEmbed?: Promise<number[] | null>;
   graphDocNumbers?: string[];

package/dist/ask-OO6UUIFF.js

@@ -1,12 +0,0 @@
-import {
-  handleAsk
-} from "./chunk-IM5KMIL6.js";
-import "./chunk-HXWDVAVN.js";
-import "./chunk-FYGJDJPN.js";
-import "./chunk-RZ3UZVRR.js";
-import "./chunk-IOZAZA7Y.js";
-import "./chunk-434NRPSS.js";
-import "./chunk-HYI32HMI.js";
-export {
-  handleAsk
-};

package/dist/search-OJ776DMH.js

@@ -1,12 +0,0 @@
-import {
-  handleSearch
-} from "./chunk-PZLYPUYJ.js";
-import "./chunk-HXWDVAVN.js";
-import "./chunk-FYGJDJPN.js";
-import "./chunk-RZ3UZVRR.js";
-import "./chunk-IOZAZA7Y.js";
-import "./chunk-434NRPSS.js";
-import "./chunk-HYI32HMI.js";
-export {
-  handleSearch
-};