@jinn-network/client 0.1.2 → 0.1.3-canary.2d6b2676

package/dist/harnesses/engine/persistence.d.ts

@@ -0,0 +1,172 @@
+/**
+ * Harness engine — SQLite persistence helpers.
+ *
+ * §6.4 of spec/2026-04-17-portfolio-v0-design.md
+ *
+ * Wraps the Store's underlying Database instance via the Store class — the
+ * Store itself holds the DB handle; we extend it with engine-specific queries.
+ * To keep concerns clean, this module exports a standalone `TaskRunPersistence`
+ * class that is constructed with a `Database` instance (passed from Store).
+ */
+import type Database from 'better-sqlite3';
+import { type TaskRunState } from './state.js';
+import type { Task } from '../../types/task.js';
+/**
+ * Thrown by `transition()` and `markFailed()` when the DB row has already been
+ * updated by a concurrent call before the UPDATE could land.
+ *
+ * Callers should treat this as a signal to retry from the fresh DB state or
+ * abandon the operation (the concurrent call has already advanced the task).
+ */
+export declare class ConcurrentTransitionError extends Error {
+    readonly requestId: string;
+    readonly expectedState: TaskRunState;
+    readonly attemptedNewState: string;
+    constructor(requestId: string, expectedState: TaskRunState, attemptedNewState: string);
+}
+export declare const TASK_RUNS_SCHEMA = "\nCREATE TABLE IF NOT EXISTS task_runs (\n  request_id              TEXT PRIMARY KEY,\n  task_cid              TEXT NOT NULL,\n  onchain_creation_tx     TEXT NOT NULL,\n  onchain_creation_block  INTEGER NOT NULL,\n  solver_type               TEXT,\n  task_role             TEXT,     -- 'restoration' | 'evaluation' | NULL (legacy)\n  impl_name               TEXT,\n\n  state                   TEXT NOT NULL,\n  state_updated_at        INTEGER NOT NULL,\n\n  working_dir             TEXT,\n  impl_state_dir          TEXT,\n\n  window_start_ts         INTEGER NOT NULL,\n  window_end_ts           INTEGER NOT NULL,\n\n  pre_snapshot_captured_at  INTEGER,\n  pre_snapshot_payload      TEXT,\n  post_snapshot_captured_at INTEGER,\n  post_snapshot_payload     TEXT,\n  fills_payload             TEXT,\n  gating_claim              TEXT,\n  informational_claim       TEXT,\n\n  artifact_cids           TEXT,\n  manifest_cid            TEXT,\n  delivery_tx_hash        TEXT,\n\n  -- Additive columns (schema migration 2026-04-17):\n  -- manifest_generated_at: persisted once at first PACKAGING entry; reused on\n  --   retry to keep manifest CID deterministic (idempotent PACKAGING).\n  -- evidence_hash: keccak256 of the signed manifest canonical JSON; dedicated\n  --   column replaces the former _evidenceHash stash in informational_claim.\n  manifest_generated_at   INTEGER,\n  evidence_hash           TEXT,\n\n  -- Additive column (schema migration 2026-04-17, full Task threading):\n  -- task_payload: full Task JSON, captured at observe() time.\n  -- NULL for pre-migration rows (legacy fallback in engine consumers).\n  task_payload   TEXT,\n\n  -- Additive column (added by WT-C for PACKAGING recovery fidelity):\n  -- solution_outputs_json: serialised Solution persisted before the\n  --   RUNNING \u2192 PACKAGING transition. Enables pack() to recover solution outputs\n  --   after a crash without re-executing the impl. NULL once pack() succeeds.\n  solution_outputs_json       TEXT,\n  runtime_plugins_json        TEXT,\n\n  failure_reason          TEXT,\n  failure_at              INTEGER\n);\n\nCREATE INDEX IF NOT EXISTS idx_task_runs_state\n  ON task_runs(state);\n\nCREATE INDEX IF NOT EXISTS idx_task_runs_window_start_ts\n  ON task_runs(window_start_ts);\n";
+/** Input when first observing an task from an on-chain event. */
+export interface PersistedTaskRunInput {
+    requestId: string;
+    taskCid: string;
+    onchainCreationTx: string;
+    onchainCreationBlock: number;
+    solverType?: string;
+    /** 'restoration' (default) or 'evaluation'. Captured from Task.type at observe() time. */
+    taskRole?: 'restoration' | 'evaluation';
+    windowStartTs: number;
+    windowEndTs: number;
+    /**
+     * Full Task payload, captured at observe() time.
+     * Required: production callers always thread it (daemon.ts); making this
+     * required provides a type-level guarantee against silent regression to the
+     * stub path. Tests that need to exercise the pre-migration NULL row path
+     * must use a direct raw SQL INSERT.
+     */
+    task: Task;
+}
+/** Full persisted task row (all columns). */
+export interface PersistedTaskRun {
+    requestId: string;
+    taskCid: string;
+    onchainCreationTx: string;
+    onchainCreationBlock: number;
+    solverType: string | null;
+    taskRole: 'restoration' | 'evaluation' | null;
+    implName: string | null;
+    state: TaskRunState;
+    stateUpdatedAt: number;
+    workingDir: string | null;
+    implStateDir: string | null;
+    windowStartTs: number;
+    windowEndTs: number;
+    preSnapshotCapturedAt: number | null;
+    preSnapshotPayload: unknown | null;
+    postSnapshotCapturedAt: number | null;
+    postSnapshotPayload: unknown | null;
+    fillsPayload: unknown[] | null;
+    gatingClaim: Record<string, unknown> | null;
+    informationalClaim: Record<string, unknown> | null;
+    artifactCids: Record<string, string> | null;
+    manifestCid: string | null;
+    deliveryTxHash: string | null;
+    /** Persisted once at first PACKAGING entry; reused on retry for manifest CID determinism. */
+    manifestGeneratedAt: number | null;
+    /** keccak256 of signed manifest canonical JSON; used by deliver() as evidenceHash. */
+    evidenceHash: string | null;
+    /** Full Task payload as recorded at observe() time; null for pre-migration rows. */
+    task: Task | null;
+    /**
+     * Serialised Solution from runImpl, persisted before the
+     * RUNNING → PACKAGING transition. Used by pack() to recover solution outputs
+     * after a crash so the manifest CID remains deterministic. Null for
+     * pre-migration rows and tasks that have already been packed.
+     * Added by WT-C for PACKAGING recovery fidelity.
+     */
+    solutionOutputsJson: string | null;
+    runtimePluginsJson: string | null;
+    failureReason: string | null;
+    failureAt: number | null;
+}
+/**
+ * Fields that can be patched during a transition.
+ * Only lists fields that `transition()` actually writes — attempting to patch
+ * other fields (e.g. `solverType`, window timestamps) gives a compile-time error
+ * instead of silently dropping the value.
+ */
+export type TaskRunPatch = Partial<{
+    implName: string | null;
+    workingDir: string | null;
+    implStateDir: string | null;
+    preSnapshotCapturedAt: number | null;
+    preSnapshotPayload: unknown;
+    postSnapshotCapturedAt: number | null;
+    postSnapshotPayload: unknown;
+    fillsPayload: unknown;
+    gatingClaim: unknown;
+    informationalClaim: unknown;
+    artifactCids: Record<string, string> | null;
+    manifestCid: string | null;
+    deliveryTxHash: string | null;
+    /** Persisted once at first PACKAGING entry; reused on retry. */
+    manifestGeneratedAt: number | null;
+    /** keccak256 of signed manifest canonical JSON (evidenceHash for claimDelivery). */
+    evidenceHash: string | null;
+    /**
+     * Serialised Solution JSON, persisted before RUNNING → PACKAGING.
+     * Enables pack() to recover solution outputs after a crash without re-executing
+     * the impl. Set by engine.runImpl(); cleared by engine after successful pack().
+     * Added by WT-C for PACKAGING recovery fidelity.
+     */
+    solutionOutputsJson: string | null;
+    runtimePluginsJson: string | null;
+}>;
+/**
+ * Low-level CRUD helpers for `task_runs`.
+ *
+ * Constructed with the raw better-sqlite3 `Database` instance. The `Store`
+ * class exposes it via `store.db` — callers that have a `Store` can pass
+ * `store.db` here.
+ */
+export declare class TaskRunPersistence {
+    private readonly db;
+    constructor(db: Database.Database);
+    /**
+     * Insert a DISCOVERED task row. Idempotent: if a row with the same
+     * `requestId` already exists, this is a no-op (INSERT OR IGNORE).
+     */
+    insertDiscovered(input: PersistedTaskRunInput): void;
+    /**
+     * Transition an task to a new state. Validates the transition and writes
+     * the new state + optional patch fields atomically (persist-before-invoke).
+     */
+    transition(requestId: string, toState: TaskRunState, patch?: TaskRunPatch): void;
+    /** Fetch a single task by request ID. Returns null if not found. */
+    getByRequestId(requestId: string): PersistedTaskRun | null;
+    /**
+     * Fetch a single task by request ID. Throws if not found.
+     * Use this in code paths where the task is guaranteed to exist
+     * (e.g. immediately after a successful `transition()` call).
+     */
+    getOrThrow(requestId: string): PersistedTaskRun;
+    /** Fetch all tasks in a given state. */
+    getByState(state: TaskRunState): PersistedTaskRun[];
+    /** Fetch all in-flight tasks (not in any terminal state). */
+    getInFlight(): PersistedTaskRun[];
+    /**
+     * Persist `deliveryTxHash` without triggering a state transition (state
+     * remains DELIVERING). Called after deliverToMarketplace lands on-chain but
+     * before claimDelivery runs, so that a crash between the two steps can be
+     * recovered without re-submitting the deliver transaction.
+     */
+    setDeliveryTxHash(requestId: string, deliveryTxHash: string): void;
+    /**
+     * Persist `manifestGeneratedAt` for the first time without triggering a
+     * state transition. Used by pack() to lock in the generatedAt timestamp
+     * before assembling the manifest, ensuring idempotent CID on retry.
+     * No-op if already set.
+     */
+    setManifestGeneratedAt(requestId: string, generatedAt: number): void;
+    /** Mark an task FAILED with a reason (valid from any non-terminal state). */
+    markFailed(requestId: string, reason: string): void;
+}

