@konneal/engine 0.2.102 → 0.2.103

package/dist/{ask-E6YJUOIP.js → ask-M3VRAIJB.js}

@@ -1,7 +1,7 @@
 import {
   handleAsk
-} from "./chunk-FQVP3JUA.js";
-import "./chunk-QNLFNEI4.js";
+} from "./chunk-NCZHN6QW.js";
+import "./chunk-ANUHRJ4Z.js";
 import "./chunk-25ECO5M7.js";
 import "./chunk-KNCRYAX3.js";
 import "./chunk-DTW4UW2E.js";

package/dist/{chunk-QNLFNEI4.js → chunk-ANUHRJ4Z.js}

@@ -80,170 +80,6 @@ function tableRetyped(text, availableTable) {
   return /(^|\n)\s*\|[^\n]+\|\s*(\n\s*\|[-: |]+\|\s*)?(\n|$)/.test(text) && (text.match(/\|/g) ?? []).length >= 6;
 }
 
-// workers/worker_public/src/modelplane.ts
-var NODE_RE = /(?:^|[\s("'`])\/(req|conf|term|constraint|characteristic|state-machine|dimension)\/([a-z0-9][a-z0-9_-]*(?:\/[a-z0-9][a-z0-9_-]*)?)(?=[\s)"'`,;:.]|$)/i;
-function modelNodeRefIn(text) {
-  if (!text) return null;
-  const m = text.match(NODE_RE);
-  if (!m) return null;
-  const id = `/${m[1].toLowerCase()}/${m[2]}`;
-  return id.length <= 120 ? id : null;
-}
-function standardForDocNumber(docNumber) {
-  if (!docNumber) return null;
-  const models = P().sources?.models;
-  if (!models?.standards?.length || !models?.standard_prefix) return null;
-  return models.standards.includes(docNumber) ? `${models.standard_prefix}${docNumber}` : null;
-}
-function licensedEntryForPackage(packageId) {
-  if (!packageId) return null;
-  return (P().sources?.licensed ?? []).find((l) => l.package === packageId) ?? null;
-}
-function licensedEntryForDocNumber(docNumber) {
-  if (!docNumber) return null;
-  return (P().sources?.licensed ?? []).find((l) => String(l.doc_number ?? "") === docNumber) ?? null;
-}
-function licenseBoundaryNote(docNumber, standardKeys) {
-  const entry = licensedEntryForDocNumber(docNumber);
-  if (!entry || standardKeys && standardKeys.has(entry.key)) return void 0;
-  const pointer = P().prompts?.vars?.license_declare_pointer;
-  return `License boundary \u2014 the question is about ${licenseBoundaryName(entry)}, a licensed publication (entitlement key ${entry.key}). The caller's organization license does not cover its text, so no passage of it was retrieved and NONE of its procedural content (steps, parameters, severities, limits) may be stated, paraphrased or recalled from memory. You MAY answer at the citation level: name the standard and edition, and cite the invoking clause from the PUBLIC passages in context (the Recommendation's own applicability and normative references are public and stay answerable). Then say the organization's license does not cover the standard's text` + (pointer ? ` and point to the declare flow: ${pointer}.` : ".");
-}
-function licenseBoundaryName(entry) {
-  const id = entry.doc_number ? ` ${entry.doc_number}` : ` ${entry.package}`;
-  return `${entry.title ?? "standard"}${entry.edition ? ` (${entry.edition})` : ""} \u2014${id}`;
-}
-function licenseBoundaryRefusal(docNumber, standardKeys) {
-  const entry = licensedEntryForDocNumber(docNumber);
-  if (!entry || standardKeys && standardKeys.has(entry.key)) return void 0;
-  const pointer = P().prompts?.vars?.license_declare_pointer;
-  return `${licenseBoundaryName(entry)} is a licensed publication and your organization's license does not cover its text, so I can't quote or summarize its procedure. I can answer at the citation level \u2014 the standard's title and edition, and the clause your Recommendation invokes \u2014 and the public ${P().publisher.name} content in full.` + (pointer ? ` To unlock the full text, an org admin can declare the license under ${pointer}.` : "");
-}
-async function fetchNode(env, standard, nodeId) {
-  try {
-    const row = await env.DB.prepare(
-      "SELECT standard, node_id, kind, name, clause_doc, clause_ref, content FROM model_nodes WHERE standard = ?1 AND node_id = ?2"
-    ).bind(standard, nodeId).first();
-    if (!row) return null;
-    const content = JSON.parse(String(row.content));
-    const clause = row.clause_doc && row.clause_ref ? { doc: String(row.clause_doc), ref: String(row.clause_ref), urn: `${row.clause_doc}#clause-${row.clause_ref}` } : row.clause_doc ? { doc: String(row.clause_doc), ref: "", urn: String(row.clause_doc) } : null;
-    return {
-      standard: String(row.standard),
-      node_id: String(row.node_id),
-      kind: String(row.kind),
-      name: String(row.name ?? row.node_id),
-      clause,
-      content
-    };
-  } catch {
-    return null;
-  }
-}
-async function bindModelNode(env, opts) {
-  const nodeId = modelNodeRefIn(opts.label) ?? modelNodeRefIn(opts.query);
-  if (!nodeId) return null;
-  const gate = (node) => {
-    if (!node) return null;
-    const entry = licensedEntryForPackage(node.standard);
-    return entry && !(opts.standardKeys?.has(entry.key) ?? false) ? { ...node, gated: true, content: {} } : node;
-  };
-  if (opts.standard) return gate(await fetchNode(env, opts.standard, nodeId));
-  try {
-    const rows = await env.DB.prepare(
-      "SELECT n.standard AS standard FROM model_nodes n LEFT JOIN model_plane_meta m ON m.standard = n.standard WHERE n.node_id = ?1 ORDER BY m.indexed_at DESC, n.standard DESC LIMIT 1"
-    ).bind(nodeId).all();
-    const standard = (rows?.results ?? []).map((r) => String(r.standard))[0];
-    if (standard) return gate(await fetchNode(env, standard, nodeId));
-    return null;
-  } catch {
-    return null;
-  }
-}
-function clip(s, n = 500) {
-  const t = String(s ?? "").trim();
-  return t.length <= n ? t : t.slice(0, n - 1).trimEnd() + " \u2026";
-}
-function applicabilityText(app) {
-  if (!app || typeof app !== "object") return "";
-  const parts = [];
-  for (const [dim, cond] of Object.entries(app)) {
-    if (Array.isArray(cond)) parts.push(`${dim.replace(/_/g, " ")}: ${cond.join(", ")}`);
-    else if (cond && typeof cond === "object" && Array.isArray(cond.values)) {
-      parts.push(`${dim.replace(/_/g, " ")} (${cond.match ?? "any"}): ${cond.values.join(", ")}`);
-    }
-  }
-  return parts.join("; ");
-}
-function modelGroundingBlock(node) {
-  const c = node.content ?? {};
-  const lines = [];
-  lines.push(
-    P().prompts.vars.model_grounding_intro ?? "Model grounding \u2014 the model plane's own statement:"
-  );
-  lines.push(`Node: ${node.node_id} (${node.kind.replace(/_/g, " ")}) \u2014 ${node.name} [${node.standard}]`);
-  if (node.clause) lines.push(`Provenance: ${node.clause.urn}`);
-  if (c.statement) lines.push(`Statement: ${clip(c.statement)}`);
-  if (c.definition) lines.push(`Definition: ${clip(c.definition)}`);
-  if (c.purpose) lines.push(`Purpose: ${clip(c.purpose)}`);
-  const limit = c.limit ?? {};
-  if (limit.expression) lines.push(`Machine limit (the constraint the platform's verdict engine evaluates \u2014 quote it verbatim): ${limit.expression}`);
-  if (limit.accepts?.verdict) lines.push(`Machine limit: ${limit.accepts.verdict} ${limit.accepts.op} ${limit.accepts.limit} (the canonical acceptance chain)`);
-  if (c.check) lines.push(`Machine check: ${c.check}`);
-  if (c.derive) lines.push(`Derivation: ${c.derive}${Array.isArray(c.inputs) ? ` (inputs: ${c.inputs.join(", ")})` : ""}`);
-  const app = applicabilityText(c.applicability);
-  const scopeApp = applicabilityText(c.scope_applicability);
-  if (app || scopeApp) lines.push(`Applicability: ${[scopeApp, app].filter(Boolean).join("; ")}`);
-  if (Array.isArray(c.binds_to) && c.binds_to.length) lines.push(`Binds to: ${c.binds_to.join(", ")}`);
-  if (Array.isArray(c.targets) && c.targets.length) lines.push(`Verifies requirements: ${c.targets.join(", ")}`);
-  if (Array.isArray(c.preconditions) && c.preconditions.length) {
-    const pcs = c.preconditions.map((p) => `${p.id}: ${clip(p.check ?? (p.state ? `state = ${p.state}` : ""), 120)}`).join("; ");
-    lines.push(`Run-validity preconditions (a violation voids the run \u2014 invalid, never a fail): ${pcs}`);
-  }
-  if (c.acceptance_criteria?.description) lines.push(`Acceptance: ${clip(c.acceptance_criteria.description, 300)}`);
-  if (c.violation_meaning) lines.push(`Violation meaning (verbatim): ${clip(c.violation_meaning, 300)} \u2014 on violation: ${c.on_violation ?? "invalid"}`);
-  if (Array.isArray(c.values) && c.values.length) {
-    lines.push(`Values: ${c.values.map((v) => `${v.id}${v.implies?.length ? ` (implies ${v.implies.join(", ")})` : ""}`).join("; ")}`);
-  }
-  if (c.source_discrepancy) {
-    const sd = c.source_discrepancy;
-    lines.push(
-      `DECLARED SOURCE DISCREPANCY \u2014 the model and the text disagree; you MUST surface this and cite both: ${clip(sd.summary, 300)} Sources: ${(sd.sources ?? []).join(" and ")}. The model ${sd.resolution === "follows_clause_x" ? "follows one side" : "records the conflict without resolving it"}: ${clip(sd.rationale, 300)}`
-    );
-  }
-  lines.push(
-    "Rules for this answer: the machine facts (the constraint, the applicability, the acceptance, the provenance) come from THIS node \u2014 quote the machine limit verbatim, never invent one the node does not carry. If this model content and a prose passage disagree \u2014 including a passage from a different edition \u2014 say so explicitly and cite both (this node and the prose clause)."
-  );
-  return lines.join("\n");
-}
-function modelCitation(node) {
-  return {
-    doc_id: `model:${node.standard}`,
-    docidentifier: `${P().publisher.name} SMART model (${(() => {
-      const prefix = P().sources?.models?.standard_prefix ?? "";
-      const letter = prefix.replace(/^.*-/, "").toUpperCase();
-      return String(node.standard).replace(new RegExp(`^${prefix}`, "i"), `${letter} `);
-    })()})`,
-    edition: "",
-    language: "en",
-    clause_anchor: node.clause?.ref || "model",
-    clause_title: `${node.kind.replace(/_/g, " ")} \u2014 ${node.name} (${node.node_id})`,
-    status: "in-force",
-    corpus: "smart-model",
-    quality: "verified",
-    url: void 0,
-    snippet: `${node.node_id}${node.clause ? ` \xB7 ${node.clause.urn}` : ""}${node.content?.statement ? ` \u2014 ${clip(node.content.statement, 240)}` : ""}`,
-    score: 1
-  };
-}
-function modelEcho(node) {
-  return {
-    node_id: node.node_id.slice(0, 120),
-    kind: node.kind.slice(0, 40),
-    standard: node.standard.slice(0, 40),
-    ...node.clause?.urn ? { clause: node.clause.urn.slice(0, 120) } : {}
-  };
-}
-
 // workers/worker_public/src/verdict.ts
 function tokenize(src) {
   const toks = [];
@@ -501,6 +337,205 @@ function verdictNote(v, node) {
   return lines.join("\n");
 }
 
+// workers/worker_public/src/modelplane.ts
+var NODE_RE = /(?:^|[\s("'`])\/(req|conf|term|constraint|characteristic|state-machine|dimension)\/([a-z0-9][a-z0-9_-]*(?:\/[a-z0-9][a-z0-9_-]*)?)(?=[\s)"'`,;:.]|$)/i;
+function modelNodeRefIn(text) {
+  if (!text) return null;
+  const m = text.match(NODE_RE);
+  if (!m) return null;
+  const id = `/${m[1].toLowerCase()}/${m[2]}`;
+  return id.length <= 120 ? id : null;
+}
+function standardForDocNumber(docNumber) {
+  if (!docNumber) return null;
+  const models = P().sources?.models;
+  if (!models?.standards?.length || !models?.standard_prefix) return null;
+  return models.standards.includes(docNumber) ? `${models.standard_prefix}${docNumber}` : null;
+}
+function licensedEntryForPackage(packageId) {
+  if (!packageId) return null;
+  return (P().sources?.licensed ?? []).find((l) => l.package === packageId) ?? null;
+}
+function licensedEntryForDocNumber(docNumber) {
+  if (!docNumber) return null;
+  return (P().sources?.licensed ?? []).find((l) => String(l.doc_number ?? "") === docNumber) ?? null;
+}
+function licenseBoundaryNote(docNumber, standardKeys) {
+  const entry = licensedEntryForDocNumber(docNumber);
+  if (!entry || standardKeys && standardKeys.has(entry.key)) return void 0;
+  const pointer = P().prompts?.vars?.license_declare_pointer;
+  return `License boundary \u2014 the question is about ${licenseBoundaryName(entry)}, a licensed publication (entitlement key ${entry.key}). The caller's organization license does not cover its text, so no passage of it was retrieved and NONE of its procedural content (steps, parameters, severities, limits) may be stated, paraphrased or recalled from memory. You MAY answer at the citation level: name the standard and edition, and cite the invoking clause from the PUBLIC passages in context (the Recommendation's own applicability and normative references are public and stay answerable). Then say the organization's license does not cover the standard's text` + (pointer ? ` and point to the declare flow: ${pointer}.` : ".");
+}
+function licenseBoundaryName(entry) {
+  const id = entry.doc_number ? ` ${entry.doc_number}` : ` ${entry.package}`;
+  return `${entry.title ?? "standard"}${entry.edition ? ` (${entry.edition})` : ""} \u2014${id}`;
+}
+function licenseBoundaryRefusal(docNumber, standardKeys) {
+  const entry = licensedEntryForDocNumber(docNumber);
+  if (!entry || standardKeys && standardKeys.has(entry.key)) return void 0;
+  const pointer = P().prompts?.vars?.license_declare_pointer;
+  return `${licenseBoundaryName(entry)} is a licensed publication and your organization's license does not cover its text, so I can't quote or summarize its procedure. I can answer at the citation level \u2014 the standard's title and edition, and the clause your Recommendation invokes \u2014 and the public ${P().publisher.name} content in full.` + (pointer ? ` To unlock the full text, an org admin can declare the license under ${pointer}.` : "");
+}
+async function fetchNode(env, standard, nodeId) {
+  try {
+    const row = await env.DB.prepare(
+      "SELECT standard, node_id, kind, name, clause_doc, clause_ref, content FROM model_nodes WHERE standard = ?1 AND node_id = ?2"
+    ).bind(standard, nodeId).first();
+    if (!row) return null;
+    const content = JSON.parse(String(row.content));
+    const clause = row.clause_doc && row.clause_ref ? { doc: String(row.clause_doc), ref: String(row.clause_ref), urn: `${row.clause_doc}#clause-${row.clause_ref}` } : row.clause_doc ? { doc: String(row.clause_doc), ref: "", urn: String(row.clause_doc) } : null;
+    return {
+      standard: String(row.standard),
+      node_id: String(row.node_id),
+      kind: String(row.kind),
+      name: String(row.name ?? row.node_id),
+      clause,
+      content
+    };
+  } catch {
+    return null;
+  }
+}
+async function bindModelNode(env, opts) {
+  const nodeId = modelNodeRefIn(opts.label) ?? modelNodeRefIn(opts.query);
+  if (!nodeId) return null;
+  const gate = (node) => {
+    if (!node) return null;
+    const entry = licensedEntryForPackage(node.standard);
+    return entry && !(opts.standardKeys?.has(entry.key) ?? false) ? { ...node, gated: true, content: {} } : node;
+  };
+  if (opts.standard) return gate(await fetchNode(env, opts.standard, nodeId));
+  try {
+    const rows = await env.DB.prepare(
+      "SELECT n.standard AS standard FROM model_nodes n LEFT JOIN model_plane_meta m ON m.standard = n.standard WHERE n.node_id = ?1 ORDER BY m.indexed_at DESC, n.standard DESC LIMIT 1"
+    ).bind(nodeId).all();
+    const standard = (rows?.results ?? []).map((r) => String(r.standard))[0];
+    if (standard) return gate(await fetchNode(env, standard, nodeId));
+    return null;
+  } catch {
+    return null;
+  }
+}
+async function bindConstraintByQuantities(env, query, standardKeys) {
+  const verdictish = /\b(acceptable|valid|violate|violation|within|comply|proposal|severity|conform)\b/i.test(query);
+  if (!verdictish) return null;
+  try {
+    const rows = await env.DB.prepare(
+      "SELECT standard, node_id, kind, name, clause_doc, clause_ref, content FROM model_nodes WHERE kind = 'constraint' LIMIT 120"
+    ).all();
+    const q = query.toLowerCase();
+    let best = null;
+    for (const r of rows.results ?? []) {
+      const checks = extractChecks(JSON.parse(String(r.content ?? "{}")));
+      if (!checks.length) continue;
+      const leaves = new Set(
+        symbolsIn(checks).map((sym) => sym.split(".").pop() ?? sym).filter((leaf) => leaf.length >= 2)
+      );
+      let matched = 0;
+      for (const leaf of leaves) {
+        const re = new RegExp(`(?<![a-z_])${leaf.replace(/[^a-z0-9_]/g, "")}(?![a-z_])`, "i");
+        if (re.test(q)) matched++;
+      }
+      if (matched >= 2 && (!best || matched > best.score)) {
+        best = { score: matched, standard: String(r.standard), node_id: String(r.node_id) };
+      }
+    }
+    if (!best) return null;
+    const gate = (node) => {
+      if (!node) return null;
+      const entry = licensedEntryForPackage(node.standard);
+      return entry && !(standardKeys?.has(entry.key) ?? false) ? { ...node, gated: true, content: {} } : node;
+    };
+    return gate(await fetchNode(env, best.standard, best.node_id));
+  } catch {
+    return null;
+  }
+}
+function clip(s, n = 500) {
+  const t = String(s ?? "").trim();
+  return t.length <= n ? t : t.slice(0, n - 1).trimEnd() + " \u2026";
+}
+function applicabilityText(app) {
+  if (!app || typeof app !== "object") return "";
+  const parts = [];
+  for (const [dim, cond] of Object.entries(app)) {
+    if (Array.isArray(cond)) parts.push(`${dim.replace(/_/g, " ")}: ${cond.join(", ")}`);
+    else if (cond && typeof cond === "object" && Array.isArray(cond.values)) {
+      parts.push(`${dim.replace(/_/g, " ")} (${cond.match ?? "any"}): ${cond.values.join(", ")}`);
+    }
+  }
+  return parts.join("; ");
+}
+function modelGroundingBlock(node) {
+  const c = node.content ?? {};
+  const lines = [];
+  lines.push(
+    P().prompts.vars.model_grounding_intro ?? "Model grounding \u2014 the model plane's own statement:"
+  );
+  lines.push(`Node: ${node.node_id} (${node.kind.replace(/_/g, " ")}) \u2014 ${node.name} [${node.standard}]`);
+  if (node.clause) lines.push(`Provenance: ${node.clause.urn}`);
+  if (c.statement) lines.push(`Statement: ${clip(c.statement)}`);
+  if (c.definition) lines.push(`Definition: ${clip(c.definition)}`);
+  if (c.purpose) lines.push(`Purpose: ${clip(c.purpose)}`);
+  const limit = c.limit ?? {};
+  if (limit.expression) lines.push(`Machine limit (the constraint the platform's verdict engine evaluates \u2014 quote it verbatim): ${limit.expression}`);
+  if (limit.accepts?.verdict) lines.push(`Machine limit: ${limit.accepts.verdict} ${limit.accepts.op} ${limit.accepts.limit} (the canonical acceptance chain)`);
+  if (c.check) lines.push(`Machine check: ${c.check}`);
+  if (c.derive) lines.push(`Derivation: ${c.derive}${Array.isArray(c.inputs) ? ` (inputs: ${c.inputs.join(", ")})` : ""}`);
+  const app = applicabilityText(c.applicability);
+  const scopeApp = applicabilityText(c.scope_applicability);
+  if (app || scopeApp) lines.push(`Applicability: ${[scopeApp, app].filter(Boolean).join("; ")}`);
+  if (Array.isArray(c.binds_to) && c.binds_to.length) lines.push(`Binds to: ${c.binds_to.join(", ")}`);
+  if (Array.isArray(c.targets) && c.targets.length) lines.push(`Verifies requirements: ${c.targets.join(", ")}`);
+  if (Array.isArray(c.preconditions) && c.preconditions.length) {
+    const pcs = c.preconditions.map((p) => `${p.id}: ${clip(p.check ?? (p.state ? `state = ${p.state}` : ""), 120)}`).join("; ");
+    lines.push(`Run-validity preconditions (a violation voids the run \u2014 invalid, never a fail): ${pcs}`);
+  }
+  if (c.acceptance_criteria?.description) lines.push(`Acceptance: ${clip(c.acceptance_criteria.description, 300)}`);
+  if (c.violation_meaning) lines.push(`Violation meaning (verbatim): ${clip(c.violation_meaning, 300)} \u2014 on violation: ${c.on_violation ?? "invalid"}`);
+  if (Array.isArray(c.values) && c.values.length) {
+    lines.push(`Values: ${c.values.map((v) => `${v.id}${v.implies?.length ? ` (implies ${v.implies.join(", ")})` : ""}`).join("; ")}`);
+  }
+  if (c.source_discrepancy) {
+    const sd = c.source_discrepancy;
+    lines.push(
+      `DECLARED SOURCE DISCREPANCY \u2014 the model and the text disagree; you MUST surface this and cite both: ${clip(sd.summary, 300)} Sources: ${(sd.sources ?? []).join(" and ")}. The model ${sd.resolution === "follows_clause_x" ? "follows one side" : "records the conflict without resolving it"}: ${clip(sd.rationale, 300)}`
+    );
+  }
+  lines.push(
+    "Rules for this answer: the machine facts (the constraint, the applicability, the acceptance, the provenance) come from THIS node \u2014 quote the machine limit verbatim, never invent one the node does not carry. If this model content and a prose passage disagree \u2014 including a passage from a different edition \u2014 say so explicitly and cite both (this node and the prose clause)."
+  );
+  return lines.join("\n");
+}
+function modelCitation(node) {
+  return {
+    doc_id: `model:${node.standard}`,
+    docidentifier: `${P().publisher.name} SMART model (${(() => {
+      const prefix = P().sources?.models?.standard_prefix ?? "";
+      const letter = prefix.replace(/^.*-/, "").toUpperCase();
+      return String(node.standard).replace(new RegExp(`^${prefix}`, "i"), `${letter} `);
+    })()})`,
+    edition: "",
+    language: "en",
+    clause_anchor: node.clause?.ref || "model",
+    clause_title: `${node.kind.replace(/_/g, " ")} \u2014 ${node.name} (${node.node_id})`,
+    status: "in-force",
+    corpus: "smart-model",
+    quality: "verified",
+    url: void 0,
+    snippet: `${node.node_id}${node.clause ? ` \xB7 ${node.clause.urn}` : ""}${node.content?.statement ? ` \u2014 ${clip(node.content.statement, 240)}` : ""}`,
+    score: 1
+  };
+}
+function modelEcho(node) {
+  return {
+    node_id: node.node_id.slice(0, 120),
+    kind: node.kind.slice(0, 40),
+    standard: node.standard.slice(0, 40),
+    ...node.clause?.urn ? { clause: node.clause.urn.slice(0, 120) } : {}
+  };
+}
+
 // workers/worker_public/src/conditions.ts
 var NUM = String.raw`-?\d+(?:[.,]\d+)?`;
 function quantitiesIn(query) {
@@ -1143,19 +1178,20 @@ ${r.output}`;
 }
 
 export {
+  evaluate,
+  verdictNote,
   standardForDocNumber,
   licensedEntryForPackage,
   licenseBoundaryNote,
   licenseBoundaryRefusal,
   bindModelNode,
+  bindConstraintByQuantities,
   modelGroundingBlock,
   modelCitation,
   modelEcho,
   resolveBlocks,
   contractV2,
   tableRetyped,
-  evaluate,
-  verdictNote,
   quantitiesIn,
   evaluateConditionSets,
   parseToolCall,

package/dist/{chunk-FQVP3JUA.js → chunk-NCZHN6QW.js}

@@ -1,5 +1,6 @@
 import {
   TOOL_DECLARATION,
+  bindConstraintByQuantities,
   bindModelNode,
   contractV2,
   evaluate,
@@ -18,7 +19,7 @@ import {
   tableRetyped,
   toolNote,
   verdictNote
-} from "./chunk-QNLFNEI4.js";
+} from "./chunk-ANUHRJ4Z.js";
 import {
   NO_CONTEXT,
   answerQuality,
@@ -2059,7 +2060,7 @@ ${summary}` }] : [],
     query: q.query,
     standard: standardForDocNumber(modelDocHint?.doc_number),
     standardKeys
-  }) : null;
+  }) ?? await bindConstraintByQuantities(env, q.query, standardKeys) : null;
   if (boundModel) {
     ctxApplied = { ...ctxApplied, model: modelEcho(boundModel) };
     console.log("model plane: bound", boundModel.node_id, `[${boundModel.standard}]`, boundModel.clause?.urn ?? "no-clause", boundModel.gated ? "(gated: license)" : "");

package/dist/modelplane.d.ts

@@ -71,6 +71,17 @@ export declare function bindModelNode(env: any, opts: {
     standard?: string | null;
     standardKeys?: ReadonlySet<string> | null;
 }): Promise<BoundModelNode | null>;
+/** A constraint-shaped question binds its constraint: when the question
+ *  states two or more of a constraint node's own check symbols (the
+ *  leaf names — d_max, e_max) alongside verdict vocabulary ("is that
+ *  proposal acceptable"), the node binds by WHAT THE QUESTION STATES,
+ *  not by whether the question spells a node id. The id grammar stays
+ *  the primary bind; this is the fallback for the user-shaped question
+ *  ("E_max 30000 v, testing to D_max 26000 v — acceptable?"), and it
+ *  is deliberately narrow: constraint kind only (requirements are too
+ *  numerous and too loosely tied to vocabulary), most-matched-symbols
+ *  wins, license-gated like every model lane. */
+export declare function bindConstraintByQuantities(env: any, query: string, standardKeys?: ReadonlySet<string> | null): Promise<BoundModelNode | null>;
 /** The structured grounding block for the prompt — every line is the
  *  node's own declared content (the bundle projection), never a model
  *  paraphrase. The discrepancy block, when the model declares one, is the

package/dist/{tools-ZNQY6ZMC.js → tools-EXDADNWX.js}

@@ -4,7 +4,7 @@ import {
   parseToolCall,
   runTool,
   toolNote
-} from "./chunk-QNLFNEI4.js";
+} from "./chunk-ANUHRJ4Z.js";
 import "./chunk-KNCRYAX3.js";
 import "./chunk-U4ERFUOK.js";
 import "./chunk-BOAITSVV.js";

package/dist/worker_public/src/index.js

@@ -4,12 +4,12 @@ import {
   handleMemories,
   scoreFaithfulness,
   scoreJudge
-} from "../../chunk-FQVP3JUA.js";
+} from "../../chunk-NCZHN6QW.js";
 import {
   TOOLS_REGISTRY,
   bindModelNode,
   modelGroundingBlock
-} from "../../chunk-QNLFNEI4.js";
+} from "../../chunk-ANUHRJ4Z.js";
 import {
   handleSearch
 } from "../../chunk-TFGJ6NYS.js";
@@ -990,13 +990,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-ZNQY6ZMC.js");
+    const { runTool, TOOLS_REGISTRY: TOOLS_REGISTRY2 } = await import("../../tools-EXDADNWX.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-E6YJUOIP.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-5SNP5CHL.js")).handleSearch(env, ctx, inner, tier, key);
+      const res = name === "ask" ? await (await import("../../ask-M3VRAIJB.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-5SNP5CHL.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.102",
+  "version": "0.2.103",
   "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

@@ -22,7 +22,7 @@ import { contractV2, tableRetyped } from "./refs";
 import { completeTables, completeFigures } from "./completion";
 import { NO_CONTEXT, appliedContext, contextNote, namedDocumentIn, parseContext, resolveDocScope, syntheticUnderstanding } from "./context";
 import { liveDataConfig, liveTokenFor, opCfg, opTokenMember, resolveLiveAccount, type LiveRecord } from "./livedata";
-import { bindModelNode, licenseBoundaryNote, licenseBoundaryRefusal, licensedEntryForPackage, modelCitation, modelEcho, modelGroundingBlock, standardForDocNumber } from "./modelplane";
+import { bindModelNode, bindConstraintByQuantities, licenseBoundaryNote, licenseBoundaryRefusal, licensedEntryForPackage, modelCitation, modelEcho, modelGroundingBlock, standardForDocNumber } from "./modelplane";
 import { evaluate as machineEvaluate, verdictNote } from "./verdict";
 import { evaluateConditionSets, quantitiesIn, type ConditionVerdict } from "./conditions";
 import { evaluateAggregation, type AggregationVerdict } from "./aggregation";
@@ -857,12 +857,12 @@ let convEntities: Array<{ entity: string; kind: string }> = [];
   // unambiguous across the indexed standards.
   const modelDocHint = named ?? docScope ?? namedDocumentIn(q.query);
   const boundModel = P().publisher.features?.model_plane
-    ? await bindModelNode(env, {
+    ? (await bindModelNode(env, {
         label: declaredCtx?.label,
         query: q.query,
         standard: standardForDocNumber(modelDocHint?.doc_number),
         standardKeys,
-      })
+      })) ?? (await bindConstraintByQuantities(env, q.query, standardKeys))
     : null;
   if (boundModel) {
     ctxApplied = { ...ctxApplied, model: modelEcho(boundModel) };

package/workers/worker_public/src/modelplane.ts

@@ -30,6 +30,7 @@
  *  /conf/<class>/<id>, /term/<id>, /constraint/<id>, /characteristic/<id>,
  *  /state-machine/<id>, /dimension/<id>). */
 import { P } from "./profile.ts";
+import { extractChecks, symbolsIn } from "./verdict.ts";
 const NODE_RE = /(?:^|[\s("'`])\/(req|conf|term|constraint|characteristic|state-machine|dimension)\/([a-z0-9][a-z0-9_-]*(?:\/[a-z0-9][a-z0-9_-]*)?)(?=[\s)"'`,;:.]|$)/i;
 
 /** The first model-node id a text names (the declared chip label first,
@@ -217,6 +218,60 @@ export async function bindModelNode(
   }
 }
 
+// ── bind by stated quantities (the constraint resolution) ────────────
+
+/** A constraint-shaped question binds its constraint: when the question
+ *  states two or more of a constraint node's own check symbols (the
+ *  leaf names — d_max, e_max) alongside verdict vocabulary ("is that
+ *  proposal acceptable"), the node binds by WHAT THE QUESTION STATES,
+ *  not by whether the question spells a node id. The id grammar stays
+ *  the primary bind; this is the fallback for the user-shaped question
+ *  ("E_max 30000 v, testing to D_max 26000 v — acceptable?"), and it
+ *  is deliberately narrow: constraint kind only (requirements are too
+ *  numerous and too loosely tied to vocabulary), most-matched-symbols
+ *  wins, license-gated like every model lane. */
+export async function bindConstraintByQuantities(
+  env: any,
+  query: string,
+  standardKeys?: ReadonlySet<string> | null,
+): Promise<BoundModelNode | null> {
+  const verdictish = /\b(acceptable|valid|violate|violation|within|comply|proposal|severity|conform)\b/i.test(query);
+  if (!verdictish) return null;
+  try {
+    const rows = await env.DB.prepare(
+      "SELECT standard, node_id, kind, name, clause_doc, clause_ref, content FROM model_nodes WHERE kind = 'constraint' LIMIT 120",
+    ).all();
+    const q = query.toLowerCase();
+    let best: { score: number; standard: string; node_id: string } | null = null;
+    for (const r of (rows.results ?? []) as any[]) {
+      const checks = extractChecks(JSON.parse(String(r.content ?? "{}")));
+      if (!checks.length) continue;
+      const leaves = new Set(
+        symbolsIn(checks)
+          .map((sym) => sym.split(".").pop() ?? sym)
+          .filter((leaf) => leaf.length >= 2),
+      );
+      let matched = 0;
+      for (const leaf of leaves) {
+        const re = new RegExp(`(?<![a-z_])${leaf.replace(/[^a-z0-9_]/g, "")}(?![a-z_])`, "i");
+        if (re.test(q)) matched++;
+      }
+      if (matched >= 2 && (!best || matched > best.score)) {
+        best = { score: matched, standard: String(r.standard), node_id: String(r.node_id) };
+      }
+    }
+    if (!best) return null;
+    const gate = (node: BoundModelNode | null): BoundModelNode | null => {
+      if (!node) return null;
+      const entry = licensedEntryForPackage(node.standard);
+      return entry && !(standardKeys?.has(entry.key) ?? false) ? { ...node, gated: true, content: {} } : node;
+    };
+    return gate(await fetchNode(env, best.standard, best.node_id));
+  } catch {
+    return null;
+  }
+}
+
 // ── the grounding block (the node's own content, composed) ───────────
 
 function clip(s: unknown, n = 500): string {