@paraharness/sqlite 0.0.0-stage → 0.2.0

package/dist/stores/sqlite-ledger-store.d.ts

@@ -0,0 +1,222 @@
+import type { ContinuationFrame, CreateOrResumeRunInput, CreateOrResumeRunResult, InterruptedStepBootRecord, LedgerStore, MutateLanePlanRequest, RecordStepStartInput, RecordStepTransitionInput, RunTerminalReceiptRecord, SuspendedForkRecord, WireFrameRecord } from '@paraharness/core';
+import type Database from 'better-sqlite3';
+import { type GetSuspendedForksOptions } from './internal/sqlite-ledger-plan-and-fork-ops.js';
+import { type UpdateRunInputParams } from './internal/sqlite-ledger-run-ops.js';
+/**
+ * Optional parameters for updating a step's continuation stack in `updateContinuationStack`.
+ */
+export interface UpdateContinuationStackOptions {
+    /** Optional updated base scope checkpoint after prerequisite `syncRoot` wakeup. */
+    readonly baseScopeCheckpoint?: string;
+}
+/**
+ * WAL-mode SQLite implementation of the `@paraharness/core` `LedgerStore` runtime port.
+ *
+ * Persists flow runs, step continuation stacks, wire-frame chains, dynamic lane DAG mutations,
+ * and suspended fork records inside transactional SQLite tables serialized via `p-queue`.
+ */
+export declare class SqliteLedgerStore implements LedgerStore {
+    /** Underlying `better-sqlite3` database connection. */
+    private readonly db;
+    /** Single-concurrency FIFO queue serializing asynchronous store operations. */
+    private readonly queue;
+    /**
+     * Initializes a `SqliteLedgerStore` against a SQLite file path, `:memory:`, or existing `Database` instance.
+     *
+     * Applies WAL-mode PRAGMAs and idempotent ledger DDL statements on initialization.
+     *
+     * @param {string | Database.Database} uriOrDb - SQLite database URI or open `better-sqlite3` handle.
+     */
+    constructor(uriOrDb: string | Database.Database);
+    /**
+     * Creates a new flow run row (`status: 'RUNNING'`) or resumes an existing run.
+     *
+     * Pins `compiledPrefixesJson` on initial creation and returns completed step outputs for `.inputFrom()`.
+     *
+     * @param {CreateOrResumeRunInput} run - Run initialization or resume request payload.
+     *
+     * @returns {Promise<CreateOrResumeRunResult>} Current persisted state and completed step outputs.
+     */
+    createOrResumeRun(run: CreateOrResumeRunInput): Promise<CreateOrResumeRunResult>;
+    /**
+     * Records the start of a flow step execution and initializes its `ContinuationFrame[]` stack.
+     *
+     * Persists `baseScopeCheckpoint` and `executableId` for reboot recovery.
+     *
+     * @param {RecordStepStartInput} step - Step start metadata and initial continuation stack.
+     *
+     * @returns {Promise<void>} Resolves once the step start is committed.
+     */
+    recordStepStart(step: RecordStepStartInput): Promise<void>;
+    /**
+     * Atomically updates the serialized `ContinuationFrame[]` stack for `stepExecId`.
+     *
+     * Optionally updates `baseScopeCheckpoint` after prerequisite `syncRoot` wakeup.
+     *
+     * @param {string}                         runId             - Enclosing flow run identifier.
+     * @param {string}                         stepExecId        - Target step execution identifier.
+     * @param {readonly ContinuationFrame[]}   continuationStack - Updated outer-to-inner continuation stack.
+     * @param {UpdateContinuationStackOptions} [opts]            - Optional updated base scope checkpoint.
+     *
+     * @returns {Promise<void>} Resolves once the continuation stack is persisted.
+     */
+    updateContinuationStack(runId: string, stepExecId: string, continuationStack: readonly ContinuationFrame[], opts?: UpdateContinuationStackOptions): Promise<void>;
+    /**
+     * Updates a run's serialized flow input payload and optional pending rewind target step ID.
+     *
+     * Used during `.replaceWith()` step promotion and `.onSignal().rewindTo()` transitions.
+     *
+     * @param {string}               runId  - Target flow run identifier.
+     * @param {UpdateRunInputParams} update - Updated input JSON and rewind target.
+     *
+     * @returns {Promise<void>} Resolves once the run input update is committed.
+     */
+    updateRunInput(runId: string, update: UpdateRunInputParams): Promise<void>;
+    /**
+     * Atomically chains spawned prerequisite items and validates DAG acyclicity and `maxPrerequisiteDepth`.
+     *
+     * Rejects cycles and depth limit breaches before committing any edge to SQLite.
+     *
+     * @param {MutateLanePlanRequest} req - Lane plan mutation request.
+     *
+     * @returns {Promise<void>} Resolves once the lane DAG mutation is committed.
+     */
+    mutateLanePlan(req: MutateLanePlanRequest): Promise<void>;
+    /**
+     * Appends a new `WireFrameRecord` to the conversation transcript for `runId`.
+     *
+     * Persists both raw vendor wire bytes and canonical message projections.
+     *
+     * @param {string}          runId - Enclosing flow run identifier.
+     * @param {WireFrameRecord} frame - Immutable wire frame record to append.
+     *
+     * @returns {Promise<void>} Resolves once the frame is persisted.
+     */
+    appendMessageFrame(runId: string, frame: WireFrameRecord): Promise<void>;
+    /**
+     * Replaces an existing `WireFrameRecord` in-place (such as after `appendToolResultNotes`).
+     *
+     * Updates `rawWireFrame` and `canonical` while preserving `messageId` and `parentMessageId`.
+     *
+     * @param {string}          runId - Enclosing flow run identifier.
+     * @param {WireFrameRecord} frame - Updated wire frame record.
+     *
+     * @returns {Promise<void>} Resolves once the frame replacement is committed.
+     */
+    replaceMessageFrame(runId: string, frame: WireFrameRecord): Promise<void>;
+    /**
+     * Records a per-`callId` compacted skill tombstone on an earlier `activateSkill` message frame.
+     *
+     * Updates `compactedTombstones[callId]` without mutating `rawWireFrame`.
+     *
+     * @param {string} runId              - Enclosing flow run identifier.
+     * @param {string} messageId          - Target `WireFrameRecord.messageId`.
+     * @param {string} callId             - Tool call ID of the `activateSkill` invocation.
+     * @param {string} compactedTombstone - Tombstone replacement string for cross-model escalations.
+     *
+     * @returns {Promise<void>} Resolves once the tombstone entry is recorded.
+     */
+    markFrameTombstone(runId: string, messageId: string, callId: string, compactedTombstone: string): Promise<void>;
+    /**
+     * Reconstructs the ordered `WireFrameRecord[]` ancestor chain from Turn 0 through `leafMessageId`.
+     *
+     * Traverses `parentMessageId` links and returns frames in chronological root-to-leaf order.
+     *
+     * @param {string} leafMessageId - Identifier of the trailing message frame in the chain.
+     *
+     * @returns {Promise<readonly WireFrameRecord[]>} Ordered root-to-leaf wire frame sequence.
+     */
+    getMessageChain(leafMessageId: string): Promise<readonly WireFrameRecord[]>;
+    /**
+     * Persists a `SuspendedForkRecord` when a child fork suspends on an upward or sibling interrupt.
+     *
+     * Stores the monotonic `suspendedForkId` (`${forkId}#${suspensionEpoch}`) and continuation stack.
+     *
+     * @param {SuspendedForkRecord} record - Suspended fork snapshot and continuation stack.
+     *
+     * @returns {Promise<void>} Resolves once the suspension record is persisted.
+     */
+    recordForkSuspension(record: SuspendedForkRecord): Promise<void>;
+    /**
+     * Queries unresolved suspended fork records for `runId`, optionally filtered by `forkIds` or `parentStepExecId`.
+     *
+     * Excludes epochs already marked `'RESUMED'` or `'ABORTED'`.
+     *
+     * @param {string}                   runId  - Enclosing flow run identifier.
+     * @param {GetSuspendedForksOptions} [opts] - Optional filter criteria.
+     *
+     * @returns {Promise<readonly SuspendedForkRecord[]>} Matching open suspended fork records.
+     */
+    getSuspendedForks(runId: string, opts?: GetSuspendedForksOptions): Promise<readonly SuspendedForkRecord[]>;
+    /**
+     * Marks `suspendedForkId` and any earlier unresolved epochs `${forkId}#1 .. ${forkId}#${epoch}` as resolved.
+     *
+     * Prevents resolved suspension epochs from remaining open in subsequent queries.
+     *
+     * @param {string}                suspendedForkId - Monotonic `${forkId}#${suspensionEpoch}` identifier.
+     * @param {'RESUMED' | 'ABORTED'} status          - Resolution status.
+     *
+     * @returns {Promise<void>} Resolves once the status transition is committed.
+     */
+    resolveSuspendedFork(suspendedForkId: string, status: 'RESUMED' | 'ABORTED'): Promise<void>;
+    /**
+     * Records a step lifecycle transition (`'RUNNING' | 'COMPLETED' | 'INTERRUPTED' | 'FAILED' | 'SUSPENDED'`).
+     *
+     * Commits serialized output, scope checkpoints, and universal step telemetry.
+     *
+     * @param {RecordStepTransitionInput} transition - Step transition payload and telemetry snapshot.
+     *
+     * @returns {Promise<void>} Resolves once the step transition is persisted.
+     */
+    recordStepTransition(transition: RecordStepTransitionInput): Promise<void>;
+    /**
+     * Persists the terminal exit state and final scope receipt for `runId` and `itemKey`.
+     *
+     * Updates both `harness_terminal_receipts` and `harness_runs`.
+     *
+     * @param {string} runId              - Completed flow run identifier.
+     * @param {string} itemKey            - Work item deduplication key.
+     * @param {string} terminalState      - Terminal exit state string.
+     * @param {string} [scopeReceiptJson] - Optional JSON-serialized final scope receipt.
+     *
+     * @returns {Promise<void>} Resolves once the terminal receipt is committed.
+     */
+    recordRunTerminalReceipt(runId: string, itemKey: string, terminalState: string, scopeReceiptJson?: string): Promise<void>;
+    /**
+     * Retrieves the latest terminal run receipts keyed by `itemKey`.
+     *
+     * Used during prerequisite `syncRoot` wakeup and signal-correlated overlay commits.
+     *
+     * @param {readonly string[]} itemKeys - Work item keys to look up.
+     *
+     * @returns {Promise<ReadonlyMap<string, RunTerminalReceiptRecord>>} Map of `itemKey` to terminal receipt record.
+     */
+    getRunTerminalReceipts(itemKeys: readonly string[]): Promise<ReadonlyMap<string, RunTerminalReceiptRecord>>;
+    /**
+     * Queries all non-terminal runs (`'QUEUED' | 'RUNNING' | 'WAITING' | 'SUSPENDED'`) on runtime startup.
+     *
+     * Returns active step checkpoints and continuation stacks for reboot crash recovery.
+     *
+     * @returns {Promise<readonly InterruptedStepBootRecord[]>} Non-terminal runs requiring recovery.
+     */
+    getInterruptedStepsOnBoot(): Promise<readonly InterruptedStepBootRecord[]>;
+    /**
+     * Prunes raw `WireFrameRecord` payloads for a terminal `runId` while retaining canonical audit headers.
+     *
+     * Scoped strictly to `runId` so active runs sharing the same `itemKey` are never pruned.
+     *
+     * @param {string} runId - Terminal flow run identifier to compact.
+     *
+     * @returns {Promise<void>} Resolves once wire frames for `runId` are compacted.
+     */
+    compactRunFrames(runId: string): Promise<void>;
+    /**
+     * Closes the underlying `better-sqlite3` database connection.
+     *
+     * Releases file descriptors and WAL shared-memory locks held by this store instance.
+     *
+     * @returns {void} Returns nothing once the connection is closed.
+     */
+    close(): void;
+}
+//# sourceMappingURL=sqlite-ledger-store.d.ts.map

