kibi-cli 0.3.0 → 0.4.0

package/dist/cli.d.ts

@@ -1,2 +1,5 @@
-export {};
+/** All command handlers return this instead of calling process.exit(). */
+export interface CommandResult {
+    exitCode?: number;
+}
 //# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":""}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsCA,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB"}

package/dist/cli.js

@@ -31,6 +31,16 @@ import { statusCommand } from "./commands/status.js";
 import { syncCommand } from "./commands/sync.js";
 const packageJson = JSON.parse(readFileSync(new URL("../package.json", import.meta.url), "utf8"));
 const VERSION = packageJson.version ?? "0.1.0";
+// implements REQ-003
+/** Wraps an async command handler to apply its returned exitCode to process.exitCode. */
+function withExitCode(fn) {
+    return async (...args) => {
+        const result = await fn(...args);
+        if (result && typeof result.exitCode === "number") {
+            process.exitCode = result.exitCode;
+        }
+    };
+}
 const program = new Command();
 program
     .name("kibi")
@@ -40,17 +50,17 @@ program
     .command("init")
     .description("Initialize .kb/ directory")
     .option("--no-hooks", "Do not install git hooks (hooks installed by default)")
-    .action(async (options) => {
-    await initCommand(options);
-});
+    .action(withExitCode(async (options) => {
+    return initCommand(options);
+}));
 program
     .command("sync")
     .description("Sync entities from documents")
     .option("--validate-only", "Perform validation without mutations")
     .option("--rebuild", "Rebuild branch snapshot from scratch (discards current KB)")
-    .action(async (options) => {
-    await syncCommand(options);
-});
+    .action(withExitCode(async (options) => {
+    return syncCommand(options);
+}));
 program
     .command("query [type]")
     .description("Query knowledge base")
@@ -61,9 +71,9 @@ program
     .option("--format <format>", "Output format: json|table", "json")
     .option("--limit <n>", "Limit results", "100")
     .option("--offset <n>", "Skip results", "0")
-    .action(async (type, options) => {
-    await queryCommand(type, options);
-});
+    .action(withExitCode(async (type, options) => {
+    return queryCommand(type, options);
+}));
 program
     .command("search [query]")
     .description("Search knowledge base metadata and markdown content")
@@ -130,9 +140,9 @@ program
     .option("--staged", "Run check only against staged changes (experimental)")
     .option("--min-links <n>", "Minimum number of links required for symbol coverage", "1")
     .option("--dry-run", "Do not modify files; only print what would happen")
-    .action(async (options) => {
-    await checkCommand(options);
-});
+    .action(withExitCode(async (options) => {
+    return checkCommand(options);
+}));
 program
     .command("gc")
     .description("Garbage collect stale branch KBs")
@@ -145,9 +155,7 @@ program
 program
     .command("doctor")
     .description("Diagnose KB setup and configuration")
-    .action(async () => {
-    await doctorCommand();
-});
+    .action(withExitCode(async () => doctorCommand()));
 program
     .command("branch")
     .description("Manage branch KBs")
@@ -158,4 +166,11 @@ program
         await branchEnsureCommand(options);
     }
 });
-program.parse(process.argv);
+program
+    .parseAsync(process.argv)
+    .then(() => process.exit(process.exitCode ?? 0))
+    .catch((error) => {
+    const message = error instanceof Error ? error.message : String(error);
+    console.error(message);
+    process.exit(1);
+});

package/dist/commands/check.d.ts

