@konneal/engine 0.2.101 → 0.2.103

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

@@ -1,8 +1,8 @@
 import {
   handleAsk
-} from "./chunk-DMTRTW2Q.js";
-import "./chunk-QNLFNEI4.js";
-import "./chunk-Z3R34T7Q.js";
+} from "./chunk-NCZHN6QW.js";
+import "./chunk-ANUHRJ4Z.js";
+import "./chunk-25ECO5M7.js";
 import "./chunk-KNCRYAX3.js";
 import "./chunk-DTW4UW2E.js";
 import "./chunk-A3QHHUN5.js";

package/dist/{chunk-Z3R34T7Q.js → chunk-25ECO5M7.js}

@@ -22318,27 +22318,27 @@ async function runStages(stages, c) {
 var dense = {
   name: "dense",
   run: async (c) => {
-    const { env, filter, filters, vector, opts, rq, folded } = c;
+    const { env, filters, vector, opts, rq, folded } = c;
     const q = { topK: LIMITS.retrieveK, returnMetadata: "all" };
-    if (filter) q.filter = filter;
     const optimistic = opts.optimisticHits ?? [];
     const sameLane = rq === folded;
-    if (!filter && sameLane && optimistic.length) {
+    if (!filters?.doc_number && sameLane && optimistic.length) {
       c.matches = optimistic.map((h) => ({ id: h.id, score: h.score, metadata: h.metadata }));
       console.log("optimistic lane: reused", c.matches.length, "dense hits (no re-query)");
       return;
     }
-    if (filter) {
-      let matches = (await env.VECTORIZE.query(vector, q)).matches ?? [];
+    if (filters?.doc_number) {
+      const allMatches = (await env.VECTORIZE.query(vector, q)).matches ?? [];
+      let matches = allMatches;
+      const before = matches.length;
+      matches = matches.filter((m) => String(m.metadata?.doc_number ?? "") === filters.doc_number);
+      if (filters.edition) matches = matches.filter((m) => !m.metadata?.edition || String(m.metadata.edition) === filters.edition);
+      console.log("dense scope (in code):", before, "\u2192", matches.length, "in doc", filters.doc_number, filters.edition ? `@${filters.edition}` : "");
       if (filters && filters.edition && matches.length < 3) {
-        const docOnly = await env.VECTORIZE.query(vector, {
-          topK: LIMITS.retrieveK,
-          returnMetadata: "all",
-          filter: toVectorizeFilter({ doc_number: filters.doc_number })
-        });
-        if ((docOnly.matches ?? []).length > matches.length) {
-          console.log("edition pin dropped:", filters.doc_number, "@", filters.edition, "\u2192", docOnly.matches?.length ?? 0, "doc-scoped hits (edition not in corpus)");
-          matches = docOnly.matches ?? [];
+        const docOnly = allMatches.filter((m) => String(m.metadata?.doc_number ?? "") === filters.doc_number);
+        if (docOnly.length > matches.length) {
+          console.log("edition pin dropped:", filters.doc_number, "@", filters.edition, "\u2192", docOnly.length, "doc-scoped hits (edition not in corpus)");
+          matches = docOnly;
           filters.edition = void 0;
         }
       }
@@ -22580,17 +22580,40 @@ var licensedLane = {
     const matches = await portIndex(c.env, "public").getByIds(ids);
     const seenIds = new Set(c.matches.map((m) => m.id));
     let merged = 0;
+    const mergedIds = [];
     for (const m of matches) {
       if (m.metadata && !seenIds.has(m.id)) {
         c.matches.push({ id: m.id, score: THRESHOLDS.licensedLaneScore, metadata: m.metadata });
         seenIds.add(m.id);
         merged++;
+        mergedIds.push(m.id);
       }
     }
+    c.lane["licensed-ids"] = Promise.resolve(mergedIds);
     console.log("licensed lane:", ids.length, "units,", matches.length, "vectors,", merged, "merged");
   }
 };
 
+// workers/worker_public/src/stages/licensedCover.ts
+var licensedCover = {
+  name: "licensed-cover",
+  failure: "additive",
+  when: (c) => !!c.opts.licensedDocNumbers?.length && c.finalHits.length > 0,
+  run: async (c) => {
+    const keys = new Set(c.opts.licensedDocNumbers);
+    const present = c.finalHits.some((h) => keys.has(String(h.metadata.standard ?? "")));
+    if (present) return;
+    const ids = (await c.lane["licensed-ids"] ?? []).slice(0, 8);
+    if (!ids.length) return;
+    const matches = await portIndex(c.env, "public").getByIds(ids);
+    const unit = matches.find((m) => m.metadata && keys.has(String(m.metadata.standard ?? "")));
+    if (!unit) return;
+    const hit = toHits([unit])[0];
+    c.finalHits = [...c.finalHits, hit];
+    console.log("licensed cover: seated", unit.id, "\u2014", unit.metadata.docidentifier);
+  }
+};
+
 // workers/worker_public/src/stages/multiQuery.ts
 var RRF_K = 60;
 var multiQuery = {
@@ -22798,12 +22821,10 @@ var editionCover = {
     let added = 0;
     for (const w of want.slice(0, maxDocs)) {
       try {
-        const q = await c.env.VECTORIZE.query(c.vector, {
-          topK: 3,
-          returnMetadata: "all",
-          filter: { $and: [{ docidentifier: { $eq: w.di } }, { edition: { $eq: w.edition } }] }
-        });
-        const hits = toHits(q.matches ?? []).map((h) => ({ ...h, score: top * THRESHOLDS.editionCoverDiscount }));
+        const rows2 = await c.env.DB.prepare(
+          "SELECT id, doc_id, docidentifier, doctype, doc_number, edition, language, clause_anchor, clause_title, status, superseded_by, corpus, tier, text FROM chunks WHERE docidentifier = ?1 AND edition = ?2 LIMIT 3"
+        ).bind(w.di, w.edition).all();
+        const hits = rowsToHits(rows2.results ?? []).map((h) => ({ ...h, score: top * THRESHOLDS.editionCoverDiscount }));
         c.hits.push(...hits);
         added += hits.length;
         console.log("edition cover:", w.di, w.edition, `+${hits.length}`);
@@ -23223,6 +23244,7 @@ var STAGES = [
   editionSteer,
   propagate,
   diversity,
+  licensedCover,
   typedPin,
   sectionDescent,
   dedup,

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-DMTRTW2Q.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,
@@ -56,7 +57,7 @@ import {
   tokenBudget,
   understandQuery,
   usageTotal
-} from "./chunk-Z3R34T7Q.js";
+} from "./chunk-25ECO5M7.js";
 import {
   embed,
   generateOnce,
@@ -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/{chunk-PIENBLFH.js → chunk-TFGJ6NYS.js}

@@ -6,7 +6,7 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "./chunk-Z3R34T7Q.js";
+} from "./chunk-25ECO5M7.js";
 import {
   portModelRunner
 } from "./chunk-KNCRYAX3.js";

package/dist/lexical.d.ts

@@ -2,6 +2,7 @@ import type { Hit } from "./pipeline";
 /** Build a safe FTS5 MATCH query from user text: alphanumeric tokens,
  *  joined with OR so jargon hits don't require full-phrase match. */
 export declare function ftsMatchQuery(query: string): string | null;
+export declare function rowsToHits(rows: any[]): Hit[];
 /** Lexical ranking WITHIN a document set (the graph lanes' identity
  *  resolution): BM25 over the corpus's own FTS, restricted to the
  *  documents' doc_number values. This is the working substitute for

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/{search-FC7IULRV.js → search-5SNP5CHL.js}

@@ -1,7 +1,7 @@
 import {
   handleSearch
-} from "./chunk-PIENBLFH.js";
-import "./chunk-Z3R34T7Q.js";
+} from "./chunk-TFGJ6NYS.js";
+import "./chunk-25ECO5M7.js";
 import "./chunk-KNCRYAX3.js";
 import "./chunk-DTW4UW2E.js";
 import "./chunk-A3QHHUN5.js";

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,15 +4,15 @@ import {
   handleMemories,
   scoreFaithfulness,
   scoreJudge
-} from "../../chunk-DMTRTW2Q.js";
+} from "../../chunk-NCZHN6QW.js";
 import {
   TOOLS_REGISTRY,
   bindModelNode,
   modelGroundingBlock
-} from "../../chunk-QNLFNEI4.js";
+} from "../../chunk-ANUHRJ4Z.js";
 import {
   handleSearch
-} from "../../chunk-PIENBLFH.js";
+} from "../../chunk-TFGJ6NYS.js";
 import {
   buildMessages,
   citations,
@@ -34,7 +34,7 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "../../chunk-Z3R34T7Q.js";
+} from "../../chunk-25ECO5M7.js";
 import {
   cfBlobs,
   embed,
@@ -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-OVT3F2US.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-FC7IULRV.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.101",
+  "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/lexical.ts

@@ -53,7 +53,7 @@ function rowMeta(r: any): ChunkMeta {
   };
 }
 
-function rowsToHits(rows: any[]): Hit[] {
+export function rowsToHits(rows: any[]): Hit[] {
   return rows.map((r: any) => {
     // rank is bm25 (lower better) → convert to positive score that RRF can ignore
     // (RRF uses rank position, not score). score kept for logging only.

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 {

package/workers/worker_public/src/stages/dense.ts

@@ -4,18 +4,20 @@
 // saved), the doc/edition-filtered query with its guessed-pin drop and
 // sparse-filter widen, and the plain unfiltered query.
 import { LIMITS } from "../config.ts";
-import { toVectorizeFilter } from "../selfquery.ts";
 import type { Stage } from "./types.ts";
 
 export const dense: Stage = {
   name: "dense",
   run: async (c) => {
-    const { env, filter, filters, vector, opts, rq, folded } = c;
+    const { env, filters, vector, opts, rq, folded } = c;
+    // the index's metadata filtering is DEAD on this platform (measured
+    // 2026-10-05: filters return empty for values proven present), so
+    // the scope never rides the query — the matches filter IN CODE and
+    // the sparse widen still covers thin scopes
     const q: any = { topK: LIMITS.retrieveK, returnMetadata: "all" };
-    if (filter) q.filter = filter;
     const optimistic = opts.optimisticHits ?? [];
     const sameLane = rq === folded; // optimistic vector === this lane's vector
-    if (!filter && sameLane && optimistic.length) {
+    if (!filters?.doc_number && sameLane && optimistic.length) {
       // Option C fast path: the unfiltered dense query already ran
       // concurrently with understanding — same vector, same topK, no
       // filter. Reusing it skips one serial Vectorize round-trip with a
@@ -31,8 +33,13 @@ export const dense: Stage = {
       // REPLACE an identical query, never dilute a better one.
       return;
     }
-    if (filter) {
-      let matches: any[] = (await env.VECTORIZE.query(vector, q)).matches ?? [];
+    if (filters?.doc_number) {
+      const allMatches: any[] = (await env.VECTORIZE.query(vector, q)).matches ?? [];
+      let matches: any[] = allMatches;
+      const before = matches.length;
+      matches = matches.filter((m) => String(m.metadata?.doc_number ?? "") === filters.doc_number);
+      if (filters.edition) matches = matches.filter((m) => !m.metadata?.edition || String(m.metadata.edition) === filters.edition);
+      console.log("dense scope (in code):", before, "→", matches.length, "in doc", filters.doc_number, filters.edition ? `@${filters.edition}` : "");
       // an edition pin corroborated by (almost) nothing means the pin
       // was a guess — understanding emits editions for families it
       // mixes up (observed: R 76 pinned @2021, an R 60 year; the corpus
@@ -42,15 +49,13 @@ export const dense: Stage = {
       // the doc-only filter and let family-relative steering rank
       // editions downstream. A pin the user actually asked for
       // survives — its edition exists in the corpus.
+      // the same guess-drop, in code: a pinned edition that starved the
+      // scoped set drops to the doc-only scope
       if (filters && filters.edition && matches.length < 3) {
-        const docOnly = await env.VECTORIZE.query(vector, {
-          topK: LIMITS.retrieveK,
-          returnMetadata: "all",
-          filter: toVectorizeFilter({ doc_number: filters.doc_number }),
-        });
-        if ((docOnly.matches ?? []).length > matches.length) {
-          console.log("edition pin dropped:", filters.doc_number, "@", filters.edition, "→", docOnly.matches?.length ?? 0, "doc-scoped hits (edition not in corpus)");
-          matches = docOnly.matches ?? [];
+        const docOnly = allMatches.filter((m) => String(m.metadata?.doc_number ?? "") === filters.doc_number);
+        if (docOnly.length > matches.length) {
+          console.log("edition pin dropped:", filters.doc_number, "@", filters.edition, "→", docOnly.length, "doc-scoped hits (edition not in corpus)");
+          matches = docOnly;
           filters.edition = undefined;
         }
       }

package/workers/worker_public/src/stages/editionCover.ts

@@ -7,7 +7,8 @@
 // left every 2021 chunk out). One registry read per query; at most
 // `maxDocs` documents covered; additive — any failure skips.
 import { THRESHOLDS } from "../config.ts";
-import { toHits, type Stage } from "./types.ts";
+import type { Stage } from "./types.ts";
+import { rowsToHits } from "../lexical.ts";
 
 const maxDocs = 2;
 
@@ -43,12 +44,17 @@ export const editionCover: Stage = {
     let added = 0;
     for (const w of want.slice(0, maxDocs)) {
       try {
-        const q = await c.env.VECTORIZE.query(c.vector, {
-          topK: 3,
-          returnMetadata: "all",
-          filter: { $and: [{ docidentifier: { $eq: w.di } }, { edition: { $eq: w.edition } }] },
-        });
-        const hits = toHits((q as any).matches ?? []).map((h) => ({ ...h, score: top * THRESHOLDS.editionCoverDiscount }));
+        // identity resolution, not index filtering: the index's metadata
+        // filters are dead on this platform (measured 2026-10-05 — the
+        // cover's $and docidentifier/edition query returned empty for
+        // its whole life), but the D1 chunks table IS the corpus — the
+        // current edition's chunks read directly, text and all
+        const rows = await c.env.DB.prepare(
+          "SELECT id, doc_id, docidentifier, doctype, doc_number, edition, language, clause_anchor, clause_title, status, superseded_by, corpus, tier, text FROM chunks WHERE docidentifier = ?1 AND edition = ?2 LIMIT 3",
+        )
+          .bind(w.di, w.edition)
+          .all();
+        const hits = rowsToHits(rows.results ?? []).map((h) => ({ ...h, score: top * THRESHOLDS.editionCoverDiscount }));
         c.hits.push(...hits);
         added += hits.length;
         console.log("edition cover:", w.di, w.edition, `+${hits.length}`);

package/workers/worker_public/src/stages/index.ts

@@ -18,6 +18,7 @@ import { glossary } from "./glossary.ts";
 import { conceptGraph } from "./conceptGraph.ts";
 import { graphLane } from "./graphLane.ts";
 import { licensedLane } from "./licensedLane.ts";
+import { licensedCover } from "./licensedCover.ts";
 import { multiQuery } from "./multiQuery.ts";
 import { subQuery } from "./subQuery.ts";
 import { poolOpen } from "./poolOpen.ts";
@@ -68,6 +69,7 @@ export const STAGES: Stage[] = [
   editionSteer,
   propagate,
   diversity,
+  licensedCover,
   typedPin,
   sectionDescent,
   dedup,

package/workers/worker_public/src/stages/licensedCover.ts

@@ -0,0 +1,31 @@
+// Licensed cover (the seat): an entitled, topically-matched caller
+// asked about the licensed standard, so the licensed package's own
+// machinery must be ABLE to reach the answer — the public restatements
+// crowd the window and the citation the golden legs assert rides this
+// passage. When the rerank cut drops every licensed unit, the lane's
+// best unit takes one seat at the end of the window (appended after
+// ranking, like the section-descent children — the window floor keeps
+// appended passages by construction). Narrow by law: one unit, only
+// when none is present, only for an armed licensed lane.
+import { portIndex } from "../env.ts";
+import { toHits } from "./types.ts";
+import type { Stage } from "./types.ts";
+
+export const licensedCover: Stage = {
+  name: "licensed-cover",
+  failure: "additive",
+  when: (c) => !!c.opts.licensedDocNumbers?.length && c.finalHits.length > 0,
+  run: async (c) => {
+    const keys = new Set(c.opts.licensedDocNumbers!);
+    const present = c.finalHits.some((h) => keys.has(String((h.metadata as any).standard ?? "")));
+    if (present) return;
+    const ids = ((await (c.lane["licensed-ids"] as Promise<string[]> | undefined)) ?? []).slice(0, 8);
+    if (!ids.length) return;
+    const matches = await portIndex(c.env, "public").getByIds(ids);
+    const unit = matches.find((m) => m.metadata && keys.has(String((m.metadata as any).standard ?? "")));
+    if (!unit) return;
+    const hit = toHits([unit as any])[0]!;
+    c.finalHits = [...c.finalHits, hit];
+    console.log("licensed cover: seated", unit.id, "—", (unit.metadata as any).docidentifier);
+  },
+};

package/workers/worker_public/src/stages/licensedLane.ts

@@ -44,13 +44,18 @@ export const licensedLane: Stage = {
     const matches = await portIndex(c.env, "public").getByIds(ids);
     const seenIds = new Set(c.matches.map((m: any) => m.id));
     let merged = 0;
+    const mergedIds: string[] = [];
     for (const m of matches) {
       if (m.metadata && !seenIds.has(m.id)) {
         c.matches.push({ id: m.id, score: THRESHOLDS.licensedLaneScore, metadata: m.metadata });
         seenIds.add(m.id);
         merged++;
+        mergedIds.push(m.id);
       }
     }
+    // the cover stage's stash: the licensed units' ids, so the seat can
+    // recover a unit the rerank cut dropped
+    c.lane["licensed-ids"] = Promise.resolve(mergedIds);
     console.log("licensed lane:", ids.length, "units,", matches.length, "vectors,", merged, "merged");
   },
 };