kibi-cli 0.12.8 → 0.16.1

package/dist/operations/autopilot/guidance.js

@@ -0,0 +1,124 @@
+import path from "node:path";
+import { buildActions } from "./guidance-actions.js";
+function relative(root, target) {
+    const value = path.relative(root, target);
+    return value.startsWith("..") || path.isAbsolute(value)
+        ? target.split(path.sep).join("/")
+        : value.split(path.sep).join("/");
+}
+function summary(values, limit = 3) {
+    if (values.length === 0)
+        return "workspace evidence";
+    return values.length <= limit
+        ? values.join(", ")
+        : `${values.slice(0, limit).join(", ")} +${values.length - limit} more`;
+}
+function counts(candidates) {
+    const result = {};
+    for (const candidate of candidates)
+        result[candidate.entityType] = (result[candidate.entityType] ?? 0) + 1;
+    return result;
+}
+function prompt(root, activation, declared, candidates, signals, warnings) {
+    const bullets = [];
+    bullets.push(activation.applyBlocked
+        ? `- Apply blocked: ${activation.reason}`
+        : `- Mode: ${activation.activationMode} (${activation.activationState}).`);
+    if (declared.projectSummary)
+        bullets.push(`- Summary: ${declared.projectSummary}`);
+    if (declared.sourceOfTruthPaths.length > 0)
+        bullets.push(`- Source of truth: ${summary(declared.sourceOfTruthPaths)}.`);
+    if (candidates.length > 0) {
+        const formatted = Object.entries(counts(candidates))
+            .sort(([left], [right]) => left.localeCompare(right))
+            .map(([type, count]) => `${type} ${count}`)
+            .join(", ");
+        bullets.push(`- Safe candidates: ${candidates.length} (${formatted}).`);
+    }
+    if (signals.length > 0) {
+        const kinds = [
+            ...new Set(signals.map((signal) => signal.kind.toUpperCase())),
+        ].join("/");
+        const paths = [
+            ...new Set(signals.map((signal) => relative(root, signal.sourcePath))),
+        ];
+        bullets.push(`- Author ${kinds} manually from ${summary(paths)}; keep them out of speculative candidate output.`);
+    }
+    else if (declared.verificationAnchors.length > 0)
+        bullets.push(`- Verify after kb_check with ${summary(declared.verificationAnchors, 2)}.`);
+    if (activation.activationMode === "attached_thin_handoff" ||
+        activation.activationMode === "attached_seeded_handoff")
+        bullets.push("- Handoff: use kb_search, kb_query, or gap/coverage tools to work with existing KB.");
+    if (warnings.length > 0)
+        bullets.push(`- Scan diagnostics: ${warnings.length} warning(s) during evidence collection.`);
+    const words = bullets.slice(0, 5).join("\n").split(/\s+/).filter(Boolean);
+    const selected = words.slice(0, 120);
+    if (words.length > 120 && selected.length > 0)
+        selected[selected.length - 1] = `${selected[selected.length - 1]}…`;
+    return selected.join(" ").replaceAll(" - ", "\n- ");
+}
+function confidence(activation, declared, candidates, signals, promptBlock) {
+    const reasons = [];
+    let score = candidates.length > 0 ? 0.68 : 0.44;
+    if (activation.applyBlocked) {
+        score -= 0.24;
+        reasons.push("Current workspace posture blocks direct application.");
+    }
+    else {
+        score += 0.12;
+        reasons.push("Workspace posture allows read-only bootstrap synthesis.");
+    }
+    score += {
+        cold_start_bootstrap: 0.1,
+        repair_bootstrap: -0.05,
+        attached_thin_handoff: -0.12,
+        attached_seeded_handoff: -0.18,
+        vendored_blocked: -0.25,
+    }[activation.activationMode];
+    reasons.push(`${activation.activationMode} determined the bootstrap posture.`);
+    if (declared.projectSummary ||
+        declared.sourceOfTruthPaths.length +
+            declared.sourceOfTruthNotes.length +
+            declared.priorityRoots.length +
+            declared.verificationAnchors.length >
+            0) {
+        score += 0.08;
+        reasons.push("Declared bootstrap context grounds the output.");
+    }
+    else
+        reasons.push("No declared bootstrap context was supplied.");
+    if (signals.length > 0) {
+        score += 0.04;
+        reasons.push("Source-only evidence was routed into authoring guidance.");
+    }
+    if (candidates.length === 0) {
+        score -= 0.08;
+        reasons.push("No safe candidates were synthesized from current evidence.");
+    }
+    else
+        reasons.push(`${candidates.length} safe candidate(s) are ready for review.`);
+    if (!promptBlock) {
+        score -= 0.05;
+        reasons.push("Prompt block could not be assembled within the handoff budget.");
+    }
+    const rounded = Math.round(Math.max(0, Math.min(1, score)) * 100) / 100;
+    const level = rounded > 0.7 ? "high" : rounded >= 0.4 ? "medium" : "low";
+    const policy = level === "high"
+        ? "full_actions"
+        : level === "medium"
+            ? "review_required"
+            : "handoff_only";
+    if (level !== "high")
+        reasons.push(level === "medium"
+            ? "Medium confidence: review recommended before applying."
+            : "Low confidence: handoff-only output with diagnostic guidance.");
+    return { score: rounded, level, reasons, policy };
+}
+export function buildGuidance(input) {
+    const promptBlock = prompt(input.root, input.activation, input.declared, input.candidates, input.signals, input.warnings);
+    return {
+        promptBlock,
+        confidence: confidence(input.activation, input.declared, input.candidates, input.signals, promptBlock),
+        actions: buildActions(input.root, input.activation, input.declared, input.candidates, input.signals),
+    };
+}

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