package/dist/{restorer → harnesses}/engine/persistence.js

@@ -1,11 +1,11 @@
 /**
- * Restorer engine — SQLite persistence helpers.
+ * Harness engine — SQLite persistence helpers.
  *
  * §6.4 of spec/2026-04-17-portfolio-v0-design.md
  *
  * Wraps the Store's underlying Database instance via the Store class — the
  * Store itself holds the DB handle; we extend it with engine-specific queries.
- * To keep concerns clean, this module exports a standalone `IntentPersistence`
+ * To keep concerns clean, this module exports a standalone `TaskRunPersistence`
  * class that is constructed with a `Database` instance (passed from Store).
  */
 import { assertValidTransition, TERMINAL_STATES } from './state.js';
@@ -15,7 +15,7 @@ import { assertValidTransition, TERMINAL_STATES } from './state.js';
  * updated by a concurrent call before the UPDATE could land.
  *
  * Callers should treat this as a signal to retry from the fresh DB state or
- * abandon the operation (the concurrent call has already advanced the intent).
+ * abandon the operation (the concurrent call has already advanced the task).
  */
 export class ConcurrentTransitionError extends Error {
     requestId;
@@ -30,14 +30,14 @@ export class ConcurrentTransitionError extends Error {
     }
 }
 // ── Schema ────────────────────────────────────────────────────────────────────
