@paraharness/sqlite 0.0.0-stage → 0.1.0

package/dist/stores/internal/sqlite-ledger-plan-and-fork-ops.d.ts

@@ -0,0 +1,59 @@
+import type { MutateLanePlanRequest, SuspendedForkRecord } from '@paraharness/core';
+import type Database from 'better-sqlite3';
+/**
+ * Optional filter criteria for querying unresolved suspended forks in `getSuspendedForks`.
+ */
+export interface GetSuspendedForksOptions {
+    /** Optional list of logical `forkId` or monotonic `suspendedForkId` values to match. */
+    readonly forkIds?: readonly string[];
+    /** Optional parent `stepExecId` that spawned the suspended fork. */
+    readonly parentStepExecId?: string;
+}
+/**
+ * Atomically chains spawned prerequisite items and validates DAG acyclicity and `maxPrerequisiteDepth`.
+ *
+ * Enforces linear prerequisite stacking ($T_{\text{prevTip}} \leftarrow T_1 \leftarrow \dots \leftarrow T_k \leftarrow T_{\text{parent}}$)
+ * and rejects cycles or depth violations before mutating `harness_lane_items` and `harness_runs`.
+ *
+ * @param {Database.Database}     db  - Active SQLite database handle.
+ * @param {MutateLanePlanRequest} req - Lane plan mutation request.
+ *
+ * @returns {void} Returns nothing once the DAG mutation is committed.
+ */
+export declare function mutateLanePlanInSqlite(db: Database.Database, req: MutateLanePlanRequest): void;
+/**
+ * Persists a `SuspendedForkRecord` in `harness_suspended_forks`.
+ *
+ * Stores the monotonic `${forkId}#${suspensionEpoch}` identifier and full continuation stack.
+ *
+ * @param {Database.Database}   db     - Active SQLite database handle.
+ * @param {SuspendedForkRecord} record - Suspended fork snapshot to persist.
+ *
+ * @returns {void} Returns nothing once the suspension record is saved.
+ */
+export declare function recordForkSuspensionInSqlite(db: Database.Database, record: SuspendedForkRecord): void;
+/**
+ * Queries unresolved (`resolution_status IS NULL`) suspended forks for `runId`.
+ *
+ * Supports optional filtering by `forkIds` (matching `forkId` or `suspendedForkId`) and `parentStepExecId`.
+ *
+ * @param {Database.Database}        db     - Active SQLite database handle.
+ * @param {string}                   runId  - Enclosing flow run identifier.
+ * @param {GetSuspendedForksOptions} [opts] - Optional filter criteria.
+ *
+ * @returns {readonly SuspendedForkRecord[]} Matching unresolved suspended fork records.
+ */
+export declare function getSuspendedForksFromSqlite(db: Database.Database, runId: string, opts?: GetSuspendedForksOptions): readonly SuspendedForkRecord[];
+/**
+ * Marks `suspendedForkId` and any earlier unresolved epochs `${forkId}#1 .. ${forkId}#${epoch}` as resolved.
+ *
+ * Guarantees recursive epoch resolution safety (`SPEC.md` §3.7.2) so prior epochs never remain open.
+ *
+ * @param {Database.Database}     db              - Active SQLite database handle.
+ * @param {string}                suspendedForkId - Monotonic `${forkId}#${suspensionEpoch}` identifier.
+ * @param {'RESUMED' | 'ABORTED'} status          - Target resolution status.
+ *
+ * @returns {void} Returns nothing once the epoch resolution is committed.
+ */
+export declare function resolveSuspendedForkInSqlite(db: Database.Database, suspendedForkId: string, status: 'RESUMED' | 'ABORTED'): void;
+//# sourceMappingURL=sqlite-ledger-plan-and-fork-ops.d.ts.map

package/dist/stores/internal/sqlite-ledger-plan-and-fork-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-plan-and-fork-ops.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-plan-and-fork-ops.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACpF,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAY3C;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,wFAAwF;IACxF,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,oEAAoE;IACpE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAsB9F;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,MAAM,EAAE,mBAAmB,GAC1B,IAAI,CAWN;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,2BAA2B,CACzC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE,wBAAwB,GAC9B,SAAS,mBAAmB,EAAE,CAchC;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAC1C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,eAAe,EAAE,MAAM,EACvB,MAAM,EAAE,SAAS,GAAG,SAAS,GAC5B,IAAI,CAwBN"}

package/dist/stores/internal/sqlite-ledger-plan-and-fork-ops.js