package/dist/stores/sqlite-ledger-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-store.d.ts","sourceRoot":"","sources":["../../src/stores/sqlite-ledger-store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,sBAAsB,EACtB,uBAAuB,EACvB,yBAAyB,EACzB,WAAW,EACX,qBAAqB,EACrB,oBAAoB,EACpB,yBAAyB,EACzB,wBAAwB,EACxB,mBAAmB,EACnB,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAU3C,OAAO,EACL,KAAK,wBAAwB,EAK9B,MAAM,+CAA+C,CAAC;AACvD,OAAO,EACL,KAAK,oBAAoB,EAK1B,MAAM,qCAAqC,CAAC;AAQ7C;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC;AAED;;;;;GAKG;AACH,qBAAa,iBAAkB,YAAW,WAAW;IACnD,uDAAuD;IACvD,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAoB;IACvC,+EAA+E;IAC/E,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAkC;IAExD;;;;;;OAMG;gBACS,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC,QAAQ;IAI/C;;;;;;;;OAQG;IACH,iBAAiB,CAAC,GAAG,EAAE,sBAAsB,GAAG,OAAO,CAAC,uBAAuB,CAAC;IAMhF;;;;;;;;OAQG;IACH,eAAe,CAAC,IAAI,EAAE,oBAAoB,GAAG,OAAO,CAAC,IAAI,CAAC;IAM1D;;;;;;;;;;;OAWG;IACH,uBAAuB,CACrB,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAClB,iBAAiB,EAAE,SAAS,iBAAiB,EAAE,EAC/C,IAAI,CAAC,EAAE,8BAA8B,GACpC,OAAO,CAAC,IAAI,CAAC;IAWhB;;;;;;;;;OASG;IACH,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAAC,IAAI,CAAC;IAM1E;;;;;;;;OAQG;IACH,cAAc,CAAC,GAAG,EAAE,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC;IAMzD;;;;;;;;;OASG;IACH,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IAMxE;;;;;;;;;OASG;IACH,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IAMzE;;;;;;;;;;;OAWG;IACH,kBAAkB,CAChB,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,kBAAkB,EAAE,MAAM,GACzB,OAAO,CAAC,IAAI,CAAC;IAahB;;;;;;;;OAQG;IACH,eAAe,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,eAAe,EAAE,CAAC;IAI3E;;;;;;;;OAQG;IACH,oBAAoB,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC;IAMhE;;;;;;;;;OASG;IACH,iBAAiB,CACf,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE,wBAAwB,GAC9B,OAAO,CAAC,SAAS,mBAAmB,EAAE,CAAC;IAI1C;;;;;;;;;OASG;IACH,oBAAoB,CAAC,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAM3F;;;;;;;;OAQG;IACH,oBAAoB,CAAC,UAAU,EAAE,yBAAyB,GAAG,OAAO,CAAC,IAAI,CAAC;IAM1E;;;;;;;;;;;OAWG;IACH,wBAAwB,CACtB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EACrB,gBAAgB,CAAC,EAAE,MAAM,GACxB,OAAO,CAAC,IAAI,CAAC;IAahB;;;;;;;;OAQG;IACH,sBAAsB,CACpB,QAAQ,EAAE,SAAS,MAAM,EAAE,GAC1B,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;IAIzD;;;;;;OAMG;IACH,yBAAyB,IAAI,OAAO,CAAC,SAAS,yBAAyB,EAAE,CAAC;IAI1E;;;;;;;;OAQG;IACH,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAM9C;;;;;;OAMG;IACH,KAAK,IAAI,IAAI;CAGd"}

