@konneal/engine 0.2.10 → 0.2.12

package/dist/{ask-PKHGS2DZ.js → ask-J3VYAEMM.js}

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

package/dist/{chunk-ZAEUQFC2.js → chunk-B4MH5IR2.js}

@@ -764,39 +764,40 @@ var NUM = String.raw`-?\d+(?:[.,]\d+)?`;
 function quantitiesIn(query) {
   const out = {};
   const num2 = (s) => Number(s.replace(",", "."));
-  const temp = query.match(new RegExp(`(${NUM})\\s*(?:\xB0\\s*)?(?:C\\b|degC\\b|celsius)`, "i"));
-  if (temp) out.temperature = num2(temp[1]);
+  const put = (kind, stated, stated_unit, si) => {
+    if (Number.isFinite(si)) out[kind] = { stated, stated_unit, si };
+  };
+  const tempC = query.match(new RegExp(`(${NUM})\\s*(?:\xB0\\s*)?C\\b`));
+  if (tempC) put("temperature", num2(tempC[1]), "degC", num2(tempC[1]) + 273.15);
+  const tempK = query.match(new RegExp(`(${NUM})\\s*K\\b`));
+  if (tempK && out.temperature === void 0) put("temperature", num2(tempK[1]), "K", num2(tempK[1]));
   const rh = query.match(new RegExp(`(${NUM})\\s*%\\s*(?:RH\\b|relative\\s+humidity)?`, "i"));
-  if (rh) out.relative_humidity = num2(rh[1]);
+  if (rh) put("relative_humidity", num2(rh[1]), "%", num2(rh[1]) / 100);
   const hours = query.match(new RegExp(`(${NUM})\\s*h\\b`, "i"));
-  if (hours) out.duration = num2(hours[1]);
+  if (hours) put("duration", num2(hours[1]), "h", num2(hours[1]) * 3600);
   const days = query.match(new RegExp(`(${NUM})\\s*days?\\b`, "i"));
-  if (days && out.duration === void 0) out.duration = num2(days[1]) * 24;
+  if (days && out.duration === void 0) put("duration", num2(days[1]), "d", num2(days[1]) * 86400);
   return out;
 }
-function entryBand(e) {
-  const value = Number(String(e.value).replace(",", "."));
-  const tolerance = Number(String(e.tolerance ?? "0").replace(",", "."));
-  if (!Number.isFinite(value)) return null;
-  return { value, tolerance: Number.isFinite(tolerance) ? tolerance : 0, lo: value - tolerance, hi: value + tolerance };
-}
 function scoreSet(entries, q) {
   const checks = [];
   let distance = 0;
   let stated = 0;
   for (const e of entries) {
-    const statedValue = q[e.quantity_kind];
-    if (statedValue === void 0) continue;
-    const band = entryBand(e);
-    if (!band) continue;
-    const in_band = statedValue >= band.lo && statedValue <= band.hi;
-    const gap = Math.max(0, statedValue - band.hi, band.lo - statedValue);
-    distance += gap / Math.max(band.tolerance, 1);
+    const siEntry = e;
+    const statedQ = q[e.quantity_kind];
+    if (!statedQ || !siEntry?.si) continue;
+    const tol = Number(String(siEntry.tolerance ?? "0").replace(",", "."));
+    const tolSi = (Number.isFinite(tol) ? tol : 0) * (siEntry.si.unit === "K" ? 1 : siEntry.si.unit === "1" ? 0.01 : 1);
+    const in_band = statedQ.si >= siEntry.si.value - tolSi && statedQ.si <= siEntry.si.value + tolSi;
+    const gap = Math.max(0, statedQ.si - (siEntry.si.value + tolSi), siEntry.si.value - tolSi - statedQ.si);
+    distance += gap / Math.max(tolSi, 1);
     stated += 1;
     checks.push({
       quantity_kind: e.quantity_kind,
-      band: `${band.value} ${e.unit} \xB1${band.tolerance}`,
-      stated: statedValue,
+      band: `${siEntry.si.value} ${siEntry.si.unit} \xB1${tolSi}`,
+      stated: statedQ.stated,
+      stated_unit: statedQ.stated_unit,
       in_band
     });
   }
@@ -831,7 +832,7 @@ function evaluateConditionSets(nodes, query) {
     verdict: "fail",
     matched: [],
     nearest: { node_id: nearest.node_id, distance: Number(nearest.distance.toFixed(2)), bands: nearest.checks.map((c) => c.band) },
-    checks: scored[0].checks,
+    checks: nearest.checks,
     note: `VERDICT: FAIL \u2014 no severity set admits the stated combination. The nearest set is ${nearest.node_id} (bands: ${nearest.checks.map((c) => c.band).join("; ")}). Say the combination is outside the menu and name the nearest set; never soften it.`
   };
 }
