kibi-cli 0.17.0 → 0.19.0

package/dist/cli-register-maintenance.js

@@ -1,28 +1,61 @@
 import { withExitCode } from "./cli-command.js";
-import { branchEnsureCommand } from "./commands/branch.js";
-import { doctorCommand } from "./commands/doctor.js";
-import { gcCommand } from "./commands/gc.js";
-import { usageMetricsCommand } from "./commands/usage-metrics.js";
 // implements REQ-kibi-operation-interface-parity
 export function registerMaintenanceCommands(program) {
+    const engine = program
+        .command("engine")
+        .description("Manage the per-workspace Kibi engine");
+    engine
+        .command("status")
+        .description("Show engine and journaled storage status")
+        .action(async () => (await import("./commands/engine.js")).engineStatusCommand());
+    engine
+        .command("stop")
+        .description("Stop the current workspace engine")
+        .action(async () => (await import("./commands/engine.js")).engineStopCommand());
+    const storage = program
+        .command("storage")
+        .description("Inspect and maintain journaled Kibi storage");
+    storage
+        .command("status")
+        .description("Show journaled storage status")
+        .action(async () => (await import("./commands/engine.js")).storageStatusCommand());
+    storage
+        .command("compact")
+        .description("Compact RDF journals into binary snapshots")
+        .action(async () => (await import("./commands/engine.js")).storageCompactCommand());
+    storage
+        .command("export")
+        .description("Export legacy RDF/XML and audit files")
+        .requiredOption("--output <directory>", "Export destination directory")
+        .action(async (options) => (await import("./commands/engine.js")).storageExportCommand(options));
     program
         .command("gc")
         .description("Garbage collect stale branch KBs")
         .option("--dry-run", "Preview without deleting (default)", true)
         .option("--force", "Actually delete stale branches")
         .action(async (options) => {
-        await gcCommand({ dryRun: !options.force, force: options.force });
+        await (await import("./commands/gc.js")).gcCommand({
+            dryRun: !options.force,
+            force: options.force,
+        });
     });
     program
         .command("doctor")
         .description("Diagnose KB setup and configuration")
-        .action(withExitCode(async () => doctorCommand()));
+        .action(withExitCode(async () => (await import("./commands/doctor.js")).doctorCommand()));
     program
         .command("usage-metrics")
         .description("Report usage and quality metrics from .kb/usage.log")
         .option("--format <format>", "Output format: json|table", "table")
         .option("--limit <n>", "Limit top zero-result source files", "10")
-        .action(withExitCode(async (options) => usageMetricsCommand(options)));
+        .option("--require-acceptance", "Exit non-zero unless the telemetry acceptance report passes")
+        .action(withExitCode(async (options) => (await import("./commands/usage-metrics.js")).usageMetricsCommand(options)));
+    program
+        .command("usage-remediation")
+        .description("Enumerate exact diagnostic events and report-level evidence gaps requiring repair")
+        .option("--format <format>", "Output format: json|table", "table")
+        .option("--limit <n>", "Limit rendered table rows", "50")
+        .action(withExitCode(async (options) => (await import("./commands/usage-remediation.js")).usageRemediationCommand(options)));
     program
         .command("branch")
         .description("Manage branch KBs")
@@ -30,7 +63,7 @@ export function registerMaintenanceCommands(program) {
         .option("--from <branch>", "Source branch to copy KB from")
         .action(async (action, options) => {
         if (action === "ensure") {
-            await branchEnsureCommand(options);
+            await (await import("./commands/branch.js")).branchEnsureCommand(options);
         }
     });
 }

package/dist/cli-register-reporting.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAUzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAuHhE"}
+{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAYzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAgJhE"}

package/dist/cli-register-reporting.js

@@ -1,16 +1,15 @@
 import { withExitCode } from "./cli-command.js";
-import { runJsonInvocation } from "./cli-json-command.js";
-import { checkCommand } from "./commands/check.js";
-import { coverageCommand } from "./commands/coverage.js";
-import { gapsCommand } from "./commands/gaps.js";
-import { graphCommand } from "./commands/graph.js";
-import { getSpec } from "./public/operations/index.js";
+import { getCliOperationMetadata } from "./cli-operation-metadata.js";
+async function runJsonInvocation(invocation) {
+    const executor = await import("./cli-json-command.js");
+    await executor.runJsonInvocation(invocation);
+}
 // implements REQ-kibi-operation-interface-parity
 export function registerReportingCommands(program) {
     program
         .command("find-gaps [type]")
         .alias("gaps")
-        .description(getSpec("kb_find_gaps").description)
+        .description(getCliOperationMetadata("kb_find_gaps").description)
         .option("--input <path>", "JSON input file (use - for stdin)")
         .option("--missing-rel <rels>", "Comma-separated missing relationship filters")
         .option("--present-rel <rels>", "Comma-separated present relationship filters")
@@ -29,11 +28,11 @@ export function registerReportingCommands(program) {
             });
             return;
         }
-        await gapsCommand(type, options);
+        await (await import("./commands/gaps.js")).gapsCommand(type, options);
     });
     program
         .command("coverage")
