kibi-cli 2.0.0 → 2.2.0

package/dist/plugins/source-analysis-service.d.ts

@@ -0,0 +1,44 @@
+import { type PluginProviderStamp, type SourceAnalysisResult, type SymbolExtractorV1 } from "kibi-plugin-sdk";
+import type { CapabilityModeResolution, CapabilityRegistry } from "./registry.js";
+export type HostSourceAnalysisShadowComparison = Readonly<{
+    pluginId: string;
+    stamp: PluginProviderStamp;
+    symbolCount: number;
+    language: string;
+    ok: boolean;
+    error?: string;
+}>;
+export type HostSourceAnalysisResult = SourceAnalysisResult & Readonly<{
+    providerId: string | null;
+    stamp: PluginProviderStamp | null;
+    fallbackUsed: boolean;
+    diagnostics: readonly string[];
+    /** Shadow extractor comparisons; never affect canonical symbols. */
+    shadowComparisons: readonly HostSourceAnalysisShadowComparison[];
+}>;
+export type SourceAnalysisServiceOptions = Readonly<{
+    registry: CapabilityRegistry;
+    /** Injectable resolution for tests. */
+    resolveExtractors?: () => Promise<CapabilityModeResolution<SymbolExtractorV1>>;
+}>;
+export declare function createConservativeFallbackAnalysis(filePath: string, fallbackReason: string): HostSourceAnalysisResult;
+/**
+ * Host-validated symbol analysis over registry providers with conservative
+ * text fallback. Mode semantics:
+ * - replace: first choice for claimed files; builtin fallback on failure
+ * - augment: builtin first for supported files; additional extractors for
+ *   unsupported files in activation order
+ * - shadow: always run when configured/applicable; never canonical
+ */
+export declare class SourceAnalysisService {
+    private readonly registry;
+    private readonly resolveExtractors;
+    constructor(options: SourceAnalysisServiceOptions);
+    analyzeText(filePath: string, content: string): Promise<HostSourceAnalysisResult>;
+}
+/**
+ * Analyze using a pre-resolved extractor mode set (useful for tests).
+ */
+export declare function analyzeWithResolution(resolution: CapabilityModeResolution<SymbolExtractorV1>, filePath: string, content: string): Promise<HostSourceAnalysisResult>;
+export declare function createSourceAnalysisService(options: SourceAnalysisServiceOptions): SourceAnalysisService;
+//# sourceMappingURL=source-analysis-service.d.ts.map

package/dist/plugins/source-analysis-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-analysis-service.d.ts","sourceRoot":"","sources":["../../src/plugins/source-analysis-service.ts"],"names":[],"mappings":"AAmBA,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EAGvB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EACV,wBAAwB,EACxB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AA4BvB,MAAM,MAAM,kCAAkC,GAAG,QAAQ,CAAC;IACxD,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,mBAAmB,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,oBAAoB,GACzD,QAAQ,CAAC;IACP,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAClC,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,oEAAoE;IACpE,iBAAiB,EAAE,SAAS,kCAAkC,EAAE,CAAC;CAClE,CAAC,CAAC;AAGL,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,uCAAuC;IACvC,iBAAiB,CAAC,EAAE,MAAM,OAAO,CAC/B,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C,CAAC;CACH,CAAC,CAAC;AAgBH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,GACrB,wBAAwB,CAkB1B;AAuBD;;;;;;;GAOG;AAEH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAC9C,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAEhC;gBAEU,OAAO,EAAE,4BAA4B;IAO3C,WAAW,CACf,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,wBAAwB,CAAC;CAiIrC;AAED;;GAEG;AAEH,wBAAsB,qBAAqB,CACzC,UAAU,EAAE,wBAAwB,CAAC,iBAAiB,CAAC,EACvD,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,wBAAwB,CAAC,CAQnC;AAGD,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,4BAA4B,GACpC,qBAAqB,CAEvB"}

package/dist/plugins/source-analysis-service.js

