kibi-cli 0.2.8 → 0.4.0

package/dist/commands/discovery-shared.js

@@ -0,0 +1,281 @@
+import path from "node:path";
+import Table from "cli-table3";
+import { PrologProcess, resolveKbPlPath } from "../prolog.js";
+import { escapeAtom } from "../prolog/codec.js";
+import { safeCleanupProlog } from "../utils/prolog-cleanup.js";
+import { getCurrentBranch } from "./init-helpers.js";
+// implements REQ-003
+export async function withAttachedBranchProlog(callback) {
+    let prolog = null;
+    let attached = false;
+    try {
+        prolog = new PrologProcess({ timeout: 120000 });
+        await prolog.start();
+        await prolog.query("set_prolog_flag(answer_write_options, [max_depth(0), spacing(next_argument)])");
+        let branch;
+        try {
+            branch =
+                process.env.KIBI_BRANCH || (await getCurrentBranch(process.cwd()));
+        }
+        catch {
+            branch = process.env.KIBI_BRANCH || "main";
+        }
+        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"}`);
+        }
+        attached = true;
+        return await callback(prolog);
+    }
+    finally {
+        await safeCleanupProlog(prolog);
+    }
+}
+// implements REQ-003
+export async function withPrologProcess(callback) {
+    const prolog = new PrologProcess({ timeout: 120000 });
+    try {
+        await prolog.start();
+        prolog.useOneShotMode = true;
+        await prolog.query("set_prolog_flag(answer_write_options, [max_depth(0), spacing(next_argument)])");
+        return await callback(prolog);
+    }
+    finally {
+        await safeCleanupProlog(prolog);
+    }
+}
+// implements REQ-003
+export async function resolveCurrentKbPath() {
+    let branch;
+    try {
+        branch = process.env.KIBI_BRANCH || (await getCurrentBranch(process.cwd()));
+    }
+    catch {
+        branch = process.env.KIBI_BRANCH || "main";
+    }
+    return path.join(process.cwd(), ".kb/branches", branch);
+}
+// implements REQ-003
+export function resolveCoreModulePath(fileName) {
+    return path.join(path.dirname(resolveKbPlPath()), fileName);
+}
+// implements REQ-003
+export async function runJsonModuleQuery(prolog, fileName, goal, errorLabel, kbPath) {
+    const modulePath = escapeAtom(resolveCoreModulePath(fileName).replace(/\\/g, "/"));
+    const wrappedGoal = kbPath
+        ? `(use_module('${modulePath}'), kb_attach('${escapeAtom(kbPath)}'), ${goal}, kb_detach)`
+        : `(use_module('${modulePath}'), ${goal})`;
+    const result = await prolog.query(wrappedGoal);
+    if (!result.success) {
+        throw new Error(`${errorLabel}: ${result.error || "Unknown error"}`);
+    }
+    const rawJson = result.bindings.JsonString;
+    if (!rawJson) {
+        throw new Error(`${errorLabel}: missing JsonString binding`);
+    }
+    let parsed = JSON.parse(rawJson);
+    if (typeof parsed === "string") {
+        parsed = JSON.parse(parsed);
+    }
+    return parsed;
+}
+// implements REQ-003
+export function printDiscoveryResult(format, structured, fallbackText) {
+    if (format === "json") {
+        console.log(JSON.stringify(structured, null, 2));
+        return;
+    }
+    const rendered = renderDiscoveryTable(structured);
+    console.log(rendered || fallbackText);
+}
+function renderDiscoveryTable(structured) {
+    if (!structured || typeof structured !== "object") {
+        return null;
+    }
+    const payload = structured;
+    if (Array.isArray(payload.results)) {
+        return renderSearchTable(payload);
+    }
+    if (typeof payload.branch === "string" &&
+        typeof payload.syncState === "string") {
+        return renderStatusTable(payload);
+    }
+    if (Array.isArray(payload.nodes) && Array.isArray(payload.edges)) {
+        return renderGraphTable(payload);
+    }
+    if (Array.isArray(payload.rows) &&
+        payload.summary &&
+        typeof payload.summary === "object") {
+        return renderCoverageTable(payload);
+    }
+    if (Array.isArray(payload.rows)) {
+        return renderGapsTable(payload);
+    }
+    return null;
+}
+function renderSearchTable(payload) {
+    const rows = Array.isArray(payload.results) ? payload.results : [];
+    const table = new Table({
+        head: ["ID", "Type", "Title", "Score", "Reasons", "Snippet"],
+        wordWrap: true,
+        colWidths: [20, 10, 32, 8, 28, 44],
+    });
+    for (const row of rows) {
+        const match = row;
+        const entity = (match.entity ?? {});
+        const reasons = Array.isArray(match.reasons)
+            ? match.reasons.join(", ")
+            : "";
+        table.push([
+            stringifyCell(entity.id),
+            stringifyCell(entity.type),
+            stringifyCell(entity.title),
+            stringifyCell(match.score),
+            reasons,
+            stringifyCell(match.snippet),
+        ]);
+    }
+    return [
+        `Search results: ${stringifyCell(payload.count)} total`,
+        table.toString(),
+    ].join("\n");
+}
+function renderStatusTable(payload) {
+    const table = new Table({
+        head: ["Field", "Value"],
+        colWidths: [18, 72],
+        wordWrap: true,
+    });
+    table.push(["Branch", stringifyCell(payload.branch)], ["Sync State", stringifyCell(payload.syncState)], ["Dirty", stringifyCell(payload.dirty)], ["Snapshot", stringifyCell(payload.snapshotId)], ["Synced At", stringifyCell(payload.syncedAt)], ["KB Path", stringifyCell(payload.kbPath)]);
+    return table.toString();
+}
+function renderGapsTable(payload) {
+    const rows = Array.isArray(payload.rows) ? payload.rows : [];
+    const table = new Table({
+        head: ["ID", "Type", "Status", "Missing", "Present", "Source"],
+        colWidths: [20, 10, 12, 24, 24, 40],
+        wordWrap: true,
+    });
+    for (const row of rows) {
+        const item = row;
+        table.push([
+            stringifyCell(item.id),
+            stringifyCell(item.type),
+            stringifyCell(item.status),
+            joinCells(item.missingRelationships),
+            joinCells(item.presentRelationships),
+            stringifyCell(item.source),
+        ]);
+    }
+    return [`Gap rows: ${stringifyCell(payload.count)}`, table.toString()].join("\n");
+}
+function renderCoverageTable(payload) {
+    const summary = (payload.summary ?? {});
+    const rows = Array.isArray(payload.rows) ? payload.rows : [];
+    const summaryTable = new Table({
+        head: ["Metric", "Value"],
+        colWidths: [24, 16],
+    });
+    for (const [key, value] of Object.entries(summary)) {
+        summaryTable.push([key, stringifyCell(value)]);
+    }
+    const firstRow = rows[0];
+    const isRequirementCoverage = firstRow && Object.hasOwn(firstRow, "scenarioCount");
+    const table = isRequirementCoverage
+        ? new Table({
+            head: [
+                "ID",
+                "Status",
+                "Priority",
+                "Coverage",
+                "Scen",
+                "Tests",
+                "Symbols",
+                "Gaps",
+            ],
+            colWidths: [20, 12, 12, 18, 8, 8, 10, 28],
+            wordWrap: true,
+        })
+        : new Table({
+            head: ["ID", "Type", "Coverage", "Details", "Gaps"],
+            colWidths: [20, 10, 18, 28, 28],
+            wordWrap: true,
+        });
+    for (const row of rows) {
+        const item = row;
+        if (isRequirementCoverage) {
+            table.push([
+                stringifyCell(item.id),
+                stringifyCell(item.status),
+                stringifyCell(item.priority),
+                stringifyCell(item.coverageStatus),
+                stringifyCell(item.scenarioCount),
+                stringifyCell(item.testCount),
+                stringifyCell(item.transitiveSymbolCount),
+                joinCells(item.gaps),
+            ]);
+        }
+        else {
+            table.push([
+                stringifyCell(item.id),
+                stringifyCell(item.type),
+                stringifyCell(item.coverageStatus),
+                `req=${stringifyCell(item.directRequirementCount)} test=${stringifyCell(item.testCount)} count=${stringifyCell(item.count)}`,
+                joinCells(item.gaps),
+            ]);
+        }
+    }
+    return [summaryTable.toString(), table.toString()].join("\n\n");
+}
+function renderGraphTable(payload) {
+    const nodes = Array.isArray(payload.nodes) ? payload.nodes : [];
+    const edges = Array.isArray(payload.edges) ? payload.edges : [];
+    const nodeTable = new Table({
+        head: ["Node ID", "Type", "Title", "Status"],
+        colWidths: [22, 10, 36, 12],
+        wordWrap: true,
+    });
+    for (const row of nodes) {
+        const item = row;
+        nodeTable.push([
+            stringifyCell(item.id),
+            stringifyCell(item.type),
+            stringifyCell(item.title),
+            stringifyCell(item.status),
+        ]);
+    }
+    const edgeTable = new Table({
+        head: ["Relationship", "From", "To"],
+        colWidths: [18, 22, 22],
+        wordWrap: true,
+    });
+    for (const row of edges) {
+        const item = row;
+        edgeTable.push([
+            stringifyCell(item.type),
+            stringifyCell(item.from),
+            stringifyCell(item.to),
+        ]);
+    }
+    return [
+        `Nodes: ${nodes.length}  Edges: ${edges.length}  Truncated: ${stringifyCell(payload.truncated)}`,
+        nodeTable.toString(),
+        edgeTable.toString(),
+    ].join("\n\n");
+}
+function stringifyCell(value) {
+    if (value === null || value === undefined || value === "") {
+        return "-";
+    }
+    if (typeof value === "string") {
+        return value;
+    }
+    return String(value);
+}
+function joinCells(value) {
+    if (!Array.isArray(value) || value.length === 0) {
+        return "-";
+    }
+    return value.map((item) => stringifyCell(item)).join(", ");
+}