@@ -0,0 +1,90 @@
+import { matchesSuspendedForkFilter, parseSuspendedForkCoordinates, } from './sqlite-ledger-fork-operations.js';
+import { upsertParentLaneItemInSqlite, upsertSpawnedLaneItemsInSqlite, } from './sqlite-ledger-plan-operations.js';
+import { buildChainedLaneDependencies } from './validate-lane-dag.js';
+/**
+ * Atomically chains spawned prerequisite items and validates DAG acyclicity and `maxPrerequisiteDepth`.
+ *
+ * Enforces linear prerequisite stacking ($T_{\text{prevTip}} \leftarrow T_1 \leftarrow \dots \leftarrow T_k \leftarrow T_{\text{parent}}$)
+ * and rejects cycles or depth violations before mutating `harness_lane_items` and `harness_runs`.
+ *
+ * @param {Database.Database}     db  - Active SQLite database handle.
+ * @param {MutateLanePlanRequest} req - Lane plan mutation request.
+ *
+ * @returns {void} Returns nothing once the DAG mutation is committed.
+ */
+export function mutateLanePlanInSqlite(db, req) {
+    const existingRows = db
+        .prepare('SELECT item_key, depends_on_json, latest_spawned_tip_key FROM harness_lane_items WHERE lane_id = ?')
+        .all(req.laneId);
+    const { depsByItem, rollingTip, nextParentDeps } = buildChainedLaneDependencies(existingRows, req);
+    upsertSpawnedLaneItemsInSqlite(db, req, depsByItem);
+    upsertParentLaneItemInSqlite({
+        db,
+        req,
+        nextParentDeps,
+        rollingTip,
+        now: new Date().toISOString(),
+    });
+}
+/**
+ * Persists a `SuspendedForkRecord` in `harness_suspended_forks`.
+ *
+ * Stores the monotonic `${forkId}#${suspensionEpoch}` identifier and full continuation stack.
+ *
+ * @param {Database.Database}   db     - Active SQLite database handle.
+ * @param {SuspendedForkRecord} record - Suspended fork snapshot to persist.
+ *
+ * @returns {void} Returns nothing once the suspension record is saved.
+ */
+export function recordForkSuspensionInSqlite(db, record) {
+    db.prepare('INSERT OR REPLACE INTO harness_suspended_forks (suspended_fork_id, fork_id, suspension_epoch, run_id, parent_step_exec_id, record_json, resolution_status) VALUES (?, ?, ?, ?, ?, ?, NULL)').run(record.suspendedForkId, record.forkId, record.suspensionEpoch, record.runId, record.parentStepExecId, JSON.stringify(record));
+}
+/**
+ * Queries unresolved (`resolution_status IS NULL`) suspended forks for `runId`.
+ *
+ * Supports optional filtering by `forkIds` (matching `forkId` or `suspendedForkId`) and `parentStepExecId`.
+ *
+ * @param {Database.Database}        db     - Active SQLite database handle.
+ * @param {string}                   runId  - Enclosing flow run identifier.
+ * @param {GetSuspendedForksOptions} [opts] - Optional filter criteria.
+ *
+ * @returns {readonly SuspendedForkRecord[]} Matching unresolved suspended fork records.
+ */
+export function getSuspendedForksFromSqlite(db, runId, opts) {
+    const rows = db
+        .prepare('SELECT * FROM harness_suspended_forks WHERE run_id = ? AND resolution_status IS NULL ORDER BY suspension_epoch ASC, suspended_fork_id ASC')
+        .all(runId);
+    const forkIdSet = opts?.forkIds !== undefined ? new Set(opts.forkIds) : undefined;
+    const records = [];
+    for (const row of rows) {
+        if (matchesSuspendedForkFilter(row, forkIdSet, opts?.parentStepExecId)) {
+            records.push(Object.freeze(JSON.parse(row.record_json)));
+        }
+    }
+    return Object.freeze(records);
+}
+/**
+ * Marks `suspendedForkId` and any earlier unresolved epochs `${forkId}#1 .. ${forkId}#${epoch}` as resolved.
+ *
+ * Guarantees recursive epoch resolution safety (`SPEC.md` §3.7.2) so prior epochs never remain open.
+ *
+ * @param {Database.Database}     db              - Active SQLite database handle.
+ * @param {string}                suspendedForkId - Monotonic `${forkId}#${suspensionEpoch}` identifier.
+ * @param {'RESUMED' | 'ABORTED'} status          - Target resolution status.
+ *
+ * @returns {void} Returns nothing once the epoch resolution is committed.
+ */
+export function resolveSuspendedForkInSqlite(db, suspendedForkId, status) {
+    const target = db
+        .prepare('SELECT run_id, fork_id, suspension_epoch FROM harness_suspended_forks WHERE suspended_fork_id = ?')
+        .get(suspendedForkId);
+    if (target !== undefined) {
+        db.prepare('UPDATE harness_suspended_forks SET resolution_status = ? WHERE run_id = ? AND fork_id = ? AND suspension_epoch <= ? AND resolution_status IS NULL').run(status, target.run_id, target.fork_id, target.suspension_epoch);
+        return;
+    }
+    const parsed = parseSuspendedForkCoordinates(suspendedForkId);
+    if (parsed !== undefined) {
+        db.prepare('UPDATE harness_suspended_forks SET resolution_status = ? WHERE fork_id = ? AND suspension_epoch <= ? AND resolution_status IS NULL').run(status, parsed.forkId, parsed.epoch);
+    }
+}
+//# sourceMappingURL=sqlite-ledger-plan-and-fork-ops.js.map

package/dist/stores/internal/sqlite-ledger-plan-and-fork-ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-plan-and-fork-ops.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-plan-and-fork-ops.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,4BAA4B,EAC5B,8BAA8B,GAC/B,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,4BAA4B,EAAE,MAAM,wBAAwB,CAAC;AAYtE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,EAAqB,EAAE,GAA0B;IACtF,MAAM,YAAY,GAAG,EAAE;SACpB,OAAO,CACN,oGAAoG,CACrG;SACA,GAAG,CAAC,GAAG,CAAC,MAAM,CAIf,CAAC;IACH,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,4BAA4B,CAC7E,YAAY,EACZ,GAAG,CACJ,CAAC;IACF,8BAA8B,CAAC,EAAE,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACpD,4BAA4B,CAAC;QAC3B,EAAE;QACF,GAAG;QACH,cAAc;QACd,UAAU;QACV,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KAC9B,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAqB,EACrB,MAA2B;IAE3B,EAAE,CAAC,OAAO,CACR,4LAA4L,CAC7L,CAAC,GAAG,CACH,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,gBAAgB,EACvB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CACvB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,2BAA2B,CACzC,EAAqB,EACrB,KAAa,EACb,IAA+B;IAE/B,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,2IAA2I,CAC5I;SACA,GAAG,CAAC,KAAK,CAA6B,CAAC;IAC1C,MAAM,SAAS,GAAG,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAS,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,0BAA0B,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACvE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAwB,CAAC,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAqB,EACrB,eAAuB,EACvB,MAA6B;IAE7B,MAAM,MAAM,GAAG,EAAE;SACd,OAAO,CACN,mGAAmG,CACpG;SACA,GAAG,CAAC,eAAe,CAMT,CAAC;IACd,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,EAAE,CAAC,OAAO,CACR,mJAAmJ,CACpJ,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACtE,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GAAG,6BAA6B,CAAC,eAAe,CAAC,CAAC;IAC9D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,EAAE,CAAC,OAAO,CACR,oIAAoI,CACrI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC"}

package/dist/stores/internal/sqlite-ledger-plan-operations.d.ts

