@saasontools/strauss-kb 0.1.11 → 0.1.12

package/dist/index.d.cts

@@ -590,6 +590,12 @@ type KbLoadResult = {
     tokensLoaded: number;
     /** `null` when loaded via `all`: no ceiling was applied. */
     budgetTokens: number | null;
+    /**
+     * Sha256 over every record's content and standing, sorted by concept
+     * id. Flips when a body, frontmatter, or standing changes; it's the
+     * base's content stamp, compared by hooks and `kb_stamp` (SAA-719).
+     */
+    digest: string;
 } | {
     loaded: false;
     recordCount: number;
@@ -597,6 +603,13 @@ type KbLoadResult = {
     budgetTokens: number;
     /** The refusal in words, naming the budget and what to call next. */
     message: string;
+    /**
+     * Same digest a successful load would carry, computed over what would
+     * have been handed back. Cheap here — adjudication already ran before
+     * the refusal — and it lets a caller notice a refused bundle's content
+     * changed (say, after a narrower `type` filter) without loading it.
+     */
+    digest: string;
 };
 type KbWriteInput = {
     type: string;

package/dist/index.d.ts

@@ -590,6 +590,12 @@ type KbLoadResult = {
     tokensLoaded: number;
     /** `null` when loaded via `all`: no ceiling was applied. */
     budgetTokens: number | null;
+    /**
+     * Sha256 over every record's content and standing, sorted by concept
+     * id. Flips when a body, frontmatter, or standing changes; it's the
+     * base's content stamp, compared by hooks and `kb_stamp` (SAA-719).
+     */
+    digest: string;
 } | {
     loaded: false;
     recordCount: number;
@@ -597,6 +603,13 @@ type KbLoadResult = {
     budgetTokens: number;
     /** The refusal in words, naming the budget and what to call next. */
     message: string;
+    /**
+     * Same digest a successful load would carry, computed over what would
+     * have been handed back. Cheap here — adjudication already ran before
+     * the refusal — and it lets a caller notice a refused bundle's content
+     * changed (say, after a narrower `type` filter) without loading it.
+     */
+    digest: string;
 };
 type KbWriteInput = {
     type: string;

package/dist/index.js

@@ -1,10 +1,10 @@
 import {
   runKbCli
-} from "./chunk-I3WW4F6X.js";
+} from "./chunk-F2U2YLWV.js";
 import {
   createKbMcpServer,
   runKbMcpServer
-} from "./chunk-CWWXMD35.js";
+} from "./chunk-EXKK2KUN.js";
 import {
   BaseError,
   CONTEXT_BEGIN,
@@ -103,7 +103,7 @@ import {
   trace,
   unpinBase,
   validateBundle
-} from "./chunk-OVRQCQ6P.js";
+} from "./chunk-33ZCBEUV.js";
 
 // src/match-diff.ts
 function matchToDiff(files, records, options = {}) {

package/dist/mcp-main.cjs

@@ -2471,7 +2471,7 @@ var loadCommand = define({
   name: "load",
   tool: "kb_load",
   usage: "load [type] [--budget N | --all] [--repo-root PATH]",
-  description: "Loads the whole knowledge base at once, each record with its standing. Superseded records arrive as stubs (name, replacement, date); rejected and open records arrive whole. Refuses past the token budget rather than truncating \u2014 call kb_catalog, then kb_pack on the record that matters, or narrow with `type`; kb_query for a lookup by wording. `all` bypasses the budget.",
+  description: "Loads the whole knowledge base at once, each record with its standing. Superseded records arrive as stubs; rejected and open records arrive whole. Refuses past the token budget \u2014 call kb_catalog, kb_pack on it; `all` bypasses the budget. Never read record files directly. Cache-stable; `digest` is the base's content stamp \u2014 hooks use it to tell you when to reload.",
   input: import_zod12.z.object({
     bundlePath,
     type: import_zod12.z.enum(KB_RECORD_TYPES).optional(),
@@ -2714,7 +2714,7 @@ var queryCommand = define({
   name: "query",
   tool: "kb_query",
   usage: "query <text...> [--repo-root PATH]",
-  description: "Search and return each match with its standing. Results are flagged, never filtered: a superseded record comes back alongside whatever replaced it, and a rejected one is marked as something explicitly not adopted. This is the lookup-by-wording rung, and the narrowest of the three: use it when you know roughly what the record says. The decision rule around it \u2014 while the base fits kb_load's token budget, kb_load it whole, because on this package's measurements a reader holding the whole base answered eight of nine questions whose wording appears in no record where embedding search answered four; once kb_load refuses, kb_catalog for one line per record and then kb_pack on the record the work centres on; and kb_query when the question is a point lookup rather than a neighbourhood. A query cannot tell you that nothing was decided \u2014 it returns its nearest hit whatever the distance \u2014 so reach for kb_catalog when the question is what exists. Never read record files directly: this tool (with kb_load, kb_catalog, kb_pack and kb_trace) is the only supported way to read a base; a file read bypasses supersession resolution and returns replaced records as if current.",
+  description: "Search; every hit carries its standing. Flagged, never filtered: a superseded hit returns with its replacement, a rejected one is marked. Prefer kb_load when the base fits its budget \u2014 a full read beats search. Results are volatile: place them at the tail, not the cached prefix. Never read record files directly.",
   input: import_zod18.z.object({
     bundlePath,
     text: import_zod18.z.string().optional(),
@@ -3734,6 +3734,7 @@ ${answer}
     const records = adjudicated.filter((hit) => hit.standing !== "superseded");
     const superseded = adjudicated.filter((hit) => hit.standing === "superseded").map(stub);
     const approxTokens2 = records.reduce((total, hit) => total + estimateTokens(hit.record), 0) + superseded.reduce((total, entry) => total + estimateStubTokens(entry), 0);
+    const bundleDigestValue = bundleDigest(records, superseded);
     if (!options.all && approxTokens2 > budgetTokens) {
       return {
         loaded: false,
@@ -3744,7 +3745,8 @@ ${answer}
           approxTokens: approxTokens2,
           budgetTokens,
           type: options.type
-        })
+        }),
+        digest: bundleDigestValue
       };
     }
     return {
@@ -3753,7 +3755,8 @@ ${answer}
       tokensLoaded: approxTokens2,
       budgetTokens: options.all ? null : budgetTokens,
       records,
-      superseded
+      superseded,
+      digest: bundleDigestValue
     };
   }
   /** How a position was arrived at, as a timeline. See `trace.ts`. */
@@ -4070,9 +4073,25 @@ function normalizeActor(id) {
 function digest(contents) {
   return (0, import_node_crypto2.createHash)("sha256").update(contents).digest("hex");
 }
+function bundleDigest(records, superseded) {
+  const entries = [
+    ...records.map(
+      (hit) => `${hit.record.conceptId}:current:${digest(
+        stringifyMarkdownWithFrontmatter(
+          hit.record.body,
+          hit.record.frontmatter
+        )
+      )}`
+    ),
+    ...superseded.map(
+      (entry) => `${entry.conceptId}:superseded:${digest(JSON.stringify(entry))}`
+    )
+  ].sort();
+  return digest(entries.join("\n"));
+}
 
 // src/version.ts
-var VERSION = true ? "0.1.11" : "0.0.0-dev";
+var VERSION = true ? "0.1.12" : "0.0.0-dev";
 
 // src/mcp.ts
 function createKbMcpServer() {