@konneal/engine 0.2.53 → 0.2.54

package/dist/{ask-5KXW7WIA.js → ask-3TAC56RC.js}

@@ -1,6 +1,6 @@
 import {
   handleAsk
-} from "./chunk-PH7W6HMN.js";
+} from "./chunk-OPJXHEZU.js";
 import "./chunk-TPV5GPY2.js";
 import "./chunk-SPKPH54J.js";
 import "./chunk-A3QHHUN5.js";

package/dist/{chunk-PH7W6HMN.js → chunk-OPJXHEZU.js}

@@ -2908,7 +2908,6 @@ export {
   handleMemories,
   scoreFaithfulness,
   checkQuoteAnchors,
-  standardForDocNumber,
   bindModelNode,
   modelGroundingBlock,
   scoreJudge,

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" | "absence" | "absenceKeyed" | "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" | "adminSectionAlias" | "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

@@ -86,43 +86,6 @@ export interface paths {
         patch?: never;
         trace?: never;
     };
-    "/api/absence": {
-        parameters: {
-            query?: never;
-            header?: never;
-            path?: never;
-            cookie?: never;
-        };
-        get?: never;
-        put?: never;
-        /**
-         * Request a provable absence certificate
-         * @description Enumerates the entire machine-readable model of the named standard and reports how many nodes were examined and whether any matched the topic. A verdict of absent is an enumeration certificate that states its scope, not a statement that a search found nothing.
-         */
-        post: operations["absence"];
-        delete?: never;
-        options?: never;
-        head?: never;
-        patch?: never;
-        trace?: never;
-    };
-    "/v1/absence": {
-        parameters: {
-            query?: never;
-            header?: never;
-            path?: never;
-            cookie?: never;
-        };
-        get?: never;
-        put?: never;
-        /** Request a provable absence certificate with an API key */
-        post: operations["absenceKeyed"];
-        delete?: never;
-        options?: never;
-        head?: never;
-        patch?: never;
-        trace?: never;
-    };
     "/api/verify": {
         parameters: {
             query?: never;
@@ -1089,58 +1052,6 @@ export interface operations {
             };
         };
     };
-    absence: {
-        parameters: {
-            query?: never;
-            header?: never;
-            path?: never;
-            cookie?: never;
-        };
-        requestBody: {
-            content: {
-                "application/json": {
-                    /** @description The publication, for example R 60. */
-                    standard: string;
-                    /** @description The topic whose absence is to be proven. */
-                    topic: string;
-                };
-            };
-        };
-        responses: {
-            /** @description The enumeration certificate. */
-            200: {
-                headers: {
-                    [name: string]: unknown;
-                };
-                content?: never;
-            };
-        };
-    };
-    absenceKeyed: {
-        parameters: {
-            query?: never;
-            header?: never;
-            path?: never;
-            cookie?: never;
-        };
-        requestBody: {
-            content: {
-                "application/json": {
-                    standard: string;
-                    topic: string;
-                };
-            };
-        };
-        responses: {
-            /** @description The enumeration certificate. */
-            200: {
-                headers: {
-                    [name: string]: unknown;
-                };
-                content?: never;
-            };
-        };
-    };
     verify: {
         parameters: {
             query?: never;

package/dist/worker_public/src/index.js

@@ -8,9 +8,8 @@ import {
   handleMemories,
   modelGroundingBlock,
   scoreFaithfulness,
-  scoreJudge,
-  standardForDocNumber
-} from "../../chunk-PH7W6HMN.js";
+  scoreJudge
+} from "../../chunk-OPJXHEZU.js";
 import {
   buildMessages,
   cfBlobs,
@@ -25,7 +24,6 @@ import {
   handleLogin,
   handleLogout,
   handleMe,
-  namedDocumentIn,
   opCfg,
   opMemberCanWrite,
   opTokenMember,
@@ -960,7 +958,7 @@ async function handleMcp(env, ctx, req, tier, key) {
       // stream:false forces the JSON lane (anon defaults to SSE)
       body: JSON.stringify({ ...args, stream: false })
     });
-    const res = name === "ask" ? await (await import("../../ask-5KXW7WIA.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-PBOODCMQ.js")).handleSearch(env, ctx, inner, tier, key);
+    const res = name === "ask" ? await (await import("../../ask-3TAC56RC.js")).handleAsk(env, ctx, inner, tier, key) : await (await import("../../search-PBOODCMQ.js")).handleSearch(env, ctx, inner, tier, key);
     return res.json().catch(() => ({ error: { message: "tool transport failed", status: res.status } }));
   });
   if (out.ok && "accepted" in out) return new Response(null, { status: 202 });
@@ -1020,16 +1018,6 @@ var OPENAPI_SURFACE = [
     "pattern": "/v1/search",
     "operationId": "searchKeyed"
   },
-  {
-    "method": "POST",
-    "pattern": "/api/absence",
-    "operationId": "absence"
-  },
-  {
-    "method": "POST",
-    "pattern": "/v1/absence",
-    "operationId": "absenceKeyed"
-  },
   {
     "method": "POST",
     "pattern": "/api/verify",
@@ -1456,38 +1444,6 @@ async function adminStatsRoute(c) {
     pruned: "telemetry >90d"
   }, 200, corsHeaders(req));
 }