@@ -0,0 +1,40 @@
+import type { MutateLanePlanRequest } from '@paraharness/core';
+import type Database from 'better-sqlite3';
+/**
+ * Parameters for persisting a parent item's updated prerequisite chain and rolling spawned tip in SQLite.
+ */
+export interface UpsertParentLaneItemSqliteParams {
+    /** Active SQLite database handle. */
+    readonly db: Database.Database;
+    /** Original lane plan mutation request. */
+    readonly req: MutateLanePlanRequest;
+    /** Updated prerequisite list for `req.parentItemKey`. */
+    readonly nextParentDeps: readonly string[];
+    /** Newly chained prerequisite tip item key, if any. */
+    readonly rollingTip: string | undefined;
+    /** ISO-8601 timestamp string for `updated_at`. */
+    readonly now: string;
+}
+/**
+ * Persists all newly spawned prerequisite items and their `'QUEUED'` run placeholders in SQLite.
+ *
+ * Updates `depends_on_json` on both `harness_lane_items` and `harness_runs` for each spawned item.
+ *
+ * @param {Database.Database}                       db         - Active SQLite database handle.
+ * @param {MutateLanePlanRequest}                   req        - Lane plan mutation request.
+ * @param {ReadonlyMap<string, readonly string[]>}  depsByItem - Validated dependency adjacency map.
+ *
+ * @returns {void} Returns nothing once all spawned items are persisted.
+ */
+export declare function upsertSpawnedLaneItemsInSqlite(db: Database.Database, req: MutateLanePlanRequest, depsByItem: ReadonlyMap<string, readonly string[]>): void;
+/**
+ * Persists the parent work item's updated `depends_on_json` and `latest_spawned_tip_key` in SQLite.
+ *
+ * Synchronizes both `harness_lane_items` and `harness_runs` for `params.req.parentRunId`.
+ *
+ * @param {UpsertParentLaneItemSqliteParams} params - Parent lane item update parameters.
+ *
+ * @returns {void} Returns nothing once the parent item and run dependencies are updated.
+ */
+export declare function upsertParentLaneItemInSqlite(params: UpsertParentLaneItemSqliteParams): void;
+//# sourceMappingURL=sqlite-ledger-plan-operations.d.ts.map

package/dist/stores/internal/sqlite-ledger-plan-operations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-plan-operations.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-plan-operations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAE3C;;GAEG;AACH,MAAM,WAAW,gCAAgC;IAC/C,qCAAqC;IACrC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC;IAC/B,2CAA2C;IAC3C,QAAQ,CAAC,GAAG,EAAE,qBAAqB,CAAC;IACpC,yDAAyD;IACzD,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,uDAAuD;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,kDAAkD;IAClD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,8BAA8B,CAC5C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,GAAG,EAAE,qBAAqB,EAC1B,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,GACjD,IAAI,CA4BN;AAED;;;;;;;;GAQG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,gCAAgC,GAAG,IAAI,CAgB3F"}

package/dist/stores/internal/sqlite-ledger-plan-operations.js

@@ -0,0 +1,39 @@
+/**
+ * Persists all newly spawned prerequisite items and their `'QUEUED'` run placeholders in SQLite.
+ *
+ * Updates `depends_on_json` on both `harness_lane_items` and `harness_runs` for each spawned item.
+ *
+ * @param {Database.Database}                       db         - Active SQLite database handle.
+ * @param {MutateLanePlanRequest}                   req        - Lane plan mutation request.
+ * @param {ReadonlyMap<string, readonly string[]>}  depsByItem - Validated dependency adjacency map.
+ *
+ * @returns {void} Returns nothing once all spawned items are persisted.
+ */
+export function upsertSpawnedLaneItemsInSqlite(db, req, depsByItem) {
+    const now = new Date().toISOString();
+    for (const spawnedTask of req.spawnedItems ?? []) {
+        const taskDepsJson = JSON.stringify(depsByItem.get(spawnedTask.itemKey) ?? []);
+        db.prepare('INSERT OR REPLACE INTO harness_lane_items (lane_id, item_key, input_json, depends_on_json, priority, latest_spawned_tip_key) VALUES (?, ?, ?, ?, ?, NULL)').run(req.laneId, spawnedTask.itemKey, spawnedTask.inputJson, taskDepsJson, spawnedTask.priority);
+        db.prepare("INSERT OR IGNORE INTO harness_runs (run_id, lane_id, item_key, status, current_step_id, input_json, depends_on_json, priority, updated_at) VALUES (?, ?, ?, 'QUEUED', NULL, ?, ?, ?, ?)").run(spawnedTask.itemKey, req.laneId, spawnedTask.itemKey, spawnedTask.inputJson, taskDepsJson, spawnedTask.priority, now);
+        db.prepare('UPDATE harness_runs SET depends_on_json = ?, updated_at = ? WHERE lane_id = ? AND item_key = ?').run(taskDepsJson, now, req.laneId, spawnedTask.itemKey);
+    }
+}
+/**
+ * Persists the parent work item's updated `depends_on_json` and `latest_spawned_tip_key` in SQLite.
+ *
+ * Synchronizes both `harness_lane_items` and `harness_runs` for `params.req.parentRunId`.
+ *
+ * @param {UpsertParentLaneItemSqliteParams} params - Parent lane item update parameters.
+ *
+ * @returns {void} Returns nothing once the parent item and run dependencies are updated.
+ */
+export function upsertParentLaneItemInSqlite(params) {
+    const parentDepsJson = JSON.stringify(params.nextParentDeps);
+    params.db
+        .prepare("INSERT OR REPLACE INTO harness_lane_items (lane_id, item_key, input_json, depends_on_json, priority, latest_spawned_tip_key) VALUES (?, ?, COALESCE((SELECT input_json FROM harness_runs WHERE run_id = ?), '{}'), ?, 'normal', ?)")
+        .run(params.req.laneId, params.req.parentItemKey, params.req.parentRunId, parentDepsJson, params.rollingTip ?? null);
+    params.db
+        .prepare('UPDATE harness_runs SET depends_on_json = ?, updated_at = ? WHERE run_id = ?')
+        .run(parentDepsJson, params.now, params.req.parentRunId);
+}
+//# sourceMappingURL=sqlite-ledger-plan-operations.js.map

