kibi-cli 2.4.0 → 2.5.0

package/dist/operations/bootstrap/candidates.js

@@ -4,42 +4,37 @@ import { extractFromMarkdownString } from "../../extractors/markdown.js";
 import { confidenceBand, slug, upsert } from "./candidate-helpers.js";
 import { markdownCandidates, } from "./markdown-candidates.js";
 function typedCandidates(item, existingIds) {
-    try {
-        const results = item.kind === "symbol_manifest"
-            ? extractFromManifestString(item.content ?? "", item.relativePath ?? item.label)
-            : [
-                extractFromMarkdownString(item.content ?? "", item.relativePath ?? item.label),
-            ];
-        return results.flatMap(({ entity, relationships }) => {
-            if (existingIds.has(entity.id))
-                return [];
-            const sourceKind = item.kind === "symbol_manifest" ? "symbol_manifest" : "typed_markdown";
-            return [
-                {
-                    candidateId: `${sourceKind === "symbol_manifest" ? "mf" : "md"}:${item.relativePath}:${entity.id}`,
-                    entityType: entity.type,
-                    title: entity.title,
-                    sourceKind,
-                    sourcePath: item.absolutePath ?? item.label,
-                    confidence: sourceKind === "symbol_manifest" ? 0.98 : 1,
-                    confidenceBand: "high",
-                    evidence: [
-                        `extracted_from_${sourceKind}:${item.relativePath}`,
-                        `entity_id:${entity.id}`,
-                    ],
-                    relationships: relationships.map(({ type, from, to }) => ({
-                        type,
-                        from,
-                        to,
-                    })),
-                    applyPlan: [upsert(entity, relationships)],
-                },
-            ];
-        });
-    }
-    catch {
-        return [];
-    }
+    const results = item.kind === "symbol_manifest"
+        ? extractFromManifestString(item.content ?? "", item.relativePath ?? item.label)
+        : [
+            extractFromMarkdownString(item.content ?? "", item.relativePath ?? item.label),
+        ];
+    return results.flatMap(({ entity, relationships }) => {
+        if (existingIds.has(entity.id))
+            return [];
+        const sourceKind = item.kind === "symbol_manifest" ? "symbol_manifest" : "typed_markdown";
+        return [
+            {
+                candidateId: `${sourceKind === "symbol_manifest" ? "mf" : "md"}:${item.relativePath}:${entity.id}`,
+                entityType: entity.type,
+                title: entity.title,
+                sourceKind,
+                sourcePath: item.absolutePath ?? item.label,
+                confidence: sourceKind === "symbol_manifest" ? 0.98 : 1,
+                confidenceBand: "high",
+                evidence: [
+                    `extracted_from_${sourceKind}:${item.relativePath}`,
+                    `entity_id:${entity.id}`,
+                ],
+                relationships: relationships.map(({ type, from, to }) => ({
+                    type,
+                    from,
+                    to,
+                })),
+                applyPlan: [upsert(entity, relationships)],
+            },
+        ];
+    });
 }
 function providerCandidate(item, existingIds, minConfidence) {
     if (!new Set([
@@ -96,13 +91,32 @@ function providerCandidate(item, existingIds, minConfidence) {
 export function buildBootstrapCandidates(evidence, existingIds, minConfidence, includeGenericMarkdown) {
     const candidates = [];
     const sourceOnlySignals = [];
+    const diagnostics = [];
+    const suppressed = [];
     for (const item of evidence) {
-        if (item.kind === "typed_markdown" || item.kind === "symbol_manifest")
-            candidates.push(...typedCandidates(item, existingIds));
+        if (item.kind === "typed_markdown" || item.kind === "symbol_manifest") {
+            try {
+                candidates.push(...typedCandidates(item, existingIds));
+            }
+            catch (error) {
+                const message = error instanceof Error ? error.message : String(error);
+                const sourcePath = item.relativePath ?? item.label;
+                diagnostics.push(`Bootstrap extraction failed at ${sourcePath}: ${message}`);
+                suppressed.push({
+                    candidateId: "",
+                    sourcePath,
+                    entityType: "",
+                    reason: "extraction_failed",
+                    message,
+                });
+            }
+        }
         if (item.kind === "generic_markdown" && includeGenericMarkdown) {
             const built = markdownCandidates(item, existingIds, minConfidence);
             candidates.push(...built.candidates);
             sourceOnlySignals.push(...built.sourceOnlySignals);
+            diagnostics.push(...built.diagnostics);
+            suppressed.push(...built.suppressed);
         }
         if (item.kind === "test_topology") {
             const confidence = typeof item.data.confidence === "number" ? item.data.confidence : 0.8;
@@ -122,6 +136,8 @@ export function buildBootstrapCandidates(evidence, existingIds, minConfidence, i
     }
     return {
         candidates,
+        diagnostics,
+        suppressed,
         sourceOnlySignals: sourceOnlySignals.sort((left, right) => right.confidence - left.confidence ||
             left.sourcePath.localeCompare(right.sourcePath)),
     };

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

@@ -4,6 +4,8 @@ export declare function filterSourceOnlySignals(signals: readonly SourceOnlySign
 export declare function selectBootstrapCandidates(input: readonly Candidate[], existingIds: ReadonlySet<string>, entityTypes: readonly string[] | undefined, maximum: number): {
     readonly candidates: readonly Candidate[];
     readonly suppressed: readonly Readonly<Record<string, unknown>>[];
+    readonly sourceOnlySignals: readonly SourceOnlySignal[];
+    readonly diagnostics: readonly string[];
 };
 export declare function executePlanBootstrap(args: PlanBootstrapArgs, context: OperationContext): Promise<PlanBootstrapResult>;
 //# sourceMappingURL=generate.d.ts.map

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;AAMjF,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACzC,SAAS,gBAAgB,EAAE,CAI7B;AA2BD,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;CACnE,CAiDA;AA+GD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CA4E9B"}
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAOjF,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACzC,SAAS,gBAAgB,EAAE,CAI7B;AA8BD,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,CAsFA;AAiHD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CA6F9B"}

package/dist/operations/bootstrap/generate.js

@@ -7,6 +7,7 @@ import { buildBootstrapCandidates } from "./candidates.js";
 import { discoverBootstrap } from "./discovery.js";
 import { buildIntentClaimCandidates } from "./intent-claims.js";
 import { normalizeBootstrapContext, presentBootstrap } from "./presentation.js";
+import { validateBootstrapPayload } from "./validation.js";
 export function filterSourceOnlySignals(signals, entityTypes) {
     return entityTypes && entityTypes.length > 0
         ? signals.filter((signal) => entityTypes.includes(signal.kind))
@@ -20,7 +21,7 @@ function titleKey(candidate) {
     return `${candidate.entityType}::${candidate.title.trim().toLowerCase().replace(/\s+/g, " ")}`;
 }
 function firstUpsertId(candidate) {
-    const first = candidate.applyPlan[0];
+    const first = candidate.applyPlan.find((payload) => payload.type === candidate.entityType) ?? candidate.applyPlan[0];
     if (typeof first?.id === "string")
         return first.id;
     const properties = first?.properties;
@@ -35,48 +36,84 @@ function sha256(value) {
     return createHash("sha256").update(value).digest("hex");
 }
 export function selectBootstrapCandidates(input, existingIds, entityTypes, maximum) {
-    const allowed = entityTypes && entityTypes.length > 0 ? new Set(entityTypes) : null;
-    const sorted = input
-        .filter((candidate) => allowed?.has(candidate.entityType) ?? true)
-        .sort((left, right) => right.confidence - left.confidence ||
-        left.sourcePath.localeCompare(right.sourcePath))
-        .slice(0, maximum);
-    const typedTitles = new Set(sorted
-        .filter((candidate) => candidate.sourceKind === "typed_markdown")
-        .map(titleKey));
-    const selected = new Map();
+    const allowed = entityTypes?.length ? new Set(entityTypes) : null;
+    const lane = (candidate) => {
+        if (candidate.sourceKind === "intent_claim")
+            return 0;
+        if (candidate.entityType === "req" &&
+            ["typed_markdown", "generic_markdown"].includes(candidate.sourceKind))
+            return 1;
+        return 2;
+    };
     const suppressed = [];
-    const suppress = (candidate, reason) => {
+    const sourceOnlySignals = [];
+    const diagnostics = [];
+    const suppress = (candidate, reason, message) => {
         suppressed.push({
             candidateId: candidate.candidateId,
             reason,
             sourcePath: candidate.sourcePath,
             entityType: candidate.entityType,
+            ...(message ? { message } : {}),
         });
     };
-    for (const candidate of sorted) {
+    const writable = input
+        .filter((candidate) => {
+        if (allowed && !allowed.has(candidate.entityType))
+            return false;
         if (existingIds.has(firstUpsertId(candidate))) {
             suppress(candidate, "entity_exists");
-            continue;
+            return false;
+        }
+        try {
+            if (candidate.applyPlan.length === 0)
+                throw new Error("Candidate has no write actions");
+            for (const payload of candidate.applyPlan)
+                validateBootstrapPayload(payload, new Date());
+            return true;
         }
+        catch (error) {
+            const message = error instanceof Error ? error.message : String(error);
+            suppress(candidate, "invalid_write", message);
+            diagnostics.push(`Invalid bootstrap candidate at ${candidate.sourcePath}: ${message}`);
+            sourceOnlySignals.push({
+                kind: "req",
+                title: `Author requirement: ${candidate.title}`,
+                sourcePath: candidate.sourcePath,
+                confidence: candidate.confidence,
+                evidence: candidate.evidence,
+            });
+            return false;
+        }
+    })
+        .sort((left, right) => lane(left) - lane(right) ||
+        right.confidence - left.confidence ||
+        left.sourcePath.localeCompare(right.sourcePath) ||
+        left.candidateId.localeCompare(right.candidateId));
+    const typedTitles = new Set(writable
+        .filter((candidate) => candidate.sourceKind === "typed_markdown")
+        .map(titleKey));
+    const selected = new Map();
+    for (const candidate of writable) {
         const key = titleKey(candidate);
         if (candidate.sourceKind === "generic_markdown" && typedTitles.has(key)) {
             suppress(candidate, "shadowed_by_typed_source");
-            continue;
         }
-        const previous = selected.get(key);
-        if (!previous) {
-            selected.set(key, candidate);
-            continue;
+        else if (selected.has(key)) {
+            suppress(candidate, "duplicate_title");
         }
-        const keepCandidate = candidate.confidence > previous.confidence ||
-            (candidate.confidence === previous.confidence &&
-                candidate.sourcePath < previous.sourcePath);
-        suppress(keepCandidate ? previous : candidate, "duplicate_title");
-        if (keepCandidate)
+        else
             selected.set(key, candidate);
     }
-    return { candidates: [...selected.values()], suppressed };
+    const unique = [...selected.values()];
+    for (const candidate of unique.slice(maximum))
+        suppress(candidate, "over_limit");
+    return {
+        candidates: unique.slice(0, maximum),
+        suppressed,
+        sourceOnlySignals,
+        diagnostics,
+    };
 }
 async function existingEntityIds(context) {
     if (!context.prolog)
@@ -86,8 +123,8 @@ async function existingEntityIds(context) {
         // just to build this set exceeds the bounded engine output.
         return new Set((await loadEntityIds(context.prolog)).filter(Boolean));
     }
-    catch {
-        return new Set();
+    catch (error) {
+        throw new Error(`Bootstrap binding could not read existing entity IDs: ${error instanceof Error ? error.message : String(error)}`);
     }
 }
 async function expectedSnapshots(context, evidencePaths) {
@@ -171,9 +208,13 @@ export async function executePlanBootstrap(args, context) {
     const includeGenericMarkdown = args.includeGenericMarkdown ?? true;
     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),
+        existingEntityIds(context).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.
@@ -181,8 +222,13 @@ export async function executePlanBootstrap(args, context) {
         .map((evidence) => evidence.relativePath)
         .filter((value) => Boolean(value)));
     const built = discovery.activation.allowCandidateGeneration
-        ? buildBootstrapCandidates(discovery.evidence, existingIds, minConfidence, includeGenericMarkdown)
-        : { candidates: [], sourceOnlySignals: [] };
+        ? buildBootstrapCandidates(discovery.evidence, new Set(), minConfidence, includeGenericMarkdown)
+        : {
+            candidates: [],
+            sourceOnlySignals: [],
+            suppressed: [],
+            diagnostics: [],
+        };
     // Intent harvested from declared knowledge sources joins the repository
     // evidence under the same activation policy, filters, and selection.
     const claimed = discovery.activation.allowCandidateGeneration
@@ -211,14 +257,22 @@ export async function executePlanBootstrap(args, context) {
             ? { bootstrapContext: args.bootstrapContext }
             : {}),
         candidates: selected.candidates,
-        sourceOnlySignals: filteredSignals,
+        sourceOnlySignals: [
+            ...filteredSignals,
+            ...filterSourceOnlySignals(selected.sourceOnlySignals, args.entityTypes),
+        ],
         suppressedCandidates: [
             ...selected.suppressed,
             ...claimed.suppressed,
+            ...built.suppressed,
             ...ignored,
         ],
         expected,
-        bindingDiagnostics,
-        contextDiagnostics: claimed.diagnostics,
+        bindingDiagnostics: [...bindingDiagnostics, ...entityBindingDiagnostics],
+        contextDiagnostics: [
+            ...claimed.diagnostics,
+            ...built.diagnostics,
+            ...selected.diagnostics,
+        ],
     });
 }

package/dist/operations/bootstrap/intent-claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"intent-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/intent-claims.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,wBAAwB,EAGxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAQpB,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AAcF;;;;;;;GAOG;AAEH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,wBAAwB,EAClC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,sBAAsB,CAgFxB"}
+{"version":3,"file":"intent-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/intent-claims.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,wBAAwB,EAGxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAQpB,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AAcF;;;;;;;GAOG;AAEH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,wBAAwB,EAClC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,sBAAsB,CA2FxB"}

package/dist/operations/bootstrap/intent-claims.js

@@ -49,10 +49,18 @@ export function buildIntentClaimCandidates(declared, existingIds, minConfidence)
         const confidence = AUTHORITY_CONFIDENCE[source.authority];
         const evidence = citation(source, claim);
         const provenance = `${source.id}:${claim.reference}`;
-        const modeled = claimFor(claim.statement, `knowledge-source:${source.id}`, confidence, provenance);
-        const writeSet = modeled
-            ? buildStrictWriteSet({ claim: modeled, statement: claim.statement })
-            : null;
+        let writeSet = null;
+        try {
+            const modeled = claimFor(claim.statement, `knowledge-source:${source.id}`, confidence, provenance);
+            writeSet = modeled
+                ? buildStrictWriteSet({ claim: modeled, statement: claim.statement })
+                : null;
+            if (!modeled)
+                diagnostics.push(`Intent claim needs authoring at ${source.id}:${claim.reference}: ${claim.statement}`);
+        }
+        catch (error) {
+            diagnostics.push(`Intent claim extraction failed at ${source.id}:${claim.reference}: ${error instanceof Error ? error.message : String(error)}`);
+        }
         if (writeSet?.isStrict &&
             confidence >= minConfidence &&
             !existingIds.has(writeSet.req.id)) {

package/dist/operations/bootstrap/markdown-candidates.d.ts

@@ -2,6 +2,8 @@ import type { BootstrapEvidence, Candidate, SourceOnlySignal } from "./types.js"
 export type CandidateBuildResult = {
     readonly candidates: readonly Candidate[];
     readonly sourceOnlySignals: readonly SourceOnlySignal[];
+    readonly diagnostics: readonly string[];
+    readonly suppressed: readonly Readonly<Record<string, unknown>>[];
 };
 export declare function markdownCandidates(item: BootstrapEvidence, existingIds: ReadonlySet<string>, minConfidence: number): CandidateBuildResult;
 //# sourceMappingURL=markdown-candidates.d.ts.map

package/dist/operations/bootstrap/markdown-candidates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"markdown-candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/markdown-candidates.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EACV,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACzD,CAAC;AA4HF,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,iBAAiB,EACvB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,oBAAoB,CAoDtB"}
+{"version":3,"file":"markdown-candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/markdown-candidates.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EACV,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,CAAC;AA4HF,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,iBAAiB,EACvB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,oBAAoB,CAkFtB"}

package/dist/operations/bootstrap/markdown-candidates.js

@@ -1,7 +1,7 @@
 import path from "node:path";
 import { buildStrictWriteSet } from "../../utils/strict-modeling.js";
 import { confidenceBand, slug, strictPlan, upsert, } from "./candidate-helpers.js";
-import { claimFor } from "./requirement-claims.js";
+import { claimFor, normalizeClaimStatement } from "./requirement-claims.js";
 function headingSignals(heading, sourcePath, textRef, minConfidence) {
     const result = [];
     for (const [kind, pattern, confidence] of [
@@ -74,7 +74,7 @@ function requirementCandidate(item, statement, line, heading, headingLine, exist
     if (!claim)
         return null;
     const writeSet = buildStrictWriteSet({ claim, statement });
-    if (!writeSet.isStrict || existingIds.has(writeSet.req.id))
+    if (!writeSet.isStrict)
         return null;
     return {
         candidateId: `norm:${writeSet.req.id.toLowerCase()}`,
@@ -100,6 +100,7 @@ function requirementCandidate(item, statement, line, heading, headingLine, exist
 export function markdownCandidates(item, existingIds, minConfidence) {
     const candidates = [];
     const sourceOnlySignals = [];
+    const diagnostics = [];
     const relativePath = item.relativePath ?? item.label;
     let heading;
     let headingLine = 0;
@@ -121,15 +122,36 @@ export function markdownCandidates(item, existingIds, minConfidence) {
             sourceOnlySignals.push(...headingSignals(heading, item.absolutePath ?? relativePath, `${relativePath}#L${headingLine}`, minConfidence));
             continue;
         }
-        const statement = line
-            .replace(/^\s*[-*+]\s+/, "")
-            .replace(/^\s*\d+[.)]\s+/, "")
-            .trim();
+        const statement = normalizeClaimStatement(line);
         if (!statement || !/\b(must|shall|should)\b/i.test(statement))
             continue;
-        const candidate = requirementCandidate(item, statement, index + 1, heading, headingLine, existingIds, minConfidence);
-        if (candidate)
-            candidates.push(candidate);
+        try {
+            const candidate = requirementCandidate(item, statement, index + 1, heading, headingLine, existingIds, minConfidence);
+            if (candidate) {
+                if (!candidate.applyPlan.some((payload) => payload.type === "req" && existingIds.has(String(payload.id))))
+                    candidates.push(candidate);
+            }
+            else {
+                diagnostics.push(`Requirement needs authoring at ${relativePath}#L${index + 1}: ${statement}`);
+                sourceOnlySignals.push({
+                    kind: "req",
+                    title: `Author requirement: ${statement}`,
+                    sourcePath: `${relativePath}#L${index + 1}`,
+                    confidence: 0.8,
+                    evidence: [`normative_statement:${relativePath}#L${index + 1}`],
+                });
+            }
+        }
+        catch (error) {
+            diagnostics.push(`Requirement extraction failed at ${relativePath}#L${index + 1}: ${error instanceof Error ? error.message : String(error)}`);
+            sourceOnlySignals.push({
+                kind: "req",
+                title: `Review requirement: ${statement}`,
+                sourcePath: `${relativePath}#L${index + 1}`,
+                confidence: 0.8,
+                evidence: [`normative_statement:${relativePath}#L${index + 1}`],
+            });
+        }
     }
-    return { candidates, sourceOnlySignals };
+    return { candidates, sourceOnlySignals, diagnostics, suppressed: [] };
 }

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":"AACA,OAAO,KAAK,EACV,gBAAgB,EAEhB,gBAAgB,EAChB,wBAAwB,EAGxB,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAwEpB,wBAAgB,yBAAyB,CACvC,KAAK,CAAC,EAAE,gBAAgB,GACvB,wBAAwB,CAa1B;AAiBD,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,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,CA+KtB"}
+{"version":3,"file":"presentation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/presentation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,gBAAgB,EAEhB,gBAAgB,EAChB,wBAAwB,EAGxB,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAwEpB,wBAAgB,yBAAyB,CACvC,KAAK,CAAC,EAAE,gBAAgB,GACvB,wBAAwB,CAa1B;AAiBD,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,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,CAsLtB"}

package/dist/operations/bootstrap/presentation.js

@@ -107,9 +107,13 @@ export function presentBootstrap(input) {
         input.candidates.length + input.sourceOnlySignals.length > 0
         ? `Bootstrap plan is ready for review with ${input.candidates.length} safe candidate(s) and ${input.sourceOnlySignals.length} source-only authoring follow-up(s).`
         : (input.activation.handoffMessage ?? blockedFallback);
-    const tldr = confidenceLevel === "low" && !input.activation.applyBlocked
+    const overLimitCount = input.suppressedCandidates.filter((row) => row.reason === "over_limit").length;
+    const limitSummary = overLimitCount > 0
+        ? ` ${overLimitCount} candidate(s) exceeded maxCandidates; raise the limit or narrow entityTypes.`
+        : "";
+    const tldr = (confidenceLevel === "low" && !input.activation.applyBlocked
         ? `Low-confidence bootstrap (${String(guidance.confidence.score)}): review diagnostics before proceeding. ${baseTldr}`
-        : baseTldr;
+        : baseTldr) + limitSummary;
     const rawActions = input.candidates.flatMap((candidate) => candidate.applyPlan.map((payload) => ({ candidate, payload })));
     const actionIds = new Map();
     rawActions.forEach(({ payload }, index) => {

package/dist/operations/bootstrap/requirement-claims.d.ts

@@ -1,3 +1,4 @@
 import type { SemanticClaim } from "../../utils/strict-modeling.js";
+export declare function normalizeClaimStatement(statement: string): string;
 export declare function claimFor(statement: string, source: string, confidence: number, provenance: string): SemanticClaim | null;
 //# sourceMappingURL=requirement-claims.d.ts.map

package/dist/operations/bootstrap/requirement-claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/requirement-claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAEpE,wBAAgB,QAAQ,CACtB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACjB,aAAa,GAAG,IAAI,CAsDtB"}
+{"version":3,"file":"requirement-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/requirement-claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAGpE,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAKjE;AAED,wBAAgB,QAAQ,CACtB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACjB,aAAa,GAAG,IAAI,CA0DtB"}

package/dist/operations/bootstrap/requirement-claims.js

@@ -1,5 +1,17 @@
+// implements REQ-KIBI-BOOTSTRAP-PLAN
+export function normalizeClaimStatement(statement) {
+    return statement
+        .replace(/^\s*(?:[-*+]|\d+[.)])\s+/, "")
+        .replace(/^\s*\[(?: |x)\]\s*/i, "")
+        .trim();
+}
 export function claimFor(statement, source, confidence, provenance) {
-    const normalized = statement.replace(/^\s*(?:[-*+]|\d+[.)])\s+/, "").trim();
+    const cleaned = normalizeClaimStatement(statement);
+    if (cleaned.endsWith("?"))
+        return null;
+    const normalized = /^(?:must|shall|should)\s+/i.test(cleaned)
+        ? `System ${cleaned}`
+        : cleaned;
     const retention = normalized.match(/^(?<subject>.+?)\s+(?:must|shall|should)\s+be\s+retained\s+for\s+(?<value>\d+)\s+(?<unit>day|days|month|months|year|years)\.?$/i);
     if (retention?.groups?.subject &&
         retention.groups.value &&

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

@@ -0,0 +1,4 @@
+import type { UpsertInput } from "../mutation/types.js";
+/** Validate the original payload without dropping malformed relationships. */
+export declare function validateBootstrapPayload(payload: Readonly<Record<string, unknown>>, now: Date): UpsertInput;
+//# sourceMappingURL=validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAKxD,8EAA8E;AAE9E,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC1C,GAAG,EAAE,IAAI,GACR,WAAW,CAsBb"}

package/dist/operations/bootstrap/validation.js

@@ -0,0 +1,20 @@
+import { validateUpsertInput } from "../mutation/validation.js";
+import { analyzeSemanticAdvisorInput } from "../semantic-advisor/analyze-prose.js";
+import { assertSemanticInventoryBoundary } from "../semantic-advisor/ingestion-boundary.js";
+/** Validate the original payload without dropping malformed relationships. */
+// implements REQ-KIBI-BOOTSTRAP-PLAN
+export function validateBootstrapPayload(payload, now) {
+    if (!payload || typeof payload !== "object" || Array.isArray(payload))
+        throw new Error("Bootstrap action payload must be an upsert object");
+    if (payload.relationships !== undefined &&
+        !Array.isArray(payload.relationships))
+        throw new Error("Relationship validation failed: relationships must be an array");
+    const input = payload;
+    validateUpsertInput(input, now);
+    const relationships = input.relationships ?? [];
+    const semantic = analyzeSemanticAdvisorInput({
+        payload: { ...input, relationships },
+    });
+    assertSemanticInventoryBoundary({ ...input, relationships }, relationships, semantic.receipt);
+    return input;
+}

package/dist/operations/migration/inventory-rederive.d.ts

@@ -0,0 +1,81 @@
+type InventoryEntry = {
+    claim_key: string;
+    claim_text: string;
+    role: string;
+    status: string;
+    span: {
+        start: number;
+        end: number;
+    };
+    semantic_key?: string;
+    reason?: string;
+};
+/** What re-derivation changed for one claim. */
+export type InventoryClaimChange = Readonly<{
+    claim_key: string;
+    change: "kept" | "role_changed" | "span_changed" | "new_unresolved" | "new_context" | "now_unresolved" | "now_context" | "dropped";
+    before?: Readonly<{
+        role: string;
+        status: string;
+    }>;
+    after?: Readonly<{
+        role: string;
+        status: string;
+    }>;
+}>;
+export type InventoryRederivationSummary = Readonly<{
+    keptModeled: number;
+    roleChanges: number;
+    newlyUnresolved: number;
+    droppedClaims: number;
+    downgradedModeled: number;
+}>;
+/** The re-derived inventory contract written to the requirement. */
+export type InventoryContract = Readonly<{
+    semantic_inventory_version: string;
+    semantic_source_field: string;
+    semantic_source_hash: string;
+    semantic_inventory: readonly InventoryEntry[];
+    logic_claims: readonly string[];
+}>;
+export type InventoryRederivation = Readonly<{
+    requirementId: string;
+    path: string;
+    /** Ingestion errors the stored inventory produces today. */
+    errors: readonly string[];
+    safe: boolean;
+    /** Why re-derivation is left to a person (empty when safe). */
+    reasons: readonly string[];
+    summary: InventoryRederivationSummary;
+    changes: readonly InventoryClaimChange[];
+    contract: InventoryContract;
+    /** SHA-256 of the canonical re-derived contract; the apply step re-checks it. */
+    contractHash: string;
+}>;
+/**
+ * Every current requirement whose stored inventory contract no longer matches
+ * the current semantic advisor, with its re-derived contract. Read-only;
+ * reports all of them instead of stopping at the first. `onlyId` limits the
+ * scan to one requirement.
+ */
+export declare function planInventoryRederivation(workspaceRoot: string, onlyId?: string): InventoryRederivation[];
+export type InventoryRederivationOutcome = Readonly<{
+    requirementId: string;
+    path: string;
+    outcome: "rederived" | "unchanged";
+    summary?: InventoryRederivationSummary;
+}>;
+/**
+ * Apply the safe re-derivation of one requirement. When `expectedContractHash`
+ * is given (the migration plan's evidence), the current re-derivation must
+ * still produce exactly that contract. A requirement that no longer drifts is
+ * left unchanged, so repeated runs are no-ops.
+ */
+export declare function applyInventoryRederivation(workspaceRoot: string, requirementId: string, expectedContractHash?: string): InventoryRederivationOutcome;
+/** Apply every safe re-derivation; unsafe ones are returned untouched. */
+export declare function applySafeInventoryRederivations(workspaceRoot: string): {
+    rederived: InventoryRederivationOutcome[];
+    manual: InventoryRederivation[];
+};
+export {};
+//# sourceMappingURL=inventory-rederive.d.ts.map

package/dist/operations/migration/inventory-rederive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inventory-rederive.d.ts","sourceRoot":"","sources":["../../../src/operations/migration/inventory-rederive.ts"],"names":[],"mappings":"AA2EA,KAAK,cAAc,GAAG;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACrC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,gDAAgD;AAEhD,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EACF,MAAM,GACN,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,aAAa,GACb,gBAAgB,GAChB,aAAa,GACb,SAAS,CAAC;IACd,MAAM,CAAC,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,KAAK,CAAC,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACpD,CAAC,CAAC;AAGH,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC,CAAC;AAEH,oEAAoE;AAEpE,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,0BAA0B,EAAE,MAAM,CAAC;IACnC,qBAAqB,EAAE,MAAM,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,SAAS,cAAc,EAAE,CAAC;IAC9C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC,CAAC,CAAC;AAGH,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,+DAA+D;IAC/D,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,4BAA4B,CAAC;IACtC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzC,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,iFAAiF;IACjF,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC,CAAC;AA2UH;;;;;GAKG;AAEH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,MAAM,CAAC,EAAE,MAAM,GACd,qBAAqB,EAAE,CA+BzB;AA0FD,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,GAAG,WAAW,CAAC;IACnC,OAAO,CAAC,EAAE,4BAA4B,CAAC;CACxC,CAAC,CAAC;AAEH;;;;;GAKG;AAEH,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,MAAM,EACrB,oBAAoB,CAAC,EAAE,MAAM,GAC5B,4BAA4B,CA0C9B;AAED,0EAA0E;AAE1E,wBAAgB,+BAA+B,CAAC,aAAa,EAAE,MAAM,GAAG;IACtE,SAAS,EAAE,4BAA4B,EAAE,CAAC;IAC1C,MAAM,EAAE,qBAAqB,EAAE,CAAC;CACjC,CAaA"}