@@ -0,0 +1,232 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+*/
+import * as path from "node:path";
+import { toSourceAnalysisProvider, validateSourceAnalysisResultForPath, } from "kibi-plugin-sdk";
+const SOURCE_LANGUAGE_EXTENSIONS = {
+    ".c": "c",
+    ".cc": "cpp",
+    ".cjs": "javascript",
+    ".cpp": "cpp",
+    ".cs": "csharp",
+    ".cts": "typescript",
+    ".go": "go",
+    ".h": "c",
+    ".hpp": "cpp",
+    ".java": "java",
+    ".js": "javascript",
+    ".jsx": "javascript",
+    ".kt": "kotlin",
+    ".mjs": "javascript",
+    ".mts": "typescript",
+    ".php": "php",
+    ".py": "python",
+    ".rb": "ruby",
+    ".rs": "rust",
+    ".swift": "swift",
+    ".ts": "typescript",
+    ".tsx": "typescript",
+};
+function detectSourceLanguage(filePath) {
+    return (SOURCE_LANGUAGE_EXTENSIONS[path.extname(filePath).toLowerCase()] ??
+        "unknown");
+}
+function inferModuleTitle(filePath) {
+    const extension = path.extname(filePath);
+    const basename = path.basename(filePath, extension);
+    return basename.length > 0 ? basename : path.basename(filePath);
+}
+// implements REQ-capability-plugin-activation-disclosure-v1
+export function createConservativeFallbackAnalysis(filePath, fallbackReason) {
+    const language = detectSourceLanguage(filePath);
+    return {
+        sourceFile: filePath,
+        language,
+        providerId: null,
+        stamp: null,
+        fallbackUsed: true,
+        diagnostics: [`conservative fallback: ${fallbackReason}`],
+        shadowComparisons: [],
+        module: {
+            title: inferModuleTitle(filePath),
+            language,
+            analysisMode: "fallback",
+            fallbackReason,
+        },
+        symbols: [],
+    };
+}
+function dedupeSymbols(symbols) {
+    const seen = new Set();
+    const output = [];
+    for (const symbol of symbols) {
+        const key = [
+            symbol.name,
+            symbol.kind,
+            symbol.startLine,
+            symbol.startColumn,
+            symbol.endLine,
+            symbol.endColumn,
+        ].join("\0");
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        output.push(symbol);
+    }
+    return output;
+}
+/**
+ * Host-validated symbol analysis over registry providers with conservative
+ * text fallback. Mode semantics:
+ * - replace: first choice for claimed files; builtin fallback on failure
+ * - augment: builtin first for supported files; additional extractors for
+ *   unsupported files in activation order
+ * - shadow: always run when configured/applicable; never canonical
+ */
+// implements REQ-capability-plugin-activation-disclosure-v1
+export class SourceAnalysisService {
+    registry;
+    resolveExtractors;
+    constructor(options) {
+        this.registry = options.registry;
+        this.resolveExtractors =
+            options.resolveExtractors ??
+                (() => this.registry.resolveSymbolExtractors());
+    }
+    async analyzeText(filePath, content) {
+        const resolution = await this.resolveExtractors();
+        const diagnostics = [];
+        const tryAnalyze = (extractor, stamp) => {
+            const provider = toSourceAnalysisProvider(extractor);
+            if (!provider.supportsFile(filePath))
+                return null;
+            try {
+                const raw = provider.analyzeText(filePath, content);
+                const validated = validateSourceAnalysisResultForPath(raw, filePath);
+                return {
+                    ...validated,
+                    symbols: dedupeSymbols(validated.symbols),
+                    providerId: extractor.id,
+                    stamp,
+                    fallbackUsed: false,
+                    diagnostics,
+                    shadowComparisons: [],
+                };
+            }
+            catch (error) {
+                const message = error instanceof Error ? error.message : String(error);
+                diagnostics.push(`extractor '${extractor.id}' failed: ${message}`);
+                return null;
+            }
+        };
+        const runShadow = (canonical) => {
+            if (resolution.shadow.length === 0) {
+                return { ...canonical, diagnostics: [...diagnostics] };
+            }
+            const shadowComparisons = [];
+            for (const entry of resolution.shadow) {
+                const provider = toSourceAnalysisProvider(entry.capability);
+                if (!provider.supportsFile(filePath))
+                    continue;
+                try {
+                    const validated = validateSourceAnalysisResultForPath(provider.analyzeText(filePath, content), filePath);
+                    shadowComparisons.push({
+                        pluginId: entry.pluginId,
+                        stamp: entry.stamp,
+                        symbolCount: validated.symbols.length,
+                        language: validated.language,
+                        ok: true,
+                    });
+                    diagnostics.push(`shadow extractor '${entry.pluginId}' produced ${validated.symbols.length} non-canonical symbol(s)`);
+                }
+                catch (error) {
+                    const message = error instanceof Error ? error.message : String(error);
+                    shadowComparisons.push({
+                        pluginId: entry.pluginId,
+                        stamp: entry.stamp,
+                        symbolCount: 0,
+                        language: detectSourceLanguage(filePath),
+                        ok: false,
+                        error: message,
+                    });
+                    diagnostics.push(`shadow extractor '${entry.pluginId}' failed: ${message}`);
+                }
+            }
+            return {
+                ...canonical,
+                diagnostics: [...diagnostics],
+                shadowComparisons,
+            };
+        };
+        let canonical = null;
+        if (resolution.replace) {
+            const replaced = tryAnalyze(resolution.replace.capability, resolution.replace.stamp);
+            if (replaced) {
+                canonical = replaced;
+            }
+            else {
+                diagnostics.push(`replace extractor '${resolution.replace.pluginId}' did not claim or failed; trying builtin`);
+                const builtin = tryAnalyze(resolution.builtin.capability, {
+                    ...resolution.builtin.stamp,
+                    fallbackUsed: true,
+                });
+                if (builtin) {
+                    canonical = { ...builtin, fallbackUsed: true };
+                }
+                else {
+                    canonical = createConservativeFallbackAnalysis(filePath, "provider_error");
+                }
+            }
+        }
+        else {
+            const builtin = tryAnalyze(resolution.builtin.capability, resolution.builtin.stamp);
+            if (builtin) {
+                canonical = builtin;
+            }
+            else {
+                for (const entry of resolution.augment) {
+                    const analyzed = tryAnalyze(entry.capability, entry.stamp);
+                    if (analyzed) {
+                        canonical = analyzed;
+                        break;
+                    }
+                }
+                if (!canonical) {
+                    canonical = createConservativeFallbackAnalysis(filePath, diagnostics.length > 0 ? "provider_error" : "unsupported_language");
+                }
+            }
+        }
+        return runShadow(canonical);
+    }
+}
+/**
+ * Analyze using a pre-resolved extractor mode set (useful for tests).
+ */
+// implements REQ-capability-plugin-activation-disclosure-v1
+export async function analyzeWithResolution(resolution, filePath, content) {
+    const service = new SourceAnalysisService({
+        registry: {
+            resolveSymbolExtractors: async () => resolution,
+        },
+        resolveExtractors: async () => resolution,
+    });
+    return service.analyzeText(filePath, content);
+}
+// implements REQ-capability-plugin-activation-disclosure-v1
+export function createSourceAnalysisService(options) {
+    return new SourceAnalysisService(options);
+}