package/dist/stores/internal/sqlite-ledger-plan-operations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-plan-operations.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-plan-operations.ts"],"names":[],"mappings":"AAmBA;;;;;;;;;;GAUG;AACH,MAAM,UAAU,8BAA8B,CAC5C,EAAqB,EACrB,GAA0B,EAC1B,UAAkD;IAElD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/E,EAAE,CAAC,OAAO,CACR,2JAA2J,CAC5J,CAAC,GAAG,CACH,GAAG,CAAC,MAAM,EACV,WAAW,CAAC,OAAO,EACnB,WAAW,CAAC,SAAS,EACrB,YAAY,EACZ,WAAW,CAAC,QAAQ,CACrB,CAAC;QACF,EAAE,CAAC,OAAO,CACR,yLAAyL,CAC1L,CAAC,GAAG,CACH,WAAW,CAAC,OAAO,EACnB,GAAG,CAAC,MAAM,EACV,WAAW,CAAC,OAAO,EACnB,WAAW,CAAC,SAAS,EACrB,YAAY,EACZ,WAAW,CAAC,QAAQ,EACpB,GAAG,CACJ,CAAC;QACF,EAAE,CAAC,OAAO,CACR,gGAAgG,CACjG,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAAwC;IACnF,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAC7D,MAAM,CAAC,EAAE;SACN,OAAO,CACN,oOAAoO,CACrO;SACA,GAAG,CACF,MAAM,CAAC,GAAG,CAAC,MAAM,EACjB,MAAM,CAAC,GAAG,CAAC,aAAa,EACxB,MAAM,CAAC,GAAG,CAAC,WAAW,EACtB,cAAc,EACd,MAAM,CAAC,UAAU,IAAI,IAAI,CAC1B,CAAC;IACJ,MAAM,CAAC,EAAE;SACN,OAAO,CAAC,8EAA8E,CAAC;SACvF,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAC7D,CAAC"}

package/dist/stores/internal/sqlite-ledger-run-operations.d.ts

@@ -0,0 +1,41 @@
+import type { CreateOrResumeRunInput, CreateOrResumeRunResult } from '@paraharness/core';
+import type Database from 'better-sqlite3';
+import type { SqliteRunRow } from './sqlite-run-row.js';
+/**
+ * Loads completed step outputs (`stepId -> outputJson`) for `runId` from `harness_step_executions`.
+ *
+ * Queries completed step executions in ascending `seq_id` order so the latest completed execution
+ * of each `stepId` populates the returned map without dynamic `Object.entries` allocations.
+ *
+ * @param {Database.Database} db    - Active SQLite database handle.
+ * @param {string}            runId - Enclosing flow run identifier.
+ *
+ * @returns {Map<string, string>} Map of completed `stepId` to serialized `outputJson`.
+ */
+export declare function loadCompletedStepOutputsFromSqlite(db: Database.Database, runId: string): Map<string, string>;
+/**
+ * Inserts a newly initialized flow run row (`status: 'RUNNING'`) and ensures its lane item exists.
+ *
+ * Replaces any stale `'QUEUED'` placeholder run for the same `(laneId, itemKey)` and pins
+ * `compiledPrefixesJson` at run creation time (`SPEC.md` §2.7).
+ *
+ * @param {Database.Database}      db  - Active SQLite database handle.
+ * @param {CreateOrResumeRunInput} run - Run initialization request payload.
+ * @param {string}                 now - ISO-8601 timestamp string for `updated_at`.
+ *
+ * @returns {CreateOrResumeRunResult} Newly initialized run state with empty completed step outputs.
+ */
+export declare function insertInitialSqliteRun(db: Database.Database, run: CreateOrResumeRunInput, now: string): CreateOrResumeRunResult;
+/**
+ * Resumes an existing flow run row in `harness_runs`, preserving its pinned `compiled_prefixes_json`.
+ *
+ * Updates `cost_usd` and `approved_max_cost_usd` if provided and loads completed step outputs.
+ *
+ * @param {Database.Database}      db       - Active SQLite database handle.
+ * @param {SqliteRunRow}           existing - Existing persisted run row.
+ * @param {CreateOrResumeRunInput} run      - Resume request payload.
+ *
+ * @returns {CreateOrResumeRunResult} Resumed run state and completed step outputs.
+ */
+export declare function resumeExistingSqliteRun(db: Database.Database, existing: SqliteRunRow, run: CreateOrResumeRunInput): CreateOrResumeRunResult;
+//# sourceMappingURL=sqlite-ledger-run-operations.d.ts.map

package/dist/stores/internal/sqlite-ledger-run-operations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-run-operations.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-run-operations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAExD;;;;;;;;;;GAUG;AACH,wBAAgB,kCAAkC,CAChD,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,KAAK,EAAE,MAAM,GACZ,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAgBrB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,GAAG,EAAE,sBAAsB,EAC3B,GAAG,EAAE,MAAM,GACV,uBAAuB,CAwCzB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,QAAQ,EAAE,YAAY,EACtB,GAAG,EAAE,sBAAsB,GAC1B,uBAAuB,CAqBzB"}

package/dist/stores/internal/sqlite-ledger-run-operations.js