package/dist/stores/sqlite-ledger-store.js

@@ -0,0 +1,295 @@
+import PQueue from 'p-queue';
+import { openSqliteConnection } from '../ddl/internal/open-sqlite-connection.js';
+import { compactRunFramesInSqlite } from './internal/sqlite-ledger-compaction-ops.js';
+import { appendMessageFrameInSqlite, getMessageChainFromSqlite, markFrameTombstoneInSqlite, replaceMessageFrameInSqlite, } from './internal/sqlite-ledger-frame-ops.js';
+import { getSuspendedForksFromSqlite, mutateLanePlanInSqlite, recordForkSuspensionInSqlite, resolveSuspendedForkInSqlite, } from './internal/sqlite-ledger-plan-and-fork-ops.js';
+import { createOrResumeRunInSqlite, getRunTerminalReceiptsFromSqlite, recordRunTerminalReceiptInSqlite, updateRunInputInSqlite, } from './internal/sqlite-ledger-run-ops.js';
+import { getInterruptedStepsOnBootFromSqlite, recordStepStartInSqlite, recordStepTransitionInSqlite, updateContinuationStackInSqlite, } from './internal/sqlite-ledger-step-ops.js';
+/**
+ * WAL-mode SQLite implementation of the `@paraharness/core` `LedgerStore` runtime port.
+ *
+ * Persists flow runs, step continuation stacks, wire-frame chains, dynamic lane DAG mutations,
+ * and suspended fork records inside transactional SQLite tables serialized via `p-queue`.
+ */
+export class SqliteLedgerStore {
+    /** Underlying `better-sqlite3` database connection. */
+    db;
+    /** Single-concurrency FIFO queue serializing asynchronous store operations. */
+    queue = new PQueue({ concurrency: 1 });
+    /**
+     * Initializes a `SqliteLedgerStore` against a SQLite file path, `:memory:`, or existing `Database` instance.
+     *
+     * Applies WAL-mode PRAGMAs and idempotent ledger DDL statements on initialization.
+     *
+     * @param {string | Database.Database} uriOrDb - SQLite database URI or open `better-sqlite3` handle.
+     */
+    constructor(uriOrDb) {
+        this.db = openSqliteConnection(uriOrDb);
+    }
+    /**
+     * Creates a new flow run row (`status: 'RUNNING'`) or resumes an existing run.
+     *
+     * Pins `compiledPrefixesJson` on initial creation and returns completed step outputs for `.inputFrom()`.
+     *
+     * @param {CreateOrResumeRunInput} run - Run initialization or resume request payload.
+     *
+     * @returns {Promise<CreateOrResumeRunResult>} Current persisted state and completed step outputs.
+     */
+    createOrResumeRun(run) {
+        return this.queue.add(() => this.db.transaction(() => createOrResumeRunInSqlite(this.db, run))());
+    }
+    /**
+     * Records the start of a flow step execution and initializes its `ContinuationFrame[]` stack.
+     *
+     * Persists `baseScopeCheckpoint` and `executableId` for reboot recovery.
+     *
+     * @param {RecordStepStartInput} step - Step start metadata and initial continuation stack.
+     *
+     * @returns {Promise<void>} Resolves once the step start is committed.
+     */
+    recordStepStart(step) {
+        return this.queue.add(() => {
+            this.db.transaction(() => recordStepStartInSqlite(this.db, step))();
+        });
+    }
+    /**
+     * Atomically updates the serialized `ContinuationFrame[]` stack for `stepExecId`.
+     *
+     * Optionally updates `baseScopeCheckpoint` after prerequisite `syncRoot` wakeup.
+     *
+     * @param {string}                         runId             - Enclosing flow run identifier.
+     * @param {string}                         stepExecId        - Target step execution identifier.
+     * @param {readonly ContinuationFrame[]}   continuationStack - Updated outer-to-inner continuation stack.
+     * @param {UpdateContinuationStackOptions} [opts]            - Optional updated base scope checkpoint.
+     *
+     * @returns {Promise<void>} Resolves once the continuation stack is persisted.
+     */
+    updateContinuationStack(runId, stepExecId, continuationStack, opts) {
+        return this.queue.add(() => {
+            updateContinuationStackInSqlite(this.db, {
+                runId,
+                stepExecId,
+                continuationStack,
+                baseScopeCheckpoint: opts?.baseScopeCheckpoint,
+            });
+        });
+    }
+    /**
+     * Updates a run's serialized flow input payload and optional pending rewind target step ID.
+     *
+     * Used during `.replaceWith()` step promotion and `.onSignal().rewindTo()` transitions.
+     *
+     * @param {string}               runId  - Target flow run identifier.
+     * @param {UpdateRunInputParams} update - Updated input JSON and rewind target.
+     *
+     * @returns {Promise<void>} Resolves once the run input update is committed.
+     */
+    updateRunInput(runId, update) {
+        return this.queue.add(() => {
+            updateRunInputInSqlite(this.db, runId, update);
+        });
+    }
+    /**
+     * Atomically chains spawned prerequisite items and validates DAG acyclicity and `maxPrerequisiteDepth`.
+     *
+     * Rejects cycles and depth limit breaches before committing any edge to SQLite.
+     *
+     * @param {MutateLanePlanRequest} req - Lane plan mutation request.
+     *
+     * @returns {Promise<void>} Resolves once the lane DAG mutation is committed.
+     */
+    mutateLanePlan(req) {
+        return this.queue.add(() => {
+            this.db.transaction(() => mutateLanePlanInSqlite(this.db, req))();
+        });
+    }
+    /**
+     * Appends a new `WireFrameRecord` to the conversation transcript for `runId`.
+     *
+     * Persists both raw vendor wire bytes and canonical message projections.
+     *
+     * @param {string}          runId - Enclosing flow run identifier.
+     * @param {WireFrameRecord} frame - Immutable wire frame record to append.
+     *
+     * @returns {Promise<void>} Resolves once the frame is persisted.
+     */
+    appendMessageFrame(runId, frame) {
+        return this.queue.add(() => {
+            appendMessageFrameInSqlite(this.db, runId, frame);
+        });
+    }
+    /**
+     * Replaces an existing `WireFrameRecord` in-place (such as after `appendToolResultNotes`).
+     *
+     * Updates `rawWireFrame` and `canonical` while preserving `messageId` and `parentMessageId`.
+     *
+     * @param {string}          runId - Enclosing flow run identifier.
+     * @param {WireFrameRecord} frame - Updated wire frame record.
+     *
+     * @returns {Promise<void>} Resolves once the frame replacement is committed.
+     */
+    replaceMessageFrame(runId, frame) {
+        return this.queue.add(() => {
+            replaceMessageFrameInSqlite(this.db, runId, frame);
+        });
+    }
+    /**
+     * Records a per-`callId` compacted skill tombstone on an earlier `activateSkill` message frame.
+     *
+     * Updates `compactedTombstones[callId]` without mutating `rawWireFrame`.
+     *
+     * @param {string} runId              - Enclosing flow run identifier.
+     * @param {string} messageId          - Target `WireFrameRecord.messageId`.
+     * @param {string} callId             - Tool call ID of the `activateSkill` invocation.
+     * @param {string} compactedTombstone - Tombstone replacement string for cross-model escalations.
+     *
+     * @returns {Promise<void>} Resolves once the tombstone entry is recorded.
+     */
+    markFrameTombstone(runId, messageId, callId, compactedTombstone) {
+        return this.queue.add(() => {
+            this.db.transaction(() => markFrameTombstoneInSqlite(this.db, {
+                runId,
+                messageId,
+                callId,
+                compactedTombstone,
+            }))();
+        });
+    }
+    /**
+     * Reconstructs the ordered `WireFrameRecord[]` ancestor chain from Turn 0 through `leafMessageId`.
+     *
+     * Traverses `parentMessageId` links and returns frames in chronological root-to-leaf order.
+     *
+     * @param {string} leafMessageId - Identifier of the trailing message frame in the chain.
+     *
+     * @returns {Promise<readonly WireFrameRecord[]>} Ordered root-to-leaf wire frame sequence.
+     */
+    getMessageChain(leafMessageId) {
+        return this.queue.add(() => getMessageChainFromSqlite(this.db, leafMessageId));
+    }
+    /**
+     * Persists a `SuspendedForkRecord` when a child fork suspends on an upward or sibling interrupt.
+     *
+     * Stores the monotonic `suspendedForkId` (`${forkId}#${suspensionEpoch}`) and continuation stack.
+     *
+     * @param {SuspendedForkRecord} record - Suspended fork snapshot and continuation stack.
+     *
+     * @returns {Promise<void>} Resolves once the suspension record is persisted.
+     */
+    recordForkSuspension(record) {
+        return this.queue.add(() => {
+            recordForkSuspensionInSqlite(this.db, record);
+        });
+    }
+    /**
+     * Queries unresolved suspended fork records for `runId`, optionally filtered by `forkIds` or `parentStepExecId`.
+     *
+     * Excludes epochs already marked `'RESUMED'` or `'ABORTED'`.
+     *
+     * @param {string}                   runId  - Enclosing flow run identifier.
+     * @param {GetSuspendedForksOptions} [opts] - Optional filter criteria.
+     *
+     * @returns {Promise<readonly SuspendedForkRecord[]>} Matching open suspended fork records.
+     */
+    getSuspendedForks(runId, opts) {
+        return this.queue.add(() => getSuspendedForksFromSqlite(this.db, runId, opts));
+    }
+    /**
+     * Marks `suspendedForkId` and any earlier unresolved epochs `${forkId}#1 .. ${forkId}#${epoch}` as resolved.
+     *
+     * Prevents resolved suspension epochs from remaining open in subsequent queries.
+     *
+     * @param {string}                suspendedForkId - Monotonic `${forkId}#${suspensionEpoch}` identifier.
+     * @param {'RESUMED' | 'ABORTED'} status          - Resolution status.
+     *
+     * @returns {Promise<void>} Resolves once the status transition is committed.
+     */
+    resolveSuspendedFork(suspendedForkId, status) {
+        return this.queue.add(() => {
+            this.db.transaction(() => resolveSuspendedForkInSqlite(this.db, suspendedForkId, status))();
+        });
+    }
+    /**
+     * Records a step lifecycle transition (`'RUNNING' | 'COMPLETED' | 'INTERRUPTED' | 'FAILED' | 'SUSPENDED'`).
+     *
+     * Commits serialized output, scope checkpoints, and universal step telemetry.
+     *
+     * @param {RecordStepTransitionInput} transition - Step transition payload and telemetry snapshot.
+     *
+     * @returns {Promise<void>} Resolves once the step transition is persisted.
+     */
+    recordStepTransition(transition) {
+        return this.queue.add(() => {
+            this.db.transaction(() => recordStepTransitionInSqlite(this.db, transition))();
+        });
+    }
+    /**
+     * Persists the terminal exit state and final scope receipt for `runId` and `itemKey`.
+     *
+     * Updates both `harness_terminal_receipts` and `harness_runs`.
+     *
+     * @param {string} runId              - Completed flow run identifier.
+     * @param {string} itemKey            - Work item deduplication key.
+     * @param {string} terminalState      - Terminal exit state string.
+     * @param {string} [scopeReceiptJson] - Optional JSON-serialized final scope receipt.
+     *
+     * @returns {Promise<void>} Resolves once the terminal receipt is committed.
+     */
+    recordRunTerminalReceipt(runId, itemKey, terminalState, scopeReceiptJson) {
+        return this.queue.add(() => {
+            this.db.transaction(() => recordRunTerminalReceiptInSqlite(this.db, {
+                runId,
+                itemKey,
+                terminalState,
+                scopeReceiptJson,
+            }))();
+        });
+    }
+    /**
+     * Retrieves the latest terminal run receipts keyed by `itemKey`.
+     *
+     * Used during prerequisite `syncRoot` wakeup and signal-correlated overlay commits.
+     *
+     * @param {readonly string[]} itemKeys - Work item keys to look up.
+     *
+     * @returns {Promise<ReadonlyMap<string, RunTerminalReceiptRecord>>} Map of `itemKey` to terminal receipt record.
+     */
+    getRunTerminalReceipts(itemKeys) {
+        return this.queue.add(() => getRunTerminalReceiptsFromSqlite(this.db, itemKeys));
+    }
+    /**
+     * Queries all non-terminal runs (`'QUEUED' | 'RUNNING' | 'WAITING' | 'SUSPENDED'`) on runtime startup.
+     *
+     * Returns active step checkpoints and continuation stacks for reboot crash recovery.
+     *
+     * @returns {Promise<readonly InterruptedStepBootRecord[]>} Non-terminal runs requiring recovery.
+     */
+    getInterruptedStepsOnBoot() {
+        return this.queue.add(() => getInterruptedStepsOnBootFromSqlite(this.db));
+    }
+    /**
+     * Prunes raw `WireFrameRecord` payloads for a terminal `runId` while retaining canonical audit headers.
+     *
+     * Scoped strictly to `runId` so active runs sharing the same `itemKey` are never pruned.
+     *
+     * @param {string} runId - Terminal flow run identifier to compact.
+     *
+     * @returns {Promise<void>} Resolves once wire frames for `runId` are compacted.
+     */
+    compactRunFrames(runId) {
+        return this.queue.add(() => {
+            this.db.transaction(() => compactRunFramesInSqlite(this.db, runId))();
+        });
+    }
+    /**
+     * Closes the underlying `better-sqlite3` database connection.
+     *
+     * Releases file descriptors and WAL shared-memory locks held by this store instance.
+     *
+     * @returns {void} Returns nothing once the connection is closed.
+     */
+    close() {
+        this.db.close();
+    }
+}
+//# sourceMappingURL=sqlite-ledger-store.js.map

