kibi-cli 2.9.0 → 2.11.0

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

@@ -1,4 +1,5 @@
 import { type CandidateBuildResult } from "./markdown-candidates.js";
+import type { SubjectKeyRegistry } from "./requirement-claims.js";
 import type { BootstrapEvidence } from "./types.js";
-export declare function buildBootstrapCandidates(evidence: readonly BootstrapEvidence[], existingIds: ReadonlySet<string>, minConfidence: number, includeGenericMarkdown: boolean): CandidateBuildResult;
+export declare function buildBootstrapCandidates(evidence: readonly BootstrapEvidence[], existingIds: ReadonlySet<string>, minConfidence: number, includeGenericMarkdown: boolean, subjectKeys?: SubjectKeyRegistry): CandidateBuildResult;
 //# sourceMappingURL=candidates.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/candidates.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,KAAK,oBAAoB,EAE1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AAuHpB,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,EACrB,sBAAsB,EAAE,OAAO,GAC9B,oBAAoB,CA4DtB"}
+{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/candidates.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,KAAK,oBAAoB,EAE1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AAuHpB,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,EACrB,sBAAsB,EAAE,OAAO,EAC/B,WAAW,CAAC,EAAE,kBAAkB,GAC/B,oBAAoB,CAiEtB"}

package/dist/operations/bootstrap/candidates.js

@@ -90,7 +90,7 @@ function providerCandidate(item, existingIds, minConfidence) {
 }
 // implements REQ-KIBI-BOOTSTRAP-PLAN, REQ-kibi-operation-interface-parity
 // implements REQ-KIBI-BOOTSTRAP-PLAN
-export function buildBootstrapCandidates(evidence, existingIds, minConfidence, includeGenericMarkdown) {
+export function buildBootstrapCandidates(evidence, existingIds, minConfidence, includeGenericMarkdown, subjectKeys) {
     const candidates = [];
     const sourceOnlySignals = [];
     const diagnostics = [];
@@ -114,7 +114,7 @@ export function buildBootstrapCandidates(evidence, existingIds, minConfidence, i
             }
         }
         if (item.kind === "generic_markdown" && includeGenericMarkdown) {
-            const built = markdownCandidates(item, existingIds, minConfidence);
+            const built = markdownCandidates(item, existingIds, minConfidence, subjectKeys);
             candidates.push(...built.candidates);
             sourceOnlySignals.push(...built.sourceOnlySignals);
             diagnostics.push(...built.diagnostics);

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;AAUjF,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,CA6IA;AA+JD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CAqG9B"}
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAWjF,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,CA6IA;AA+JD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CA8G9B"}

package/dist/operations/bootstrap/generate.js

@@ -8,6 +8,7 @@ import { buildBootstrapCandidates } from "./candidates.js";
 import { discoverBootstrap } from "./discovery.js";
 import { buildIntentClaimCandidates } from "./intent-claims.js";
 import { normalizeBootstrapContext, presentBootstrap } from "./presentation.js";
+import { SubjectKeyRegistry } from "./requirement-claims.js";
 import { validateBootstrapPayload } from "./validation.js";
 export function filterSourceOnlySignals(signals, entityTypes) {
     return entityTypes && entityTypes.length > 0
@@ -316,8 +317,11 @@ export async function executePlanBootstrap(args, context) {
     const bound = await expectedSnapshots(context, discovery.evidence
         .map((evidence) => evidence.relativePath)
         .filter((value) => Boolean(value)));
+    // One registry per plan keeps subject keys distinct across repository
+    // documents and declared intent claims.
+    const subjectKeys = new SubjectKeyRegistry();
     const built = discovery.activation.allowCandidateGeneration
-        ? buildBootstrapCandidates(discovery.evidence, new Set(), minConfidence, includeGenericMarkdown)
+        ? buildBootstrapCandidates(discovery.evidence, new Set(), minConfidence, includeGenericMarkdown, subjectKeys)
         : {
             candidates: [],
             sourceOnlySignals: [],
@@ -327,7 +331,7 @@ export async function executePlanBootstrap(args, context) {
     // Intent harvested from declared knowledge sources joins the repository
     // evidence under the same activation policy, filters, and selection.
     const claimed = discovery.activation.allowCandidateGeneration
-        ? buildIntentClaimCandidates(declared, existingIds, minConfidence)
+        ? buildIntentClaimCandidates(declared, existingIds, minConfidence, subjectKeys)
         : {
             candidates: [],
             sourceOnlySignals: [],

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

@@ -1,3 +1,4 @@
+import { type SubjectKeyRegistry } from "./requirement-claims.js";
 import type { BootstrapDeclaredContext, Candidate, SourceOnlySignal } from "./types.js";
 export type IntentClaimBuildResult = {
     readonly candidates: readonly Candidate[];
@@ -13,5 +14,5 @@ export type IntentClaimBuildResult = {
  * strict modeler cannot ground stays an explicit authoring follow-up instead
  * of becoming unverifiable knowledge.
  */
-export declare function buildIntentClaimCandidates(declared: BootstrapDeclaredContext, existingIds: ReadonlySet<string>, minConfidence: number): IntentClaimBuildResult;
+export declare function buildIntentClaimCandidates(declared: BootstrapDeclaredContext, existingIds: ReadonlySet<string>, minConfidence: number, subjectKeys?: SubjectKeyRegistry): IntentClaimBuildResult;
 //# sourceMappingURL=intent-claims.d.ts.map

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":"AAKA,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;AA0NF;;;;;;;GAOG;AAEH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,wBAAwB,EAClC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,sBAAsB,CAmJxB"}
+{"version":3,"file":"intent-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/intent-claims.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,kBAAkB,EAGxB,MAAM,yBAAyB,CAAC;AACjC,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;AAyOF;;;;;;;GAOG;AAEH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,wBAAwB,EAClC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,kBAAkB,GAC/B,sBAAsB,CAyKxB"}

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

@@ -2,7 +2,7 @@ import { createHash } from "node:crypto";
 import { renderRequirementBody } from "../../entity-body-context.js";
 import { buildStrictWriteSet } from "../../utils/strict-modeling.js";
 import { confidenceBand, strictPlan, upsert } from "./candidate-helpers.js";
-import { claimFor } from "./requirement-claims.js";
+import { claimFor, planSubjectKey, } from "./requirement-claims.js";
 /** How much a claim is trusted follows the authority the human assigned. */
 const AUTHORITY_CONFIDENCE = {
     authoritative: 0.9,
@@ -33,6 +33,7 @@ function digest(...parts) {
 function claimBody(source, claim) {
     return renderRequirementBody({
         statement: claim.statement,
+        context: claim.rationale,
         source: {
             excerpt: claim.excerpt,
             title: source.title,
@@ -49,6 +50,16 @@ function claimBody(source, claim) {
 function withClaimBody(step, body) {
     return { ...step, document: { body } };
 }
+/** Carry the claim's stated rationale onto the requirement step. */
+// implements REQ-bootstrap-subject-key-shape
+function withRationale(step, rationale) {
+    if (!rationale)
+        return step;
+    const properties = step.properties !== null && typeof step.properties === "object"
+        ? step.properties
+        : {};
+    return { ...step, properties: { ...properties, rationale } };
+}
 /**
  * An observation or open question from a declared source is evidence for the
  * human, not a requirement: it becomes a cited, non-blocking observation fact
@@ -188,7 +199,7 @@ function conflictCandidates(declared, sources, existingIds, minConfidence) {
  * of becoming unverifiable knowledge.
  */
 // implements REQ-kibi-bootstrap-knowledge-sources, REQ-bootstrap-claim-kinds-and-conflicts
-export function buildIntentClaimCandidates(declared, existingIds, minConfidence) {
+export function buildIntentClaimCandidates(declared, existingIds, minConfidence, subjectKeys) {
     const sources = new Map((declared.knowledgeSources ?? []).map((source) => [source.id, source]));
     const candidates = [];
     const sourceOnlySignals = [];
@@ -249,11 +260,22 @@ export function buildIntentClaimCandidates(declared, existingIds, minConfidence)
         let writeSet = null;
         try {
             const modeled = claimFor(claim.statement, `knowledge-source:${source.id}`, confidence, provenance);
-            writeSet = modeled
-                ? buildStrictWriteSet({ claim: modeled, statement: claim.statement })
+            const planned = modeled
+                ? planSubjectKey(modeled.subjectKey, modeled.propertyKey, claim.component ?? source.component, subjectKeys, `${source.id}:${claim.reference}`)
                 : null;
+            const subjectKey = planned?.resolution ?? null;
+            diagnostics.push(...(planned?.diagnostics ?? []));
+            writeSet =
+                modeled && subjectKey?.ok
+                    ? buildStrictWriteSet({
+                        claim: { ...modeled, subjectKey: subjectKey.subjectKey },
+                        statement: claim.statement,
+                    })
+                    : null;
             if (!modeled)
                 diagnostics.push(`Intent claim needs authoring at ${source.id}:${claim.reference}: ${claim.statement}`);
+            else if (subjectKey && !subjectKey.ok)
+                diagnostics.push(`Intent claim at ${source.id}:${claim.reference} was not planned as a requirement: its ${subjectKey.reason}. Declare component on the claim or on knowledge source ${source.id} and re-plan, or author it with kb_model: ${claim.statement}`);
         }
         catch (error) {
             diagnostics.push(`Intent claim extraction failed at ${source.id}:${claim.reference}: ${error instanceof Error ? error.message : String(error)}`);
@@ -276,7 +298,7 @@ export function buildIntentClaimCandidates(declared, existingIds, minConfidence)
                     to,
                 })),
                 applyPlan: strictPlan(writeSet).map((step) => step.type === "req"
-                    ? withClaimBody(step, claimBody(source, claim))
+                    ? withClaimBody(withRationale(step, claim.rationale), claimBody(source, claim))
                     : step),
             });
             continue;

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

@@ -1,3 +1,4 @@
+import { type SubjectKeyRegistry } from "./requirement-claims.js";
 import type { BootstrapEvidence, Candidate, SourceOnlySignal } from "./types.js";
 export type CandidateBuildResult = {
     readonly candidates: readonly Candidate[];
@@ -5,5 +6,11 @@ export type CandidateBuildResult = {
     readonly diagnostics: readonly string[];
     readonly suppressed: readonly Readonly<Record<string, unknown>>[];
 };
-export declare function markdownCandidates(item: BootstrapEvidence, existingIds: ReadonlySet<string>, minConfidence: number): CandidateBuildResult;
+/**
+ * The component a repository document covers, from its file name or, for a
+ * generic name such as README.md, its directory (packages/recorder/README.md
+ * covers recorder). A root README names no component.
+ */
+export declare function markdownComponentHint(relativePath: string): string | undefined;
+export declare function markdownCandidates(item: BootstrapEvidence, existingIds: ReadonlySet<string>, minConfidence: number, subjectKeys?: SubjectKeyRegistry): 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":"AAcA,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;AAuJF,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,iBAAiB,EACvB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,oBAAoB,CAkFtB"}
+{"version":3,"file":"markdown-candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/markdown-candidates.ts"],"names":[],"mappings":"AAaA,OAAO,EACL,KAAK,kBAAkB,EAIxB,MAAM,yBAAyB,CAAC;AACjC,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;AAyGF;;;;GAIG;AAEH,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,MAAM,GACnB,MAAM,GAAG,SAAS,CAYpB;AA4FD,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,iBAAiB,EACvB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,EACrB,WAAW,CAAC,EAAE,kBAAkB,GAC/B,oBAAoB,CAoFtB"}

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

@@ -1,7 +1,7 @@
 import path from "node:path";
 import { buildStrictWriteSet } from "../../utils/strict-modeling.js";
 import { bootstrapProvenance, confidenceBand, provenanceBody, provenanceRequirementBody, slug, strictPlan, upsert, withDocumentBody, } from "./candidate-helpers.js";
-import { claimFor, normalizeClaimStatement } from "./requirement-claims.js";
+import { claimFor, normalizeClaimStatement, planSubjectKey, } from "./requirement-claims.js";
 function headingSignals(heading, sourcePath, textRef, minConfidence) {
     const result = [];
     for (const [kind, pattern, confidence] of [
@@ -58,7 +58,51 @@ function genericHeadingCandidate(item, heading, line, existingIds, minConfidence
         ],
     };
 }
-function requirementCandidate(item, statement, line, heading, headingLine, existingIds, minConfidence) {
+/** File and directory names that say what a document is, not what it covers. */
+const GENERIC_DOCUMENT_NAMES = new Set([
+    "readme",
+    "index",
+    "overview",
+    "requirements",
+    "requirement",
+    "spec",
+    "specs",
+    "specification",
+    "notes",
+    "changelog",
+    "contributing",
+    "agents",
+    "claude",
+    "todo",
+    "docs",
+    "doc",
+    "documentation",
+    "src",
+    "packages",
+    "github",
+]);
+/**
+ * The component a repository document covers, from its file name or, for a
+ * generic name such as README.md, its directory (packages/recorder/README.md
+ * covers recorder). A root README names no component.
+ */
+// implements REQ-bootstrap-subject-key-shape
+export function markdownComponentHint(relativePath) {
+    const segments = relativePath
+        .split(/[\\/]+/)
+        .filter((segment) => segment.length > 0);
+    const stem = (segments.pop() ?? "").replace(/\.[^.]*$/, "");
+    for (const name of [stem, ...segments.reverse()]) {
+        const normalized = name.toLowerCase().replace(/^[._-]+/, "");
+        if (!/^[a-z]/.test(normalized))
+            continue;
+        if (GENERIC_DOCUMENT_NAMES.has(normalized))
+            continue;
+        return normalized;
+    }
+    return undefined;
+}
+function requirementCandidate(item, statement, line, heading, headingLine, existingIds, minConfidence, subjectKeys, diagnostics) {
     const relativePath = item.relativePath ?? item.label;
     const base = /\bshall\b/i.test(statement)
         ? 0.86
@@ -75,9 +119,19 @@ function requirementCandidate(item, statement, line, heading, headingLine, exist
     const claim = claimFor(statement, relativePath, confidence, `${relativePath}#L${line}`);
     if (!claim)
         return null;
-    const writeSet = buildStrictWriteSet({ claim, statement });
+    const planned = planSubjectKey(claim.subjectKey, claim.propertyKey, markdownComponentHint(relativePath), subjectKeys, `${relativePath}#L${line}`);
+    const subjectKey = planned.resolution;
+    // Reported by the caller as an extraction failure with this reason,
+    // instead of writing a subject key outside component.aspect[.sub].
+    if (!subjectKey.ok)
+        throw new Error(`${subjectKey.reason}; author it with kb_model and a component.aspect subjectKey`);
+    const writeSet = buildStrictWriteSet({
+        claim: { ...claim, subjectKey: subjectKey.subjectKey },
+        statement,
+    });
     if (!writeSet.isStrict)
         return null;
+    diagnostics.push(...planned.diagnostics);
     return {
         candidateId: `norm:${writeSet.req.id.toLowerCase()}`,
         entityType: "req",
@@ -101,7 +155,7 @@ function requirementCandidate(item, statement, line, heading, headingLine, exist
     };
 }
 // implements REQ-KIBI-BOOTSTRAP-PLAN
-export function markdownCandidates(item, existingIds, minConfidence) {
+export function markdownCandidates(item, existingIds, minConfidence, subjectKeys) {
     const candidates = [];
     const sourceOnlySignals = [];
     const diagnostics = [];
@@ -130,7 +184,7 @@ export function markdownCandidates(item, existingIds, minConfidence) {
         if (!statement || !/\b(must|shall|should)\b/i.test(statement))
             continue;
         try {
-            const candidate = requirementCandidate(item, statement, index + 1, heading, headingLine, existingIds, minConfidence);
+            const candidate = requirementCandidate(item, statement, index + 1, heading, headingLine, existingIds, minConfidence, subjectKeys, diagnostics);
             if (candidate) {
                 if (!candidate.applyPlan.some((payload) => payload.type === "req" && existingIds.has(String(payload.id))))
                     candidates.push(candidate);

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,EAGhB,gBAAgB,EAChB,wBAAwB,EAGxB,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAuGpB,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,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,CAmNtB"}
+{"version":3,"file":"presentation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/presentation.ts"],"names":[],"mappings":"AACA,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,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,CAmNtB"}

package/dist/operations/bootstrap/presentation.js

@@ -22,6 +22,7 @@ function knowledgeSources(values) {
         seen.add(id);
         const connector = value.connector?.trim();
         const notes = value.notes?.trim();
+        const component = value.component?.trim();
         result.push({
             id,
             kind: value.kind,
@@ -30,6 +31,7 @@ function knowledgeSources(values) {
             authority: value.authority,
             ...(connector ? { connector } : {}),
             ...(notes ? { notes } : {}),
+            ...(component ? { component } : {}),
         });
     }
     return result;
@@ -51,11 +53,15 @@ function intentClaims(values) {
             continue;
         seen.add(key);
         const excerpt = value.excerpt?.trim();
+        const component = value.component?.trim();
+        const rationale = value.rationale?.trim().replace(/\s+/g, " ");
         result.push({
             statement,
             sourceId,
             reference,
             ...(excerpt ? { excerpt } : {}),
+            ...(component ? { component } : {}),
+            ...(rationale ? { rationale } : {}),
             // The default stays implicit so plans that declare no kinds keep
             // their established shape and hash.
             ...(kind !== "intent" ? { kind } : {}),

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

@@ -1,4 +1,64 @@
-import type { SemanticClaim } from "../../utils/strict-modeling.js";
+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;
+export type SubjectKeyResolution = {
+    readonly ok: true;
+    readonly subjectKey: string;
+    /** The key before its aspect was shortened, when it was. */
+    readonly shortenedFrom?: string;
+} | {
+    readonly ok: false;
+    readonly reason: string;
+};
+/** The longest aspect a bootstrap key keeps as derived. */
+export declare const MAX_ASPECT_WORDS = 4;
+export declare const MAX_ASPECT_CHARS = 40;
+/**
+ * A short noun-phrase aspect for a long one, deterministically: the words
+ * before the first clause boundary (when, while, for, and, ...), without
+ * leading or trailing stop words; if that is still longer than four words or
+ * forty characters, its content words (no stop words or -ly adverbs); if
+ * those are still too long, the first content word and the last two, where a
+ * noun phrase keeps its head noun. An aspect that already fits is returned
+ * unchanged.
+ */
+export declare function shortenSubjectAspect(aspect: string): string;
+/**
+ * The bootstrap subject key in the component.aspect[.sub] shape that
+ * subject-key-shape checks. A subject that already has that shape is kept.
+ * Otherwise the component comes from the declared `component` (claim or
+ * knowledge source) and the aspect from the claim's subject; a one-word
+ * subject is itself the component and the constrained property becomes the
+ * aspect. An aspect longer than four words or forty characters is shortened
+ * to a noun phrase and the original key is returned in `shortenedFrom`. When
+ * no component can be named the claim is not resolved, so the caller reports
+ * it instead of writing a malformed key.
+ */
+export declare function resolveBootstrapSubjectKey(subject: string, propertyKey: string, component?: string): SubjectKeyResolution;
+/**
+ * Keeps the subject keys of one bootstrap plan distinct. Claims about the
+ * same subject (the same full key) share a key; when shortening collapses two
+ * different subjects onto one key, the later one gets a third segment from
+ * its own wording (or a short digest) instead of colliding.
+ */
+export declare class SubjectKeyRegistry {
+    private readonly owners;
+    private readonly assigned;
+    /** The plan-wide key for a resolution, and the key it collided with, if any. */
+    assign(resolution: {
+        readonly subjectKey: string;
+        readonly shortenedFrom?: string;
+    }): {
+        readonly subjectKey: string;
+        readonly collidedWith?: string;
+    };
+}
+/**
+ * Resolve a claim's subject key for a plan and describe any renaming as a
+ * plan diagnostic, so the operator can pick a better name before applying.
+ */
+export declare function planSubjectKey(subject: string, propertyKey: string, component: string | undefined, registry: SubjectKeyRegistry | undefined, location: string): {
+    readonly resolution: SubjectKeyResolution;
+    readonly diagnostics: string[];
+};
 //# 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;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"}
+{"version":3,"file":"requirement-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/requirement-claims.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,aAAa,EAGnB,MAAM,gCAAgC,CAAC;AAGxC,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;AAED,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAWpD,2DAA2D;AAC3D,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAClC,eAAO,MAAM,gBAAgB,KAAK,CAAC;AAsGnC;;;;;;;;GAQG;AAEH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CA4B3D;AAmBD;;;;;;;;;;GAUG;AAEH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,SAAS,CAAC,EAAE,MAAM,GACjB,oBAAoB,CA2BtB;AAED;;;;;GAKG;AAEH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA6B;IACpD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA6B;IAEtD,gFAAgF;IAChF,MAAM,CAAC,UAAU,EAAE;QACjB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;KACjC,GAAG;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE;CAyBpE;AAMD;;;GAGG;AAEH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,QAAQ,EAAE,MAAM,GACf;IACD,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;CAChC,CAyBA"}