@@ -0,0 +1,89 @@
+/**
+ * Loads completed step outputs (`stepId -> outputJson`) for `runId` from `harness_step_executions`.
+ *
+ * Queries completed step executions in ascending `seq_id` order so the latest completed execution
+ * of each `stepId` populates the returned map without dynamic `Object.entries` allocations.
+ *
+ * @param {Database.Database} db    - Active SQLite database handle.
+ * @param {string}            runId - Enclosing flow run identifier.
+ *
+ * @returns {Map<string, string>} Map of completed `stepId` to serialized `outputJson`.
+ */
+export function loadCompletedStepOutputsFromSqlite(db, runId) {
+    const rows = db
+        .prepare("SELECT step_id, output_json FROM harness_step_executions WHERE run_id = ? AND status = 'COMPLETED' ORDER BY seq_id ASC")
+        .all(runId);
+    const completedOutputs = new Map();
+    for (const row of rows) {
+        if (row.output_json !== null) {
+            completedOutputs.set(row.step_id, row.output_json);
+        }
+    }
+    return completedOutputs;
+}
+/**
+ * Inserts a newly initialized flow run row (`status: 'RUNNING'`) and ensures its lane item exists.
+ *
+ * Replaces any stale `'QUEUED'` placeholder run for the same `(laneId, itemKey)` and pins
+ * `compiledPrefixesJson` at run creation time (`SPEC.md` §2.7).
+ *
+ * @param {Database.Database}      db  - Active SQLite database handle.
+ * @param {CreateOrResumeRunInput} run - Run initialization request payload.
+ * @param {string}                 now - ISO-8601 timestamp string for `updated_at`.
+ *
+ * @returns {CreateOrResumeRunResult} Newly initialized run state with empty completed step outputs.
+ */
+export function insertInitialSqliteRun(db, run, now) {
+    const laneItem = db
+        .prepare('SELECT depends_on_json FROM harness_lane_items WHERE lane_id = ? AND item_key = ?')
+        .get(run.laneId, run.itemKey);
+    const depsJson = laneItem?.depends_on_json ?? '[]';
+    const prefixesJson = run.compiledPrefixesJson !== undefined ? JSON.stringify(run.compiledPrefixesJson) : null;
+    db.prepare("DELETE FROM harness_runs WHERE lane_id = ? AND item_key = ? AND status = 'QUEUED' AND run_id != ?").run(run.laneId, run.itemKey, run.runId);
+    db.prepare("INSERT INTO harness_runs (run_id, lane_id, item_key, status, current_step_id, input_json, rewind_pending_to_step_id, compiled_prefixes_json, cost_usd, approved_max_cost_usd, completed_step_outputs_json, depends_on_json, updated_at) VALUES (?, ?, ?, 'RUNNING', NULL, ?, NULL, ?, ?, ?, '{}', ?, ?)").run(run.runId, run.laneId, run.itemKey, run.inputJson, prefixesJson, run.costUsd ?? 0, run.approvedMaxCostUsd ?? null, depsJson, now);
+    db.prepare("INSERT OR IGNORE INTO harness_lane_items (lane_id, item_key, input_json, depends_on_json, priority) VALUES (?, ?, ?, ?, 'normal')").run(run.laneId, run.itemKey, run.inputJson, depsJson);
+    const pinned = prefixesJson !== null
+        ? Object.freeze(JSON.parse(prefixesJson))
+        : undefined;
+    return Object.freeze({
+        status: 'RUNNING',
+        currentStepId: null,
+        inputJson: run.inputJson,
+        rewindPendingToStepId: undefined,
+        compiledPrefixesJson: pinned,
+        costUsd: run.costUsd ?? 0,
+        approvedMaxCostUsd: run.approvedMaxCostUsd,
+        completedStepOutputsJson: new Map(),
+    });
+}
+/**
+ * Resumes an existing flow run row in `harness_runs`, preserving its pinned `compiled_prefixes_json`.
+ *
+ * Updates `cost_usd` and `approved_max_cost_usd` if provided and loads completed step outputs.
+ *
+ * @param {Database.Database}      db       - Active SQLite database handle.
+ * @param {SqliteRunRow}           existing - Existing persisted run row.
+ * @param {CreateOrResumeRunInput} run      - Resume request payload.
+ *
+ * @returns {CreateOrResumeRunResult} Resumed run state and completed step outputs.
+ */
+export function resumeExistingSqliteRun(db, existing, run) {
+    const nextCostUsd = run.costUsd ?? existing.cost_usd;
+    const nextApprovedMax = run.approvedMaxCostUsd ?? existing.approved_max_cost_usd ?? undefined;
+    const now = new Date().toISOString();
+    db.prepare('UPDATE harness_runs SET cost_usd = ?, approved_max_cost_usd = ?, updated_at = ? WHERE run_id = ?').run(nextCostUsd, nextApprovedMax ?? null, now, run.runId);
+    const pinned = existing.compiled_prefixes_json !== null
+        ? Object.freeze(JSON.parse(existing.compiled_prefixes_json))
+        : undefined;
+    return Object.freeze({
+        status: existing.status,
+        currentStepId: existing.current_step_id,
+        inputJson: existing.input_json,
+        rewindPendingToStepId: existing.rewind_pending_to_step_id ?? undefined,
+        compiledPrefixesJson: pinned,
+        costUsd: nextCostUsd,
+        approvedMaxCostUsd: nextApprovedMax,
+        completedStepOutputsJson: loadCompletedStepOutputsFromSqlite(db, run.runId),
+    });
+}
+//# sourceMappingURL=sqlite-ledger-run-operations.js.map

