kibi-cli 0.18.1 → 0.19.0

package/dist/engine.d.ts

@@ -0,0 +1,63 @@
+import type { PrologQueryResult } from "./public/operations/runtime-types.js";
+import type { PrologEntityQueryInput, PrologEntityQueryResult, PrologSearchQueryInput, PrologSearchQueryResult } from "./public/operations/runtime-types.js";
+export declare const ENGINE_PROTOCOL_VERSION = 1;
+export declare const ENGINE_IDLE_TIMEOUT_MS: number;
+export declare const ENGINE_PACKAGE_VERSIONS: string;
+/**
+ * Cross the kernel durability boundary before a journaled mutation is
+ * acknowledged. SWI flushes completed RDF transaction records to its journal
+ * stream; fsyncing the journal and atomic CURRENT pointer makes that flush
+ * survive a host crash as well as a process crash.
+ */
+export declare function fsyncJournaledBranchStore(branchPath: string): void;
+export declare function engineSocketPath(workspaceRoot: string, branch: string): string;
+export declare function enginePidPath(workspaceRoot: string, branch: string): string;
+export declare function engineStartLockPath(workspaceRoot: string, branch: string): string;
+export type EngineClientOptions = {
+    readonly workspaceRoot: string;
+    readonly branch: string;
+    readonly timeout?: number;
+};
+/** PrologPort-compatible client used by CLI and MCP operation runtimes. */
+export declare class EngineClient {
+    private readonly workspaceRoot;
+    private readonly branch;
+    private readonly timeout;
+    private socket;
+    private daemon;
+    private inputBuffer;
+    private requestId;
+    private pending;
+    private requestTail;
+    private lastResult;
+    constructor(options: EngineClientOptions);
+    start(allowSpawn?: boolean): Promise<void>;
+    private attachSocket;
+    private handleResponse;
+    private request;
+    query(goal: string, signal?: AbortSignal): Promise<PrologQueryResult>;
+    queryBatch(goals: readonly string[]): Promise<PrologQueryResult>;
+    queryEntities(input: PrologEntityQueryInput): Promise<PrologEntityQueryResult>;
+    searchEntities(input: PrologSearchQueryInput): Promise<PrologSearchQueryResult>;
+    /** Best-effort cancellation for a queued request. */
+    cancel(requestId: number): void;
+    nextSolution(): Promise<PrologQueryResult | null>;
+    save(): Promise<PrologQueryResult>;
+    storageStatus(): Promise<PrologQueryResult>;
+    checkpoint(): Promise<PrologQueryResult>;
+    queryStatusJson(): Promise<PrologQueryResult>;
+    compact(): Promise<PrologQueryResult>;
+    exportStorage(targetDirectory: string): Promise<PrologQueryResult>;
+    invalidateCache(): void;
+    isRunning(): boolean;
+    getPid(): number;
+    stop(startIfMissing?: boolean): Promise<void>;
+    terminate(): Promise<void>;
+}
+export declare function ensureJournaledBranchStoreAsync(branchPath: string): Promise<void>;
+export declare function runEngineDaemon(options: {
+    readonly workspaceRoot: string;
+    readonly branch: string;
+    readonly socketPath: string;
+}): Promise<void>;
+//# sourceMappingURL=engine.d.ts.map

package/dist/engine.d.ts.map

@@ -0,0 +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;AAG9C,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,eAAO,MAAM,sBAAsB,QAAiB,CAAC;AACrD,eAAO,MAAM,uBAAuB,QACY,CAAC;AA8KjD;;;;;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;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;CAC3B,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,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;IAclC,KAAK,CAAC,UAAU,UAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAkF7C,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;IAoBrE,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAKhE,aAAa,CACjB,KAAK,EAAE,sBAAsB,GAC5B,OAAO,CAAC,uBAAuB,CAAC;IAyB7B,cAAc,CAClB,KAAK,EAAE,sBAAsB,GAC5B,OAAO,CAAC,uBAAuB,CAAC;IAqBnC,qDAAqD;IACrD,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAiBzB,YAAY,IAAI,OAAO,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAMjD,IAAI,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAIlC,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;IAuB1C,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,CAmYhB"}