-async function absenceRoute(c) {
-  const { env, req } = c;
-  const t = await tierFor(c);
-  if (t instanceof Response) return t;
-  const body = await readJson(req);
-  const namedStd = namedDocumentIn(String(body?.standard ?? ""));
-  const standard = standardForDocNumber(namedStd?.doc_number ?? String(body?.standard ?? "").trim());
-  const topic = String(body?.topic ?? "").trim().toLowerCase();
-  if (!standard || !topic) return err(400, "invalid_input", "standard and topic are required");
-  try {
-    const nodes = (await env.DB.prepare("SELECT node_id, kind, name, content FROM model_nodes WHERE standard = ?1").bind(standard).all()).results ?? [];
-    const tokens = topic.split(/\s+/).filter((t2) => t2.length > 2);
-    const matches = [];
-    for (const n of nodes) {
-      const hay = `${n.name ?? ""} ${n.content ?? ""}`.toLowerCase();
-      if (tokens.some((tok) => hay.includes(tok))) {
-        matches.push({ node_id: n.node_id, kind: n.kind });
-      }
-    }
-    const chunks = await env.DB.prepare("SELECT COUNT(*) AS n FROM chunks WHERE corpus = 'smart-model' AND (docidentifier LIKE ?1 OR doc_id LIKE ?2)").bind(`%${body?.standard}%`, `%${body?.standard}%`).first();
-    return json({
-      standard,
-      topic,
-      enumerated: { model_nodes: nodes.length, smart_model_chunks: chunks?.n ?? 0 },
-      matches: matches.slice(0, 20),
-      verdict: matches.length === 0 ? "absent" : "present",
-      scope: `the machine-readable model of ${standard} (all model nodes) \u2014 the enumeration is exhaustive over that scope; prose outside the modeled families is not claimed`
-    });
-  } catch (e) {
-    return err(502, "absence_failed", String(e).slice(0, 200));
-  }
-}
 async function verifyRoute(c) {
   const { env, req } = c;
   const t = await tierFor(c);
@@ -1727,8 +1683,6 @@ var OPENAPI_HANDLERS = {
   askKeyed: askRoute,
   search: searchRoute,
   searchKeyed: searchRoute,
-  absence: absenceRoute,
-  absenceKeyed: absenceRoute,
   verify: verifyRoute,
   verifyKeyed: verifyRoute,
   research: researchRoute,

package/package.json

@@ -27,7 +27,7 @@
     "playwright": "^1.62.1",
     "yaml": "^2.9.1"
   },
-  "version": "0.2.53",
+  "version": "0.2.54",
   "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

@@ -178,58 +178,6 @@ paths:
       responses:
         '200':
           description: The ranked hits.
-  /api/absence:
-    post:
-      tags: [Evidence]
-      summary: Request a provable absence certificate
-      description: >-
-        Enumerates the entire machine-readable model of the named standard and
-        reports how many nodes were examined and whether any matched the
-        topic. A verdict of absent is an enumeration certificate that
-        states its scope, not a statement that a search found nothing.
-      operationId: absence
-      requestBody:
-        required: true
-        content:
-          application/json:
-            schema:
-              type: object
-              required: [standard, topic]
-              properties:
-                standard:
-                  type: string
-                  description: The publication, for example R 60.
-                topic:
-                  type: string
-                  description: The topic whose absence is to be proven.
-            examples:
-              packaging:
-                value:
-                  standard: R 60
-                  topic: packaging
-      responses:
-        '200':
-          description: The enumeration certificate.
-  /v1/absence:
-    post:
-      tags: [Evidence]
-      summary: Request a provable absence certificate with an API key
-      operationId: absenceKeyed
-      security:
-        - bearerAuth: []
-      requestBody:
-        required: true
-        content:
-          application/json:
-            schema:
-              type: object
-              required: [standard, topic]
-              properties:
-                standard: { type: string }
-                topic: { type: string }
-      responses:
-        '200':
-          description: The enumeration certificate.
   /api/verify:
     post:
       tags: [Evidence]

package/workers/worker_public/src/index.ts

@@ -13,8 +13,7 @@ import { embed } from "./ai";
 import { ftsMatchQuery } from "./lexical";
 import { scoreFaithfulness } from "./faithfulness";
 import { checkQuoteAnchors } from "./anchors";
-import { namedDocumentIn } from "./context";
-import { standardForDocNumber, bindModelNode, modelGroundingBlock } from "./modelplane";
+import { bindModelNode, modelGroundingBlock } from "./modelplane";
 import { refCodec } from "./codecs";
 import { entitlementScope, standardKeysFrom } from "./requestScope";
 import type { Env } from "./env";
@@ -261,40 +260,6 @@ async function adminStatsRoute(c: RouteContext): Promise<Response> {
   }, 200, corsHeaders(req));
 }
 