package/dist/stores/internal/sqlite-ledger-run-operations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-run-operations.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-run-operations.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kCAAkC,CAChD,EAAqB,EACrB,KAAa;IAEb,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,wHAAwH,CACzH;SACA,GAAG,CAAC,KAAK,CAGV,CAAC;IACH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YAC7B,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB,CACpC,EAAqB,EACrB,GAA2B,EAC3B,GAAW;IAEX,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CAAC,mFAAmF,CAAC;SAC5F,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAqD,CAAC;IACpF,MAAM,QAAQ,GAAG,QAAQ,EAAE,eAAe,IAAI,IAAI,CAAC;IACnD,MAAM,YAAY,GAChB,GAAG,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3F,EAAE,CAAC,OAAO,CACR,mGAAmG,CACpG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1C,EAAE,CAAC,OAAO,CACR,ySAAyS,CAC1S,CAAC,GAAG,CACH,GAAG,CAAC,KAAK,EACT,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,SAAS,EACb,YAAY,EACZ,GAAG,CAAC,OAAO,IAAI,CAAC,EAChB,GAAG,CAAC,kBAAkB,IAAI,IAAI,EAC9B,QAAQ,EACR,GAAG,CACJ,CAAC;IACF,EAAE,CAAC,OAAO,CACR,mIAAmI,CACpI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACxD,MAAM,MAAM,GACV,YAAY,KAAK,IAAI;QACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAA2B,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,MAAM,CAAC,MAAM,CAA0B;QAC5C,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,IAAI;QACnB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,qBAAqB,EAAE,SAAS;QAChC,oBAAoB,EAAE,MAAM;QAC5B,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,CAAC;QACzB,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;QAC1C,wBAAwB,EAAE,IAAI,GAAG,EAAkB;KACpD,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,uBAAuB,CACrC,EAAqB,EACrB,QAAsB,EACtB,GAA2B;IAE3B,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAC,QAAQ,CAAC;IACrD,MAAM,eAAe,GAAG,GAAG,CAAC,kBAAkB,IAAI,QAAQ,CAAC,qBAAqB,IAAI,SAAS,CAAC;IAC9F,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,EAAE,CAAC,OAAO,CACR,kGAAkG,CACnG,CAAC,GAAG,CAAC,WAAW,EAAE,eAAe,IAAI,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,MAAM,GACV,QAAQ,CAAC,sBAAsB,KAAK,IAAI;QACtC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,sBAAsB,CAA2B,CAAC;QACtF,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,MAAM,CAAC,MAAM,CAA0B;QAC5C,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,aAAa,EAAE,QAAQ,CAAC,eAAe;QACvC,SAAS,EAAE,QAAQ,CAAC,UAAU;QAC9B,qBAAqB,EAAE,QAAQ,CAAC,yBAAyB,IAAI,SAAS;QACtE,oBAAoB,EAAE,MAAM;QAC5B,OAAO,EAAE,WAAW;QACpB,kBAAkB,EAAE,eAAe;QACnC,wBAAwB,EAAE,kCAAkC,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC;KAC5E,CAAC,CAAC;AACL,CAAC"}

package/dist/stores/internal/sqlite-ledger-run-ops.d.ts

@@ -0,0 +1,58 @@
+import type { CreateOrResumeRunInput, CreateOrResumeRunResult, RunTerminalReceiptRecord } from '@paraharness/core';
+import type Database from 'better-sqlite3';
+import type { RecordTerminalReceiptParams } from './record-terminal-receipt-params.js';
+/**
+ * Parameters for updating a run's serialized flow input payload and optional pending rewind target step ID.
+ */
+export interface UpdateRunInputParams {
+    /** Serialized JSON flow input payload. */
+    readonly inputJson: string;
+    /** Optional target step ID when a rewind is pending, or `null` to clear. */
+    readonly rewindPendingToStepId?: string | null;
+}
+/**
+ * Inserts a new flow run row (`status: 'RUNNING'`) or returns the existing run's persisted state.
+ *
+ * Pins `compiledPrefixesJson` at initial run creation so subsequent resume calls never overwrite it.
+ *
+ * @param {Database.Database}      db  - Active SQLite database handle.
+ * @param {CreateOrResumeRunInput} run - Run initialization or resume request payload.
+ *
+ * @returns {CreateOrResumeRunResult} Persisted run status, pinned prefixes, and completed step outputs.
+ */
+export declare function createOrResumeRunInSqlite(db: Database.Database, run: CreateOrResumeRunInput): CreateOrResumeRunResult;
+/**
+ * Updates `input_json` and optional `rewind_pending_to_step_id` for `runId` in `harness_runs`.
+ *
+ * Used during `.replaceWith()` step promotion and `.onSignal().rewindTo()` transitions.
+ *
+ * @param {Database.Database}    db     - Active SQLite database handle.
+ * @param {string}               runId  - Target flow run identifier.
+ * @param {UpdateRunInputParams} update - Updated input JSON and rewind target.
+ *
+ * @returns {void} Returns nothing once the update is committed.
+ */
+export declare function updateRunInputInSqlite(db: Database.Database, runId: string, update: UpdateRunInputParams): void;
+/**
+ * Persists a terminal run receipt in `harness_terminal_receipts` and marks the run terminal in `harness_runs`.
+ *
+ * Enables dependent runs to inspect prerequisite terminal receipts during `syncRoot` wakeup.
+ *
+ * @param {Database.Database}           db     - Active SQLite database handle.
+ * @param {RecordTerminalReceiptParams} params - Terminal receipt parameters.
+ *
+ * @returns {void} Returns nothing once the receipt is persisted.
+ */
+export declare function recordRunTerminalReceiptInSqlite(db: Database.Database, params: RecordTerminalReceiptParams): void;
+/**
+ * Queries terminal run receipts keyed by `itemKey` from `harness_terminal_receipts`.
+ *
+ * Returns a map of `itemKey -> RunTerminalReceiptRecord` for all matching items.
+ *
+ * @param {Database.Database} db       - Active SQLite database handle.
+ * @param {readonly string[]} itemKeys - Work item keys to look up.
+ *
+ * @returns {ReadonlyMap<string, RunTerminalReceiptRecord>} Map of `itemKey` to terminal receipt record.
+ */
+export declare function getRunTerminalReceiptsFromSqlite(db: Database.Database, itemKeys: readonly string[]): ReadonlyMap<string, RunTerminalReceiptRecord>;
+//# sourceMappingURL=sqlite-ledger-run-ops.d.ts.map

package/dist/stores/internal/sqlite-ledger-run-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-run-ops.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-run-ops.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,sBAAsB,EACtB,uBAAuB,EACvB,wBAAwB,EACzB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AAOvF;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAChD;AAED;;;;;;;;;GASG;AACH,wBAAgB,yBAAyB,CACvC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,GAAG,EAAE,sBAAsB,GAC1B,uBAAuB,CAQzB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,oBAAoB,GAC3B,IAAI,CAaN;AAED;;;;;;;;;GASG;AACH,wBAAgB,gCAAgC,CAC9C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,MAAM,EAAE,2BAA2B,GAClC,IAAI,CAoBN;AAED;;;;;;;;;GASG;AACH,wBAAgB,gCAAgC,CAC9C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,QAAQ,EAAE,SAAS,MAAM,EAAE,GAC1B,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,CA0B/C"}