-export const RESTORATION_INTENTS_SCHEMA = `
-CREATE TABLE IF NOT EXISTS restoration_intents (
+export const TASK_RUNS_SCHEMA = `
+CREATE TABLE IF NOT EXISTS task_runs (
   request_id              TEXT PRIMARY KEY,
-  intent_cid              TEXT NOT NULL,
+  task_cid              TEXT NOT NULL,
   onchain_creation_tx     TEXT NOT NULL,
   onchain_creation_block  INTEGER NOT NULL,
-  spec_kind               TEXT,
-  intent_type             TEXT,     -- 'restoration' | 'evaluation' | NULL (legacy)
+  solver_type               TEXT,
+  task_role             TEXT,     -- 'restoration' | 'evaluation' | NULL (legacy)
   impl_name               TEXT,
 
   state                   TEXT NOT NULL,
@@ -69,30 +69,31 @@ CREATE TABLE IF NOT EXISTS restoration_intents (
   manifest_generated_at   INTEGER,
   evidence_hash           TEXT,
 
-  -- Additive column (schema migration 2026-04-17, full DesiredState threading):
-  -- desired_state_payload: full DesiredState JSON, captured at observe() time.
+  -- Additive column (schema migration 2026-04-17, full Task threading):
+  -- task_payload: full Task JSON, captured at observe() time.
   -- NULL for pre-migration rows (legacy fallback in engine consumers).
-  desired_state_payload   TEXT,
+  task_payload   TEXT,
 
   -- Additive column (added by WT-C for PACKAGING recovery fidelity):
-  -- impl_outputs_json: serialised RestorationOutput persisted before the
-  --   RUNNING → PACKAGING transition. Enables pack() to recover impl outputs
+  -- solution_outputs_json: serialised Solution persisted before the
+  --   RUNNING → PACKAGING transition. Enables pack() to recover solution outputs
   --   after a crash without re-executing the impl. NULL once pack() succeeds.
-  impl_outputs_json       TEXT,
+  solution_outputs_json       TEXT,
+  runtime_plugins_json        TEXT,
 
   failure_reason          TEXT,
   failure_at              INTEGER
 );
 
-CREATE INDEX IF NOT EXISTS idx_restoration_intents_state
-  ON restoration_intents(state);
+CREATE INDEX IF NOT EXISTS idx_task_runs_state
+  ON task_runs(state);
 
-CREATE INDEX IF NOT EXISTS idx_restoration_intents_window_start_ts
-  ON restoration_intents(window_start_ts);
+CREATE INDEX IF NOT EXISTS idx_task_runs_window_start_ts
+  ON task_runs(window_start_ts);
 `;
 // ── Migrations ────────────────────────────────────────────────────────────────
 /**
- * Idempotent additive migrations for `restoration_intents`.
+ * Idempotent additive migrations for `task_runs`.
  *
  * better-sqlite3 throws on duplicate column from ALTER TABLE ADD COLUMN; we
  * swallow that specific error so this is safe to invoke on every startup.
@@ -100,17 +101,18 @@ CREATE INDEX IF NOT EXISTS idx_restoration_intents_window_start_ts
  */
 function runAdditiveMigrations(db) {
     const additions = [
-        { column: 'desired_state_payload', ddl: 'ALTER TABLE restoration_intents ADD COLUMN desired_state_payload TEXT' },
-        { column: 'manifest_generated_at', ddl: 'ALTER TABLE restoration_intents ADD COLUMN manifest_generated_at TEXT NULL' },
-        { column: 'evidence_hash', ddl: 'ALTER TABLE restoration_intents ADD COLUMN evidence_hash TEXT NULL' },
-        // Persists impl outputs so pack() can recover a deterministic manifest CID
-        // after a process restart (otherwise in-memory implOutputs is lost).
-        { column: 'impl_outputs_json', ddl: 'ALTER TABLE restoration_intents ADD COLUMN impl_outputs_json TEXT' },
-        { column: 'intent_type', ddl: 'ALTER TABLE restoration_intents ADD COLUMN intent_type TEXT' },
+        { column: 'task_payload', ddl: 'ALTER TABLE task_runs ADD COLUMN task_payload TEXT' },
+        { column: 'manifest_generated_at', ddl: 'ALTER TABLE task_runs ADD COLUMN manifest_generated_at TEXT NULL' },
+        { column: 'evidence_hash', ddl: 'ALTER TABLE task_runs ADD COLUMN evidence_hash TEXT NULL' },
+        // Persists solution outputs so pack() can recover a deterministic manifest CID
+        // after a process restart (otherwise in-memory solutionOutputs is lost).
+        { column: 'solution_outputs_json', ddl: 'ALTER TABLE task_runs ADD COLUMN solution_outputs_json TEXT' },
+        { column: 'runtime_plugins_json', ddl: 'ALTER TABLE task_runs ADD COLUMN runtime_plugins_json TEXT' },
+        { column: 'task_role', ddl: 'ALTER TABLE task_runs ADD COLUMN task_role TEXT' },
     ];
     // Fetch existing column names once so each ALTER is a no-op if the column
     // already exists (avoids duplicate-column-name errors on newer DBs).
-    const existingColumns = new Set(db.pragma('table_info(restoration_intents)')
+    const existingColumns = new Set(db.pragma('table_info(task_runs)')
         .map(r => r.name));
     for (const { column, ddl } of additions) {
         if (existingColumns.has(column))
@@ -131,14 +133,14 @@ function parseJson(raw) {
         return null;
     return JSON.parse(raw);
 }
-function rowToIntent(row) {
+function rowToTaskRun(row) {
     return {
         requestId: row.request_id,
-        intentCid: row.intent_cid,
+        taskCid: row.task_cid,
         onchainCreationTx: row.onchain_creation_tx,
         onchainCreationBlock: row.onchain_creation_block,
-        specKind: row.spec_kind,
-        intentType: (row.intent_type ?? null),
+        solverType: row.solver_type,
+        taskRole: (row.task_role ?? null),
         implName: row.impl_name,
         state: row.state,
         stateUpdatedAt: row.state_updated_at,
@@ -158,62 +160,63 @@ function rowToIntent(row) {
         deliveryTxHash: row.delivery_tx_hash,
         manifestGeneratedAt: row.manifest_generated_at,
         evidenceHash: row.evidence_hash,
-        desiredState: parseJson(row.desired_state_payload),
-        implOutputsJson: row.impl_outputs_json,
+        task: parseJson(row.task_payload),
+        solutionOutputsJson: row.solution_outputs_json,
+        runtimePluginsJson: row.runtime_plugins_json,
         failureReason: row.failure_reason,
         failureAt: row.failure_at,
     };
 }
-// ── IntentPersistence ─────────────────────────────────────────────────────────
+// ── TaskRunPersistence ─────────────────────────────────────────────────────────
 /**
- * Low-level CRUD helpers for `restoration_intents`.
+ * Low-level CRUD helpers for `task_runs`.
  *
  * Constructed with the raw better-sqlite3 `Database` instance. The `Store`
  * class exposes it via `store.db` — callers that have a `Store` can pass
  * `store.db` here.
  */
-export class IntentPersistence {
+export class TaskRunPersistence {
     db;
     constructor(db) {
         this.db = db;
         runAdditiveMigrations(db);
     }
     /**
-     * Insert a DISCOVERED intent row. Idempotent: if a row with the same
+     * Insert a DISCOVERED task row. Idempotent: if a row with the same
      * `requestId` already exists, this is a no-op (INSERT OR IGNORE).
      */
     insertDiscovered(input) {
         this.db.prepare(`
-      INSERT OR IGNORE INTO restoration_intents (
-        request_id, intent_cid, onchain_creation_tx, onchain_creation_block,
-        spec_kind, intent_type, state, state_updated_at, window_start_ts, window_end_ts,
-        desired_state_payload
+      INSERT OR IGNORE INTO task_runs (
+        request_id, task_cid, onchain_creation_tx, onchain_creation_block,
+        solver_type, task_role, state, state_updated_at, window_start_ts, window_end_ts,
+        task_payload
       ) VALUES (
-        @requestId, @intentCid, @onchainCreationTx, @onchainCreationBlock,
-        @specKind, @intentType, 'DISCOVERED', @now, @windowStartTs, @windowEndTs,
-        @desiredStatePayload
+        @requestId, @taskCid, @onchainCreationTx, @onchainCreationBlock,
+        @solverType, @taskRole, 'DISCOVERED', @now, @windowStartTs, @windowEndTs,
+        @taskPayload
       )
     `).run({
             requestId: input.requestId,
-            intentCid: input.intentCid,
+            taskCid: input.taskCid,
             onchainCreationTx: input.onchainCreationTx,
             onchainCreationBlock: input.onchainCreationBlock,
-            specKind: input.specKind ?? null,
-            intentType: input.intentType ?? null,
+            solverType: input.solverType ?? null,
+            taskRole: input.taskRole ?? null,
             now: Date.now(),
             windowStartTs: input.windowStartTs,
             windowEndTs: input.windowEndTs,
-            desiredStatePayload: input.desiredState ? JSON.stringify(input.desiredState) : null,
+            taskPayload: input.task ? JSON.stringify(input.task) : null,
         });
     }
     /**
-     * Transition an intent to a new state. Validates the transition and writes
+     * Transition an task to a new state. Validates the transition and writes
      * the new state + optional patch fields atomically (persist-before-invoke).
      */
     transition(requestId, toState, patch = {}) {
         const existing = this.getByRequestId(requestId);
         if (!existing) {
-            throw new Error(`Intent not found: ${requestId}`);
+            throw new Error(`Task run not found: ${requestId}`);
         }
         assertValidTransition(existing.state, toState);
         const setClauses = ['state = @state', 'state_updated_at = @stateUpdatedAt'];
@@ -288,53 +291,57 @@ export class IntentPersistence {
             setClauses.push('evidence_hash = @evidenceHash');
             params['evidenceHash'] = patch.evidenceHash;
         }
-        if (patch.implOutputsJson !== undefined) {
-            setClauses.push('impl_outputs_json = @implOutputsJson');
-            params['implOutputsJson'] = patch.implOutputsJson;
+        if (patch.solutionOutputsJson !== undefined) {
+            setClauses.push('solution_outputs_json = @solutionOutputsJson');
+            params['solutionOutputsJson'] = patch.solutionOutputsJson;
+        }
+        if (patch.runtimePluginsJson !== undefined) {
+            setClauses.push('runtime_plugins_json = @runtimePluginsJson');
+            params['runtimePluginsJson'] = patch.runtimePluginsJson;
         }
         // Optimistic concurrency: include AND state = @expectedState in the WHERE
         // clause so a concurrent call that already advanced the row results in 0
         // changed rows rather than a silent double-write.
         params['expectedState'] = existing.state;
         const result = this.db.prepare(`
-      UPDATE restoration_intents SET ${setClauses.join(', ')}
+      UPDATE task_runs SET ${setClauses.join(', ')}
       WHERE request_id = @requestId AND state = @expectedState
     `).run(params);
         if (result.changes === 0) {
             throw new ConcurrentTransitionError(requestId, existing.state, toState);
         }
     }
-    /** Fetch a single intent by request ID. Returns null if not found. */
+    /** Fetch a single task by request ID. Returns null if not found. */
     getByRequestId(requestId) {
-        const row = this.db.prepare('SELECT * FROM restoration_intents WHERE request_id = ?').get(requestId);
+        const row = this.db.prepare('SELECT * FROM task_runs WHERE request_id = ?').get(requestId);
         if (!row)
             return null;
-        return rowToIntent(row);
+        return rowToTaskRun(row);
     }
     /**
-     * Fetch a single intent by request ID. Throws if not found.
-     * Use this in code paths where the intent is guaranteed to exist
+     * Fetch a single task by request ID. Throws if not found.
+     * Use this in code paths where the task is guaranteed to exist
      * (e.g. immediately after a successful `transition()` call).
      */
     getOrThrow(requestId) {
         const row = this.getByRequestId(requestId);
         if (!row) {
-            throw new Error(`No persisted intent for requestId ${requestId}`);
+            throw new Error(`No persisted task run for requestId ${requestId}`);
         }
         return row;
     }
-    /** Fetch all intents in a given state. */
+    /** Fetch all tasks in a given state. */
     getByState(state) {
-        const rows = this.db.prepare('SELECT * FROM restoration_intents WHERE state = ? ORDER BY window_start_ts ASC').all(state);
-        return rows.map(rowToIntent);
+        const rows = this.db.prepare('SELECT * FROM task_runs WHERE state = ? ORDER BY window_start_ts ASC').all(state);
+        return rows.map(rowToTaskRun);
     }
-    /** Fetch all in-flight intents (not in any terminal state). */
+    /** Fetch all in-flight tasks (not in any terminal state). */
     getInFlight() {
         const terminalList = [...TERMINAL_STATES];
         const placeholders = terminalList.map(() => '?').join(', ');
-        const sql = `SELECT * FROM restoration_intents WHERE state NOT IN (${placeholders}) ORDER BY window_start_ts ASC`;
+        const sql = `SELECT * FROM task_runs WHERE state NOT IN (${placeholders}) ORDER BY window_start_ts ASC`;
         const rows = this.db.prepare(sql).all(...terminalList);
-        return rows.map(rowToIntent);
+        return rows.map(rowToTaskRun);
     }
     /**
      * Persist `deliveryTxHash` without triggering a state transition (state
@@ -343,7 +350,7 @@ export class IntentPersistence {
      * recovered without re-submitting the deliver transaction.
      */
     setDeliveryTxHash(requestId, deliveryTxHash) {
-        this.db.prepare('UPDATE restoration_intents SET delivery_tx_hash = ? WHERE request_id = ?').run(deliveryTxHash, requestId);
+        this.db.prepare('UPDATE task_runs SET delivery_tx_hash = ? WHERE request_id = ?').run(deliveryTxHash, requestId);
     }
     /**
      * Persist `manifestGeneratedAt` for the first time without triggering a
@@ -352,13 +359,13 @@ export class IntentPersistence {
      * No-op if already set.
      */
     setManifestGeneratedAt(requestId, generatedAt) {
-        this.db.prepare('UPDATE restoration_intents SET manifest_generated_at = ? WHERE request_id = ? AND manifest_generated_at IS NULL').run(generatedAt, requestId);
+        this.db.prepare('UPDATE task_runs SET manifest_generated_at = ? WHERE request_id = ? AND manifest_generated_at IS NULL').run(generatedAt, requestId);
     }
-    /** Mark an intent FAILED with a reason (valid from any non-terminal state). */
+    /** Mark an task FAILED with a reason (valid from any non-terminal state). */
     markFailed(requestId, reason) {
         const existing = this.getByRequestId(requestId);
         if (!existing) {
-            throw new Error(`Intent not found: ${requestId}`);
+            throw new Error(`Task run not found: ${requestId}`);
         }
         if (existing.state === 'COMPLETE' || existing.state === 'FAILED') {
             // Already terminal — no-op (idempotent)
@@ -369,7 +376,7 @@ export class IntentPersistence {
         // concurrent transition that has already advanced the row doesn't get
         // silently overwritten.
         const result = this.db.prepare(`
-      UPDATE restoration_intents
+      UPDATE task_runs
       SET state = 'FAILED', state_updated_at = ?, failure_reason = ?, failure_at = ?
       WHERE request_id = ? AND state = ?
     `).run(now, reason, now, requestId, existing.state);

package/dist/harnesses/engine/persistence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"persistence.js","sourceRoot":"","sources":["../../../src/harnesses/engine/persistence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAqB,MAAM,YAAY,CAAC;AAGvF,iFAAiF;AAEjF;;;;;;GAMG;AACH,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IACzC,SAAS,CAAS;IAClB,aAAa,CAAe;IAC5B,iBAAiB,CAAS;IAEnC,YAAY,SAAiB,EAAE,aAA2B,EAAE,iBAAyB;QACnF,KAAK,CACH,8BAA8B,SAAS,mBAAmB,aAAa,sCAAsC,iBAAiB,GAAG,CAClI,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;QACxC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;QACnC,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;IAC7C,CAAC;CACF;AAED,iFAAiF;AAEjF,MAAM,CAAC,MAAM,gBAAgB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4D/B,CAAC;AAmJF,iFAAiF;AAEjF;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,EAAqB;IAClD,MAAM,SAAS,GAA2C;QACxD,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,EAAE,oDAAoD,EAAE;QACrF,EAAE,MAAM,EAAE,uBAAuB,EAAE,GAAG,EAAE,kEAAkE,EAAE;QAC5G,EAAE,MAAM,EAAE,eAAe,EAAU,GAAG,EAAE,0DAA0D,EAAE;QACpG,+EAA+E;QAC/E,yEAAyE;QACzE,EAAE,MAAM,EAAE,uBAAuB,EAAM,GAAG,EAAE,6DAA6D,EAAE;QAC3G,EAAE,MAAM,EAAE,sBAAsB,EAAO,GAAG,EAAE,4DAA4D,EAAE;QAC1G,EAAE,MAAM,EAAE,WAAW,EAAY,GAAG,EAAE,iDAAiD,EAAE;KAC1F,CAAC;IAEF,0EAA0E;IAC1E,qEAAqE;IACrE,MAAM,eAAe,GAAG,IAAI,GAAG,CAC5B,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAA6B;SAC5D,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACpB,CAAC;IAEF,KAAK,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,SAAS,EAAE,CAAC;QACxC,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QAC1C,IAAI,CAAC;YACH,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7D,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM,GAAG,CAAC;QACrD,CAAC;IACH,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,SAAS,SAAS,CAAI,GAAkB;IACtC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAM,CAAC;AAC9B,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,OAAO;QACL,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,OAAO,EAAE,GAAG,CAAC,QAAQ;QACrB,iBAAiB,EAAE,GAAG,CAAC,mBAAmB;QAC1C,oBAAoB,EAAE,GAAG,CAAC,sBAAsB;QAChD,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,QAAQ,EAAE,CAAC,GAAG,CAAC,SAAS,IAAI,IAAI,CAAwC;QACxE,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,KAAK,EAAE,GAAG,CAAC,KAAqB;QAChC,cAAc,EAAE,GAAG,CAAC,gBAAgB;QACpC,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,YAAY,EAAE,GAAG,CAAC,cAAc;QAChC,aAAa,EAAE,GAAG,CAAC,eAAe;QAClC,WAAW,EAAE,GAAG,CAAC,aAAa;QAC9B,qBAAqB,EAAE,GAAG,CAAC,wBAAwB;QACnD,kBAAkB,EAAE,SAAS,CAAC,GAAG,CAAC,oBAAoB,CAAC;QACvD,sBAAsB,EAAE,GAAG,CAAC,yBAAyB;QACrD,mBAAmB,EAAE,SAAS,CAAC,GAAG,CAAC,qBAAqB,CAAC;QACzD,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC;QAC1C,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC;QACxC,kBAAkB,EAAE,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC;QACtD,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC;QAC1C,WAAW,EAAE,GAAG,CAAC,YAAY;QAC7B,cAAc,EAAE,GAAG,CAAC,gBAAgB;QACpC,mBAAmB,EAAE,GAAG,CAAC,qBAAqB;QAC9C,YAAY,EAAE,GAAG,CAAC,aAAa;QAC/B,IAAI,EAAE,SAAS,CAAO,GAAG,CAAC,YAAY,CAAC;QACvC,mBAAmB,EAAE,GAAG,CAAC,qBAAqB;QAC9C,kBAAkB,EAAE,GAAG,CAAC,oBAAoB;QAC5C,aAAa,EAAE,GAAG,CAAC,cAAc;QACjC,SAAS,EAAE,GAAG,CAAC,UAAU;KAC1B,CAAC;AACJ,CAAC;AAED,kFAAkF;AAElF;;;;;;GAMG;AACH,MAAM,OAAO,kBAAkB;IACA;IAA7B,YAA6B,EAAqB;QAArB,OAAE,GAAF,EAAE,CAAmB;QAChD,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,KAA4B;QAC3C,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;;;;;;KAUf,CAAC,CAAC,GAAG,CAAC;YACL,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;YAChD,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,IAAI;YACpC,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,IAAI;YAChC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YACf,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;SAC5D,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,SAAiB,EAAE,OAAqB,EAAE,QAAsB,EAAE;QAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,uBAAuB,SAAS,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAE/C,MAAM,UAAU,GAAa,CAAC,gBAAgB,EAAE,oCAAoC,CAAC,CAAC;QACtF,MAAM,MAAM,GAA4B;YACtC,SAAS;YACT,KAAK,EAAE,OAAO;YACd,cAAc,EAAE,IAAI,CAAC,GAAG,EAAE;SAC3B,CAAC;QAEF,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,UAAU,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACzC,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;QACtC,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,UAAU,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YAC7C,MAAM,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;QAC1C,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAClD,MAAM,CAAC,cAAc,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC;QAC9C,CAAC;QACD,IAAI,KAAK,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;YAC9C,UAAU,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YACrE,MAAM,CAAC,uBAAuB,CAAC,GAAG,KAAK,CAAC,qBAAqB,CAAC;QAChE,CAAC;QACD,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;YAC9D,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,kBAAkB,KAAK,IAAI;gBAC9D,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,CAAC;QACD,IAAI,KAAK,CAAC,sBAAsB,KAAK,SAAS,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;YACvE,MAAM,CAAC,wBAAwB,CAAC,GAAG,KAAK,CAAC,sBAAsB,CAAC;QAClE,CAAC;QACD,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC5C,UAAU,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;YAChE,MAAM,CAAC,qBAAqB,CAAC,GAAG,KAAK,CAAC,mBAAmB,KAAK,IAAI;gBAChE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACjD,MAAM,CAAC,cAAc,CAAC,GAAG,KAAK,CAAC,YAAY,KAAK,IAAI;gBAClD,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YAC/C,MAAM,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,WAAW,KAAK,IAAI;gBAChD,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/C,CAAC;QACD,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;YAC7D,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,kBAAkB,KAAK,IAAI;gBAC9D,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACjD,MAAM,CAAC,cAAc,CAAC,GAAG,KAAK,CAAC,YAAY,KAAK,IAAI;gBAClD,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YAC/C,MAAM,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;QAC5C,CAAC;QACD,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACvC,UAAU,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;YACtD,MAAM,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC;QAClD,CAAC;QACD,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC5C,UAAU,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;YAChE,MAAM,CAAC,qBAAqB,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC;QAC5D,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACjD,MAAM,CAAC,cAAc,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC;QAC9C,CAAC;QACD,IAAI,KAAK,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC5C,UAAU,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;YAChE,MAAM,CAAC,qBAAqB,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC;QAC5D,CAAC;QACD,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;YAC9D,MAAM,CAAC,oBAAoB,CAAC,GAAG,KAAK,CAAC,kBAAkB,CAAC;QAC1D,CAAC;QACD,0EAA0E;QAC1E,yEAAyE;QACzE,kDAAkD;QAClD,MAAM,CAAC,eAAe,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;6BACN,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;;KAE7C,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACf,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,yBAAyB,CAAC,SAAS,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,cAAc,CAAC,SAAiB;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CACzB,8CAA8C,CAC/C,CAAC,GAAG,CAAC,SAAS,CAAuB,CAAC;QACvC,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,SAAiB;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,uCAAuC,SAAS,EAAE,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,wCAAwC;IACxC,UAAU,CAAC,KAAmB;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAC1B,sEAAsE,CACvE,CAAC,GAAG,CAAC,KAAK,CAAa,CAAC;QACzB,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC;IAED,6DAA6D;IAC7D,WAAW;QACT,MAAM,YAAY,GAAG,CAAC,GAAG,eAAe,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,+CAA+C,YAAY,gCAAgC,CAAC;QACxG,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,YAAY,CAAa,CAAC;QACnE,OAAO,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC;IAED;;;;;OAKG;IACH,iBAAiB,CAAC,SAAiB,EAAE,cAAsB;QACzD,IAAI,CAAC,EAAE,CAAC,OAAO,CACb,gEAAgE,CACjE,CAAC,GAAG,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IACnC,CAAC;IAED;;;;;OAKG;IACH,sBAAsB,CAAC,SAAiB,EAAE,WAAmB;QAC3D,IAAI,CAAC,EAAE,CAAC,OAAO,CACb,uGAAuG,CACxG,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAChC,CAAC;IAED,6EAA6E;IAC7E,UAAU,CAAC,SAAiB,EAAE,MAAc;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,uBAAuB,SAAS,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACjE,wCAAwC;YACxC,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,kEAAkE;QAClE,sEAAsE;QACtE,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;KAI9B,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,yBAAyB,CAAC,SAAS,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;CACF"}

package/dist/harnesses/engine/recovery.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Harness engine — startup crash recovery.
+ *
+ * §6.5 of spec/2026-04-17-portfolio-v0-design.md
+ *
+ * This module re-exports the `recoverInFlight` capability cleanly for callers
+ * that want a standalone function rather than calling the engine method directly.
+ * The recovery algorithm lives in `TaskEngine._recoverDispatch`; this
+ * module is a thin adapter for dependency-injection friendly usage.
+ */
+import type { TaskEngine, RecoveryReport } from './engine.js';
+/**
+ * Run startup recovery pass on the given engine.
+ *
+ * Scans all in-flight tasks from the persistence layer and dispatches each
+ * one to the appropriate resume handler based on current state. Errors are
+ * collected per-task (failed tasks are marked FAILED in the DB); the
+ * function itself does not throw.
+ *
+ * @returns Array of per-task recovery reports (outcome 'ok' or 'failed').
+ */
+export declare function recoverInFlight(engine: TaskEngine): Promise<RecoveryReport[]>;

package/dist/{restorer → harnesses}/engine/recovery.js

@@ -1,22 +1,22 @@
 /**
- * Restorer engine — startup crash recovery.
+ * Harness engine — startup crash recovery.
  *
  * §6.5 of spec/2026-04-17-portfolio-v0-design.md
  *
  * This module re-exports the `recoverInFlight` capability cleanly for callers
  * that want a standalone function rather than calling the engine method directly.
- * The recovery algorithm lives in `RestorationEngine._recoverDispatch`; this
+ * The recovery algorithm lives in `TaskEngine._recoverDispatch`; this
  * module is a thin adapter for dependency-injection friendly usage.
  */
 /**
  * Run startup recovery pass on the given engine.
  *
- * Scans all in-flight intents from the persistence layer and dispatches each
+ * Scans all in-flight tasks from the persistence layer and dispatches each
  * one to the appropriate resume handler based on current state. Errors are
- * collected per-intent (failed intents are marked FAILED in the DB); the
+ * collected per-task (failed tasks are marked FAILED in the DB); the
  * function itself does not throw.
  *
- * @returns Array of per-intent recovery reports (outcome 'ok' or 'failed').
+ * @returns Array of per-task recovery reports (outcome 'ok' or 'failed').
  */
 export async function recoverInFlight(engine) {
     return engine.recoverInFlight();

package/dist/harnesses/engine/recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery.js","sourceRoot":"","sources":["../../../src/harnesses/engine/recovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,MAAkB;IAElB,OAAO,MAAM,CAAC,eAAe,EAAE,CAAC;AAClC,CAAC"}

package/dist/harnesses/engine/registry.d.ts

@@ -0,0 +1,53 @@
+/**
+ * HarnessRegistry — Harness registration + SolverNet-aware dispatch.
+ *
+ * §6.7 of spec/2026-04-17-portfolio-v0-design.md
+ *
+ * Dispatch priority:
+ *   1. solverTypeHarnesses[task.solverType] — SolverNet-selected Harness
+ *   2. config.default — named fallback impl
+ *   3. First-match — iterate registered Harnesses, return first whose supports()
+ *      returns true
+ *
+ * Disabled Harnesses (config.disabled[]) are filtered out before dispatch.
+ */
+import type { Harness } from '../types.js';
+import type { ImplRegistry } from './engine.js';
+export interface HarnessDispatchConfig {
+    /**
+     * Explicit solverType → Harness name mapping.
+     * e.g. { "portfolio.v0": "claude-mcp-hyperliquid" }
+     */
+    solverTypeHarnesses?: Record<string, string>;
+    /**
+     * Fallback Harness name when no solverType-specific match is found.
+     */
+    default?: string;
+    /**
+     * Harness names to exclude from dispatch entirely.
+     */
+    disabled?: string[];
+}
+export declare class HarnessRegistry implements ImplRegistry {
+    private readonly harnesses;
+    private readonly config;
+    constructor(config?: HarnessDispatchConfig);
+    /**
+     * Register a Harness. Later registrations appear later in the list for
+     * first-match fallback dispatch.
+     */
+    register(harness: Harness): void;
+    /**
+     * Find the Harness to use for the given solverType, applying operator config
+     * dispatch rules.
+     *
+     * Returns undefined if no suitable impl is found (all disabled, none
+     * support the kind, or registry is empty).
+     */
+    findFor(ctx: {
+        solverType: string;
+        role?: 'restoration' | 'evaluation';
+    }): Harness | undefined;
+    /** All registered Harnesses (including disabled ones). */
+    list(): Harness[];
+}