@@ -1,3 +1,5 @@
+import { type Violation } from "../utils/rule-registry.js";
+export type { Violation };
 export interface CheckOptions {
     fix?: boolean;
     kbPath?: string;
@@ -6,12 +8,7 @@ export interface CheckOptions {
     minLinks?: string | number;
     dryRun?: boolean;
 }
-export interface Violation {
-    rule: string;
-    entityId: string;
-    description: string;
-    suggestion?: string;
-    source?: string;
-}
-export declare function checkCommand(options: CheckOptions): Promise<void>;
+export declare function checkCommand(options: CheckOptions): Promise<{
+    exitCode: number;
+}>;
 //# sourceMappingURL=check.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAgDA,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;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAGD,wBAAsB,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CA+RvE"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AA4CA,OAAO,EAGL,KAAK,SAAS,EAEf,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EAAE,SAAS,EAAE,CAAC;AAK1B,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;CAClB;AAGD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA0R/B"}

package/dist/commands/check.js

@@ -18,13 +18,14 @@
 import * as path from "node:path";
 import { extractFromManifest } from "../extractors/manifest.js";
 import { PrologProcess } from "../prolog.js";
-import { escapeAtom } from "../prolog/codec.js";
+import { escapeAtom, parseTriples, parseViolationRows, } from "../prolog/codec.js";
 import { getStagedFiles } from "../traceability/git-staged.js";
 import { validateStagedMarkdown } from "../traceability/markdown-validate.js";
 import { extractSymbolsFromStagedFile, } from "../traceability/symbol-extract.js";
 import { cleanupTempKb, consultOverlay, createOverlayFacts, createTempKb, } from "../traceability/temp-kb.js";
 import { formatViolations as formatStagedViolations, validateStagedSymbols, } from "../traceability/validate.js";
 import { loadConfig } from "../utils/config.js";
+import { safeCleanupProlog } from "../utils/prolog-cleanup.js";
 import { RULES, getEffectiveRules, } from "../utils/rule-registry.js";
 import { runAggregatedChecks } from "./aggregated-checks.js";
 import { getCurrentBranch } from "./init-helpers.js";
@@ -83,7 +84,7 @@ export async function checkCommand(options) {
                 const stagedFiles = getStagedFiles();
                 if (!stagedFiles || stagedFiles.length === 0) {
                     console.log("No staged files found.");
-                    process.exit(0);
+                    return { exitCode: 0 };
                 }
                 const codeFiles = stagedFiles.filter((f) => !f.path.endsWith(".md"));
                 const markdownFiles = stagedFiles.filter((f) => f.path.endsWith(".md"));
@@ -101,9 +102,9 @@ export async function checkCommand(options) {
                         console.log();
                     }
                     if (options.dryRun) {
-                        process.exit(0);
+                        return { exitCode: 0 };
                     }
-                    process.exit(1);
+                    return { exitCode: 1 };
                 }
                 const allSymbols = [];
                 for (const f of codeFiles) {
@@ -119,11 +120,11 @@ export async function checkCommand(options) {
                 }
                 if (allSymbols.length === 0 && markdownFiles.length === 0) {
                     console.log("No exported symbols or markdown entities found in staged files.");
-                    process.exit(0);
+                    return { exitCode: 0 };
                 }
                 if (allSymbols.length === 0) {
                     console.log("✓ No violations found in staged files.");
-                    process.exit(0);
+                    return { exitCode: 0 };
                 }
                 // Create temp KB
                 tempCtx = await createTempKb(resolvedKbPath);
@@ -140,13 +141,13 @@ export async function checkCommand(options) {
                     console.log(violationsFormatted);
                     await cleanupTempKb(tempCtx.tempDir);
                     if (options.dryRun) {
-                        process.exit(0);
+                        return { exitCode: 0 };
                     }
-                    process.exit(1);
+                    return { exitCode: 1 };
                 }
                 console.log("✓ No violations found in staged symbols.");
                 await cleanupTempKb(tempCtx.tempDir);
-                process.exit(0);
+                return { exitCode: 0 };
             }
             catch (err) {
                 console.error(`Error running staged validation: ${err instanceof Error ? err.message : String(err)}`);
@@ -154,9 +155,11 @@ export async function checkCommand(options) {
                     try {
                         await cleanupTempKb(tempCtx.tempDir);
                     }
-                    catch { }
+                    catch {
+                        // best-effort: temp directory may already be cleaned up
+                    }
                 }
-                process.exit(1);
+                return { exitCode: 1 };
             }
         }
         prolog = new PrologProcess({ timeout: 120000 });
@@ -166,7 +169,7 @@ export async function checkCommand(options) {
         if (!attachResult.success) {
             await prolog.terminate();
             console.error(`Error: Failed to attach KB: ${attachResult.error}`);
-            process.exit(1);
+            return { exitCode: 1 };
         }
         attached = true;
         const violations = [];
@@ -203,6 +206,7 @@ export async function checkCommand(options) {
             "required-fields",
             "deprecated-adr-no-successor",
             "domain-contradictions",
+            "strict-fact-shape",
         ];
         const canUseAggregated = Array.from(effectiveRules).every((r) => supportedRules.includes(r));
         if (canUseAggregated) {
@@ -225,10 +229,11 @@ export async function checkCommand(options) {
             }
             await runCheck("deprecated-adr-no-successor", checkDeprecatedAdrs);
             await runCheck("domain-contradictions", checkDomainContradictions);
+            await runCheck("strict-fact-shape", checkStrictFactShape);
         }
         if (violations.length === 0) {
             console.log("✓ No violations found. KB is valid.");
-            process.exit(0);
+            return { exitCode: 0 };
         }
         console.log(`Found ${violations.length} violation(s):`);
         console.log();
@@ -241,26 +246,15 @@ export async function checkCommand(options) {
             }
             console.log();
         }
