kibi-cli 0.19.0 → 2.0.0

package/dist/operations/planning/compile-intent.d.ts

@@ -0,0 +1,108 @@
+import { type IntentSearchFacets, type IntentSearchMatch, type SourceLocation } from "../../intent-search.js";
+import type { OperationContext } from "../../public/operations/runtime-types.js";
+import type { SemanticInterpretationInput } from "../semantic-advisor/types.js";
+export declare const COMPILE_PLAN_VERSION: "kibi.compile-plan.v1";
+export type CompileIntentArgs = Readonly<{
+    intent: string;
+    mode: "create" | "update";
+    requirementId?: string;
+    title?: string;
+    sourceLocations?: readonly SourceLocation[];
+    semanticFacets?: IntentSearchFacets;
+    clauses?: readonly string[];
+    interpretations?: readonly SemanticInterpretationInput[];
+    scenarioDrafts?: readonly ScenarioDraft[];
+    testDrafts?: readonly TestDraft[];
+    proposalDecisions?: readonly ProposalDecision[];
+}>;
+export type ScenarioDraft = Readonly<{
+    id?: string;
+    title: string;
+    body: string;
+}>;
+export type TestDraft = Readonly<{
+    id?: string;
+    title: string;
+    body: string;
+    /** Stable IDs of the scenario drafts that this test verifies. */
+    scenarioIds?: readonly string[];
+    verificationScope?: "unit" | "integration" | "end_to_end";
+    verificationPerspective?: "internal" | "consumer";
+}>;
+export type ProposalDecision = Readonly<{
+    proposalId: string;
+    decision: "accept" | "reject";
+}>;
+export type ContradictionWitness = Readonly<{
+    requirements: readonly string[];
+    reason: string;
+}>;
+export type TraceabilityProposal = Readonly<{
+    proposalId: string;
+    candidateId: string;
+    candidateType: string;
+    relationship: Readonly<{
+        from: string;
+        to: string;
+        type: string;
+    }>;
+    confidence: number;
+    evidence: readonly string[];
+    decision: "pending" | "accept" | "reject";
+}>;
+export type PlanStep = Readonly<Record<string, unknown>>;
+export declare function compilePlanHash(plan: Readonly<Record<string, unknown>>): string;
+export type CompilePlanV1 = Readonly<{
+    version: typeof COMPILE_PLAN_VERSION;
+    planHash: string;
+    status: "ready" | "needs_resolution" | "blocked";
+    expected: {
+        branch: string;
+        kbSnapshotId: string;
+        workspaceSnapshot: string;
+        sourceHashes: Readonly<Record<string, string | null>>;
+    };
+    target: {
+        mode: "create" | "update";
+        requirementId: string;
+        selectionReason: string;
+    };
+    discovery: {
+        candidates: readonly IntentSearchMatch[];
+        abstained: boolean;
+    };
+    propositions: readonly {
+        claimKey: string;
+        text: string;
+        span: {
+            start: number;
+            end: number;
+        };
+        disposition: "strict_property" | "predicate" | "rule" | "observation" | "nonlogical";
+        status: "modeled" | "ambiguous" | "ontology_gap" | "nonlogical";
+        origin: "host" | "deterministic";
+    }[];
+    contradictionAnalysis: {
+        outcome: "no_conflict" | "conflict" | "unresolved";
+        witnesses: readonly ContradictionWitness[];
+    };
+    proposals: readonly TraceabilityProposal[];
+    steps: readonly PlanStep[];
+    sourceWrites: readonly SourceWritePlan[];
+    diagnostics: readonly string[];
+}>;
+export type SourceWritePlan = Readonly<{
+    path: string;
+    mode: "write" | "delete";
+    beforeHash: string | null;
+    afterHash: string | null;
+    body?: string;
+}>;
+export declare function executeCompileIntent(args: CompileIntentArgs, context: OperationContext): Promise<{
+    content: Array<{
+        type: "text";
+        text: string;
+    }>;
+    structuredContent: CompilePlanV1;
+}>;
+//# sourceMappingURL=compile-intent.d.ts.map

package/dist/operations/planning/compile-intent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile-intent.d.ts","sourceRoot":"","sources":["../../../src/operations/planning/compile-intent.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EAEpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,EACV,gBAAgB,EAEjB,MAAM,0CAA0C,CAAC;AAIlD,OAAO,KAAK,EAEV,2BAA2B,EAE5B,MAAM,8BAA8B,CAAC;AAGtC,eAAO,MAAM,oBAAoB,EAAG,sBAA+B,CAAC;AAGpE,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,eAAe,CAAC,EAAE,SAAS,2BAA2B,EAAE,CAAC;IACzD,cAAc,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,UAAU,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAClC,iBAAiB,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACjD,CAAC,CAAC;AAGH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC,CAAC;AAGH,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,iBAAiB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC1D,uBAAuB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;CACnD,CAAC,CAAC;AAGH,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAC/B,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAGH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;CAC3C,CAAC,CAAC;AAGH,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAGzD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAGR;AAGD,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,OAAO,EAAE,OAAO,oBAAoB,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,GAAG,kBAAkB,GAAG,SAAS,CAAC;IACjD,QAAQ,EAAE;QACR,MAAM,EAAE,MAAM,CAAC;QACf,YAAY,EAAE,MAAM,CAAC;QACrB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;KACvD,CAAC;IACF,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;QAC1B,aAAa,EAAE,MAAM,CAAC;QACtB,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,SAAS,EAAE;QACT,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;QACzC,SAAS,EAAE,OAAO,CAAC;KACpB,CAAC;IACF,YAAY,EAAE,SAAS;QACrB,QAAQ,EAAE,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QACrC,WAAW,EACP,iBAAiB,GACjB,WAAW,GACX,MAAM,GACN,aAAa,GACb,YAAY,CAAC;QACjB,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,cAAc,GAAG,YAAY,CAAC;QAChE,MAAM,EAAE,MAAM,GAAG,eAAe,CAAC;KAClC,EAAE,CAAC;IACJ,qBAAqB,EAAE;QACrB,OAAO,EAAE,aAAa,GAAG,UAAU,GAAG,YAAY,CAAC;QACnD,SAAS,EAAE,SAAS,oBAAoB,EAAE,CAAC;KAC5C,CAAC;IACF,SAAS,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC3C,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC3B,YAAY,EAAE,SAAS,eAAe,EAAE,CAAC;IACzC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AA0eH,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC;IACT,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE,aAAa,CAAC;CAClC,CAAC,CA0RD"}