kibi-cli 2.22.0 → 2.23.0

package/dist/extractors/markdown.js

@@ -234,23 +234,36 @@ function isVerificationScope(value) {
 function isVerificationPerspective(value) {
     return value === "internal" || value === "consumer";
 }
-function parseFrontmatter(content) {
+/**
+ * Splits a document into its front matter block and body. Delimiters are
+ * whole lines of `---`; a `---` glued onto a value (`priority: must---`) or
+ * inside a value does not close the block.
+ */
+function splitFrontmatter(content) {
     const trimmedStart = content.trimStart();
-    if (!trimmedStart.startsWith("---")) {
-        return { data: {}, content };
+    const opening = /^---[^\S\r\n]*(?:\r?\n|$)/.exec(trimmedStart);
+    if (!opening) {
+        return null;
     }
-    const parts = trimmedStart.split("---");
-    if (parts.length < 3) {
-        return { data: {}, content };
+    const rest = trimmedStart.slice(opening[0].length);
+    const closing = /^---[^\S\r\n]*(?:\r?\n|$)/m.exec(rest);
+    if (!closing) {
+        return "unclosed";
     }
-    const frontmatter = parts[1];
-    if (frontmatter === undefined) {
+    return {
+        frontmatter: rest.slice(0, closing.index),
+        body: rest.slice(closing.index + closing[0].length),
+    };
+}
+function parseFrontmatter(content) {
+    const split = splitFrontmatter(content);
+    if (split === null || split === "unclosed") {
         return { data: {}, content };
     }
-    const parsed = yamlLoad(frontmatter);
+    const parsed = yamlLoad(split.frontmatter);
     return {
         data: isObjectRecord(parsed) ? parsed : {},
-        content: parts.slice(2).join("---"),
+        content: split.body,
     };
 }
 /**
@@ -280,14 +293,12 @@ export function requirementSemanticText(body) {
     return legacyRequirementSemanticText(withoutContextSections(body));
 }
 function hasLikelyUnquotedColonInTitle(content) {
-    if (!content.trim().startsWith("---")) {
-        return false;
-    }
-    const parts = content.split("---");
-    if (parts.length < 2) {
-        return false;
-    }
-    const frontmatter = parts[1];
+    const split = splitFrontmatter(content);
+    const frontmatter = split === null
+        ? undefined
+        : split === "unclosed"
+            ? content
+            : split.frontmatter;
     return frontmatter
         ? /^\s*title:\s*(?!["'])(?![>|])[^#\n]*:\s+\S.*$/m.test(frontmatter)
         : false;
@@ -343,16 +354,13 @@ data, entityType) {
 // implements REQ-007, REQ-004
 function extractFromMarkdownContent(content, filePath) {
     try {
-        const { data, content: body } = parseFrontmatter(content);
-        if (content.trim().startsWith("---")) {
-            const parts = content.split("---");
-            if (parts.length < 3) {
-                throw new FrontmatterError("Missing closing --- delimiter", filePath, {
-                    classification: "Missing closing ---",
-                    hint: "Ensure the frontmatter is enclosed between two '---' delimiters.",
-                });
-            }
+        if (splitFrontmatter(content) === "unclosed") {
+            throw new FrontmatterError("Missing closing --- delimiter", filePath, {
+                classification: "Missing closing ---",
+                hint: "Ensure the frontmatter is enclosed between two '---' delimiter lines; a '---' appended to the last value does not close it.",
+            });
         }
+        const { data, content: body } = parseFrontmatter(content);
         const type = data.type || inferTypeFromPath(filePath);
         if (!type) {
             throw new FrontmatterError("Could not determine entity type from path or frontmatter", filePath, {
@@ -717,14 +725,8 @@ function extractFromMarkdownContent(content, filePath) {
                 hint =
                     'Wrap values containing colons in quotes (e.g., title: "Foo: Bar").';
             }
-            else if (!content.trim().startsWith("---") ||
-                content.split("---").length < 3) {
-                if (content.trim().startsWith("---") &&
-                    content.split("---").length < 3) {
-                    classification = "Missing closing ---";
-                    hint =
-                        "Ensure the frontmatter is enclosed between two '---' delimiters.";
-                }
+            else if (splitFrontmatter(content) === null) {
+                // No front matter block: keep the generic classification.
             }
             else if (message.includes("unexpected end of the stream") ||
                 message.includes("flow collection") ||

package/dist/intent-search.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intent-search.d.ts","sourceRoot":"","sources":["../src/intent-search.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,KAAK,kBAAkB,EAIxB,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAIvD,MAAM,MAAM,qBAAqB,GAC7B,QAAQ,GACR,SAAS,GACT,SAAS,GACT,aAAa,GACb,SAAS,CAAC;AAGd,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CACvC,OAAO,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAC1D,CAAC;AAGF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAGH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;IACpD,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IACvC,kBAAkB,EAAE,OAAO,CAAC;CAC7B,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG;IAC5C,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;CACzC,CAAC;AAGF,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,WAAW,EAAE,WAAW,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B;;;;;OAKG;IACH,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAGH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE,oBAAoB,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,SAAS,GAAG,QAAQ,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AA6cH,2EAA2E;AAE3E,MAAM,MAAM,iBAAiB,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AA8B3D,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC5C,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,MAAM,EACrB,UAAU,GAAE,SAAS,SAAS,EAAO,EACrC,SAAS,GAAE,iBAA6B,GACvC,OAAO,CAAC,kBAAkB,CAAC,CAoJ7B;AAoCD,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAO1E;AA8FD,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAoD7B;AAGD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CA0C1E"}
+{"version":3,"file":"intent-search.d.ts","sourceRoot":"","sources":["../src/intent-search.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,KAAK,kBAAkB,EAIxB,MAAM,2CAA2C,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAIvD,MAAM,MAAM,qBAAqB,GAC7B,QAAQ,GACR,SAAS,GACT,SAAS,GACT,aAAa,GACb,SAAS,CAAC;AAGd,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CACvC,OAAO,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAC1D,CAAC;AAGF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC,CAAC;AAGH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;IACpD,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAGH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IACvC,kBAAkB,EAAE,OAAO,CAAC;CAC7B,CAAC,CAAC;AAGH,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG;IAC5C,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;CACzC,CAAC;AAGF,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,WAAW,EAAE,WAAW,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B;;;;;OAKG;IACH,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAGH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE,oBAAoB,CAAC;CAChC,CAAC,CAAC;AAEH,KAAK,SAAS,GAAG,QAAQ,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,CAAC;AA+eH,2EAA2E;AAE3E,MAAM,MAAM,iBAAiB,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AA8B3D,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC5C,OAAO,EAAE,mBAAmB,EAC5B,aAAa,EAAE,MAAM,EACrB,UAAU,GAAE,SAAS,SAAS,EAAO,EACrC,SAAS,GAAE,iBAA6B,GACvC,OAAO,CAAC,kBAAkB,CAAC,CAqJ7B;AAoCD,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAO1E;AA8FD,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAoD7B;AAGD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CA0C1E"}

package/dist/intent-search.js

@@ -116,8 +116,35 @@ const AMBIGUOUS_MARGIN = 0.05;
 const MAX_CANDIDATES = 10_000;
 const MAX_GRAPH_SEEDS = 5;
 const MAX_GRAPH_EDGES = 2_000;
+// A code identifier names its words without spaces ("canExport",
+// "toggleViewMode"). An entity keeps it whole and also reads it word by
+// word; a question reads it word by word only, so the identifier does not
+// weigh twice. A question about a helper then meets the requirement that
+// uses its words.
+const CAMEL_IDENTIFIER = /[A-Za-z0-9]*[a-z0-9][A-Z][A-Za-z0-9]*/g;
+function splitIdentifier(identifier) {
+    return identifier.replace(/([a-z0-9])([A-Z])/g, "$1 $2");
+}
+function expandIdentifiers(value) {
+    return value.replace(CAMEL_IDENTIFIER, (identifier) => `${identifier} ${splitIdentifier(identifier)}`);
+}
+/**
+ * The question's topic text: identifiers expanded, and the paths it also
+ * passes as `sourceLocations` removed. Those paths already reach the
+ * search as source evidence; their words ("src", "services", "ts") are not
+ * the topic and would only dilute the words that are.
+ */
+function topicText(query, locations = []) {
+    let topic = query;
+    for (const location of locations) {
+        const located = location.path.replace(/^\.\//, "");
+        if (located.length > 0)
+            topic = topic.split(located).join(" ");
+    }
+    return topic.replace(CAMEL_IDENTIFIER, splitIdentifier);
+}
 function normalize(value) {
-    return value
+    return expandIdentifiers(value)
         .trim()
         .toLowerCase()
         .replace(/[-_]+/g, " ")
@@ -406,13 +433,14 @@ async function readBodies(entities, workspaceRoot, cache) {
 }
 // implements REQ-kibi-intent-aware-source-discovery, REQ-bootstrap-provenance-stubs
 export async function rankIntentEntities(entities, options, workspaceRoot, graphEdges = [], bodyCache = new Map()) {
-    const queryTokens = tokens(options.query);
+    const query = topicText(options.query, options.sourceLocations);
+    const queryTokens = tokens(query);
     const facets = facetValues(options.semanticFacets);
     const facetTokens = facets.flatMap((facet) => tokens(facet.value));
     const allTokens = Array.from(new Set([...queryTokens, ...facetTokens]));
     // Each clause of a compound question is also scored on its own, so the
     // words of one clause do not dilute a match on another.
-    const clauseTokenSets = queryClauses(options.query).map((clause) => Array.from(new Set([...clause, ...facetTokens])));
+    const clauseTokenSets = queryClauses(query).map((clause) => Array.from(new Set([...clause, ...facetTokens])));
     const bodies = await readBodies(entities, workspaceRoot, bodyCache);
     const documentFrequency = buildDocumentFrequency(entities, bodies);
     const supersededIds = new Set(graphEdges
@@ -586,7 +614,7 @@ async function queryGraphEdges(prolog, seedIds) {
 }
 async function loadIntentCandidates(prolog, options) {
     const terms = [
-        options.query,
+        topicText(options.query, options.sourceLocations),
         ...facetValues(options.semanticFacets).map((facet) => facet.value),
     ].filter((term, index, all) => term.trim() && all.indexOf(term) === index);
     const candidates = new Map();

package/dist/operations/bootstrap/activation.d.ts

@@ -1,5 +1,11 @@
 import type { OperationContext } from "../../public/operations/runtime-types.js";
-import type { ActivationPolicy } from "./types.js";
+import type { ActivationPolicy, Candidate } from "./types.js";
 export declare function missingManifestActivation(vendored: boolean, projectSignal: boolean): ActivationPolicy;
+/**
+ * On a seeded KB the plan may hold declared intent claims, already
+ * deduplicated against the existing KB. Such a plan is applicable like a thin
+ * bootstrap plan; a seeded plan holding anything else stays a handoff.
+ */
+export declare function claimPlanActivation(policy: ActivationPolicy, candidates: readonly Candidate[]): ActivationPolicy;
 export declare function classifyActivation(context: OperationContext, files?: readonly string[]): Promise<ActivationPolicy>;
 //# sourceMappingURL=activation.d.ts.map

package/dist/operations/bootstrap/activation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"activation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/activation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAGjF,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAIpE,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,OAAO,EACjB,aAAa,EAAE,OAAO,GACrB,gBAAgB,CAIlB;AAmHD,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,GAAE,SAAS,MAAM,EAAO,GAC5B,OAAO,CAAC,gBAAgB,CAAC,CAyE3B"}
+{"version":3,"file":"activation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/activation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAGjF,OAAO,KAAK,EAAE,gBAAgB,EAAmB,SAAS,EAAE,MAAM,YAAY,CAAC;AAI/E,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,OAAO,EACjB,aAAa,EAAE,OAAO,GACrB,gBAAgB,CAIlB;AAkED;;;;GAIG;AAGH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,SAAS,SAAS,EAAE,GAC/B,gBAAgB,CAelB;AAyDD,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,GAAE,SAAS,MAAM,EAAO,GAC5B,OAAO,CAAC,gBAAgB,CAAC,CAyE3B"}

package/dist/operations/bootstrap/activation.js

@@ -16,6 +16,7 @@ function activationFor(state) {
                 // Discovery remains useful for explaining the next step, but the
                 // resulting plan is blocked until `kibi init` establishes the root.
                 allowCandidateGeneration: true,
+                allowDeclaredClaims: true,
                 reason: "Workspace has no attached root KB yet; run `kibi init` before planning bootstrap knowledge.",
                 handoffMessage: "Kibi infrastructure is not initialized. Run `kibi init`, then ask the agent to bootstrap this repository.",
             };
@@ -25,6 +26,7 @@ function activationFor(state) {
                 activationMode: "repair_bootstrap",
                 applyBlocked: true,
                 allowCandidateGeneration: true,
+                allowDeclaredClaims: true,
                 reason: "Workspace root is only partially configured; run a repair bootstrap scan and keep apply blocked until the root is repaired.",
             };
         case "vendored_only":
@@ -33,6 +35,7 @@ function activationFor(state) {
                 activationMode: "vendored_blocked",
                 applyBlocked: true,
                 allowCandidateGeneration: false,
+                allowDeclaredClaims: false,
                 reason: "Workspace appears to contain vendored Kibi sources only; bootstrap generation is blocked in this posture.",
                 handoffMessage: "Vendored Kibi posture detected. Move to the real project root before attempting bootstrap.",
             };
@@ -42,19 +45,41 @@ function activationFor(state) {
                 activationMode: "attached_thin_bootstrap",
                 applyBlocked: false,
                 allowCandidateGeneration: true,
+                allowDeclaredClaims: true,
                 reason: "Workspace has an attached but unseeded KB; deterministic bootstrap planning is eligible.",
             };
         case "root_active_seeded":
             return {
                 activationState: state,
                 activationMode: "attached_seeded_handoff",
+                // Blocked until the plan holds declared claims; see claimPlanActivation.
                 applyBlocked: true,
                 allowCandidateGeneration: false,
-                reason: "Workspace already has an attached seeded KB; bootstrap synthesis is replaced by an explicit seeded handoff.",
-                handoffMessage: "Attached seeded KB detected. Use existing KB context instead of generating bootstrap candidates.",
+                allowDeclaredClaims: true,
+                reason: "Workspace already has an attached seeded KB; discovered bootstrap candidates are replaced by an explicit seeded handoff, and only declared intent claims are planned against the existing KB.",
+                handoffMessage: "Attached seeded KB detected. Kibi does not generate discovered bootstrap candidates here: use kb_search and kb_query for existing KB context. Declare cited intentClaims in bootstrapContext to plan them against the existing KB, or compile each claim with kb_compile_intent.",
             };
     }
 }
+/**
+ * On a seeded KB the plan may hold declared intent claims, already
+ * deduplicated against the existing KB. Such a plan is applicable like a thin
+ * bootstrap plan; a seeded plan holding anything else stays a handoff.
+ */
+// implements REQ-bootstrap-discovered-candidate-budget
+// covered_by TEST-KIBI-BOOTSTRAP-PLAN-APPLY
+export function claimPlanActivation(policy, candidates) {
+    if (policy.activationState !== "root_active_seeded" ||
+        candidates.length === 0 ||
+        candidates.some((candidate) => candidate.sourceKind !== "intent_claim"))
+        return policy;
+    return {
+        ...policy,
+        applyBlocked: false,
+        reason: "Workspace already has an attached seeded KB; discovered bootstrap candidates are not generated, and the plan holds only declared intent claims that are not yet in the KB.",
+        handoffMessage: "Attached seeded KB detected. The plan holds only your declared intent claims, deduplicated against the existing KB: review it and call kb_apply_plan after explicit approval. Discovered candidates are not generated here; use kb_search and kb_query for existing knowledge, and compile any claim left in sourceOnlySignals with kb_compile_intent.",
+    };
+}
 async function exists(context, target) {
     try {
         await context.fs?.stat(target);

package/dist/operations/bootstrap/generate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAcjF,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAGpB,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACzC,SAAS,gBAAgB,EAAE,CAI7B;AA+BD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAC1C,OAAO,EAAE,MAAM,GACd;IACD,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAwJA;AA+JD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CAkH9B"}
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAejF,OAAO,KAAK,EAGV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAGpB,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACzC,SAAS,gBAAgB,EAAE,CAI7B;AA+BD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAC1C,OAAO,EAAE,MAAM,GACd;IACD,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAwJA;AAkMD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CAqI9B"}

package/dist/operations/bootstrap/generate.js

@@ -4,6 +4,7 @@ import { loadEntityIds } from "../../public/operations/discovery-entities.js";
 import { executeStatus } from "../../public/operations/discovery-executors.js";
 import { readWorkspaceSnapshot } from "../../public/operations/workspace-snapshot.js";
 import { stagedLogicalGroundingError, } from "../semantic-advisor/ingestion-boundary.js";
+import { claimPlanActivation } from "./activation.js";
 import { buildBootstrapCandidates, isProvenanceStubCandidate, } from "./candidates.js";
 import { discoverBootstrap } from "./discovery.js";
 import { buildIntentClaimCandidates } from "./intent-claims.js";
@@ -218,13 +219,40 @@ function stagedGroundingError(candidate, planned) {
     }
     return null;
 }
-async function existingEntityIds(context) {
-    if (!context.prolog)
-        return new Set();
+/**
+ * One suppressedCandidates row per declared claim the activation mode does
+ * not plan, so the per-source accounting names the real reason.
+ */
+// implements REQ-bootstrap-intent-claim-accounting
+function activationSuppressedClaims(declared, activation) {
+    const sources = new Set((declared.knowledgeSources ?? []).map((source) => source.id));
+    return (declared.intentClaims ?? [])
+        .filter((claim) => sources.has(claim.sourceId))
+        .map((claim) => ({
+        candidateId: "",
+        reason: "suppressed_by_activation",
+        sourcePath: claim.reference,
+        entityType: (claim.kind ?? "intent") === "intent" ? "req" : "fact",
+        statement: claim.statement,
+        sourceId: claim.sourceId,
+        activationMode: activation.activationMode,
+    }));
+}
+/**
+ * IDs already in the KB, so declared claims and discovered candidates that
+ * exist are counted under entity_exists instead of being planned again. An
+ * attached root starts the lazy engine when the host supplied none (the CLI
+ * does so for status anyway); an unattached root never starts one.
+ */
+// implements REQ-bootstrap-intent-claim-accounting
+async function existingEntityIds(context, attached) {
     try {
+        const prolog = context.prolog ?? (attached ? await context.ensureProlog?.() : undefined);
+        if (!prolog)
+            return new Set();
         // Ids only: materializing every entity (receipt histories included)
         // just to build this set exceeds the bounded engine output.
-        return new Set((await loadEntityIds(context.prolog)).filter(Boolean));
+        return new Set((await loadEntityIds(prolog)).filter(Boolean));
     }
     catch (error) {
         throw new Error(`Bootstrap binding could not read existing entity IDs: ${error instanceof Error ? error.message : String(error)}`);
@@ -317,13 +345,12 @@ export async function executePlanBootstrap(args, context) {
     const minConfidence = clamp(args.minConfidence ?? 0.8, 0.6, 0.95);
     const maxCandidates = clamp(Math.trunc(args.maxCandidates ?? 50), 1, 200);
     const entityBindingDiagnostics = [];
-    const [discovery, existingIds] = await Promise.all([
-        discoverBootstrap(context),
-        existingEntityIds(context).catch((error) => {
-            entityBindingDiagnostics.push(error.message);
-            return new Set();
-        }),
-    ]);
+    const discovery = await discoverBootstrap(context);
+    const existingIds = await existingEntityIds(context, discovery.activation.activationState === "root_active_thin" ||
+        discovery.activation.activationState === "root_active_seeded").catch((error) => {
+        entityBindingDiagnostics.push(error.message);
+        return new Set();
+    });
     // Discovery runs before planning so its evidence paths can be bound into
     // the exact plan rather than leaving the reviewer to reconstruct them.
     const bound = await expectedSnapshots(context, discovery.evidence
@@ -341,13 +368,17 @@ export async function executePlanBootstrap(args, context) {
             diagnostics: [],
         };
     // Intent harvested from declared knowledge sources joins the repository
-    // evidence under the same activation policy, filters, and selection.
-    const claimed = discovery.activation.allowCandidateGeneration
+    // evidence under the same filters and selection. A seeded KB still plans
+    // declared claims (deduplicated against the existing KB); only discovered
+    // candidates stay off there.
+    const allowDeclaredClaims = discovery.activation.allowDeclaredClaims ??
+        discovery.activation.allowCandidateGeneration;
+    const claimed = allowDeclaredClaims
         ? buildIntentClaimCandidates(declared, existingIds, minConfidence, subjectKeys)
         : {
             candidates: [],
             sourceOnlySignals: [],
-            suppressed: [],
+            suppressed: activationSuppressedClaims(declared, discovery.activation),
             diagnostics: [],
         };
     const filteredSignals = filterSourceOnlySignals([...built.sourceOnlySignals, ...claimed.sourceOnlySignals], args.entityTypes);
@@ -361,10 +392,19 @@ export async function executePlanBootstrap(args, context) {
         entityType: "",
     }));
     const { bindingDiagnostics, ...expected } = bound;
+    // A seeded plan holding only declared claims is applicable.
+    const activation = claimPlanActivation(discovery.activation, shared.candidates);
     return presentBootstrap({
         root: context.workspaceRoot,
-        activation: discovery.activation,
-        discoverySummary: discovery.summary,
+        activation,
+        discoverySummary: {
+            ...discovery.summary,
+            applyBlocked: activation.applyBlocked,
+            reason: activation.reason,
+            ...(activation.handoffMessage
+                ? { handoffMessage: activation.handoffMessage }
+                : {}),
+        },
         migrationWarning: discovery.migrationWarning,
         pluginOffers: discovery.pluginOffers,
         ...(args.bootstrapContext

package/dist/operations/bootstrap/guidance-actions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guidance-actions.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance-actions.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAkBpB,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,MAAM,GAAE,SAAS,WAAW,EAAO,GAClC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAgF9C"}
+{"version":3,"file":"guidance-actions.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance-actions.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAkBpB,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,MAAM,GAAE,SAAS,WAAW,EAAO,GAClC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CA6F9C"}

package/dist/operations/bootstrap/guidance-actions.js

@@ -52,6 +52,8 @@ export function buildActions(root, activation, declared, candidates, signals, of
                 : "Use kb_coverage to review traceability and identify areas needing attention.",
         });
     }
+    const seeded = activation.activationMode === "attached_seeded_handoff";
+    const declaredClaims = declared.intentClaims?.length ?? 0;
     if (activation.applyBlocked)
         result.push({
             order: order++,
@@ -62,14 +64,24 @@ export function buildActions(root, activation, declared, candidates, signals, of
         result.push({
             order: order++,
             kind: "plan",
-            description: `Review the ${candidates.length} safe candidate(s) in the hash-bound plan, then call kb_apply_plan after explicit approval.`,
+            description: seeded
+                ? `Review the ${candidates.length} candidate(s) planned from declared intent claims (discovered candidates are not generated on a seeded KB, and claims already in the KB are not planned again), then call kb_apply_plan after explicit approval.`
+                : `Review the ${candidates.length} safe candidate(s) in the hash-bound plan, then call kb_apply_plan after explicit approval.`,
             candidateIds: candidates.map((candidate) => candidate.candidateId),
         });
+    // On a seeded KB, declared claims the plan does not write go through the
+    // compile workflow, not a second bootstrap.
+    if (seeded && declaredClaims > 0 && candidates.length === 0)
+        result.push({
+            order: order++,
+            kind: "handoff",
+            description: "No declared intent claim could be planned. Claims already in the KB need nothing; compile each remaining claim with kb_compile_intent, citing its source and reference (see the Knowledge source diagnostics).",
+        });
     if (signals.length > 0)
         result.push({
             order: order++,
             kind: "handoff",
-            description: `Author ${[...new Set(signals.map((signal) => signal.kind.toUpperCase()))].join("/")} entities manually from source-only evidence.`,
+            description: `Author ${[...new Set(signals.map((signal) => signal.kind.toUpperCase()))].join("/")} entities manually from source-only evidence${seeded ? "; compile declared claims left there with kb_compile_intent" : ""}.`,
         });
     for (const offer of offers)
         result.push({

package/dist/operations/bootstrap/guidance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guidance.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAwFpB,wBAAgB,UAAU,CACxB,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,MAAM,GAClB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAiEnC;AAGD,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C,GAAG;IACF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAChE,CA2BA"}
+{"version":3,"file":"guidance.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AA+FpB,wBAAgB,UAAU,CACxB,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,MAAM,GAClB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAkEnC;AAGD,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C,GAAG;IACF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAChE,CA2BA"}

package/dist/operations/bootstrap/guidance.js

@@ -51,7 +51,10 @@ function prompt(root, activation, declared, candidates, signals, warnings) {
     }
     else if (declared.verificationAnchors.length > 0)
         bullets.push(`- Verify after kb_check with ${summary(declared.verificationAnchors, 2)}.`);
-    if (activation.activationMode === "attached_thin_handoff" ||
+    if (activation.activationMode === "attached_seeded_handoff" &&
+        !activation.applyBlocked)
+        bullets.push("- Seeded KB: only declared intent claims are planned; use kb_search or kb_query for existing knowledge.");
+    else if (activation.activationMode === "attached_thin_handoff" ||
         activation.activationMode === "attached_seeded_handoff")
         bullets.push("- Handoff: use kb_search, kb_query, or gap/coverage tools to work with existing KB.");
     if (warnings.length > 0)
@@ -78,7 +81,8 @@ export function confidence(activation, declared, candidates, signals, promptBloc
         repair_bootstrap: -0.05,
         attached_thin_bootstrap: 0.04,
         attached_thin_handoff: -0.12,
-        attached_seeded_handoff: -0.18,
+        // A seeded plan of declared claims weighs like a thin bootstrap plan.
+        attached_seeded_handoff: activation.applyBlocked ? -0.18 : 0.04,
         vendored_blocked: -0.25,
     }[activation.activationMode];
     reasons.push(`${activation.activationMode} determined the bootstrap posture.`);

package/dist/operations/bootstrap/presentation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"presentation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/presentation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,gBAAgB,EAGhB,gBAAgB,EAChB,wBAAwB,EAGxB,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AA6GpB,wBAAgB,yBAAyB,CACvC,KAAK,CAAC,EAAE,gBAAgB,GACvB,wBAAwB,CAe1B;AAgBD;;;GAGG;AAEH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,GACjD,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,CAYhE;AA0CD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,oBAAoB,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5E,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,wEAAwE;IACxE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACjD,GAAG,mBAAmB,CAqOtB"}
+{"version":3,"file":"presentation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/presentation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EACV,gBAAgB,EAGhB,gBAAgB,EAChB,wBAAwB,EAGxB,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AA6GpB,wBAAgB,yBAAyB,CACvC,KAAK,CAAC,EAAE,gBAAgB,GACvB,wBAAwB,CAe1B;AAgBD;;;GAGG;AAEH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,GACjD,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,CAYhE;AAoID,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,oBAAoB,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5E,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,wEAAwE;IACxE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACjD,GAAG,mBAAmB,CAqOtB"}

package/dist/operations/bootstrap/presentation.js

@@ -136,9 +136,11 @@ export function suppressionCounts(rows) {
         .map(([reason, count]) => ({ reason, count }))
         .sort((left, right) => right.count - left.count || left.reason.localeCompare(right.reason));
 }
+const EXISTING_REASONS = ["entity_exists"];
+const FILTERED_REASONS = ["filtered_by_entity_type", "below_min_confidence"];
 /** Declared claims per knowledge source against what the plan writes. */
 // implements REQ-bootstrap-intent-claim-accounting
-function claimAccounting(declared, candidates, suppressed) {
+function claimAccounting(declared, candidates, suppressed, signals) {
     return (declared.knowledgeSources ?? []).flatMap((source) => {
         const count = (declared.intentClaims ?? []).filter((claim) => claim.sourceId === source.id).length;
         if (count === 0)
@@ -146,14 +148,75 @@ function claimAccounting(declared, candidates, suppressed) {
         const prefix = `claim:${source.id}:`;
         const planned = candidates.filter((candidate) => candidate.sourceKind === "intent_claim" &&
             candidate.candidateId.startsWith(prefix)).length;
-        const rows = (reasons) => suppressed.filter((row) => reasons.includes(String(row.reason)) &&
-            String(row.candidateId).startsWith(prefix)).length;
-        const existing = rows(["entity_exists"]);
+        // Rows cite their claim by candidate ID, or by sourceId when the claim
+        // never became a candidate (stale source, missing excerpt, activation).
+        const sourceRows = suppressed.filter((row) => String(row.candidateId ?? "").startsWith(prefix) ||
+            (!row.candidateId && row.sourceId === source.id));
+        const rows = (reasons) => sourceRows.filter((row) => reasons.includes(String(row.reason)));
+        const existing = rows(EXISTING_REASONS).length;
         // Claims the caller filtered out (entityTypes, minConfidence) are not lost.
-        const filtered = rows(["filtered_by_entity_type", "below_min_confidence"]);
-        return [{ source, declared: count, planned, existing, filtered }];
+        const filteredRows = rows(FILTERED_REASONS);
+        const filtered = filteredRows.length;
+        // The rest is not planned; each claim is attributed to one reason, in
+        // order, so the counts add up to what was declared.
+        let rest = Math.max(0, count - planned - existing - filtered);
+        const take = (value) => {
+            const taken = Math.min(rest, value);
+            rest -= taken;
+            return taken;
+        };
+        const byActivation = take(rows(["suppressed_by_activation"]).length);
+        const otherRows = sourceRows.filter((row) => ![
+            ...EXISTING_REASONS,
+            ...FILTERED_REASONS,
+            "suppressed_by_activation",
+        ].includes(String(row.reason)));
+        const suppressedCount = take(otherRows.length);
+        // A claim below minConfidence or invalid at write time also leaves a
+        // follow-up; it is already counted by its row.
+        const counted = new Set([...filteredRows, ...otherRows].map((row) => String(row.sourcePath)));
+        const sourceOnly = take(signals.filter((signal) => signal.evidence.some((line) => line.startsWith(`intent_claim:${source.id}:`)) && !counted.has(signal.sourcePath)).length);
+        return [
+            {
+                source,
+                declared: count,
+                planned,
+                existing,
+                filtered,
+                byActivation,
+                suppressed: suppressedCount,
+                sourceOnly,
+                unattributed: rest,
+            },
+        ];
     });
 }
+/** One diagnostic line per source that names why claims were not planned. */
+// implements REQ-bootstrap-intent-claim-accounting
+function accountingLine(row, activation) {
+    const notPlanned = row.byActivation + row.suppressed + row.sourceOnly + row.unattributed;
+    const reasons = [
+        ...(row.byActivation > 0
+            ? [
+                `${row.byActivation} because bootstrap synthesis is suppressed in ${activation.activationMode}; compile them with kb_compile_intent`,
+            ]
+            : []),
+        ...(row.suppressed > 0
+            ? [`${row.suppressed} suppressed (rows in suppressedCandidates)`]
+            : []),
+        ...(row.sourceOnly > 0
+            ? [
+                `${row.sourceOnly} need authoring (sourceOnlySignals; compile them with kb_compile_intent)`,
+            ]
+            : []),
+        ...(row.unattributed > 0
+            ? [
+                `${row.unattributed} without a suppressedCandidates row or follow-up (see diagnostics)`,
+            ]
+            : []),
+    ];
+    return `Knowledge source ${row.source.id} (${row.source.authority}): ${row.declared} declared claim(s), ${row.planned} planned, ${row.existing} already in the KB, ${row.filtered} filtered out, ${notPlanned} not planned${reasons.length > 0 ? `: ${reasons.join("; ")}` : ""}.`;
+}
 // implements REQ-KIBI-BOOTSTRAP-PLAN, REQ-bootstrap-discovered-candidate-budget, REQ-bootstrap-provenance-stubs
 export function presentBootstrap(input) {
     const declaredContext = normalizeBootstrapContext(input.bootstrapContext);
@@ -238,10 +301,13 @@ export function presentBootstrap(input) {
             candidateId: candidate.candidateId,
         };
     });
-    const accounting = claimAccounting(declaredContext, input.candidates, input.suppressedCandidates);
+    const accounting = claimAccounting(declaredContext, input.candidates, input.suppressedCandidates, input.sourceOnlySignals);
     const droppedAuthoritative = accounting.filter((row) => row.source.authority === "authoritative" &&
         row.planned + row.existing + row.filtered === 0);
-    const status = input.activation.activationState === "root_active_seeded"
+    const status = 
+    // A seeded KB is a handoff unless its plan holds declared claims.
+    input.activation.activationState === "root_active_seeded" &&
+        input.activation.applyBlocked
         ? "handoff"
         : applyBlocked
             ? "blocked"
@@ -277,7 +343,7 @@ export function presentBootstrap(input) {
                 `Suppressed candidates by reason: ${suppression.map((row) => `${row.reason} ${row.count}`).join(", ")} (rows in suppressedCandidates).`,
             ]
             : []),
-        ...accounting.map((row) => `Knowledge source ${row.source.id} (${row.source.authority}): ${row.declared} declared claim(s), ${row.planned} planned, ${row.existing} already in the KB, ${row.filtered} filtered out, ${row.declared - row.planned - row.existing - row.filtered} not planned (see suppressedCandidates and source-only follow-ups).`),
+        ...accounting.map((row) => accountingLine(row, input.activation)),
     ];
     const planBody = {
         version: "kibi.bootstrap-plan.v1",

package/dist/operations/bootstrap/types.d.ts

@@ -105,6 +105,12 @@ export type ActivationPolicy = {
     readonly activationMode: ActivationMode;
     readonly applyBlocked: boolean;
     readonly allowCandidateGeneration: boolean;
+    /**
+     * Whether declared intent claims from bootstrapContext are planned. A
+     * seeded KB turns off discovered candidates but still plans these claims.
+     * Defaults to allowCandidateGeneration when omitted.
+     */
+    readonly allowDeclaredClaims?: boolean;
     readonly reason: string;
     readonly handoffMessage?: string;
 };