kibi-cli 0.12.1 → 0.12.4

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

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AA2EA,OAAO,EAGL,KAAK,SAAS,EAEf,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EAAE,SAAS,EAAE,CAAC;AAI1B,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;AA8bD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA0V/B"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AA2EA,OAAO,EAGL,KAAK,SAAS,EAEf,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EAAE,SAAS,EAAE,CAAC;AAI1B,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;AAgcD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA0V/B"}

package/dist/commands/check.js

@@ -101,7 +101,9 @@ function buildManifestLookup(stagedFiles) {
                 const authoredSymbolResult = {
                     entity: entry.entity,
                     relationships: entry.relationships,
-                    ...(entry.sourceFile !== undefined ? { sourceFile: entry.sourceFile } : {}),
+                    ...(entry.sourceFile !== undefined
+                        ? { sourceFile: entry.sourceFile }
+                        : {}),
                 };
                 authoredSymbolResults.push(authoredSymbolResult);
                 stagedAuthoredSymbolResults.push(authoredSymbolResult);
@@ -147,7 +149,7 @@ function hasTraceabilityRelationship(result) {
 }
 function hasValidGranularityReason(result) {
     const reason = result.entity.granularity_reason;
-    return (typeof reason === "string" && ALLOWED_GRANULARITY_REASONS.has(reason));
+    return typeof reason === "string" && ALLOWED_GRANULARITY_REASONS.has(reason);
 }
 function createSymbolGranularityDiagnostics(options) {
     const diagnostics = [];
@@ -161,7 +163,9 @@ function createSymbolGranularityDiagnostics(options) {
         const granularSymbols = getGranularSymbolsForSourceFile(result.sourceFile, options.symbolsByFile, options.sourceContentByFile);
         if (granularSymbols.length === 0)
             continue;
-        const granularNames = [...new Set(granularSymbols.map((s) => s.name))].sort();
+        const granularNames = [
+            ...new Set(granularSymbols.map((s) => s.name)),
+        ].sort();
         if (granularNames.includes(result.entity.title))
             continue;
         diagnostics.push({

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

@@ -1 +1 @@
-{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../../src/commands/migrate.ts"],"names":[],"mappings":"AAqCA,UAAU,cAAc;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;CACf;AA2VD,wBAAsB,cAAc,CAClC,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAgI/B"}
+{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../../src/commands/migrate.ts"],"names":[],"mappings":"AAqCA,UAAU,cAAc;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;CACf;AAiWD,wBAAsB,cAAc,CAClC,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAgI/B"}

package/dist/commands/migrate.js

@@ -135,7 +135,7 @@ function hasTraceabilityRelationship(symbol) {
             return false;
         }
         const type = relationship.type;
-        return typeof type === "string" && TRACEABILITY_RELATIONSHIP_TYPES.has(type);
+        return (typeof type === "string" && TRACEABILITY_RELATIONSHIP_TYPES.has(type));
     });
 }
 function getGranularNames(cwd, sourceFile) {
@@ -218,7 +218,9 @@ function migrateSymbolGranularity(options) {
     const migratedSymbolIds = new Set();
     const granularNamesByFile = new Map();
     for (const symbol of manifest.symbols) {
-        if (symbol === null || typeof symbol !== "object" || Array.isArray(symbol)) {
+        if (symbol === null ||
+            typeof symbol !== "object" ||
+            Array.isArray(symbol)) {
             continue;
         }
         const record = symbol;

package/dist/commands/usage-metrics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"usage-metrics.d.ts","sourceRoot":"","sources":["../../src/commands/usage-metrics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE/C,UAAU,mBAAmB;IAC3B,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAkED,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAuBpC"}
+{"version":3,"file":"usage-metrics.d.ts","sourceRoot":"","sources":["../../src/commands/usage-metrics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE/C,UAAU,mBAAmB;IAC3B,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAyED,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAuBpC"}

package/dist/commands/usage-metrics.js

@@ -54,6 +54,9 @@ function buildUsageMetricsReport(rows, limit) {
     const zeroResultToolCounts = new Map();
     const zeroResultSourceFileCounts = new Map();
     const upsertErrorCategories = new Map();
+    const errorCategories = new Map();
+    const errorStages = new Map();
+    const errorsByTool = new Map();
     const violationTrend = [];
     let successCount = 0;
     let errorCount = 0;
@@ -69,6 +72,10 @@ function buildUsageMetricsReport(rows, limit) {
         }
         if (outcome === "error") {
             errorCount += 1;
+            const category = row.error_category ?? categorizeError(row.error_message ?? row.error);
+            increment(errorCategories, category);
+            increment(errorStages, row.error_stage ?? inferErrorStage(row.error_message ?? row.error));
+            increment(errorsByTool, normalizeKey(row.tool, "unknown"));
         }
         if (hasCompleteTelemetry(row)) {
             telemetryCompleteCount += 1;
@@ -128,6 +135,11 @@ function buildUsageMetricsReport(rows, limit) {
         upsertErrors: {
             categories: mapToSortedObject(upsertErrorCategories),
         },
+        errors: {
+            categories: mapToSortedObject(errorCategories),
+            stages: mapToSortedObject(errorStages),
+            byTool: mapToSortedObject(errorsByTool),
+        },
     };
 }
 function hasCompleteTelemetry(row) {
@@ -180,9 +192,31 @@ function getSourceFile(row) {
     return null;
 }
 function categorizeUpsertError(errorMessage) {
+    return categorizeError(errorMessage);
+}
+function categorizeError(errorMessage) {
     if (!errorMessage) {
         return "Unknown error";
     }
+    const lower = errorMessage.toLowerCase();
+    if (lower.includes("stale_snapshot")) {
+        return "stale_snapshot";
+    }
+    if (lower.includes("unknown option") && lower.includes("h for help")) {
+        return "prolog_unknown_option";
+    }
+    if (lower.includes("prolog process not started")) {
+        return "prolog_process_not_started";
+    }
+    if (lower.includes("coarsely while granular symbols are available")) {
+        return "coarse_symbol_linkage";
+    }
+    if (lower.includes("module load failed")) {
+        return "prolog_module_load_failed";
+    }
+    if (lower.includes("query failed")) {
+        return "prolog_query_failed";
+    }
     if (errorMessage.startsWith("Entity validation failed:")) {
         return "Entity validation failed";
     }
@@ -199,6 +233,29 @@ function categorizeUpsertError(errorMessage) {
     }
     return errorMessage.trim() || "Unknown error";
 }
+function inferErrorStage(errorMessage) {
+    if (!errorMessage) {
+        return "unknown";
+    }
+    const lower = errorMessage.toLowerCase();
+    if (lower.includes("stale_snapshot")) {
+        return "persistence";
+    }
+    if (lower.includes("unknown option") ||
+        lower.includes("module load failed") ||
+        lower.includes("query failed")) {
+        return "prolog_runtime";
+    }
+    if (lower.includes("prolog process not started")) {
+        return "prolog_lifecycle";
+    }
+    if (lower.includes("validation failed") ||
+        lower.includes("relationship source must match") ||
+        lower.includes("coarsely while granular symbols are available")) {
+        return "validation";
+    }
+    return "unknown";
+}
 function increment(counts, key) {
     counts.set(key, (counts.get(key) ?? 0) + 1);
 }
@@ -221,6 +278,9 @@ function renderUsageMetricsReport(report) {
         renderZeroResultsTable(report),
         renderViolationTrendTable(report),
         renderCountsTable("Upsert Error Categories", "Category", report.upsertErrors.categories),
+        renderCountsTable("Error Categories", "Category", report.errors.categories),
+        renderCountsTable("Error Stages", "Stage", report.errors.stages),
+        renderCountsTable("Errors By Tool", "Tool", report.errors.byTool),
     ].filter(Boolean);
     return sections.join("\n\n");
 }

package/dist/extractors/symbols-coordinator.d.ts

@@ -1,7 +1,7 @@
 import { type ManifestSymbolEntry, enrichSymbolCoordinatesWithTsMorph } from "./symbols-ts.js";
 export type { ManifestSymbolEntry };
 export type SourceAnalysisMode = "parser" | "fallback";
-export type SourceSymbolKind = "function" | "class" | "interface" | "type" | "enum" | "variable" | "unknown";
+export type SourceSymbolKind = "function" | "class" | "method" | "interface" | "type" | "enum" | "variable" | "unknown";
 export interface SourceSymbolAnalysis {
     name: string;
     kind: SourceSymbolKind;

package/dist/extractors/symbols-coordinator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,mBAAmB,EAExB,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAazB,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEvD,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,WAAW,GACX,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,kBAAkB,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACxC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CAAC;CACtE;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,CAAC,EAAE,sBAAsB,EAAE,CAAC;CACtC;AAED,UAAU,2BAA2B;IACnC,mBAAmB,EAAE,OAAO,kCAAkC,CAAC;CAChE;AA+BD,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;AAClC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,GACjC,oBAAoB,CAAC;AAkCxB,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAqChC"}
+{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,mBAAmB,EAExB,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAazB,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEvD,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,QAAQ,GACR,WAAW,GACX,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,kBAAkB,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACxC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CAAC;CACtE;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,CAAC,EAAE,sBAAsB,EAAE,CAAC;CACtC;AAED,UAAU,2BAA2B;IACnC,mBAAmB,EAAE,OAAO,kCAAkC,CAAC;CAChE;AA+BD,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;AAClC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,GACjC,oBAAoB,CAAC;AAkCxB,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAqChC"}

package/dist/extractors/symbols-ts.js

@@ -184,10 +184,16 @@ function collectSourceSymbols(sourceFile) {
     for (const decl of sourceFile.getClasses()) {
         if (!decl.isExported())
             continue;
-        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "class", decl.getNameNode() ?? decl, decl, `${decl.getText()}\n${decl
+        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "class", decl.getNameNode() ?? decl, decl, decl
             .getJsDocs()
             .map((doc) => doc.getFullText())
-            .join("\n")}`));
+            .join("\n")));
+        for (const method of decl.getMethods()) {
+            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), method.getName()), "method", method.getNameNode() ?? method, method, `${method.getFullText()}\n${method
+                .getJsDocs()
+                .map((doc) => doc.getFullText())
+                .join("\n")}`));
+        }
     }
     for (const decl of sourceFile.getInterfaces()) {
         if (!decl.isExported())
@@ -226,6 +232,9 @@ function toSourceSymbolAnalysis(sourceFile, name, kind, startNode, endNode, dire
         directiveText,
     };
 }
+function formatMethodSymbolName(className, methodName) {
+    return className ? `${className}.${methodName}` : methodName;
+}
 function chooseScriptKind(filePath) {
     const lower = filePath.toLowerCase();
     if (lower.endsWith(".tsx"))
@@ -252,6 +261,22 @@ function inferModuleTitle(filePath) {
     return basename.length > 0 ? basename : path.basename(filePath);
 }
 function findNamedDeclaration(sourceFile, title) {
+    const qualifiedMethod = parseQualifiedMethodTitle(title);
+    if (qualifiedMethod) {
+        for (const cls of sourceFile.getClasses()) {
+            if (cls.getName() !== qualifiedMethod.className)
+                continue;
+            for (const method of cls.getMethods()) {
+                if (method.getName() !== qualifiedMethod.methodName)
+                    continue;
+                const nameNode = method.getNameNode();
+                if (!nameNode)
+                    continue;
+                return { node: method, getNameNode: () => nameNode };
+            }
+        }
+        return null;
+    }
     const candidates = [];
     for (const decl of sourceFile.getFunctions()) {
         if (!decl.isExported())
@@ -357,3 +382,12 @@ function findNamedDeclaration(sourceFile, title) {
     candidates.sort((a, b) => a.getNameNode().getStart() - b.getNameNode().getStart());
     return candidates[0] ?? null;
 }
+function parseQualifiedMethodTitle(title) {
+    const separatorIndex = title.lastIndexOf(".");
+    if (separatorIndex <= 0 || separatorIndex === title.length - 1)
+        return null;
+    return {
+        className: title.slice(0, separatorIndex),
+        methodName: title.slice(separatorIndex + 1),
+    };
+}

package/dist/prolog.d.ts

@@ -16,6 +16,7 @@ export declare class PrologProcess {
     private errorBuffer;
     private cache;
     private interactiveQueryTail;
+    private terminationPromise;
     private useOneShotMode;
     private attachedKbPath;
     private onProcessExit;
@@ -30,6 +31,8 @@ export declare class PrologProcess {
     private queryOneShot;
     private execOneShot;
     private normalizeGoal;
+    private clearQueryBuffers;
+    private isProcessUsable;
     private extractBindings;
     private translateError;
     isRunning(): boolean;

package/dist/prolog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AA4BA,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,cAAc,CACyC;IAC/D,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;gBAEtC,OAAO,GAAE,aAAkB;IAKjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAsCd,YAAY;IA0CpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAoK1D,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAsGnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,cAAc;IA+BtB,SAAS,IAAI,OAAO;IAIpB,MAAM,IAAI,MAAM;IAIV,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAyBjC"}
+{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AA4BA,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,cAAc,CACyC;IAC/D,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;gBAEtC,OAAO,GAAE,aAAkB;IAKjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAuCd,YAAY;IA0CpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAmK1D,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAsGnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,cAAc;IA+BtB,SAAS,IAAI,OAAO;IAMpB,MAAM,IAAI,MAAM;IAIV,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAwCjC"}

package/dist/prolog.js

@@ -67,6 +67,7 @@ export class PrologProcess {
     errorBuffer = "";
     cache = new Map();
     interactiveQueryTail = Promise.resolve();
+    terminationPromise = null;
     useOneShotMode = typeof globalThis.Bun !== "undefined";
     attachedKbPath = null;
     onProcessExit = null;
@@ -84,6 +85,7 @@ export class PrologProcess {
             `use_module('${kbPath}'), use_module(library(semweb/rdf_db)), set_prolog_flag(answer_write_options, [max_depth(0), quoted(true)])`,
             "--quiet",
         ]);
+        this.clearQueryBuffers();
         if (!this.process.stdout || !this.process.stderr || !this.process.stdin) {
             throw new Error("Failed to spawn Prolog process");
         }
@@ -155,12 +157,11 @@ export class PrologProcess {
             const batchGoal = `(${goal.map((item) => this.normalizeGoal(item)).join(", ")})`;
             return this.query(batchGoal);
         }
-        if (!this.process || !this.process.stdin) {
+        if (!this.isProcessUsable()) {
             throw new Error("Prolog process not started");
         }
         const runInteractiveQuery = async () => {
-            this.outputBuffer = "";
-            this.errorBuffer = "";
+            this.clearQueryBuffers();
             const debug = isPrologDebugEnabled();
             const normalizedGoal = this.normalizeGoal(goal);
             const wrappedGoal = /^once\s*\(/.test(normalizedGoal)
@@ -258,7 +259,7 @@ export class PrologProcess {
         });
         await previousQuery;
         try {
-            if (!this.process || !this.process.stdin) {
+            if (!this.isProcessUsable()) {
                 throw new Error("Prolog process not started");
             }
             return await runInteractiveQuery();
@@ -410,6 +411,16 @@ export class PrologProcess {
     normalizeGoal(goal) {
         return goal.trim().replace(/\.+\s*$/, "");
     }
+    clearQueryBuffers() {
+        this.outputBuffer = "";
+        this.errorBuffer = "";
+    }
+    // implements REQ-009
+    isProcessUsable() {
+        return Boolean(this.process?.stdin &&
+            !this.process?.killed &&
+            this.process?.exitCode === null);
+    }
     extractBindings(output) {
         const bindings = {};
         const lines = output.split("\n");
@@ -447,30 +458,44 @@ export class PrologProcess {
         return simpleError || "Unknown error";
     }
     isRunning() {
-        return this.process !== null && !this.process.killed;
+        return Boolean(this.process && !this.process.killed && this.process?.exitCode === null);
     }
     getPid() {
         return this.process?.pid || 0;
     }
     async terminate() {
+        if (this.terminationPromise) {
+            await this.terminationPromise;
+            return;
+        }
         if (this.onProcessExit) {
             process.off("exit", this.onProcessExit);
             this.onProcessExit = null;
         }
-        if (this.process) {
-            this.process.stdin?.end();
-            this.process.kill("SIGTERM");
-            await new Promise((resolve) => {
-                const timeout = setTimeout(() => {
-                    this.process?.kill("SIGKILL");
-                    resolve(undefined);
-                }, 1000);
-                this.process?.on("exit", () => {
-                    clearTimeout(timeout);
-                    resolve(undefined);
+        const current = this.process;
+        this.process = null;
+        this.clearQueryBuffers();
+        if (current) {
+            this.terminationPromise = (async () => {
+                current.stdin?.end();
+                current.kill("SIGTERM");
+                await new Promise((resolve) => {
+                    const timeout = setTimeout(() => {
+                        current.kill("SIGKILL");
+                        resolve(undefined);
+                    }, 1000);
+                    current.on("exit", () => {
+                        clearTimeout(timeout);
+                        resolve(undefined);
+                    });
                 });
-            });
-            this.process = null;
+            })();
+            try {
+                await this.terminationPromise;
+            }
+            finally {
+                this.terminationPromise = null;
+            }
         }
     }
 }

package/dist/public/skills/kibi-usage/SKILL.md

@@ -24,6 +24,10 @@ Consult this skill before any Kibi knowledge base operation, on first interactio
 
 Interact with the knowledge base exclusively through MCP tools. Do not read or edit files inside `.kb/` directly. Do not run any `kibi` CLI commands from the agent session. The MCP surface is the only sanctioned interface for agents.
 
+### Tool Name Prefixes
+
+Kibi's canonical MCP names are `kb_search`, `kb_query`, `kb_upsert`, `kb_check`, and related `kb_*` tools. Some hosts add a server prefix when exposing tools to agents. In OpenCode, use the visible `kibi_kb_search`, `kibi_kb_query`, `kibi_kb_upsert`, and `kibi_kb_check` names when exact tool identifiers are required; they map to the same canonical MCP names.
+
 ## Discovery-First Workflow
 
 Always discover before you mutate. Start with `kb_search` for exploratory discovery across metadata and markdown body text. Split broad queries into 1-3 focused probes. Review top hits for relevance before concluding the KB lacks knowledge.

package/dist/traceability/symbol-extract.d.ts

@@ -6,7 +6,7 @@ type TraceabilityRelationship = {
 export interface ExtractedSymbol {
     id: string;
     name: string;
-    kind: "function" | "class" | "interface" | "type" | "variable" | "enum" | "unknown";
+    kind: "function" | "class" | "method" | "interface" | "type" | "variable" | "enum" | "unknown";
     location: {
         file: string;
         startLine: number;

package/dist/traceability/symbol-extract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,KAAK,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAU7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EACA,UAAU,GACV,OAAO,GACP,WAAW,GACX,MAAM,GACN,UAAU,GACV,MAAM,GACN,SAAS,CAAC;IACd,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAE9D,wBAAgB,+BAA+B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG5E;AAkOD,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CA+MnB"}
+{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,KAAK,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAU7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EACA,UAAU,GACV,OAAO,GACP,QAAQ,GACR,WAAW,GACX,MAAM,GACN,UAAU,GACV,MAAM,GACN,SAAS,CAAC;IACd,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAE9D,wBAAgB,+BAA+B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG5E;AAkOD,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CAyOnB"}

package/dist/traceability/symbol-extract.js

@@ -229,15 +229,30 @@ stagedFile, manifestLookup) {
             const start = cls.getNameNode()?.getStart() ?? cls.getStart();
             const end = cls.getEnd();
             const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(`${cls.getText()}\n${cls
-                .getJsDocs()
-                .map((d) => d.getFullText())
-                .join("\n")}`);
+            const reqLinks = parseReqDirectives(getJsDocText(cls.getJsDocs()));
             results.push(buildSymbolResult(stagedFile, name, "class", span, reqLinks, manifestLookup));
         }
         catch {
             void stagedFile.path;
         }
+        for (const method of typeof cls.getMethods === "function"
+            ? cls.getMethods()
+            : []) {
+            try {
+                const name = formatMethodSymbolName(cls.getName(), method.getName());
+                const start = method.getNameNode()?.getStart() ?? method.getStart();
+                const end = method.getEnd();
+                const span = getSpan(start, end);
+                const reqLinks = parseReqDirectives(`${method.getFullText()}\n${method
+                    .getJsDocs()
+                    .map((d) => d.getFullText())
+                    .join("\n")}`);
+                results.push(buildSymbolResult(stagedFile, name, "method", span, reqLinks, manifestLookup));
+            }
+            catch {
+                void stagedFile.path;
+            }
+        }
     }
     // Enums
     for (const en of sf.getEnums()) {
@@ -255,7 +270,9 @@ stagedFile, manifestLookup) {
             void stagedFile.path;
         }
     }
-    for (const iface of typeof sf.getInterfaces === "function" ? sf.getInterfaces() : []) {
+    for (const iface of typeof sf.getInterfaces === "function"
+        ? sf.getInterfaces()
+        : []) {
         if (!iface.isExported())
             continue;
         try {
@@ -270,7 +287,9 @@ stagedFile, manifestLookup) {
             void stagedFile.path;
         }
     }
-    for (const alias of typeof sf.getTypeAliases === "function" ? sf.getTypeAliases() : []) {
+    for (const alias of typeof sf.getTypeAliases === "function"
+        ? sf.getTypeAliases()
+        : []) {
         if (!alias.isExported())
             continue;
         try {
@@ -311,6 +330,12 @@ stagedFile, manifestLookup) {
     }
     return results;
 }
+function formatMethodSymbolName(className, methodName) {
+    return className ? `${className}.${methodName}` : methodName;
+}
+function getJsDocText(jsDocs) {
+    return jsDocs.map((d) => d.getFullText()).join("\n");
+}
 function intersectingHunks(startLine, endLine, hunks) {
     const out = [];
     for (const h of hunks) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.12.1",
+  "version": "0.12.4",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -11,13 +11,7 @@
   "bin": {
     "kibi": "bin/kibi"
   },
-  "files": [
-    "dist",
-    "bin",
-    "schema",
-    "src/schemas",
-    "src/public"
-  ],
+  "files": ["dist", "bin", "schema", "src/schemas", "src/public"],
   "scripts": {
     "build": "tsc -p tsconfig.json && mkdir -p dist/public/skills && cp -r src/public/skills/. dist/public/skills/",
     "prepack": "npm run build"

package/src/public/skills/kibi-usage/SKILL.md

@@ -24,6 +24,10 @@ Consult this skill before any Kibi knowledge base operation, on first interactio
 
 Interact with the knowledge base exclusively through MCP tools. Do not read or edit files inside `.kb/` directly. Do not run any `kibi` CLI commands from the agent session. The MCP surface is the only sanctioned interface for agents.
 
+### Tool Name Prefixes
+
+Kibi's canonical MCP names are `kb_search`, `kb_query`, `kb_upsert`, `kb_check`, and related `kb_*` tools. Some hosts add a server prefix when exposing tools to agents. In OpenCode, use the visible `kibi_kb_search`, `kibi_kb_query`, `kibi_kb_upsert`, and `kibi_kb_check` names when exact tool identifiers are required; they map to the same canonical MCP names.
+
 ## Discovery-First Workflow
 
 Always discover before you mutate. Start with `kb_search` for exploratory discovery across metadata and markdown body text. Split broad queries into 1-3 focused probes. Review top hits for relevance before concluding the KB lacks knowledge.