kibi-cli 1.0.1 → 2.0.0

package/dist/engine-daemon.d.ts

@@ -1,3 +1,5 @@
 #!/usr/bin/env node
-export {};
+export declare function isEngineDaemonEntrypoint(argv?: readonly string[], moduleUrl?: string, isMain?: boolean | undefined): boolean;
+export declare function runEngineDaemonCli(args?: readonly string[]): Promise<void>;
+export declare function runEngineDaemonIfEntrypoint(isEntrypoint?: boolean): Promise<void>;
 //# sourceMappingURL=engine-daemon.d.ts.map

package/dist/engine-daemon.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine-daemon.d.ts","sourceRoot":"","sources":["../src/engine-daemon.ts"],"names":[],"mappings":""}
+{"version":3,"file":"engine-daemon.d.ts","sourceRoot":"","sources":["../src/engine-daemon.ts"],"names":[],"mappings":";AAWA,wBAAgB,wBAAwB,CACtC,IAAI,GAAE,SAAS,MAAM,EAAiB,EACtC,SAAS,GAAE,MAAwB,EACnC,MAAM,GAAE,OAAO,GAAG,SACX,GACN,OAAO,CAWT;AAYD,wBAAsB,kBAAkB,CACtC,IAAI,GAAE,SAAS,MAAM,EAA0B,GAC9C,OAAO,CAAC,IAAI,CAAC,CAqBf;AAED,wBAAsB,2BAA2B,CAC/C,YAAY,UAA6B,GACxC,OAAO,CAAC,IAAI,CAAC,CAGf"}

package/dist/engine-daemon.js

@@ -1,6 +1,27 @@
 #!/usr/bin/env node
 import { writeFileSync } from "node:fs";
+import path from "node:path";
+import { pathToFileURL } from "node:url";
 import { runEngineDaemon } from "./engine.js";
+// Node 22.14 and earlier do not set `import.meta.main`. The journaled engine
+// client always hosts this file with `node`, so the entry check must work
+// without Bun-only metadata.
+// implements REQ-core-journaled-engine-persistence
+export function isEngineDaemonEntrypoint(argv = process.argv, moduleUrl = import.meta.url, isMain = import.meta
+    .main) {
+    if (isMain === true) {
+        return moduleUrl === import.meta.url;
+    }
+    const entry = argv[1];
+    if (typeof entry !== "string" || entry.length === 0)
+        return false;
+    try {
+        return moduleUrl === pathToFileURL(path.resolve(entry)).href;
+    }
+    catch {
+        return false;
+    }
+}
 function requiredArg(args, name) {
     const index = args.indexOf(name);
     const value = index >= 0 ? args[index + 1] : undefined;
@@ -9,26 +30,34 @@ function requiredArg(args, name) {
     }
     return value;
 }