-        .description(getSpec("kb_coverage").description)
+        .description(getCliOperationMetadata("kb_coverage").description)
         .option("--input <path>", "JSON input file (use - for stdin)")
         .option("--by <group>", "Coverage mode: req|symbol|type", "req")
         .option("--tag <tags>", "Comma-separated tag filter")
@@ -41,6 +40,11 @@ export function registerReportingCommands(program) {
         .option("--no-include-transitive", "Disable transitive symbol coverage")
         .option("--limit <n>", "Limit results", "100")
         .option("--offset <n>", "Skip results", "0")
+        .option("--include-migration-preview", "Include one read-only legacy semantic migration preview batch", false)
+        .option("--migration-limit <n>", "Maximum migration preview batches (1-10)", "1")
+        .option("--migration-offset <n>", "Skip ready semantic-inventory migration batches", "0")
+        .option("--migration-predicate-limit <n>", "Maximum ranked predicate schemas per proposition", "5")
+        .option("--migration-predicate-min-score <score>", "Minimum predicate schema rank score", "0.35")
         .option("--format <format>", "Output format: json|table", "table")
         .action(async (options, command) => {
         if (options.input !== undefined) {
@@ -51,11 +55,11 @@ export function registerReportingCommands(program) {
             });
             return;
         }
-        await coverageCommand(options);
+        await (await import("./commands/coverage.js")).coverageCommand(options);
     });
     program
         .command("graph")
-        .description(getSpec("kb_graph").description)
+        .description(getCliOperationMetadata("kb_graph").description)
         .option("--input <path>", "JSON input file (use - for stdin)")
         .option("--from <ids>", "Comma-separated seed IDs")
         .option("--relationships <rels>", "Comma-separated relationship filter")
@@ -74,11 +78,11 @@ export function registerReportingCommands(program) {
             });
             return;
         }
-        await graphCommand(options);
+        await (await import("./commands/graph.js")).graphCommand(options);
     });
     program
         .command("check")
-        .description(getSpec("kb_check").description)
+        .description(getCliOperationMetadata("kb_check").description)
         .option("--input <path>", "JSON input file (use - for stdin)")
         .option("--fix", "Suggest fixes for violations")
         .option("--kb-path <dir>", "Path to KB directory (overrides branch resolution)")
@@ -96,6 +100,6 @@ export function registerReportingCommands(program) {
             });
             return undefined;
         }
-        return checkCommand(options);
+        return (await import("./commands/check.js")).checkCommand(options);
     }));
 }

