@jinn-network/client 0.1.2 → 0.1.3-canary.24b69ea4

package/dist/harnesses/engine/persistence.js

@@ -0,0 +1,443 @@
+/**
+ * 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 { assertValidTransition, TERMINAL_STATES } from './state.js';
+// ── Concurrency error ─────────────────────────────────────────────────────────
+/**
+ * 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 class ConcurrentTransitionError extends Error {
+    requestId;
+    expectedState;
+    attemptedNewState;
+    constructor(requestId, expectedState, attemptedNewState) {
+        super(`ConcurrentTransitionError: ${requestId} expected state=${expectedState} but DB row has changed (attempted=${attemptedNewState})`);
+        this.name = 'ConcurrentTransitionError';
+        this.requestId = requestId;
+        this.expectedState = expectedState;
+        this.attemptedNewState = attemptedNewState;
+    }
+}
+// ── Schema ────────────────────────────────────────────────────────────────────
+export const TASK_RUNS_SCHEMA = `
+CREATE TABLE IF NOT EXISTS task_runs (
+  request_id              TEXT PRIMARY KEY,
+  task_id                 TEXT,
+  attempt_index           INTEGER,
+  task_cid              TEXT NOT NULL,
+  onchain_creation_tx     TEXT NOT NULL,
+  onchain_creation_block  INTEGER NOT NULL,
+  solver_type               TEXT,
+  task_role             TEXT,     -- 'restoration' | 'evaluation' | NULL (legacy)
+  impl_name               TEXT,
+
+  state                   TEXT NOT NULL,
+  state_updated_at        INTEGER NOT NULL,
+
+  working_dir             TEXT,
+  impl_state_dir          TEXT,
+
+  window_start_ts         INTEGER NOT NULL,
+  window_end_ts           INTEGER NOT NULL,
+
+  pre_snapshot_captured_at  INTEGER,
+  pre_snapshot_payload      TEXT,
+  post_snapshot_captured_at INTEGER,
+  post_snapshot_payload     TEXT,
+  fills_payload             TEXT,
+  gating_claim              TEXT,
+  informational_claim       TEXT,
+
+  artifact_cids           TEXT,
+  manifest_cid            TEXT,
+  delivery_tx_hash        TEXT,
+
+  -- Additive columns (schema migration 2026-04-17):
+  -- manifest_generated_at: persisted once at first PACKAGING entry; reused on
+  --   retry to keep manifest CID deterministic (idempotent PACKAGING).
+  -- evidence_hash: keccak256 of the signed manifest canonical JSON; dedicated
+  --   column replaces the former _evidenceHash stash in informational_claim.
+  manifest_generated_at   INTEGER,
+  evidence_hash           TEXT,
+
+  -- 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).
+  task_payload   TEXT,
+
+  -- Additive column (added by WT-C for PACKAGING recovery fidelity):
+  -- 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.
+  solution_outputs_json       TEXT,
+  runtime_plugins_json        TEXT,
+
+  -- Additive columns for ERC-8004 payload v2 (jinn-mono-9fe5):
+  --   executor_mode: 'train' | 'frozen', captured by pack() from the freeze-fence
+  --     and reused by deliver() to emit a payload v2 setMetadata.
+  --   executor_code_digest: sha256:<hex> form, same source.
+  -- NULL for pre-migration rows; deliver() falls back to the v1 encoder.
+  executor_mode               TEXT,
+  executor_code_digest        TEXT,
+
+  failure_reason          TEXT,
+  failure_at              INTEGER
+);
+
+CREATE INDEX IF NOT EXISTS idx_task_runs_state
+  ON task_runs(state);
+
+CREATE INDEX IF NOT EXISTS idx_task_runs_window_start_ts
+  ON task_runs(window_start_ts);
+`;
+// ── Migrations ────────────────────────────────────────────────────────────────
+/**
+ * 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.
+ * For new DBs the column already exists via CREATE TABLE; the ALTER is a no-op.
+ */
+function runAdditiveMigrations(db) {
+    const additions = [
+        { 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' },
+        { column: 'task_id', ddl: 'ALTER TABLE task_runs ADD COLUMN task_id TEXT' },
+        { column: 'attempt_index', ddl: 'ALTER TABLE task_runs ADD COLUMN attempt_index INTEGER' },
+        // ERC-8004 payload v2 (jinn-mono-9fe5): persists executor mode + codeDigest
+        // from pack() so deliver() can emit a v2 setMetadata payload after the
+        // transient maps are cleared.
+        { column: 'executor_mode', ddl: 'ALTER TABLE task_runs ADD COLUMN executor_mode TEXT' },
+        { column: 'executor_code_digest', ddl: 'ALTER TABLE task_runs ADD COLUMN executor_code_digest 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(task_runs)')
+        .map(r => r.name));
+    for (const { column, ddl } of additions) {
+        if (existingColumns.has(column))
+            continue;
+        try {
+            db.exec(ddl);
+        }
+        catch (err) {
+            const msg = err instanceof Error ? err.message : String(err);
+            if (!/duplicate column name/i.test(msg))
+                throw err;
+        }
+    }
+}
+// ── Helpers ───────────────────────────────────────────────────────────────────
+function parseJson(raw) {
+    if (raw === null)
+        return null;
+    return JSON.parse(raw);
+}
+function rowToTaskRun(row) {
+    return {
+        requestId: row.request_id,
+        taskId: row.task_id,
+        attemptIndex: row.attempt_index,
+        taskCid: row.task_cid,
+        onchainCreationTx: row.onchain_creation_tx,
+        onchainCreationBlock: row.onchain_creation_block,
+        solverType: row.solver_type,
+        taskRole: (row.task_role ?? null),
+        implName: row.impl_name,
+        state: row.state,
+        stateUpdatedAt: row.state_updated_at,
+        workingDir: row.working_dir,
+        implStateDir: row.impl_state_dir,
+        windowStartTs: row.window_start_ts,
+        windowEndTs: row.window_end_ts,
+        preSnapshotCapturedAt: row.pre_snapshot_captured_at,
+        preSnapshotPayload: parseJson(row.pre_snapshot_payload),
+        postSnapshotCapturedAt: row.post_snapshot_captured_at,
+        postSnapshotPayload: parseJson(row.post_snapshot_payload),
+        fillsPayload: parseJson(row.fills_payload),
+        gatingClaim: parseJson(row.gating_claim),
+        informationalClaim: parseJson(row.informational_claim),
+        artifactCids: parseJson(row.artifact_cids),
+        manifestCid: row.manifest_cid,
+        deliveryTxHash: row.delivery_tx_hash,
+        manifestGeneratedAt: row.manifest_generated_at,
+        evidenceHash: row.evidence_hash,
+        task: parseJson(row.task_payload),
+        solutionOutputsJson: row.solution_outputs_json,
+        runtimePluginsJson: row.runtime_plugins_json,
+        executorMode: (row.executor_mode === 'train' || row.executor_mode === 'frozen')
+            ? row.executor_mode
+            : null,
+        executorCodeDigest: row.executor_code_digest,
+        failureReason: row.failure_reason,
+        failureAt: row.failure_at,
+    };
+}
+// ── TaskRunPersistence ─────────────────────────────────────────────────────────
+/**
+ * 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 TaskRunPersistence {
+    db;
+    constructor(db) {
+        this.db = db;
+        runAdditiveMigrations(db);
+    }
+    /**
+     * 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 task_runs (
+        request_id, task_id, attempt_index, 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, @taskId, @attemptIndex, @taskCid, @onchainCreationTx, @onchainCreationBlock,
+        @solverType, @taskRole, 'DISCOVERED', @now, @windowStartTs, @windowEndTs,
+        @taskPayload
+      )
+    `).run({
+            requestId: input.requestId,
+            taskId: input.taskId ?? null,
+            attemptIndex: input.attemptIndex ?? null,
+            taskCid: input.taskCid,
+            onchainCreationTx: input.onchainCreationTx,
+            onchainCreationBlock: input.onchainCreationBlock,
+            solverType: input.solverType ?? null,
+            taskRole: input.taskRole ?? null,
+            now: Date.now(),
+            windowStartTs: input.windowStartTs,
+            windowEndTs: input.windowEndTs,
+            taskPayload: input.task ? JSON.stringify(input.task) : null,
+        });
+    }
+    /**
+     * 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(`Task run not found: ${requestId}`);
+        }
+        assertValidTransition(existing.state, toState);
+        const setClauses = ['state = @state', 'state_updated_at = @stateUpdatedAt'];
+        const params = {
+            requestId,
+            state: toState,
+            stateUpdatedAt: Date.now(),
+        };
+        if (patch.implName !== undefined) {
+            setClauses.push('impl_name = @implName');
+            params['implName'] = patch.implName;
+        }
+        if (patch.workingDir !== undefined) {
+            setClauses.push('working_dir = @workingDir');
+            params['workingDir'] = patch.workingDir;
+        }
+        if (patch.implStateDir !== undefined) {
+            setClauses.push('impl_state_dir = @implStateDir');
+            params['implStateDir'] = patch.implStateDir;
+        }
+        if (patch.preSnapshotCapturedAt !== undefined) {
+            setClauses.push('pre_snapshot_captured_at = @preSnapshotCapturedAt');
+            params['preSnapshotCapturedAt'] = patch.preSnapshotCapturedAt;
+        }
+        if (patch.preSnapshotPayload !== undefined) {
+            setClauses.push('pre_snapshot_payload = @preSnapshotPayload');
+            params['preSnapshotPayload'] = patch.preSnapshotPayload !== null
+                ? JSON.stringify(patch.preSnapshotPayload) : null;
+        }
+        if (patch.postSnapshotCapturedAt !== undefined) {
+            setClauses.push('post_snapshot_captured_at = @postSnapshotCapturedAt');
+            params['postSnapshotCapturedAt'] = patch.postSnapshotCapturedAt;
+        }
+        if (patch.postSnapshotPayload !== undefined) {
+            setClauses.push('post_snapshot_payload = @postSnapshotPayload');
+            params['postSnapshotPayload'] = patch.postSnapshotPayload !== null
+                ? JSON.stringify(patch.postSnapshotPayload) : null;
+        }
+        if (patch.fillsPayload !== undefined) {
+            setClauses.push('fills_payload = @fillsPayload');
+            params['fillsPayload'] = patch.fillsPayload !== null
+                ? JSON.stringify(patch.fillsPayload) : null;
+        }
+        if (patch.gatingClaim !== undefined) {
+            setClauses.push('gating_claim = @gatingClaim');
+            params['gatingClaim'] = patch.gatingClaim !== null
+                ? JSON.stringify(patch.gatingClaim) : null;
+        }
+        if (patch.informationalClaim !== undefined) {
+            setClauses.push('informational_claim = @informationalClaim');
+            params['informationalClaim'] = patch.informationalClaim !== null
+                ? JSON.stringify(patch.informationalClaim) : null;
+        }
+        if (patch.artifactCids !== undefined) {
+            setClauses.push('artifact_cids = @artifactCids');
+            params['artifactCids'] = patch.artifactCids !== null
+                ? JSON.stringify(patch.artifactCids) : null;
+        }
+        if (patch.manifestCid !== undefined) {
+            setClauses.push('manifest_cid = @manifestCid');
+            params['manifestCid'] = patch.manifestCid;
+        }
+        if (patch.deliveryTxHash !== undefined) {
+            setClauses.push('delivery_tx_hash = @deliveryTxHash');
+            params['deliveryTxHash'] = patch.deliveryTxHash;
+        }
+        if (patch.manifestGeneratedAt !== undefined) {
+            setClauses.push('manifest_generated_at = @manifestGeneratedAt');
+            params['manifestGeneratedAt'] = patch.manifestGeneratedAt;
+        }
+        if (patch.evidenceHash !== undefined) {
+            setClauses.push('evidence_hash = @evidenceHash');
+            params['evidenceHash'] = patch.evidenceHash;
+        }
+        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;
+        }
+        if (patch.executorMode !== undefined) {
+            setClauses.push('executor_mode = @executorMode');
+            params['executorMode'] = patch.executorMode;
+        }
+        if (patch.executorCodeDigest !== undefined) {
+            setClauses.push('executor_code_digest = @executorCodeDigest');
+            params['executorCodeDigest'] = patch.executorCodeDigest;
+        }
+        // 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 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 task by request ID. Returns null if not found. */
+    getByRequestId(requestId) {
+        const row = this.db.prepare('SELECT * FROM task_runs WHERE request_id = ?').get(requestId);
+        if (!row)
+            return null;
+        return rowToTaskRun(row);
+    }
+    /**
+     * 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 task run for requestId ${requestId}`);
+        }
+        return row;
+    }
+    /** Fetch all tasks in a given state. */
+    getByState(state) {
+        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 tasks (not in any terminal state). */
+    getInFlight() {
+        const terminalList = [...TERMINAL_STATES];
+        const placeholders = terminalList.map(() => '?').join(', ');
+        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(rowToTaskRun);
+    }
+    hasInFlightFor(args) {
+        const terminalList = [...TERMINAL_STATES];
+        const placeholders = terminalList.map((_, i) => `@terminal${i}`).join(', ');
+        const params = {
+            solverType: args.solverType,
+            taskRole: args.taskRole,
+            excludeRequestId: args.excludeRequestId ?? '',
+        };
+        terminalList.forEach((state, i) => {
+            params[`terminal${i}`] = state;
+        });
+        const row = this.db.prepare(`
+      SELECT 1
+      FROM task_runs
+      WHERE solver_type = @solverType
+        AND COALESCE(task_role, 'restoration') = @taskRole
+        AND state NOT IN (${placeholders})
+        AND request_id != @excludeRequestId
+      LIMIT 1
+    `).get(params);
+        return row !== undefined;
+    }
+    /**
+     * 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, deliveryTxHash) {
+        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
+     * 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, generatedAt) {
+        this.db.prepare('UPDATE task_runs SET manifest_generated_at = ? WHERE request_id = ? AND manifest_generated_at IS NULL').run(generatedAt, requestId);
+    }
+    /** 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(`Task run not found: ${requestId}`);
+        }
+        if (existing.state === 'COMPLETE' || existing.state === 'FAILED') {
+            // Already terminal — no-op (idempotent)
+            return;
+        }
+        const now = Date.now();
+        // Optimistic concurrency: guard on the expected source state so a
+        // concurrent transition that has already advanced the row doesn't get
+        // silently overwritten.
+        const result = this.db.prepare(`
+      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);
+        if (result.changes === 0) {
+            throw new ConcurrentTransitionError(requestId, existing.state, 'FAILED');
+        }
+    }
+}
+//# sourceMappingURL=persistence.js.map

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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsE/B,CAAC;AA6KF,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;QACzF,EAAE,MAAM,EAAE,SAAS,EAAc,GAAG,EAAE,+CAA+C,EAAE;QACvF,EAAE,MAAM,EAAE,eAAe,EAAQ,GAAG,EAAE,wDAAwD,EAAE;QAChG,4EAA4E;QAC5E,uEAAuE;QACvE,8BAA8B;QAC9B,EAAE,MAAM,EAAE,eAAe,EAAU,GAAG,EAAE,qDAAqD,EAAE;QAC/F,EAAE,MAAM,EAAE,sBAAsB,EAAG,GAAG,EAAE,4DAA4D,EAAE;KACvG,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,MAAM,EAAE,GAAG,CAAC,OAAO;QACnB,YAAY,EAAE,GAAG,CAAC,aAAa;QAC/B,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,YAAY,EAAE,CAAC,GAAG,CAAC,aAAa,KAAK,OAAO,IAAI,GAAG,CAAC,aAAa,KAAK,QAAQ,CAAC;YAC7E,CAAC,CAAC,GAAG,CAAC,aAAa;YACnB,CAAC,CAAC,IAAI;QACR,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,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,IAAI;YACxC,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,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,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,cAAc,CAAC,IAId;QACC,MAAM,YAAY,GAAG,CAAC,GAAG,eAAe,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,MAAM,MAAM,GAA2B;YACrC,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,IAAI,EAAE;SAC9C,CAAC;QACF,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YAChC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;QACjC,CAAC,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;4BAKJ,YAAY;;;KAGnC,CAAC,CAAC,GAAG,CAAC,MAAM,CAA8B,CAAC;QAC5C,OAAO,GAAG,KAAK,SAAS,CAAC;IAC3B,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/harnesses/engine/recovery.js

@@ -0,0 +1,24 @@
+/**
+ * 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.
+ */
+/**
+ * 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 async function recoverInFlight(engine) {
+    return engine.recoverInFlight();
+}
+//# sourceMappingURL=recovery.js.map

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,55 @@
+/**
+ * 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 declare const DEFAULT_HARNESS = "claude-code";
+export declare const DEFAULT_DISABLED_HARNESSES: readonly ["claude-mcp-hyperliquid"];
+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[];
+}

package/dist/harnesses/engine/registry.js

@@ -0,0 +1,66 @@
+/**
+ * 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 { canonicalHarnessName, canonicalHarnessNameSet, CLAUDE_CODE_HARNESS, harnessNameMatches, } from '../names.js';
+// Harness dispatch defaults shared by the daemon and operator diagnostics.
+export const DEFAULT_HARNESS = CLAUDE_CODE_HARNESS;
+export const DEFAULT_DISABLED_HARNESSES = ['claude-mcp-hyperliquid'];
+// ── HarnessRegistry ──────────────────────────────────────────────────────
+export class HarnessRegistry {
+    harnesses = [];
+    config;
+    constructor(config = {}) {
+        this.config = config;
+    }
+    /**
+     * Register a Harness. Later registrations appear later in the list for
+     * first-match fallback dispatch.
+     */
+    register(harness) {
+        this.harnesses.push(harness);
+    }
+    /**
+     * 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) {
+        const disabled = canonicalHarnessNameSet(this.config.disabled ?? []);
+        const active = this.harnesses.filter((harness) => !disabled.has(canonicalHarnessName(harness.name)));
+        // 1. SolverNet-selected Harness — but ONLY honor it if the named Harness supports
+        //    the requested ctx. Otherwise fall through (e.g., restoration Harness selected,
+        //    but ctx asks for an evaluation).
+        const harnessName = this.config.solverTypeHarnesses?.[ctx.solverType];
+        if (harnessName) {
+            const named = active.find((harness) => harnessNameMatches(harness.name, harnessName));
+            if (named && named.supports(ctx))
+                return named;
+        }
+        // 2. default fallback name
+        if (this.config.default) {
+            const defaultHarness = active.find((harness) => harnessNameMatches(harness.name, this.config.default));
+            if (defaultHarness && defaultHarness.supports(ctx)) {
+                return defaultHarness;
+            }
+        }
+        // 3. First-match by supports()
+        return active.find((harness) => harness.supports(ctx));
+    }
+    /** All registered Harnesses (including disabled ones). */
+    list() {
+        return [...this.harnesses];
+    }
+}
+//# sourceMappingURL=registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../src/harnesses/engine/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,aAAa,CAAC;AAGrB,2EAA2E;AAC3E,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAC;AACnD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,wBAAwB,CAAU,CAAC;AAoB9E,4EAA4E;AAE5E,MAAM,OAAO,eAAe;IACT,SAAS,GAAc,EAAE,CAAC;IAC1B,MAAM,CAAwB;IAE/C,YAAY,SAAgC,EAAE;QAC5C,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,OAAgB;QACvB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED;;;;;;OAMG;IACH,OAAO,CAAC,GAAgE;QACtE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAErG,kFAAkF;QAClF,oFAAoF;QACpF,sCAAsC;QACtC,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACtE,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;YACtF,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;QACjD,CAAC;QAED,2BAA2B;QAC3B,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACxB,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,OAAQ,CAAC,CAAC,CAAC;YACxG,IAAI,cAAc,IAAI,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,OAAO,cAAc,CAAC;YACxB,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,0DAA0D;IAC1D,IAAI;QACF,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;CACF"}