@konneal/engine 0.2.7 → 0.2.11

package/dist/{ask-6V6AJG2V.js → ask-AAEPGPJI.js}

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

package/dist/{chunk-LWEVSMH6.js → chunk-KMSUJI75.js}

@@ -759,6 +759,84 @@ function verdictNote(v, node) {
   return lines.join("\n");
 }
 
+// workers/worker_public/src/conditions.ts
+var NUM = String.raw`-?\d+(?:[.,]\d+)?`;
+function quantitiesIn(query) {
+  const out = {};
+  const num2 = (s) => Number(s.replace(",", "."));
+  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) put("relative_humidity", num2(rh[1]), "%", num2(rh[1]) / 100);
+  const hours = query.match(new RegExp(`(${NUM})\\s*h\\b`, "i"));
+  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) put("duration", num2(days[1]), "d", num2(days[1]) * 86400);
+  return out;
+}
+function scoreSet(entries, q) {
+  const checks = [];
+  let distance = 0;
+  let stated = 0;
+  for (const e of entries) {
+    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: `${siEntry.si.value} ${siEntry.si.unit} \xB1${tolSi}`,
+      stated: statedQ.stated,
+      stated_unit: statedQ.stated_unit,
+      in_band
+    });
+  }
+  return stated ? { checks, distance, stated } : null;
+}
+function evaluateConditionSets(nodes, query) {
+  const q = quantitiesIn(query);
+  const kinds = Object.keys(q);
+  if (!kinds.length) return null;
+  const scored = [];
+  for (const n of nodes) {
+    const c = n.content && typeof n.content === "object" ? n.content : {};
+    const payload = c.payload ?? {};
+    const entries = Array.isArray(payload.entries) ? payload.entries : [];
+    if (!entries.length) continue;
+    const s = scoreSet(entries, q);
+    if (s) scored.push({ node_id: n.node_id, checks: s.checks, distance: s.distance });
+  }
+  if (!scored.length) return null;
+  const matched = scored.filter((s) => s.checks.every((c) => c.in_band));
+  scored.sort((a, b) => a.distance - b.distance);
+  if (matched.length) {
+    return {
+      verdict: "pass",
+      matched: matched.map((m) => m.node_id),
+      checks: matched[0].checks,
+      note: `VERDICT: PASS \u2014 the stated combination (${kinds.join(", ")}) matches severity set(s) ${matched.map((m) => m.node_id).join(", ")}. Present this verdict and cite the set's clause.`
+    };
+  }
+  const nearest = scored[0];
+  return {
+    verdict: "fail",
+    matched: [],
+    nearest: { node_id: nearest.node_id, distance: Number(nearest.distance.toFixed(2)), bands: nearest.checks.map((c) => c.band) },
+    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.`
+  };
+}
+
 // 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";
@@ -1551,6 +1629,32 @@ ${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;
+  let conditionVerdict = null;
+  let conditionStandard = null;
+  if (!machineVerdict && !boundModel && P().publisher.features?.model_plane) {
+    const ql = q.query.toLowerCase();
+    const severityWord = /\b(severity|test|valid|tolerance|condition|within)\b/.test(ql);
+    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 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) => {
+        const entry = licensedEntryForPackage(String(r.standard));
+        return !entry || (standardKeys?.has(entry.key) ?? false);
+      });
+      const v = evaluateConditionSets(
+        candidates.map((r) => ({ node_id: String(r.node_id), content: JSON.parse(String(r.content ?? "{}")) })),
+        q.query
+      );
+      if (v) {
+        conditionVerdict = v;
+        conditionStandard = String(rows.results?.[0]?.standard ?? "");
+      }
+    }
+  }
+  const conditionNote = conditionVerdict && conditionStandard ? `${conditionVerdict.note} (computed from the ${conditionStandard} condition sets \u2014 machine evaluation, cite the package's clause.)` : void 0;
   const verdictBlock = machineVerdict ? {
     unit_id: boundModel.node_id,
     type: "verdict",
@@ -1564,6 +1668,22 @@ ${summary}` }] : [],
     }
   } : null;
   if (machineVerdict) console.log("verdict engine:", boundModel.node_id, "\u2192", machineVerdict.verdict.toUpperCase(), machineVerdict.missing.length ? `(missing ${machineVerdict.missing.join(",")})` : "");
+  const conditionBlock = conditionVerdict ? {
+    unit_id: conditionVerdict.matched[0] ?? conditionVerdict.nearest.node_id,
+    type: "verdict",
+    docidentifier: `IEC SMART model (${conditionStandard})`,
+    payload: {
+      verdict: conditionVerdict.verdict,
+      missing: [],
+      checks: conditionVerdict.checks.map((c) => ({
+        expression: `${c.quantity_kind} within ${c.band}`,
+        values: { stated: c.stated },
+        result: c.in_band
+      })),
+      ...conditionVerdict.nearest ? { nearest: conditionVerdict.nearest } : { matched: conditionVerdict.matched }
+    }
+  } : null;
+  if (conditionVerdict) console.log("condition engine:", conditionVerdict.matched.join("|") || conditionVerdict.nearest.node_id, "\u2192", conditionVerdict.verdict.toUpperCase());
   try {
     const tR = Date.now();
     if (declaredCtx?.kind === "account") {
@@ -1657,7 +1777,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, licenseNote, ...retrieved.notes ?? []].filter(Boolean).join("\n") || void 0,
+    [processNote, eNote, contextNote(declaredCtx, docScope), accountNote, modelNote, vocabNote, memNote, machineNote, conditionNote, licenseNote, ...retrieved.notes ?? []].filter(Boolean).join("\n") || void 0,
     summary,
     budget
   );
@@ -1705,7 +1825,7 @@ Answer account questions from these records ONLY: name the record when you use i
             model,
             query_hash: queryHash,
             follow_ups: understanding?.follow_ups ?? [],
-            blocks: verdictBlock ? [...c2.blocks, verdictBlock] : c2.blocks,
+            blocks: [...c2.blocks, ...verdictBlock ? [verdictBlock] : [], ...conditionBlock ? [conditionBlock] : []],
             context_applied: ctxApplied,
             read: readAs(),
             // the evidence view's ground truth: the exact passages this
@@ -1822,7 +1942,7 @@ Answer account questions from these records ONLY: name the record when you use i
     if (completionBlocks.length) console.log("contract completion:", completionBlocks.length, "table block(s) attached server-side");
   }
   completionBlocks.push(...await completeFigures(env.DB, answer, [...c2ns.blocks, ...completionBlocks], used));
-  const out = { answer, citations: finalCites, model: MODELS.member, query_hash: queryHash, follow_ups: understanding?.follow_ups ?? [], blocks: [...c2ns.blocks, ...verdictBlock ? [verdictBlock] : [], ...completionBlocks], context_applied: ctxApplied, ...liveRecords ? { records: liveRecords } : {} };
+  const out = { answer, citations: finalCites, model: MODELS.member, query_hash: queryHash, follow_ups: understanding?.follow_ups ?? [], blocks: [...c2ns.blocks, ...verdictBlock ? [verdictBlock] : [], ...conditionBlock ? [conditionBlock] : [], ...completionBlocks], context_applied: ctxApplied, ...liveRecords ? { records: liveRecords } : {} };
   const cacheable = !contextual && !declaredCtx && !answer.includes(refusalAnswer()) && finalAnchors.violations.length === 0;
   if (cacheable) {
     const warmVec = await warmEmbed ?? null;

package/dist/conditions.d.ts

@@ -0,0 +1,34 @@
+export interface ConditionCheck {
+    quantity_kind: string;
+    band: string;
+    stated: number;
+    stated_unit: string;
+    in_band: boolean;
+}
+export interface ConditionVerdict {
+    verdict: "pass" | "fail";
+    matched: string[];
+    nearest?: {
+        node_id: string;
+        distance: number;
+        bands: string[];
+    };
+    checks: ConditionCheck[];
+    note: string;
+}
+/** 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
+ *  set and the violated bands. */
+export declare function evaluateConditionSets(nodes: {
+    node_id: string;
+    content: unknown;
+}[], query: string): ConditionVerdict | null;

package/dist/worker_public/src/index.js

@@ -7,7 +7,7 @@ import {
   handleMemories,
   scoreJudge,
   standardForDocNumber
-} from "../../chunk-LWEVSMH6.js";
+} from "../../chunk-KMSUJI75.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-6V6AJG2V.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-AAEPGPJI.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.7",
+  "version": "0.2.11",
   "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

@@ -19,8 +19,9 @@ import { contractV2, tableRetyped } from "./refs";
 import { completeTables, completeFigures } from "./completion";
 import { NO_CONTEXT, appliedContext, contextNote, namedDocumentIn, parseContext, resolveDocScope, syntheticUnderstanding } from "./context";
 import { exchangeForLiveToken, liveDataConfig, resolveLiveAccount, type LiveRecord } from "./livedata";
-import { bindModelNode, licenseBoundaryNote, licenseBoundaryRefusal, modelCitation, modelEcho, modelGroundingBlock, modelNodeRefIn, standardForDocNumber } from "./modelplane";
+import { bindModelNode, licenseBoundaryNote, licenseBoundaryRefusal, licensedEntryForPackage, modelCitation, modelEcho, modelGroundingBlock, modelNodeRefIn, standardForDocNumber } from "./modelplane";
 import { evaluate as machineEvaluate, verdictNote } from "./verdict";
+import { evaluateConditionSets, quantitiesIn, type ConditionVerdict } from "./conditions";
 import { detectDraftIntent, prepareDraft } from "./drafts";
 import { memoryNote } from "./memories";
 import { entitlementScope, resolveRequestScope, requestSalt } from "./requestScope";
@@ -717,6 +718,42 @@ async function handleAsk(
   // and the verdict BLOCK is server-built — data, never generated prose
   const machineVerdict = boundModel && !boundModel.gated ? machineEvaluate(boundModel.content, q.query) : null;
   const machineNote = machineVerdict && boundModel ? verdictNote(machineVerdict, boundModel) : undefined;
+  // ── condition-set membership (konneal/engine#90): the test-method
+  // packages' severity menus as machine-verifiable membership. Fires
+  // when no explicit node binding ran and the question states
+  // quantities alongside severity vocabulary; the candidate sets come
+  // from the model node store (kind condition_set), license-gated like
+  // every model lane.
+  let conditionVerdict: ConditionVerdict | null = null;
+  let conditionStandard: string | null = null;
+  if (!machineVerdict && !boundModel && P().publisher.features?.model_plane) {
+    const ql = q.query.toLowerCase();
+    const severityWord = /\b(severity|test|valid|tolerance|condition|within)\b/.test(ql);
+    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 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) => {
+        const entry = licensedEntryForPackage(String(r.standard));
+        return !entry || (standardKeys?.has(entry.key) ?? false);
+      });
+      const v = evaluateConditionSets(
+        candidates.map((r: any) => ({ node_id: String(r.node_id), content: JSON.parse(String(r.content ?? "{}")) })),
+        q.query,
+      );
+      if (v) {
+        conditionVerdict = v;
+        conditionStandard = String((rows.results?.[0] as any)?.standard ?? "");
+      }
+    }
+  }
+  const conditionNote = conditionVerdict && conditionStandard
+    ? `${conditionVerdict.note} (computed from the ${conditionStandard} condition sets — machine evaluation, cite the package's clause.)`
+    : undefined;
   const verdictBlock = machineVerdict
     ? {
         unit_id: boundModel!.node_id,
@@ -732,6 +769,26 @@ async function handleAsk(
       }
     : null;
   if (machineVerdict) console.log("verdict engine:", boundModel!.node_id, "→", machineVerdict.verdict.toUpperCase(), machineVerdict.missing.length ? `(missing ${machineVerdict.missing.join(",")})` : "");
+  const conditionBlock = conditionVerdict
+    ? {
+        unit_id: conditionVerdict.matched[0] ?? conditionVerdict.nearest!.node_id,
+        type: "verdict",
+        docidentifier: `IEC SMART model (${conditionStandard})`,
+        payload: {
+          verdict: conditionVerdict.verdict,
+          missing: [],
+          checks: conditionVerdict.checks.map((c) => ({
+            expression: `${c.quantity_kind} within ${c.band}`,
+            values: { stated: c.stated },
+            result: c.in_band,
+          })),
+          ...(conditionVerdict.nearest
+            ? { nearest: conditionVerdict.nearest }
+            : { matched: conditionVerdict.matched }),
+        },
+      }
+    : null;
+  if (conditionVerdict) console.log("condition engine:", conditionVerdict.matched.join("|") || conditionVerdict.nearest!.node_id, "→", conditionVerdict.verdict.toUpperCase());
   try {
     const tR = Date.now();
     // ── The "my account" live read (TODO.ai-platform/03) — resolved
@@ -881,7 +938,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, licenseNote, ...(retrieved.notes ?? [])].filter(Boolean).join("\n") || undefined,
+    [processNote, eNote, contextNote(declaredCtx, docScope), accountNote, modelNote, vocabNote, memNote, machineNote, conditionNote, licenseNote, ...(retrieved.notes ?? [])].filter(Boolean).join("\n") || undefined,
     summary,
     budget,
   );
@@ -934,7 +991,7 @@ async function handleAsk(
           const c2 = canonical0.includes(refusalAnswer())
             ? { text: canonical0, blocks: [], dropped: [] as string[] }
             : await contractV2(env.DB, canonical0, usedHits);
-          send({ type: "done", model, query_hash: queryHash, follow_ups: understanding?.follow_ups ?? [], blocks: verdictBlock ? [...c2.blocks, verdictBlock] : c2.blocks, context_applied: ctxApplied, read: readAs(),
+          send({ type: "done", model, query_hash: queryHash, follow_ups: understanding?.follow_ups ?? [], blocks: [...c2.blocks, ...(verdictBlock ? [verdictBlock] : []), ...(conditionBlock ? [conditionBlock] : [])], context_applied: ctxApplied, read: readAs(),
             // the evidence view's ground truth: the exact passages this
             // answer was built from, compact — cache hits carry none,
             // because the cache stores the answer and never the passages
@@ -1113,7 +1170,7 @@ async function handleAsk(
   // figure completion (#172) — see ./completion for the rationale
   completionBlocks.push(...(await completeFigures(env.DB, answer, [...c2ns.blocks, ...completionBlocks], used)));
 
-  const out = { answer, citations: finalCites, model: MODELS.member, query_hash: queryHash, follow_ups: understanding?.follow_ups ?? [], blocks: [...c2ns.blocks, ...(verdictBlock ? [verdictBlock] : []), ...completionBlocks], context_applied: ctxApplied, ...(liveRecords ? { records: liveRecords } : {}) };
+  const out = { answer, citations: finalCites, model: MODELS.member, query_hash: queryHash, follow_ups: understanding?.follow_ups ?? [], blocks: [...c2ns.blocks, ...(verdictBlock ? [verdictBlock] : []), ...(conditionBlock ? [conditionBlock] : []), ...completionBlocks], context_applied: ctxApplied, ...(liveRecords ? { records: liveRecords } : {}) };
   const cacheable = !contextual && !declaredCtx && !answer.includes(refusalAnswer()) && finalAnchors.violations.length === 0;
   if (cacheable) {
     const warmVec = (await warmEmbed) ?? null;

package/workers/worker_public/src/conditions.ts

@@ -0,0 +1,132 @@
+// Condition-set evaluation (konneal/engine#90): the severity menus of
+// 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 —
+// 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;
+}
+
+export interface ConditionVerdict {
+  verdict: "pass" | "fail";
+  matched: string[];
+  nearest?: { node_id: string; distance: number; bands: string[] };
+  checks: ConditionCheck[];
+  note: string;
+}
+
+interface Entry {
+  quantity_kind: string;
+  value: string | number;
+  unit: string;
+  tolerance: string | number;
+  si?: { value: number; unit: string };
+}
+
+const NUM = String.raw`-?\d+(?:[.,]\d+)?`;
+
+/** 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 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) put("relative_humidity", num(rh[1]!), "%", num(rh[1]!) / 100);
+  const hours = query.match(new RegExp(`(${NUM})\\s*h\\b`, "i"));
+  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) put("duration", num(days[1]!), "d", num(days[1]!) * 86400);
+  return out;
+}
+
+interface SiEntry {
+  quantity_kind: string;
+  unit: string;
+  tolerance: string | number;
+  si: { value: number; unit: string };
+}
+
+/** 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 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: `${siEntry.si.value} ${siEntry.si.unit} ±${tolSi}`,
+      stated: statedQ.stated,
+      stated_unit: statedQ.stated_unit,
+      in_band,
+    });
+  }
+  return stated ? { checks, distance, stated } : null;
+}
+
+/** 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
+ *  set and the violated bands. */
+export function evaluateConditionSets(
+  nodes: { node_id: string; content: unknown }[],
+  query: string,
+): ConditionVerdict | null {
+  const q = quantitiesIn(query);
+  const kinds = Object.keys(q);
+  if (!kinds.length) return null;
+  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 { entries?: (Entry | SiEntry)[] };
+    const entries = Array.isArray(payload.entries) ? payload.entries : [];
+    if (!entries.length) continue;
+    const s = scoreSet(entries, q);
+    if (s) scored.push({ node_id: n.node_id, checks: s.checks, distance: s.distance });
+  }
+  if (!scored.length) return null;
+  const matched = scored.filter((s) => s.checks.every((c) => c.in_band));
+  scored.sort((a, b) => a.distance - b.distance);
+  if (matched.length) {
+    return {
+      verdict: "pass",
+      matched: matched.map((m) => m.node_id),
+      checks: matched[0]!.checks,
+      note: `VERDICT: PASS — the stated combination (${kinds.join(", ")}) matches severity set(s) ${matched.map((m) => m.node_id).join(", ")}. Present this verdict and cite the set's clause.`,
+    };
+  }
+  const nearest = scored[0]!;
+  return {
+    verdict: "fail",
+    matched: [],
+    nearest: { node_id: nearest.node_id, distance: Number(nearest.distance.toFixed(2)), bands: nearest.checks.map((c) => c.band) },
+    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.`,
+  };
+}