@konneal/engine 0.2.157 → 0.2.159

package/dist/{ask-IC5A5LIN.js → ask-FUNBGZKM.js}

@@ -1,8 +1,8 @@
 import {
   handleAsk
-} from "./chunk-S3O7QZQ7.js";
+} from "./chunk-CBSVUTFM.js";
 import "./chunk-ECOYO7EX.js";
-import "./chunk-VYEMFSU5.js";
+import "./chunk-PBHMQZKA.js";
 import "./chunk-G2RE4XRV.js";
 import "./chunk-NI4CIK6W.js";
 import "./chunk-W7J5SFXJ.js";

package/dist/{chunk-S3O7QZQ7.js → chunk-CBSVUTFM.js}

@@ -32,7 +32,7 @@ import {
   tableRetyped,
   toolNote,
   verdictNote
-} from "./chunk-VYEMFSU5.js";
+} from "./chunk-PBHMQZKA.js";
 import {
   NO_CONTEXT,
   STAGE_NAMES,
@@ -2749,6 +2749,15 @@ Answer account questions from these records ONLY: name the record when you use i
         const streamed = { total: streamedAnchors.total, violations: streamedRetyped ? ["table-retyped"] : streamedAnchors.violations };
         if (streamed.violations.length > 0) {
           console.log("anchors:", streamed.violations.length, "of", streamed.total, "unverified \u2014 not caching");
+          try {
+            live2.send({
+              type: "contract",
+              verified: streamed.total - streamed.violations.length,
+              violations: streamed.violations.slice(0, 5),
+              note: "the streamed answer carried unverified quote anchors \u2014 the json lane enforces this contract by regeneration; treat the quoted spans as unverified"
+            });
+          } catch {
+          }
         }
         if (streamed.violations.length === 0 && canonical.length > 0 && !contextual && !declaredCtx && cacheableAnswer(canonical, refusalScope(answerCites(canonical))) && !ablate) {
           ctx.waitUntil(

package/dist/{chunk-VYEMFSU5.js → chunk-PBHMQZKA.js}

@@ -271,7 +271,7 @@ function parseNumber(raw) {
   return Number(s.replace(/,(?=\d{3}\b)/g, ""));
 }
 var TOL_SEP_SRC = "\\u00b1|\\bpm\\b|\\+/-";
-var NUM_SRC = "[0-9][0-9 ,.]*[0-9]";
+var NUM_SRC = "[0-9]+(?:[0-9 ,.]*[0-9])?";
 var UNIT_SRC = "%|\\u00b0?[A-Za-z\\u00b5\\u03a9]{0,6}";
 function statedUncertainty(value, tolRaw, tolUnitRaw, valueUnit) {
   const tolNum = parseNumber(tolRaw);
@@ -404,6 +404,42 @@ function evaluate(content, query, opts) {
           const decided = corners.filter((c2) => c2 !== null);
           if (decided.length && decided.some((c2) => c2 !== result)) {
             voidReason = voidReason ?? `the stated uncertainty (${un.stated}) on ${first.split(".").pop()} crosses the decision boundary \u2014 the check evaluates ${result ? "true" : "false"} at the stated value but ${decided.find((c2) => c2 !== result) ? "true" : "false"} at the band edge; the question cannot be decided as stated`;
+          } else if (decided.length === corners.length && un.tol > 0) {
+            const flipsAt = (scale) => {
+              for (const dir of [1, -1]) {
+                const corner = { ...params, [first]: params[first] + dir * scale * un.tol };
+                try {
+                  if (!!parseAndEval(expression, corner) !== result) return true;
+                } catch {
+                  return true;
+                }
+              }
+              return false;
+            };
+            if (flipsAt(20)) {
+              let lo = 1, hi = 20;
+              for (let i = 0; i < 12; i++) {
+                const mid = (lo + hi) / 2;
+                if (flipsAt(mid)) hi = mid;
+                else lo = mid;
+              }
+              const marginTol = hi * un.tol;
+              uncertainty = {
+                ...uncertainty,
+                margin_tol: marginTol,
+                margin_bounded: true,
+                coverage: "k=2",
+                safety_factor: marginTol / (2 * un.tol)
+              };
+            } else {
+              uncertainty = {
+                ...uncertainty,
+                margin_tol: 20 * un.tol,
+                margin_bounded: false,
+                coverage: "k=2",
+                safety_factor: 20 * un.tol / (2 * un.tol)
+              };
+            }
           }
         }
       }

package/dist/{tools-CWPQQTBQ.js → tools-W5HGME7W.js}

@@ -4,7 +4,7 @@ import {
   parseToolCall,
   runTool,
   toolNote
-} from "./chunk-VYEMFSU5.js";
+} from "./chunk-PBHMQZKA.js";
 import "./chunk-NI4CIK6W.js";
 import "./chunk-4NXH5ZI6.js";
 import "./chunk-VT7DR6NQ.js";

package/dist/verdict.d.ts

@@ -4,7 +4,13 @@ export interface MachineCheck {
     values: Record<string, number>;
     result: boolean | null;
     /** present when the question states a tolerance on a symbol this
-     *  check reads: the band's corner evaluations beside the nominal */
+     *  check reads: the band's corner evaluations beside the nominal,
+     *  and — when the band is robust (every corner agrees with the
+     *  nominal) — the GUM-style budget: the tolerance magnitude that
+     *  would flip the decision (bisected up to 20× the stated band;
+     *  margin_bounded false when even 20× does not flip), and the safety
+     *  factor of that margin over the k=2 expanded uncertainty
+     *  (U = 2u, the ≈95% coverage a metrologist reports). */
     uncertainty?: {
         symbol: string;
         stated: string;
@@ -12,6 +18,10 @@ export interface MachineCheck {
         unit?: string;
         nominal: boolean;
         corners: (boolean | null)[];
+        margin_tol?: number;
+        margin_bounded?: boolean;
+        coverage?: "k=2";
+        safety_factor?: number;
     };
 }
 export interface Verdict {

package/dist/worker_public/src/index.js

@@ -4,13 +4,13 @@ import {
   handleMemories,
   scoreFaithfulness,
   scoreJudge
-} from "../../chunk-S3O7QZQ7.js";
+} from "../../chunk-CBSVUTFM.js";
 import "../../chunk-ECOYO7EX.js";
 import {
   TOOLS_REGISTRY,
   bindModelNode,
   modelGroundingBlock
-} from "../../chunk-VYEMFSU5.js";
+} from "../../chunk-PBHMQZKA.js";
 import {
   handleSearch
 } from "../../chunk-OL7KKGEO.js";
@@ -1118,13 +1118,13 @@ async function callToolOnce(env, ctx, _req, tier, key, name, args, t0) {
       // stream:false forces the JSON lane (anon defaults to SSE)
       body: JSON.stringify({ ...args, stream: false })
     });
-    const { runTool, TOOLS_REGISTRY: TOOLS_REGISTRY2 } = await import("../../tools-CWPQQTBQ.js");
+    const { runTool, TOOLS_REGISTRY: TOOLS_REGISTRY2 } = await import("../../tools-W5HGME7W.js");
     let payload;
     if (TOOLS_REGISTRY2.some((t) => t.name === name && t.audiences.includes("mcp"))) {
       const r = await runTool({ ...env, DB: env.DB }, { name, args }, "mcp");
       payload = r ? { tool: r.name, query: r.query, result: r.output } : { error: { message: `tool ${name} returned nothing for the given arguments` } };
     } else {
-      const res = name === "ask" ? await (await import("../../ask-IC5A5LIN.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-GAU5SEZI.js")).handleSearch(env, ctx, inner, tier, key);
+      const res = name === "ask" ? await (await import("../../ask-FUNBGZKM.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-GAU5SEZI.js")).handleSearch(env, ctx, inner, tier, key);
       payload = await res.json().catch(() => ({ error: { message: "tool transport failed", status: res.status } }));
     }
     telemetry(env, ctx, tier, `mcp:${name}`, null, !payload?.error, JSON.stringify(payload).length, await sha256Hex(`${name}:${JSON.stringify(args ?? {})}`), void 0, void 0, { durationMs: Date.now() - t0 });

package/package.json

@@ -27,7 +27,7 @@
     "playwright": "^1.62.1",
     "yaml": "^2.9.1"
   },