package/dist/stores/internal/sqlite-ledger-run-ops.js

@@ -0,0 +1,80 @@
+import { insertInitialSqliteRun, resumeExistingSqliteRun, } from './sqlite-ledger-run-operations.js';
+/**
+ * Inserts a new flow run row (`status: 'RUNNING'`) or returns the existing run's persisted state.
+ *
+ * Pins `compiledPrefixesJson` at initial run creation so subsequent resume calls never overwrite it.
+ *
+ * @param {Database.Database}      db  - Active SQLite database handle.
+ * @param {CreateOrResumeRunInput} run - Run initialization or resume request payload.
+ *
+ * @returns {CreateOrResumeRunResult} Persisted run status, pinned prefixes, and completed step outputs.
+ */
+export function createOrResumeRunInSqlite(db, run) {
+    const existing = db
+        .prepare('SELECT * FROM harness_runs WHERE run_id = ?')
+        .get(run.runId);
+    if (existing === undefined) {
+        return insertInitialSqliteRun(db, run, new Date().toISOString());
+    }
+    return resumeExistingSqliteRun(db, existing, run);
+}
+/**
+ * Updates `input_json` and optional `rewind_pending_to_step_id` for `runId` in `harness_runs`.
+ *
+ * Used during `.replaceWith()` step promotion and `.onSignal().rewindTo()` transitions.
+ *
+ * @param {Database.Database}    db     - Active SQLite database handle.
+ * @param {string}               runId  - Target flow run identifier.
+ * @param {UpdateRunInputParams} update - Updated input JSON and rewind target.
+ *
+ * @returns {void} Returns nothing once the update is committed.
+ */
+export function updateRunInputInSqlite(db, runId, update) {
+    const now = new Date().toISOString();
+    if (update.rewindPendingToStepId !== undefined) {
+        db.prepare('UPDATE harness_runs SET input_json = ?, rewind_pending_to_step_id = ?, updated_at = ? WHERE run_id = ?').run(update.inputJson, update.rewindPendingToStepId, now, runId);
+        return;
+    }
+    db.prepare('UPDATE harness_runs SET input_json = ?, updated_at = ? WHERE run_id = ?').run(update.inputJson, now, runId);
+}
+/**
+ * Persists a terminal run receipt in `harness_terminal_receipts` and marks the run terminal in `harness_runs`.
+ *
+ * Enables dependent runs to inspect prerequisite terminal receipts during `syncRoot` wakeup.
+ *
+ * @param {Database.Database}           db     - Active SQLite database handle.
+ * @param {RecordTerminalReceiptParams} params - Terminal receipt parameters.
+ *
+ * @returns {void} Returns nothing once the receipt is persisted.
+ */
+export function recordRunTerminalReceiptInSqlite(db, params) {
+    const now = new Date().toISOString();
+    db.prepare('INSERT OR REPLACE INTO harness_terminal_receipts (item_key, run_id, terminal_state, scope_receipt_json, recorded_at) VALUES (?, ?, ?, ?, ?)').run(params.itemKey, params.runId, params.terminalState, params.scopeReceiptJson ?? null, now);
+    db.prepare('UPDATE harness_runs SET status = ?, terminal_state = ?, scope_receipt_json = ?, updated_at = ? WHERE run_id = ?').run(params.terminalState, params.terminalState, params.scopeReceiptJson ?? null, now, params.runId);
+}
+/**
+ * Queries terminal run receipts keyed by `itemKey` from `harness_terminal_receipts`.
+ *
+ * Returns a map of `itemKey -> RunTerminalReceiptRecord` for all matching items.
+ *
+ * @param {Database.Database} db       - Active SQLite database handle.
+ * @param {readonly string[]} itemKeys - Work item keys to look up.
+ *
+ * @returns {ReadonlyMap<string, RunTerminalReceiptRecord>} Map of `itemKey` to terminal receipt record.
+ */
+export function getRunTerminalReceiptsFromSqlite(db, itemKeys) {
+    const receipts = new Map();
+    const stmt = db.prepare('SELECT item_key, run_id, terminal_state, scope_receipt_json FROM harness_terminal_receipts WHERE item_key = ?');
+    for (const itemKey of itemKeys) {
+        const row = stmt.get(itemKey);
+        if (row !== undefined) {
+            receipts.set(row.item_key, Object.freeze({
+                runId: row.run_id,
+                terminalState: row.terminal_state,
+                scopeReceiptJson: row.scope_receipt_json ?? undefined,
+            }));
+        }
+    }
+    return receipts;
+}
+//# sourceMappingURL=sqlite-ledger-run-ops.js.map

package/dist/stores/internal/sqlite-ledger-run-ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-run-ops.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-run-ops.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,mCAAmC,CAAC;AAa3C;;;;;;;;;GASG;AACH,MAAM,UAAU,yBAAyB,CACvC,EAAqB,EACrB,GAA2B;IAE3B,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CAAC,6CAA6C,CAAC;SACtD,GAAG,CAAC,GAAG,CAAC,KAAK,CAA6B,CAAC;IAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,sBAAsB,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,uBAAuB,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CACpC,EAAqB,EACrB,KAAa,EACb,MAA4B;IAE5B,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,IAAI,MAAM,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;QAC/C,EAAE,CAAC,OAAO,CACR,wGAAwG,CACzG,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,qBAAqB,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAClE,OAAO;IACT,CAAC;IACD,EAAE,CAAC,OAAO,CAAC,yEAAyE,CAAC,CAAC,GAAG,CACvF,MAAM,CAAC,SAAS,EAChB,GAAG,EACH,KAAK,CACN,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gCAAgC,CAC9C,EAAqB,EACrB,MAAmC;IAEnC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,EAAE,CAAC,OAAO,CACR,6IAA6I,CAC9I,CAAC,GAAG,CACH,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,gBAAgB,IAAI,IAAI,EAC/B,GAAG,CACJ,CAAC;IACF,EAAE,CAAC,OAAO,CACR,iHAAiH,CAClH,CAAC,GAAG,CACH,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,gBAAgB,IAAI,IAAI,EAC/B,GAAG,EACH,MAAM,CAAC,KAAK,CACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gCAAgC,CAC9C,EAAqB,EACrB,QAA2B;IAE3B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC7D,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB,+GAA+G,CAChH,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAOf,CAAC;QACd,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,QAAQ,CAAC,GAAG,CACV,GAAG,CAAC,QAAQ,EACZ,MAAM,CAAC,MAAM,CAA2B;gBACtC,KAAK,EAAE,GAAG,CAAC,MAAM;gBACjB,aAAa,EAAE,GAAG,CAAC,cAAc;gBACjC,gBAAgB,EAAE,GAAG,CAAC,kBAAkB,IAAI,SAAS;aACtD,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/stores/internal/sqlite-ledger-step-operations.d.ts