package/dist/stores/sqlite-ledger-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-store.js","sourceRoot":"","sources":["../../src/stores/sqlite-ledger-store.ts"],"names":[],"mappings":"AAcA,OAAO,MAAM,MAAM,SAAS,CAAC;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EACL,0BAA0B,EAC1B,yBAAyB,EACzB,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAEL,2BAA2B,EAC3B,sBAAsB,EACtB,4BAA4B,EAC5B,4BAA4B,GAC7B,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAEL,yBAAyB,EACzB,gCAAgC,EAChC,gCAAgC,EAChC,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,mCAAmC,EACnC,uBAAuB,EACvB,4BAA4B,EAC5B,+BAA+B,GAChC,MAAM,sCAAsC,CAAC;AAU9C;;;;;GAKG;AACH,MAAM,OAAO,iBAAiB;IAC5B,uDAAuD;IACtC,EAAE,CAAoB;IACvC,+EAA+E;IAC9D,KAAK,GAAG,IAAI,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;IAExD;;;;;;OAMG;IACH,YAAY,OAAmC;QAC7C,IAAI,CAAC,EAAE,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED;;;;;;;;OAQG;IACH,iBAAiB,CAAC,GAA2B;QAC3C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CACzB,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CACrE,CAAC;IACJ,CAAC;IAED;;;;;;;;OAQG;IACH,eAAe,CAAC,IAA0B;QACxC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACH,uBAAuB,CACrB,KAAa,EACb,UAAkB,EAClB,iBAA+C,EAC/C,IAAqC;QAErC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,+BAA+B,CAAC,IAAI,CAAC,EAAE,EAAE;gBACvC,KAAK;gBACL,UAAU;gBACV,iBAAiB;gBACjB,mBAAmB,EAAE,IAAI,EAAE,mBAAmB;aAC/C,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;OASG;IACH,cAAc,CAAC,KAAa,EAAE,MAA4B;QACxD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,sBAAsB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACH,cAAc,CAAC,GAA0B;QACvC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QACpE,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;OASG;IACH,kBAAkB,CAAC,KAAa,EAAE,KAAsB;QACtD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,0BAA0B,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;OASG;IACH,mBAAmB,CAAC,KAAa,EAAE,KAAsB;QACvD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACH,kBAAkB,CAChB,KAAa,EACb,SAAiB,EACjB,MAAc,EACd,kBAA0B;QAE1B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CACvB,0BAA0B,CAAC,IAAI,CAAC,EAAE,EAAE;gBAClC,KAAK;gBACL,SAAS;gBACT,MAAM;gBACN,kBAAkB;aACnB,CAAC,CACH,EAAE,CAAC;QACN,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACH,eAAe,CAAC,aAAqB;QACnC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IACjF,CAAC;IAED;;;;;;;;OAQG;IACH,oBAAoB,CAAC,MAA2B;QAC9C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,4BAA4B,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;OASG;IACH,iBAAiB,CACf,KAAa,EACb,IAA+B;QAE/B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IACjF,CAAC;IAED;;;;;;;;;OASG;IACH,oBAAoB,CAAC,eAAuB,EAAE,MAA6B;QACzE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QAC9F,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACH,oBAAoB,CAAC,UAAqC;QACxD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;QACjF,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACH,wBAAwB,CACtB,KAAa,EACb,OAAe,EACf,aAAqB,EACrB,gBAAyB;QAEzB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CACvB,gCAAgC,CAAC,IAAI,CAAC,EAAE,EAAE;gBACxC,KAAK;gBACL,OAAO;gBACP,aAAa;gBACb,gBAAgB;aACjB,CAAC,CACH,EAAE,CAAC;QACN,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACH,sBAAsB,CACpB,QAA2B;QAE3B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,gCAAgC,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACnF,CAAC;IAED;;;;;;OAMG;IACH,yBAAyB;QACvB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,mCAAmC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;IAED;;;;;;;;OAQG;IACH,gBAAgB,CAAC,KAAa;QAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YACzB,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACxE,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACH,KAAK;QACH,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;CACF"}

