@konneal/engine 0.2.118 → 0.2.120

package/dist/admin.d.ts

@@ -13,6 +13,14 @@ export declare function handleEnrich(env: Env, ctx: ExecutionContext, req: Reque
  *  descends from it to quotable leaf clauses (pipeline.ts section
  *  descent). Credential, batching and ledger mirror /admin/enrich. */
 export declare function handleSectionUnit(env: Env, ctx: ExecutionContext, req: Request): Promise<Response>;
+/** Family community summaries (TODO.sota/06 item 2): one precomputed
+ *  answer per publication family to "what is this family and what
+ *  changed between editions" — generated from the registry rows and
+ *  the successor graph (the family IS the corpus's natural community),
+ *  stored in KV under famsum:<family>, served by editionNote beside
+ *  the deterministic registry line. Admin-gated; idempotent (force
+ *  regenerates); the quality-first lane pays once. */
+export declare function handleFamilySummary(env: Env, req: Request): Promise<Response>;
 /** Ops access to the Vectorize binding (get/upsert by id) for offline
  *  passes like embedding smoothing (G-ETSI-4) — the binding is the
  *  credential, admin-token gated exactly like /admin/enrich. */

package/dist/{ask-ZZT67FEB.js → ask-3BJKTVLY.js}

@@ -1,8 +1,8 @@
 import {
   handleAsk
-} from "./chunk-UBQCQ4UQ.js";
-import "./chunk-32UDKBA2.js";
-import "./chunk-NUHZMAII.js";
+} from "./chunk-SORXE55V.js";
+import "./chunk-FKG5VGOL.js";
+import "./chunk-IIQWESHC.js";
 import "./chunk-TH5XGPD5.js";
 import "./chunk-DJ65EF5G.js";
 import "./chunk-A3QHHUN5.js";

package/dist/{chunk-YNQ5BKQW.js → chunk-C5L55VI7.js}

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

package/dist/{chunk-32UDKBA2.js → chunk-FKG5VGOL.js}

@@ -268,27 +268,47 @@ function parseNumber(raw) {
   s = s.replace(/\.(\d{3})$/, "$1");
   return Number(s.replace(/,(?=\d{3}\b)/g, ""));
 }
