kibi-cli 0.14.0 → 0.17.0

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/logic-modeling.d.ts

@@ -0,0 +1,22 @@
+import { type LogicRuleIR } from "../../logic/ir.js";
+export interface LogicApplyPlanInput {
+    readonly text: string;
+    readonly logic: LogicRuleIR;
+    readonly source: string;
+    readonly requirementId?: string;
+    readonly existingLogicClaims?: readonly string[];
+    readonly claimKey?: string;
+    readonly claimText?: string;
+}
+export interface LogicApplyPlanResult {
+    readonly normalized: LogicRuleIR;
+    readonly ruleHash: string;
+    readonly semanticKey: string;
+    readonly claimKey: string;
+    readonly claimText: string;
+    readonly renderedProlog: string;
+    readonly applyPlan: Array<Record<string, unknown>>;
+}
+export declare function logicRuleFactId(semanticKey: string): string;
+export declare function buildLogicApplyPlan(input: LogicApplyPlanInput): LogicApplyPlanResult;
+//# sourceMappingURL=logic-modeling.d.ts.map

package/dist/operations/modeling/logic-modeling.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"logic-modeling.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/logic-modeling.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAG3B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAUD,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,CAwGtB"}

package/dist/operations/modeling/logic-modeling.js

@@ -0,0 +1,111 @@
+import { createHash } from "node:crypto";
+import { logicSemanticKey, utf8Span, validateLogicIr, } from "../../logic/ir.js";
+import { semanticClaimKey } from "../semantic-advisor/clauses.js";
+function shortId(value) {
+    return createHash("sha256")
+        .update(value)
+        .digest("hex")
+        .slice(0, 16)
+        .toUpperCase();
+}
+export function logicRuleFactId(semanticKey) {
+    return `FACT-RULE-${shortId(semanticKey)}`;
+}
+export function buildLogicApplyPlan(input) {
+    const validation = validateLogicIr(input.logic);
+    if (!validation.valid ||
+        !validation.normalized ||
+        !validation.ruleHash ||
+        !validation.semanticKey ||
+        !validation.renderedProlog) {
+        throw new Error(`Logic IR validation failed: ${validation.errors.join("; ")}`);
+    }
+    const claimText = input.claimText?.trim() || input.text.trim();
+    const claimKey = input.claimKey || semanticClaimKey(claimText);
+    const semanticKey = logicSemanticKey(validation.normalized);
+    const schemaId = validation.normalized.ruleSchemaId ?? "FACT-RULE-SCHEMA-LOGIC-V1";
+    const ruleId = logicRuleFactId(semanticKey);
+    const span = utf8Span(input.text, 0, input.text.length);
+    const logicClaims = Array.from(new Set([...(input.existingLogicClaims ?? []), claimKey]));
+    const schemaPlan = input.logic.ruleSchemaId
+        ? []
+        : [
+            {
+                type: "fact",
+                id: schemaId,
+                properties: {
+                    title: "kibi.logic.v1 rule schema",
+                    status: "active",
+                    source: input.source,
+                    fact_kind: "rule_schema",
+                    rule_name: "kibi.logic.v1",
+                    argument_names: ["rule_ir"],
+                    argument_types: ["logic_ir"],
+                    aliases: ["conditional rule", "constraint", "policy rule"],
+                    examples: [validation.renderedProlog],
+                },
+                relationships: [],
+            },
+        ];
+    return {
+        normalized: validation.normalized,
+        ruleHash: validation.ruleHash,
+        semanticKey,
+        claimKey,
+        claimText,
+        renderedProlog: validation.renderedProlog,
+        applyPlan: [
+            ...schemaPlan,
+            {
+                type: "fact",
+                id: ruleId,
+                properties: {
+                    title: `${validation.normalized.kind} rule ${semanticKey}`,
+                    status: "active",
+                    source: input.source,
+                    fact_kind: "rule",
+                    rule_ir: validation.normalized,
+                    rule_hash: validation.ruleHash,
+                    semantic_key: semanticKey,
+                    rule_schema_id: schemaId,
+                    rule_name: validation.normalized.ruleSchemaId ?? "kibi.logic.v1",
+                    canonical_key: semanticKey,
+                    claim_key: claimKey,
+                    claim_text: claimText,
+                    claim_span_start: span.start,
+                    claim_span_end: span.end,
+                    tags: ["lane:logic", "logic-ir-v1"],
+                },
+                relationships: [],
+            },
+            {
+                type: "req",
+                id: input.requirementId ?? `REQ-LOGIC-${shortId(claimText)}`,
+                properties: {
+                    title: claimText.split(/[.!?]/, 1)[0] || "Typed logical requirement",
+                    status: "open",
+                    source: input.source,
+                    text_ref: claimText,
+                    logic_claims: logicClaims,
+                    semantic_inventory: [
+                        {
+                            claim_key: claimKey,
+                            claim_text: claimText,
+                            role: "normative",
+                            status: "modeled",
+                            span,
+                            semantic_key: semanticKey,
+                        },
+                    ],
+                },
+                relationships: [
+                    {
+                        type: "requires_rule",
+                        from: input.requirementId ?? `REQ-LOGIC-${shortId(claimText)}`,
+                        to: ruleId,
+                    },
+                ],
+            },
+        ],
+    };
+}

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;AAIjF,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,CA4IjC;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,164 @@
+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 { buildLogicApplyPlan } from "./logic-modeling.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",
+    });
+    if (args.logic !== undefined) {
+        const logicPlan = buildLogicApplyPlan({
+            text: args.text,
+            logic: args.logic,
+            source: extracted.source,
+            ...(typeof args.requirementId === "string"
+                ? { requirementId: args.requirementId }
+                : {}),
+            ...(args.existingLogicClaims !== undefined
+                ? { existingLogicClaims: args.existingLogicClaims }
+                : {}),
+            ...(args.claimKey !== undefined ? { claimKey: args.claimKey } : {}),
+            ...(args.claimText !== undefined ? { claimText: args.claimText } : {}),
+        });
+        const fallbackWriteSet = buildStrictWriteSet({
+            claim: extracted.claim,
+            statement: extracted.statement,
+        });
+        const migrationWarning = await getWorkspaceMigrationWarning(workspaceRoot);
+        const structuredContent = {
+            statement: extracted.statement,
+            claimKey: logicPlan.claimKey,
+            logicClaims: Array.from(new Set([...(args.existingLogicClaims ?? []), logicPlan.claimKey])),
+            source: extracted.source,
+            sourceFiles: extracted.sourceFiles,
+            claim: extracted.claim,
+            writeSet: fallbackWriteSet,
+            applyPlan: logicPlan.applyPlan,
+            isStrict: false,
+            confidence: args.confidence ?? 1,
+            extractionMode: extracted.extractionMode,
+            extractionWarnings: extracted.extractionWarnings,
+            warnings: [],
+            migrationWarning,
+            logic: {
+                semanticKey: logicPlan.semanticKey,
+                claimKey: logicPlan.claimKey,
+                claimText: logicPlan.claimText,
+                renderedProlog: logicPlan.renderedProlog,
+                normalized: logicPlan.normalized,
+            },
+        };
+        return {
+            content: [
+                {
+                    type: "text",
+                    text: `Modeled typed kibi.logic.v1 rule ${logicPlan.semanticKey}; apply the returned schema, rule, and requirement steps sequentially.`,
+                },
+            ],
+            structuredContent,
+            applyPlan: logicPlan.applyPlan,
+            writeSet: fallbackWriteSet,
+            migrationWarning,
+        };
+    }
+    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,CAuBrB;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,CA+BhC"}

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

@@ -0,0 +1,117 @@
+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(",")})`;
+    // Permission-style inference carries the deontic decision as its final
+    // argument. Preserve that polarity in the typed suggestion instead of
+    // silently turning a prohibition into an assertion.
+    const polarity = predicateArgs.at(-1) === "deny" ||
+        /\b(?:must\s+not|shall\s+not|never|cannot|can't|forbidden|prohibited)\b/i.test(text)
+        ? "deny"
+        : "assert";
+    return {
+        id: hashId("SUGGEST", [schema.id, canonicalKey, text]),
+        predicate_name: schema.predicate_name,
+        predicate_args: predicateArgs,
+        canonical_key: canonicalKey,
+        polarity,
+        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: [
+                {
+                    type: "relates_to",
+                    from: factId,
+                    to: "review:ontology-gap",
+                },
+            ],
+        },
+    ];
+}

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