package/dist/commands/doctor.d.ts

@@ -1,2 +1,4 @@
-export declare function doctorCommand(): Promise<void>;
+export declare function doctorCommand(): Promise<{
+    exitCode: number;
+}>;
 //# sourceMappingURL=doctor.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"doctor.d.ts","sourceRoot":"","sources":["../../src/commands/doctor.ts"],"names":[],"mappings":"AA2BA,wBAAsB,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC,CA0DnD"}
+{"version":3,"file":"doctor.d.ts","sourceRoot":"","sources":["../../src/commands/doctor.ts"],"names":[],"mappings":"AA4BA,wBAAsB,aAAa,IAAI,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAyDnE"}

package/dist/commands/doctor.js

@@ -18,6 +18,7 @@
 import { execSync } from "node:child_process";
 import { existsSync, readFileSync, statSync } from "node:fs";
 import * as path from "node:path";
+// implements REQ-003
 export async function doctorCommand() {
     const checks = [
         {
@@ -65,12 +66,10 @@ export async function doctorCommand() {
     console.log();
     if (allPassed) {
         console.log("All checks passed! Your environment is ready.");
-        process.exit(0);
-    }
-    else {
-        console.log("Some checks failed. Please address the issues above.");
-        process.exit(1);
+        return { exitCode: 0 };
     }
+    console.log("Some checks failed. Please address the issues above.");
+    return { exitCode: 1 };
 }
 function checkSWIProlog() {
     try {
@@ -198,7 +197,7 @@ function checkGitHooks() {
     return {
         passed: false,
         message: "Partially installed",
-        remediation: "Run: kibi init --hooks",
+        remediation: "Run: kibi init",
     };
 }
 function checkPreCommitHook() {
@@ -218,7 +217,7 @@ function checkPreCommitHook() {
         return {
             passed: false,
             message: "Not installed",
-            remediation: "Run: kibi init --hooks",
+            remediation: "Run: kibi init",
         };
     }
     try {
@@ -233,7 +232,7 @@ function checkPreCommitHook() {
             return {
                 passed: false,
                 message: "pre-commit hook installed but does not invoke kibi",
-                remediation: "Run: kibi init --hooks to install recommended hooks",
+                remediation: "Run: kibi init to install recommended hooks",
             };
         }
         if (preCommitExecutable) {
@@ -247,7 +246,7 @@ function checkPreCommitHook() {
             return {
                 passed: true,
                 message: "Installed and executable (uses legacy 'kibi check' — consider running 'kibi init' to update hooks to use '--staged')",
-                remediation: "Run: kibi init --hooks to update git hooks to the latest template",
+                remediation: "Run: kibi init to update git hooks to the latest template",
             };
         }
         return {
@@ -260,7 +259,7 @@ function checkPreCommitHook() {
         return {
             passed: false,
             message: "Unable to check hook permissions or read content",
-            remediation: "Run: kibi init --hooks",
+            remediation: "Run: kibi init",
         };
     }
 }
@@ -281,7 +280,7 @@ function checkPostRewriteHook() {
         return {
             passed: false,
             message: "Not installed",
-            remediation: "Run: kibi init --hooks",
+            remediation: "Run: kibi init",
         };
     }
     try {
@@ -294,7 +293,7 @@ function checkPostRewriteHook() {
             return {
                 passed: false,
                 message: "post-rewrite hook installed but does not invoke kibi",
-                remediation: "Run: kibi init --hooks to install recommended hooks",
+                remediation: "Run: kibi init to install recommended hooks",
             };
         }
         if (postRewriteExecutable) {
@@ -313,7 +312,7 @@ function checkPostRewriteHook() {
         return {
             passed: false,
             message: "Unable to check hook permissions or read content",
-            remediation: "Run: kibi init --hooks",
+            remediation: "Run: kibi init",
         };
     }
 }

package/dist/commands/gaps.d.ts

@@ -0,0 +1,12 @@
+interface GapsOptions {
+    missingRel?: string;
+    presentRel?: string;
+    tag?: string;
+    source?: string;
+    limit?: string;
+    offset?: string;
+    format?: "json" | "table";
+}
+export declare function gapsCommand(type: string | undefined, options: GapsOptions): Promise<void>;
+export {};
+//# sourceMappingURL=gaps.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gaps.d.ts","sourceRoot":"","sources":["../../src/commands/gaps.ts"],"names":[],"mappings":"AAQA,UAAU,WAAW;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,WAAW,CAC/B,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,OAAO,EAAE,WAAW,GACnB,OAAO,CAAC,IAAI,CAAC,CAyBf"}

package/dist/commands/gaps.js

@@ -0,0 +1,28 @@
+import { escapeAtom } from "../prolog/codec.js";
+import { printDiscoveryResult, resolveCurrentKbPath, runJsonModuleQuery, withPrologProcess, } from "./discovery-shared.js";
+// implements REQ-002, REQ-003
+export async function gapsCommand(type, options) {
+    await withPrologProcess(async (prolog) => {
+        const kbPath = await resolveCurrentKbPath();
+        const missing = csvToPrologList(options.missingRel);
+        const present = csvToPrologList(options.presentRel);
+        const tags = csvToPrologList(options.tag);
+        const source = options.source ? `'${escapeAtom(options.source)}'` : "none";
+        const limit = Number.parseInt(options.limit || "100", 10);
+        const offset = Number.parseInt(options.offset || "0", 10);
+        const typeArg = type ? `'${escapeAtom(type)}'` : "none";
+        const result = await runJsonModuleQuery(prolog, "discovery.pl", `discovery:find_gaps_json(${typeArg}, ${missing}, ${present}, ${tags}, ${source}, ${limit}, ${offset}, JsonString)`, "gaps query failed", kbPath);
+        printDiscoveryResult(options.format, result, `Found ${result.count ?? 0} gap rows.`);
+    });
+}
+function csvToPrologList(value) {
+    if (!value?.trim()) {
+        return "[]";
+    }
+    return `[${value
+        .split(",")
+        .map((item) => item.trim())
+        .filter(Boolean)
+        .map((item) => `'${escapeAtom(item)}'`)
+        .join(",")}]`;
+}

package/dist/commands/graph.d.ts

@@ -0,0 +1,13 @@
+interface GraphOptions {
+    from?: string;
+    relationships?: string;
+    direction?: "outgoing" | "incoming" | "both";
+    depth?: string;
+    entityTypes?: string;
+    maxNodes?: string;
+    maxEdges?: string;
+    format?: "json" | "table";
+}
+export declare function graphCommand(options: GraphOptions): Promise<void>;
+export {};
+//# sourceMappingURL=graph.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/commands/graph.ts"],"names":[],"mappings":"AAQA,UAAU,YAAY;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,MAAM,CAAC;IAC7C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAiCvE"}

package/dist/commands/graph.js

@@ -0,0 +1,35 @@
+import { escapeAtom } from "../prolog/codec.js";
+import { printDiscoveryResult, resolveCurrentKbPath, runJsonModuleQuery, withPrologProcess, } from "./discovery-shared.js";
+// implements REQ-002, REQ-003
+export async function graphCommand(options) {
+    if (!options.from?.trim()) {
+        console.error("Error: --from is required");
+        process.exitCode = 1;
+        return;
+    }
+    await withPrologProcess(async (prolog) => {
+        const kbPath = await resolveCurrentKbPath();
+        const seedIds = csvToPrologList(options.from);
+        const relationships = csvToPrologList(options.relationships);
+        const direction = options.direction || "outgoing";
+        const depth = Number.parseInt(options.depth || "1", 10);
+        const entityTypes = csvToPrologList(options.entityTypes);
+        const maxNodes = Number.parseInt(options.maxNodes || "200", 10);
+        const maxEdges = Number.parseInt(options.maxEdges || "500", 10);
+        const result = await runJsonModuleQuery(prolog, "discovery.pl", `discovery:graph_expand_json(${seedIds}, ${relationships}, '${direction}', ${depth}, ${entityTypes}, ${maxNodes}, ${maxEdges}, JsonString)`, "graph query failed", kbPath);
+        const nodes = Array.isArray(result.nodes) ? result.nodes.length : 0;
+        const edges = Array.isArray(result.edges) ? result.edges.length : 0;
+        printDiscoveryResult(options.format, result, `Graph traversal returned ${nodes} nodes and ${edges} edges.`);
+    });
+}
+function csvToPrologList(value) {
+    if (!value?.trim()) {
+        return "[]";
+    }
+    return `[${value
+        .split(",")
+        .map((item) => item.trim())
+        .filter(Boolean)
+        .map((item) => `'${escapeAtom(item)}'`)
+        .join(",")}]`;
+}

package/dist/commands/init.d.ts

@@ -1,6 +1,8 @@
 interface InitOptions {
     hooks?: boolean;
 }
-export declare function initCommand(options: InitOptions): Promise<void>;
+export declare function initCommand(options: InitOptions): Promise<{
+    exitCode: number;
+}>;
 export {};
 //# sourceMappingURL=init.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"init.d.ts","sourceRoot":"","sources":["../../src/commands/init.ts"],"names":[],"mappings":"AAiCA,UAAU,WAAW;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,wBAAsB,WAAW,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CA6DrE"}
+{"version":3,"file":"init.d.ts","sourceRoot":"","sources":["../../src/commands/init.ts"],"names":[],"mappings":"AAiCA,UAAU,WAAW;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAGD,wBAAsB,WAAW,CAC/B,OAAO,EAAE,WAAW,GACnB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA6D/B"}

package/dist/commands/init.js

@@ -22,6 +22,7 @@ import { resolveActiveBranch } from "../utils/branch-resolver.js";
 import { copySchemaFiles, createConfigFile, createKbDirectoryStructure, installGitHooks, updateGitIgnore, } from "./init-helpers.js";
 const __filename = fileURLToPath(import.meta.url);
 const __dirname = path.dirname(__filename);
+// implements REQ-003
 export async function initCommand(options) {
     const kbDir = path.join(process.cwd(), ".kb");
     const kbExists = existsSync(kbDir);
@@ -40,7 +41,7 @@ export async function initCommand(options) {
         else {
             console.error("Error: Failed to resolve the active git branch.");
             console.error(result.error);
-            process.exit(1);
+            return { exitCode: 1 };
         }
     }
     else {
@@ -70,10 +71,10 @@ export async function initCommand(options) {
         console.log("Next steps:");
         console.log("  1. Run 'kibi doctor' to verify setup");
         console.log("  2. Run 'kibi sync' to extract entities from documents");
-        process.exit(0);
+        return { exitCode: 0 };
     }
     catch (error) {
         console.error("Error during initialization:", error);
-        process.exit(1);
+        return { exitCode: 1 };
     }
 }

package/dist/commands/query.d.ts

@@ -7,6 +7,8 @@ interface QueryOptions {
     limit?: string;
     offset?: string;
 }
-export declare function queryCommand(type: string | undefined, options: QueryOptions): Promise<void>;
+export declare function queryCommand(type: string | undefined, options: QueryOptions): Promise<{
+    exitCode: number;
+}>;
 export {};
 //# sourceMappingURL=query.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../src/commands/query.ts"],"names":[],"mappings":"AA2CA,UAAU,YAAY;IACpB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAGD,wBAAsB,YAAY,CAChC,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC,IAAI,CAAC,CAyKf"}
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../src/commands/query.ts"],"names":[],"mappings":"AA4CA,UAAU,YAAY;IACpB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAGD,wBAAsB,YAAY,CAChC,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA+J/B"}

package/dist/commands/query.js

@@ -22,6 +22,7 @@ import { parseEntityFromBinding, parseEntityFromList, parseListOfLists, parsePro
 import relationshipSchema from "../public/schemas/relationship.js";
 import { VALID_ENTITY_TYPES } from "../query/service.js";
 import { resolveActiveBranch } from "../utils/branch-resolver.js";
+import { safeCleanupProlog } from "../utils/prolog-cleanup.js";
 const REL_TYPES = relationshipSchema.properties.type.enum;
 // implements REQ-003
 export async function queryCommand(type, options) {
@@ -45,7 +46,7 @@ export async function queryCommand(type, options) {
             else {
                 console.error(`Error: Failed to resolve active branch:\n${branchResult.error}`);
                 await prolog.terminate();
-                process.exit(1);
+                return { exitCode: 1 };
             }
         }
         else {
@@ -56,7 +57,7 @@ export async function queryCommand(type, options) {
         if (!attachResult.success) {
             await prolog.terminate();
             console.error(`Error: Failed to attach KB: ${attachResult.error || "Unknown error"}`);
-            process.exit(1);
+            return { exitCode: 1 };
         }
         attached = true;
         let results = [];
@@ -86,8 +87,7 @@ export async function queryCommand(type, options) {
         else if (type || options.source) {
             if (type && !VALID_ENTITY_TYPES.includes(type)) {
                 console.error(`Error: Invalid type '${type}'. Valid types: ${VALID_ENTITY_TYPES.join(", ")}`);
-                process.exitCode = 1;
-                return;
+                return { exitCode: 1 };
             }
             let goal;
             if (options.source) {
@@ -133,8 +133,7 @@ export async function queryCommand(type, options) {
         }
         else {
             console.error("Error: Must specify entity type, --source, or --relationships option");
-            process.exitCode = 1;
-            return;
+            return { exitCode: 1 };
         }
         const limit = Number.parseInt(options.limit || "100");
         const offset = Number.parseInt(options.offset || "0");
@@ -146,7 +145,7 @@ export async function queryCommand(type, options) {
             else {
                 console.log("No entities found");
             }
-            return;
+            return { exitCode: 0 };
         }
         // Format output
         if (options.format === "table") {
@@ -155,25 +154,15 @@ export async function queryCommand(type, options) {
         else {
             console.log(JSON.stringify(paginated, null, 2));
         }
+        return { exitCode: 0 };
     }
     catch (error) {
         const message = error instanceof Error ? error.message : String(error);
         console.error(`Error: ${message}`);
-        process.exitCode = 1;
+        return { exitCode: 1 };
     }
     finally {
-        if (prolog) {
-            if (attached) {
-                try {
-                    await prolog.query("kb_detach");
-                }
-                catch { }
-            }
-            try {
-                await prolog.terminate();
-            }
-            catch { }
-        }
+        await safeCleanupProlog(prolog);
     }
 }
 /**

package/dist/commands/search.d.ts

@@ -0,0 +1,9 @@
+interface SearchOptions {
+    type?: string;
+    format?: "json" | "table";
+    limit?: string;
+    offset?: string;
+}
+export declare function searchCommand(query: string | undefined, options: SearchOptions): Promise<void>;
+export {};
+//# sourceMappingURL=search.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../src/commands/search.ts"],"names":[],"mappings":"AASA,UAAU,aAAa;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAGD,wBAAsB,aAAa,CACjC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,OAAO,EAAE,aAAa,GACrB,OAAO,CAAC,IAAI,CAAC,CA+Bf"}