package/dist/stores/sqlite-lesson-store.d.ts

@@ -0,0 +1,96 @@
+import type { LessonRecord, LessonStore } from '@paraharness/core';
+import type Database from 'better-sqlite3';
+import type { AdmitLessonParams } from './internal/admit-lesson-params.js';
+import { type LessonOutcomeEntryParams, type QueryLessonCandidatesParams } from './internal/sqlite-lesson-ops.js';
+/**
+ * WAL-mode SQLite implementation of the `@paraharness/core` `LessonStore` runtime port.
+ *
+ * Persists distilled empirical lessons, computes normalized candidate relevance $R(L, Q) \in [0, 1]$,
+ * tracks 4-state execution outcomes, synchronizes creation epochs, and enforces signal cooldowns.
+ */
+export declare class SqliteLessonStore implements LessonStore {
+    /** Underlying `better-sqlite3` database connection. */
+    private readonly db;
+    /** Single-concurrency FIFO queue serializing asynchronous store operations. */
+    private readonly queue;
+    /**
+     * Initializes a `SqliteLessonStore` against a SQLite file path, `:memory:`, or existing `Database` handle.
+     *
+     * Applies WAL-mode PRAGMAs and idempotent lesson store DDL statements on initialization.
+     *
+     * @param {string | Database.Database} uriOrDb - SQLite database URI or open `better-sqlite3` handle.
+     */
+    constructor(uriOrDb: string | Database.Database);
+    /**
+     * Queries non-retired candidate lessons relevant to `req.queryText` and `req.partitions`.
+     *
+     * Populates `relevanceScore` in `[0, 1]` on each returned `LessonRecord`.
+     *
+     * @param {QueryLessonCandidatesParams} req - Search query and active partitions.
+     *
+     * @returns {Promise<readonly LessonRecord[]>} Candidate lesson records with `relevanceScore` populated.
+     */
+    queryCandidates(req: QueryLessonCandidatesParams): Promise<readonly LessonRecord[]>;
+    /**
+     * Persists a newly distilled lesson into the store and returns its assigned `lessonId`.
+     *
+     * Deduplicates identical `(partition, directive)` entries and records `epochAtCreation` and `createdByRunId`.
+     *
+     * @param {AdmitLessonParams} lesson - Lesson definition to admit.
+     *
+     * @returns {Promise<string>} Newly assigned or content-addressed `lessonId`.
+     */
+    admit(lesson: AdmitLessonParams): Promise<string>;
+    /**
+     * Appends deduplicated step execution outcomes to the specified lessons and returns their updated records.
+     *
+     * Increments `totalCleanPasses` or `totalViolated` and updates each lesson's `recentOutcomes` window.
+     *
+     * @param {readonly LessonOutcomeEntryParams[]} outcomes - Batch of `(lessonId, outcome)` pairs.
+     *
+     * @returns {Promise<readonly LessonRecord[]>} Updated lesson records reflecting the recorded outcomes.
+     */
+    recordOutcomes(outcomes: readonly LessonOutcomeEntryParams[]): Promise<readonly LessonRecord[]>;
+    /**
+     * Aligns `epochAtCreation` for lessons created by `runIds` when their topology overlays commit to the base store.
+     *
+     * Prevents lessons authored in a run that also updated a partition's contract from being falsely penalized for epoch drift.
+     *
+     * @param {readonly string[]}           runIds        - Run IDs whose topology overlays were committed.
+     * @param {ReadonlyMap<string, number>} updatedEpochs - Map of `partitionId` to newly committed base epoch.
+     *
+     * @returns {Promise<void>} Resolves when creation epochs are synchronized.
+     */
+    syncCreationEpochsForRuns(runIds: readonly string[], updatedEpochs: ReadonlyMap<string, number>): Promise<void>;
+    /**
+     * Records the ISO-8601 timestamp when a promotion signal was emitted for `lessonId`.
+     *
+     * Persists the timestamp in `signalLastEmittedAt[signalId]` to enforce `cooldownHours` across restarts.
+     *
+     * @param {string} lessonId  - Identifier of the lesson that triggered the signal.
+     * @param {string} signalId  - Identifier of the emitted signal.
+     * @param {string} emittedAt - ISO-8601 timestamp string of the emission.
+     *
+     * @returns {Promise<void>} Resolves when the cooldown timestamp is persisted.
+     */
+    markSignalEmitted(lessonId: string, signalId: string, emittedAt: string): Promise<void>;
+    /**
+     * Permanently retires lessons that breached violation or low clean-pass-rate thresholds.
+     *
+     * Excludes retired lessons from all subsequent `queryCandidates()` recalls.
+     *
+     * @param {readonly string[]} lessonIds - Identifiers of lessons to retire.
+     *
+     * @returns {Promise<void>} Resolves when all specified lessons are retired.
+     */
+    retire(lessonIds: readonly string[]): Promise<void>;
+    /**
+     * Closes the underlying `better-sqlite3` database connection.
+     *
+     * Releases file descriptors and WAL shared-memory locks held by this store instance.
+     *
+     * @returns {void} Returns nothing once the connection is closed.
+     */
+    close(): void;
+}
+//# sourceMappingURL=sqlite-lesson-store.d.ts.map