-        process.exit(1);
+        return { exitCode: 1 };
     }
     catch (error) {
         const message = error instanceof Error ? error.message : String(error);
         console.error(`Error: ${message}`);
-        process.exit(1);
+        return { exitCode: 1 };
     }
     finally {
-        if (prolog) {
-            if (attached) {
-                try {
-                    await prolog.query("kb_detach");
-                }
-                catch { }
-            }
-            try {
-                await prolog.terminate();
-            }
-            catch { }
-        }
+        await safeCleanupProlog(prolog);
     }
 }
 async function checkMustPriorityCoverage(prolog) {
@@ -545,7 +539,7 @@ async function checkDomainContradictions(prolog) {
     if (!result.success || !result.bindings.Rows) {
         return violations;
     }
-    const rows = parseTripleRows(result.bindings.Rows);
+    const rows = parseTriples(result.bindings.Rows);
     for (const [reqA, reqB, reason] of rows) {
         violations.push({
             rule: "domain-contradictions",
@@ -556,6 +550,22 @@ async function checkDomainContradictions(prolog) {
     }
     return violations;
 }
+async function checkStrictFactShape(prolog) {
+    const violations = [];
+    const result = await prolog.query(`findall(violation(Rule, EntityId, Desc, Sugg, Src),
+      checks:strict_fact_shape_violation(violation(Rule, EntityId, Desc, Sugg, Src)),
+      Violations)`);
+    if (!result.success || !result.bindings.Violations) {
+        return violations;
+    }
+    const violationsStr = result.bindings.Violations;
+    if (violationsStr && violationsStr !== "[]") {
+        for (const v of parseViolationRows(violationsStr)) {
+            violations.push(v);
+        }
+    }
+    return violations;
+}
 async function checkSymbolCoverage(prolog) {
     const violations = [];
     const uncoveredResult = await prolog.query("setof(Symbol, symbol_no_req_coverage(Symbol, _), Symbols)");
@@ -591,40 +601,9 @@ async function checkSymbolTraceability(prolog, requireAdr) {
     }
     const violationsStr = result.bindings.Violations;
     if (violationsStr && violationsStr !== "[]") {
-        const violationRegex = /violation\(([^,]+),'?([^',]+)'?,([^,]+),([^,]+),'?([^']*)'?\)/g;
-        let match;
-        do {
-            match = violationRegex.exec(violationsStr);
-            if (match) {
-                violations.push({
-                    rule: match[1].trim().replace(/^'|'$/g, ""),
-                    entityId: match[2].trim(),
-                    description: match[3].trim().replace(/^"|"$/g, ""),
-                    suggestion: match[4].trim().replace(/^"|"$/g, ""),
-                    source: match[5].trim() || undefined,
-                });
-            }
-        } while (match);
+        for (const v of parseViolationRows(violationsStr)) {
+            violations.push(v);
+        }
     }
     return violations;
 }
-function parseTripleRows(raw) {
-    const cleaned = raw.trim();
-    if (cleaned === "[]" || cleaned.length === 0) {
-        return [];
-    }
-    const rows = [];
-    const rowRegex = /\[([^,]+),([^,]+),([^\]]+)\]/g;
-    let match;
-    do {
-        match = rowRegex.exec(cleaned);
-        if (match) {
-            rows.push([
-                match[1].trim().replace(/^'|'$/g, ""),
-                match[2].trim().replace(/^'|'$/g, ""),
-                match[3].trim().replace(/^'|'$/g, ""),
-            ]);
-        }
-    } while (match);
-    return rows;
-}

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,EAAmB,MAAM,cAAc,CAAC;AAI9D,MAAM,WAAW,uBAAuB;IACtC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,wBAAwB,CAAC,CAAC,EAC9C,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,GAC9C,OAAO,CAAC,CAAC,CAAC,CAsCZ;AAGD,wBAAsB,iBAAiB,CAAC,CAAC,EACvC,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,GAC9C,OAAO,CAAC,CAAC,CAAC,CAcZ;AAGD,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAS5D;AAGD,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE9D;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,GACd,OAAO,CAAC,CAAC,CAAC,CAsBZ;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":"AAEA,OAAO,EAAE,aAAa,EAAmB,MAAM,cAAc,CAAC;AAK9D,MAAM,WAAW,uBAAuB;IACtC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B;AAGD,wBAAsB,wBAAwB,CAAC,CAAC,EAC9C,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,GAC9C,OAAO,CAAC,CAAC,CAAC,CAkCZ;AAGD,wBAAsB,iBAAiB,CAAC,CAAC,EACvC,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,GAC9C,OAAO,CAAC,CAAC,CAAC,CAYZ;AAGD,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAS5D;AAGD,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE9D;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,GACd,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

@@ -2,6 +2,7 @@ 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) {
@@ -13,7 +14,8 @@ export async function withAttachedBranchProlog(callback) {
         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()));
+            branch =
+                process.env.KIBI_BRANCH || (await getCurrentBranch(process.cwd()));
         }
         catch {
             branch = process.env.KIBI_BRANCH || "main";
@@ -27,18 +29,7 @@ export async function withAttachedBranchProlog(callback) {
         return await callback(prolog);
     }
     finally {
-        if (prolog) {
-            if (attached) {
-                try {
-                    await prolog.query("kb_detach");
-                }
-                catch { }
-            }
-            try {
-                await prolog.terminate();
-            }
-            catch { }
-        }
+        await safeCleanupProlog(prolog);
     }
 }
 // implements REQ-003
@@ -46,16 +37,12 @@ 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 {
-        try {
-            await prolog.terminate();
-        }
-        catch { }
+        await safeCleanupProlog(prolog);
     }
 }
 // implements REQ-003