package/dist/prolog/codec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAYhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAIlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAU5D;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAO9B;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EACvC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EAClC,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG,IAAI,CAEV;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACtC,QAAQ,EAAE,MAAM,GACf,OAAO,CAoCT;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBzB;AAED,wBAAgB,sBAAsB,CAEpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqB3E;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoD3E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA6D5D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAG7E;AAuFD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAYD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUvD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAenD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAmBlE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAoBzE;AAyCD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6DjE"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAYhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAIlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAU5D;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAO9B;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EACvC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EAClC,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG,IAAI,CAEV;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACtC,QAAQ,EAAE,MAAM,GACf,OAAO,CAoCT;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBzB;AAED,wBAAgB,sBAAsB,CAEpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqB3E;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAsD3E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA6D5D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAG7E;AAuFD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAYD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUvD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAenD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAmBlE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAoBzE;AAyCD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6DjE"}

package/dist/prolog/codec.js

@@ -191,6 +191,8 @@ export function parsePropertyList(propsStr) {
         }
         let parsed = parsePrologValue(value);
         if ((key === "rule_ir" ||
+            key === "argument_constants" ||
+            key === "argument_aliases" ||
             key === "semantic_inventory" ||
             key === "proof_receipts" ||
             key === "proof_contract" ||

package/dist/prolog/janitor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"janitor.d.ts","sourceRoot":"","sources":["../../src/prolog/janitor.ts"],"names":[],"mappings":"AAoBA,OAAO,EAKL,KAAK,oBAAoB,EAC1B,MAAM,iBAAiB,CAAC;AAEzB;;;;;;;;GAQG;AAGH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,gBAAgB,GAAG,MAAM,CAAC;CACtD;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC;CACnC;AAED,MAAM,MAAM,cAAc,GAAG,gBAAgB,GAAG,aAAa,CAAC;AAE9D,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,8DAA8D;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,kEAAkE;IAClE,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,2EAA2E;AAE3E,wBAAgB,cAAc,CAC5B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,OAAO,GACb,gBAAgB,GAAG,IAAI,CA+CzB;AAED,iEAAiE;AAEjE,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,cAAc,GACtB,gBAAgB,EAAE,CAepB;AAED;;;GAGG;AAEH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,cAAc,GACtB,aAAa,EAAE,CA8CjB;AAED,gFAAgF;AAEhF,wBAAgB,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,cAAc,EAAE,CAKpE"}
+{"version":3,"file":"janitor.d.ts","sourceRoot":"","sources":["../../src/prolog/janitor.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,oBAAoB,EAK1B,MAAM,iBAAiB,CAAC;AAEzB;;;;;;;;GAQG;AAGH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,gBAAgB,GAAG,MAAM,CAAC;CACtD;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC;CACnC;AAED,MAAM,MAAM,cAAc,GAAG,gBAAgB,GAAG,aAAa,CAAC;AAE9D,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,8DAA8D;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,kEAAkE;IAClE,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,2EAA2E;AAE3E,wBAAgB,cAAc,CAC5B,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,OAAO,GACb,gBAAgB,GAAG,IAAI,CA+CzB;AAED,iEAAiE;AAEjE,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,cAAc,GACtB,gBAAgB,EAAE,CAepB;AAED;;;GAGG;AAEH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,cAAc,GAAG,aAAa,EAAE,CA8C5E;AAED,gFAAgF;AAEhF,wBAAgB,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,cAAc,EAAE,CAKpE"}

package/dist/prolog/janitor.js

@@ -15,7 +15,7 @@
  You should have received a copy of the GNU Affero General Public License
  along with this program.  If not, see <https://www.gnu.org/licenses/>.
  */
-import { existsSync, readdirSync, readFileSync, rmSync } from "node:fs";
+import { existsSync, readFileSync, readdirSync, rmSync } from "node:fs";
 import { join } from "node:path";
 import { breakStoreLock, classifyStoreLockHolder, isProcessAlive, readStoreLockOwner, } from "./store-lock.js";
 /** Scan one branch store's ownership journal and clean stale artifacts. */

package/dist/prolog/store-lock.d.ts

@@ -1,5 +1,5 @@
-import type { PrologStoreLockOwner } from "./error-terms.js";
 import type { QueryResult } from "../prolog.js";
+import type { PrologStoreLockOwner } from "./error-terms.js";
 /** Linux boot id; guards against PID reuse across reboots. Null elsewhere. */
 export declare function currentBootId(): string | null;
 export declare function isProcessAlive(pid: number): boolean;

package/dist/prolog/store-lock.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"store-lock.d.ts","sourceRoot":"","sources":["../../src/prolog/store-lock.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAEV,oBAAoB,EACrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAgBhD,8EAA8E;AAC9E,wBAAgB,aAAa,IAAI,MAAM,GAAG,IAAI,CAa7C;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAUnD;AAED,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,SAAS,CAAC;AAEzE,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,oBAAoB,GAAG,IAAI,GACjC,oBAAoB,CAYtB;AAED;;;;;GAKG;AAEH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,GAChB;IAAE,KAAK,EAAE,oBAAoB,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CA4B7D;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAWzD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,oBAAoB,GAAG,IAAI,GACjC,yBAAyB,CAoB3B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;CACxD;AAED;;;;;;GAMG;AAEH,wBAAsB,iCAAiC,CACrD,MAAM,EAAE,qBAAqB,EAC7B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,WAAW,GAClB,OAAO,CAAC,WAAW,CAAC,CA4BtB"}
+{"version":3,"file":"store-lock.d.ts","sourceRoot":"","sources":["../../src/prolog/store-lock.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,KAAK,EAAqB,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAgBhF,8EAA8E;AAC9E,wBAAgB,aAAa,IAAI,MAAM,GAAG,IAAI,CAa7C;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAUnD;AAED,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,SAAS,CAAC;AAEzE,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,oBAAoB,GAAG,IAAI,GACjC,oBAAoB,CAYtB;AAED;;;;;GAKG;AAEH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,GAChB;IAAE,KAAK,EAAE,oBAAoB,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CA4B7D;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAWzD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,oBAAoB,GAAG,IAAI,GACjC,yBAAyB,CAoB3B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;CACxD;AAED;;;;;;GAMG;AAEH,wBAAsB,iCAAiC,CACrD,MAAM,EAAE,qBAAqB,EAC7B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,WAAW,GAClB,OAAO,CAAC,WAAW,CAAC,CA4BtB"}

package/dist/prolog.d.ts

@@ -9,6 +9,23 @@ export interface PrologOptions {
      * repository tests that still run under Bun.
      */
     oneShot?: boolean;
+    /**
+     * Bounded stdout/stderr capacity per query. Defaults to 8 MiB; tests inject
+     * a small cap to exercise the overflow path deterministically.
+     */
+    maxOutputBytes?: number;
+}
+/**
+ * Raised when a query reaches an interactive process that was started and
+ * later terminated (output overflow, timeout, crash, or explicit terminate).
+ * Such a port must be restarted by its owner (the engine daemon recycles it);
+ * it never degrades into isolated one-shot SWI processes, which would lose
+ * the attached KB and every module loaded into the interactive session.
+ */
+export declare class PrologProcessTerminatedError extends Error {
+    readonly code = "prolog_process_terminated";
+    readonly reason: string;
+    constructor(reason: string);
 }
 export interface QueryResult {
     success: boolean;
@@ -34,8 +51,26 @@ export declare class PrologProcess {
     private useOneShotMode;
     private attachedKbPath;
     private onProcessExit;
+    private readonly maxOutputBytes;
+    /**
+     * Set once start() spawned an interactive process. From then on the
+     * isolated one-shot fallback is unreachable: a lost interactive process
+     * must fail loudly instead of silently changing execution semantics.
+     */
+    private interactiveStarted;
+    private terminationReason;
     constructor(options?: PrologOptions);
     attachProcessExitHandler(on?: (event: "exit", listener: () => void) => void): void;
+    /**
+     * True when every query runs in its own isolated SWI process, so callers
+     * must not rely on state (loaded modules) carried between queries.
+     */
+    get oneShotMode(): boolean;
+    /**
+     * True once a started interactive process has been lost. The owner must
+     * restart it (and re-establish its session state) before querying again.
+     */
+    needsRestart(): boolean;
     start(): Promise<void>;
     private waitForReady;
     query(goal: string | string[]): Promise<QueryResult>;
@@ -63,6 +98,7 @@ export declare class PrologProcess {
     private translateError;
     isRunning(): boolean;
     getPid(): number;
+    private lostProcessError;
     terminate(): Promise<void>;
 }
 //# sourceMappingURL=prolog.d.ts.map

package/dist/prolog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AAwBA,OAAO,EACL,KAAK,iBAAiB,EAEvB,MAAM,yBAAyB,CAAC;AA2BjC,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;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;IACf,WAAW,CAAC,EAAE,iBAAiB,CAAC;CACjC;AAGD,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,EAC5B,OAAO,EAAE,MAAM,IAAI,EACnB,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,MAAM,IAAI,CAIZ;AAGD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,EAC5B,SAAS,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EACrC,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,MAAM,IAAI,CAQZ;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,iBAAiB,CAAK;IAC9B,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,gBAAgB,CAA2B;IACnD,OAAO,CAAC,cAAc,CAAU;IAChC,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;gBAEtC,OAAO,GAAE,aAAkB;IAUvC,wBAAwB,CACtB,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,IAAI;IAQD,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAiDd,YAAY;IAgDpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAsN1D,wEAAwE;IAClE,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAIhE,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAwBvB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAgOnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAQzB,OAAO,CAAC,iBAAiB;IAazB,OAAO,CAAC,gBAAgB;IAaxB,OAAO,CAAC,SAAS;IAOjB,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,iBAAiB;YAkBX,oBAAoB;IAyBlC,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,eAAe;IAmCvB,sEAAsE;IACtE,OAAO,CAAC,mBAAmB;IAY3B,OAAO,CAAC,cAAc;IA+EtB,SAAS,IAAI,OAAO;IASpB,MAAM,IAAI,MAAM;IAIV,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAkCjC"}
+{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AAwBA,OAAO,EACL,KAAK,iBAAiB,EAEvB,MAAM,yBAAyB,CAAC;AA2BjC,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;GAMG;AACH,qBAAa,4BAA6B,SAAQ,KAAK;IACrD,QAAQ,CAAC,IAAI,+BAA+B;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,MAAM,EAAE,MAAM;CAO3B;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;IACf,WAAW,CAAC,EAAE,iBAAiB,CAAC;CACjC;AAGD,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,EAC5B,OAAO,EAAE,MAAM,IAAI,EACnB,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,MAAM,IAAI,CAIZ;AAGD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,EAC5B,SAAS,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EACrC,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,MAAM,IAAI,CAQZ;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,iBAAiB,CAAK;IAC9B,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,gBAAgB,CAA2B;IACnD,OAAO,CAAC,cAAc,CAAU;IAChC,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;IAClD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAS;IACxC;;;;OAIG;IACH,OAAO,CAAC,kBAAkB,CAAS;IACnC,OAAO,CAAC,iBAAiB,CAAuB;gBAEpC,OAAO,GAAE,aAAkB;IAgBvC,wBAAwB,CACtB,EAAE,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,KAAK,IAChB,GAC5B,IAAI;IAQP;;;OAGG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED;;;OAGG;IACH,YAAY,IAAI,OAAO;IAIjB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YA+Dd,YAAY;IAgDpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAyN1D,wEAAwE;IAClE,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAIhE,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAwBvB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAgOnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAQzB,OAAO,CAAC,iBAAiB;IAazB,OAAO,CAAC,gBAAgB;IAaxB,OAAO,CAAC,SAAS;IAOjB,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,mBAAmB;IAK3B,OAAO,CAAC,iBAAiB;YAkBX,oBAAoB;IAyBlC,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,eAAe;IAmCvB,sEAAsE;IACtE,OAAO,CAAC,mBAAmB;IAY3B,OAAO,CAAC,cAAc;IA+EtB,SAAS,IAAI,OAAO;IASpB,MAAM,IAAI,MAAM;IAIhB,OAAO,CAAC,gBAAgB;IASlB,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAqCjC"}

package/dist/prolog.js

@@ -23,7 +23,7 @@ import { fileURLToPath } from "node:url";
 import { getKbPlPathOverride, isPrologDebugEnabled } from "./env.js";
 import { extractPrologErrorRecord, } from "./prolog/error-terms.js";
 const importMetaDir = path.dirname(fileURLToPath(import.meta.url));
-const PROLOG_OUTPUT_MAX_BUFFER_BYTES = 8 * 1024 * 1024;
+const DEFAULT_PROLOG_OUTPUT_MAX_BUFFER_BYTES = 8 * 1024 * 1024;
 const PROLOG_OUTPUT_OVERFLOW_ERROR = "Query exceeded bounded Prolog output capacity (ENOBUFS); narrow the operation or reduce stored entity size";
 const INTERACTIVE_QUERY_FRAME_END = "__KIBI_QUERY_FRAME_END__";
 const require = createRequire(import.meta.url);
@@ -79,6 +79,22 @@ export function resolveKbPlPath() {
     throw new Error("Unable to resolve kb.pl. Expected kibi-core to be installed (node_modules) " +
         "or to be running inside the monorepo checkout.");
 }
+/**
+ * Raised when a query reaches an interactive process that was started and
+ * later terminated (output overflow, timeout, crash, or explicit terminate).
+ * Such a port must be restarted by its owner (the engine daemon recycles it);
+ * it never degrades into isolated one-shot SWI processes, which would lose
+ * the attached KB and every module loaded into the interactive session.
+ */
+export class PrologProcessTerminatedError extends Error {
+    code = "prolog_process_terminated";
+    reason;
+    constructor(reason) {
+        super(`Kibi Prolog process is no longer running (${reason}); the interactive session and its attached KB were lost. The owning engine must restart it before serving more queries — run 'kibi engine stop' and retry if this persists.`);
+        this.name = "PrologProcessTerminatedError";
+        this.reason = reason;
+    }
+}
 // implements REQ-core-prolog-process-management
 export function registerProcessExitOnce(current, handler, on = (event, listener) => process.on(event, listener)) {
     if (current)
@@ -108,9 +124,23 @@ export class PrologProcess {
     useOneShotMode;
     attachedKbPath = null;
     onProcessExit = null;
+    maxOutputBytes;
+    /**
+     * Set once start() spawned an interactive process. From then on the
+     * isolated one-shot fallback is unreachable: a lost interactive process
+     * must fail loudly instead of silently changing execution semantics.
+     */
+    interactiveStarted = false;
+    terminationReason = null;
     constructor(options = {}) {
         this.swiplPath = options.swiplPath || "swipl";
         this.timeout = options.timeout || 30000;
+        this.maxOutputBytes =
+            options.maxOutputBytes !== undefined &&
+                Number.isInteger(options.maxOutputBytes) &&
+                options.maxOutputBytes > 0
+                ? options.maxOutputBytes
+                : DEFAULT_PROLOG_OUTPUT_MAX_BUFFER_BYTES;
         this.useOneShotMode =
             options.oneShot ??
                 (process.env.NODE_ENV === "test" &&
@@ -120,11 +150,28 @@ export class PrologProcess {
     attachProcessExitHandler(on = (event, listener) => process.on(event, listener)) {
         this.onProcessExit = bindProcessExitHandler(this.onProcessExit, () => this.terminate(), on);
     }
+    /**
+     * True when every query runs in its own isolated SWI process, so callers
+     * must not rely on state (loaded modules) carried between queries.
+     */
+    get oneShotMode() {
+        return this.useOneShotMode || !this.interactiveStarted;
+    }
+    /**
+     * True once a started interactive process has been lost. The owner must
+     * restart it (and re-establish its session state) before querying again.
+     */
+    needsRestart() {
+        return this.interactiveStarted && !this.isProcessUsable();
+    }
     async start() {
         if (!existsSync(this.swiplPath) && this.swiplPath !== "swipl") {
             throw new Error(`SWI-Prolog not found at ${this.swiplPath}. Please install SWI-Prolog or check your PATH.`);
         }
         const kbPath = resolveKbPlPath();
+        this.interactiveStarted = true;
+        this.terminationReason = null;
+        this.invalidateCache();
         this.process = spawn(this.swiplPath, [
             "-g",
             `use_module('${kbPath}'), use_module(library(semweb/rdf_db)), set_prolog_flag(answer_write_options, [max_depth(0), quoted(true)])`,
@@ -148,6 +195,16 @@ export class PrologProcess {
         this.process.stderr.on("data", (chunk) => {
             this.appendErrorChunk(chunk);
         });
+        // A write racing the child's death (native crash, external kill) fails
+        // asynchronously with EPIPE. Unhandled, that error event crashes the
+        // whole host (the engine daemon); record the loss instead so the owner
+        // sees needsRestart() and the in-flight query reports the termination.
+        const child = this.process;
+        child.stdin?.on("error", (error) => {
+            if (this.process === child) {
+                this.terminationReason ??= `stdin ${error.code ?? "error"}`;
+            }
+        });
         this.process.stdin.write("true.\n");
         this.attachProcessExitHandler();
         await this.waitForReady();
@@ -223,10 +280,10 @@ export class PrologProcess {
             // runtimes provide an EngineClient, while explicitly attached callers
             // call start() and stay interactive; this fallback never participates
             // in the engine-backed workflow.
-            if (this.process === null) {
+            if (this.process === null && !this.interactiveStarted) {
                 return this.execOneShot(goal, this.attachedKbPath);
             }
-            throw new Error("Prolog process not started");
+            throw this.lostProcessError();
         }
         const runInteractiveQuery = async () => {
             this.clearQueryBuffers();
@@ -264,6 +321,7 @@ export class PrologProcess {
                         console.error(`[prolog debug] runtime=${runtime ?? "unknown"} packages=${process.env.KIBI_PACKAGE_VERSIONS ?? KIBI_PACKAGE_VERSIONS}`);
                     }
                     settled = true;
+                    this.terminationReason = `query timeout: ${goalLabel}`;
                     void this.terminate().finally(() => {
                         reject(new Error(msg));
                     });
@@ -275,6 +333,7 @@ export class PrologProcess {
                     if (this.outputOverflowed) {
                         clearTimeout(timeoutId);
                         settled = true;
+                        this.terminationReason = `output overflow (ENOBUFS): ${goalLabel}`;
                         void this.terminate().finally(() => {
                             resolve({
                                 success: false,
@@ -287,6 +346,7 @@ export class PrologProcess {
                     if (!this.isProcessUsable()) {
                         clearTimeout(timeoutId);
                         settled = true;
+                        this.terminationReason ??= `process exited during query: ${goalLabel}`;
                         resolve({
                             success: false,
                             bindings: {},
@@ -358,7 +418,7 @@ export class PrologProcess {
         await previousQuery;
         try {
             if (!this.isProcessUsable()) {
-                throw new Error("Prolog process not started");
+                throw this.lostProcessError();
             }
             return await runInteractiveQuery();
         }
@@ -508,7 +568,7 @@ export class PrologProcess {
             if (outputOverflowed)
                 return;
             const bytes = target === "stdout" ? outputBytes : errorBytes;
-            const remaining = PROLOG_OUTPUT_MAX_BUFFER_BYTES - bytes;
+            const remaining = this.maxOutputBytes - bytes;
             if (chunk.byteLength > remaining) {
                 const clipped = chunk.subarray(0, Math.max(0, remaining)).toString();
                 if (target === "stdout")
@@ -624,10 +684,10 @@ export class PrologProcess {
     appendOutputChunk(chunk) {
         if (this.outputOverflowed)
             return;
-        const remaining = PROLOG_OUTPUT_MAX_BUFFER_BYTES - this.outputBufferBytes;
+        const remaining = this.maxOutputBytes - this.outputBufferBytes;
         if (chunk.byteLength > remaining) {
             this.outputBuffer += chunk.subarray(0, remaining).toString();
-            this.outputBufferBytes = PROLOG_OUTPUT_MAX_BUFFER_BYTES;
+            this.outputBufferBytes = this.maxOutputBytes;
             this.outputOverflowed = true;
             return;
         }
@@ -637,10 +697,10 @@ export class PrologProcess {
     appendErrorChunk(chunk) {
         if (this.outputOverflowed)
             return;
-        const remaining = PROLOG_OUTPUT_MAX_BUFFER_BYTES - this.errorBufferBytes;
+        const remaining = this.maxOutputBytes - this.errorBufferBytes;
         if (chunk.byteLength > remaining) {
             this.errorBuffer += chunk.subarray(0, remaining).toString();
-            this.errorBufferBytes = PROLOG_OUTPUT_MAX_BUFFER_BYTES;
+            this.errorBufferBytes = this.maxOutputBytes;
             this.outputOverflowed = true;
             return;
         }
@@ -827,7 +887,16 @@ export class PrologProcess {
     getPid() {
         return this.process?.pid || 0;
     }
+    lostProcessError() {
+        if (!this.interactiveStarted) {
+            return new Error("Prolog process not started");
+        }
+        return new PrologProcessTerminatedError(this.terminationReason ?? "process exited");
+    }
     async terminate() {
+        if (this.interactiveStarted) {
+            this.terminationReason ??= "terminated";
+        }
         if (this.terminationPromise) {
             await this.terminationPromise;
             return;

package/dist/proof/inspect.js

@@ -148,7 +148,7 @@ function directoryExists(root, relative) {
         return false;
     }
 }
-// implements REQ-kibi-proof-evidence-protocol
+// implements REQ-kibi-verification-evidence-contract
 export function inspectProofEnvironment(root) {
     const languages = new Set();
     const buildSystems = new Set();

package/dist/proof/producers/playwright-case-id.js

@@ -5,7 +5,7 @@ import path from "node:path";
  * The path is always repository-relative before hashing so the same case has
  * the same identity in a checkout, packed consumer, and dogfood workspace.
  */
-// implements REQ-kibi-proof-evidence-protocol
+// implements REQ-kibi-verification-evidence-contract
 export function playwrightCaseId(sourceFile, qualifiedTitle) {
     const normalizedPath = sourceFile
         .replaceAll("\\", "/")
@@ -14,7 +14,7 @@ export function playwrightCaseId(sourceFile, qualifiedTitle) {
     const key = `${normalizedPath}\0${qualifiedTitle.trim()}`;
     return `SYM-PW-${createHash("sha256").update(key).digest("hex").slice(0, 16).toUpperCase()}`;
 }
-// implements REQ-kibi-proof-evidence-protocol
+// implements REQ-kibi-verification-evidence-contract
 export function normalizePlaywrightSourceFile(sourceFile, workspaceRoot) {
     const absolute = path.resolve(sourceFile);
     if (!workspaceRoot)