package/dist/cli-register-skills.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-register-skills.d.ts","sourceRoot":"","sources":["../src/cli-register-skills.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAWzC,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAoF7D"}
+{"version":3,"file":"cli-register-skills.d.ts","sourceRoot":"","sources":["../src/cli-register-skills.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAgBzC,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA+F7D"}

package/dist/cli-register-skills.js

@@ -1,6 +1,8 @@
 import { withExitCode } from "./cli-command.js";
-import { runJsonInvocation } from "./cli-json-command.js";
-import { skillsListCommand, skillsLoadCommand, skillsReadCommand, skillsValidateCommand, } from "./commands/skills.js";
+async function runJsonInvocation(invocation) {
+    const executor = await import("./cli-json-command.js");
+    await executor.runJsonInvocation(invocation);
+}
 // implements REQ-kibi-operation-interface-parity
 export function registerSkillsCommands(program) {
     const skillsProgram = program
@@ -20,7 +22,7 @@ export function registerSkillsCommands(program) {
             });
             return;
         }
-        await skillsListCommand(options);
+        await (await import("./commands/skills.js")).skillsListCommand(options);
     });
     skillsProgram
         .command("load")
@@ -38,7 +40,7 @@ export function registerSkillsCommands(program) {
             });
             return;
         }
-        await skillsLoadCommand(id ?? "", options);
+        await (await import("./commands/skills.js")).skillsLoadCommand(id ?? "", options);
     });
     skillsProgram
         .command("read")
@@ -60,12 +62,12 @@ export function registerSkillsCommands(program) {
             });
             return;
         }
-        await skillsReadCommand(id ?? "", resource ?? "", options);
+        await (await import("./commands/skills.js")).skillsReadCommand(id ?? "", resource ?? "", options);
     });
     skillsProgram
         .command("validate")
         .description("Validate a bundled markdown skill path")
         .argument("<path>", "Skill bundle directory or SKILL.md path")
         .option("--format <format>", "Output format: json|table", "table")
-        .action(withExitCode(async (pathLike, options) => skillsValidateCommand(pathLike, options)));
+        .action(withExitCode(async (pathLike, options) => (await import("./commands/skills.js")).skillsValidateCommand(pathLike, options)));
 }

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAOpC,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAmBtD,wBAAgB,YAAY,IAAI,OAAO,CAYtC;AAGD,wBAAsB,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAgB3C"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAOpC,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAmBtD,wBAAgB,YAAY,IAAI,OAAO,CAgBtC;AAGD,wBAAsB,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAgB3C"}

package/dist/cli.js

@@ -20,8 +20,8 @@ import { readFileSync } from "node:fs";
 import { resolve } from "node:path";
 import { pathToFileURL } from "node:url";
 import { Command } from "commander";
-import { registerJsonOnlyCommands } from "./cli-json-command.js";
 import { registerFoundationCommands } from "./cli-register-foundation.js";
+import { registerJsonOnlyCommands } from "./cli-register-json.js";
 import { registerMaintenanceCommands } from "./cli-register-maintenance.js";
 import { registerReportingCommands } from "./cli-register-reporting.js";
 import { registerSkillsCommands } from "./cli-register-skills.js";
@@ -40,7 +40,8 @@ export function buildProgram() {
     const program = new Command()
         .name("kibi")
         .description("Prolog-based project knowledge base")
-        .version(packageVersion(packageJson));
+        .version(packageVersion(packageJson))
+        .option("--diagnostic-mode", "Append diagnostic usage evidence for public JSON operations");
     registerFoundationCommands(program);
     registerReportingCommands(program);
     registerMaintenanceCommands(program);

package/dist/commands/aggregated-checks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aggregated-checks.d.ts","sourceRoot":"","sources":["../../src/commands/aggregated-checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AAEnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAU5C;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,EACpC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAClC,UAAU,UAAQ,GACjB,OAAO,CAAC,SAAS,EAAE,CAAC,CAuDtB"}
+{"version":3,"file":"aggregated-checks.d.ts","sourceRoot":"","sources":["../../src/commands/aggregated-checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AAEnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAW5C;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,EACpC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAClC,UAAU,UAAQ,GACjB,OAAO,CAAC,SAAS,EAAE,CAAC,CAwDtB"}

package/dist/commands/aggregated-checks.js

@@ -50,6 +50,7 @@ export async function runAggregatedChecks(prolog, rulesAllowlist, requireAdr = f
                     description: v.description,
                     ...(v.suggestion ? { suggestion: v.suggestion } : {}),
                     ...(v.source ? { source: v.source } : {}),
+                    ...(v.evidence ? { evidence: v.evidence } : {}),
                 });
             }
         }

