@konneal/engine 0.2.17 → 0.2.19

package/dist/{ask-PKKNMLLM.js → ask-HCZ4CDUR.js}

@@ -1,6 +1,6 @@
 import {
   handleAsk
-} from "./chunk-DRQ37UGZ.js";
+} from "./chunk-AN4VFBBZ.js";
 import "./chunk-7UT76RQO.js";
 import "./chunk-EFQALN2Z.js";
 import "./chunk-DBBGOOMZ.js";

package/dist/boundary.d.ts

@@ -0,0 +1,17 @@
+export interface LicensedEntry {
+    key: string;
+    package?: string;
+    doc_number?: string;
+    title?: string;
+}
+export interface LicensedMatch {
+    entry: LicensedEntry;
+    matched: string[];
+}
+export declare function distinctiveTokens(title: string): string[];
+/** The licensed entry whose distinctive title tokens best match the
+ *  question. Needs TWO token hits (or one hyphenated-compound hit) —
+ *  a single shared word is not a topic match. */
+export declare function matchLicensedTopic(query: string, licensed: LicensedEntry[]): LicensedMatch | null;
+/** The note text: the posture instruction for an unentitled match. */
+export declare function boundaryNoteText(match: LicensedMatch, citing: string[]): string;

package/dist/{chunk-DRQ37UGZ.js → chunk-AN4VFBBZ.js}