-const args = process.argv.slice(2);
-try {
-    await runEngineDaemon({
-        workspaceRoot: requiredArg(args, "--workspace"),
-        branch: requiredArg(args, "--branch"),
-        socketPath: requiredArg(args, "--socket"),
-    });
-}
-catch (error) {
-    const message = error instanceof Error ? error.message : String(error);
-    console.error(message);
-    const socketIndex = args.indexOf("--socket");
-    const socketPath = socketIndex >= 0 ? args[socketIndex + 1] : undefined;
-    if (socketPath) {
-        try {
-            writeFileSync(`${socketPath}.error`, `${message}\n`, { mode: 0o600 });
-        }
-        catch {
-            // Preserve the process exit code even if the diagnostic path is gone.
+// implements REQ-core-journaled-engine-persistence
+export async function runEngineDaemonCli(args = process.argv.slice(2)) {
+    try {
+        await runEngineDaemon({
+            workspaceRoot: requiredArg(args, "--workspace"),
+            branch: requiredArg(args, "--branch"),
+            socketPath: requiredArg(args, "--socket"),
+        });
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        console.error(message);
+        const socketIndex = args.indexOf("--socket");
+        const socketPath = socketIndex >= 0 ? args[socketIndex + 1] : undefined;
+        if (socketPath) {
+            try {
+                writeFileSync(`${socketPath}.error`, `${message}\n`, { mode: 0o600 });
+            }
+            catch {
+                // Preserve the process exit code even if the diagnostic path is gone.
+            }
         }
+        process.exitCode = 1;
     }
-    process.exitCode = 1;
 }
+export async function runEngineDaemonIfEntrypoint(isEntrypoint = isEngineDaemonEntrypoint()) {
+    if (!isEntrypoint)
+        return;
+    await runEngineDaemonCli();
+}
+await runEngineDaemonIfEntrypoint();

package/dist/engine.d.ts

@@ -1,84 +1,17 @@
+import type { EngineAttachmentIdentity, EngineCommandV1 } from "./engine-types.js";
 import type { PrologQueryResult } from "./public/operations/runtime-types.js";
 import type { PrologEntityQueryInput, PrologEntityQueryResult, PrologSearchQueryInput, PrologSearchQueryResult } from "./public/operations/runtime-types.js";
+export type { EngineAttachmentIdentity, EngineCommandV1, EngineRequest, } from "./engine-types.js";
 export declare const ENGINE_PROTOCOL_VERSION = 1;
 export declare const ENGINE_IDLE_TIMEOUT_MS: number;
 export declare const ENGINE_PACKAGE_VERSIONS: string;
-export type EngineCommandV1 = Readonly<{
-    version: 1;
-    kind: "status";
-}> | Readonly<{
-    version: 1;
-    kind: "entities";
-    type?: string;
-    id?: string;
-    tags?: readonly string[];
-    sourceFile?: string;
-    limit: number;
-    offset: number;
-}> | Readonly<{
-    version: 1;
-    kind: "search";
-    query: string;
-    type?: string;
-    limit: number;
-    offset: number;
-}> | Readonly<{
-    version: 1;
-    kind: "checkpoint";
-}> | Readonly<{
-    version: 1;
-    kind: "compact";
-}> | Readonly<{
-    version: 1;
-    kind: "save";
-}> | Readonly<{
-    version: 1;
-    kind: "check";
-    rule?: string;
-}> | Readonly<{
-    version: 1;
-    kind: "relationship";
-    action: "assert" | "retract";
-    type: string;
-    from: string;
-    to: string;
-}> | Readonly<{
-    version: 1;
-    kind: "persistence";
-    action: "checkpoint" | "compact" | "save" | "export";
-    targetDirectory?: string;
-}> | Readonly<{
-    version: 1;
-    kind: "lifecycle";
-    action: "stop" | "cancel";
-    requestId?: number;
-}> | Readonly<{
-    version: 1;
-    kind: "stop";
-}> | Readonly<{
-    version: 1;
-    kind: "cancel";
-    requestId: number;
-}>;
-export type EngineRequest = {
-    readonly id: number;
-    readonly method: "query" | "command" | "entities" | "search" | "kbStatus" | "status" | "checkpoint" | "compact" | "export" | "stop" | "cancel";
-    readonly protocolVersion?: number;
-    readonly packageVersions?: string;
-    readonly workspaceRoot?: string;
-    readonly branch?: string;
-    readonly goal?: string;
-    readonly type?: string;
-    readonly entityId?: string;
-    readonly searchQuery?: string;
-    readonly tags?: readonly string[];
-    readonly sourceFile?: string;
-    readonly limit?: number;
-    readonly offset?: number;
-    readonly targetDirectory?: string;
-    readonly cancelOf?: number;
-    readonly command?: EngineCommandV1;
-};
+export declare function requestEngineSignalShutdown(shutdown: () => unknown): () => void;
+export declare function readJournalGeneration(branchPath: string): string;
+export declare function readEngineAttachmentIdentity(branchPath: string): EngineAttachmentIdentity | null;
+export declare function parseEngineAttachmentIdentity(statusJson: string | undefined): EngineAttachmentIdentity | null;
+export declare function engineAttachmentsMatch(expected: EngineAttachmentIdentity | null, attached: EngineAttachmentIdentity | null): boolean;
+export declare function formatEngineAttachmentMismatch(operation: string, expected: EngineAttachmentIdentity | null, attached: EngineAttachmentIdentity | null): string;
+export declare function runtimeDirectory(): string;
 /**
  * Cross the kernel durability boundary before a journaled mutation is
  * acknowledged. SWI flushes completed RDF transaction records to its journal
@@ -120,8 +53,10 @@ export declare class EngineClient {
     private pending;
     private requestTail;
     private lastResult;
+    private replacingStaleDaemon;
     constructor(options: EngineClientOptions);
     start(allowSpawn?: boolean): Promise<void>;
+    private connect;
     private attachSocket;
     private handleResponse;
     private request;
@@ -143,6 +78,9 @@ export declare class EngineClient {
     exportStorage(targetDirectory: string): Promise<PrologQueryResult>;
     invalidateCache(): void;
     isRunning(): boolean;
+    private readAttachedIdentity;
+    private reconcileAttachment;
+    private shutdownConnectedDaemon;
     getPid(): number;
     stop(startIfMissing?: boolean): Promise<void>;
     terminate(): Promise<void>;

package/dist/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,KAAK,EACV,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,sCAAsC,CAAC;AAI9C,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,eAAO,MAAM,sBAAsB,QAAiB,CAAC;AACrD,eAAO,MAAM,uBAAuB,QACY,CAAC;AAgBjD,MAAM,MAAM,eAAe,GACvB,QAAQ,CAAC;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GACxC,QAAQ,CAAC;IACP,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GACF,QAAQ,CAAC;IACP,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GACF,QAAQ,CAAC;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,GAC5C,QAAQ,CAAC;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,GACzC,QAAQ,CAAC;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,GACtC,QAAQ,CAAC;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GACtD,QAAQ,CAAC;IACP,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,cAAc,CAAC;IACrB,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ,CAAC,GACF,QAAQ,CAAC;IACP,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,YAAY,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,CAAC;IACrD,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC,GACF,QAAQ,CAAC;IACP,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC,GACF,QAAQ,CAAC;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,GACtC,QAAQ,CAAC;IAAE,OAAO,EAAE,CAAC,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEhE,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EACX,OAAO,GACP,SAAS,GACT,UAAU,GACV,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,YAAY,GACZ,SAAS,GACT,QAAQ,GACR,MAAM,GACN,QAAQ,CAAC;IACb,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;CACpC,CAAC;AAkMF;;;;;GAKG;AAEH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAuBlE;AAGD,wBAAgB,gBAAgB,CAC9B,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,MAAM,CAkBR;AAED,wBAAgB,aAAa,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAW3E;AAED,wBAAgB,mBAAmB,CACjC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,MAAM,CAUR;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,MAAM,CAER;AA2DD,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC;CAC9B,CAAC,CAAC;AAEH,wBAAgB,6BAA6B,CAC3C,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,sBAAsB,CAuDxB;AAwLD,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;CACzC,CAAC;AAEF,2EAA2E;AAE3E,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IACvC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAU;IAC/C,OAAO,CAAC,MAAM,CAA2B;IACzC,OAAO,CAAC,MAAM,CAA6B;IAC3C,OAAO,CAAC,WAAW,CAA4C;IAC/D,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,OAAO,CAAqC;IACpD,OAAO,CAAC,WAAW,CAAoC;IACvD,OAAO,CAAC,UAAU,CAAkC;gBAExC,OAAO,EAAE,mBAAmB;IAelC,KAAK,CAAC,UAAU,UAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IA8F7C,OAAO,CAAC,YAAY;IA0BpB,OAAO,CAAC,cAAc;YAYR,OAAO;IA4Cf,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAoB3E;uEACmE;IAC7D,OAAO,CAAC,CAAC,GAAG,iBAAiB,EACjC,OAAO,EAAE,eAAe,EACxB,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,CAAC,CAAC;IAIP,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAKhE,aAAa,CACjB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,uBAAuB,CAAC;IA6B7B,cAAc,CAClB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,uBAAuB,CAAC;IAyBnC,qDAAqD;IACrD,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAiBzB,YAAY,IAAI,OAAO,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAMjD,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAItD,aAAa,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAI3C,UAAU,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAIxC,eAAe,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAI7C,OAAO,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAIrC,aAAa,CAAC,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAOxE,eAAe,IAAI,IAAI;IAIvB,SAAS,IAAI,OAAO;IAIpB,MAAM,IAAI,MAAM;IASV,IAAI,CAAC,cAAc,UAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAwC1C,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CASjC;AAGD,wBAAsB,+BAA+B,CACnD,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC,CAoJf;AAkFD,wBAAsB,eAAe,CAAC,OAAO,EAAE;IAC7C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,OAAO,CAAC,IAAI,CAAC,CAgjBhB"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EACV,wBAAwB,EACxB,eAAe,EAEhB,MAAM,mBAAmB,CAAC;AAI3B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,KAAK,EACV,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,sCAAsC,CAAC;AAO9C,YAAY,EACV,wBAAwB,EACxB,eAAe,EACf,aAAa,GACd,MAAM,mBAAmB,CAAC;AAE3B,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,eAAO,MAAM,sBAAsB,QAAiB,CAAC;AACrD,eAAO,MAAM,uBAAuB,QACY,CAAC;AAOjD,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,MAAM,OAAO,GACtB,MAAM,IAAI,CAIZ;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAKhE;AAED,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,MAAM,GACjB,wBAAwB,GAAG,IAAI,CAgBjC;AAED,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,MAAM,GAAG,SAAS,GAC7B,wBAAwB,GAAG,IAAI,CAyBjC;AAED,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,wBAAwB,GAAG,IAAI,EACzC,QAAQ,EAAE,wBAAwB,GAAG,IAAI,GACxC,OAAO,CAWT;AAED,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,wBAAwB,GAAG,IAAI,EACzC,QAAQ,EAAE,wBAAwB,GAAG,IAAI,GACxC,MAAM,CASR;AAoLD,wBAAgB,gBAAgB,IAAI,MAAM,CAqBzC;AAaD;;;;;GAKG;AAEH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAuBlE;AAGD,wBAAgB,gBAAgB,CAC9B,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,MAAM,CAkBR;AAED,wBAAgB,aAAa,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAW3E;AAED,wBAAgB,mBAAmB,CACjC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,MAAM,CAUR;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,MAAM,CAER;AA2DD,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC;CAC9B,CAAC,CAAC;AAEH,wBAAgB,6BAA6B,CAC3C,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,MAAM,GACb,sBAAsB,CAuDxB;AAwLD,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;CACzC,CAAC;AAEF,2EAA2E;AAE3E,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IACvC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;IAChC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAU;IAC/C,OAAO,CAAC,MAAM,CAA2B;IACzC,OAAO,CAAC,MAAM,CAA6B;IAC3C,OAAO,CAAC,WAAW,CAA4C;IAC/D,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,OAAO,CAAqC;IACpD,OAAO,CAAC,WAAW,CAAoC;IACvD,OAAO,CAAC,UAAU,CAAkC;IACpD,OAAO,CAAC,oBAAoB,CAAS;gBAEzB,OAAO,EAAE,mBAAmB;IAelC,KAAK,CAAC,UAAU,UAAO,GAAG,OAAO,CAAC,IAAI,CAAC;YAQ/B,OAAO;IA8FrB,OAAO,CAAC,YAAY;IA0BpB,OAAO,CAAC,cAAc;YAYR,OAAO;IA4Cf,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAoB3E;uEACmE;IAC7D,OAAO,CAAC,CAAC,GAAG,iBAAiB,EACjC,OAAO,EAAE,eAAe,EACxB,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,CAAC,CAAC;IAIP,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAKhE,aAAa,CACjB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,uBAAuB,CAAC;IA6B7B,cAAc,CAClB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,uBAAuB,CAAC;IAyBnC,qDAAqD;IACrD,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAiBzB,YAAY,IAAI,OAAO,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAMjD,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAItD,aAAa,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAI3C,UAAU,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAIxC,eAAe,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAI7C,OAAO,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAIrC,aAAa,CAAC,eAAe,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAOxE,eAAe,IAAI,IAAI;IAIvB,SAAS,IAAI,OAAO;YAIN,oBAAoB;YAMpB,mBAAmB;YA0BnB,uBAAuB;IA6BrC,MAAM,IAAI,MAAM;IASV,IAAI,CAAC,cAAc,UAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAqB1C,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CASjC;AAGD,wBAAsB,+BAA+B,CACnD,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC,CAoJf;AAkFD,wBAAsB,eAAe,CAAC,OAAO,EAAE;IAC7C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,OAAO,CAAC,IAAI,CAAC,CA0lBhB"}

package/dist/engine.js

@@ -14,8 +14,9 @@ import * as path from "node:path";
 import { fileURLToPath } from "node:url";
 import { PrologProcess, resolveKbPlPath } from "./prolog.js";
 import { parseEntityFromList, parseListOfLists } from "./prolog/codec.js";
+import { retryAttachAfterBreakingStaleLock } from "./prolog/store-lock.js";
 import { isValidBranchName } from "./utils/branch-resolver.js";
-import { ensureBranchStoreManifest } from "./utils/branch-store-locator.js";
+import { branchStorePath, ensureBranchStoreManifest, } from "./utils/branch-store-locator.js";
 export const ENGINE_PROTOCOL_VERSION = 1;
 export const ENGINE_IDLE_TIMEOUT_MS = 10 * 60 * 1000;
 export const ENGINE_PACKAGE_VERSIONS = process.env.KIBI_PACKAGE_VERSIONS ?? "unknown";
@@ -23,12 +24,95 @@ const ENGINE_QUERY_CACHE_MAX_ENTRIES = 128;
 const ENGINE_QUERY_CACHE_MAX_RESULT_BYTES = 8 * 1024 * 1024;
 const ENGINE_FRESHNESS_CACHE_MS = 100;
 const ENGINE_PUBLICATION_LOCK_STALE_MS = 5_000;
+const ENGINE_WORKSPACE_WATCHDOG_MS = 30_000;
+export function requestEngineSignalShutdown(shutdown) {
+    return () => {
+        void shutdown();
+    };
+}
+export function readJournalGeneration(branchPath) {
+    // implements REQ-core-journaled-engine-persistence
+    const currentPath = path.join(branchPath, "CURRENT");
+    if (!existsSync(currentPath))
+        return "";
+    return readFileSync(currentPath, "utf8").trim();
+}
+export function readEngineAttachmentIdentity(branchPath) {
+    // implements REQ-core-journaled-engine-persistence
+    if (!existsSync(branchPath))
+        return null;
+    const stats = statSync(branchPath);
+    let resolved = path.resolve(branchPath);
+    try {
+        resolved = realpathSync(branchPath);
+    }
+    catch {
+        // The live path may be replaced between stat and realpath.
+    }
+    return {
+        path: resolved,
+        generation: readJournalGeneration(branchPath),
+        dev: stats.dev,
+        ino: stats.ino,
+    };
+}
+export function parseEngineAttachmentIdentity(statusJson) {
+    // implements REQ-core-journaled-engine-persistence
+    if (statusJson === undefined)
+        return null;
+    try {
+        const decoded = JSON.parse(JSON.parse(statusJson));
+        if (typeof decoded.attachedPath !== "string" ||
+            typeof decoded.attachedGeneration !== "string" ||
+            typeof decoded.attachedDev !== "number" ||
+            typeof decoded.attachedIno !== "number") {
+            return null;
+        }
+        return {
+            path: decoded.attachedPath,
+            generation: decoded.attachedGeneration,
+            dev: decoded.attachedDev,
+            ino: decoded.attachedIno,
+        };
+    }
+    catch {
+        return null;
+    }
+}
+export function engineAttachmentsMatch(expected, attached) {
+    // implements REQ-core-journaled-engine-persistence
+    if (expected === null || attached === null)
+        return false;
+    if (expected.path !== attached.path)
+        return false;
+    if (expected.ino !== 0 && attached.ino !== 0) {
+        return expected.dev === attached.dev && expected.ino === attached.ino;
+    }
+    return (expected.generation.length > 0 &&
+        expected.generation === attached.generation);
+}
+export function formatEngineAttachmentMismatch(operation, expected, attached) {
+    // implements REQ-core-journaled-engine-persistence
+    return [
+        `operation=${operation}`,
+        `branchStore=${expected?.path ?? "missing"}`,
+        `expectedGeneration=${expected?.generation || "missing"}`,
+        `attachedPath=${attached?.path ?? "missing"}`,
+        `attachedGeneration=${attached?.generation || "missing"}`,
+    ].join(" ");
+}
 function engineIdleTimeoutMs() {
     const configured = Number.parseInt(process.env.KIBI_ENGINE_IDLE_TIMEOUT_MS ?? "", 10);
     return Number.isFinite(configured) && configured >= 100
         ? configured
         : ENGINE_IDLE_TIMEOUT_MS;
 }
+function engineWorkspaceWatchdogMs() {
+    const configured = Number.parseInt(process.env.KIBI_ENGINE_WORKSPACE_WATCHDOG_MS ?? "", 10);
+    return Number.isFinite(configured) && configured >= 100
+        ? configured
+        : ENGINE_WORKSPACE_WATCHDOG_MS;
+}
 function quoteProlog(value) {
     return value.replaceAll("'", "''");
 }
@@ -162,7 +246,7 @@ function parseFrames(buffer, onFrame) {
     }
     return buffer.subarray(cursor);
 }
-function runtimeDirectory() {
+export function runtimeDirectory() {
     const configured = process.env.KIBI_RUNTIME_DIR ??
         process.env.XDG_RUNTIME_DIR ??
         path.join(os.tmpdir(), "kibi-runtime");
@@ -577,6 +661,7 @@ export class EngineClient {
     pending = new Map();
     requestTail = Promise.resolve();
     lastResult = null;
+    replacingStaleDaemon = false;
     constructor(options) {
         if (!isValidBranchName(options.branch)) {
             throw new Error(`Invalid Kibi engine branch name: ${options.branch}`);
@@ -593,6 +678,13 @@ export class EngineClient {
         this.allowPublicationLock = options.allowPublicationLock ?? false;
     }
     async start(allowSpawn = true) {
+        const wasConnected = this.socket !== null && !this.socket.destroyed;
+        await this.connect(allowSpawn);
+        if (!wasConnected && this.socket !== null) {
+            await this.reconcileAttachment();
+        }
+    }
+    async connect(allowSpawn = true) {
         if (this.socket !== null && !this.socket.destroyed)
             return;
         const socketPath = engineSocketPath(this.workspaceRoot, this.branch);
@@ -878,27 +970,36 @@ export class EngineClient {
     isRunning() {
         return this.socket !== null && !this.socket.destroyed;
     }
-    getPid() {
-        const pidPath = enginePidPath(this.workspaceRoot, this.branch);
+    async readAttachedIdentity() {
+        const status = await this.queryStatusJson();
+        if (!status.success)
+            return null;
+        return parseEngineAttachmentIdentity(status.bindings.JsonString);
+    }
+    async reconcileAttachment() {
+        if (this.replacingStaleDaemon || this.socket === null)
+            return;
+        const livePath = branchStorePath(this.workspaceRoot, this.branch);
+        const expected = readEngineAttachmentIdentity(livePath);
+        const attached = await this.readAttachedIdentity();
+        if (engineAttachmentsMatch(expected, attached))
+            return;
+        this.replacingStaleDaemon = true;
         try {
-            return Number.parseInt(readFileSync(pidPath, "utf8").trim(), 10) || 0;
+            await this.shutdownConnectedDaemon();
+            await this.connect(true);
+            const live = readEngineAttachmentIdentity(livePath);
+            const retried = await this.readAttachedIdentity();
+            if (!engineAttachmentsMatch(live, retried)) {
+                throw new Error(`Kibi engine is attached to a stale branch generation: ${formatEngineAttachmentMismatch("attachment-handshake", live, retried)}`);
+            }
         }
-        catch {
-            return 0;
+        finally {
+            this.replacingStaleDaemon = false;
         }
     }
-    async stop(startIfMissing = true) {
+    async shutdownConnectedDaemon() {
         const socketPath = engineSocketPath(this.workspaceRoot, this.branch);
-        if (!this.isRunning()) {
-            try {
-                await this.start(startIfMissing);
-            }
-            catch {
-                if (!startIfMissing)
-                    return;
-                throw new Error("Unable to start Kibi engine for stop request");
-            }
-        }
         if (!this.isRunning()) {
             if (existsSync(socketPath)) {
                 throw new Error(`Kibi engine socket remains present but is not reachable: ${socketPath}`);
@@ -914,9 +1015,6 @@ export class EngineClient {
         }
         this.socket?.destroy();
         this.socket = null;
-        // The daemon acknowledges stop before its SWI child has flushed and the
-        // listening socket has closed. Do not let a following auto-start attach to
-        // that half-shutdown process.
         const deadline = Date.now() + 5_000;
         while (existsSync(socketPath) && Date.now() < deadline) {
             await new Promise((resolve) => setTimeout(resolve, 25));
@@ -926,6 +1024,35 @@ export class EngineClient {
             throw new Error(`Kibi engine did not stop within 5 seconds${detail}`);
         }
     }
+    getPid() {
+        const pidPath = enginePidPath(this.workspaceRoot, this.branch);
+        try {
+            return Number.parseInt(readFileSync(pidPath, "utf8").trim(), 10) || 0;
+        }
+        catch {
+            return 0;
+        }
+    }
+    async stop(startIfMissing = true) {
+        const socketPath = engineSocketPath(this.workspaceRoot, this.branch);
+        if (!this.isRunning()) {
+            try {
+                await this.connect(startIfMissing);
+            }
+            catch {
+                if (!startIfMissing)
+                    return;
+                throw new Error("Unable to start Kibi engine for stop request");
+            }
+        }
+        if (!this.isRunning()) {
+            if (existsSync(socketPath)) {
+                throw new Error(`Kibi engine socket remains present but is not reachable: ${socketPath}`);
+            }
+            return;
+        }
+        await this.shutdownConnectedDaemon();
+    }
     async terminate() {
         // Closing a client connection releases the engine; the daemon remains
         // available for other operations until its idle timeout expires.
@@ -1149,12 +1276,26 @@ export async function runEngineDaemon(options) {
     const prolog = new PrologProcess({ timeout: 120_000, oneShot: false });
     await prolog.start();
     const attached = await prolog.query(`kb_attach('${quoteProlog(branchPath)}')`);
-    if (!attached.success)
-        throw new Error(attached.error ?? "Failed to attach branch KB");
-    const statusModulePath = path.join(path.dirname(resolveKbPlPath()), "status.pl");
-    const statusLoaded = await prolog.query(`use_module('${quoteProlog(statusModulePath.replaceAll("\\", "/"))}')`);
-    if (!statusLoaded.success) {
-        throw new Error(statusLoaded.error ?? "Failed to load Kibi status module");
+    if (!attached.success) {
+        // The daemon hosts the branch store for every later request, so a
+        // store-locked startup with a provably dead holder is auto-healed here
+        // exactly like the CLI runtime path; live holders abort the startup
+        // with the holder identity surfaced.
+        const recovered = await retryAttachAfterBreakingStaleLock(prolog, branchPath, attached);
+        if (!recovered.success)
+            throw new Error(recovered.error ?? "Failed to attach branch KB");
+    }
+    const attachedIdentity = readEngineAttachmentIdentity(branchPath);
+    const coreModuleDir = path.dirname(resolveKbPlPath());
+    for (const [fileName, label] of [
+        ["status.pl", "status"],
+        ["discovery.pl", "discovery"],
+    ]) {
+        const modulePath = path.join(coreModuleDir, fileName);
+        const loaded = await prolog.query(`use_module('${quoteProlog(modulePath.replaceAll("\\", "/"))}')`);
+        if (!loaded.success) {
+            throw new Error(loaded.error ?? `Failed to load Kibi ${label} module`);
+        }
     }
     mkdirSync(path.dirname(options.socketPath), { recursive: true, mode: 0o700 });
     if (existsSync(options.socketPath)) {
@@ -1195,6 +1336,12 @@ export async function runEngineDaemon(options) {
         try {
             const decoded = JSON.parse(JSON.parse(result.bindings.JsonString));
             decoded.branch = options.branch;
+            if (attachedIdentity !== null) {
+                decoded.attachedPath = attachedIdentity.path;
+                decoded.attachedGeneration = attachedIdentity.generation;
+                decoded.attachedDev = attachedIdentity.dev;
+                decoded.attachedIno = attachedIdentity.ino;
+            }
             return {
                 ...result,
                 bindings: {
@@ -1207,6 +1354,27 @@ export async function runEngineDaemon(options) {
             return result;
         }
     };
+    // A daemon whose workspace vanished (git worktree remove --force, deleted
+    // checkout) can never serve a request again, but it would keep holding the
+    // branch-store lock and wedge every later operation behind an opaque
+    // "KB locked". Detect the loss and shut down cleanly instead.
+    let workspaceMissingStreak = 0;
+    const workspaceWatchdog = setInterval(() => {
+        if (shuttingDown)
+            return;
+        // Two consecutive misses before giving up: a transient blip (slow
+        // rename, network mount hiccup) must not stop a healthy daemon.
+        if (!existsSync(options.workspaceRoot)) {
+            workspaceMissingStreak += 1;
+            if (workspaceMissingStreak < 2)
+                return;
+            console.error(`[KIBI] workspace ${options.workspaceRoot} no longer exists; stopping engine`);
+            void shutdown();
+            return;
+        }
+        workspaceMissingStreak = 0;
+    }, engineWorkspaceWatchdogMs());
+    workspaceWatchdog.unref();
     const scheduleIdleExit = () => {
         if (activeClients > 0)
             return;
@@ -1507,6 +1675,7 @@ export async function runEngineDaemon(options) {
         process.off("SIGINT", requestSignalShutdown);
         if (idleTimer)
             clearTimeout(idleTimer);
+        clearInterval(workspaceWatchdog);
         const saved = await prolog.query("kb_save").catch(() => null);
         if (saved?.success) {
             try {
@@ -1545,9 +1714,7 @@ export async function runEngineDaemon(options) {
     // Detached engines must cross the same durability boundary when a service
     // manager or a test harness terminates them as they do for an RPC stop.
     // implements REQ-test-journaled-engine-harness
-    const requestSignalShutdown = () => {
-        void shutdown();
-    };
+    const requestSignalShutdown = requestEngineSignalShutdown(shutdown);
     process.once("SIGTERM", requestSignalShutdown);
     process.once("SIGINT", requestSignalShutdown);
     server.on("connection", (socket) => {

package/dist/extractors/manifest.d.ts

@@ -67,4 +67,9 @@ export declare function extractFromManifestString(content: string, filePath: str
 export declare function extractManifestSymbolRecordsString(content: string, filePath: string): ManifestSymbolRecord[];
 export declare function extractFromManifest(filePath: string): ExtractionResult[];
 export declare function readManifestWithCoordinateOverlay(manifestPath: string, coordinatesPath?: string): ManifestSymbolRecord[];
+export interface ReceiptCodeScopeEntry {
+    readonly symbolId: string;
+    readonly sourceHash: string;
+}
+export declare function resolveBoundSymbolScope(manifestPath: string, symbolIds: readonly string[]): ReceiptCodeScopeEntry[];
 //# sourceMappingURL=manifest.d.ts.map

package/dist/extractors/manifest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/extractors/manifest.ts"],"names":[],"mappings":"AA6BA,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA6JD,qBAAa,aAAc,SAAQ,KAAK;IAG7B,QAAQ,EAAE,MAAM;aACP,cAAc,CAAC,EAAE,qBAAqB;gBAFtD,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACP,cAAc,CAAC,EAAE,qBAAqB,YAAA;CAKzD;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAsFD;;;;GAIG;AAEH,wBAAgB,4BAA4B,CAC1C,eAAe,EAAE,oBAAoB,EAAE,EACvC,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAkDpB;AAYD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAmBpB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,oBAAoB,EAAE,CAmBxB;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAKxE;AA4ED,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,MAAM,GACvB,oBAAoB,EAAE,CAaxB"}
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/extractors/manifest.ts"],"names":[],"mappings":"AA6BA,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA6JD,qBAAa,aAAc,SAAQ,KAAK;IAG7B,QAAQ,EAAE,MAAM;aACP,cAAc,CAAC,EAAE,qBAAqB;gBAFtD,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACP,cAAc,CAAC,EAAE,qBAAqB,YAAA;CAKzD;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAsFD;;;;GAIG;AAEH,wBAAgB,4BAA4B,CAC1C,eAAe,EAAE,oBAAoB,EAAE,EACvC,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAkDpB;AAYD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAmBpB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,oBAAoB,EAAE,CAmBxB;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAKxE;AA4ED,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,MAAM,GACvB,oBAAoB,EAAE,CAaxB;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAgCD,wBAAgB,uBAAuB,CACrC,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,SAAS,MAAM,EAAE,GAC3B,qBAAqB,EAAE,CAgBzB"}

package/dist/extractors/manifest.js

@@ -16,7 +16,7 @@
  along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
 import { createHash } from "node:crypto";
-import { existsSync, readFileSync } from "node:fs";
+import { existsSync, readFileSync, statSync } from "node:fs";
 import * as path from "node:path";
 import { load as parseYAML } from "js-yaml";
 import { DEFAULT_COORDINATES_PATH } from "../utils/manifest-paths.js";
@@ -324,6 +324,51 @@ export function readManifestWithCoordinateOverlay(manifestPath, coordinatesPath)
         resolveSourceText: sourceTextResolver(manifestPath),
     });
 }
+/**
+ * Resolve the code scope of a receipt binding: for each proof-bound symbol,
+ * its coordinate-recorded source hash. A receipt's binding covers these, so
+ * editing the production code behind a test stales only that test's receipts
+ * (per-contract binding mode).
+ */
+// implements REQ-kibi-proof-evidence-protocol
+// Receipt-binding scope reads run once per proof-bearing test; a campaign
+// touches dozens-to-hundreds of tests, so the parsed overlay is memoized per
+// manifest state (path + mtime + size) and invalidated when the file changes.
+const boundSymbolScopeCache = new Map();
+function boundSymbolScopeRecords(manifestPath) {
+    let stamp = "";
+    try {
+        const stats = statSync(manifestPath);
+        stamp = `${stats.mtimeMs}:${stats.size}`;
+    }
+    catch {
+        stamp = "missing";
+    }
+    const hit = boundSymbolScopeCache.get(manifestPath);
+    if (hit && hit.stamp === stamp)
+        return hit.records;
+    const records = readManifestWithCoordinateOverlay(manifestPath);
+    boundSymbolScopeCache.set(manifestPath, { stamp, records });
+    return records;
+}
+export function resolveBoundSymbolScope(manifestPath, symbolIds) {
+    const wanted = new Set(symbolIds);
+    if (wanted.size === 0)
+        return [];
+    const records = boundSymbolScopeRecords(manifestPath);
+    const scope = [];
+    for (const record of records) {
+        const symbolId = typeof record.id === "string" ? record.id : undefined;
+        if (symbolId === undefined || !wanted.has(symbolId))
+            continue;
+        const sourceHash = record.sourceHash;
+        if (typeof sourceHash === "string" && sourceHash !== "") {
+            scope.push({ symbolId, sourceHash });
+        }
+    }
+    scope.sort((left, right) => left.symbolId.localeCompare(right.symbolId));
+    return scope;
+}
 function generateId(filePath, title) {
     const hash = createHash("sha256");
     hash.update(`${filePath}:${title}`);