kibi-cli 0.19.0 → 2.0.0

package/dist/operations/bootstrap/presentation.js

@@ -0,0 +1,177 @@
+import { buildGuidance } from "./guidance.js";
+import { bootstrapPlanHash } from "./types.js";
+function strings(values) {
+    return [
+        ...new Set((values ?? []).map((value) => value.trim()).filter(Boolean)),
+    ];
+}
+export function normalizeBootstrapContext(input) {
+    const projectSummary = input?.projectSummary?.trim();
+    return {
+        ...(projectSummary ? { projectSummary } : {}),
+        sourceOfTruthPaths: strings(input?.sourceOfTruthPaths),
+        sourceOfTruthNotes: strings(input?.sourceOfTruthNotes),
+        priorityRoots: strings(input?.priorityRoots),
+        verificationAnchors: strings(input?.verificationAnchors),
+    };
+}
+function payoff(candidates) {
+    const projectedIfAllApplied = {};
+    for (const candidate of candidates)
+        projectedIfAllApplied[candidate.entityType] =
+            (projectedIfAllApplied[candidate.entityType] ?? 0) + 1;
+    return {
+        current: {},
+        projectedIfAllApplied,
+        delta: { ...projectedIfAllApplied },
+    };
+}
+// implements REQ-KIBI-BOOTSTRAP-PLAN
+export function presentBootstrap(input) {
+    const declaredContext = normalizeBootstrapContext(input.bootstrapContext);
+    const guidance = buildGuidance({
+        root: input.root,
+        activation: input.activation,
+        declared: declaredContext,
+        candidates: input.candidates,
+        signals: input.sourceOnlySignals,
+        warnings: input.discoverySummary.scanWarnings,
+    });
+    const confidenceLevel = String(guidance.confidence.level);
+    const bindingDiagnostics = strings(input.bindingDiagnostics);
+    const applyBlocked = input.activation.applyBlocked || bindingDiagnostics.length > 0;
+    const blockedFallback = input.activation.activationMode === "vendored_blocked" ||
+        bindingDiagnostics.length > 0
+        ? `Bootstrap blocked: ${input.activation.reason}${bindingDiagnostics.length > 0 ? ` ${bindingDiagnostics[0]}` : ""}`
+        : input.activation.activationMode === "attached_thin_handoff" ||
+            input.activation.activationMode === "attached_seeded_handoff"
+            ? `Bootstrap handoff: ${input.activation.reason}`
+            : "Bootstrap output found no safe candidates; follow the recommended actions to continue.";
+    const baseTldr = !applyBlocked &&
+        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
+        ? `Low-confidence bootstrap (${String(guidance.confidence.score)}): review diagnostics before proceeding. ${baseTldr}`
+        : baseTldr;
+    const rawActions = input.candidates.flatMap((candidate) => candidate.applyPlan.map((payload) => ({ candidate, payload })));
+    const actionIds = new Map();
+    rawActions.forEach(({ payload }, index) => {
+        const id = typeof payload.id === "string"
+            ? payload.id
+            : typeof payload.properties === "object" &&
+                payload.properties !== null &&
+                "id" in payload.properties &&
+                typeof payload.properties.id === "string"
+                ? payload.properties.id
+                : `candidate-${index + 1}`;
+        actionIds.set(id, `bootstrap-upsert-${String(index + 1).padStart(4, "0")}`);
+    });
+    const actions = rawActions.map(({ candidate, payload }, index) => {
+        const id = `bootstrap-upsert-${String(index + 1).padStart(4, "0")}`;
+        const relationships = Array.isArray(payload.relationships)
+            ? payload.relationships
+            : [];
+        const dependsOn = relationships
+            .map((relationship) => relationship &&
+            typeof relationship === "object" &&
+            "to" in relationship
+            ? actionIds.get(String(relationship.to))
+            : undefined)
+            .filter((value) => value !== undefined && value !== id)
+            .sort();
+        return {
+            id,
+            kind: "upsert",
+            dependsOn: [...new Set(dependsOn)],
+            payload,
+            candidateId: candidate.candidateId,
+        };
+    });
+    const status = input.activation.activationState === "root_active_seeded"
+        ? "handoff"
+        : applyBlocked
+            ? "blocked"
+            : confidenceLevel === "high" && actions.length > 0
+                ? "ready"
+                : "needs_context";
+    const contextQuestions = [];
+    if (status === "needs_context") {
+        if (!declaredContext.projectSummary)
+            contextQuestions.push("What is the one-sentence purpose of this repository?");
+        if (declaredContext.sourceOfTruthPaths.length === 0)
+            contextQuestions.push("Which repository paths are authoritative for product intent?");
+        if (input.sourceOnlySignals.length > 0)
+            contextQuestions.push("Which detected product behaviors should be prioritized for bootstrap?");
+        if (declaredContext.verificationAnchors.length === 0)
+            contextQuestions.push("Which command or test should verify the initial bootstrap?");
+        if (contextQuestions.length === 0)
+            contextQuestions.push("Which specific product behavior should this bootstrap plan prioritize before authoring knowledge?");
+    }
+    const diagnostics = [
+        ...(input.migrationWarning ? [input.migrationWarning] : []),
+        ...input.discoverySummary.scanWarnings,
+        ...bindingDiagnostics,
+    ];
+    const planBody = {
+        version: "kibi.bootstrap-plan.v1",
+        status,
+        expected: input.expected,
+        activation: {
+            activationState: input.activation.activationState,
+            activationMode: input.activation.activationMode,
+            applyBlocked,
+            reason: input.activation.reason,
+        },
+        declaredContext,
+        contextQuestions: contextQuestions.slice(0, 4),
+        confidence: guidance.confidence,
+        discoverySummary: input.discoverySummary,
+        candidates: input.candidates,
+        actions,
+        sourceWrites: [],
+        suppressedCandidates: input.suppressedCandidates,
+        payoffSummary: payoff(input.candidates),
+        diagnostics,
+    };
+    const hash = bootstrapPlanHash(planBody);
+    const plan = { ...planBody, planHash: hash };
+    const payoffSummary = payoff(input.candidates);
+    const structuredContent = {
+        plan,
+        version: plan.version,
+        planHash: hash,
+        status,
+        expected: input.expected,
+        activation: plan.activation,
+        contextQuestions: plan.contextQuestions,
+        activationState: input.activation.activationState,
+        activationMode: input.activation.activationMode,
+        bootstrapMode: input.activation.activationMode,
+        activationReason: input.activation.reason,
+        applyBlocked,
+        migrationWarning: input.migrationWarning,
+        ...(input.activation.handoffMessage
+            ? { handoffMessage: input.activation.handoffMessage }
+            : {}),
+        confidence: guidance.confidence,
+        tldr,
+        promptBlock: guidance.promptBlock,
+        recommendedActions: guidance.actions,
+        declaredContext,
+        discoverySummary: input.discoverySummary,
+        candidates: input.candidates,
+        actions,
+        sourceWrites: [],
+        suppressedCandidates: input.suppressedCandidates,
+        payoffSummary,
+        diagnostics,
+    };
+    const text = status === "ready"
+        ? `${tldr} Review plan ${hash.slice(0, 12)} and request explicit approval before calling kb_apply_plan.`
+        : tldr;
+    return {
+        content: [{ type: "text", text }],
+        structuredContent,
+    };
+}