@@ -960,7 +960,7 @@ function pickTable(nodes, query) {
     for (const t of tokens(n.node_id.replace("/table/", ""))) {
       if (t.length >= 3 && queryLower.includes(t)) score += 2;
     }
-    for (const w of String(c.name ?? "").toLowerCase().split(/[^a-z0-9.]+/)) {
+    for (const w of String(c.name ?? c.definition ?? "").toLowerCase().split(/[^a-z0-9.]+/)) {
       if (w.length >= 4 && queryLower.includes(w)) score += 1;
     }
     if (intervalPairs(cols).some((p) => p.low.unit && stated.has(p.low.unit))) score += 3;
@@ -981,7 +981,9 @@ function evaluateAggregation(nodes, query) {
   const cols = Array.isArray(payload.columns) ? payload.columns : [];
   const rows = (Array.isArray(payload.rows) ? payload.rows : []).filter((r) => Array.isArray(r));
   if (!cols.length || !rows.length) return null;
-  const tableTitle = String(content.name ?? content.definition ?? node.node_id.replace("/table/", ""));
+  const rawTitle = String(content.name ?? content.definition ?? node.node_id.replace("/table/", ""));
+  const cut = rawTitle.indexOf(" (");
+  const tableTitle = cut > 0 ? rawTitle.slice(0, cut) : rawTitle.slice(0, 120);
   const cite = (what) => `COMPUTED (${operation}) \u2014 ${what}, read from the typed table "${tableTitle}" (${node.node_id}). Present this result and cite the table's clause; the value is machine-computed from the table payload, do not recompute or round it differently.`;
   if (operation === "count") {
     const cc2 = classColumn(cols);
@@ -1072,6 +1074,54 @@ function evaluateAggregation(nodes, query) {
   return null;
 }
 
+// workers/worker_public/src/boundary.ts
+var TITLE_STOPWORDS = /* @__PURE__ */ new Set([
+  "environmental",
+  "testing",
+  "test",
+  "tests",
+  "guidance",
+  "generic",
+  "standards",
+  "standard",
+  "electromagnetic",
+  "compatibility",
+  "environment",
+  "description",
+  "measurement",
+  "techniques",
+  "immunity",
+  "residential",
+  "commercial",
+  "industrial",
+  "environments",
+  "and",
+  "for",
+  "the",
+  "iec",
+  "iso"
+]);
+function distinctiveTokens(title) {
+  return title.toLowerCase().split(/[^a-z0-9.]+/).filter((w) => w.length >= 3 && !TITLE_STOPWORDS.has(w) && !/^[0-9:-]+$/.test(w));
+}
+function matchLicensedTopic(query, licensed) {
+  const words = new Set(query.toLowerCase().split(/[^a-z0-9.]+/).filter(Boolean));
+  let best = null;
+  for (const entry of licensed) {
+    if (!entry.title) continue;
+    const matched = distinctiveTokens(entry.title).filter((w) => words.has(w));
+    if (matched.length < 2) continue;
+    if (!best || matched.length > best.matched.length) best = { entry, matched };
+  }
+  return best;
+}
+function boundaryNoteText(match, citing) {
+  const doc = match.entry.doc_number ?? match.entry.key;
+  const title = match.entry.title ?? doc;
+  const refs = citing.length ? `The public corpus references it from ${citing.join(", ")}.` : "";
+  return `LICENSED BOUNDARY \u2014 ${title} (IEC ${doc}) is licensed content in this deployment; its procedure is NOT part of the public corpus you are grounded in. ${refs} When answering: name the licensed document as the authoritative source of the procedure and say it is available to entitled callers; do NOT recite its conditioning or severity parameters (specific temperatures, humidity levels, durations or cycle counts) as if from the source \u2014 describe only what the public grounding passages themselves state, attributed to their own publications.`;
+}
+
 // workers/worker_public/src/drafts.ts
 var ACT_VERB = "(?:draft|prepare|pre-?fill|fill\\s+(?:in|out)|start|submit|file|lodge)";
 var ACT_TARGET = "(?:new\\s+)?(?:certification\\s+|type[ -]evaluation\\s+|OIML[- ]CS\\s+)?application";
@@ -1864,6 +1914,17 @@ ${summary}` }] : [],
   const modelNote = boundModel && !boundModel.gated ? modelGroundingBlock(boundModel) : void 0;
   const machineVerdict = boundModel && !boundModel.gated ? evaluate(boundModel.content, q.query) : null;
   const machineNote = machineVerdict && boundModel ? verdictNote(machineVerdict, boundModel) : void 0;
+  const modelNodeRows = async (kind, docNum) => {
+    const attempt = (num3) => {
+      const sql = num3 ? `SELECT standard, node_id, content FROM model_nodes WHERE kind = '${kind}' AND standard LIKE '%' || ?1` : `SELECT standard, node_id, content FROM model_nodes WHERE kind = '${kind}'`;
+      return num3 ? env.DB.prepare(sql).bind(num3) : env.DB.prepare(sql);
+    };
+    let rows = await attempt(docNum).all().catch(() => ({ results: [] }));
+    if (!(rows.results ?? []).length && docNum && docNum.includes("-")) {
+      rows = await attempt(docNum.replace(/-\d+$/, "")).all().catch(() => ({ results: [] }));
+    }
+    return rows;
+  };
   let conditionVerdict = null;
   let conditionStandard = null;
   if (!machineVerdict && !boundModel && P().publisher.features?.model_plane) {
@@ -1872,9 +1933,7 @@ ${summary}` }] : [],
     const stated = quantitiesIn(q.query);
     if (severityWord && Object.keys(stated).length >= 1) {
       const docNum = modelDocHint?.doc_number;
-      const sql = docNum ? "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'condition_set' AND standard LIKE '%' || ?1" : "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'condition_set'";
-      const stmt = docNum ? env.DB.prepare(sql).bind(docNum) : env.DB.prepare(sql);
-      const rows = await stmt.all().catch(() => ({ results: [] }));
+      const rows = await modelNodeRows("condition_set", docNum);
       const candidates = (rows.results ?? []).filter((r) => {
         const entry = licensedEntryForPackage(String(r.standard));
         return !entry || (standardKeys?.has(entry.key) ?? false);
@@ -1923,9 +1982,7 @@ ${summary}` }] : [],
   let aggregationStandard = null;
   if (!machineVerdict && !boundModel && !conditionVerdict && P().publisher.features?.model_plane) {
     const docNum = modelDocHint?.doc_number;
-    const sql = docNum ? "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'table' AND standard LIKE '%' || ?1" : "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'table'";
-    const stmt = docNum ? env.DB.prepare(sql).bind(docNum) : env.DB.prepare(sql);
-    const rows = await stmt.all().catch(() => ({ results: [] }));
+    const rows = await modelNodeRows("table", docNum);
     const candidates = (rows.results ?? []).filter((r) => {
       const entry = licensedEntryForPackage(String(r.standard));
       return !entry || (standardKeys?.has(entry.key) ?? false);
@@ -1954,6 +2011,24 @@ ${summary}` }] : [],
     }
   } : null;
   if (aggregationVerdict) console.log("aggregation engine:", aggregationVerdict.operation, aggregationVerdict.table, "\u2192", aggregationVerdict.value);
+  let boundaryNote = null;
+  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 ?? "";
+      let citing = [];
+      if (docNum) {
+        const rows = await env.DB.prepare(
+          "SELECT n.label AS label FROM graph_edges e JOIN graph_nodes n ON e.src = n.id WHERE e.kind = 'cites' AND e.dst LIKE ?1 LIMIT 4"
+        ).bind(`%${docNum}%`).all().catch(() => ({ results: [] }));
+        citing = (rows.results ?? []).map((r) => {
+          const m = String(r.label ?? "").match(/^OIML-([A-Z]+)-(\d+)(?:-([A-Za-z0-9]+))?-(\d{4})$/);
+          return m ? `OIML ${m[1]} ${m[2]}${m[3] ? `-${m[3]}` : ""} (${m[4]})` : String(r.label ?? "");
+        });
+      }
+      boundaryNote = boundaryNoteText(match, citing);
+    }
+  }
   try {
     const tR = Date.now();
     if (declaredCtx?.kind === "account") {
@@ -2047,7 +2122,7 @@ Answer account questions from these records ONLY: name the record when you use i
     q.lang,
     keptHistory,
     // stage-extracted graph facts (GraphRAG) ride the same note channel
-    [processNote, eNote, contextNote(declaredCtx, docScope), accountNote, modelNote, vocabNote, memNote, machineNote, conditionNote, aggregationNote, licenseNote, ...retrieved.notes ?? []].filter(Boolean).join("\n") || void 0,
+    [processNote, eNote, contextNote(declaredCtx, docScope), accountNote, modelNote, vocabNote, memNote, machineNote, conditionNote, aggregationNote, boundaryNote, licenseNote, ...retrieved.notes ?? []].filter(Boolean).join("\n") || void 0,
     summary,
     budget
   );

package/dist/worker_public/src/index.js

@@ -7,7 +7,7 @@ import {
   handleMemories,
   scoreJudge,
   standardForDocNumber
-} from "../../chunk-DRQ37UGZ.js";
+} from "../../chunk-AN4VFBBZ.js";
 import {
   buildMessages,
   citations,
@@ -979,7 +979,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-PKKNMLLM.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-RFKT7ZZY.js")).handleSearch(env, ctx, inner, tier, key);
+    const res = name === "ask" ? await (await import("../../ask-HCZ4CDUR.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-RFKT7ZZY.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 });

package/package.json

@@ -34,7 +34,7 @@
     "@oimlsmart/oiml-pubid": "^1.2.1"
   },
   "dependencies": {},
-  "version": "0.2.17",
+  "version": "0.2.19",
   "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/aggregation.ts

@@ -173,7 +173,8 @@ function pickTable(nodes: { node_id: string; content: any }[], query: string): {
     for (const t of tokens(n.node_id.replace("/table/", ""))) {
       if (t.length >= 3 && queryLower.includes(t)) score += 2;
     }
-    for (const w of String(c.name ?? "").toLowerCase().split(/[^a-z0-9.]+/)) {
+    // the D1 projection keeps the title under `definition`
+    for (const w of String(c.name ?? c.definition ?? "").toLowerCase().split(/[^a-z0-9.]+/)) {
       if (w.length >= 4 && queryLower.includes(w)) score += 1;
     }
     // the question's stated unit existing as this table's interval unit,
@@ -206,13 +207,18 @@ export function evaluateAggregation(
         : "lookup";
   if (!nodes.length) return null;
   const node = pickTable(nodes, query);
+
   if (!node) return null;
   const content = (node.content && typeof node.content === "object" ? node.content : {}) as Record<string, any>;
   const payload = (content.payload ?? {}) as { columns?: Column[]; rows?: unknown[] };
   const cols = Array.isArray(payload.columns) ? payload.columns : [];
   const rows = (Array.isArray(payload.rows) ? payload.rows : []).filter((r) => Array.isArray(r)) as string[][];
   if (!cols.length || !rows.length) return null;
-  const tableTitle = String(content.name ?? content.definition ?? node.node_id.replace("/table/", ""));
+  const rawTitle = String(content.name ?? content.definition ?? node.node_id.replace("/table/", ""));
+  // display titles are cut before the normative parenthetical and at a
+  // word boundary — the full definition stays in the payload
+  const cut = rawTitle.indexOf(" (");
+  const tableTitle = cut > 0 ? rawTitle.slice(0, cut) : rawTitle.slice(0, 120);
 
   const cite = (what: string) =>
     `COMPUTED (${operation}) — ${what}, read from the typed table "${tableTitle}" (${node.node_id}). Present this result and cite the table's clause; the value is machine-computed from the table payload, do not recompute or round it differently.`;

package/workers/worker_public/src/ask.ts

@@ -23,6 +23,7 @@ import { bindModelNode, licenseBoundaryNote, licenseBoundaryRefusal, licensedEnt
 import { evaluate as machineEvaluate, verdictNote } from "./verdict";
 import { evaluateConditionSets, quantitiesIn, type ConditionVerdict } from "./conditions";
 import { evaluateAggregation, type AggregationVerdict } from "./aggregation";
+import { matchLicensedTopic, boundaryNoteText } from "./boundary";
 import { detectDraftIntent, prepareDraft } from "./drafts";
 import { memoryNote } from "./memories";
 import { entitlementScope, resolveRequestScope, requestSalt } from "./requestScope";
@@ -725,6 +726,22 @@ async function handleAsk(
   // quantities alongside severity vocabulary; the candidate sets come
   // from the model node store (kind condition_set), license-gated like
   // every model lane.
+  // the model lanes' node store read: the doc hint joins the STANDARD id
+  // (iec-60068-2-78 carries the part; oiml-r60 does not) — when the hint
+  // names a part of a part-less package ("R 60-1"), retry on the stem
+  const modelNodeRows = async (kind: string, docNum: string | undefined) => {
+    const attempt = (num: string | undefined) => {
+      const sql = num
+        ? `SELECT standard, node_id, content FROM model_nodes WHERE kind = '${kind}' AND standard LIKE '%' || ?1`
+        : `SELECT standard, node_id, content FROM model_nodes WHERE kind = '${kind}'`;
+      return num ? env.DB.prepare(sql).bind(num) : env.DB.prepare(sql);
+    };
+    let rows = await attempt(docNum).all().catch(() => ({ results: [] }));
+    if (!(rows.results ?? []).length && docNum && docNum.includes("-")) {
+      rows = await attempt(docNum.replace(/-\d+$/, "")).all().catch(() => ({ results: [] }));
+    }
+    return rows;
+  };
   let conditionVerdict: ConditionVerdict | null = null;
   let conditionStandard: string | null = null;
   if (!machineVerdict && !boundModel && P().publisher.features?.model_plane) {
@@ -735,11 +752,7 @@ async function handleAsk(
       const docNum = modelDocHint?.doc_number;
       // the doc number joins the STANDARD id (iec-60068-2-78), which is
       // the doc number prefixed with the package-family prefix
-      const sql = docNum
-        ? "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'condition_set' AND standard LIKE '%' || ?1"
-        : "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'condition_set'";
-      const stmt = docNum ? env.DB.prepare(sql).bind(docNum) : env.DB.prepare(sql);
-      const rows = await stmt.all().catch(() => ({ results: [] }));
+      const rows = await modelNodeRows("condition_set", docNum);
       const candidates = (rows.results ?? []).filter((r: any) => {
         const entry = licensedEntryForPackage(String(r.standard));
         return !entry || (standardKeys?.has(entry.key) ?? false);
@@ -801,11 +814,7 @@ async function handleAsk(
   let aggregationStandard: string | null = null;
   if (!machineVerdict && !boundModel && !conditionVerdict && P().publisher.features?.model_plane) {
     const docNum = modelDocHint?.doc_number;
-    const sql = docNum
-      ? "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'table' AND standard LIKE '%' || ?1"
-      : "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'table'";
-    const stmt = docNum ? env.DB.prepare(sql).bind(docNum) : env.DB.prepare(sql);
-    const rows = await stmt.all().catch(() => ({ results: [] }));
+    const rows = await modelNodeRows("table", docNum);
     const candidates = (rows.results ?? []).filter((r: any) => {
       const entry = licensedEntryForPackage(String(r.standard));
       return !entry || (standardKeys?.has(entry.key) ?? false);
@@ -838,6 +847,29 @@ async function handleAsk(
       }
     : null;
   if (aggregationVerdict) console.log("aggregation engine:", aggregationVerdict.operation, aggregationVerdict.table, "→", aggregationVerdict.value);
+  // ── the licensed boundary note (TODO.rag/12): an unentitled question
+  // that is topically ABOUT a licensed standard gets the boundary
+  // posture — the citation graph names the public publications that
+  // reference the licensed document, and the note instructs the model
+  // to attribute, never to recite the licensed parameters.
+  let boundaryNote: string | null = null;
+  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 ?? "";
+      let citing: string[] = [];
+      if (docNum) {
+        const rows = await env.DB.prepare(
+          "SELECT n.label AS label FROM graph_edges e JOIN graph_nodes n ON e.src = n.id WHERE e.kind = 'cites' AND e.dst LIKE ?1 LIMIT 4",
+        ).bind(`%${docNum}%`).all().catch(() => ({ results: [] }));
+        citing = (rows.results ?? []).map((r: any) => {
+          const m = String(r.label ?? "").match(/^OIML-([A-Z]+)-(\d+)(?:-([A-Za-z0-9]+))?-(\d{4})$/);
+          return m ? `OIML ${m[1]} ${m[2]}${m[3] ? `-${m[3]}` : ""} (${m[4]})` : String(r.label ?? "");
+        });
+      }
+      boundaryNote = boundaryNoteText(match, citing);
+    }
+  }
   try {
     const tR = Date.now();
     // ── The "my account" live read (TODO.ai-platform/03) — resolved
@@ -987,7 +1019,7 @@ async function handleAsk(
     q.lang,
     keptHistory,
     // stage-extracted graph facts (GraphRAG) ride the same note channel
-    [processNote, eNote, contextNote(declaredCtx, docScope), accountNote, modelNote, vocabNote, memNote, machineNote, conditionNote, aggregationNote, licenseNote, ...(retrieved.notes ?? [])].filter(Boolean).join("\n") || undefined,
+    [processNote, eNote, contextNote(declaredCtx, docScope), accountNote, modelNote, vocabNote, memNote, machineNote, conditionNote, aggregationNote, boundaryNote, licenseNote, ...(retrieved.notes ?? [])].filter(Boolean).join("\n") || undefined,
     summary,
     budget,
   );

package/workers/worker_public/src/boundary.ts

@@ -0,0 +1,69 @@
+// The licensed boundary note (TODO.rag/12): when a question is about a
+// topic that matches a LICENSED standard the caller is not entitled to,
+// the note gives the answer model the boundary posture — name the
+// licensed document as the authoritative procedure, name the public
+// publications that reference it, and never recite the licensed
+// parameters as if from the source. Pure matching/text lives here; the
+// inverse-cites D1 read lives at the call site.
+
+export interface LicensedEntry {
+  key: string;
+  package?: string;
+  doc_number?: string;
+  title?: string;
+}
+
+export interface LicensedMatch {
+  entry: LicensedEntry;
+  matched: string[];
+}
+
+// title words that carry no topical identity — a question about "tests"
+// or "immunity" must not alone light the boundary
+const TITLE_STOPWORDS = new Set([
+  "environmental", "testing", "test", "tests", "guidance", "generic",
+  "standards", "standard", "electromagnetic", "compatibility",
+  "environment", "description", "measurement", "techniques", "immunity",
+  "residential", "commercial", "industrial", "environments", "and", "for", "the",
+  "iec", "iso",
+]);
+
+export function distinctiveTokens(title: string): string[] {
+  return title
+    .toLowerCase()
+    .split(/[^a-z0-9.]+/)
+    .filter((w) => w.length >= 3 && !TITLE_STOPWORDS.has(w) && !/^[0-9:-]+$/.test(w));
+}
+
+/** The licensed entry whose distinctive title tokens best match the
+ *  question. Needs TWO token hits (or one hyphenated-compound hit) —
+ *  a single shared word is not a topic match. */
+export function matchLicensedTopic(query: string, licensed: LicensedEntry[]): LicensedMatch | null {
+  const words = new Set(query.toLowerCase().split(/[^a-z0-9.]+/).filter(Boolean));
+  let best: { entry: LicensedEntry; matched: string[] } | null = null;
+  for (const entry of licensed) {
+    if (!entry.title) continue;
+    const matched = distinctiveTokens(entry.title).filter((w) => words.has(w));
+    if (matched.length < 2) continue;
+    if (!best || matched.length > best.matched.length) best = { entry, matched };
+  }
+  return best;
+}
+
+/** The note text: the posture instruction for an unentitled match. */
+export function boundaryNoteText(match: LicensedMatch, citing: string[]): string {
+  const doc = match.entry.doc_number ?? match.entry.key;
+  const title = match.entry.title ?? doc;
+  const refs = citing.length
+    ? `The public corpus references it from ${citing.join(", ")}.`
+    : "";
+  return (
+    `LICENSED BOUNDARY — ${title} (IEC ${doc}) is licensed content in this ` +
+    `deployment; its procedure is NOT part of the public corpus you are grounded in. ` +
+    `${refs} When answering: name the licensed document as the authoritative source of ` +
+    `the procedure and say it is available to entitled callers; do NOT recite its ` +
+    `conditioning or severity parameters (specific temperatures, humidity levels, ` +
+    `durations or cycle counts) as if from the source — describe only what the public ` +
+    `grounding passages themselves state, attributed to their own publications.`
+  );
+}