@@ -1636,7 +1637,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 = ?1" : "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'condition_set' LIMIT 40";
+      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 candidates = (rows.results ?? []).filter((r) => {

package/dist/conditions.d.ts

@@ -2,6 +2,7 @@ export interface ConditionCheck {
     quantity_kind: string;
     band: string;
     stated: number;
+    stated_unit: string;
     in_band: boolean;
 }
 export interface ConditionVerdict {
@@ -15,11 +16,14 @@ export interface ConditionVerdict {
     checks: ConditionCheck[];
     note: string;
 }
-/** The question's stated quantities, normalized onto the entries'
- *  quantity kinds by UNIT (degC/K → temperature; % / RH →
- *  relative_humidity; h/days → duration). Units, never words: "12
- *  months" is not a 12 h duration. */
-export declare function quantitiesIn(query: string): Record<string, number>;
+/** The question's stated quantities with their SI normalization
+ *  (temperature → K, relative_humidity → the ratio unit, duration → s).
+ *  Units, never words: "12 months" is not a 12 h duration. */
+export declare function quantitiesIn(query: string): Record<string, {
+    stated: number;
+    stated_unit: string;
+    si: number;
+}>;
 /** Evaluate the candidate condition_set nodes against the question's
  *  stated quantities. PASS when at least one set admits every stated
  *  quantity within its band (the set is named); FAIL names the nearest

package/dist/worker_public/src/index.js

@@ -7,7 +7,7 @@ import {
   handleMemories,
   scoreJudge,
   standardForDocNumber
-} from "../../chunk-ZAEUQFC2.js";
+} from "../../chunk-B4MH5IR2.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-PKHGS2DZ.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-J3VYAEMM.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/docs/ADOPTION.md

@@ -42,6 +42,15 @@ request cannot reach internal indexes at all: the public surface holds
 no binding to them, and the internal worker re-verifies every session
 itself.
 
+## Grounded in the literature
+
+The execution pattern (a deterministic evaluator computes; the model
+narrates) adopts the program-aided line — PAL (arXiv:2211.10435) and
+Program of Thoughts (arXiv:2211.12588) — and the structured-numeric
+retrieval lessons of TableRAG (arXiv:2410.04739, arXiv:2506.10380).
+The deployment's research notes map every technique to its source and
+to the code path that implements it.
+
 ## The proof
 
 Your golden suite gates every promotion: content witnesses, refusal

package/package.json

@@ -34,7 +34,7 @@
     "@oimlsmart/oiml-pubid": "^1.2.1"
   },
   "dependencies": {},
-  "version": "0.2.10",
+  "version": "0.2.12",
   "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

@@ -732,9 +732,11 @@ async function handleAsk(
     const stated = quantitiesIn(q.query);
     if (severityWord && Object.keys(stated).length >= 1) {
       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 = ?1"
-        : "SELECT standard, node_id, content FROM model_nodes WHERE kind = 'condition_set' LIMIT 40";
+        ? "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 candidates = (rows.results ?? []).filter((r: any) => {

package/workers/worker_public/src/conditions.ts

@@ -2,14 +2,16 @@
 // the test-method packages as machine-verifiable membership. A
 // condition_set node's payload.entries carry the kernel's quantity
 // doctrine — value + unit inseparable, tolerance the SPECIFIED band —
-// so "is 85 % RH at 40 °C a valid Test Cab severity?" computes: find
-// the sets whose temperature AND relative_humidity bands admit the
-// stated pair. The verdict is executed data; the model narrates it.
+// and each entry resolves to SI through the package's own quantity
+// register (the export ships si { value, unit }). The stated quantities
+// normalize through the same SI targets, so 313 K and 40 °C are the
+// same stated temperature.
 
 export interface ConditionCheck {
   quantity_kind: string;
   band: string;
   stated: number;
+  stated_unit: string;
   in_band: boolean;
 }
 
@@ -26,55 +28,62 @@ interface Entry {
   value: string | number;
   unit: string;
   tolerance: string | number;
+  si?: { value: number; unit: string };
 }
 
 const NUM = String.raw`-?\d+(?:[.,]\d+)?`;
 
-/** The question's stated quantities, normalized onto the entries'
- *  quantity kinds by UNIT (degC/K → temperature; % / RH →
- *  relative_humidity; h/days → duration). Units, never words: "12
- *  months" is not a 12 h duration. */
-export function quantitiesIn(query: string): Record<string, number> {
-  const out: Record<string, number> = {};
+/** The question's stated quantities with their SI normalization
+ *  (temperature → K, relative_humidity → the ratio unit, duration → s).
+ *  Units, never words: "12 months" is not a 12 h duration. */
+export function quantitiesIn(query: string): Record<string, { stated: number; stated_unit: string; si: number }> {
+  const out: Record<string, { stated: number; stated_unit: string; si: number }> = {};
   const num = (s: string) => Number(s.replace(",", "."));
-  const temp = query.match(new RegExp(`(${NUM})\\s*(?:°\\s*)?(?:C\\b|degC\\b|celsius)`, "i"));
-  if (temp) out.temperature = num(temp[1]!);
+  const put = (kind: string, stated: number, stated_unit: string, si: number) => {
+    if (Number.isFinite(si)) out[kind] = { stated, stated_unit, si };
+  };
+  const tempC = query.match(new RegExp(`(${NUM})\\s*(?:°\\s*)?C\\b`));
+  if (tempC) put("temperature", num(tempC[1]!), "degC", num(tempC[1]!) + 273.15);
+  const tempK = query.match(new RegExp(`(${NUM})\\s*K\\b`));
+  if (tempK && out.temperature === undefined) put("temperature", num(tempK[1]!), "K", num(tempK[1]!));
   const rh = query.match(new RegExp(`(${NUM})\\s*%\\s*(?:RH\\b|relative\\s+humidity)?`, "i"));
-  if (rh) out.relative_humidity = num(rh[1]!);
+  if (rh) put("relative_humidity", num(rh[1]!), "%", num(rh[1]!) / 100);
   const hours = query.match(new RegExp(`(${NUM})\\s*h\\b`, "i"));
-  if (hours) out.duration = num(hours[1]!);
+  if (hours) put("duration", num(hours[1]!), "h", num(hours[1]!) * 3600);
   const days = query.match(new RegExp(`(${NUM})\\s*days?\\b`, "i"));
-  if (days && out.duration === undefined) out.duration = num(days[1]!) * 24;
+  if (days && out.duration === undefined) put("duration", num(days[1]!), "d", num(days[1]!) * 86400);
   return out;
 }
 
-function entryBand(e: Entry): { lo: number; hi: number; value: number; tolerance: number } | null {
-  const value = Number(String(e.value).replace(",", "."));
-  const tolerance = Number(String(e.tolerance ?? "0").replace(",", "."));
-  if (!Number.isFinite(value)) return null;
-  return { value, tolerance: Number.isFinite(tolerance) ? tolerance : 0, lo: value - tolerance, hi: value + tolerance };
+interface SiEntry {
+  quantity_kind: string;
+  unit: string;
+  tolerance: string | number;
+  si: { value: number; unit: string };
 }
 
-/** Evaluate ONE set: every stated quantity in-band? Sets with entries
- *  whose kind the question never states are skipped for that kind (a
- *  question stating one quantity does not fail a two-entry set). */
-function scoreSet(entries: Entry[], q: Record<string, number>): { checks: ConditionCheck[]; distance: number; stated: number } | null {
+/** Evaluate ONE set: every stated quantity's SI value inside the
+ *  entry's SI band (the tolerance converts with the factor, never the
+ *  offset — a difference has no affine part). */
+function scoreSet(entries: (Entry | SiEntry)[], q: Record<string, { stated: number; stated_unit: string; si: number }>): { checks: ConditionCheck[]; distance: number; stated: number } | null {
   const checks: ConditionCheck[] = [];
   let distance = 0;
   let stated = 0;
   for (const e of entries) {
-    const statedValue = q[e.quantity_kind];
-    if (statedValue === undefined) continue;
-    const band = entryBand(e);
-    if (!band) continue;
-    const in_band = statedValue >= band.lo && statedValue <= band.hi;
-    const gap = Math.max(0, statedValue - band.hi, band.lo - statedValue);
-    distance += gap / Math.max(band.tolerance, 1);
+    const siEntry = e as SiEntry;
+    const statedQ = q[e.quantity_kind];
+    if (!statedQ || !siEntry?.si) continue;
+    const tol = Number(String(siEntry.tolerance ?? "0").replace(",", "."));
+    const tolSi = (Number.isFinite(tol) ? tol : 0) * (siEntry.si.unit === "K" ? 1 : siEntry.si.unit === "1" ? 0.01 : 1);
+    const in_band = statedQ.si >= siEntry.si.value - tolSi && statedQ.si <= siEntry.si.value + tolSi;
+    const gap = Math.max(0, statedQ.si - (siEntry.si.value + tolSi), siEntry.si.value - tolSi - statedQ.si);
+    distance += gap / Math.max(tolSi, 1);
     stated += 1;
     checks.push({
       quantity_kind: e.quantity_kind,
-      band: `${band.value} ${e.unit} ±${band.tolerance}`,
-      stated: statedValue,
+      band: `${siEntry.si.value} ${siEntry.si.unit} ±${tolSi}`,
+      stated: statedQ.stated,
+      stated_unit: statedQ.stated_unit,
       in_band,
     });
   }
@@ -95,7 +104,7 @@ export function evaluateConditionSets(
   const scored: { node_id: string; checks: ConditionCheck[]; distance: number }[] = [];
   for (const n of nodes) {
     const c = (n.content && typeof n.content === "object" ? n.content : {}) as Record<string, any>;
-    const payload = (c.payload ?? {}) as { role?: string; entries?: Entry[] };
+    const payload = (c.payload ?? {}) as { entries?: (Entry | SiEntry)[] };
     const entries = Array.isArray(payload.entries) ? payload.entries : [];
     if (!entries.length) continue;
     const s = scoreSet(entries, q);
@@ -117,7 +126,7 @@ export function evaluateConditionSets(
     verdict: "fail",
     matched: [],
     nearest: { node_id: nearest.node_id, distance: Number(nearest.distance.toFixed(2)), bands: nearest.checks.map((c) => c.band) },
-    checks: scored[0]!.checks,
+    checks: nearest.checks,
     note: `VERDICT: FAIL — no severity set admits the stated combination. The nearest set is ${nearest.node_id} (bands: ${nearest.checks.map((c) => c.band).join("; ")}). Say the combination is outside the menu and name the nearest set; never soften it.`,
   };
 }