-  "version": "0.2.157",
+  "version": "0.2.159",
   "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

@@ -1702,6 +1702,20 @@ let convEntities: Array<{ entity: string; kind: string }> = [];
           const streamed = { total: streamedAnchors.total, violations: streamedRetyped ? ["table-retyped"] : streamedAnchors.violations };
           if (streamed.violations.length > 0) {
             console.log("anchors:", streamed.violations.length, "of", streamed.total, "unverified — not caching");
+            // the streaming-contract event (TODO.sota/14.5, v1 — the
+            // detection half): a mid-stream answer cannot regenerate, so
+            // the violations are reported to the client as they are —
+            // measured, never hidden — and the unverified answer never
+            // enters the cache. The bounded restart still covers the
+            // head class (narration, preamble).
+            try {
+              live!.send({
+                type: "contract",
+                verified: streamed.total - streamed.violations.length,
+                violations: streamed.violations.slice(0, 5),
+                note: "the streamed answer carried unverified quote anchors — the json lane enforces this contract by regeneration; treat the quoted spans as unverified",
+              });
+            } catch { /* the client may have closed; never block the close */ }
           }
           if (streamed.violations.length === 0 && canonical.length > 0 && !contextual && !declaredCtx && cacheableAnswer(canonical, refusalScope(answerCites(canonical))) && !ablate) {
             ctx.waitUntil(

package/workers/worker_public/src/verdict.ts

@@ -20,7 +20,13 @@ export interface MachineCheck {
   values: Record<string, number>;
   result: boolean | null; // null: could not evaluate (missing params)
   /** present when the question states a tolerance on a symbol this
-   *  check reads: the band's corner evaluations beside the nominal */
+   *  check reads: the band's corner evaluations beside the nominal,
+   *  and — when the band is robust (every corner agrees with the
+   *  nominal) — the GUM-style budget: the tolerance magnitude that
+   *  would flip the decision (bisected up to 20× the stated band;
+   *  margin_bounded false when even 20× does not flip), and the safety
+   *  factor of that margin over the k=2 expanded uncertainty
+   *  (U = 2u, the ≈95% coverage a metrologist reports). */
   uncertainty?: {
     symbol: string;
     stated: string;
@@ -28,6 +34,10 @@ export interface MachineCheck {
     unit?: string;
     nominal: boolean;
     corners: (boolean | null)[];
+    margin_tol?: number;
+    margin_bounded?: boolean;
+    coverage?: "k=2";
+    safety_factor?: number;
   };
 }
 
@@ -223,7 +233,10 @@ export interface StatedUncertainty {
 }
 
 const TOL_SEP_SRC = "\\u00b1|\\bpm\\b|\\+/-";
-const NUM_SRC = "[0-9][0-9 ,.]*[0-9]";
+// single digits bind too — a metrologist's "± 5 v" is a first-class
+// tolerance (the two-digit minimum silently dropped every one-digit
+// value and tolerance; found by the GUM-budget tests, 2026-10-20)
+const NUM_SRC = "[0-9]+(?:[0-9 ,.]*[0-9])?";
 const UNIT_SRC = "%|\\u00b0?[A-Za-z\\u00b5\\u03a9]{0,6}";
 
 function statedUncertainty(
@@ -392,6 +405,43 @@ export function evaluate(content: unknown, query: string, opts?: { dimensions?:
               `the check evaluates ${result ? "true" : "false"} at the stated value but ` +
               `${decided.find((c) => c !== result) ? "true" : "false"} at the band edge; the question cannot be decided as stated`
             );
+          } else if (decided.length === corners.length && un.tol > 0) {
+            // the band is robust: report the GUM-style budget — bisect
+            // the tolerance scaling for the flip point (both directions,
+            // up to 20× the stated band), then state the safety factor
+            // over the k=2 expanded uncertainty (U = 2u)
+            const flipsAt = (scale: number): boolean => {
+              for (const dir of [1, -1]) {
+                const corner = { ...params, [first]: params[first]! + dir * scale * un.tol };
+                try {
+                  if (!!parseAndEval(expression, corner) !== result) return true;
+                } catch { return true; }
+              }
+              return false;
+            };
+            if (flipsAt(20)) {
+              let lo = 1, hi = 20;
+              for (let i = 0; i < 12; i++) {
+                const mid = (lo + hi) / 2;
+                if (flipsAt(mid)) hi = mid; else lo = mid;
+              }
+              const marginTol = hi * un.tol;
+              uncertainty = {
+                ...uncertainty!,
+                margin_tol: marginTol,
+                margin_bounded: true,
+                coverage: "k=2",
+                safety_factor: marginTol / (2 * un.tol),
+              };
+            } else {
+              uncertainty = {
+                ...uncertainty!,
+                margin_tol: 20 * un.tol,
+                margin_bounded: false,
+                coverage: "k=2",
+                safety_factor: (20 * un.tol) / (2 * un.tol),
+              };
+            }
           }
         }
       }