@osolmaz/pi-workflows 0.15.3 → 0.16.1

package/dist/controllers/sqlite.js

@@ -6,7 +6,6 @@ import { canonicalJson } from "../state/json.js";
 import { resourceIdFor, tokenHash } from "../state/mutation.js";
 import { initializeViewerRun, recordViewerDeltas } from "../state/viewer.js";
 import { EffectRequestConflictError, ResourceConflictError, ResourceNotFoundError, WorkflowRequestConflictError, } from "./errors.js";
-const TURN_INTENT_FACTS_SCHEMA = "pi-workflows.deferred-turn-facts.v1";
 export class SqliteControllerStore {
     filePath;
     state;
@@ -520,32 +519,65 @@ export class SqliteControllerStore {
         if (this.getWorkflowRun(options.runId) !== undefined) {
             throw new Error(`Workflow run already reserved: ${options.runId}`);
         }
+        const lineageKind = options.parentRunId === undefined ? null : (options.lineageKind ?? "continuation");
+        if (options.parentRunId === undefined && options.lineageKind !== undefined) {
+            throw new Error("A root workflow run cannot declare lineage");
+        }
+        let rootRunId = options.runId;
+        let restartNumber = 0;
+        let parentTerminalFingerprint = null;
         if (options.parentRunId !== undefined) {
             const parent = this.requireWorkflowRunRow(options.parentRunId);
             if (parent.originSessionId !== options.originSessionId) {
-                throw new Error("Continuation parent belongs to another Pi session");
+                throw new Error("Workflow parent belongs to another Pi session");
             }
-            if (parent.status === "parked") {
-                const parentLease = this.requireLease(parent.resourceId);
-                if (parentLease.ownerId !== null) {
-                    throw new Error("Continuation parent still has an active owner");
+            rootRunId = parent.rootRunId;
+            if (lineageKind === "restart") {
+                if (!["completed", "failed", "timed_out", "cancelled"].includes(parent.runStatus) ||
+                    !["done", "failed", "cancelled"].includes(parent.status)) {
+                    throw new Error("Restart parent is not terminal");
+                }
+                if (options.parentTerminalFingerprint === undefined) {
+                    throw new Error("Restart requires the parent terminal fingerprint");
+                }
+                parentTerminalFingerprint = terminalFingerprintBuffer(options.parentTerminalFingerprint);
+                restartNumber = options.restartNumber ?? parent.restartNumber + 1;
+                if (restartNumber !== parent.restartNumber + 1) {
+                    throw new Error("Restart number does not follow its parent");
                 }
-                this.state.connection
-                    .prepare(`UPDATE run_queue
-               SET status = 'done', updated_at = ?, finished_at = ?
-               WHERE run_id = ? AND status = 'parked'`)
-                    .run(now, now, parent.runId);
-                const parentRevision = this.resourceRevision(parent.resourceId);
-                this.bumpResource(parent.resourceId, parentRevision, now);
-                this.insertEvent(parent.resourceId, parentRevision + 1, "run.queue_done_for_continuation", "session", options.originSessionId, { continuationRunId: options.runId }, now);
-            }
-            else if (parent.status === "done") {
-                throw new Error("Continuation parent already has a reserved continuation");
             }
             else {
-                throw new Error(`Continuation parent queue is ${parent.status}`);
+                if (options.parentTerminalFingerprint !== undefined ||
+                    (options.restartNumber !== undefined && options.restartNumber !== parent.restartNumber)) {
+                    throw new Error("Continuation lineage conflicts with restart metadata");
+                }
+                restartNumber = parent.restartNumber;
+                if (parent.status === "parked") {
+                    const parentLease = this.requireLease(parent.resourceId);
+                    if (parentLease.ownerId !== null) {
+                        throw new Error("Continuation parent still has an active owner");
+                    }
+                    this.state.connection
+                        .prepare(`UPDATE run_queue
+                 SET status = 'done', updated_at = ?, finished_at = ?
+                 WHERE run_id = ? AND status = 'parked'`)
+                        .run(now, now, parent.runId);
+                    const parentRevision = this.resourceRevision(parent.resourceId);
+                    this.bumpResource(parent.resourceId, parentRevision, now);
+                    this.insertEvent(parent.resourceId, parentRevision + 1, "run.queue_done_for_continuation", "session", options.originSessionId, { continuationRunId: options.runId }, now);
+                }
+                else if (parent.status === "done") {
+                    throw new Error("Continuation parent already has a reserved continuation");
+                }
+                else {
+                    throw new Error(`Continuation parent queue is ${parent.status}`);
+                }
             }
         }
+        else if (options.restartNumber !== undefined ||
+            options.parentTerminalFingerprint !== undefined) {
+            throw new Error("A root workflow run cannot declare restart metadata");
+        }
         const resourceId = resourceIdFor("run", options.runId);
         const definitionHash = this.state.putJson(options.definitionSnapshot, now);
         const queuedSource = queuedWorkflowSource(options.workflowSource);
@@ -566,11 +598,12 @@ export class SqliteControllerStore {
             .run(resourceId);
         this.state.connection
             .prepare(`INSERT INTO runs(
-             run_id, resource_id, project_id, parent_run_id, definition_digest,
+             run_id, resource_id, project_id, parent_run_id, root_run_id, lineage_kind,
+             restart_number, parent_terminal_fingerprint, definition_digest,
              workflow_ref, launch_options_hash, status, paused,
              input_hash, created_at, updated_at
-           ) VALUES (?, ?, ?, ?, ?, ?, ?, 'queued', 0, ?, ?, ?)`)
-            .run(options.runId, resourceId, this.requireProjectId(), options.parentRunId ?? null, definitionDigest, options.workflowSourceRef, launchHash, inputHash, now, now);
+           ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, 'queued', 0, ?, ?, ?)`)
+            .run(options.runId, resourceId, this.requireProjectId(), options.parentRunId ?? null, rootRunId, lineageKind, restartNumber, parentTerminalFingerprint, definitionDigest, options.workflowSourceRef, launchHash, inputHash, now, now);
         initializeViewerRun(this.state, options.runId, now);
         insertQueuedRunSources(this.state, options.runId, queuedSource);
         this.state.connection
@@ -621,6 +654,11 @@ export class SqliteControllerStore {
                 runnerId: options.runnerId,
                 originSessionId: options.originSessionId,
                 ...(options.parentRunId === undefined ? {} : { parentRunId: options.parentRunId }),
+                ...(options.lineageKind === undefined ? {} : { lineageKind: options.lineageKind }),
+                ...(options.restartNumber === undefined ? {} : { restartNumber: options.restartNumber }),
+                ...(options.parentTerminalFingerprint === undefined
+                    ? {}
+                    : { parentTerminalFingerprint: options.parentTerminalFingerprint }),
                 ...(options.now === undefined ? {} : { now: options.now }),
             });
         }
@@ -640,6 +678,32 @@ export class SqliteControllerStore {
         const row = this.workflowRunRow(runId);
         return row === undefined ? undefined : this.mapWorkflowRun(row);
     }
+    getWorkflowRunView(runId) {
+        const row = this.workflowRunViewRows("WHERE r.run_id = ?", [runId])[0];
+        return row === undefined ? undefined : workflowRunViewRecord(row);
+    }
+    workflowRunListRevision() {
+        const row = this.state.connection
+            .prepare(`SELECT count(*) AS count, COALESCE(sum(res.revision), 0) AS revisionSum,
+                COALESCE(max(q.updated_at), 0) AS updatedAt
+         FROM runs r JOIN run_queue q ON q.run_id = r.run_id
+         JOIN resources res ON res.resource_id = r.resource_id`)
+            .get();
+        if (!isRunListRevisionRow(row))
+            throw new Error("Workflow run list revision is invalid");
+        return {
+            total: row.count,
+            revision: `${row.count}:${row.revisionSum}:${row.updatedAt}`,
+        };
+    }
+    listWorkflowRunViews(options) {
+        const current = this.workflowRunListRevision();
+        const rows = this.workflowRunViewRows("ORDER BY q.created_at DESC LIMIT ? OFFSET ?", [
+            options.limit,
+            options.offset,
+        ]);
+        return { ...current, runs: rows.map(workflowRunViewRecord) };
+    }
     workflowRunProjectPath(runId) {
         const row = this.state.connection
             .prepare(`SELECT p.canonical_path AS canonicalPath
@@ -662,9 +726,10 @@ export class SqliteControllerStore {
             clauses.push(`r.run_id NOT IN (${options.excludeRunIds.map(() => "?").join(", ")})`);
             params.push(...options.excludeRunIds);
         }
-        params.push(options.limit ?? 100);
+        if (options.limit !== undefined)
+            params.push(options.limit);
         const rows = this.state.connection
-            .prepare(workflowRunSelect(`${clauses.length === 0 ? "" : `WHERE ${clauses.join(" AND ")}`} ORDER BY q.created_at DESC LIMIT ?`))
+            .prepare(workflowRunSelect(`${clauses.length === 0 ? "" : `WHERE ${clauses.join(" AND ")}`} ORDER BY q.created_at DESC${options.limit === undefined ? "" : " LIMIT ?"}`))
             .all(...params);
         return rows.filter(isRunRow).map((row) => this.mapWorkflowRun(row));
     }
@@ -674,6 +739,10 @@ export class SqliteControllerStore {
             .get(sessionId);
         return isRunRow(row) ? this.mapWorkflowRun(row) : undefined;
     }
+    findSessionReservationView(sessionId) {
+        const row = this.workflowRunViewRows("WHERE b.origin_session_id = ? AND q.status NOT IN ('done', 'failed', 'cancelled') ORDER BY q.created_at DESC LIMIT 1", [sessionId])[0];
+        return row === undefined ? undefined : workflowRunViewRecord(row);
+    }
     claimWorkflowRun(options) {
         const now = epoch(validTimestamp(options.now));
         return this.claimRun(options.runId, options.runnerId, options.claimToken, options.leaseMs, now);
@@ -705,17 +774,23 @@ export class SqliteControllerStore {
                 .prepare(`SELECT i.request_id AS requestId, i.attempt_id AS attemptId
            FROM interactive_requests i
            JOIN node_attempts a ON a.attempt_id = i.attempt_id
-           WHERE i.run_id = ? AND i.status IN ('pending', 'presenting')
+           JOIN runs r ON r.run_id = i.run_id
+           WHERE i.run_id = ? AND i.target_session_id = ?
+             AND i.status = 'pending' AND r.paused = 0
              AND a.deadline_at IS NOT NULL AND a.deadline_at <= ?
+             AND EXISTS (
+               SELECT 1 FROM workflow_messages m
+               JOIN workflow_turns t ON t.workflow_message_id = m.workflow_message_id
+               WHERE m.source_id = i.request_id AND m.kind = 'step' AND t.state = 'started'
+             )
            ORDER BY a.deadline_at, i.request_id LIMIT 1`)
-                .get(options.runId, now);
+                .get(options.runId, options.targetSessionId, now);
             if (!isExpiredInteractionRow(interaction))
                 return false;
             const request = this.state.connection
                 .prepare(`UPDATE interactive_requests
-           SET status = 'cancelled', presenter_id = NULL,
-               presentation_claim_expires_at = NULL, revision = revision + 1, updated_at = ?
-           WHERE request_id = ? AND run_id = ? AND status IN ('pending', 'presenting')`)
+           SET status = 'cancelled', revision = revision + 1, updated_at = ?
+           WHERE request_id = ? AND run_id = ? AND status = 'pending'`)
                 .run(now, interaction.requestId, options.runId);
             const run = this.state.connection
                 .prepare(`UPDATE runs
@@ -732,7 +807,7 @@ export class SqliteControllerStore {
             if (request.changes !== 1 || run.changes !== 1 || queue.changes !== 1) {
                 throw new Error(`Workflow run ${options.runId} changed during interaction timeout`);
             }
-            const error = "Workflow node deadline expired before origin-session input arrived";
+            const error = "Workflow node model-turn deadline expired";
             const receiptHash = this.state.putJson({ status: "rejected", error }, now);
             this.state.connection
                 .prepare(`UPDATE interactive_submissions SET outcome = 'rejected', receipt_hash = ?
@@ -757,7 +832,7 @@ export class SqliteControllerStore {
             "(l.owner_id IS NULL OR l.expires_at <= ? OR l.owner_id = ?)",
             "(q.affinity_runner_id IS NULL OR q.affinity_runner_id = ? OR q.status IN ('parked', 'starting', 'running'))",
             "NOT (q.status = 'parked' AND (r.status = 'waiting' OR r.paused = 1))",
-            "NOT EXISTS (SELECT 1 FROM interactive_requests i WHERE i.run_id = r.run_id AND i.status IN ('pending', 'presenting'))",
+            "NOT EXISTS (SELECT 1 FROM interactive_requests i WHERE i.run_id = r.run_id AND i.status = 'pending')",
             "(q.error_code IS NULL OR q.error_code <> 'workflowSourceChanged')",
         ];
         const params = [now, now, options.runnerId, options.runnerId];
@@ -843,7 +918,7 @@ export class SqliteControllerStore {
                 return false;
             const pending = this.state.connection
                 .prepare(`SELECT 1 FROM interactive_requests
-           WHERE run_id = ? AND status IN ('pending', 'presenting') LIMIT 1`)
+           WHERE run_id = ? AND status = 'pending' LIMIT 1`)
                 .get(options.runId);
             if (pending === undefined)
                 return false;
@@ -879,7 +954,7 @@ export class SqliteControllerStore {
                 return false;
             const pending = this.state.connection
                 .prepare(`SELECT 1 FROM interactive_requests
-           WHERE run_id = ? AND status IN ('pending', 'presenting') LIMIT 1`)
+           WHERE run_id = ? AND status = 'pending' LIMIT 1`)
                 .get(options.runId);
             if (pending === undefined)
                 return false;
@@ -1139,187 +1214,6 @@ export class SqliteControllerStore {
             payload: row.payloadHash === null ? {} : this.state.readJson(row.payloadHash),
         }));
     }
-    ensureWorkflowTurnIntent(options) {
-        const existing = this.turnIntentBySource(options.sourceEventId);
-        if (existing !== undefined)
-            return existing;
-        const now = epoch(validTimestamp(options.requestedAt));
-        const run = this.requireWorkflowRunRow(options.runId);
-        const intentId = options.intentId;
-        const resourceId = resourceIdFor("turn_intent", intentId);
-        const effectId = `effect-${randomUUID()}`;
-        this.state.transaction(() => {
-            const factsHash = this.state.putJson(options.fallbackFacts, now);
-            this.insertEffectResource(effectId, resourceIdFor("effect", effectId), run.resourceId, this.resourceRevision(run.resourceId), "turn.deliver", intentId, factsHash, "run", now);
-            this.state.connection
-                .prepare("INSERT INTO resources(resource_id, resource_type, aggregate_key, revision, created_at, updated_at) VALUES (?, 'turn_intent', ?, 1, ?, ?)")
-                .run(resourceId, intentId, now, now);
-            this.state.connection
-                .prepare("INSERT INTO leases(resource_id, generation) VALUES (?, 0)")
-                .run(resourceId);
-            this.state.connection
-                .prepare(`INSERT INTO turn_intents(
-             turn_intent_id, resource_id, effect_id, source_event_id, run_id,
-             workflow_ref, target_session_id, cause, node_id, attempt_id,
-             facts_hash, requested_at, eligible_at, created_at
-           ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)`)
-                .run(intentId, resourceId, effectId, options.sourceEventId, options.runId, options.workflowRef, options.targetSessionId, options.cause, options.nodeId ?? null, options.attemptId ?? null, factsHash, now, options.eligible ? now : null, now);
-            this.insertEvent(resourceId, 1, "turn.requested", "session", options.targetSessionId, {}, now);
-        });
-        return this.requireTurnIntent(intentId);
-    }
-    getWorkflowTurnIntent(intentId) {
-        return this.turnIntent(intentId);
-    }
-    findPendingWorkflowTurnIntent(options) {
-        const row = this.state.connection
-            .prepare(turnIntentSelect("WHERE t.run_id = ? AND t.target_session_id = ? AND t.resolved_at IS NULL ORDER BY t.requested_at DESC LIMIT 1"))
-            .get(options.runId, options.targetSessionId);
-        return isTurnIntentRow(row) ? this.mapTurnIntent(row) : undefined;
-    }
-    isWorkflowTurnIntentClaimLive(options) {
-        const row = this.turnIntentRow(options.intentId);
-        return (row !== undefined &&
-            row.targetSessionId === options.targetSessionId &&
-            row.resolvedAt === null &&
-            this.verifyEffectToken(row.effectId, options.claimToken, options.now));
-    }
-    claimWorkflowTurnIntent(options) {
-        const intent = this.turnIntent(options.intentId);
-        if (intent?.targetSessionId !== options.targetSessionId)
-            return undefined;
-        return this.claimEffectForTurn(options.intentId, options.claimToken, options.leaseMs, options.now)
-            ? this.requireTurnIntent(options.intentId)
-            : undefined;
-    }
-    claimEligibleWorkflowTurnIntents(options) {
-        const now = epoch(validTimestamp(options.now));
-        const rows = this.state.connection
-            .prepare(turnIntentSelect("WHERE t.target_session_id = ? AND t.resolved_at IS NULL AND t.eligible_at IS NOT NULL AND t.eligible_at <= ? ORDER BY t.eligible_at LIMIT ?"))
-            .all(options.targetSessionId, now, options.limit ?? 10);
-        const claimed = [];
-        for (const row of rows) {
-            if (isTurnIntentRow(row) &&
-                this.claimEffectForTurn(row.intentId, options.claimToken, options.leaseMs, options.now)) {
-                claimed.push(this.requireTurnIntent(row.intentId));
-            }
-        }
-        return claimed;
-    }
-    makeWorkflowTurnIntentEligible(options) {
-        const eligibleAt = epoch(validTimestamp(options.eligibleAt ?? options.now));
-        const factsHash = this.state.putJson(options.fallbackFacts, eligibleAt);
-        return (this.state.connection
-            .prepare("UPDATE turn_intents SET eligible_at = ?, facts_hash = ? WHERE turn_intent_id = ? AND resolved_at IS NULL")
-            .run(eligibleAt, factsHash, options.intentId).changes === 1);
-    }
-    resolveWorkflowTurnIntent(options) {
-        const now = epoch(validTimestamp(options.now));
-        return this.state.transaction(() => {
-            const row = this.turnIntentRow(options.intentId);
-            if (row === undefined ||
-                row.targetSessionId !== options.targetSessionId ||
-                !this.verifyEffectToken(row.effectId, options.claimToken, options.now)) {
-                return false;
-            }
-            const result = this.state.connection
-                .prepare(`UPDATE turn_intents SET resolved_at = ?, resolution_type = ?, resolution_message_id = ?
-           WHERE turn_intent_id = ? AND resolved_at IS NULL`)
-                .run(now, options.resolution, options.messageId ?? null, options.intentId);
-            if (result.changes === 1)
-                this.completeEffect(row.effectId, "applied", now);
-            return result.changes === 1;
-        });
-    }
-    releaseWorkflowTurnIntentClaim(options) {
-        const row = this.turnIntentRow(options.intentId);
-        return (row !== undefined &&
-            row.targetSessionId === options.targetSessionId &&
-            this.releaseEffectLease(row.effectId, options.claimToken));
-    }
-    listWorkflowTurnIntents(options = {}) {
-        const clauses = ["1 = 1"];
-        const params = [];
-        if (options.runId !== undefined) {
-            clauses.push("t.run_id = ?");
-            params.push(options.runId);
-        }
-        if (options.targetSessionId !== undefined) {
-            clauses.push("t.target_session_id = ?");
-            params.push(options.targetSessionId);
-        }
-        if (options.unresolvedOnly === true)
-            clauses.push("t.resolved_at IS NULL");
-        params.push(options.limit ?? 100);
-        const rows = this.state.connection
-            .prepare(turnIntentSelect(`WHERE ${clauses.join(" AND ")} ORDER BY t.requested_at DESC LIMIT ?`))
-            .all(...params);
-        return rows.filter(isTurnIntentRow).map((row) => this.mapTurnIntent(row));
-    }
-    enqueueWorkflowNotification(options) {
-        const existing = this.notification(options.runId, options.attemptId, options.notificationIndex);
-        if (existing !== undefined)
-            return existing;
-        const run = this.requireWorkflowRunRow(options.runId);
-        const now = epoch(validTimestamp(options.now));
-        const notificationId = `notification-${randomUUID()}`;
-        const resourceId = resourceIdFor("notification", notificationId);
-        const effectId = `effect-${randomUUID()}`;
-        this.state.transaction(() => {
-            const contentHash = this.state.putText(options.content, now);
-            this.insertEffectResource(effectId, resourceIdFor("effect", effectId), run.resourceId, this.resourceRevision(run.resourceId), "notification.deliver", notificationId, contentHash, "run", now);
-            this.state.connection
-                .prepare("INSERT INTO resources(resource_id, resource_type, aggregate_key, revision, created_at, updated_at) VALUES (?, 'notification', ?, 1, ?, ?)")
-                .run(resourceId, notificationId, now, now);
-            this.state.connection
-                .prepare("INSERT INTO leases(resource_id, generation) VALUES (?, 0)")
-                .run(resourceId);
-            this.state.connection
-                .prepare(`INSERT INTO notifications(
-             notification_id, effect_id, run_id, attempt_id, notification_index,
-             target_session_id, notification_type, content_hash, created_at
-           ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?)`)
-                .run(notificationId, effectId, options.runId, options.attemptId, options.notificationIndex, options.targetSessionId, options.kind, contentHash, now);
-            this.insertEvent(resourceId, 1, "notification.queued", "session", options.targetSessionId, {}, now);
-        });
-        return this.requireNotification(options.runId, options.attemptId, options.notificationIndex);
-    }
-    listPendingWorkflowNotifications(options) {
-        const now = Date.now();
-        return this.notificationRows(options.targetSessionId, options.limit ?? 20)
-            .map((row) => this.mapNotification(row))
-            .filter((notification) => notification.deliveryClaimExpiresAt === null ||
-            Date.parse(notification.deliveryClaimExpiresAt) <= now);
-    }
-    claimPendingWorkflowNotifications(options) {
-        const rows = this.notificationRows(options.targetSessionId, options.limit ?? 20);
-        const result = [];
-        for (const row of rows) {
-            if (this.claimEffect(row.effectId, options.targetSessionId, options.claimToken, options.leaseMs, options.now)) {
-                result.push(this.mapNotification(row));
-            }
-        }
-        return result;
-    }
-    isWorkflowNotificationClaimLive(options) {
-        const row = this.notificationRowById(options.notificationId);
-        return (row !== undefined &&
-            row.targetSessionId === options.targetSessionId &&
-            this.verifyEffectToken(row.effectId, options.claimToken, options.now));
-    }
-    markWorkflowNotificationDelivered(options) {
-        const now = epoch(validTimestamp(options.now));
-        return this.state.transaction(() => {
-            const row = this.notificationRowById(options.notificationId);
-            if (row === undefined ||
-                row.targetSessionId !== options.targetSessionId ||
-                !this.verifyEffectToken(row.effectId, options.claimToken, options.now)) {
-                return false;
-            }
-            this.completeEffect(row.effectId, "applied", now);
-            return true;
-        });
-    }
     settleRunEffect(runId, effectType) {
         const rows = this.state.connection
             .prepare(`SELECT e.effect_id AS effectId, e.resource_id AS resourceId
@@ -1663,6 +1557,17 @@ export class SqliteControllerStore {
         return this.mapWorkflowRun(this.requireWorkflowRunRow(runId));
     }
     assertWorkflowRunPreparationCompatible(row, options, definitionDigest) {
+        const expectedLineageKind = options.parentRunId === undefined ? null : (options.lineageKind ?? "continuation");
+        const parent = options.parentRunId === undefined
+            ? undefined
+            : this.requireWorkflowRunRow(options.parentRunId);
+        const expectedRootRunId = parent?.rootRunId ?? options.runId;
+        const expectedRestartNumber = expectedLineageKind === "restart"
+            ? (options.restartNumber ?? (parent?.restartNumber ?? -1) + 1)
+            : (parent?.restartNumber ?? 0);
+        const expectedParentTerminalFingerprint = options.parentTerminalFingerprint === undefined
+            ? null
+            : terminalFingerprintBuffer(options.parentTerminalFingerprint);
         const compatible = row.workflowName === options.workflowName &&
             row.workflowRef === options.workflowSourceRef &&
             row.definitionDigest.equals(definitionDigest) &&
@@ -1673,11 +1578,24 @@ export class SqliteControllerStore {
                 canonicalJson(options.launchOptions ?? {}) &&
             row.originSessionId === options.originSessionId &&
             row.executionMode === (options.executionMode ?? "interactive") &&
-            row.parentRunId === (options.parentRunId ?? null);
+            row.parentRunId === (options.parentRunId ?? null) &&
+            row.rootRunId === expectedRootRunId &&
+            row.lineageKind === expectedLineageKind &&
+            row.restartNumber === expectedRestartNumber &&
+            ((row.parentTerminalFingerprint === null && expectedParentTerminalFingerprint === null) ||
+                (row.parentTerminalFingerprint !== null &&
+                    expectedParentTerminalFingerprint !== null &&
+                    row.parentTerminalFingerprint.equals(expectedParentTerminalFingerprint)));
         if (!compatible) {
             throw new Error(`Workflow run preparation conflicts: ${options.runId}`);
         }
     }
+    workflowRunViewRows(clause, params) {
+        return this.state.connection
+            .prepare(workflowRunViewSelect(clause))
+            .all(...params)
+            .filter(isWorkflowRunViewRow);
+    }
     /* istanbul ignore next -- pure projection covered by integration tests */
     mapWorkflowRun(row) {
         return {
@@ -1698,6 +1616,10 @@ export class SqliteControllerStore {
             originSessionId: row.executionMode === "headless" ? null : row.originSessionId,
             executionMode: row.executionMode,
             parentRunId: row.parentRunId,
+            rootRunId: row.rootRunId,
+            lineageKind: row.lineageKind,
+            restartNumber: row.restartNumber,
+            parentTerminalFingerprint: row.parentTerminalFingerprint?.toString("hex") ?? null,
             errorCode: row.errorCode,
             errorMessage: row.errorHash === null
                 ? null
@@ -1718,7 +1640,7 @@ export class SqliteControllerStore {
         if (options.allowPendingInteraction !== true &&
             this.state.connection
                 .prepare(`SELECT 1 FROM interactive_requests
-           WHERE run_id = ? AND status IN ('pending', 'presenting') LIMIT 1`)
+           WHERE run_id = ? AND status = 'pending' LIMIT 1`)
                 .get(runId) !== undefined) {
             return undefined;
         }
@@ -1912,165 +1834,10 @@ export class SqliteControllerStore {
             .run(receiptHash, runId);
         this.state.connection
             .prepare(`UPDATE interactive_requests
-         SET status = 'cancelled', presenter_id = NULL,
-             presentation_claim_expires_at = NULL, revision = revision + 1, updated_at = ?
-         WHERE run_id = ? AND status IN ('pending', 'presenting')`)
+         SET status = 'cancelled', revision = revision + 1, updated_at = ?
+         WHERE run_id = ? AND status = 'pending'`)
             .run(now, runId);
     }
-    turnIntent(intentId) {
-        const row = this.turnIntentRow(intentId);
-        return row === undefined ? undefined : this.mapTurnIntent(row);
-    }
-    requireTurnIntent(intentId) {
-        const row = this.turnIntent(intentId);
-        if (row === undefined)
-            throw new Error(`Workflow turn intent not found: ${intentId}`);
-        return row;
-    }
-    turnIntentRow(intentId) {
-        const row = this.state.connection
-            .prepare(turnIntentSelect("WHERE t.turn_intent_id = ?"))
-            .get(intentId);
-        return isTurnIntentRow(row) ? row : undefined;
-    }
-    turnIntentBySource(sourceEventId) {
-        const row = this.state.connection
-            .prepare(turnIntentSelect("WHERE t.source_event_id = ?"))
-            .get(sourceEventId);
-        return isTurnIntentRow(row) ? this.mapTurnIntent(row) : undefined;
-    }
-    /* istanbul ignore next -- pure projection covered by integration tests */
-    mapTurnIntent(row) {
-        return {
-            intentId: row.intentId,
-            sourceEventId: row.sourceEventId,
-            runId: row.runId,
-            workflowRef: row.workflowRef,
-            targetSessionId: row.targetSessionId,
-            cause: row.cause,
-            nodeId: row.nodeId,
-            attemptId: row.attemptId,
-            fallbackFacts: this.state.readJson(row.factsHash),
-            requestedAt: new Date(row.requestedAt).toISOString(),
-            eligibleAt: row.eligibleAt === null ? null : new Date(row.eligibleAt).toISOString(),
-            resolvedAt: row.resolvedAt === null ? null : new Date(row.resolvedAt).toISOString(),
-            resolution: row.resolution,
-            resolutionMessageId: row.resolutionMessageId,
-            deliveryClaimExpiresAt: row.claimExpiresAt === null ? null : new Date(row.claimExpiresAt).toISOString(),
-        };
-    }
-    claimEffectForTurn(intentId, token, leaseMs, nowValue) {
-        const row = this.turnIntentRow(intentId);
-        return (row !== undefined &&
-            this.claimEffect(row.effectId, row.targetSessionId, token, leaseMs, nowValue));
-    }
-    claimEffect(effectId, ownerId, token, leaseMs, nowValue) {
-        const now = epoch(validTimestamp(nowValue));
-        return this.state.transaction(() => {
-            const row = this.state.connection
-                .prepare("SELECT resource_id AS resourceId FROM effects WHERE effect_id = ? AND status = 'pending'")
-                .get(effectId);
-            /* istanbul ignore if -- impossible after exact schema and transaction checks */
-            if (!isResourceIdRow(row))
-                return false;
-            const lease = this.requireLease(row.resourceId);
-            if (lease.ownerId !== null && lease.expiresAt !== null && lease.expiresAt > now)
-                return false;
-            return (this.state.connection
-                .prepare(`UPDATE leases SET generation = ?, owner_type = 'session', owner_id = ?, token_hash = ?,
-                  acquired_at = ?, heartbeat_at = ?, expires_at = ?
-           WHERE resource_id = ? AND generation = ?`)
-                .run(lease.generation + 1, ownerId, tokenHash(token), now, now, now + leaseMs, row.resourceId, lease.generation).changes === 1);
-        });
-    }
-    verifyEffectToken(effectId, token, nowValue) {
-        const now = epoch(validTimestamp(nowValue));
-        const row = this.state.connection
-            .prepare(`SELECT l.token_hash AS tokenHash, l.expires_at AS expiresAt
-         FROM effects e JOIN leases l ON l.resource_id = e.resource_id
-         WHERE e.effect_id = ?`)
-            .get(effectId);
-        return (isEffectTokenRow(row) &&
-            row.tokenHash !== null &&
-            row.tokenHash.equals(tokenHash(token)) &&
-            row.expiresAt !== null &&
-            row.expiresAt > now);
-    }
-    releaseEffectLease(effectId, token) {
-        return (this.state.connection
-            .prepare(`UPDATE leases SET owner_type = NULL, owner_id = NULL, token_hash = NULL,
-                acquired_at = NULL, heartbeat_at = NULL, expires_at = NULL
-         WHERE resource_id = (SELECT resource_id FROM effects WHERE effect_id = ?)
-           AND token_hash = ?`)
-            .run(effectId, tokenHash(token)).changes === 1);
-    }
-    completeEffect(effectId, status, now) {
-        this.state.connection
-            .prepare("UPDATE effects SET status = ?, updated_at = ?, settled_at = ? WHERE effect_id = ?")
-            .run(status, now, now, effectId);
-        this.state.connection
-            .prepare(`UPDATE leases SET owner_type = NULL, owner_id = NULL, token_hash = NULL,
-                acquired_at = NULL, heartbeat_at = NULL, expires_at = NULL
-         WHERE resource_id = (SELECT resource_id FROM effects WHERE effect_id = ?)`)
-            .run(effectId);
-    }
-    insertEffectResource(effectId, resourceId, sourceResourceId, sourceRevision, type, key, payloadHash, scope, now) {
-        this.state.connection
-            .prepare("INSERT INTO resources(resource_id, resource_type, aggregate_key, revision, created_at, updated_at) VALUES (?, 'effect', ?, 1, ?, ?)")
-            .run(resourceId, effectId, now, now);
-        this.state.connection
-            .prepare("INSERT INTO leases(resource_id, generation) VALUES (?, 0)")
-            .run(resourceId);
-        this.state.connection
-            .prepare(`INSERT INTO effects(
-           effect_id, resource_id, source_resource_id, source_revision, effect_type,
-           idempotency_key, payload_hash, owner_scope, status, attempt_count,
-           created_at, updated_at
-         ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, 'pending', 0, ?, ?)`)
-            .run(effectId, resourceId, sourceResourceId, sourceRevision, type, key, payloadHash, scope, now, now);
-        this.insertEvent(resourceId, 1, "effect.created", "system", null, {}, now);
-    }
-    notification(runId, attemptId, index) {
-        const row = this.state.connection
-            .prepare(notificationSelect("WHERE n.run_id = ? AND n.attempt_id = ? AND n.notification_index = ?"))
-            .get(runId, attemptId, index);
-        return isNotificationRow(row) ? this.mapNotification(row) : undefined;
-    }
-    requireNotification(runId, attemptId, index) {
-        const record = this.notification(runId, attemptId, index);
-        /* istanbul ignore if -- impossible after exact schema and transaction checks */
-        if (record === undefined)
-            throw new Error("Workflow notification was not stored");
-        return record;
-    }
-    notificationRows(sessionId, limit) {
-        return this.state.connection
-            .prepare(notificationSelect("WHERE n.target_session_id = ? AND e.status = 'pending' ORDER BY n.created_at LIMIT ?"))
-            .all(sessionId, limit)
-            .filter(isNotificationRow);
-    }
-    notificationRowById(id) {
-        const row = this.state.connection
-            .prepare(notificationSelect("WHERE n.notification_id = ?"))
-            .get(id);
-        return isNotificationRow(row) ? row : undefined;
-    }
-    /* istanbul ignore next -- pure projection covered by integration tests */
-    mapNotification(row) {
-        return {
-            notificationId: row.notificationId,
-            runId: row.runId,
-            nodeId: row.nodeId,
-            attemptId: row.attemptId,
-            notificationIndex: row.notificationIndex,
-            targetSessionId: row.targetSessionId,
-            kind: row.kind,
-            content: this.state.readBlob(row.contentHash)?.content.toString("utf8") ?? "",
-            createdAt: new Date(row.createdAt).toISOString(),
-            deliveryClaimExpiresAt: row.claimExpiresAt === null ? null : new Date(row.claimExpiresAt).toISOString(),
-            deliveredAt: row.deliveredAt === null ? null : new Date(row.deliveredAt).toISOString(),
-        };
-    }
     assertWritable() {
         if (this.state.mode === "read-only")
             throw new Error("Controller store is read-only");
@@ -2112,6 +1879,9 @@ function workflowRunSelect(clause) {
     q.consecutive_errors AS consecutiveErrors, q.error_code AS errorCode,
     q.error_hash AS errorHash, b.origin_session_id AS originSessionId,
     b.execution_mode AS executionMode, r.parent_run_id AS parentRunId,
+    r.root_run_id AS rootRunId, r.lineage_kind AS lineageKind,
+    r.restart_number AS restartNumber,
+    r.parent_terminal_fingerprint AS parentTerminalFingerprint,
     q.created_at AS createdAt, q.updated_at AS updatedAt,
     q.started_at AS startedAt, q.finished_at AS finishedAt,
     l.generation AS leaseGeneration, l.owner_id AS ownerId, l.expires_at AS claimExpiresAt
@@ -2120,28 +1890,24 @@ function workflowRunSelect(clause) {
     LEFT JOIN run_bindings b ON b.run_id = r.run_id
     JOIN leases l ON l.resource_id = r.resource_id ${clause}`;
 }
-function turnIntentSelect(clause) {
-    return `SELECT t.turn_intent_id AS intentId, t.source_event_id AS sourceEventId,
-    t.run_id AS runId, t.workflow_ref AS workflowRef,
-    t.target_session_id AS targetSessionId, t.cause,
-    t.node_id AS nodeId, t.attempt_id AS attemptId, t.facts_hash AS factsHash,
-    t.requested_at AS requestedAt, t.eligible_at AS eligibleAt,
-    t.resolved_at AS resolvedAt, t.resolution_type AS resolution,
-    t.resolution_message_id AS resolutionMessageId, l.expires_at AS claimExpiresAt,
-    t.effect_id AS effectId
-    FROM turn_intents t JOIN effects e ON e.effect_id = t.effect_id
-    JOIN leases l ON l.resource_id = e.resource_id ${clause}`;
-}
-function notificationSelect(clause) {
-    return `SELECT n.notification_id AS notificationId, n.effect_id AS effectId,
-    n.run_id AS runId, a.node_id AS nodeId, n.attempt_id AS attemptId,
-    n.notification_index AS notificationIndex, n.target_session_id AS targetSessionId,
-    n.notification_type AS kind, n.content_hash AS contentHash,
-    n.created_at AS createdAt, l.expires_at AS claimExpiresAt,
-    e.settled_at AS deliveredAt
-    FROM notifications n JOIN effects e ON e.effect_id = n.effect_id
-    JOIN leases l ON l.resource_id = e.resource_id
-    JOIN node_attempts a ON a.attempt_id = n.attempt_id ${clause}`;
+function workflowRunViewSelect(clause) {
+    return `SELECT r.run_id AS runId, d.workflow_name AS workflowName,
+    r.workflow_ref AS workflowRef, r.status AS runStatus, r.paused,
+    r.definition_digest AS definitionDigest, q.status,
+    b.origin_session_id AS originSessionId, b.execution_mode AS executionMode,
+    r.parent_run_id AS parentRunId, r.root_run_id AS rootRunId,
+    r.lineage_kind AS lineageKind, r.restart_number AS restartNumber,
+    r.parent_terminal_fingerprint AS parentTerminalFingerprint,
+    q.error_code AS errorCode, CAST(error.content AS TEXT) AS errorMessage,
+    q.created_at AS createdAt, q.updated_at AS updatedAt,
+    q.started_at AS startedAt, q.finished_at AS finishedAt,
+    source.source_type AS sourceType, source.source_ref AS sourceRef,
+    source.source_revision AS sourceRevision
+    FROM runs r JOIN workflow_definitions d ON d.definition_digest = r.definition_digest
+    JOIN run_queue q ON q.run_id = r.run_id
+    LEFT JOIN run_bindings b ON b.run_id = r.run_id
+    LEFT JOIN run_sources source ON source.run_id = r.run_id AND source.mount_path = ''
+    LEFT JOIN blobs error ON error.blob_hash = q.error_hash ${clause}`;
 }
 function isRecord(value) {
     return typeof value === "object" && value !== null && !Array.isArray(value);
@@ -2152,6 +1918,70 @@ function isControllerRow(value) {
 function isLeaseRow(value) {
     return isRecord(value);
 }
+function workflowRunViewRecord(row) {
+    const root = row.sourceType === "builtin"
+        ? { kind: "builtin", id: row.sourceRef, revision: row.sourceRevision }
+        : { kind: "file", path: row.sourceRef, hash: row.sourceRevision };
+    return {
+        runId: row.runId,
+        workflowName: row.workflowName,
+        workflowSourceRef: row.workflowRef,
+        workflowSource: { root, mounted: [] },
+        initialized: row.runStatus !== "queued",
+        definitionDigest: `sha256:${row.definitionDigest.toString("hex")}`,
+        runStateStatus: row.runStatus,
+        paused: row.paused === 1,
+        status: row.status,
+        originSessionId: row.executionMode === "headless" ? null : row.originSessionId,
+        executionMode: row.executionMode,
+        parentRunId: row.parentRunId,
+        rootRunId: row.rootRunId,
+        lineageKind: row.lineageKind,
+        restartNumber: row.restartNumber,
+        parentTerminalFingerprint: row.parentTerminalFingerprint?.toString("hex") ?? null,
+        errorCode: row.errorCode,
+        errorMessage: row.errorMessage,
+        createdAt: new Date(row.createdAt).toISOString(),
+        updatedAt: new Date(row.updatedAt).toISOString(),
+        startedAt: row.startedAt === null ? null : new Date(row.startedAt).toISOString(),
+        finishedAt: row.finishedAt === null ? null : new Date(row.finishedAt).toISOString(),
+    };
+}
+function isWorkflowRunViewRow(value) {
+    return (isRecord(value) &&
+        typeof value.runId === "string" &&
+        typeof value.workflowName === "string" &&
+        typeof value.workflowRef === "string" &&
+        typeof value.runStatus === "string" &&
+        typeof value.paused === "number" &&
+        Buffer.isBuffer(value.definitionDigest) &&
+        typeof value.status === "string" &&
+        (value.originSessionId === null || typeof value.originSessionId === "string") &&
+        (value.executionMode === "interactive" || value.executionMode === "headless") &&
+        (value.parentRunId === null || typeof value.parentRunId === "string") &&
+        typeof value.rootRunId === "string" &&
+        (value.lineageKind === null ||
+            value.lineageKind === "continuation" ||
+            value.lineageKind === "restart") &&
+        typeof value.restartNumber === "number" &&
+        (value.parentTerminalFingerprint === null ||
+            Buffer.isBuffer(value.parentTerminalFingerprint)) &&
+        (value.errorCode === null || typeof value.errorCode === "string") &&
+        (value.errorMessage === null || typeof value.errorMessage === "string") &&
+        typeof value.createdAt === "number" &&
+        typeof value.updatedAt === "number" &&
+        (value.startedAt === null || typeof value.startedAt === "number") &&
+        (value.finishedAt === null || typeof value.finishedAt === "number") &&
+        (value.sourceType === "builtin" || value.sourceType === "file") &&
+        typeof value.sourceRef === "string" &&
+        typeof value.sourceRevision === "string");
+}
+function isRunListRevisionRow(value) {
+    return (isRecord(value) &&
+        typeof value.count === "number" &&
+        typeof value.revisionSum === "number" &&
+        typeof value.updatedAt === "number");
+}
 function isRunRow(value) {
     return isRecord(value);
 }
@@ -2183,12 +2013,6 @@ function isControllerEventRow(value) {
 function isRunEventRow(value) {
     return isRecord(value);
 }
-function isTurnIntentRow(value) {
-    return isRecord(value);
-}
-function isNotificationRow(value) {
-    return isRecord(value);
-}
 function isProjectRow(value) {
     return isRecord(value);
 }
@@ -2213,12 +2037,6 @@ function isSequenceRow(value) {
 function isKeyRow(value) {
     return isRecord(value);
 }
-function isResourceIdRow(value) {
-    return isRecord(value);
-}
-function isEffectTokenRow(value) {
-    return isRecord(value);
-}
 function isEffectIdentityRow(value) {
     return isRecord(value);
 }
@@ -2242,6 +2060,12 @@ function digestBuffer(value) {
         throw new Error("Expected a SHA-256 digest");
     return Buffer.from(hex, "hex");
 }
+function terminalFingerprintBuffer(value) {
+    const hex = value.startsWith("sha256:") ? value.slice(7) : value;
+    if (!/^[a-f0-9]{64}$/i.test(hex))
+        throw new Error("Expected a terminal fingerprint");
+    return Buffer.from(hex, "hex");
+}
 function queuedWorkflowSource(value) {
     if (isWorkflowSource(value)) {
         return { root: value, mounted: [] };