package/dist/commands/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAkFA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAG1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AA2bD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAqW/B"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAmFA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAG1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AA2bD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAqX/B"}

package/dist/commands/check.js

@@ -17,6 +17,7 @@
 */
 import { existsSync } from "node:fs";
 import * as path from "node:path";
+import { EngineClient } from "../engine.js";
 import { getBranchOverride, isCliTraceOrDebugEnabled } from "../env.js";
 import { extractFromManifest, extractFromManifestString, } from "../extractors/manifest.js";
 import { extractFromMarkdownString, } from "../extractors/markdown.js";
@@ -360,7 +361,9 @@ function buildStagedKibiImpactEvidence(options) {
 // implements REQ-006
 export async function checkCommand(options) {
     let prolog = null;
+    let engine = null;
     let attached = false;
+    let resolvedBranch = "develop";
     try {
         let resolvedKbPath = "";
         if (options.kbPath) {
@@ -379,6 +382,7 @@ export async function checkCommand(options) {
             }
             if (!branch)
                 branch = envBranch || "develop";
+            resolvedBranch = branch;
             // fallback to main if develop isn't present? keep path consistent
             resolvedKbPath = path.join(process.cwd(), ".kb/branches", branch || "main");
         }
@@ -564,20 +568,33 @@ export async function checkCommand(options) {
                 return { exitCode: 1 };
             }
         }
-        prolog = new PrologProcess({ timeout: 120000 });
-        await prolog.start();
-        const kbPathEscaped = escapeAtom(resolvedKbPath);
-        const attachResult = await prolog.query(`kb_attach('${kbPathEscaped}')`);
-        if (!attachResult.success) {
-            await prolog.terminate();
-            console.error(`Error: Failed to attach KB: ${attachResult.error}`);
-            return { exitCode: 1 };
+        // The active branch is hosted by the journaled engine. Keep the explicit
+        // --kb-path escape hatch on the one-shot path for alternate/staged stores,
+        // but never compete with the branch daemon for its RDF lock.
+        if (options.kbPath === undefined) {
+            engine = new EngineClient({
+                workspaceRoot: process.cwd(),
+                branch: resolvedBranch,
+                timeout: 120_000,
+            });
+            await engine.start();
+        }
+        else {
+            prolog = new PrologProcess({ timeout: 120000 });
+            await prolog.start();
+            const kbPathEscaped = escapeAtom(resolvedKbPath);
+            const attachResult = await prolog.query(`kb_attach('${kbPathEscaped}')`);
+            if (!attachResult.success) {
+                await prolog.terminate();
+                console.error(`Error: Failed to attach KB: ${attachResult.error}`);
+                return { exitCode: 1 };
+            }
+            attached = true;
         }
-        attached = true;
-        if (!prolog) {
-            throw new Error("Prolog process not initialized");
+        const activeProlog = engine ?? prolog;
+        if (!activeProlog) {
+            throw new Error("Prolog runtime not initialized");
         }
-        const activeProlog = prolog;
         const rules = options.rules
             ?.split(",")
             .map((rule) => rule.trim())
@@ -637,6 +654,7 @@ export async function checkCommand(options) {
         return { exitCode: 1 };
     }
     finally {
+        await engine?.terminate();
         await safeCleanupProlog(prolog);
     }
 }

package/dist/commands/coverage.d.ts

@@ -5,6 +5,11 @@ interface CoverageOptions {
     includeTransitive?: boolean;
     limit?: string;
     offset?: string;
+    includeMigrationPreview?: boolean;
+    migrationLimit?: string;
+    migrationOffset?: string;
+    migrationPredicateLimit?: string;
+    migrationPredicateMinScore?: string;
     format?: "json" | "table";
 }
 export declare function coverageCommand(options: CoverageOptions): Promise<void>;

package/dist/commands/coverage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/commands/coverage.ts"],"names":[],"mappings":"AAMA,UAAU,eAAe;IACvB,EAAE,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,eAAe,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAmB7E"}
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../../src/commands/coverage.ts"],"names":[],"mappings":"AAMA,UAAU,eAAe;IACvB,EAAE,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,eAAe,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CA6B7E"}

package/dist/commands/coverage.js

@@ -1,4 +1,4 @@
-import { coverageSpec } from "../public/operations/index.js";
+import { coverageSpec } from "../public/operations/specs/reporting.js";
 import { executeReportingSpec, printDiscoveryResult, } from "./discovery-shared.js";
 // implements REQ-002, REQ-003
 export async function coverageCommand(options) {
@@ -14,6 +14,11 @@ export async function coverageCommand(options) {
         includeTransitive: options.includeTransitive ?? true,
         limit: Number.parseInt(options.limit || "100", 10),
         offset: Number.parseInt(options.offset || "0", 10),
+        includeMigrationPreview: options.includeMigrationPreview ?? false,
+        migrationLimit: Number.parseInt(options.migrationLimit || "1", 10),
+        migrationOffset: Number.parseInt(options.migrationOffset || "0", 10),
+        migrationPredicateLimit: Number.parseInt(options.migrationPredicateLimit || "5", 10),
+        migrationPredicateMinScore: Number.parseFloat(options.migrationPredicateMinScore || "0.35"),
     });
     printDiscoveryResult(options.format, result.structuredContent, result.content[0]?.text ?? "Coverage summary unavailable.");
 }

package/dist/commands/discovery-shared.d.ts

@@ -1,5 +1,6 @@
 import { PrologProcess, resolveKbPlPath } from "../prolog.js";
-import { type OperationSpec, type RuntimeOptions } from "../public/operations/index.js";
+import { type RuntimeOptions } from "../public/operations/runtime-types.js";
+import type { OperationSpec } from "../public/operations/types.js";
 export { renderCoverageTable } from "./discovery-table.js";
 export interface DiscoveryCommandOptions {
     format?: "json" | "table";

package/dist/commands/discovery-shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery-shared.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-shared.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE9D,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,cAAc,EAEpB,MAAM,+BAA+B,CAAC;AAMvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,MAAM,WAAW,uBAAuB;IACtC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAED,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,aAAa,CAAC;IAC3D,WAAW,EAAE,OAAO,eAAe,CAAC;CACrC;AAGD,wBAAsB,oBAAoB,CAAC,MAAM,EAAE,OAAO,EACxD,IAAI,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,KAAK,EAAE,MAAM,EACb,OAAO,GAAE,cAAmB,6EAG7B;AAGD,wBAAsB,wBAAwB,CAAC,CAAC,EAC9C,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,EAC/C,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAmCZ;AAID,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAS5D;AAGD,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,MAAM,CAGR;AAGD,wBAAsB,kBAAkB,CAAC,CAAC,EACxC,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAClB,MAAM,CAAC,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAwBZ;AAGD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,EACpC,UAAU,EAAE,OAAO,EACnB,YAAY,EAAE,MAAM,GACnB,IAAI,CAQN"}
+{"version":3,"file":"discovery-shared.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-shared.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE9D,OAAO,EACL,KAAK,cAAc,EAEpB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAMnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,MAAM,WAAW,uBAAuB;IACtC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAED,qDAAqD;AACrD,MAAM,WAAW,aAAa;IAC5B,YAAY,EAAE,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,aAAa,CAAC;IAC3D,WAAW,EAAE,OAAO,eAAe,CAAC;CACrC;AAGD,wBAAsB,oBAAoB,CAAC,MAAM,EAAE,OAAO,EACxD,IAAI,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,KAAK,EAAE,MAAM,EACb,OAAO,GAAE,cAAmB,6EAG7B;AAGD,wBAAsB,wBAAwB,CAAC,CAAC,EAC9C,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,EAC/C,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAsDZ;AAID,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAS5D;AAGD,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,MAAM,CAGR;AAGD,wBAAsB,kBAAkB,CAAC,CAAC,EACxC,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAClB,MAAM,CAAC,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,CAwBZ;AAGD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,EACpC,UAAU,EAAE,OAAO,EACnB,YAAY,EAAE,MAAM,GACnB,IAAI,CAQN"}

package/dist/commands/discovery-shared.js

@@ -1,8 +1,9 @@
 import path from "node:path";
+import { EngineClient } from "../engine.js";
 import { getBranchOverride } from "../env.js";
 import { PrologProcess, resolveKbPlPath } from "../prolog.js";
 import { escapeAtom } from "../prolog/codec.js";
-import { executeOperation, } from "../public/operations/index.js";
+import { executeOperation, } from "../public/operations/runtime-types.js";
 import { createCliRuntime } from "../runtime/cli-runtime.js";
 import { safeCleanupProlog } from "../utils/prolog-cleanup.js";
 import { renderDiscoveryTable } from "./discovery-table.js";
@@ -14,30 +15,51 @@ export async function executeReportingSpec(spec, input, options = {}) {
 }
 // implements REQ-003
 export async function withAttachedBranchProlog(callback, deps) {
+    const usesEngine = deps?.createProlog === undefined;
     const createProlog = deps?.createProlog ?? ((opts) => new PrologProcess(opts));
     let prolog = null;
+    let engine = null;
     let attached = false;
+    let branchName;
     try {
-        prolog = createProlog({ timeout: 120000 });
-        await prolog.start();
-        await prolog.query("set_prolog_flag(answer_write_options, [max_depth(0), spacing(next_argument)])");
-        let branch;
         try {
-            branch = getBranchOverride() || (await getCurrentBranch(process.cwd()));
+            branchName =
+                getBranchOverride() || (await getCurrentBranch(process.cwd()));
         }
         catch {
-            branch = getBranchOverride() || "main";
+            branchName = getBranchOverride() || "main";
+        }
+        if (usesEngine) {
+            engine = new EngineClient({
+                workspaceRoot: process.cwd(),
+                branch: branchName,
+                timeout: 120_000,
+            });
+            await engine.start();
+            prolog = engine;
+        }
+        else {
+            prolog = createProlog({ timeout: 120000 });
+            await prolog.start();
         }
-        const kbPath = path.join(process.cwd(), ".kb/branches", branch);
-        const attachResult = await prolog.query(`kb_attach('${escapeAtom(kbPath)}')`);
-        if (!attachResult.success) {
-            throw new Error(`Failed to attach KB: ${attachResult.error || "Unknown error"}`);
+        await prolog.query("set_prolog_flag(answer_write_options, [max_depth(0), spacing(next_argument)])");
+        if (!usesEngine) {
+            const kbPath = path.join(process.cwd(), ".kb/branches", branchName);
+            const attachResult = await prolog.query(`kb_attach('${escapeAtom(kbPath)}')`);
+            if (!attachResult.success) {
+                throw new Error(`Failed to attach KB: ${attachResult.error || "Unknown error"}`);
+            }
+            attached = true;
         }
-        attached = true;
         return await callback(prolog);
     }
     finally {
-        await safeCleanupProlog(prolog);
+        if (usesEngine) {
+            await engine?.terminate();
+        }
+        else {
+            await safeCleanupProlog(prolog);
+        }
     }
 }
 // implements REQ-003

package/dist/commands/discovery-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery-table.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-table.ts"],"names":[],"mappings":"AAIA,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmCvE;AA4ED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,MAAM,CA+DR"}
+{"version":3,"file":"discovery-table.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-table.ts"],"names":[],"mappings":"AAIA,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmCvE;AA4ED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,MAAM,CA4ER"}

package/dist/commands/discovery-table.js

@@ -101,12 +101,14 @@ export function renderCoverageTable(payload) {
                 "Priority",
                 "Coverage",
                 "Depth",
+                "Proof",
                 "Scen",
                 "Tests",
                 "Symbols",
-                "Gaps",
+                "Structural gaps",
+                "Proof gaps",
             ],
-            colWidths: [20, 12, 12, 18, 32, 8, 8, 10, 28],
+            colWidths: [20, 12, 12, 18, 36, 12, 8, 8, 10, 24, 36],
             wordWrap: true,
         })
         : new Table({
@@ -123,23 +125,112 @@ export function renderCoverageTable(payload) {
                 stringifyCell(item.priority),
                 stringifyCell(item.coverageStatus),
                 stringifyCell(item.coverageDepth),
+                stringifyCell(item.proofStatus),
                 stringifyCell(item.scenarioCount),
                 stringifyCell(item.testCount),
                 stringifyCell(item.transitiveSymbolCount),
                 joinCells(item.gaps),
+                joinCells(item.proofGaps),
             ]);
         }
         else {
             table.push([
                 stringifyCell(item.id),
-                stringifyCell(item.type),
+                stringifyCell(item.traceabilityRole ?? item.type),
                 stringifyCell(item.coverageStatus),
-                `req=${stringifyCell(item.directRequirementCount)} test=${stringifyCell(item.testCount)} count=${stringifyCell(item.count)}`,
+                `req=${stringifyCell(item.directRequirementCount)} covered=${stringifyCell(item.testCount)} executable=${stringifyCell(item.executableTestCount)} count=${stringifyCell(item.count)}`,
                 joinCells(item.gaps),
             ]);
         }
     }