-function extractParams(query, symbols) {
-  const params = {};
+function extractParamsWithUnits(query, symbols) {
+  const values = {};
+  const units = {};
   for (const sym of symbols) {
     const leaf = sym.split(".").pop() ?? sym;
     const esc = leaf.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
-    const re = new RegExp(`\\b${esc}\\b\\D{0,14}?([0-9][0-9 ,.]*[0-9])`, "iu");
+    const re = new RegExp(`\\b${esc}\\b\\D{0,14}?([0-9][0-9 ,.]*[0-9])\\s*(%|\\u00b0?[A-Za-z\\u00b5\\u03a9]{0,6})?`, "iu");
     const m = query.match(re);
     if (m) {
       const v = parseNumber(m[1]);
-      if (Number.isFinite(v)) params[sym] = v;
+      if (Number.isFinite(v)) {
+        values[sym] = v;
+        const u = (m[2] ?? "").trim();
+        if (u) units[sym] = u;
+      }
     }
   }
-  return params;
+  return { values, units };
+}
+function dimensionMismatch(check, units, dimensions) {
+  const dims = /* @__PURE__ */ new Map();
+  for (const [sym, unit] of Object.entries(units)) {
+    const leaf = sym.split(".").pop();
+    if (!leaf || !new RegExp(`\\b${leaf}\\b`, "i").test(check)) continue;
+    const dim = dimensions[unit.toLowerCase()];
+    if (dim) dims.set(sym, dim);
+  }
+  const distinct = [...new Set(dims.values())];
+  if (distinct.length <= 1) return null;
+  const parts = [...dims.entries()].map(([sym, dim]) => `${sym} is in ${dim}`);
+  return `the stated quantities mix dimensions: ${parts.join(" while ")}`;
 }
-function evaluate(content, query) {
+function evaluate(content, query, opts) {
   const c = content && typeof content === "object" ? content : {};
   const checks = extractChecks(content);
   if (!checks.length) return null;
   const symbols = symbolsIn(checks);
-  const params = extractParams(query, symbols);
+  const bound = extractParamsWithUnits(query, symbols);
+  const params = bound.values;
   const missing = symbols.filter((s) => params[s] === void 0);
+  let voidReason = null;
   const machine = checks.map((expression) => {
     const values = {};
     try {
@@ -297,10 +317,15 @@ function evaluate(content, query) {
     }
     let result = null;
     if (missing.length === 0) {
-      try {
-        result = !!parseAndEval(expression, params);
-      } catch {
-        result = null;
+      const mismatch = opts?.dimensions ? dimensionMismatch(expression, bound.units, opts.dimensions) : null;
+      if (mismatch) {
+        voidReason = voidReason ?? mismatch;
+      } else {
+        try {
+          result = !!parseAndEval(expression, params);
+        } catch {
+          result = null;
+        }
       }
     }
     return { expression, symbolic: expression, values, result };
@@ -310,7 +335,10 @@ function evaluate(content, query) {
   }
   const failed = machine.some((m) => m.result === false);
   const evaluable = machine.some((m) => m.result !== null);
-  if (!evaluable) return null;
+  if (!evaluable) {
+    if (voidReason) return { verdict: "void", missing: [], void_reason: voidReason, checks: machine };
+    return null;
+  }
   return {
     verdict: failed ? "fail" : "pass",
     on_violation: failed ? String(c.on_violation ?? "invalid") : void 0,
@@ -328,7 +356,7 @@ function verdictNote(v, node) {
     lines.push(`- ${c.expression}${vals ? `  [${vals}]` : ""} \u2192 ${c.result === null ? "not evaluated" : c.result ? "holds" : "VIOLATED"}`);
   }
   if (v.verdict === "void") {
-    lines.push(`VERDICT: VOID \u2014 the question does not state: ${v.missing.join(", ")}. Say exactly what is missing; never assume values.`);
+    lines.push(v.void_reason ? `VERDICT: VOID \u2014 ${v.void_reason}. State the mismatch plainly; the question cannot be decided as stated.` : `VERDICT: VOID \u2014 the question does not state: ${v.missing.join(", ")}. Say exactly what is missing; never assume values.`);
   } else if (v.verdict === "pass") {
     lines.push(`VERDICT: PASS \u2014 every machine check holds at the stated values. Present this verdict, the arithmetic above, and cite the node's clause.`);
   } else {
@@ -1179,6 +1207,9 @@ ${r.output}`;
 }
 
 export {
+  extractChecks,
+  symbolsIn,
+  extractParamsWithUnits,
   evaluate,
   verdictNote,
   standardForDocNumber,

package/dist/{chunk-NUHZMAII.js → chunk-IIQWESHC.js}

@@ -24756,7 +24756,14 @@ async function editionNote(env, u) {
     ).bind(`% ${u.doc_number}:%`).all();
     const actives = (rows.results ?? []).map((r) => r.docidentifier);
     if (!actives.length) return void 0;
-    return `Publication registry (authoritative): the ACTIVE edition(s) for this publication are ${actives.join(", ")}. Passages from other editions are superseded \u2014 use them only for historical comparison and say so.`;
+    const famRow = await env.DB.prepare("SELECT family FROM documents WHERE docidentifier LIKE ?1 || '%:%' LIMIT 1").bind(`% ${u.doc_number}:%`).first().catch(() => null);
+    let summary = "";
+    if (famRow?.family && env.CACHE) {
+      summary = await env.CACHE.get(`famsum:${famRow.family}`).catch(() => "") ?? "";
+    }
+    const registry = `Publication registry (authoritative): the ACTIVE edition(s) for this publication are ${actives.join(", ")}. Passages from other editions are superseded \u2014 use them only for historical comparison and say so.`;
+    return summary ? `${registry}
+Family summary (precomputed from the registry and the successor graph): ${summary}` : registry;
   } catch {
     return void 0;
   }

package/dist/{chunk-UBQCQ4UQ.js → chunk-SORXE55V.js}

@@ -5,6 +5,8 @@ import {
   contractV2,
   evaluate,
   evaluateConditionSets,
+  extractChecks,
+  extractParamsWithUnits,
   licenseBoundaryNote,
   licenseBoundaryRefusal,
   licensedEntryForPackage,
@@ -16,10 +18,11 @@ import {
   resolveBlocks,
   runTool,
   standardForDocNumber,
+  symbolsIn,
   tableRetyped,
   toolNote,
   verdictNote
-} from "./chunk-32UDKBA2.js";
+} from "./chunk-FKG5VGOL.js";
 import {
   NO_CONTEXT,
   STAGE_NAMES,
@@ -60,7 +63,7 @@ import {
   tokenBudget,
   understandQuery,
   usageTotal
-} from "./chunk-NUHZMAII.js";
+} from "./chunk-IIQWESHC.js";
 import {
   embed,
   generateOnce,
@@ -2195,7 +2198,22 @@ ${summary}` }] : [],
     console.log("model plane: bound", boundModel.node_id, `[${boundModel.standard}]`, boundModel.clause?.urn ?? "no-clause", boundModel.gated ? "(gated: license)" : "");
   }
   const modelNote = boundModel && !boundModel.gated ? modelGroundingBlock(boundModel) : void 0;
-  const machineVerdict = boundModel && !boundModel.gated && !ablate?.noVerdict ? evaluate(boundModel.content, q.query) : null;
+  let machineVerdict = boundModel && !boundModel.gated && !ablate?.noVerdict ? evaluate(boundModel.content, q.query) : null;
+  if (machineVerdict === null && boundModel && !boundModel.gated) {
+    try {
+      const unitTokens = [...new Set(Object.values(extractParamsWithUnits(q.query, symbolsIn(extractChecks(boundModel.content))).units).map((u) => u.toLowerCase()))];
+      if (unitTokens.length) {
+        const marks = unitTokens.map(() => "?").join(",");
+        const rows = await env.DB.prepare(
+          `SELECT lower(coalesce(json_extract(symbols, '$.ascii'), json_extract(symbols, '$.unicode'))) AS sym, dimension_ascii FROM units_db WHERE lower(coalesce(json_extract(symbols, '$.ascii'), json_extract(symbols, '$.unicode'))) IN (${marks})`
+        ).bind(...unitTokens).all().catch(() => ({ results: [] }));
+        const dimensions = {};
+        for (const r of rows.results ?? []) dimensions[String(r.sym)] = String(r.dimension_ascii ?? "");
+        machineVerdict = evaluate(boundModel.content, q.query, { dimensions });
+      }
+    } catch {
+    }
+  }
   const machineNote = machineVerdict && boundModel ? verdictNote(machineVerdict, boundModel) : void 0;
   const modelNodeRows = async (kind, docNum) => {
     const attempt = (num3) => {

package/dist/openapi-surface.gen.d.ts

@@ -3,7 +3,7 @@ export interface OpenApiRoute {
     pattern: string;
     operationId: string;
 }
-export type OpenApiOperationId = "askAnonymous" | "askKeyed" | "search" | "searchKeyed" | "verify" | "verifyKeyed" | "research" | "researchKeyed" | "mcp" | "datasets" | "keyUsage" | "health" | "listConversations" | "createConversation" | "getConversation" | "renameConversation" | "deleteConversation" | "appendMessage" | "shareConversation" | "getShared" | "uploadAttachment" | "listAttachments" | "getAttachment" | "deleteAttachment" | "listMemories" | "createMemory" | "deleteMemory" | "listProjects" | "createProject" | "deleteProject" | "listProjectFiles" | "attachProjectFile" | "detachProjectFile" | "laneQuery" | "laneKeyed" | "feedback" | "adminEnrich" | "adminEnrichAlias" | "adminSection" | "adminSectionAlias" | "adminVectors" | "adminCaption" | "adminJudge" | "adminJudgeAlias" | "adminRevokeKey" | "authMe" | "authLogin" | "authCallback" | "authLogout" | "authLogoutLink" | "adminStats" | "adminListKeys" | "adminCreateKey";
+export type OpenApiOperationId = "askAnonymous" | "askKeyed" | "search" | "searchKeyed" | "verify" | "verifyKeyed" | "research" | "researchKeyed" | "mcp" | "datasets" | "keyUsage" | "health" | "listConversations" | "createConversation" | "getConversation" | "renameConversation" | "deleteConversation" | "appendMessage" | "shareConversation" | "getShared" | "uploadAttachment" | "listAttachments" | "getAttachment" | "deleteAttachment" | "listMemories" | "createMemory" | "deleteMemory" | "listProjects" | "createProject" | "deleteProject" | "listProjectFiles" | "attachProjectFile" | "detachProjectFile" | "laneQuery" | "laneKeyed" | "feedback" | "adminEnrich" | "adminEnrichAlias" | "adminSection" | "adminFamilySummary" | "adminSectionAlias" | "adminFamilySummaryAlias" | "adminVectors" | "adminCaption" | "adminJudge" | "adminJudgeAlias" | "adminRevokeKey" | "authMe" | "authLogin" | "authCallback" | "authLogout" | "authLogoutLink" | "adminStats" | "adminListKeys" | "adminCreateKey";
 export declare const OPENAPI_SURFACE: readonly (Omit<OpenApiRoute, "operationId"> & {
     operationId: OpenApiOperationId;
 })[];

package/dist/openapi-types.d.ts

@@ -613,6 +613,26 @@ export interface paths {
         patch?: never;
         trace?: never;
     };
+    "/v1/admin/family-summary": {
+        parameters: {
+            query?: never;
+            header?: never;
+            path?: never;
+            cookie?: never;
+        };
+        get?: never;
+        put?: never;
+        /**
+         * Write a family's community summary
+         * @description Generates the precomputed answer to "what is this family and what changed between editions" from the registry rows and the successor graph, and stores it in KV; editionNote serves it beside the deterministic registry line on doc-scoped answers. Families need at least two editions. force regenerates.
+         */
+        post: operations["adminFamilySummary"];
+        delete?: never;
+        options?: never;
+        head?: never;
+        patch?: never;
+        trace?: never;
+    };
     "/admin/section": {
         parameters: {
             query?: never;
@@ -633,6 +653,26 @@ export interface paths {
         patch?: never;
         trace?: never;
     };
+    "/admin/family-summary": {
+        parameters: {
+            query?: never;
+            header?: never;
+            path?: never;
+            cookie?: never;
+        };
+        get?: never;
+        put?: never;
+        /**
+         * Write a family's community summary (the operational path)
+         * @description The operational alias of /v1/admin/family-summary; the behaviour and the credential are identical.
+         */
+        post: operations["adminFamilySummaryAlias"];
+        delete?: never;
+        options?: never;
+        head?: never;
+        patch?: never;
+        trace?: never;
+    };
     "/admin/vectors": {
         parameters: {
             query?: never;
@@ -1932,6 +1972,33 @@ export interface operations {
             };
         };
     };
+    adminFamilySummary: {
+        parameters: {
+            query?: never;
+            header?: never;
+            path?: never;
+            cookie?: never;
+        };
+        requestBody: {
+            content: {
+                "application/json": {
+                    /** @description The family key, for example R-60. */
+                    family: string;
+                    /** @default false */
+                    force?: boolean;
+                };
+            };
+        };
+        responses: {
+            /** @description The stored summary with its provenance counts. */
+            200: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content?: never;
+            };
+        };
+    };
     adminSectionAlias: {
         parameters: {
             query?: never;
@@ -1956,6 +2023,30 @@ export interface operations {
             };
         };
     };
+    adminFamilySummaryAlias: {
+        parameters: {
+            query?: never;
+            header?: never;
+            path?: never;
+            cookie?: never;
+        };
+        requestBody: {
+            content: {
+                "application/json": {
+                    family: string;
+                };
+            };
+        };
+        responses: {
+            /** @description The stored summary. */
+            200: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content?: never;
+            };
+        };
+    };
     adminVectors: {
         parameters: {
             query?: never;

package/dist/prompts/family-summary.md

@@ -0,0 +1 @@
+You write the community summary of one publication family for {{PUBLISHER_NAME}}'s retrieval index — the precomputed answer to "what is this family and what changed between editions". The registry rows and the successor graph below are your ONLY facts. Write three to five sentences: what the family regulates or provides, its structure (parts, annexes), and the edition lineage — which editions are active, which are superseded, and what the successor chain says changed. Never invent a change the lineage does not show; when the chain only says one edition replaced another, say exactly that. Name editions exactly as the registry does. No preamble.

package/dist/{search-3PBQSMO4.js → search-JDSQPI3A.js}

@@ -1,7 +1,7 @@
 import {
   handleSearch
-} from "./chunk-YNQ5BKQW.js";
-import "./chunk-NUHZMAII.js";
+} from "./chunk-C5L55VI7.js";
+import "./chunk-IIQWESHC.js";
 import "./chunk-TH5XGPD5.js";
 import "./chunk-DJ65EF5G.js";
 import "./chunk-A3QHHUN5.js";

package/dist/{tools-GSLHFD37.js → tools-CUKFOW7S.js}

@@ -4,7 +4,7 @@ import {
   parseToolCall,
   runTool,
   toolNote
-} from "./chunk-32UDKBA2.js";
+} from "./chunk-FKG5VGOL.js";
 import "./chunk-TH5XGPD5.js";
 import "./chunk-4NXH5ZI6.js";
 import "./chunk-VT7DR6NQ.js";

package/dist/verdict.d.ts

@@ -9,12 +9,30 @@ export interface Verdict {
     on_violation?: string;
     violation_meaning?: string;
     missing: string[];
+    /** why a fully-stated question still cannot evaluate (TODO.sota/04):
+     *  the stated quantities' units carry conflicting dimensions */
+    void_reason?: string;
     checks: MachineCheck[];
 }
 export declare function extractChecks(content: unknown): string[];
 export declare function symbolsIn(checks: string[]): string[];
 export declare function extractParams(query: string, symbols: string[]): Record<string, number>;
-export declare function evaluate(content: unknown, query: string): Verdict | null;
+/** The stated values WITH their unit tokens (TODO.sota/04's unit
+ *  semantics): "E_max 30000 v" binds e_max=30000 and the unit "v" —
+ *  the dimension check needs both. */
+export declare function extractParamsWithUnits(query: string, symbols: string[]): {
+    values: Record<string, number>;
+    units: Record<string, string>;
+};
+/** Dimension coherence (TODO.sota/04 item 2): the units plane gives
+ *  each unit token a dimension; a parameter set whose bound symbols
+ *  carry CONFLICTING known dimensions is incoherent — the check
+ *  compares quantities that are not comparable. Pure: the dimensions
+ *  map arrives from the caller (the units register at load). */
+export declare function dimensionMismatch(check: string, units: Record<string, string>, dimensions: Record<string, string>): string | null;
+export declare function evaluate(content: unknown, query: string, opts?: {
+    dimensions?: Record<string, string>;
+}): Verdict | null;
 /** The deterministic note the answer model narrates — never recomputes. */
 export declare function verdictNote(v: Verdict, node: {
     node_id: string;

package/dist/worker_public/src/index.js

@@ -4,15 +4,15 @@ import {
   handleMemories,
   scoreFaithfulness,
   scoreJudge
-} from "../../chunk-UBQCQ4UQ.js";
+} from "../../chunk-SORXE55V.js";
 import {
   TOOLS_REGISTRY,
   bindModelNode,
   modelGroundingBlock
-} from "../../chunk-32UDKBA2.js";
+} from "../../chunk-FKG5VGOL.js";
 import {
   handleSearch
-} from "../../chunk-YNQ5BKQW.js";
+} from "../../chunk-C5L55VI7.js";
 import {
   buildMessages,
   citations,
@@ -34,7 +34,7 @@ import {
   sessionFrom,
   telemetry,
   understandQuery
-} from "../../chunk-NUHZMAII.js";
+} from "../../chunk-IIQWESHC.js";
 import {
   cfBlobs,
   embed,
@@ -350,6 +350,10 @@ var enrichment_default = "You write a retrieval context for a passage from {{COR
 // workers/worker_public/prompts/doc-summary.md
 var doc_summary_default = "You write the document-level summary for a legal-metrology publication in {{PUBLISHER_NAME}}'s retrieval index. The section summaries below cover the publication clause by clause. Write one compact abstract, three to five sentences: what the publication regulates or provides, its scope and applicability, and the structure a reader should know (parts, annexes, where the normative core sits). Use the publication's own terms exactly. No preamble, no headings.\n";
 
+// workers/worker_public/prompts/family-summary.md
+var family_summary_default = `You write the community summary of one publication family for {{PUBLISHER_NAME}}'s retrieval index \u2014 the precomputed answer to "what is this family and what changed between editions". The registry rows and the successor graph below are your ONLY facts. Write three to five sentences: what the family regulates or provides, its structure (parts, annexes), and the edition lineage \u2014 which editions are active, which are superseded, and what the successor chain says changed. Never invent a change the lineage does not show; when the chain only says one edition replaced another, say exactly that. Name editions exactly as the registry does. No preamble.
+`;
+
 // workers/worker_public/prompts/section-summary.md
 var section_summary_default = "You summarize one numbered clause of a metrology publication for a retrieval index. You are given the publication, the clause number, and excerpts of its sub-clauses.\n\nWrite a dense summary of 3 to 5 sentences stating what the clause governs and how its sub-clauses divide the subject. Name each sub-clause number together with its topic, in document order.\n\nPlain factual prose. No preamble, no headings, no bullet list, no quotation marks around the whole text. Write in the same language as the excerpts.\n";
 
@@ -510,6 +514,51 @@ Covers: ${childAnchors}`;
   }
   return json({ results, usage });
 }
+async function handleFamilySummary(env, req) {
+  if (!env.ADMIN_TOKEN) return err(501, "admin_disabled", "ADMIN_TOKEN secret is not configured");
+  const auth = req.headers.get("authorization") ?? "";
+  if (auth !== `Bearer ${env.ADMIN_TOKEN}`) return err(401, "unauthorized", "Invalid admin token");
+  const body = await readJson(req);
+  const family = typeof body?.family === "string" ? body.family.trim().slice(0, 24) : "";
+  if (!/^[A-Z]+-\d+$/.test(family)) return err(400, "invalid_input", "family must look like R-60 (type-number)");
+  try {
+    const docs = await env.DB.prepare(
+      "SELECT docidentifier, edition, status, active, superseded_by, title FROM documents WHERE family = ?1 ORDER BY edition"
+    ).bind(family).all();
+    const rows = docs.results ?? [];
+    if (rows.length < 2) return json({ family, ok: false, note: "fewer than two editions \u2014 no lineage to summarize" });
+    const succ = await env.DB.prepare(
+      "SELECT e.src AS src, e.dst AS dst FROM graph_edges e WHERE e.kind = 'successor' AND (e.src IN (SELECT src FROM graph_edges WHERE kind = 'part_of' AND dst = ?2) OR e.dst IN (SELECT src FROM graph_edges WHERE kind = 'part_of' AND dst = ?2)) LIMIT 40"
+    ).bind(family, `family:${family}`).all();
+    const key = `famsum:${family}`;
+    const cached = body?.force === true ? null : await env.CACHE.get(key);
+    if (cached) return json({ family, ok: true, cached: true, summary: cached });
+    const listing = rows.map((r) => `- ${r.docidentifier} \u2014 ${r.status}${r.active ? " (ACTIVE)" : ""}${r.title ? ` \u2014 ${String(r.title).slice(0, 120)}` : ""}`).join("\n");
+    const chain = (succ.results ?? []).map((r) => `${String(r.src).replace("doc:", "")} \u2192 superseded by \u2192 ${String(r.dst).replace("doc:", "")}`).join("\n");
+    const model = typeof env.ENRICH_MODEL === "string" && env.ENRICH_MODEL ? env.ENRICH_MODEL : MODELS.enrich;
+    const res = await env.AI.run(model, {
+      messages: [
+        { role: "system", content: family_summary_default.trimEnd() },
+        { role: "user", content: `Family ${family}
+
+Registry rows:
+${listing}
+
+Successor chain:
+${chain || "(no successor edges recorded)"}` }
+      ],
+      max_tokens: 1600,
+      reasoning_effort: "low"
+    });
+    const raw = typeof res?.response === "string" && res.response.trim() ? res.response : res?.choices?.[0]?.message?.content;
+    const summary = typeof raw === "string" ? raw.trim().replace(/^["']|["']$/g, "").slice(0, 1200) : "";
+    if (!summary) return json({ family, ok: false, error: "empty summary" });
+    await env.CACHE.put(key, summary);
+    return json({ family, ok: true, cached: false, summary, editions: rows.length, successors: (succ.results ?? []).length });
+  } catch (e) {
+    return err(502, "family_summary_failed", String(e?.message ?? e).slice(0, 200));
+  }
+}
 async function handleCaption(env, req) {
   if (!env.ADMIN_TOKEN) return err(501, "admin_disabled", "ADMIN_TOKEN secret is not configured");
   const auth = req.headers.get("authorization") ?? "";
@@ -994,13 +1043,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-GSLHFD37.js");
+    const { runTool, TOOLS_REGISTRY: TOOLS_REGISTRY2 } = await import("../../tools-CUKFOW7S.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-ZZT67FEB.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-3PBQSMO4.js")).handleSearch(env, ctx, inner, tier, key);
+      const res = name === "ask" ? await (await import("../../ask-3BJKTVLY.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-JDSQPI3A.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 });
@@ -1232,11 +1281,21 @@ var OPENAPI_SURFACE = [
     "pattern": "/v1/admin/section",
     "operationId": "adminSection"
   },
+  {
+    "method": "POST",
+    "pattern": "/v1/admin/family-summary",
+    "operationId": "adminFamilySummary"
+  },
   {
     "method": "POST",
     "pattern": "/admin/section",
     "operationId": "adminSectionAlias"
   },
+  {
+    "method": "POST",
+    "pattern": "/admin/family-summary",
+    "operationId": "adminFamilySummaryAlias"
+  },
   {
     "method": "POST",
     "pattern": "/admin/vectors",
@@ -1772,6 +1831,8 @@ var OPENAPI_HANDLERS = {
   adminEnrich: (c) => handleEnrich(c.env, c.ctx, c.req),
   adminEnrichAlias: (c) => handleEnrich(c.env, c.ctx, c.req),
   adminSection: (c) => handleSectionUnit(c.env, c.ctx, c.req),
+  adminFamilySummary: (c) => handleFamilySummary(c.env, c.req),
+  adminFamilySummaryAlias: (c) => handleFamilySummary(c.env, c.req),
   adminSectionAlias: (c) => handleSectionUnit(c.env, c.ctx, c.req),
   adminVectors: (c) => handleVectors(c.env, c.req),
   adminCaption: (c) => handleCaption(c.env, c.req),

package/package.json

@@ -27,7 +27,7 @@
     "playwright": "^1.62.1",
     "yaml": "^2.9.1"
   },
-  "version": "0.2.118",
+  "version": "0.2.120",
   "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/openapi.yaml

@@ -866,6 +866,35 @@ paths:
       responses:
         '200':
           description: The written units with their usage.
+  /v1/admin/family-summary:
+    post:
+      tags: [Administration]
+      summary: Write a family's community summary
+      description: >-
+        Generates the precomputed answer to "what is this family and
+        what changed between editions" from the registry rows and the
+        successor graph, and stores it in KV; editionNote serves it
+        beside the deterministic registry line on doc-scoped answers.
+        Families need at least two editions. force regenerates.
+      operationId: adminFamilySummary
+      security: [{ adminAuth: [] }]
+      requestBody:
+        required: true
+        content:
+          application/json:
+            schema:
+              type: object
+              required: [family]
+              properties:
+                family:
+                  type: string
+                  description: The family key, for example R-60.
+                force:
+                  type: boolean
+                  default: false
+      responses:
+        '200':
+          description: The stored summary with its provenance counts.
   /admin/section:
     post:
       tags: [Administration]
@@ -887,6 +916,27 @@ paths:
       responses:
         '200':
           description: The written units with their usage.
+  /admin/family-summary:
+    post:
+      tags: [Administration]
+      summary: Write a family's community summary (the operational path)
+      description: >-
+        The operational alias of /v1/admin/family-summary; the behaviour
+        and the credential are identical.
+      operationId: adminFamilySummaryAlias
+      security: [{ adminAuth: [] }]
+      requestBody:
+        required: true
+        content:
+          application/json:
+            schema:
+              type: object
+              required: [family]
+              properties:
+                family: { type: string }
+      responses:
+        '200':
+          description: The stored summary.
   /admin/vectors:
     post:
       tags: [Administration]

package/workers/worker_public/prompts/family-summary.md

@@ -0,0 +1 @@
+You write the community summary of one publication family for {{PUBLISHER_NAME}}'s retrieval index — the precomputed answer to "what is this family and what changed between editions". The registry rows and the successor graph below are your ONLY facts. Write three to five sentences: what the family regulates or provides, its structure (parts, annexes), and the edition lineage — which editions are active, which are superseded, and what the successor chain says changed. Never invent a change the lineage does not show; when the chain only says one edition replaced another, say exactly that. Name editions exactly as the registry does. No preamble.

package/workers/worker_public/src/admin.ts

@@ -7,6 +7,7 @@ import { err, json, corsHeaders, readJson, authenticate } from "./lib/http";
 import type { Env } from "./env";
 import enrichmentPrompt from "../prompts/enrichment.md";
 import docSummaryPrompt from "../prompts/doc-summary.md";
+import familySummaryPrompt from "../prompts/family-summary.md";
 import sectionSummaryPrompt from "../prompts/section-summary.md";
 import relevancyPrompt from "../prompts/relevancy.md";
 import precisionPrompt from "../prompts/precision.md";
@@ -202,6 +203,55 @@ export async function handleSectionUnit(env: Env, ctx: ExecutionContext, req: Re
   return json({ results, usage });
 }
 
+/** Family community summaries (TODO.sota/06 item 2): one precomputed
+ *  answer per publication family to "what is this family and what
+ *  changed between editions" — generated from the registry rows and
+ *  the successor graph (the family IS the corpus's natural community),
+ *  stored in KV under famsum:<family>, served by editionNote beside
+ *  the deterministic registry line. Admin-gated; idempotent (force
+ *  regenerates); the quality-first lane pays once. */
+export async function handleFamilySummary(env: Env, req: Request): Promise<Response> {
+  if (!env.ADMIN_TOKEN) return err(501, "admin_disabled", "ADMIN_TOKEN secret is not configured");
+  const auth = req.headers.get("authorization") ?? "";
+  if (auth !== `Bearer ${env.ADMIN_TOKEN}`) return err(401, "unauthorized", "Invalid admin token");
+  const body = await readJson(req);
+  const family = typeof body?.family === "string" ? body.family.trim().slice(0, 24) : "";
+  if (!/^[A-Z]+-\d+$/.test(family)) return err(400, "invalid_input", "family must look like R-60 (type-number)");
+  try {
+    const docs = await env.DB.prepare(
+      "SELECT docidentifier, edition, status, active, superseded_by, title FROM documents WHERE family = ?1 ORDER BY edition",
+    ).bind(family).all<any>();
+    const rows = docs.results ?? [];
+    if (rows.length < 2) return json({ family, ok: false, note: "fewer than two editions — no lineage to summarize" });
+    // the family's docs through the part_of edges (publisher-pure: no
+    // identifier literal — the family node is the join key)
+    const succ = await env.DB.prepare(
+      "SELECT e.src AS src, e.dst AS dst FROM graph_edges e WHERE e.kind = 'successor' AND (e.src IN (SELECT src FROM graph_edges WHERE kind = 'part_of' AND dst = ?2) OR e.dst IN (SELECT src FROM graph_edges WHERE kind = 'part_of' AND dst = ?2)) LIMIT 40",
+    ).bind(family, `family:${family}`).all<any>();
+    const key = `famsum:${family}`;
+    const cached = body?.force === true ? null : await env.CACHE.get(key);
+    if (cached) return json({ family, ok: true, cached: true, summary: cached });
+    const listing = rows.map((r: any) => `- ${r.docidentifier} — ${r.status}${r.active ? " (ACTIVE)" : ""}${r.title ? ` — ${String(r.title).slice(0, 120)}` : ""}`).join("\n");
+    const chain = ((succ.results ?? []) as any[]).map((r: any) => `${String(r.src).replace("doc:", "")} → superseded by → ${String(r.dst).replace("doc:", "")}`).join("\n");
+    const model = typeof env.ENRICH_MODEL === "string" && env.ENRICH_MODEL ? env.ENRICH_MODEL : MODELS.enrich;
+    const res: any = await env.AI.run(model, {
+      messages: [
+        { role: "system", content: familySummaryPrompt.trimEnd() },
+        { role: "user", content: `Family ${family}\n\nRegistry rows:\n${listing}\n\nSuccessor chain:\n${chain || "(no successor edges recorded)"}` },
+      ],
+      max_tokens: 1600,
+      reasoning_effort: "low",
+    });
+    const raw = typeof res?.response === "string" && res.response.trim() ? res.response : res?.choices?.[0]?.message?.content;
+    const summary = typeof raw === "string" ? raw.trim().replace(/^["']|["']$/g, "").slice(0, 1200) : "";
+    if (!summary) return json({ family, ok: false, error: "empty summary" });
+    await env.CACHE.put(key, summary);
+    return json({ family, ok: true, cached: false, summary, editions: rows.length, successors: (succ.results ?? []).length });
+  } catch (e: any) {
+    return err(502, "family_summary_failed", String(e?.message ?? e).slice(0, 200));
+  }
+}
+
 /** Ops access to the Vectorize binding (get/upsert by id) for offline
  *  passes like embedding smoothing (G-ETSI-4) — the binding is the
  *  credential, admin-token gated exactly like /admin/enrich. */

package/workers/worker_public/src/ask.ts

@@ -23,7 +23,7 @@ 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, bindConstraintByQuantities, licenseBoundaryNote, licenseBoundaryRefusal, licensedEntryForPackage, modelCitation, modelEcho, modelGroundingBlock, standardForDocNumber } from "./modelplane";
-import { evaluate as machineEvaluate, verdictNote } from "./verdict";
+import { evaluate as machineEvaluate, extractChecks, extractParamsWithUnits, symbolsIn, verdictNote } from "./verdict";
 import { evaluateConditionSets, quantitiesIn, type ConditionVerdict } from "./conditions";
 import { evaluateAggregation, type AggregationVerdict } from "./aggregation";
 import { matchLicensedTopic, boundaryNoteText } from "./boundary";
@@ -946,7 +946,29 @@ let convEntities: Array<{ entity: string; kind: string }> = [];
   // the worker EXECUTES the bound node's machine checks against the
   // question's stated values; the model narrates the computed verdict
   // and the verdict BLOCK is server-built — data, never generated prose
-  const machineVerdict = boundModel && !boundModel.gated && !ablate?.noVerdict ? machineEvaluate(boundModel.content, q.query) : null;
+  let machineVerdict = boundModel && !boundModel.gated && !ablate?.noVerdict ? machineEvaluate(boundModel.content, q.query) : null;
+  if (machineVerdict === null && boundModel && !boundModel.gated) {
+    // unit semantics (TODO.sota/04): the stated values' units reach the
+    // units register for their dimensions; a comparison mixing
+    // dimensions voids with the reason instead of answering a number
+    try {
+      const unitTokens = [...new Set(Object.values(extractParamsWithUnits(q.query, symbolsIn(extractChecks(boundModel.content))).units).map((u) => u.toLowerCase()))];
+      if (unitTokens.length) {
+        const marks = unitTokens.map(() => "?").join(",");
+        // the register keys symbols in the symbols JSON (ascii/unicode),
+        // not in `short` (full names) — D1's json_extract reads them
+        const rows = await env.DB.prepare(
+          `SELECT lower(coalesce(json_extract(symbols, '$.ascii'), json_extract(symbols, '$.unicode'))) AS sym, dimension_ascii FROM units_db WHERE lower(coalesce(json_extract(symbols, '$.ascii'), json_extract(symbols, '$.unicode'))) IN (${marks})`,
+        )
+          .bind(...unitTokens).all().catch(() => ({ results: [] }));
+        const dimensions: Record<string, string> = {};
+        for (const r of (rows.results ?? []) as any[]) dimensions[String(r.sym)] = String(r.dimension_ascii ?? "");
+        machineVerdict = machineEvaluate(boundModel.content, q.query, { dimensions });
+      }
+    } catch {
+      // the plain evaluation above already ran; nothing to salvage
+    }
+  }
   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

package/workers/worker_public/src/graph.ts

@@ -55,7 +55,20 @@ export async function editionNote(env: Env, u: { doc_number?: string | null } |
       .all<{ docidentifier: string }>();
     const actives = (rows.results ?? []).map((r) => r.docidentifier);
     if (!actives.length) return undefined;
-    return `Publication registry (authoritative): the ACTIVE edition(s) for this publication are ${actives.join(", ")}. Passages from other editions are superseded — use them only for historical comparison and say so.`;
+    // the family's community summary (TODO.sota/06): the precomputed
+    // what-changed-between-editions answer rides beside the
+    // deterministic registry line — provenance-carrying (generated from
+    // the registry and the successor graph, never free narration)
+    const famRow = await env.DB.prepare("SELECT family FROM documents WHERE docidentifier LIKE ?1 || '%:%' LIMIT 1")
+      .bind(`% ${u.doc_number}:%`)
+      .first<{ family: string }>()
+      .catch(() => null);
+    let summary = "";
+    if (famRow?.family && env.CACHE) {
+      summary = ((await env.CACHE.get(`famsum:${famRow.family}`).catch(() => "")) ?? "");
+    }
+    const registry = `Publication registry (authoritative): the ACTIVE edition(s) for this publication are ${actives.join(", ")}. Passages from other editions are superseded — use them only for historical comparison and say so.`;
+    return summary ? `${registry}\nFamily summary (precomputed from the registry and the successor graph): ${summary}` : registry;
   } catch {
     return undefined;
   }

package/workers/worker_public/src/index.ts

@@ -22,7 +22,7 @@ export type { Env };
 import { json, err, corsHeaders, withCors, readJson, authenticate, type ApiKey } from "./lib/http";
 
 import { handleSearch } from "./search";
-import { handleEnrich, handleSectionUnit, handleCaption, handleVectors, handleJudge, handleCreateKey, handleListKeys, handleRevokeKey, handleKeyUsage } from "./admin";
+import { handleEnrich, handleSectionUnit, handleCaption, handleVectors, handleJudge, handleCreateKey, handleListKeys, handleRevokeKey, handleKeyUsage, handleFamilySummary } from "./admin";
 import { handleResearch } from "./research";
 import { uploadAttachment, readAttachment, deleteAttachment, type AttachmentDeps } from "./attachments";
 import { cfBlobs } from "./ports/cloudflare/adapters";
@@ -618,6 +618,8 @@ const OPENAPI_HANDLERS: Record<OpenApiOperationId, RouteHandler> = {
   adminEnrich: (c) => handleEnrich(c.env, c.ctx, c.req),
   adminEnrichAlias: (c) => handleEnrich(c.env, c.ctx, c.req),
   adminSection: (c) => handleSectionUnit(c.env, c.ctx, c.req),
+  adminFamilySummary: (c) => handleFamilySummary(c.env, c.req),
+  adminFamilySummaryAlias: (c) => handleFamilySummary(c.env, c.req),
   adminSectionAlias: (c) => handleSectionUnit(c.env, c.ctx, c.req),
   adminVectors: (c) => handleVectors(c.env, c.req),
   adminCaption: (c) => handleCaption(c.env, c.req),

package/workers/worker_public/src/openapi-surface.gen.ts

@@ -46,7 +46,9 @@ export type OpenApiOperationId =
   | "adminEnrich"
   | "adminEnrichAlias"
   | "adminSection"
+  | "adminFamilySummary"
   | "adminSectionAlias"
+  | "adminFamilySummaryAlias"
   | "adminVectors"
   | "adminCaption"
   | "adminJudge"
@@ -257,11 +259,21 @@ export const OPENAPI_SURFACE: readonly (Omit<OpenApiRoute, "operationId"> & { op
     "pattern": "/v1/admin/section",
     "operationId": "adminSection"
   },
+  {
+    "method": "POST",
+    "pattern": "/v1/admin/family-summary",
+    "operationId": "adminFamilySummary"
+  },
   {
     "method": "POST",
     "pattern": "/admin/section",
     "operationId": "adminSectionAlias"
   },
+  {
+    "method": "POST",
+    "pattern": "/admin/family-summary",
+    "operationId": "adminFamilySummaryAlias"
+  },
   {
     "method": "POST",
     "pattern": "/admin/vectors",

package/workers/worker_public/src/verdict.ts

@@ -20,6 +20,9 @@ export interface Verdict {
   on_violation?: string;
   violation_meaning?: string;
   missing: string[];
+  /** why a fully-stated question still cannot evaluate (TODO.sota/04):
+   *  the stated quantities' units carry conflicting dimensions */
+  void_reason?: string;
   checks: MachineCheck[];
 }
 
@@ -190,29 +193,72 @@ function parseNumber(raw: string): number {
 }
 
 export function extractParams(query: string, symbols: string[]): Record<string, number> {
-  const params: Record<string, number> = {};
+  return extractParamsWithUnits(query, symbols).values;
+}
+
+/** The stated values WITH their unit tokens (TODO.sota/04's unit
+ *  semantics): "E_max 30000 v" binds e_max=30000 and the unit "v" —
+ *  the dimension check needs both. */
+export function extractParamsWithUnits(
+  query: string,
+  symbols: string[],
+): { values: Record<string, number>; units: Record<string, string> } {
+  const values: Record<string, number> = {};
+  const units: Record<string, string> = {};
   for (const sym of symbols) {
     const leaf = sym.split(".").pop() ?? sym;
     const esc = leaf.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
     // symbol, a short non-numeric gap (words like "were"/"of" allowed),
-    // then the number
-    const re = new RegExp(`\\b${esc}\\b\\D{0,14}?([0-9][0-9 ,.]*[0-9])`, "iu");
+    // then the number, then an optional unit token directly after
+    const re = new RegExp(`\\b${esc}\\b\\D{0,14}?([0-9][0-9 ,.]*[0-9])\\s*(%|\\u00b0?[A-Za-z\\u00b5\\u03a9]{0,6})?`, "iu");
     const m = query.match(re);
     if (m) {
       const v = parseNumber(m[1]!);
-      if (Number.isFinite(v)) params[sym] = v;
+      if (Number.isFinite(v)) {
+        values[sym] = v;
+        const u = (m[2] ?? "").trim();
+        if (u) units[sym] = u;
+      }
     }
   }
-  return params;
+  return { values, units };
+}
+
+/** Dimension coherence (TODO.sota/04 item 2): the units plane gives
+ *  each unit token a dimension; a parameter set whose bound symbols
+ *  carry CONFLICTING known dimensions is incoherent — the check
+ *  compares quantities that are not comparable. Pure: the dimensions
+ *  map arrives from the caller (the units register at load). */
+export function dimensionMismatch(
+  check: string,
+  units: Record<string, string>,
+  dimensions: Record<string, string>,
+): string | null {
+  // the symbols THIS check compares, each mapped through its stated
+  // unit's dimension; more than one distinct dimension in one
+  // comparison is incoherent (a length is not a voltage)
+  const dims = new Map<string, string>();
+  for (const [sym, unit] of Object.entries(units)) {
+    const leaf = sym.split(".").pop();
+    if (!leaf || !new RegExp(`\\b${leaf}\\b`, "i").test(check)) continue;
+    const dim = dimensions[unit.toLowerCase()];
+    if (dim) dims.set(sym, dim);
+  }
+  const distinct = [...new Set(dims.values())];
+  if (distinct.length <= 1) return null;
+  const parts = [...dims.entries()].map(([sym, dim]) => `${sym} is in ${dim}`);
+  return `the stated quantities mix dimensions: ${parts.join(" while ")}`;
 }
 
-export function evaluate(content: unknown, query: string): Verdict | null {
+export function evaluate(content: unknown, query: string, opts?: { dimensions?: Record<string, string> }): Verdict | null {
   const c = (content && typeof content === "object" ? content : {}) as Record<string, any>;
   const checks = extractChecks(content);
   if (!checks.length) return null;
   const symbols = symbolsIn(checks);
-  const params = extractParams(query, symbols);
+  const bound = extractParamsWithUnits(query, symbols);
+  const params = bound.values;
   const missing = symbols.filter((s) => params[s] === undefined);
+  let voidReason: string | null = null;
   const machine: MachineCheck[] = checks.map((expression) => {
     const values: Record<string, number> = {};
     try {
@@ -220,7 +266,14 @@ export function evaluate(content: unknown, query: string): Verdict | null {
     } catch { /* values stay partial */ }
     let result: boolean | null = null;
     if (missing.length === 0) {
-      try { result = !!parseAndEval(expression, params); } catch { result = null; }
+      // unit semantics (TODO.sota/04): a comparison mixing dimensions
+      // cannot evaluate — void with the reason, never a number answer
+      const mismatch = opts?.dimensions ? dimensionMismatch(expression, bound.units, opts.dimensions) : null;
+      if (mismatch) {
+        voidReason = voidReason ?? mismatch;
+      } else {
+        try { result = !!parseAndEval(expression, params); } catch { result = null; }
+      }
     }
     return { expression, symbolic: expression, values, result };
   });
@@ -229,7 +282,10 @@ export function evaluate(content: unknown, query: string): Verdict | null {
   }
   const failed = machine.some((m) => m.result === false);
   const evaluable = machine.some((m) => m.result !== null);
-  if (!evaluable) return null;
+  if (!evaluable) {
+    if (voidReason) return { verdict: "void", missing: [], void_reason: voidReason, checks: machine };
+    return null;
+  }
   return {
     verdict: failed ? "fail" : "pass",
     on_violation: failed ? String(c.on_violation ?? "invalid") : undefined,
@@ -249,7 +305,9 @@ export function verdictNote(v: Verdict, node: { node_id: string; clause?: { urn?
     lines.push(`- ${c.expression}${vals ? `  [${vals}]` : ""} → ${c.result === null ? "not evaluated" : c.result ? "holds" : "VIOLATED"}`);
   }
   if (v.verdict === "void") {
-    lines.push(`VERDICT: VOID — the question does not state: ${v.missing.join(", ")}. Say exactly what is missing; never assume values.`);
+    lines.push(v.void_reason
+      ? `VERDICT: VOID — ${v.void_reason}. State the mismatch plainly; the question cannot be decided as stated.`
+      : `VERDICT: VOID — the question does not state: ${v.missing.join(", ")}. Say exactly what is missing; never assume values.`);
   } else if (v.verdict === "pass") {
     lines.push(`VERDICT: PASS — every machine check holds at the stated values. Present this verdict, the arithmetic above, and cite the node's clause.`);
   } else {