kibi-cli 0.14.0 → 0.16.1

package/dist/operations/autopilot/presentation.js

@@ -0,0 +1,91 @@
+import { buildGuidance } from "./guidance.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 },
+    };
+}
+export function presentAutopilot(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 applyBlocked = input.activation.applyBlocked ||
+        confidenceLevel === "medium" ||
+        confidenceLevel === "low";
+    const blockedFallback = input.activation.activationMode === "vendored_blocked"
+        ? `Autopilot bootstrap blocked: ${input.activation.reason}`
+        : input.activation.activationMode === "attached_thin_handoff" ||
+            input.activation.activationMode === "attached_seeded_handoff"
+            ? `Autopilot handoff: ${input.activation.reason}`
+            : "Bootstrap output found no safe candidates; follow the recommended actions to continue.";
+    const baseTldr = input.candidates.length + input.sourceOnlySignals.length > 0
+        ? `Bootstrap output is ready 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 applyPlan = input.candidates.flatMap((candidate) => [
+        ...candidate.applyPlan,
+    ]);
+    const payoffSummary = payoff(input.candidates);
+    const structuredContent = {
+        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,
+        applyPlan,
+        suppressedCandidates: input.suppressedCandidates,
+        payoffSummary,
+    };
+    const text = applyPlan.length > 0
+        ? `${tldr} Review structuredContent.applyPlan for exact sequential kb_upsert payloads before requesting approval.`
+        : tldr;
+    return {
+        content: [{ type: "text", text }],
+        structuredContent,
+        migrationWarning: input.migrationWarning,
+        candidates: input.candidates,
+        applyPlan,
+        suppressedCandidates: input.suppressedCandidates,
+        payoffSummary,
+    };
+}

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

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

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

@@ -0,0 +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"}

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

@@ -0,0 +1,48 @@
+export function claimFor(statement, source, confidence, provenance) {
+    const normalized = statement.replace(/^\s*(?:[-*+]|\d+[.)])\s+/, "").trim();
+    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 &&
+        retention.groups.unit) {
+        const unit = retention.groups.unit.toLowerCase().startsWith("day")
+            ? "Days"
+            : retention.groups.unit.toLowerCase().startsWith("month")
+                ? "Months"
+                : "Years";
+        return {
+            source,
+            subjectKey: retention.groups.subject
+                .replace(/^(the|a|an)\s+/i, "")
+                .trim(),
+            propertyKey: `Retention ${unit}`,
+            operator: "eq",
+            value: Number(retention.groups.value),
+            confidence,
+            provenance,
+        };
+    }
+    const state = normalized.match(/^(?<subject>.+?)\s+(?:must|shall|should)\s+be\s+(?<value>enabled|disabled)\.?$/i);
+    if (state?.groups?.subject && state.groups.value) {
+        return {
+            source,
+            subjectKey: state.groups.subject.trim(),
+            propertyKey: "enabled",
+            operator: "bool",
+            value: state.groups.value.toLowerCase() === "enabled",
+            confidence,
+            provenance,
+        };
+    }
+    const polarity = normalized.match(/^(?<subject>.+?)\s+(?:must|shall|should)\s+(?<negative>not\s+)?(?<predicate>.+?)\.?$/i);
+    if (!polarity?.groups?.subject || !polarity.groups.predicate)
+        return null;
+    return {
+        source,
+        subjectKey: polarity.groups.subject.trim(),
+        propertyKey: polarity.groups.predicate.trim(),
+        operator: "polarity",
+        value: polarity.groups.negative ? "forbid" : "require",
+        confidence,
+        provenance,
+    };
+}

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

@@ -0,0 +1,117 @@
+import type { OperationResult } from "../../public/operations/types.js";
+export type AutopilotBootstrapContext = {
+    readonly projectSummary?: string;
+    readonly sourceOfTruthPaths?: readonly string[];
+    readonly sourceOfTruthNotes?: readonly string[];
+    readonly priorityRoots?: readonly string[];
+    readonly verificationAnchors?: readonly string[];
+};
+export type AutopilotGenerateArgs = {
+    readonly includeGenericMarkdown?: boolean;
+    readonly minConfidence?: number;
+    readonly maxCandidates?: number;
+    readonly entityTypes?: readonly ("req" | "scenario" | "test" | "adr" | "fact" | "symbol")[];
+    readonly bootstrapContext?: AutopilotBootstrapContext;
+};
+export type AutopilotConfidence = {
+    readonly score: number;
+    readonly level: "high" | "medium" | "low";
+    readonly reasons: readonly string[];
+    readonly policy: "full_actions" | "review_required" | "handoff_only";
+};
+export type AutopilotRecommendedAction = {
+    readonly order: number;
+    readonly kind: "query" | "upsert" | "check" | "handoff";
+    readonly description: string;
+    readonly candidateIds?: readonly string[];
+};
+export type AutopilotDeclaredContext = {
+    readonly projectSummary?: string;
+    readonly sourceOfTruthPaths: readonly string[];
+    readonly sourceOfTruthNotes: readonly string[];
+    readonly priorityRoots: readonly string[];
+    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 EvidenceKind = "typed_markdown" | "symbol_manifest" | "generic_markdown" | "repo_metadata" | "repo_layout" | "test_topology" | "source_symbols";
+export type ActivationPolicy = {
+    readonly activationState: ActivationState;
+    readonly activationMode: ActivationMode;
+    readonly applyBlocked: boolean;
+    readonly allowCandidateGeneration: boolean;
+    readonly reason: string;
+    readonly handoffMessage?: string;
+};
+export type AutopilotEvidence = {
+    readonly provider: EvidenceProviderName;
+    readonly kind: EvidenceKind;
+    readonly label: string;
+    readonly relativePath?: string;
+    readonly absolutePath?: string;
+    readonly content?: string;
+    readonly data: Readonly<Record<string, unknown>>;
+};
+export type DiscoverySummary = {
+    readonly activationState: ActivationState;
+    readonly activationMode: ActivationMode;
+    readonly applyBlocked: boolean;
+    readonly reason: string;
+    readonly handoffMessage?: string;
+    readonly vendored?: readonly string[];
+    readonly providersRun: readonly EvidenceProviderName[];
+    readonly providerCounts: Readonly<Record<string, number>>;
+    readonly detectedLanguages: readonly string[];
+    readonly detectedTestFrameworks: readonly string[];
+    readonly excludedRoots: readonly string[];
+    readonly truncated: boolean;
+    readonly scanWarnings: readonly string[];
+};
+export type DiscoveryResult = {
+    readonly activation: ActivationPolicy;
+    readonly evidence: readonly AutopilotEvidence[];
+    readonly ignoredSources: readonly string[];
+    readonly summary: DiscoverySummary;
+    readonly migrationWarning: string | null;
+};
+export type Candidate = {
+    readonly candidateId: string;
+    readonly entityType: string;
+    readonly title: string;
+    readonly sourceKind: string;
+    readonly sourcePath: string;
+    readonly confidence: number;
+    readonly confidenceBand: string;
+    readonly evidence: readonly string[];
+    readonly relationships: readonly {
+        readonly type: string;
+        readonly from: string;
+        readonly to: string;
+    }[];
+    readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
+};
+export type SourceOnlySignal = {
+    readonly kind: "req" | "scenario" | "test";
+    readonly title: string;
+    readonly sourcePath: string;
+    readonly confidence: number;
+    readonly evidence: readonly string[];
+};
+export type AutopilotStructuredContent = Readonly<Record<string, unknown>> & {
+    readonly tldr: string;
+    readonly activationReason: string;
+    readonly candidates: readonly Readonly<Record<string, unknown>>[];
+    readonly applyPlan: readonly Readonly<Record<string, unknown>>[];
+    readonly suppressedCandidates: readonly Readonly<Record<string, unknown>>[];
+};
+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>>;
+};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAExE,MAAM,MAAM,yBAAyB,GAAG;IACtC,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,qBAAqB,GAAG;IAClC,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,yBAAyB,CAAC;CACvD,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,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;IACxD,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,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,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,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,SAAS,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IACjE,QAAQ,CAAC,oBAAoB,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAC7E,CAAC;AAEF,MAAM,MAAM,uBAAuB,GACjC,eAAe,CAAC,0BAA0B,CAAC,GAAG;IAC5C,QAAQ,CAAC,iBAAiB,EAAE,0BAA0B,CAAC;IACvD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAClE,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IACjE,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;CAC3D,CAAC"}

package/dist/operations/autopilot/types.js

@@ -0,0 +1,8 @@
+export const AUTOPILOT_PROVIDER_ORDER = [
+    "typed_kibi_docs",
+    "generic_repo_docs",
+    "repo_metadata",
+    "repo_layout",
+    "test_topology",
+    "source_symbols",
+];

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

@@ -0,0 +1,10 @@
+import type { OperationContext } from "../../public/operations/runtime-types.js";
+import { strictWriteSetToApplyPlan, writeSetPrimaryEntityId } from "./requirement-applyplan.js";
+import { estimateNormativeSignalConfidence, extractRequirementClaim } from "./requirement-modeler.js";
+import type { ModelRequirementArgs, ModelRequirementResult } from "./requirement-types.js";
+export type { ModelRequirementArgs, ModelRequirementResult, } from "./requirement-types.js";
+export { estimateNormativeSignalConfidence, extractRequirementClaim, strictWriteSetToApplyPlan, writeSetPrimaryEntityId, };
+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>;
+//# sourceMappingURL=model-requirement.d.ts.map

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

@@ -0,0 +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;AAGjF,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,CAmFjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}

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

@@ -0,0 +1,108 @@
+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 { semanticClaimKey } from "../semantic-advisor/clauses.js";
+import { strictWriteSetToApplyPlan, writeSetPrimaryEntityId, } from "./requirement-applyplan.js";
+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;
+    }
+    catch {
+        return "KB config schemaVersion could not be read and should be checked before applying automated modeling.";
+    }
+}
+export async function handleKbModelRequirement(_prolog, args, workspaceRoot) {
+    const extracted = extractRequirementClaim({
+        ...args,
+        source: normalizeOptionalString(args.source) ??
+            normalizeSourceFiles(args.sourceFiles)[0] ??
+            "mcp://kibi/model-requirement",
+    });
+    const writeSet = buildStrictWriteSet({
+        claim: extracted.claim,
+        statement: extracted.statement,
+    });
+    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") {
+            return {
+                ...step,
+                properties: { ...properties, logic_claims: logicClaims },
+            };
+        }
+        return step;
+    });
+    const migrationWarning = await getWorkspaceMigrationWarning(workspaceRoot);
+    const warnings = writeSet.isStrict
+        ? []
+        : [
+            {
+                kind: "low_confidence_observation_downgrade",
+                message: `Claim confidence ${writeSet.confidence.toFixed(2)} is below the strict threshold 0.70, so Kibi emitted an observation fact instead of strict subject/property facts.`,
+                nextAction: "If this is normative, provide subjectKey, propertyKey, operator, and value explicitly, then apply the returned strict write-set sequentially.",
+            },
+        ];
+    const strictSummary = writeSet.isStrict
+        ? `Modeled strict requirement into ${applyPlan.length} sequential applyPlan step(s).`
+        : "Modeled a non-blocking observation review artifact; deterministic claim extraction stayed below the strict threshold.";
+    const structuredContent = {
+        statement: extracted.statement,
+        claimKey,
+        logicClaims,
+        source: extracted.source,
+        sourceFiles: extracted.sourceFiles,
+        claim: extracted.claim,
+        writeSet,
+        applyPlan,
+        isStrict: writeSet.isStrict,
+        confidence: writeSet.confidence,
+        extractionMode: extracted.extractionMode,
+        extractionWarnings: extracted.extractionWarnings,
+        warnings,
+        migrationWarning,
+    };
+    return {
+        content: [
+            {
+                type: "text",
+                text: migrationWarning
+                    ? `${strictSummary} Migration warning included.`
+                    : strictSummary,
+            },
+        ],
+        structuredContent,
+        applyPlan,
+        writeSet,
+        migrationWarning,
+    };
+}
+export async function executeModelRequirement(args, context) {
+    return handleKbModelRequirement(context.prolog, args, context.workspaceRoot);
+}

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

@@ -0,0 +1,6 @@
+import type { PredicateSchemaCandidate, PredicateSuggestion, SuggestPredicatesArgs } from "./predicate-types.js";
+export declare function buildSuggestion(schema: PredicateSchemaCandidate, text: string, subject: string, score: number): PredicateSuggestion;
+export declare function buildPredicateApplyPlan(suggestion: PredicateSuggestion, args: SuggestPredicatesArgs): Array<Record<string, unknown>>;
+export declare function buildRelationshipPlan(factId: string | undefined, requirementId: string | undefined, claimText?: string, existingLogicClaims?: readonly string[]): Record<string, unknown> | null;
+export declare function buildGapApplyPlan(text: string, args: SuggestPredicatesArgs): Array<Record<string, unknown>>;
+//# sourceMappingURL=predicate-applyplan.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-applyplan.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applyplan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAI9B,wBAAgB,eAAe,CAC7B,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,GACZ,mBAAmB,CAarB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgChC;AAGD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,SAAS,CAAC,EAAE,MAAM,EAClB,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAwBhC;AAGD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAyBhC"}

package/dist/operations/modeling/predicate-applyplan.js

@@ -0,0 +1,104 @@
+import { semanticClaimKey } from "../semantic-advisor/clauses.js";
+import { inferArgs } from "./predicate-inference.js";
+import { schemaForCandidate } from "./predicate-loader.js";
+import { hashId } from "./predicate-utils.js";
+// implements REQ-mcp-suggest-predicates
+export function buildSuggestion(schema, text, subject, score) {
+    const predicateArgs = inferArgs(schema, text, subject);
+    const canonicalKey = `${schema.predicate_name}(${predicateArgs.join(",")})`;
+    return {
+        id: hashId("SUGGEST", [schema.id, canonicalKey, text]),
+        predicate_name: schema.predicate_name,
+        predicate_args: predicateArgs,
+        canonical_key: canonicalKey,
+        polarity: "assert",
+        score,
+        rationale: `Matched ${schema.predicate_name} because the prose overlaps with ${schema.tags.join(", ")} cues.`,
+        schema: schemaForCandidate(schema),
+    };
+}
+// implements REQ-mcp-suggest-predicates
+export function buildPredicateApplyPlan(suggestion, args) {
+    const claimKey = semanticClaimKey(args.text);
+    const factId = hashId("FACT-PRED", [
+        args.requirementId ?? "",
+        args.source ?? "",
+        suggestion.canonical_key,
+    ]);
+    return [
+        {
+            type: "fact",
+            id: factId,
+            properties: {
+                title: `Predicate: ${suggestion.canonical_key}`,
+                status: "active",
+                source: args.source ?? "mcp://kibi/suggest-predicates",
+                text_ref: args.source,
+                tags: [
+                    "lane:ontology",
+                    "predicate-suggestion",
+                    ...suggestion.schema.tags.map((tag) => `predicate:${tag}`),
+                ],
+                fact_kind: "predicate",
+                predicate_name: suggestion.predicate_name,
+                predicate_args: suggestion.predicate_args,
+                canonical_key: suggestion.canonical_key,
+                polarity: suggestion.polarity,
+                claim_key: claimKey,
+                claim_text: args.text.trim(),
+            },
+            relationships: [],
+        },
+    ];
+}
+// implements REQ-mcp-suggest-predicates
+export function buildRelationshipPlan(factId, requirementId, claimText, existingLogicClaims = []) {
+    if (!factId || !requirementId)
+        return null;
+    const claimKey = claimText ? semanticClaimKey(claimText) : null;
+    const logicClaims = Array.from(new Set([...existingLogicClaims, ...(claimKey === null ? [] : [claimKey])]));
+    return {
+        applyAfter: factId,
+        requiresExistingReq: requirementId,
+        relationship: {
+            type: "requires_predicate",
+            from: requirementId,
+            to: factId,
+        },
+        ...(claimText
+            ? {
+                claimKey,
+                claimText: claimText.trim(),
+                logicClaims,
+            }
+            : {}),
+        instructions: "Apply the predicate fact first, update the requirement with the returned merged logicClaims manifest, then attach this relationship without overwriting other requirement metadata.",
+    };
+}
+// implements REQ-mcp-suggest-predicates
+export function buildGapApplyPlan(text, args) {
+    const claimKey = semanticClaimKey(text);
+    const factId = hashId("FACT-ONTOLOGY-GAP", [
+        args.requirementId ?? "",
+        args.source ?? "",
+        text,
+    ]);
+    return [
+        {
+            type: "fact",
+            id: factId,
+            properties: {
+                title: "Ontology gap: predicate schema needed",
+                status: "active",
+                source: args.source ?? "mcp://kibi/suggest-predicates",
+                text_ref: args.source,
+                tags: ["review:ontology-gap", "needs_schema_extension"],
+                fact_kind: "observation",
+                value_string: text,
+                claim_key: claimKey,
+                claim_text: text,
+            },
+            relationships: [],
+        },
+    ];
+}

package/dist/operations/modeling/predicate-catalog-1.d.ts

@@ -0,0 +1,3 @@
+import type { PredicateSchemaCandidate } from "./predicate-types.js";
+export declare const PREDICATE_CATALOG_1: PredicateSchemaCandidate[];
+//# sourceMappingURL=predicate-catalog-1.d.ts.map

package/dist/operations/modeling/predicate-catalog-1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-catalog-1.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAmNzD,CAAC"}