@@ -0,0 +1,7 @@
+import type { AutopilotEvidence, Candidate, SourceOnlySignal } from "./types.js";
+export type CandidateBuildResult = {
+    readonly candidates: readonly Candidate[];
+    readonly sourceOnlySignals: readonly SourceOnlySignal[];
+};
+export declare function markdownCandidates(item: AutopilotEvidence, existingIds: ReadonlySet<string>, minConfidence: number): CandidateBuildResult;
+//# sourceMappingURL=markdown-candidates.d.ts.map

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

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

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

@@ -0,0 +1,134 @@
+import path from "node:path";
+import { buildStrictWriteSet } from "../../utils/strict-modeling.js";
+import { confidenceBand, slug, strictPlan, upsert, } from "./candidate-helpers.js";
+import { claimFor } from "./requirement-claims.js";
+function headingSignals(heading, sourcePath, textRef, minConfidence) {
+    const result = [];
+    for (const [kind, pattern, confidence] of [
+        ["req", /\brequirements?\b/i, 0.84],
+        ["scenario", /\bscenarios?\b/i, 0.83],
+        ["test", /\b(tests?|verification)\b/i, 0.82],
+    ]) {
+        if (pattern.test(heading) && confidence >= minConfidence) {
+            result.push({
+                kind,
+                title: `Author ${kind} from ${heading}`,
+                sourcePath,
+                confidence,
+                evidence: [`generic_heading:${textRef}`],
+            });
+        }
+    }
+    return result;
+}
+function genericHeadingCandidate(item, heading, line, existingIds, minConfidence) {
+    const relativePath = item.relativePath ?? item.label;
+    const type = /\badr\b|architectur.*decision/i.test(heading)
+        ? "adr"
+        : /\b(observations?|facts?|notes?)\b/i.test(heading)
+            ? "fact"
+            : null;
+    const confidence = type === "adr" ? 0.9 : type === "fact" ? 0.8 : 0;
+    if (!type || confidence < minConfidence)
+        return null;
+    const id = `${type === "adr" ? "ADR" : "FACT"}-GEN-${slug(heading, 60) || slug(path.basename(relativePath))}`.toUpperCase();
+    if (existingIds.has(id))
+        return null;
+    const entity = {
+        type,
+        id,
+        title: heading,
+        status: type === "adr" ? "proposed" : "active",
+        ...(type === "fact" ? { fact_kind: "observation" } : {}),
+        source: `autopilot:generic:${relativePath}`,
+        text_ref: `${relativePath}#L${line}`,
+    };
+    return {
+        candidateId: `gen:${relativePath}:${type}:${slug(heading)}`,
+        entityType: type,
+        title: heading,
+        sourceKind: "generic_markdown",
+        sourcePath: item.absolutePath ?? relativePath,
+        confidence,
+        confidenceBand: confidenceBand(confidence),
+        evidence: [`generic_heading:${relativePath}#L${line}`],
+        relationships: [],
+        applyPlan: [upsert(entity)],
+    };
+}
+function requirementCandidate(item, statement, line, heading, headingLine, existingIds, minConfidence) {
+    const relativePath = item.relativePath ?? item.label;
+    const base = /\bshall\b/i.test(statement)
+        ? 0.86
+        : /\bmust\b/i.test(statement)
+            ? 0.84
+            : 0.78;
+    const confidence = Math.min(0.95, base +
+        (heading &&
+            /requirements?|constraints?|polic(?:y|ies)|rules?/i.test(heading)
+            ? 0.08
+            : 0));
+    if (confidence < minConfidence)
+        return null;
+    const claim = claimFor(statement, relativePath, confidence, `${relativePath}#L${line}`);
+    if (!claim)
+        return null;
+    const writeSet = buildStrictWriteSet({ claim, statement });
+    if (!writeSet.isStrict || existingIds.has(writeSet.req.id))
+        return null;
+    return {
+        candidateId: `norm:${writeSet.req.id.toLowerCase()}`,
+        entityType: "req",
+        title: statement,
+        sourceKind: "generic_markdown",
+        sourcePath: item.absolutePath ?? relativePath,
+        confidence,
+        confidenceBand: confidenceBand(confidence),
+        evidence: [
+            `normative_statement:${relativePath}#L${line}`,
+            ...(heading ? [`generic_heading:${relativePath}#L${headingLine}`] : []),
+        ],
+        relationships: writeSet.relationships.map(({ type, from, to }) => ({
+            type,
+            from,
+            to,
+        })),
+        applyPlan: strictPlan(writeSet),
+    };
+}
+export function markdownCandidates(item, existingIds, minConfidence) {
+    const candidates = [];
+    const sourceOnlySignals = [];
+    const relativePath = item.relativePath ?? item.label;
+    let heading;
+    let headingLine = 0;
+    let fenced = false;
+    for (const [index, line] of (item.content ?? "").split(/\r?\n/).entries()) {
+        if (/^\s*(```|~~~)/.test(line)) {
+            fenced = !fenced;
+            continue;
+        }
+        if (fenced)
+            continue;
+        const match = line.match(/^\s*#+\s*(.+)$/);
+        if (match?.[1]) {
+            heading = match[1].trim();
+            headingLine = index + 1;
+            const candidate = genericHeadingCandidate(item, heading, headingLine, existingIds, minConfidence);
+            if (candidate)
+                candidates.push(candidate);
+            sourceOnlySignals.push(...headingSignals(heading, item.absolutePath ?? relativePath, `${relativePath}#L${headingLine}`, minConfidence));
+            continue;
+        }
+        const statement = line
+            .replace(/^\s*[-*+]\s+/, "")
+            .replace(/^\s*\d+[.)]\s+/, "")
+            .trim();
+        if (!statement || !/\b(must|shall|should)\b/i.test(statement))
+            continue;
+        const candidate = requirementCandidate(item, statement, index + 1, heading, headingLine, existingIds, minConfidence);
+        if (candidate)
+            candidates.push(candidate);
+    }
+    return { candidates, sourceOnlySignals };
+}

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