-// ── Provable absence (TODO.era3/02): deterministic enumeration proof ──
-async function absenceRoute(c: RouteContext): Promise<Response> {
-  const { env, req } = c;
-  const t = await tierFor(c);
-  if (t instanceof Response) return t;
-  const body = await readJson(req);
-  const namedStd = namedDocumentIn(String(body?.standard ?? ""));
-  const standard = standardForDocNumber(namedStd?.doc_number ?? String(body?.standard ?? "").trim());
-  const topic = String(body?.topic ?? "").trim().toLowerCase();
-  if (!standard || !topic) return err(400, "invalid_input", "standard and topic are required");
-  try {
-    const nodes = (await env.DB.prepare("SELECT node_id, kind, name, content FROM model_nodes WHERE standard = ?1").bind(standard).all()).results ?? [];
-    const tokens = topic.split(/\s+/).filter((t: string) => t.length > 2);
-    const matches: unknown[] = [];
-    for (const n of nodes as any[]) {
-      const hay = `${n.name ?? ""} ${n.content ?? ""}`.toLowerCase();
-      if (tokens.some((tok: string) => hay.includes(tok))) {
-        matches.push({ node_id: n.node_id, kind: n.kind });
-      }
-    }
-    const chunks = (await env.DB.prepare("SELECT COUNT(*) AS n FROM chunks WHERE corpus = 'smart-model' AND (docidentifier LIKE ?1 OR doc_id LIKE ?2)").bind(`%${body?.standard}%`, `%${body?.standard}%`).first()) as any;
-    return json({
-      standard,
-      topic,
-      enumerated: { model_nodes: nodes.length, smart_model_chunks: chunks?.n ?? 0 },
-      matches: matches.slice(0, 20),
-      verdict: matches.length === 0 ? "absent" : "present",
-      scope: `the machine-readable model of ${standard} (all model nodes) — the enumeration is exhaustive over that scope; prose outside the modeled families is not claimed`,
-    });
-  } catch (e) {
-    return err(502, "absence_failed", String(e).slice(0, 200));
-  }
-}
-
 // ── Self-verification (TODO.era3/03): the deterministic battery, exposed ──
 async function verifyRoute(c: RouteContext): Promise<Response> {
   const { env, req } = c;
@@ -595,8 +560,6 @@ const OPENAPI_HANDLERS: Record<OpenApiOperationId, RouteHandler> = {
   askKeyed: askRoute,
   search: searchRoute,
   searchKeyed: searchRoute,
-  absence: absenceRoute,
-  absenceKeyed: absenceRoute,
   verify: verifyRoute,
   verifyKeyed: verifyRoute,
   research: researchRoute,

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

@@ -11,8 +11,6 @@ export type OpenApiOperationId =
   | "askKeyed"
   | "search"
   | "searchKeyed"
-  | "absence"
-  | "absenceKeyed"
   | "verify"
   | "verifyKeyed"
   | "research"
@@ -84,16 +82,6 @@ export const OPENAPI_SURFACE: readonly (Omit<OpenApiRoute, "operationId"> & { op
     "pattern": "/v1/search",
     "operationId": "searchKeyed"
   },
-  {
-    "method": "POST",
-    "pattern": "/api/absence",
-    "operationId": "absence"
-  },
-  {
-    "method": "POST",
-    "pattern": "/v1/absence",
-    "operationId": "absenceKeyed"
-  },
   {
     "method": "POST",
     "pattern": "/api/verify",