-    return [summaryTable.toString(), table.toString()].join("\n\n");
+    const sections = [summaryTable.toString(), table.toString()];
+    const repairPlan = fieldsFrom(payload.repairPlan);
+    if (typeof repairPlan.version === "string") {
+        sections.push(renderRepairPlanTable(repairPlan));
+    }
+    const legacyMigrationPlan = fieldsFrom(payload.legacyMigrationPlan);
+    if (typeof legacyMigrationPlan.version === "string") {
+        sections.push(renderLegacyMigrationPlanTable(legacyMigrationPlan));
+    }
+    return sections.join("\n\n");
+}
+function renderLegacyMigrationPlanTable(plan) {
+    const scope = fieldsFrom(plan.scope);
+    const summary = fieldsFrom(plan.summary);
+    const batches = Array.isArray(plan.batches) ? plan.batches : [];
+    const summaryTable = new Table({
+        head: ["Legacy migration preview", "Value"],
+        colWidths: [28, 72],
+        wordWrap: true,
+    });
+    summaryTable.push(["Plan ID", stringifyCell(plan.planId)], ["Status", stringifyCell(plan.status)], ["Repair scope complete", stringifyCell(scope.repairPlanComplete)], ["Candidate requirements", stringifyCell(scope.candidateRequirements)], ["Selected requirements", stringifyCell(scope.selectedRequirements)], ["Next offset", stringifyCell(scope.nextOffset)], ["Propositions", stringifyCell(summary.propositionCount)], ["Unresolved", stringifyCell(summary.unresolvedPropositionCount)]);
+    const batchTable = new Table({
+        head: [
+            "Requirement",
+            "State",
+            "Source binding",
+            "Claims",
+            "Predicate candidates",
+            "Diagnostics",
+        ],
+        colWidths: [24, 18, 18, 10, 20, 46],
+        wordWrap: true,
+    });
+    for (const rawBatch of batches) {
+        const batch = fieldsFrom(rawBatch);
+        const sourceBinding = fieldsFrom(batch.sourceBinding);
+        const propositions = Array.isArray(batch.propositions)
+            ? batch.propositions
+            : [];
+        const candidateCount = propositions.reduce((count, proposition) => {
+            const candidates = fieldsFrom(proposition).predicateCandidates;
+            return count + (Array.isArray(candidates) ? candidates.length : 0);
+        }, 0);
+        batchTable.push([
+            stringifyCell(batch.requirementId),
+            stringifyCell(batch.state),
+            stringifyCell(sourceBinding.status),
+            propositions.length,
+            candidateCount,
+            joinCells(batch.diagnostics),
+        ]);
+    }
+    return [summaryTable.toString(), batchTable.toString()].join("\n\n");
+}
+function renderRepairPlanTable(repairPlan) {
+    const scope = fieldsFrom(repairPlan.scope);
+    const summary = fieldsFrom(repairPlan.summary);
+    const batches = Array.isArray(repairPlan.batches) ? repairPlan.batches : [];
+    const displayedBatches = batches.slice(0, 25);
+    const summaryTable = new Table({
+        head: ["Repair plan", "Value"],
+        colWidths: [24, 72],
+        wordWrap: true,
+    });
+    summaryTable.push(["Plan ID", stringifyCell(repairPlan.planId)], ["Status", stringifyCell(repairPlan.status)], ["Complete scope", stringifyCell(scope.complete)], ["Requirements", stringifyCell(summary.requirementCount)], ["Repairs", stringifyCell(summary.repairCount)], ["Batches", stringifyCell(summary.batchCount)]);
+    const batchTable = new Table({
+        head: ["Order", "Requirement", "Phase", "State", "Depends on", "Gaps"],
+        colWidths: [8, 24, 24, 10, 28, 32],
+        wordWrap: true,
+    });
+    for (const rawBatch of displayedBatches) {
+        const batch = fieldsFrom(rawBatch);
+        const repairs = Array.isArray(batch.repairs) ? batch.repairs : [];
+        batchTable.push([
+            stringifyCell(batch.order),
+            stringifyCell(batch.requirementId),
+            stringifyCell(batch.phase),
+            stringifyCell(batch.state),
+            joinCells(batch.dependsOn),
+            repairs
+                .map((repair) => stringifyCell(fieldsFrom(repair).gap))
+                .join(", ") || "-",
+        ]);
+    }
+    const suffix = displayedBatches.length < batches.length
+        ? `\nShowing ${displayedBatches.length} of ${batches.length} repair batches; use --format json for the complete plan.`
+        : "";
+    return [summaryTable.toString(), batchTable.toString()].join("\n\n") + suffix;
 }
 function renderGraphTable(payload) {
     const nodes = Array.isArray(payload.nodes) ? payload.nodes : [];

package/dist/commands/engine.d.ts

@@ -0,0 +1,8 @@
+export declare function engineStatusCommand(): Promise<void>;
+export declare function engineStopCommand(): Promise<void>;
+export declare function storageStatusCommand(): Promise<void>;
+export declare function storageCompactCommand(): Promise<void>;
+export declare function storageExportCommand(options: {
+    output: string;
+}): Promise<void>;
+//# sourceMappingURL=engine.d.ts.map

package/dist/commands/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/commands/engine.ts"],"names":[],"mappings":"AAwCA,wBAAsB,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC,CA4BzD;AAED,wBAAsB,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAWvD;AAED,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,IAAI,CAAC,CAE1D;AAED,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC,CAU3D;AAED,wBAAsB,oBAAoB,CAAC,OAAO,EAAE;IAClD,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,OAAO,CAAC,IAAI,CAAC,CAWhB"}