@@ -0,0 +1,13 @@
+import type { ActivationPolicy, AutopilotBootstrapContext, AutopilotDeclaredContext, AutopilotGenerateResult, Candidate, DiscoverySummary, SourceOnlySignal } from "./types.js";
+export declare function normalizeBootstrapContext(input?: AutopilotBootstrapContext): AutopilotDeclaredContext;
+export declare function presentAutopilot(input: {
+    readonly root: string;
+    readonly activation: ActivationPolicy;
+    readonly discoverySummary: DiscoverySummary;
+    readonly migrationWarning: string | null;
+    readonly bootstrapContext?: AutopilotBootstrapContext;
+    readonly candidates: readonly Candidate[];
+    readonly sourceOnlySignals: readonly SourceOnlySignal[];
+    readonly suppressedCandidates: readonly Readonly<Record<string, unknown>>[];
+}): AutopilotGenerateResult;
+//# sourceMappingURL=presentation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"presentation.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/presentation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,gBAAgB,EAChB,yBAAyB,EACzB,wBAAwB,EACxB,uBAAuB,EACvB,SAAS,EACT,gBAAgB,EAChB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAQpB,wBAAgB,yBAAyB,CACvC,KAAK,CAAC,EAAE,yBAAyB,GAChC,wBAAwB,CAS1B;AAgBD,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,yBAAyB,CAAC;IACtD,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;CAC7E,GAAG,uBAAuB,CAoE1B"}

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"}