@@ -0,0 +1,28 @@
+import type { InterruptedStepBootRecord } from '@paraharness/core';
+import type { SqliteRunRow } from './sqlite-run-row.js';
+import type { SqliteStepRow } from './sqlite-step-row.js';
+/**
+ * Computes the next parent run status following a step lifecycle status transition.
+ *
+ * Transitions the parent run to `'SUSPENDED'` or `'RUNNING'` when the step enters those states,
+ * preserving `currentRunStatus` otherwise.
+ *
+ * @param {string} stepTransitionStatus - Newly recorded step status.
+ * @param {string} currentRunStatus     - Current status of the enclosing flow run.
+ *
+ * @returns {string} Updated flow run status string.
+ */
+export declare function resolveRunStatusAfterStepTransition(stepTransitionStatus: string, currentRunStatus: string): string;
+/**
+ * Maps a non-terminal `SqliteRunRow` and its latest `SqliteStepRow` into an `InterruptedStepBootRecord`.
+ *
+ * Populates active step checkpoints and parsed `ContinuationFrame[]` only when the latest step
+ * is in `'RUNNING'` or `'SUSPENDED'` state.
+ *
+ * @param {SqliteRunRow}             runRow  - Non-terminal flow run row.
+ * @param {SqliteStepRow | undefined} stepRow - Latest step execution row for `runRow.run_id`, if any.
+ *
+ * @returns {InterruptedStepBootRecord} Frozen boot recovery record.
+ */
+export declare function mapInterruptedBootRecordFromSqlite(runRow: SqliteRunRow, stepRow: SqliteStepRow | undefined): InterruptedStepBootRecord;
+//# sourceMappingURL=sqlite-ledger-step-operations.d.ts.map

package/dist/stores/internal/sqlite-ledger-step-operations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-ledger-step-operations.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-ledger-step-operations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAqB,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AACtF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D;;;;;;;;;;GAUG;AACH,wBAAgB,mCAAmC,CACjD,oBAAoB,EAAE,MAAM,EAC5B,gBAAgB,EAAE,MAAM,GACvB,MAAM,CAQR;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kCAAkC,CAChD,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,aAAa,GAAG,SAAS,GACjC,yBAAyB,CAqB3B"}

package/dist/stores/internal/sqlite-ledger-step-operations.js

@@ -0,0 +1,53 @@
+/**
+ * Computes the next parent run status following a step lifecycle status transition.
+ *
+ * Transitions the parent run to `'SUSPENDED'` or `'RUNNING'` when the step enters those states,
+ * preserving `currentRunStatus` otherwise.
+ *
+ * @param {string} stepTransitionStatus - Newly recorded step status.
+ * @param {string} currentRunStatus     - Current status of the enclosing flow run.
+ *
+ * @returns {string} Updated flow run status string.
+ */
+export function resolveRunStatusAfterStepTransition(stepTransitionStatus, currentRunStatus) {
+    if (stepTransitionStatus === 'SUSPENDED') {
+        return 'SUSPENDED';
+    }
+    if (stepTransitionStatus === 'RUNNING') {
+        return 'RUNNING';
+    }
+    return currentRunStatus;
+}
+/**
+ * Maps a non-terminal `SqliteRunRow` and its latest `SqliteStepRow` into an `InterruptedStepBootRecord`.
+ *
+ * Populates active step checkpoints and parsed `ContinuationFrame[]` only when the latest step
+ * is in `'RUNNING'` or `'SUSPENDED'` state.
+ *
+ * @param {SqliteRunRow}             runRow  - Non-terminal flow run row.
+ * @param {SqliteStepRow | undefined} stepRow - Latest step execution row for `runRow.run_id`, if any.
+ *
+ * @returns {InterruptedStepBootRecord} Frozen boot recovery record.
+ */
+export function mapInterruptedBootRecordFromSqlite(runRow, stepRow) {
+    const isActiveStep = stepRow !== undefined && (stepRow.status === 'RUNNING' || stepRow.status === 'SUSPENDED');
+    const stack = isActiveStep
+        ? JSON.parse(stepRow.continuation_stack_json)
+        : [];
+    const dependsOn = JSON.parse(runRow.depends_on_json);
+    return Object.freeze({
+        runId: runRow.run_id,
+        laneId: runRow.lane_id,
+        itemKey: runRow.item_key,
+        inputJson: runRow.input_json,
+        status: runRow.status,
+        dependsOn: Object.freeze(dependsOn),
+        stepExecId: isActiveStep ? stepRow.step_exec_id : null,
+        stepId: isActiveStep ? stepRow.step_id : null,
+        executableId: isActiveStep ? (stepRow.executable_id ?? undefined) : undefined,
+        baseScopeCheckpoint: isActiveStep ? (stepRow.base_scope_checkpoint ?? undefined) : undefined,
+        headScopeCheckpoint: isActiveStep ? (stepRow.head_scope_checkpoint ?? undefined) : undefined,
+        continuationStack: Object.freeze(stack),
+    });
+}
+//# sourceMappingURL=sqlite-ledger-step-operations.js.map