package/dist/stores/sqlite-lesson-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-lesson-store.d.ts","sourceRoot":"","sources":["../../src/stores/sqlite-lesson-store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAG3C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,2BAA2B,EAOjC,MAAM,iCAAiC,CAAC;AAEzC;;;;;GAKG;AACH,qBAAa,iBAAkB,YAAW,WAAW;IACnD,uDAAuD;IACvD,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAoB;IACvC,+EAA+E;IAC/E,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAkC;IAExD;;;;;;OAMG;gBACS,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC,QAAQ;IAI/C;;;;;;;;OAQG;IACH,eAAe,CAAC,GAAG,EAAE,2BAA2B,GAAG,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC;IAInF;;;;;;;;OAQG;IACH,KAAK,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC;IAIjD;;;;;;;;OAQG;IACH,cAAc,CAAC,QAAQ,EAAE,SAAS,wBAAwB,EAAE,GAAG,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC;IAM/F;;;;;;;;;OASG;IACH,yBAAyB,CACvB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACzC,OAAO,CAAC,IAAI,CAAC;IAMhB;;;;;;;;;;OAUG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAQvF;;;;;;;;OAQG;IACH,MAAM,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQnD;;;;;;OAMG;IACH,KAAK,IAAI,IAAI;CAGd"}