kibi-cli 0.18.1 → 0.19.0

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")
@@ -56,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")
@@ -79,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)")
@@ -101,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.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";

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.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) {

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

package/dist/commands/engine.js

@@ -0,0 +1,100 @@
+import path from "node:path";
+import { EngineClient } from "../engine.js";
+import { resolveActiveBranch } from "../utils/branch-resolver.js";
+function currentBranch(root) {
+    const resolved = resolveActiveBranch(root);
+    if ("error" in resolved) {
+        if (resolved.code === "NOT_A_GIT_REPO" ||
+            resolved.code === "GIT_NOT_AVAILABLE") {
+            return "main";
+        }
+        throw new Error(resolved.error);
+    }
+    return resolved.branch;
+}
+function client() {
+    const workspaceRoot = path.resolve(process.env.KIBI_WORKSPACE ??
+        process.env.KIBI_PROJECT_ROOT ??
+        process.env.KIBI_ROOT ??
+        process.cwd());
+    return new EngineClient({
+        workspaceRoot,
+        branch: currentBranch(workspaceRoot),
+    });
+}
+function workspaceRoot() {
+    return path.resolve(process.env.KIBI_WORKSPACE ??
+        process.env.KIBI_PROJECT_ROOT ??
+        process.env.KIBI_ROOT ??
+        process.cwd());
+}
+export async function engineStatusCommand() {
+    const engine = client();
+    try {
+        const result = await engine.storageStatus();
+        if (!result.success)
+            throw new Error(result.error ?? "Engine status failed");
+        let status = result.bindings.Status ?? null;
+        const encoded = result.bindings.Json;
+        if (encoded !== undefined) {
+            try {
+                const decoded = JSON.parse(encoded);
+                status = typeof decoded === "string" ? JSON.parse(decoded) : decoded;
+            }
+            catch {
+                // Preserve the raw Prolog dict text for diagnostics when a mismatched
+                // engine version cannot provide the negotiated JSON binding.
+            }
+        }
+        console.log(JSON.stringify({
+            pid: engine.getPid(),
+            running: engine.isRunning(),
+            branch: currentBranch(workspaceRoot()),
+            status,
+        }));
+    }
+    finally {
+        await engine.terminate();
+    }
+}
+export async function engineStopCommand() {
+    const engine = client();
+    try {
+        // Stopping an absent daemon must remain a no-op. Starting SWI merely to
+        // shut it down defeats the maintenance command and can unexpectedly
+        // migrate a legacy branch during an operator status check.
+        await engine.stop(false);
+        console.log("Kibi engine stopped");
+    }
+    finally {
+        await engine.terminate();
+    }
+}
+export async function storageStatusCommand() {
+    await engineStatusCommand();
+}
+export async function storageCompactCommand() {
+    const engine = client();
+    try {
+        const result = await engine.compact();
+        if (!result.success)
+            throw new Error(result.error ?? "Storage compaction failed");
+        console.log("Kibi storage compacted");
+    }
+    finally {
+        await engine.terminate();
+    }
+}
+export async function storageExportCommand(options) {
+    const output = path.resolve(options.output);
+    const engine = client();
+    try {
+        const result = await engine.exportStorage(output);
+        if (!result.success)
+            throw new Error(result.error ?? "Storage export failed");
+        console.log(`Exported Kibi storage to ${output}`);
+    }
+    finally {
+        await engine.terminate();
+    }
+}

package/dist/commands/gaps.js

@@ -1,4 +1,4 @@
-import { findGapsSpec } from "../public/operations/index.js";
+import { findGapsSpec } from "../public/operations/specs/reporting.js";
 import { executeReportingSpec, printDiscoveryResult, } from "./discovery-shared.js";
 // implements REQ-002, REQ-003
 export async function gapsCommand(type, options) {

package/dist/commands/graph.js

@@ -1,4 +1,4 @@
-import { graphSpec } from "../public/operations/index.js";
+import { graphSpec } from "../public/operations/specs/reporting.js";
 import { executeReportingSpec, printDiscoveryResult, } from "./discovery-shared.js";
 // implements REQ-002, REQ-003
 export async function graphCommand(options) {

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

@@ -1 +1 @@
-{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../src/commands/query.ts"],"names":[],"mappings":"AAqBA,UAAU,YAAY;IACpB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAsB,YAAY,CAChC,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA+C/B"}
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../src/commands/query.ts"],"names":[],"mappings":"AAmBA,UAAU,YAAY;IACpB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAsB,YAAY,CAChC,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA+C/B"}

package/dist/commands/query.js

@@ -1,6 +1,8 @@
 import Table from "cli-table3";
 import { parseListOfLists, parsePrologValue } from "../prolog/codec.js";
-import { VALID_ENTITY_TYPES, executeOperation, querySpec, } from "../public/operations/index.js";
+import { VALID_ENTITY_TYPES } from "../public/operations/discovery-entities.js";
+import { executeOperation } from "../public/operations/runtime-types.js";
+import { querySpec } from "../public/operations/specs/discovery.js";
 import relationshipSchema from "../public/schemas/relationship.js";
 import { createCliRuntime } from "../runtime/cli-runtime.js";
 import { withAttachedBranchProlog } from "./discovery-shared.js";

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

@@ -1 +1 @@
-{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../src/commands/search.ts"],"names":[],"mappings":"AAQA,UAAU,aAAa;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAsB,aAAa,CACjC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,OAAO,EAAE,aAAa,GACrB,OAAO,CAAC,IAAI,CAAC,CAmCf"}
+{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../src/commands/search.ts"],"names":[],"mappings":"AAMA,UAAU,aAAa;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,wBAAsB,aAAa,CACjC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,OAAO,EAAE,aAAa,GACrB,OAAO,CAAC,IAAI,CAAC,CAmCf"}

package/dist/commands/search.js

@@ -1,4 +1,6 @@
-import { VALID_ENTITY_TYPES, executeOperation, searchSpec, } from "../public/operations/index.js";
+import { VALID_ENTITY_TYPES } from "../public/operations/discovery-entities.js";
+import { executeOperation } from "../public/operations/runtime-types.js";
+import { searchSpec } from "../public/operations/specs/discovery.js";
 import { createCliRuntime } from "../runtime/cli-runtime.js";
 import { printDiscoveryResult } from "./discovery-shared.js";
 export async function searchCommand(query, options) {

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

@@ -1 +1 @@
-{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../src/commands/status.ts"],"names":[],"mappings":"AAIA,UAAU,aAAa;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACpC;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAazE"}
+{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../src/commands/status.ts"],"names":[],"mappings":"AAKA,UAAU,aAAa;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CACpC;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAazE"}

package/dist/commands/status.js

@@ -1,4 +1,5 @@
-import { executeOperation, statusSpec } from "../public/operations/index.js";
+import { executeOperation } from "../public/operations/runtime-types.js";
+import { statusSpec } from "../public/operations/specs/discovery.js";
 import { createCliRuntime } from "../runtime/cli-runtime.js";
 import { printDiscoveryResult } from "./discovery-shared.js";
 export async function statusCommand(options) {

package/dist/commands/sync/cache.d.ts

@@ -10,6 +10,14 @@ interface SyncCacheDeps {
 export type SyncCache = {
     version: number;
     hashes: Record<string, string>;
+    /** Content hashes for relationship shards; optional for v1 caches. */
+    relationshipHashes?: Record<string, string>;
+    /** Normalized entity payload hashes, keyed by canonical entity ID. */
+    entityHashes?: Record<string, string>;
+    /** Entity IDs last compiled from each normalized source path. */
+    sourceEntityIds?: Record<string, string[]>;
+    /** Normalized relationship keys last compiled from each shard. */
+    shardRelationships?: Record<string, string[]>;
     seenAt: Record<string, string>;
     semanticHashes: Record<string, string>;
     semanticContracts: Record<string, boolean>;
@@ -18,6 +26,8 @@ export declare const SYNC_CACHE_VERSION = 1;
 export declare const SYNC_CACHE_TTL_MS: number;
 export declare function toCacheKey(filePath: string): string;
 export declare function hashFile(filePath: string, deps?: Partial<SyncCacheDeps>): string;
+/** Deterministically hash a JSON-compatible compiler payload. */
+export declare function hashNormalized(value: unknown): string;
 export declare function readSyncCache(cachePath: string, deps?: Partial<SyncCacheDeps>): SyncCache;
 export declare function writeSyncCache(cachePath: string, cache: SyncCache, deps?: Partial<SyncCacheDeps>): void;
 export declare function copySyncCache(livePath: string, stagingPath: string, deps?: Partial<SyncCacheDeps>): void;

package/dist/commands/sync/cache.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/cache.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAG7E,UAAU,aAAa;IACrB,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;CACrC;AAaD,MAAM,MAAM,SAAS,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C,CAAC;AAEF,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,iBAAiB,QAA2B,CAAC;AAE1D,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,wBAAgB,QAAQ,CAEtB,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,MAAM,CAIR;AAED,wBAAgB,aAAa,CAE3B,SAAS,EAAE,MAAM,EACjB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,SAAS,CA0CX;AAED,wBAAgB,cAAc,CAE5B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,SAAS,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,IAAI,CAaN;AAED,wBAAgB,aAAa,CAE3B,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,IAAI,CASN"}
+{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/cache.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAG7E,UAAU,aAAa;IACrB,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;CACrC;AAaD,MAAM,MAAM,SAAS,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,sEAAsE;IACtE,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,sEAAsE;IACtE,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,iEAAiE;IACjE,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C,kEAAkE;IAClE,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC5C,CAAC;AAEF,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,iBAAiB,QAA2B,CAAC;AAE1D,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,wBAAgB,QAAQ,CAEtB,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,MAAM,CAIR;AAED,iEAAiE;AACjE,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAerD;AAED,wBAAgB,aAAa,CAE3B,SAAS,EAAE,MAAM,EACjB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,SAAS,CAuDX;AAED,wBAAgB,cAAc,CAE5B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,SAAS,EAChB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,IAAI,CAaN;AAED,wBAAgB,aAAa,CAE3B,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,IAAI,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,GAC5B,IAAI,CASN"}

package/dist/commands/sync/cache.js

@@ -40,6 +40,22 @@ filePath, deps) {
     const content = resolved.readFileSync(filePath);
     return resolved.createHash("sha256").update(content).digest("hex");
 }
+/** Deterministically hash a JSON-compatible compiler payload. */
+export function hashNormalized(value) {
+    const normalize = (input) => {
+        if (Array.isArray(input))
+            return input.map(normalize);
+        if (input !== null && typeof input === "object") {
+            return Object.fromEntries(Object.entries(input)
+                .sort(([left], [right]) => left.localeCompare(right))
+                .map(([key, child]) => [key, normalize(child)]));
+        }
+        return input;
+    };
+    return createHash("sha256")
+        .update(JSON.stringify(normalize(value)))
+        .digest("hex");
+}
 export function readSyncCache(
 // implements REQ-003
 cachePath, deps) {
@@ -64,13 +80,26 @@ cachePath, deps) {
                 semanticContracts: {},
             };
         }
-        return {
+        const cache = {
             version: SYNC_CACHE_VERSION,
             hashes: parsed.hashes ?? {},
             seenAt: parsed.seenAt ?? {},
             semanticHashes: parsed.semanticHashes ?? {},
             semanticContracts: parsed.semanticContracts ?? {},
         };
+        if (parsed.relationshipHashes !== undefined) {
+            cache.relationshipHashes = parsed.relationshipHashes;
+        }
+        if (parsed.entityHashes !== undefined) {
+            cache.entityHashes = parsed.entityHashes;
+        }
+        if (parsed.sourceEntityIds !== undefined) {
+            cache.sourceEntityIds = parsed.sourceEntityIds;
+        }
+        if (parsed.shardRelationships !== undefined) {
+            cache.shardRelationships = parsed.shardRelationships;
+        }
+        return cache;
     }
     catch {
         return {

package/dist/commands/sync/persistence.d.ts

@@ -5,7 +5,16 @@ export interface PersistenceResult {
     relationshipCount: number;
     kbModified: boolean;
 }
-export declare function persistEntities(prolog: PrologProcess, results: ExtractionResult[], entityIds: Set<string>): Promise<{
+/** Remove entities owned by changed/deleted source files before re-upserting. */
+export declare function retractEntitiesForSources(prolog: PrologProcess, sourceFiles: readonly string[]): Promise<number>;
+/** Remove an exact entity delta without scanning every indexed source. */
+export declare function retractEntitiesById(prolog: PrologProcess, entityIds: readonly string[]): Promise<number>;
+/** Clear outgoing inline relationships for entities whose payload changed. */
+export declare function retractEntityRelationshipsById(prolog: PrologProcess, entityIds: readonly string[]): Promise<void>;
+export declare function retractRelationships(prolog: PrologProcess, relationships: readonly ExtractedRelationship[]): Promise<number>;
+export declare function persistEntities(prolog: PrologProcess, results: ExtractionResult[], entityIds: Set<string>, options?: {
+    loadExistingEntityIds?: boolean;
+}): Promise<{
     entityCount: number;
     kbModified: boolean;
 }>;

package/dist/commands/sync/persistence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/persistence.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAEV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAgHrD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAmCD,wBAAsB,eAAe,CAEnC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAwKvD;AA6BD,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,kBAAkB,EAAE,qBAAqB,EAAE,GAC1C,OAAO,CAAC;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CA+K7D"}
+{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/persistence.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAEV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAgHrD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AA8CD,iFAAiF;AACjF,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,OAAO,CAAC,MAAM,CAAC,CAkCjB;AAED,0EAA0E;AAC1E,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,OAAO,CAAC,MAAM,CAAC,CAmBjB;AAED,8EAA8E;AAC9E,wBAAsB,8BAA8B,CAClD,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,OAAO,CAAC,IAAI,CAAC,CAoBf;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,aAAa,EAAE,SAAS,qBAAqB,EAAE,GAC9C,OAAO,CAAC,MAAM,CAAC,CAuBjB;AAmCD,wBAAsB,eAAe,CAEnC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EACtB,OAAO,GAAE;IAAE,qBAAqB,CAAC,EAAE,OAAO,CAAA;CAAO,GAChD,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAuOvD;AA6BD,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,kBAAkB,EAAE,qBAAqB,EAAE,GAC1C,OAAO,CAAC;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CA0N7D"}