@@ -110,13 +97,16 @@ function renderDiscoveryTable(structured) {
     if (Array.isArray(payload.results)) {
         return renderSearchTable(payload);
     }
-    if (typeof payload.branch === "string" && typeof payload.syncState === "string") {
+    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") {
+    if (Array.isArray(payload.rows) &&
+        payload.summary &&
+        typeof payload.summary === "object") {
         return renderCoverageTable(payload);
     }
     if (Array.isArray(payload.rows)) {
@@ -134,7 +124,9 @@ function renderSearchTable(payload) {
     for (const row of rows) {
         const match = row;
         const entity = (match.entity ?? {});
-        const reasons = Array.isArray(match.reasons) ? match.reasons.join(", ") : "";
+        const reasons = Array.isArray(match.reasons)
+            ? match.reasons.join(", ")
+            : "";
         table.push([
             stringifyCell(entity.id),
             stringifyCell(entity.type),
@@ -192,7 +184,16 @@ function renderCoverageTable(payload) {
     const isRequirementCoverage = firstRow && Object.hasOwn(firstRow, "scenarioCount");
     const table = isRequirementCoverage
         ? new Table({
-            head: ["ID", "Status", "Priority", "Coverage", "Scen", "Tests", "Symbols", "Gaps"],
+            head: [
+                "ID",
+                "Status",
+                "Priority",
+                "Coverage",
+                "Scen",
+                "Tests",
+                "Symbols",
+                "Gaps",
+            ],
             colWidths: [20, 12, 12, 18, 8, 8, 10, 28],
             wordWrap: true,
         })

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 {

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.map

@@ -1 +1 @@
-{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../src/commands/search.ts"],"names":[],"mappings":"AAYA,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,CAqBf"}
+{"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"}

package/dist/commands/search.js

@@ -1,5 +1,5 @@
+import { VALID_ENTITY_TYPES, queryEntities } from "../query/service.js";
 import { rankEntities } from "../search-ranking.js";
-import { VALID_ENTITY_TYPES, queryEntities, } from "../query/service.js";
 import { printDiscoveryResult, withAttachedBranchProlog, } from "./discovery-shared.js";
 // implements REQ-mcp-search-discovery, REQ-003
 export async function searchCommand(query, options) {

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,EACV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGrD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAsB,eAAe,CACnC,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,CA0DvD;AAED,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,CAiI7D"}
+{"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;AAqErD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,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,CAoEvD;AAED,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,CAiI7D"}