@konneal/engine 0.2.114 → 0.2.116

package/dist/{ask-53QRX3KB.js → ask-QDV37DDB.js}

@@ -1,8 +1,8 @@
 import {
   handleAsk
-} from "./chunk-VSZBGAEE.js";
+} from "./chunk-YVNY4JWP.js";
 import "./chunk-32UDKBA2.js";
-import "./chunk-4RQ4X7SA.js";
+import "./chunk-PJ3ET5AY.js";
 import "./chunk-TH5XGPD5.js";
 import "./chunk-DJ65EF5G.js";
 import "./chunk-A3QHHUN5.js";

package/dist/{chunk-4RQ4X7SA.js → chunk-PJ3ET5AY.js}

@@ -22694,15 +22694,34 @@ var federate = {
 };
 
 // workers/worker_public/src/stages/seal.ts
+async function familyChunks(env, familyNumber, query, keep) {
+  const rows = await portStore(env).prepare(
+    "SELECT id, doc_id, docidentifier, doctype, doc_number, edition, language, clause_anchor, clause_title, status, superseded_by, corpus, tier, text, unit_id, block, bm25(chunks_fts) AS rank FROM chunks_fts JOIN chunks c ON c.rowid = chunks_fts.rowid WHERE chunks_fts MATCH ?1 AND c.doc_number = ?2 ORDER BY rank LIMIT ?3"
+  ).bind(query.replace(/["'^]/g, " ").trim() || familyNumber, familyNumber, keep).all().catch(() => ({ results: [] }));
+  return (rows.results ?? []).map((r) => ({
+    id: String(r.id),
+    score: 0,
+    metadata: r,
+    text: String(r.text ?? "")
+  }));
+}
 var seal = {
   name: "seal",
   when: (c) => !!c.opts.sealScope || !!c.opts.editionSteer || !!c.opts.editionExclude,
-  run: (c) => {
+  run: async (c) => {
     const before = c.hits.length;
     const scope = c.opts.sealScope;
     if (scope) {
       c.hits = c.hits.filter((h) => matchesDocScope(h.metadata, scope.doc_number) && (!scope.edition || h.metadata.edition === scope.edition));
       console.log("context seal:", before, "\u2192", c.hits.length, "candidates within", `doc#${scope.doc_number}${scope.edition ? "@" + scope.edition : ""}`);
+      if (c.hits.length === 0) {
+        const familyNumber = scope.doc_number.includes("-") ? scope.doc_number.split("-")[0] : scope.doc_number;
+        const pulled = (await familyChunks(c.env, familyNumber, c.rq || c.query, 12)).filter((h) => matchesDocScope(h.metadata, scope.doc_number) && (!scope.edition || h.metadata.edition === scope.edition)).slice(0, 8).map((h) => ({ ...h, score: 0.5 }));
+        if (pulled.length) {
+          c.hits = pulled;
+          console.log("context seal: pool empty \u2014 pulled", pulled.length, "family chunks from the corpus for", `doc#${scope.doc_number}`);
+        }
+      }
       return;
     }
     const exclude = c.opts.editionExclude;
@@ -23474,7 +23493,7 @@ async function retrieve(env, query, opts = {}) {
   const filter = filters ? toVectorizeFilter(filters) : null;
   const folded = retrievalQuery(query, opts.prev);
   let rq = opts.queryOverride?.trim() || u?.standalone_query?.trim() || folded;
-  if (u?.process_intent) rq += processExpansion();
+  if (u?.process_intent && !opts.sealScope) rq += processExpansion();
   const vectorP = rq === folded && opts.optimisticVec ? Promise.resolve(opts.optimisticVec) : rq === folded && opts.warmEmbed ? opts.warmEmbed.then((w) => w ?? embed(portModelRunner(env), MODELS.embed, rq)) : embed(portModelRunner(env), MODELS.embed, rq);
   const lexicalP = lexicalPrefilter(env, opts.lexicalBoost ? `${rq} ${opts.lexicalBoost}` : rq).catch(() => []);
   const [vector, lexicalHits0] = await Promise.all([vectorP, lexicalP]);

package/dist/{chunk-4J3CRJH3.js → chunk-XWT3T3T3.js}

@@ -6,7 +6,7 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "./chunk-4RQ4X7SA.js";
+} from "./chunk-PJ3ET5AY.js";
 import {
   portModelRunner
 } from "./chunk-TH5XGPD5.js";

package/dist/{chunk-VSZBGAEE.js → chunk-YVNY4JWP.js}

@@ -60,7 +60,7 @@ import {
   tokenBudget,
   understandQuery,
   usageTotal
-} from "./chunk-4RQ4X7SA.js";
+} from "./chunk-PJ3ET5AY.js";
 import {
   embed,
   generateOnce,

package/dist/{search-5HDTEMZD.js → search-AXP7F365.js}

@@ -1,7 +1,7 @@
 import {
   handleSearch
-} from "./chunk-4J3CRJH3.js";
-import "./chunk-4RQ4X7SA.js";
+} from "./chunk-XWT3T3T3.js";
+import "./chunk-PJ3ET5AY.js";
 import "./chunk-TH5XGPD5.js";
 import "./chunk-DJ65EF5G.js";
 import "./chunk-A3QHHUN5.js";

package/dist/worker_public/src/index.js

@@ -4,7 +4,7 @@ import {
   handleMemories,
   scoreFaithfulness,
   scoreJudge
-} from "../../chunk-VSZBGAEE.js";
+} from "../../chunk-YVNY4JWP.js";
 import {
   TOOLS_REGISTRY,
   bindModelNode,
@@ -12,7 +12,7 @@ import {
 } from "../../chunk-32UDKBA2.js";
 import {
   handleSearch
-} from "../../chunk-4J3CRJH3.js";
+} from "../../chunk-XWT3T3T3.js";
 import {
   buildMessages,
   citations,
@@ -34,7 +34,7 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "../../chunk-4RQ4X7SA.js";
+} from "../../chunk-PJ3ET5AY.js";
 import {
   cfBlobs,
   embed,
@@ -1000,7 +1000,7 @@ async function callToolOnce(env, ctx, _req, tier, key, name, args, t0) {
       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-53QRX3KB.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-5HDTEMZD.js")).handleSearch(env, ctx, inner, tier, key);
+      const res = name === "ask" ? await (await import("../../ask-QDV37DDB.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-AXP7F365.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.114",
+  "version": "0.2.116",
   "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/pipeline.ts

@@ -109,7 +109,11 @@ export async function retrieve(
   const filter = filters ? toVectorizeFilter(filters) : null;
   const folded = retrievalQuery(query, opts.prev);
   let rq = opts.queryOverride?.trim() || u?.standalone_query?.trim() || folded;
-  if (u?.process_intent) rq += processExpansion();
+  // the process expansion widens an UNSCOPED question toward the
+  // certification corpus; under a declared seal it poisons the query
+  // against the sealed family instead (the pool empties, the refusal
+  // follows) — the chip's context note already scopes the ANSWER
+  if (u?.process_intent && !opts.sealScope) rq += processExpansion();
   // Dense embed + full-corpus BM25 prefilter in parallel (G-ETSI-1 /
   // arXiv:2604.09868 §II-B5). Lexical must scan the whole corpus — the
   // old keywordRank only re-ordered dense hits and could not recover

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

@@ -3,17 +3,53 @@
 // outside the declared family competes for the window; everything
 // inside it does.
 import { matchesDocScope } from "../context.ts";
+import { portStore } from "../env.ts";
+import type { ChunkMeta, Hit } from "../../../shared/chunk";
 import type { Stage } from "./types.ts";
 
+/** The sealed family's chunks, from the D1 corpus directly (the l6a
+ *  law): the declared context's guarantee is that the publication CAN
+ *  answer — a generic question's global ranking need not contain the
+ *  family at all, so an emptied pool pulls the family's own text. */
+async function familyChunks(env: any, familyNumber: string, query: string, keep: number): Promise<Hit[]> {
+  const rows = await portStore(env).prepare(
+    "SELECT id, doc_id, docidentifier, doctype, doc_number, edition, language, clause_anchor, clause_title, status, superseded_by, corpus, tier, text, unit_id, block, bm25(chunks_fts) AS rank FROM chunks_fts JOIN chunks c ON c.rowid = chunks_fts.rowid WHERE chunks_fts MATCH ?1 AND c.doc_number = ?2 ORDER BY rank LIMIT ?3",
+  )
+    .bind(query.replace(/["'^]/g, " ").trim() || familyNumber, familyNumber, keep)
+    .all()
+    .catch(() => ({ results: [] }));
+  return (rows.results ?? []).map((r: any) => ({
+    id: String(r.id),
+    score: 0,
+    metadata: r as unknown as ChunkMeta,
+    text: String(r.text ?? ""),
+  }));
+}
+
 export const seal: Stage = {
   name: "seal",
   when: (c) => !!c.opts.sealScope || !!c.opts.editionSteer || !!c.opts.editionExclude,
-  run: (c) => {
+  run: async (c) => {
     const before = c.hits.length;
     const scope = c.opts.sealScope!;
     if (scope) {
         c.hits = c.hits.filter((h) => matchesDocScope(h.metadata, scope.doc_number) && (!scope.edition || h.metadata.edition === scope.edition));
       console.log("context seal:", before, "→", c.hits.length, "candidates within", `doc#${scope.doc_number}${scope.edition ? "@" + scope.edition : ""}`);
+      if (c.hits.length === 0) {
+        // the declared-context guarantee: the family's own text enters
+        // even when no global ranking carried it — the FTS ranking over
+        // the family grain (the part identity steers by docidentifier
+        // downstream, the same grain law matchesDocScope enforces)
+        const familyNumber = scope.doc_number.includes("-") ? scope.doc_number.split("-")[0] : scope.doc_number;
+        const pulled = (await familyChunks(c.env, familyNumber, c.rq || c.query, 12))
+          .filter((h) => matchesDocScope(h.metadata, scope.doc_number) && (!scope.edition || h.metadata.edition === scope.edition))
+          .slice(0, 8)
+          .map((h) => ({ ...h, score: 0.5 }));
+        if (pulled.length) {
+          c.hits = pulled;
+          console.log("context seal: pool empty — pulled", pulled.length, "family chunks from the corpus for", `doc#${scope.doc_number}`);
+        }
+      }
       return;
     }
     const exclude = c.opts.editionExclude!;