package/dist/operations/{autopilot → bootstrap}/requirement-claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-claims.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/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;AAEpE,wBAAgB,QAAQ,CACtB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACjB,aAAa,GAAG,IAAI,CAsDtB"}

package/dist/operations/{autopilot → bootstrap}/types.d.ts

@@ -1,31 +1,38 @@
 import type { OperationResult } from "../../public/operations/types.js";
-export type AutopilotBootstrapContext = {
+export declare function bootstrapPlanHash(plan: Readonly<Record<string, unknown>>): string;
+/** Bind a freshly initialized, not-yet-synced branch to its exact source state. */
+export declare function bootstrapEmptyKbSnapshotId(input: {
+    readonly branch: string;
+    readonly workspaceSnapshot: string;
+    readonly sourceHashes: Readonly<Record<string, string | null>>;
+}): string;
+export type BootstrapContext = {
     readonly projectSummary?: string;
     readonly sourceOfTruthPaths?: readonly string[];
     readonly sourceOfTruthNotes?: readonly string[];
     readonly priorityRoots?: readonly string[];
     readonly verificationAnchors?: readonly string[];
 };
-export type AutopilotGenerateArgs = {
+export type PlanBootstrapArgs = {
     readonly includeGenericMarkdown?: boolean;
     readonly minConfidence?: number;
     readonly maxCandidates?: number;
     readonly entityTypes?: readonly ("req" | "scenario" | "test" | "adr" | "fact" | "symbol")[];
-    readonly bootstrapContext?: AutopilotBootstrapContext;
+    readonly bootstrapContext?: BootstrapContext;
 };
-export type AutopilotConfidence = {
+export type BootstrapConfidence = {
     readonly score: number;
     readonly level: "high" | "medium" | "low";
     readonly reasons: readonly string[];
     readonly policy: "full_actions" | "review_required" | "handoff_only";
 };
-export type AutopilotRecommendedAction = {
+export type BootstrapRecommendedAction = {
     readonly order: number;
-    readonly kind: "query" | "upsert" | "check" | "handoff";
+    readonly kind: "query" | "plan" | "upsert" | "check" | "handoff";
     readonly description: string;
     readonly candidateIds?: readonly string[];
 };
-export type AutopilotDeclaredContext = {
+export type BootstrapDeclaredContext = {
     readonly projectSummary?: string;
     readonly sourceOfTruthPaths: readonly string[];
     readonly sourceOfTruthNotes: readonly string[];
@@ -33,9 +40,9 @@ export type AutopilotDeclaredContext = {
     readonly verificationAnchors: readonly string[];
 };
 export type ActivationState = "root_uninitialized" | "root_partial" | "vendored_only" | "root_active_thin" | "root_active_seeded";
-export type ActivationMode = "cold_start_bootstrap" | "repair_bootstrap" | "attached_thin_handoff" | "attached_seeded_handoff" | "vendored_blocked";
-export declare const AUTOPILOT_PROVIDER_ORDER: readonly ["typed_kibi_docs", "generic_repo_docs", "repo_metadata", "repo_layout", "test_topology", "source_symbols"];
-export type EvidenceProviderName = (typeof AUTOPILOT_PROVIDER_ORDER)[number];
+export type ActivationMode = "cold_start_bootstrap" | "repair_bootstrap" | "attached_thin_bootstrap" | "attached_thin_handoff" | "attached_seeded_handoff" | "vendored_blocked";
+export declare const BOOTSTRAP_PROVIDER_ORDER: readonly ["typed_kibi_docs", "generic_repo_docs", "repo_metadata", "repo_layout", "test_topology", "source_symbols"];
+export type EvidenceProviderName = (typeof BOOTSTRAP_PROVIDER_ORDER)[number];
 export type EvidenceKind = "typed_markdown" | "symbol_manifest" | "generic_markdown" | "repo_metadata" | "repo_layout" | "test_topology" | "source_symbols";
 export type ActivationPolicy = {
     readonly activationState: ActivationState;
@@ -45,7 +52,7 @@ export type ActivationPolicy = {
     readonly reason: string;
     readonly handoffMessage?: string;
 };
-export type AutopilotEvidence = {
+export type BootstrapEvidence = {
     readonly provider: EvidenceProviderName;
     readonly kind: EvidenceKind;
     readonly label: string;
@@ -71,7 +78,7 @@ export type DiscoverySummary = {
 };
 export type DiscoveryResult = {
     readonly activation: ActivationPolicy;
-    readonly evidence: readonly AutopilotEvidence[];
+    readonly evidence: readonly BootstrapEvidence[];
     readonly ignoredSources: readonly string[];
     readonly summary: DiscoverySummary;
     readonly migrationWarning: string | null;
@@ -92,6 +99,40 @@ export type Candidate = {
     }[];
     readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
 };
+export type BootstrapAction = Readonly<{
+    readonly id: string;
+    readonly kind: "upsert";
+    readonly dependsOn: readonly string[];
+    readonly payload: Readonly<Record<string, unknown>>;
+    readonly candidateId?: string;
+}>;
+export type BootstrapPlanV1 = Readonly<{
+    readonly version: "kibi.bootstrap-plan.v1";
+    readonly planHash: string;
+    readonly status: "ready" | "needs_context" | "blocked" | "handoff";
+    readonly expected: Readonly<{
+        readonly branch: string;
+        readonly kbSnapshotId: string;
+        readonly workspaceSnapshot: string;
+        readonly sourceHashes: Readonly<Record<string, string | null>>;
+    }>;
+    readonly activation: Readonly<{
+        readonly activationState: ActivationState;
+        readonly activationMode: ActivationMode;
+        readonly applyBlocked: boolean;
+        readonly reason: string;
+    }>;
+    readonly declaredContext: BootstrapDeclaredContext;
+    readonly contextQuestions: readonly string[];
+    readonly confidence: Readonly<Record<string, unknown>>;
+    readonly discoverySummary: DiscoverySummary;
+    readonly candidates: readonly Readonly<Record<string, unknown>>[];
+    readonly actions: readonly BootstrapAction[];
+    readonly sourceWrites: readonly Readonly<Record<string, unknown>>[];
+    readonly suppressedCandidates: readonly Readonly<Record<string, unknown>>[];
+    readonly payoffSummary: Readonly<Record<string, unknown>>;
+    readonly diagnostics: readonly string[];
+}>;
 export type SourceOnlySignal = {
     readonly kind: "req" | "scenario" | "test";
     readonly title: string;
@@ -99,19 +140,20 @@ export type SourceOnlySignal = {
     readonly confidence: number;
     readonly evidence: readonly string[];
 };
-export type AutopilotStructuredContent = Readonly<Record<string, unknown>> & {
+export type BootstrapStructuredContent = Readonly<Record<string, unknown>> & {
+    /** The exact hash-bound plan returned by this read-only operation. */
+    readonly plan: BootstrapPlanV1;
+    readonly version: "kibi.bootstrap-plan.v1";
+    readonly planHash: string;
+    readonly status: BootstrapPlanV1["status"];
     readonly tldr: string;
     readonly activationReason: string;
     readonly candidates: readonly Readonly<Record<string, unknown>>[];
-    readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
+    readonly actions: readonly BootstrapAction[];
     readonly suppressedCandidates: readonly Readonly<Record<string, unknown>>[];
+    readonly diagnostics: readonly string[];
 };
-export type AutopilotGenerateResult = OperationResult<AutopilotStructuredContent> & {
-    readonly structuredContent: AutopilotStructuredContent;
-    readonly migrationWarning: string | null;
-    readonly candidates: readonly Readonly<Record<string, unknown>>[];
-    readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
-    readonly suppressedCandidates: readonly Readonly<Record<string, unknown>>[];
-    readonly payoffSummary: Readonly<Record<string, unknown>>;
+export type PlanBootstrapResult = OperationResult<BootstrapStructuredContent> & {
+    readonly structuredContent: BootstrapStructuredContent;
 };
 //# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAGxE,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAGR;AAED,mFAAmF;AACnF,wBAAgB,0BAA0B,CAAC,KAAK,EAAE;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;CAChE,GAAG,MAAM,CAWT;AAED,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,CAC5B,KAAK,GACL,UAAU,GACV,MAAM,GACN,KAAK,GACL,MAAM,GACN,QAAQ,CACX,EAAE,CAAC;IACJ,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,iBAAiB,GAAG,cAAc,CAAC;CACtE,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;IACjE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,eAAe,GACvB,oBAAoB,GACpB,cAAc,GACd,eAAe,GACf,kBAAkB,GAClB,oBAAoB,CAAC;AAEzB,MAAM,MAAM,cAAc,GACtB,sBAAsB,GACtB,kBAAkB,GAClB,yBAAyB,GACzB,uBAAuB,GACvB,yBAAyB,GACzB,kBAAkB,CAAC;AAEvB,eAAO,MAAM,wBAAwB,sHAO3B,CAAC;AAEX,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC7E,MAAM,MAAM,YAAY,GACpB,gBAAgB,GAChB,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,aAAa,GACb,eAAe,GACf,gBAAgB,CAAC;AAErB,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAClD,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;IACnD,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,SAAS;QAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACrB,EAAE,CAAC;IACJ,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAClE,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,eAAe,GAAG,SAAS,GAAG,SAAS,CAAC;IACnE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;QACnC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;KAChE,CAAC,CAAC;IACH,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;QAC1C,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;QACxC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;QAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,eAAe,EAAE,wBAAwB,CAAC;IACnD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,YAAY,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IACpE,QAAQ,CAAC,oBAAoB,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5E,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,UAAU,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IAC3E,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,QAAQ,CAAC,oBAAoB,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5E,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAC7B,eAAe,CAAC,0BAA0B,CAAC,GAAG;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,0BAA0B,CAAC;CACxD,CAAC"}

package/dist/operations/bootstrap/types.js

@@ -0,0 +1,25 @@
+import { createHash } from "node:crypto";
+import { canonicalize } from "../semantic-advisor/shared.js";
+export function bootstrapPlanHash(plan) {
+    const { planHash: _ignored, ...body } = plan;
+    return createHash("sha256").update(canonicalize(body)).digest("hex");
+}
+/** Bind a freshly initialized, not-yet-synced branch to its exact source state. */
+export function bootstrapEmptyKbSnapshotId(input) {
+    return `empty-source-state-${createHash("sha256")
+        .update(canonicalize({
+        version: "kibi.empty-source-state.v1",
+        branch: input.branch,
+        workspaceSnapshot: input.workspaceSnapshot,
+        sourceHashes: input.sourceHashes,
+    }))
+        .digest("hex")}`;
+}
+export const BOOTSTRAP_PROVIDER_ORDER = [
+    "typed_kibi_docs",
+    "generic_repo_docs",
+    "repo_metadata",
+    "repo_layout",
+    "test_topology",
+    "source_symbols",
+];

package/dist/operations/modeling/model-requirement.d.ts

@@ -4,6 +4,11 @@ import { estimateNormativeSignalConfidence, extractRequirementClaim } from "./re
 import type { ModelRequirementArgs, ModelRequirementResult } from "./requirement-types.js";
 export type { ModelRequirementArgs, ModelRequirementResult, } from "./requirement-types.js";
 export { estimateNormativeSignalConfidence, extractRequirementClaim, strictWriteSetToApplyPlan, writeSetPrimaryEntityId, };
+export declare function annotateModelRequirementStep(step: Record<string, unknown>, context: {
+    claimKey: string;
+    statement: string;
+    logicClaims: string[];
+}): Record<string, unknown>;
 export declare function getWorkspaceMigrationWarning(workspaceRoot: string): Promise<string | null>;
 export declare function handleKbModelRequirement(_prolog: unknown, args: ModelRequirementArgs, workspaceRoot: string): Promise<ModelRequirementResult>;
 export declare function executeModelRequirement(args: ModelRequirementArgs, context: OperationContext): Promise<ModelRequirementResult>;

package/dist/operations/modeling/model-requirement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAQjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAEF,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAgBxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,sBAAsB,CAAC,CAsKjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}
+{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAQjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAIF,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,OAAO,EAAE;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GACA,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAgDzB;AAED,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAIxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,sBAAsB,CAAC,CA4HjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}

package/dist/operations/modeling/model-requirement.js

@@ -1,7 +1,5 @@
-import { readFile } from "node:fs/promises";
-import path from "node:path";
 import { buildStrictWriteSet } from "../../public/check-types.js";
-import { getSchemaVersionStatus } from "../../public/schema-version.js";
+import { readKbManifestStatus } from "../../utils/kb-manifest.js";
 import { normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
 import { semanticSourceHash } from "../semantic-advisor/shared.js";
 import { buildLogicApplyPlan } from "./logic-modeling.js";
@@ -9,22 +7,59 @@ import { strictWriteSetToApplyPlan, writeSetPrimaryEntityId, } from "./requireme
 import { estimateNormativeSignalConfidence, extractRequirementClaim, } from "./requirement-modeler.js";
 import { normalizeOptionalString, normalizeSourceFiles, } from "./requirement-utils.js";
 export { estimateNormativeSignalConfidence, extractRequirementClaim, strictWriteSetToApplyPlan, writeSetPrimaryEntityId, };
-export async function getWorkspaceMigrationWarning(workspaceRoot) {
-    const configPath = path.join(workspaceRoot, ".kb", "config.json");
-    let rawConfig;
-    try {
-        rawConfig = await readFile(configPath, "utf8");
-    }
-    catch {
-        return null;
-    }
-    try {
-        const parsed = JSON.parse(rawConfig);
-        return getSchemaVersionStatus(parsed ?? undefined).warning;
+// implements REQ-kibi-logical-requirement-coverage
+// covered_by TEST-kibi-logical-requirement-coverage
+export function annotateModelRequirementStep(step, context) {
+    const properties = step.properties !== null && typeof step.properties === "object"
+        ? step.properties
+        : {};
+    if (step.type === "fact") {
+        return {
+            ...step,
+            properties: {
+                ...properties,
+                claim_key: context.claimKey,
+                claim_text: context.statement,
+            },
+        };
     }
-    catch {
-        return "KB config schemaVersion could not be read and should be checked before applying automated modeling.";
+    if (step.type === "req") {
+        const claimText = context.statement.trim();
+        const normalizedClaimText = normalizeSemanticClause(claimText);
+        return {
+            ...step,
+            properties: {
+                ...properties,
+                semantic_text: claimText,
+                logic_claims: context.logicClaims,
+                semantic_clauses: [claimText],
+                semantic_inventory_version: "kibi.semantic-inventory.v1",
+                semantic_source_field: "semantic_text",
+                semantic_source_hash: semanticSourceHash(claimText),
+                semantic_inventory: [
+                    {
+                        claim_key: context.claimKey,
+                        claim_text: normalizedClaimText,
+                        role: /\b(?:must|shall|should|required|requires?)\b/i.test(claimText)
+                            ? "normative"
+                            : "descriptive",
+                        status: "modeled",
+                        span: {
+                            start: 0,
+                            end: Buffer.byteLength(normalizedClaimText, "utf8"),
+                        },
+                    },
+                ],
+            },
+        };
     }
+    return step;
+}
+export async function getWorkspaceMigrationWarning(workspaceRoot) {
+    const status = readKbManifestStatus(workspaceRoot);
+    if (status.state === "ok")
+        return null;
+    return status.warning;
 }
 export async function handleKbModelRequirement(_prolog, args, workspaceRoot) {
     const extracted = extractRequirementClaim({
@@ -94,52 +129,11 @@ export async function handleKbModelRequirement(_prolog, args, workspaceRoot) {
     });
     const claimKey = semanticClaimKey(extracted.statement);
     const logicClaims = Array.from(new Set([...(args.existingLogicClaims ?? []), claimKey]));
-    const applyPlan = strictWriteSetToApplyPlan(writeSet).map((step) => {
-        const properties = step.properties !== null && typeof step.properties === "object"
-            ? step.properties
-            : {};
-        if (step.type === "fact") {
-            return {
-                ...step,
-                properties: {
-                    ...properties,
-                    claim_key: claimKey,
-                    claim_text: extracted.statement,
-                },
-            };
-        }
-        if (step.type === "req") {
-            const claimText = extracted.statement.trim();
-            const normalizedClaimText = normalizeSemanticClause(claimText);
-            return {
-                ...step,
-                properties: {
-                    ...properties,
-                    semantic_text: claimText,
-                    logic_claims: logicClaims,
-                    semantic_clauses: [claimText],
-                    semantic_inventory_version: "kibi.semantic-inventory.v1",
-                    semantic_source_field: "semantic_text",
-                    semantic_source_hash: semanticSourceHash(claimText),
-                    semantic_inventory: [
-                        {
-                            claim_key: claimKey,
-                            claim_text: normalizedClaimText,
-                            role: /\b(?:must|shall|should|required|requires?)\b/i.test(claimText)
-                                ? "normative"
-                                : "descriptive",
-                            status: "modeled",
-                            span: {
-                                start: 0,
-                                end: Buffer.byteLength(normalizedClaimText, "utf8"),
-                            },
-                        },
-                    ],
-                },
-            };
-        }
-        return step;
-    });
+    const applyPlan = strictWriteSetToApplyPlan(writeSet).map((step) => annotateModelRequirementStep(step, {
+        claimKey,
+        statement: extracted.statement,
+        logicClaims,
+    }));
     const migrationWarning = await getWorkspaceMigrationWarning(workspaceRoot);
     const warnings = writeSet.isStrict
         ? []

package/dist/operations/modeling/predicate-applicability.d.ts

@@ -0,0 +1,16 @@
+import { type RankedPredicateSchema } from "./predicate-ranker.js";
+export declare const MIN_APPLICABILITY_SCORE = 0.62;
+export declare const STRONG_APPLICABILITY_SCORE = 0.8;
+export declare const WEAK_CANDIDATE_MARGIN = 0.06;
+export interface SemanticApplicability {
+    readonly eligible: boolean;
+    readonly reasons: readonly string[];
+    readonly applicabilityScore: number;
+}
+/**
+ * Evaluate semantic fit after retrieval and before argument binding. The
+ * function deliberately does not inspect argument values: complete-looking
+ * terms cannot make a semantically unrelated schema eligible.
+ */
+export declare function evaluateSemanticApplicability(ranked: RankedPredicateSchema, text: string): SemanticApplicability;
+//# sourceMappingURL=predicate-applicability.d.ts.map

package/dist/operations/modeling/predicate-applicability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-applicability.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applicability.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,qBAAqB,EAE3B,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,uBAAuB,OAAO,CAAC;AAC5C,eAAO,MAAM,0BAA0B,MAAM,CAAC;AAC9C,eAAO,MAAM,qBAAqB,OAAO,CAAC;AA2U1C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE,MAAM,GACX,qBAAqB,CA2EvB"}