@effect-agent/storage-cloudflare 0.1.0-beta.9 → 0.1.0-beta.91

package/dist/DoSubmissionLedger.mjs

@@ -0,0 +1,1849 @@
+import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
+import { DoStorageConfig } from "./DoStorageConfig.mjs";
+import { DoStorageFailpoint } from "./DoStorageFailpoint.mjs";
+import { DoLedgerError, DoStorageCorruptionError, DoStorageError } from "./DoStorageError.mjs";
+import { a as initializeDoJournal, i as decodeRows } from "./do-journal-dJ01KSKf.mjs";
+import { storageConfigLayer, storageFailpointLayer } from "./DoThreadStore.mjs";
+import { Clock, Context, Crypto, DateTime, Effect, Layer, Option, Schema, Stream } from "effect";
+import * as SqlClientService from "effect/unstable/sql/SqlClient";
+import { SqliteClient } from "@effect/sql-sqlite-do";
+import { EMPTY_TAIL_DIGEST } from "effect-agent/digest";
+import { ApprovalDecision, CanonicalSequence, DefinitionDigests, Digest, PersistedJson, ProducerEpoch, RecordEnvelope, SettlementOutcome, WorkerAdmission } from "effect-agent/records";
+import { BrowserCrypto } from "@effect/platform-browser";
+import { InputMessage } from "effect-agent/messaging";
+import { AbortCommand, AbortIntent, AbortIntentRequest, AdmissionAdmitted, AdmissionConflict, AdmissionFence, AdmissionGroup, AdmissionNotAdmitted, AdmissionPolicyError, AdmissionRequest, AdmissionResult, ApprovalConflict, ApprovalDecisionCommand, ApprovalDecisionIntent, AttachChildToReservationRequest, BeginChildBudgetReleaseRequest, ChildAttachmentSnapshot, ChildBudgetReservationRequest, ChildBudgetReservationSnapshot, ChildReservationConflict, ChildReservationStatus, ChildSettledNotification, Claim, ClaimJoiningRequest, ClaimRequest, InputAppliedMarker, JoinSnapshot, JoinedToHost, JoiningClaim, LedgerCapabilities, LedgerError, MarkInputAppliedRequest, MarkJoinedRequest, MarkReadyRequest, MarkUnknownRequest, OwnershipLost, OwnershipRenewal, OwnershipSnapshot, ParentLinkage, QueueSequence, RecoverySnapshot, RecoverySnapshotRequest, ReleaseChildBudgetRequest, ReleaseOwnershipRequest, RenewOwnershipRequest, ReservedChildBudget, ReservedSettlement, RevertJoiningRequest, Settlement, SettlementConflict, SettlementFinalization, SettlementReservation, SettlementReservationSnapshot, SubmissionAdmissionFence, SubmissionLedger, SubmissionLookup, SubmissionLookupByKey, SubmissionSnapshot, SubmissionState, SuspendRequest, SuspensionReason, SuspensionSnapshot, UnknownResolution, UnknownResolutionCommand, UnknownResolutionConflict, UnknownResolutionIntent, settlementFailureFromRecord, submissionAbortRecordId } from "effect-agent/submission-ledger";
+//#region src/DoSubmissionLedger.ts
+var DoSubmissionLedger_exports = /* @__PURE__ */ __exportAll({
+	ledgerLayer: () => ledgerLayer,
+	submissionLedgerLayer: () => submissionLedgerLayer
+});
+/**
+* Static decode-side ceiling; writes are bounded in bytes by the configured
+* `maxStoredValueBytes` (see do-journal.ts).
+*/
+const BoundedStoredText = Schema.String.check(Schema.isMaxLength(2e6));
+const BoundedIdentifier = Schema.NonEmptyString.check(Schema.isMaxLength(1024));
+const BoundedTimestamp = Schema.NonEmptyString.check(Schema.isMaxLength(128));
+const SCAN_PAGE_SIZE = 256;
+const EPOCH_ZERO = Schema.decodeSync(ProducerEpoch)(0);
+const RESUME_IMMEDIATELY = "resume-immediately";
+const SUSPENDED = "suspended";
+const NOT_WAITING = "not-waiting";
+const STILL_WAITING = "still-waiting";
+const WOKEN = "woken";
+const MAX_IDENTIFIER_LENGTH = 1024;
+var SubmissionRow = class extends Schema.Class("SubmissionRow")({
+	submission_id: BoundedIdentifier,
+	thread_id: BoundedIdentifier,
+	queue_sequence: QueueSequence,
+	principal: BoundedIdentifier,
+	idempotency_key: BoundedIdentifier,
+	agent_id: BoundedIdentifier,
+	agent_digests_json: BoundedStoredText,
+	deployment_id: BoundedIdentifier,
+	input_json: BoundedStoredText,
+	input_digest: Digest,
+	receipt_id: BoundedIdentifier,
+	state: SubmissionState,
+	settled_outcome: Schema.NullOr(SettlementOutcome),
+	created_at: BoundedTimestamp,
+	ready_at: Schema.NullOr(BoundedTimestamp),
+	input_applied_record_id: Schema.NullOr(BoundedIdentifier),
+	input_applied_sequence: Schema.NullOr(CanonicalSequence),
+	joined_host_submission_id: Schema.NullOr(BoundedIdentifier),
+	suspended_reason_json: Schema.NullOr(BoundedStoredText),
+	suspended_at: Schema.NullOr(BoundedTimestamp),
+	unknown_reason: Schema.NullOr(BoundedStoredText),
+	unknown_tool_call_ids_json: Schema.NullOr(BoundedStoredText),
+	parent_submission_id: Schema.NullOr(BoundedIdentifier),
+	parent_tool_call_id: Schema.NullOr(BoundedIdentifier),
+	admission_group: Schema.NullOr(AdmissionGroup),
+	admission_fence_json: Schema.NullOr(BoundedStoredText),
+	worker_admission_json: Schema.NullOr(BoundedStoredText),
+	message_admission_json: Schema.NullOr(BoundedStoredText)
+}) {};
+var ChildReservationRow = class extends Schema.Class("ChildReservationRow")({
+	reservation_id: BoundedIdentifier,
+	parent_submission_id: BoundedIdentifier,
+	parent_tool_call_id: BoundedIdentifier,
+	child_submission_id: Schema.NullOr(BoundedIdentifier),
+	status: ChildReservationStatus,
+	allocation_json: BoundedStoredText,
+	allocation_digest: Digest,
+	accounting_json: Schema.NullOr(BoundedStoredText),
+	reserved_at: BoundedTimestamp,
+	release_began_at: Schema.NullOr(BoundedTimestamp),
+	released_at: Schema.NullOr(BoundedTimestamp)
+}) {};
+var ChildSettlementMarkerRow = class extends Schema.Class("ChildSettlementMarkerRow")({
+	parent_submission_id: BoundedIdentifier,
+	child_submission_id: BoundedIdentifier,
+	child_outcome: Schema.NullOr(SettlementOutcome),
+	recorded_at: BoundedTimestamp
+}) {};
+var ApprovalDecisionRow = class extends Schema.Class("ApprovalDecisionRow")({
+	submission_id: BoundedIdentifier,
+	tool_call_id: BoundedIdentifier,
+	decision: ApprovalDecision,
+	resolver: BoundedIdentifier,
+	reason: BoundedStoredText,
+	decided_at: BoundedTimestamp
+}) {};
+var UnknownResolutionRow = class extends Schema.Class("UnknownResolutionRow")({
+	submission_id: BoundedIdentifier,
+	tool_call_id: BoundedIdentifier,
+	author: BoundedIdentifier,
+	reason: BoundedStoredText,
+	resolution_json: BoundedStoredText,
+	resolved_at: BoundedTimestamp
+}) {};
+var OwnershipRow = class extends Schema.Class("OwnershipRow")({
+	submission_id: BoundedIdentifier,
+	attempt_id: BoundedIdentifier,
+	ownership_token: BoundedIdentifier,
+	producer_epoch: ProducerEpoch,
+	owner_producer_id: BoundedIdentifier,
+	lease_expires_at: BoundedTimestamp
+}) {};
+var ReservationRow = class extends Schema.Class("ReservationRow")({
+	submission_id: BoundedIdentifier,
+	settlement_id: BoundedIdentifier,
+	outcome: SettlementOutcome,
+	record_id: BoundedIdentifier,
+	record_json: BoundedStoredText,
+	record_digest: Digest,
+	reserved_at: BoundedTimestamp,
+	finalized_at: Schema.NullOr(BoundedTimestamp)
+}) {};
+var AbortIntentRow = class extends Schema.Class("AbortIntentRow")({
+	submission_id: BoundedIdentifier,
+	author: BoundedIdentifier,
+	reason: BoundedStoredText,
+	requested_at: BoundedTimestamp,
+	canonical_record_id: Schema.NullOr(BoundedIdentifier)
+}) {};
+var MaxQueueSequenceRow = class extends Schema.Class("MaxQueueSequenceRow")({ max_queue_sequence: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)) }) {};
+var AbortIntentLookupRow = class extends Schema.Class("AbortIntentLookupRow")({
+	submission_id: BoundedIdentifier,
+	abort_submission_id: Schema.NullOr(BoundedIdentifier),
+	author: Schema.NullOr(BoundedIdentifier),
+	reason: Schema.NullOr(BoundedStoredText),
+	requested_at: Schema.NullOr(BoundedTimestamp),
+	canonical_record_id: Schema.NullOr(BoundedIdentifier)
+}) {};
+var CanonicalRecordIdRow = class extends Schema.Class("CanonicalRecordIdRow")({ record_id: BoundedIdentifier }) {};
+const SUBMISSION_COLUMNS = `
+  submission_id,
+  thread_id,
+  queue_sequence,
+  principal,
+  idempotency_key,
+  agent_id,
+  agent_digests_json,
+  deployment_id,
+  input_json,
+  input_digest,
+  receipt_id,
+  state,
+  settled_outcome,
+  created_at,
+  ready_at,
+  input_applied_record_id,
+  input_applied_sequence,
+  joined_host_submission_id,
+  suspended_reason_json,
+  suspended_at,
+  unknown_reason,
+  unknown_tool_call_ids_json,
+  parent_submission_id,
+  parent_tool_call_id,
+  admission_group,
+  admission_fence_json,
+  worker_admission_json,
+  message_admission_json
+`;
+const CHILD_RESERVATION_COLUMNS = `
+  reservation_id,
+  parent_submission_id,
+  parent_tool_call_id,
+  child_submission_id,
+  status,
+  allocation_json,
+  allocation_digest,
+  accounting_json,
+  reserved_at,
+  release_began_at,
+  released_at
+`;
+/** The branded ToolCallId schema, reached through the thread port so no core import is needed. */
+const ToolCallIdSchema = ApprovalDecisionCommand.fields.toolCallId;
+const ToolCallIdList = Schema.Array(ToolCallIdSchema);
+const encodePersistedJsonText = Schema.encodeEffect(Schema.fromJsonString(PersistedJson));
+const encodeDefinitionDigestsText = Schema.encodeEffect(Schema.fromJsonString(DefinitionDigests));
+const encodeRecordEnvelopeText = Schema.encodeEffect(Schema.fromJsonString(RecordEnvelope));
+const decodeRecordEnvelopeText = Schema.decodeEffect(Schema.fromJsonString(RecordEnvelope));
+const encodeSuspensionReasonText = Schema.encodeEffect(Schema.fromJsonString(SuspensionReason));
+const encodeUnknownResolutionText = Schema.encodeEffect(Schema.fromJsonString(UnknownResolution));
+const encodeToolCallIdsText = Schema.encodeEffect(Schema.fromJsonString(ToolCallIdList));
+const decodeToolCallIdsText = Schema.decodeEffect(Schema.fromJsonString(ToolCallIdList));
+const parseStoredJsonText = Schema.decodeEffect(Schema.fromJsonString(Schema.Json));
+const decodeAdmissionResult = Schema.decodeUnknownEffect(AdmissionResult);
+const decodeClaim = Schema.decodeUnknownEffect(Claim);
+const decodeOwnershipRenewal = Schema.decodeUnknownEffect(OwnershipRenewal);
+const decodeSettlement = Schema.decodeUnknownEffect(Settlement);
+const decodeAbortIntent = Schema.decodeUnknownEffect(AbortIntent);
+const decodeOwnershipSnapshot = Schema.decodeUnknownEffect(OwnershipSnapshot);
+const decodeInputAppliedMarker = Schema.decodeUnknownEffect(InputAppliedMarker);
+const decodeSubmissionSnapshotUnknown = Schema.decodeUnknownEffect(SubmissionSnapshot);
+const decodeSubmissionId = Schema.decodeUnknownEffect(SubmissionSnapshot.fields.submissionId);
+const decodeQueueSequence = Schema.decodeUnknownEffect(QueueSequence);
+const decodeUtcInstant = Schema.decodeUnknownEffect(Schema.DateTimeUtcFromString);
+const decodeJoiningClaim = Schema.decodeUnknownEffect(JoiningClaim);
+const decodeJoinSnapshot = Schema.decodeUnknownEffect(JoinSnapshot);
+const decodeSuspensionSnapshot = Schema.decodeUnknownEffect(SuspensionSnapshot);
+const decodeApprovalDecisionIntent = Schema.decodeUnknownEffect(ApprovalDecisionIntent);
+const decodeUnknownResolutionIntent = Schema.decodeUnknownEffect(UnknownResolutionIntent);
+const decodeParentLinkage = Schema.decodeUnknownEffect(ParentLinkage);
+const decodeChildReservationSnapshotUnknown = Schema.decodeUnknownEffect(ChildBudgetReservationSnapshot);
+const decodeChildAttachmentSnapshot = Schema.decodeUnknownEffect(ChildAttachmentSnapshot);
+const equivalentPersistedJson = Schema.toEquivalence(PersistedJson);
+const equivalentUnknownResolution = Schema.toEquivalence(UnknownResolution);
+const isDoStorageError = Schema.is(DoStorageError);
+/** Wrap an adapter-internal failure into the port's LedgerError without erasing its tag. */
+const internalFailure = (operation) => (error) => LedgerError.make({
+	operation,
+	message: error.message,
+	cause: error
+});
+/**
+* Classify raw SQL failures. Within one Durable Object there is exactly one writer, so the
+* Node adapter's retryable `SqliteWriteContention` classification has no analogue: every raw
+* failure is a `DoLedgerError` preserved as the LedgerError's cause.
+*/
+const sqlFailure = (operation) => (error) => internalFailure(operation)(DoLedgerError.make({
+	cause: error,
+	operation,
+	message: error.message
+}));
+const corruptionFailure = (operation, table, rowKey, message) => internalFailure(operation)(DoStorageCorruptionError.make({
+	table,
+	rowKey,
+	message
+}));
+const makeServices = Effect.fn("DoSubmissionLedger.makeServices")(function* () {
+	const config = yield* DoStorageConfig;
+	const failpoint = yield* DoStorageFailpoint;
+	const sql = yield* SqlClientService.SqlClient;
+	const crypto = yield* Crypto.Crypto;
+	const admissionFence = yield* SubmissionAdmissionFence;
+	const journal = yield* initializeDoJournal(sql, failpoint.hit, config.maxStoredValueBytes);
+	const hitFailpoint = (location, operation) => failpoint.hit(location).pipe(Effect.mapError((error) => internalFailure(operation)(error)));
+	/**
+	* Run one ledger mutation under the journal's Durable Object storage-backed transaction so
+	* ownership-token and epoch checks are atomic with their writes (DUR-006). Transaction
+	* failures surface as LedgerError carrying the typed `DoStorageError` as cause.
+	*/
+	const inWriteTransaction = (operation, effect) => journal.withWriteTransaction(operation)(effect).pipe(Effect.mapError((error) => isDoStorageError(error) ? internalFailure(operation)(error) : error));
+	const mintUuid = (operation) => crypto.randomUUIDv7.pipe(Effect.mapError((error) => internalFailure(operation)(error)));
+	const currentInstant = Effect.map(Clock.currentTimeMillis, (millis) => ({
+		millis,
+		iso: new Date(millis).toISOString()
+	}));
+	const timestampMillis = (operation, rowKey) => (timestamp) => decodeUtcInstant(timestamp).pipe(Effect.map(DateTime.toEpochMillis), Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submission_ownership", rowKey, error.message)));
+	const decodeSubmissionRows = (operation, rowKey, rows) => decodeRows(Schema.Array(SubmissionRow), "effect_agent_submissions", rowKey, rows).pipe(Effect.mapError(internalFailure(operation)));
+	const readSubmission = Effect.fn("DoSubmissionLedger.readSubmission")(function* (operation, submissionId) {
+		const rows = yield* sql`
+      SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+      FROM effect_agent_submissions
+      WHERE submission_id = ${submissionId}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeSubmissionRows(operation, submissionId, rows);
+		if (decoded.length > 1) return yield* corruptionFailure(operation, "effect_agent_submissions", submissionId, "A submission primary key returned more than one row.");
+		return decoded.length === 0 ? Option.none() : Option.some(decoded[0]);
+	});
+	const requireSubmission = Effect.fn("DoSubmissionLedger.requireSubmission")(function* (operation, submissionId) {
+		const submission = yield* readSubmission(operation, submissionId);
+		if (Option.isNone(submission)) return yield* LedgerError.make({
+			operation,
+			message: `Unknown submission ${submissionId}.`
+		});
+		return submission.value;
+	});
+	const readOwnership = Effect.fn("DoSubmissionLedger.readOwnership")(function* (operation, submissionId) {
+		const rows = yield* sql`
+      SELECT
+        submission_id,
+        attempt_id,
+        ownership_token,
+        producer_epoch,
+        owner_producer_id,
+        lease_expires_at
+      FROM effect_agent_submission_ownership
+      WHERE submission_id = ${submissionId}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeRows(Schema.Array(OwnershipRow), "effect_agent_submission_ownership", submissionId, rows).pipe(Effect.mapError(internalFailure(operation)));
+		if (decoded.length > 1) return yield* corruptionFailure(operation, "effect_agent_submission_ownership", submissionId, "An ownership primary key returned more than one row.");
+		return decoded.length === 0 ? Option.none() : Option.some(decoded[0]);
+	});
+	const threadEpoch = Effect.fn("DoSubmissionLedger.threadEpoch")(function* (operation, threadId) {
+		const threads = yield* journal.getThread(threadId).pipe(Effect.mapError(internalFailure(operation)));
+		return threads.length === 0 ? EPOCH_ZERO : threads[0].producer_epoch;
+	});
+	/**
+	* Verify inside the surrounding write transaction that the presented token still owns the
+	* Submission's lane; a superseded or missing token fails with OwnershipLost carrying the
+	* Thread's current producer epoch (DUR-006).
+	*/
+	const requireOwnership = Effect.fn("DoSubmissionLedger.requireOwnership")(function* (operation, submission, ownershipToken) {
+		const ownership = yield* readOwnership(operation, submission.submission_id);
+		if (Option.isNone(ownership) || ownership.value.ownership_token !== ownershipToken) {
+			const actualEpoch = yield* threadEpoch(operation, submission.thread_id);
+			const submissionId = yield* Schema.decodeEffect(SubmissionSnapshot.fields.submissionId)(submission.submission_id).pipe(Effect.mapError(internalFailure(operation)));
+			return yield* OwnershipLost.make({
+				submissionId,
+				actualEpoch
+			});
+		}
+		return ownership.value;
+	});
+	const decodeSubmissionSnapshot = Effect.fn("DoSubmissionLedger.decodeSubmissionSnapshot")(function* (operation, row) {
+		const agentDigests = yield* parseStoredJsonText(row.agent_digests_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", row.submission_id, error.message)));
+		const inputPayload = yield* parseStoredJsonText(row.input_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", row.submission_id, error.message)));
+		if (row.parent_submission_id === null !== (row.parent_tool_call_id === null)) return yield* corruptionFailure(operation, "effect_agent_submissions", row.submission_id, "A parent linkage must record both the parent Submission and the parent Tool Call.");
+		return yield* decodeSubmissionSnapshotUnknown({
+			submissionId: row.submission_id,
+			threadId: row.thread_id,
+			queueSequence: row.queue_sequence,
+			principal: row.principal,
+			idempotencyKey: row.idempotency_key,
+			agentId: row.agent_id,
+			agentDigests,
+			deploymentId: row.deployment_id,
+			inputPayload,
+			inputDigest: row.input_digest,
+			receiptId: row.receipt_id,
+			state: row.state,
+			createdAt: row.created_at,
+			...row.admission_group === null ? {} : { admissionGroup: row.admission_group },
+			...row.worker_admission_json === null ? {} : { workerAdmission: yield* parseStoredJsonText(row.worker_admission_json).pipe(Effect.mapError(internalFailure(operation))) },
+			...row.message_admission_json === null ? {} : { messageAdmission: yield* parseStoredJsonText(row.message_admission_json).pipe(Effect.mapError(internalFailure(operation))) },
+			...row.admission_fence_json === null ? {} : { admissionFence: yield* parseStoredJsonText(row.admission_fence_json).pipe(Effect.mapError(internalFailure(operation))) },
+			...row.settled_outcome === null ? {} : { settledOutcome: row.settled_outcome },
+			...row.ready_at === null ? {} : { readyAt: row.ready_at },
+			...row.parent_submission_id === null || row.parent_tool_call_id === null ? {} : { parentLinkage: {
+				parentSubmissionId: row.parent_submission_id,
+				parentToolCallId: row.parent_tool_call_id
+			} }
+		}).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", row.submission_id, error.message)));
+	});
+	const readReservation = Effect.fn("DoSubmissionLedger.readReservation")(function* (operation, submissionId) {
+		const rows = yield* sql`
+      SELECT
+        submission_id,
+        settlement_id,
+        outcome,
+        record_id,
+        record_json,
+        record_digest,
+        reserved_at,
+        finalized_at
+      FROM effect_agent_settlement_reservations
+      WHERE submission_id = ${submissionId}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeRows(Schema.Array(ReservationRow), "effect_agent_settlement_reservations", submissionId, rows).pipe(Effect.mapError(internalFailure(operation)));
+		if (decoded.length > 1) return yield* corruptionFailure(operation, "effect_agent_settlement_reservations", submissionId, "A settlement reservation primary key returned more than one row.");
+		return decoded.length === 0 ? Option.none() : Option.some(decoded[0]);
+	});
+	const readAbortIntent = Effect.fn("DoSubmissionLedger.readAbortIntent")(function* (operation, submissionId) {
+		const rows = yield* sql`
+      SELECT
+        submission_id,
+        author,
+        reason,
+        requested_at,
+        canonical_record_id
+      FROM effect_agent_abort_intents
+      WHERE submission_id = ${submissionId}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeRows(Schema.Array(AbortIntentRow), "effect_agent_abort_intents", submissionId, rows).pipe(Effect.mapError(internalFailure(operation)));
+		if (decoded.length > 1) return yield* corruptionFailure(operation, "effect_agent_abort_intents", submissionId, "An abort intent primary key returned more than one row.");
+		return decoded.length === 0 ? Option.none() : Option.some(decoded[0]);
+	});
+	/**
+	* Read the durable cross-store child-settlement markers recorded against one parent
+	* Submission (the DC realization of the port's "cross-store adapters record a durable
+	* notification marker" contract).
+	*/
+	const readChildSettlementMarkers = Effect.fn("DoSubmissionLedger.readChildSettlementMarkers")(function* (operation, parentSubmissionId) {
+		const rows = yield* sql`
+        SELECT
+          parent_submission_id,
+          child_submission_id,
+          child_outcome,
+          recorded_at
+        FROM effect_agent_child_settlements
+        WHERE parent_submission_id = ${parentSubmissionId}
+        ORDER BY child_submission_id ASC
+      `.pipe(Effect.mapError(sqlFailure(operation)));
+		return yield* decodeRows(Schema.Array(ChildSettlementMarkerRow), "effect_agent_child_settlements", parentSubmissionId, rows).pipe(Effect.mapError(internalFailure(operation)));
+	});
+	/**
+	* Whether one listed child is provably settled from THIS store: either its own row lives
+	* here and is settled (single-store evidence, identical to the Node adapter), or a durable
+	* cross-store notification marker was recorded for it (the child's row lives in another
+	* Durable Object and its owner reported the settlement through `recordChildSettled`).
+	*/
+	const childProvablySettled = Effect.fn("DoSubmissionLedger.childProvablySettled")(function* (operation, markerChildren, childSubmissionId) {
+		if (markerChildren.has(childSubmissionId)) return true;
+		const childRow = yield* readSubmission(operation, childSubmissionId);
+		return Option.isSome(childRow) && childRow.value.state === "settled";
+	});
+	const decodeChildReservationRows = (operation, rowKey, rows) => decodeRows(Schema.Array(ChildReservationRow), "effect_agent_child_reservations", rowKey, rows).pipe(Effect.mapError(internalFailure(operation)));
+	const readChildReservation = Effect.fn("DoSubmissionLedger.readChildReservation")(function* (operation, reservationId) {
+		const rows = yield* sql`
+      SELECT ${sql.literal(CHILD_RESERVATION_COLUMNS)}
+      FROM effect_agent_child_reservations
+      WHERE reservation_id = ${reservationId}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeChildReservationRows(operation, reservationId, rows);
+		if (decoded.length > 1) return yield* corruptionFailure(operation, "effect_agent_child_reservations", reservationId, "A child reservation primary key returned more than one row.");
+		return decoded.length === 0 ? Option.none() : Option.some(decoded[0]);
+	});
+	const readChildReservationForCall = Effect.fn("DoSubmissionLedger.readChildReservationForCall")(function* (operation, parentSubmissionId, parentToolCallId) {
+		const rows = yield* sql`
+        SELECT ${sql.literal(CHILD_RESERVATION_COLUMNS)}
+        FROM effect_agent_child_reservations
+        WHERE parent_submission_id = ${parentSubmissionId}
+          AND parent_tool_call_id = ${parentToolCallId}
+      `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeChildReservationRows(operation, `${parentSubmissionId}/${parentToolCallId}`, rows);
+		if (decoded.length > 1) return yield* corruptionFailure(operation, "effect_agent_child_reservations", `${parentSubmissionId}/${parentToolCallId}`, "A parent Tool Call returned more than one child reservation.");
+		return decoded.length === 0 ? Option.none() : Option.some(decoded[0]);
+	});
+	const childReservationSnapshotFromRow = Effect.fn("DoSubmissionLedger.childReservationSnapshotFromRow")(function* (operation, row) {
+		const rowFailure = (error) => corruptionFailure(operation, "effect_agent_child_reservations", row.reservation_id, error.message);
+		const allocation = yield* parseStoredJsonText(row.allocation_json).pipe(Effect.mapError(rowFailure));
+		const accounting = row.accounting_json === null ? void 0 : yield* parseStoredJsonText(row.accounting_json).pipe(Effect.mapError(rowFailure));
+		return yield* decodeChildReservationSnapshotUnknown({
+			reservationId: row.reservation_id,
+			parentSubmissionId: row.parent_submission_id,
+			parentToolCallId: row.parent_tool_call_id,
+			status: row.status,
+			allocation,
+			allocationDigest: row.allocation_digest,
+			reservedAt: row.reserved_at,
+			...row.child_submission_id === null ? {} : { childSubmissionId: row.child_submission_id },
+			...accounting === void 0 ? {} : { accounting },
+			...row.release_began_at === null ? {} : { releaseBeganAt: row.release_began_at },
+			...row.released_at === null ? {} : { releasedAt: row.released_at }
+		}).pipe(Effect.mapError(rowFailure));
+	});
+	const readApprovalDecisions = Effect.fn("DoSubmissionLedger.readApprovalDecisions")(function* (operation, submissionId) {
+		const rows = yield* sql`
+      SELECT
+        submission_id,
+        tool_call_id,
+        decision,
+        resolver,
+        reason,
+        decided_at
+      FROM effect_agent_approval_decisions
+      WHERE submission_id = ${submissionId}
+      ORDER BY tool_call_id ASC
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		return yield* decodeRows(Schema.Array(ApprovalDecisionRow), "effect_agent_approval_decisions", submissionId, rows).pipe(Effect.mapError(internalFailure(operation)));
+	});
+	const approvalIntentFromRow = Effect.fn("DoSubmissionLedger.approvalIntentFromRow")(function* (operation, row) {
+		return yield* decodeApprovalDecisionIntent({
+			submissionId: row.submission_id,
+			toolCallId: row.tool_call_id,
+			decision: row.decision,
+			resolver: row.resolver,
+			reason: row.reason,
+			decidedAt: row.decided_at
+		}).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_approval_decisions", `${row.submission_id}/${row.tool_call_id}`, error.message)));
+	});
+	const readUnknownResolutions = Effect.fn("DoSubmissionLedger.readUnknownResolutions")(function* (operation, submissionId) {
+		const rows = yield* sql`
+      SELECT
+        submission_id,
+        tool_call_id,
+        author,
+        reason,
+        resolution_json,
+        resolved_at
+      FROM effect_agent_unknown_resolutions
+      WHERE submission_id = ${submissionId}
+      ORDER BY tool_call_id ASC
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		return yield* decodeRows(Schema.Array(UnknownResolutionRow), "effect_agent_unknown_resolutions", submissionId, rows).pipe(Effect.mapError(internalFailure(operation)));
+	});
+	const unknownResolutionIntentFromRow = Effect.fn("DoSubmissionLedger.unknownResolutionIntentFromRow")(function* (operation, row) {
+		const resolution = yield* parseStoredJsonText(row.resolution_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_unknown_resolutions", `${row.submission_id}/${row.tool_call_id}`, error.message)));
+		return yield* decodeUnknownResolutionIntent({
+			submissionId: row.submission_id,
+			toolCallId: row.tool_call_id,
+			author: row.author,
+			reason: row.reason,
+			resolution,
+			resolvedAt: row.resolved_at
+		}).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_unknown_resolutions", `${row.submission_id}/${row.tool_call_id}`, error.message)));
+	});
+	/** The Submission's marked-unknown open Tool Call identities, empty when never marked. */
+	const storedUnknownToolCallIds = Effect.fn("DoSubmissionLedger.storedUnknownToolCallIds")(function* (operation, submission) {
+		if (submission.unknown_tool_call_ids_json === null) return [];
+		return yield* decodeToolCallIdsText(submission.unknown_tool_call_ids_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", submission.submission_id, error.message)));
+	});
+	/**
+	* Canonical history is the abort authority (DUR-015): the intent's canonicalRecordId is
+	* derived from the shared canonical-records table using the deterministic abort record
+	* identity, never from a cached ledger marker.
+	*/
+	const canonicalAbortRecordId = Effect.fn("DoSubmissionLedger.canonicalAbortRecordId")(function* (operation, threadId, submissionId) {
+		const recordId = submissionAbortRecordId(submissionId);
+		const rows = yield* sql`
+      SELECT record_id
+      FROM effect_agent_canonical_records
+      WHERE thread_id = ${threadId}
+        AND record_id = ${recordId}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		return (yield* decodeRows(Schema.Array(CanonicalRecordIdRow), "effect_agent_canonical_records", `${threadId}/${recordId}`, rows).pipe(Effect.mapError(internalFailure(operation)))).length === 0 ? void 0 : recordId;
+	});
+	const abortIntentFromRow = Effect.fn("DoSubmissionLedger.abortIntentFromRow")(function* (operation, submission, submissionId, row) {
+		const canonicalRecordId = yield* canonicalAbortRecordId(operation, submission.thread_id, submissionId);
+		return yield* decodeAbortIntent({
+			submissionId: row.submission_id,
+			author: row.author,
+			reason: row.reason,
+			requestedAt: row.requested_at,
+			...canonicalRecordId === void 0 ? {} : { canonicalRecordId }
+		}).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_abort_intents", row.submission_id, error.message)));
+	});
+	const capabilities = Effect.succeed(LedgerCapabilities.make({ durability: "durable-cloudflare" }));
+	const admit = Effect.fn("DoSubmissionLedger.admit")(function* (request) {
+		const operation = "ledger admit";
+		const validated = yield* Schema.decodeEffect(Schema.toType(AdmissionRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		const inputJson = yield* encodePersistedJsonText(validated.inputPayload).pipe(Effect.mapError(internalFailure(operation)));
+		yield* journal.checkValueBound(operation, inputJson).pipe(Effect.mapError(internalFailure(operation)));
+		const workerAdmissionJson = validated.workerAdmission === void 0 ? null : yield* Schema.encodeEffect(Schema.fromJsonString(WorkerAdmission))(validated.workerAdmission).pipe(Effect.mapError(internalFailure(operation)));
+		if (workerAdmissionJson !== null && new TextEncoder().encode(workerAdmissionJson).byteLength > config.maxStoredValueBytes) return yield* LedgerError.make({
+			operation,
+			message: "Worker admission metadata exceeds the stored value bound"
+		});
+		const messageAdmissionJson = validated.messageAdmission === void 0 ? null : yield* Schema.encodeEffect(Schema.fromJsonString(InputMessage))(validated.messageAdmission).pipe(Effect.mapError(internalFailure(operation)));
+		if (messageAdmissionJson !== null && new TextEncoder().encode(messageAdmissionJson).byteLength > config.maxStoredValueBytes) return yield* LedgerError.make({
+			operation,
+			message: "Message admission metadata exceeds the stored value bound"
+		});
+		const agentDigestsJson = yield* encodeDefinitionDigestsText(validated.agentDigests).pipe(Effect.mapError(internalFailure(operation)));
+		const mintedSubmissionId = `${yield* mintUuid(operation)}:${validated.threadId}`;
+		if (mintedSubmissionId.length > MAX_IDENTIFIER_LENGTH) return yield* LedgerError.make({
+			operation,
+			message: `A routable Submission identity of ${mintedSubmissionId.length} characters exceeds the ${MAX_IDENTIFIER_LENGTH}-character ledger row bound; shorten the Thread identity.`
+		});
+		const mintedReceiptId = `receipt-${yield* mintUuid(operation)}`;
+		yield* hitFailpoint("ledger:admit:before", operation);
+		const result = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const keyRowKey = `${validated.threadId}/${validated.principal}/${validated.idempotencyKey}`;
+			const existingRows = yield* sql`
+            SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+            FROM effect_agent_submissions
+            WHERE thread_id = ${validated.threadId}
+              AND principal = ${validated.principal}
+              AND idempotency_key = ${validated.idempotencyKey}
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			const existing = yield* decodeSubmissionRows(operation, keyRowKey, existingRows);
+			if (existing.length > 1) return yield* corruptionFailure(operation, "effect_agent_submissions", keyRowKey, "An admission idempotency key returned more than one row.");
+			if (existing.length === 1) {
+				const sameLinkage = validated.parentLinkage === void 0 ? existing[0].parent_submission_id === null && existing[0].parent_tool_call_id === null : existing[0].parent_submission_id === validated.parentLinkage.parentSubmissionId && existing[0].parent_tool_call_id === validated.parentLinkage.parentToolCallId;
+				if (existing[0].input_digest !== validated.inputDigest || !sameLinkage) return yield* AdmissionConflict.make({
+					threadId: validated.threadId,
+					principal: validated.principal,
+					idempotencyKey: validated.idempotencyKey,
+					existingInputDigest: existing[0].input_digest,
+					attemptedInputDigest: validated.inputDigest
+				});
+				const retainedWorkerAdmission = existing[0].worker_admission_json === null ? void 0 : yield* Schema.decodeEffect(Schema.fromJsonString(WorkerAdmission))(existing[0].worker_admission_json).pipe(Effect.mapError(internalFailure(operation)));
+				const retainedInputMessage = existing[0].message_admission_json === null ? void 0 : yield* Schema.decodeEffect(Schema.fromJsonString(InputMessage))(existing[0].message_admission_json).pipe(Effect.mapError(internalFailure(operation)));
+				const retainedFence = existing[0].admission_fence_json === null ? void 0 : yield* Schema.decodeEffect(Schema.fromJsonString(AdmissionFence))(existing[0].admission_fence_json).pipe(Effect.mapError(internalFailure(operation)));
+				if ((existing[0].admission_group ?? void 0) !== validated.admissionGroup || !Schema.toEquivalence(Schema.optional(WorkerAdmission))(retainedWorkerAdmission, validated.workerAdmission) || !Schema.toEquivalence(Schema.optional(InputMessage))(retainedInputMessage, validated.messageAdmission) || !Schema.toEquivalence(Schema.optional(AdmissionFence))(retainedFence, validated.admissionFence)) return yield* AdmissionConflict.make({
+					threadId: validated.threadId,
+					principal: validated.principal,
+					idempotencyKey: validated.idempotencyKey,
+					existingInputDigest: existing[0].input_digest,
+					attemptedInputDigest: validated.inputDigest
+				});
+				return yield* decodeAdmissionResult({
+					submissionId: existing[0].submission_id,
+					receiptId: existing[0].receipt_id,
+					queueSequence: existing[0].queue_sequence,
+					state: existing[0].state,
+					replayed: true
+				}).pipe(Effect.mapError(internalFailure(operation)));
+			}
+			const firstRows = yield* sql`
+            SELECT worker_admission_json FROM effect_agent_submissions
+            WHERE thread_id=${validated.threadId} ORDER BY queue_sequence LIMIT 1
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			const first = yield* Schema.decodeUnknownEffect(Schema.Array(Schema.Struct({ worker_admission_json: Schema.NullOr(BoundedStoredText) })))(firstRows).pipe(Effect.mapError(internalFailure(operation)));
+			if (first[0] !== void 0) {
+				const previous = first[0].worker_admission_json === null ? void 0 : yield* Schema.decodeEffect(Schema.fromJsonString(WorkerAdmission))(first[0].worker_admission_json).pipe(Effect.mapError(internalFailure(operation)));
+				if (!Schema.toEquivalence(Schema.optional(WorkerAdmission.fields.origin))(previous?.origin, validated.workerAdmission?.origin)) return yield* AdmissionPolicyError.make({
+					reason: "refused",
+					code: "worker-origin-conflict"
+				});
+			}
+			yield* admissionFence.check(validated);
+			if (validated.admissionGroup !== void 0) {
+				if ((yield* sql`
+              SELECT submission_id FROM effect_agent_submissions
+              WHERE thread_id=${validated.threadId} AND admission_group=${validated.admissionGroup} AND state<>'settled' LIMIT 1
+            `.pipe(Effect.mapError(sqlFailure(operation)))).length > 0) return yield* AdmissionPolicyError.make({
+					reason: "occupied",
+					code: "admission-group"
+				});
+			}
+			const maxRows = yield* sql`
+            SELECT COALESCE(MAX(queue_sequence), 0) AS max_queue_sequence
+            FROM effect_agent_submissions
+            WHERE thread_id = ${validated.threadId}
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			const decodedMax = yield* decodeRows(Schema.Array(MaxQueueSequenceRow), "effect_agent_submissions", validated.threadId, maxRows).pipe(Effect.mapError(internalFailure(operation)));
+			const queueSequence = yield* decodeQueueSequence((decodedMax[0]?.max_queue_sequence ?? 0) + 1).pipe(Effect.mapError(internalFailure(operation)));
+			const now = yield* currentInstant;
+			yield* sql`
+            INSERT INTO effect_agent_submissions (
+              submission_id,
+              thread_id,
+              queue_sequence,
+              principal,
+              idempotency_key,
+              agent_id,
+              agent_digests_json,
+              deployment_id,
+              input_json,
+              input_digest,
+              receipt_id,
+              state,
+              created_at,
+              parent_submission_id,
+              parent_tool_call_id,
+              admission_group,
+              admission_fence_json,
+  worker_admission_json,
+  message_admission_json
+            ) VALUES (
+              ${mintedSubmissionId},
+              ${validated.threadId},
+              ${queueSequence},
+              ${validated.principal},
+              ${validated.idempotencyKey},
+              ${validated.agentId},
+              ${agentDigestsJson},
+              ${validated.deploymentId},
+              ${inputJson},
+              ${validated.inputDigest},
+              ${mintedReceiptId},
+              'admitted',
+              ${now.iso},
+              ${validated.parentLinkage?.parentSubmissionId ?? null},
+              ${validated.parentLinkage?.parentToolCallId ?? null},
+              ${validated.admissionGroup ?? null},
+              ${validated.admissionFence === void 0 ? null : JSON.stringify(validated.admissionFence)},
+              ${workerAdmissionJson},
+              ${messageAdmissionJson}
+            )
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			return yield* decodeAdmissionResult({
+				submissionId: mintedSubmissionId,
+				receiptId: mintedReceiptId,
+				queueSequence,
+				state: "admitted",
+				replayed: false
+			}).pipe(Effect.mapError(internalFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:admit:after", operation);
+		return result;
+	});
+	const markReady = Effect.fn("DoSubmissionLedger.markReady")(function* (request) {
+		const operation = "ledger mark ready";
+		const validated = yield* Schema.decodeEffect(Schema.toType(MarkReadyRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:mark-ready:before", operation);
+		yield* inWriteTransaction(operation, Effect.gen(function* () {
+			if ((yield* requireSubmission(operation, validated.submissionId)).state !== "admitted") return;
+			const now = yield* currentInstant;
+			yield* sql`
+          UPDATE effect_agent_submissions
+          SET state = 'ready', ready_at = ${now.iso}
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:mark-ready:after", operation);
+	});
+	const lookup = Effect.fn("DoSubmissionLedger.lookup")(function* (request) {
+		const operation = "ledger lookup";
+		const validated = yield* Schema.decodeEffect(Schema.toType(SubmissionLookup))(request).pipe(Effect.mapError(internalFailure(operation)));
+		if (validated._tag === "SubmissionLookupById") {
+			const row = yield* readSubmission(operation, validated.submissionId);
+			if (Option.isNone(row)) return Option.none();
+			return Option.some(yield* decodeSubmissionSnapshot(operation, row.value));
+		}
+		const rows = yield* sql`
+      SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+      FROM effect_agent_submissions
+      WHERE thread_id = ${validated.threadId}
+        AND principal = ${validated.principal}
+        AND idempotency_key = ${validated.idempotencyKey}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeSubmissionRows(operation, `${validated.threadId}/${validated.principal}/${validated.idempotencyKey}`, rows);
+		if (decoded.length > 1) return yield* corruptionFailure(operation, "effect_agent_submissions", `${validated.threadId}/${validated.principal}/${validated.idempotencyKey}`, "An admission idempotency key returned more than one row.");
+		if (decoded.length === 0) return Option.none();
+		return Option.some(yield* decodeSubmissionSnapshot(operation, decoded[0]));
+	});
+	const resolveAdmission = Effect.fn("DoSubmissionLedger.resolveAdmission")(function* (request) {
+		const operation = "ledger resolve admission";
+		const validated = yield* Schema.decodeEffect(Schema.toType(SubmissionLookupByKey))(request).pipe(Effect.mapError(internalFailure(operation)));
+		const rows = yield* sql`
+      SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+      FROM effect_agent_submissions
+      WHERE thread_id = ${validated.threadId}
+        AND principal = ${validated.principal}
+        AND idempotency_key = ${validated.idempotencyKey}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeSubmissionRows(operation, `${validated.threadId}/${validated.principal}/${validated.idempotencyKey}`, rows);
+		if (decoded.length > 1) return yield* corruptionFailure(operation, "effect_agent_submissions", `${validated.threadId}/${validated.principal}/${validated.idempotencyKey}`, "An admission idempotency key returned more than one row.");
+		if (decoded.length === 0) return AdmissionNotAdmitted.make();
+		return AdmissionAdmitted.make({ submission: yield* decodeSubmissionSnapshot(operation, decoded[0]) });
+	});
+	const claim = Effect.fn("DoSubmissionLedger.claim")(function* (request) {
+		const operation = "ledger claim";
+		const validated = yield* Schema.decodeEffect(Schema.toType(ClaimRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		const attemptId = `attempt-${yield* mintUuid(operation)}`;
+		const ownershipToken = `owner-${yield* mintUuid(operation)}`;
+		yield* hitFailpoint("ledger:claim:before", operation);
+		const claimed = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const headRows = yield* sql`
+            SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+            FROM effect_agent_submissions
+            WHERE thread_id = ${validated.threadId}
+              AND state <> 'settled'
+            ORDER BY queue_sequence ASC
+            LIMIT 1
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			const heads = yield* decodeSubmissionRows(operation, validated.threadId, headRows);
+			if (heads.length === 0) return Option.none();
+			const head = heads[0];
+			if (head.state === "joining" || head.state === "joined" || head.state === "suspended" || head.state === "unknown" && Option.isNone(yield* readAbortIntent(operation, head.submission_id))) return Option.none();
+			const now = yield* currentInstant;
+			const ownership = yield* readOwnership(operation, head.submission_id);
+			if (Option.isSome(ownership)) {
+				if ((yield* timestampMillis(operation, head.submission_id)(ownership.value.lease_expires_at)) > now.millis) return Option.none();
+			}
+			const threads = yield* journal.getThread(head.thread_id).pipe(Effect.mapError(internalFailure(operation)));
+			let producerEpoch;
+			if (threads.length === 0) {
+				producerEpoch = 1;
+				yield* sql`
+              INSERT INTO effect_agent_threads (
+                thread_id,
+                created_at,
+                tail_sequence,
+                tail_digest,
+                producer_epoch
+              ) VALUES (
+                ${head.thread_id},
+                ${now.iso},
+                0,
+                ${EMPTY_TAIL_DIGEST},
+                ${producerEpoch}
+              )
+            `.pipe(Effect.mapError(sqlFailure(operation)));
+			} else {
+				producerEpoch = threads[0].producer_epoch + 1;
+				yield* sql`
+              UPDATE effect_agent_threads
+              SET producer_epoch = ${producerEpoch}
+              WHERE thread_id = ${head.thread_id}
+            `.pipe(Effect.mapError(sqlFailure(operation)));
+			}
+			const leaseExpiresAt = new Date(now.millis + config.ownershipLeaseDuration).toISOString();
+			yield* sql`
+            INSERT INTO effect_agent_submission_ownership (
+              submission_id,
+              attempt_id,
+              ownership_token,
+              producer_epoch,
+              owner_producer_id,
+              lease_expires_at
+            ) VALUES (
+              ${head.submission_id},
+              ${attemptId},
+              ${ownershipToken},
+              ${producerEpoch},
+              ${validated.producerId},
+              ${leaseExpiresAt}
+            )
+            ON CONFLICT (submission_id) DO UPDATE SET
+              attempt_id = excluded.attempt_id,
+              ownership_token = excluded.ownership_token,
+              producer_epoch = excluded.producer_epoch,
+              owner_producer_id = excluded.owner_producer_id,
+              lease_expires_at = excluded.lease_expires_at
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			yield* sql`
+            INSERT INTO effect_agent_attempts (
+              attempt_id,
+              submission_id,
+              thread_id,
+              owner_producer_id,
+              producer_epoch,
+              claimed_at
+            ) VALUES (
+              ${attemptId},
+              ${head.submission_id},
+              ${head.thread_id},
+              ${validated.producerId},
+              ${producerEpoch},
+              ${now.iso}
+            )
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			if (head.state === "ready") yield* sql`
+              UPDATE effect_agent_submissions
+              SET state = 'running'
+              WHERE submission_id = ${head.submission_id}
+            `.pipe(Effect.mapError(sqlFailure(operation)));
+			const inputPayload = yield* parseStoredJsonText(head.input_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", head.submission_id, error.message)));
+			return Option.some(yield* decodeClaim({
+				submissionId: head.submission_id,
+				attemptId,
+				ownershipToken,
+				producerEpoch,
+				leaseExpiresAt,
+				inputPayload
+			}).pipe(Effect.mapError(internalFailure(operation))));
+		}));
+		yield* hitFailpoint("ledger:claim:after", operation);
+		return claimed;
+	});
+	const renewOwnership = Effect.fn("DoSubmissionLedger.renewOwnership")(function* (request) {
+		const operation = "ledger renew ownership";
+		const validated = yield* Schema.decodeEffect(Schema.toType(RenewOwnershipRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:renew:before", operation);
+		const renewal = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			yield* requireOwnership(operation, submission, validated.ownershipToken);
+			const now = yield* currentInstant;
+			const leaseExpiresAt = new Date(now.millis + config.ownershipLeaseDuration).toISOString();
+			yield* sql`
+          UPDATE effect_agent_submission_ownership
+          SET lease_expires_at = ${leaseExpiresAt}
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			return yield* decodeOwnershipRenewal({
+				ownershipToken: validated.ownershipToken,
+				leaseExpiresAt
+			}).pipe(Effect.mapError(internalFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:renew:after", operation);
+		return renewal;
+	});
+	const releaseOwnership = Effect.fn("DoSubmissionLedger.releaseOwnership")(function* (request) {
+		const operation = "ledger release ownership";
+		const validated = yield* Schema.decodeEffect(Schema.toType(ReleaseOwnershipRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:release:before", operation);
+		yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			yield* requireOwnership(operation, submission, validated.ownershipToken);
+			yield* sql`
+          DELETE FROM effect_agent_submission_ownership
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			if (submission.state === "running") yield* sql`
+            UPDATE effect_agent_submissions
+            SET state = 'ready'
+            WHERE submission_id = ${validated.submissionId}
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:release:after", operation);
+	});
+	const markInputApplied = Effect.fn("DoSubmissionLedger.markInputApplied")(function* (request) {
+		const operation = "ledger mark input applied";
+		const validated = yield* Schema.decodeEffect(Schema.toType(MarkInputAppliedRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:mark-input-applied:before", operation);
+		yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			yield* requireOwnership(operation, submission, validated.ownershipToken);
+			if (submission.input_applied_record_id !== null) {
+				if (submission.input_applied_record_id === validated.recordId && submission.input_applied_sequence === validated.sequence) return;
+				return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A different canonical input marker is already recorded for this Submission.");
+			}
+			yield* sql`
+          UPDATE effect_agent_submissions
+          SET
+            input_applied_record_id = ${validated.recordId},
+            input_applied_sequence = ${validated.sequence},
+            state = CASE
+              WHEN state IN ('admitted', 'ready', 'running') THEN 'input-applied'
+              ELSE state
+            END
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:mark-input-applied:after", operation);
+	});
+	const reserveSettlement = Effect.fn("DoSubmissionLedger.reserveSettlement")(function* (request) {
+		const operation = "ledger reserve settlement";
+		const validated = yield* Schema.decodeEffect(Schema.toType(SettlementReservation))(request).pipe(Effect.mapError(internalFailure(operation)));
+		const recordJson = yield* encodeRecordEnvelopeText(validated.record).pipe(Effect.mapError(internalFailure(operation)));
+		yield* journal.checkValueBound(operation, recordJson).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:reserve-settlement:before", operation);
+		const reserved = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const existing = yield* readReservation(operation, validated.submissionId);
+			if (Option.isSome(existing)) {
+				if (!(existing.value.settlement_id === validated.settlementId && existing.value.outcome === validated.outcome && existing.value.record_digest === validated.recordDigest && existing.value.record_json === recordJson)) return yield* SettlementConflict.make({
+					submissionId: validated.submissionId,
+					existingOutcome: existing.value.outcome
+				});
+				const record = yield* decodeRecordEnvelopeText(existing.value.record_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_settlement_reservations", validated.submissionId, error.message)));
+				return ReservedSettlement.make({
+					submissionId: validated.submissionId,
+					settlementId: validated.settlementId,
+					outcome: validated.outcome,
+					record,
+					recordDigest: validated.recordDigest,
+					replayed: true
+				});
+			}
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			if (submission.state === "settled") {
+				if (submission.settled_outcome === null) return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A settled Submission carries no terminal outcome.");
+				return yield* SettlementConflict.make({
+					submissionId: validated.submissionId,
+					existingOutcome: submission.settled_outcome
+				});
+			}
+			if (!(submission.state === "joined" && submission.joined_host_submission_id !== null)) {
+				let queuedAbortSettlement = false;
+				if (validated.outcome === "aborted" && (submission.state === "ready" || submission.state === "terminalizing")) {
+					const abortIntent = yield* readAbortIntent(operation, validated.submissionId);
+					if (Option.isSome(abortIntent)) {
+						const ownership = yield* readOwnership(operation, validated.submissionId);
+						queuedAbortSettlement = Option.isNone(ownership);
+					}
+				}
+				if (!queuedAbortSettlement) yield* requireOwnership(operation, submission, validated.ownershipToken);
+			}
+			const now = yield* currentInstant;
+			yield* sql`
+          INSERT INTO effect_agent_settlement_reservations (
+            submission_id,
+            settlement_id,
+            outcome,
+            record_id,
+            record_json,
+            record_digest,
+            reserved_at
+          ) VALUES (
+            ${validated.submissionId},
+            ${validated.settlementId},
+            ${validated.outcome},
+            ${validated.record.recordId},
+            ${recordJson},
+            ${validated.recordDigest},
+            ${now.iso}
+          )
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			yield* sql`
+          UPDATE effect_agent_submissions
+          SET state = 'terminalizing'
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			return ReservedSettlement.make({
+				submissionId: validated.submissionId,
+				settlementId: validated.settlementId,
+				outcome: validated.outcome,
+				record: validated.record,
+				recordDigest: validated.recordDigest,
+				replayed: false
+			});
+		}));
+		yield* hitFailpoint("ledger:reserve-settlement:after", operation);
+		return reserved;
+	});
+	const validateFinalization = Effect.fn("DoSubmissionLedger.validateFinalization")(function* (validated, reservation) {
+		const operation = "ledger finalize settlement";
+		if (Option.isNone(reservation)) return yield* LedgerError.make({
+			operation,
+			message: `No settlement reservation exists for submission ${validated.submissionId}.`
+		});
+		if (reservation.value.settlement_id !== validated.settlementId) return yield* SettlementConflict.make({
+			submissionId: validated.submissionId,
+			existingOutcome: reservation.value.outcome
+		});
+		const reservationRecord = yield* decodeRecordEnvelopeText(reservation.value.record_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_settlement_reservations", validated.submissionId, error.message)));
+		const settlementFailure = settlementFailureFromRecord(reservationRecord);
+		if (reservation.value.outcome === "failed" !== (settlementFailure !== void 0)) return yield* corruptionFailure(operation, "effect_agent_settlement_reservations", validated.submissionId, "The reserved outcome and canonical failure diagnostic disagree.");
+		return {
+			reservation: reservation.value,
+			settlementFailure
+		};
+	});
+	const replayFinalization = Effect.fn("DoSubmissionLedger.replayFinalization")(function* (validated, submission, { reservation, settlementFailure }) {
+		const operation = "ledger finalize settlement";
+		if (reservation.finalized_at === null) return yield* corruptionFailure(operation, "effect_agent_settlement_reservations", validated.submissionId, "A settled Submission's reservation carries no finalization timestamp.");
+		return yield* decodeSettlement({
+			submissionId: validated.submissionId,
+			settlementId: validated.settlementId,
+			receiptId: submission.receipt_id,
+			outcome: reservation.outcome,
+			...settlementFailure === void 0 ? {} : { failure: settlementFailure },
+			settledAt: reservation.finalized_at
+		}).pipe(Effect.mapError(internalFailure(operation)));
+	});
+	const finalizeSettlement = Effect.fn("DoSubmissionLedger.finalizeSettlement")(function* (request) {
+		const operation = "ledger finalize settlement";
+		const validated = yield* Schema.decodeEffect(Schema.toType(SettlementFinalization))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:finalize-settlement:before", operation);
+		const replayRows = yield* sql`
+      SELECT submission.*, reservation.settlement_id, reservation.outcome,
+        reservation.record_id, reservation.record_json, reservation.record_digest,
+        reservation.reserved_at, reservation.finalized_at
+      FROM effect_agent_submissions AS submission
+      INNER JOIN effect_agent_settlement_reservations AS reservation
+        ON reservation.submission_id = submission.submission_id
+      WHERE submission.submission_id = ${validated.submissionId} AND submission.state = 'settled'
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		if (replayRows.length > 1) return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A submission primary key returned more than one row.");
+		const replayRow = replayRows[0];
+		if (replayRow !== void 0) {
+			const reservations = yield* decodeRows(Schema.Array(ReservationRow), "effect_agent_settlement_reservations", validated.submissionId, replayRows).pipe(Effect.mapError(internalFailure(operation)));
+			const state = yield* validateFinalization(validated, Option.fromUndefinedOr(reservations[0]));
+			const submission = yield* Schema.decodeUnknownEffect(SubmissionRow)(replayRow).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, error.message)));
+			const settlement = yield* replayFinalization(validated, submission, state);
+			yield* hitFailpoint("ledger:finalize-settlement:after", operation);
+			return settlement;
+		}
+		const settlement = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const state = yield* validateFinalization(validated, yield* readReservation(operation, validated.submissionId));
+			const { reservation, settlementFailure } = state;
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			if (submission.state === "settled") return yield* replayFinalization(validated, submission, state);
+			const now = yield* currentInstant;
+			yield* sql`
+          UPDATE effect_agent_submissions
+          SET state = 'settled', settled_outcome = ${reservation.outcome}
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			yield* sql`
+          UPDATE effect_agent_settlement_reservations
+          SET finalized_at = ${now.iso}
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			yield* sql`
+          DELETE FROM effect_agent_submission_ownership
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			return yield* decodeSettlement({
+				submissionId: validated.submissionId,
+				settlementId: validated.settlementId,
+				receiptId: submission.receipt_id,
+				outcome: reservation.outcome,
+				...settlementFailure === void 0 ? {} : { failure: settlementFailure },
+				settledAt: now.iso
+			}).pipe(Effect.mapError(internalFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:finalize-settlement:after", operation);
+		return settlement;
+	});
+	const requestAbort = Effect.fn("DoSubmissionLedger.requestAbort")(function* (request) {
+		const operation = "ledger request abort";
+		const validated = yield* Schema.decodeEffect(Schema.toType(AbortCommand))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:request-abort:before", operation);
+		const intent = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			if (submission.state === "settled") {
+				if (submission.settled_outcome === null) return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A settled Submission carries no terminal outcome.");
+				return yield* SettlementConflict.make({
+					submissionId: validated.submissionId,
+					existingOutcome: submission.settled_outcome
+				});
+			}
+			if (submission.state === "joined") {
+				if (submission.joined_host_submission_id === null) return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A joined Submission carries no host linkage.");
+				const hostSubmissionId = yield* decodeSubmissionId(submission.joined_host_submission_id).pipe(Effect.mapError(internalFailure(operation)));
+				return yield* JoinedToHost.make({
+					submissionId: validated.submissionId,
+					hostSubmissionId
+				});
+			}
+			const existing = yield* readAbortIntent(operation, validated.submissionId);
+			if (Option.isSome(existing)) return yield* abortIntentFromRow(operation, submission, validated.submissionId, existing.value);
+			const now = yield* currentInstant;
+			yield* sql`
+          INSERT INTO effect_agent_abort_intents (
+            submission_id,
+            author,
+            reason,
+            requested_at
+          ) VALUES (
+            ${validated.submissionId},
+            ${validated.author},
+            ${validated.reason},
+            ${now.iso}
+          )
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			const canonicalRecordId = yield* canonicalAbortRecordId(operation, submission.thread_id, validated.submissionId);
+			return yield* decodeAbortIntent({
+				submissionId: validated.submissionId,
+				author: validated.author,
+				reason: validated.reason,
+				requestedAt: now.iso,
+				...canonicalRecordId === void 0 ? {} : { canonicalRecordId }
+			}).pipe(Effect.mapError(internalFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:request-abort:after", operation);
+		return intent;
+	});
+	const claimJoining = Effect.fn("DoSubmissionLedger.claimJoining")(function* (request) {
+		const operation = "ledger claim joining";
+		const validated = yield* Schema.decodeEffect(Schema.toType(ClaimJoiningRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:claim-joining:before", operation);
+		const claims = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const host = yield* requireSubmission(operation, validated.hostSubmissionId);
+			if (host.thread_id !== validated.threadId) return yield* LedgerError.make({
+				operation,
+				message: `Host submission ${validated.hostSubmissionId} does not belong to thread ${validated.threadId}.`
+			});
+			yield* requireOwnership(operation, host, validated.ownershipToken);
+			const laterRows = yield* sql`
+          SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+          FROM effect_agent_submissions
+          WHERE thread_id = ${validated.threadId}
+            AND queue_sequence > ${host.queue_sequence}
+          ORDER BY queue_sequence ASC
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			const later = yield* decodeSubmissionRows(operation, validated.threadId, laterRows);
+			const claimed = [];
+			for (const row of later) {
+				if (claimed.length >= validated.maxCount) break;
+				if ((row.state === "joining" || row.state === "joined") && row.joined_host_submission_id === validated.hostSubmissionId) continue;
+				if (row.state === "settled" && row.settled_outcome === "aborted") continue;
+				if (row.state !== "ready") break;
+				yield* sql`
+            UPDATE effect_agent_submissions
+            SET state = 'joining', joined_host_submission_id = ${validated.hostSubmissionId}
+            WHERE submission_id = ${row.submission_id}
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+				const inputPayload = yield* parseStoredJsonText(row.input_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", row.submission_id, error.message)));
+				claimed.push(yield* decodeJoiningClaim({
+					submissionId: row.submission_id,
+					queueSequence: row.queue_sequence,
+					inputPayload
+				}).pipe(Effect.mapError(internalFailure(operation))));
+			}
+			return claimed;
+		}));
+		yield* hitFailpoint("ledger:claim-joining:after", operation);
+		return claims;
+	});
+	const markJoined = Effect.fn("DoSubmissionLedger.markJoined")(function* (request) {
+		const operation = "ledger mark joined";
+		const validated = yield* Schema.decodeEffect(Schema.toType(MarkJoinedRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:mark-joined:before", operation);
+		yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			if (submission.joined_host_submission_id === null) return yield* LedgerError.make({
+				operation,
+				message: `Submission ${validated.submissionId} was never claimed for joining.`
+			});
+			const host = yield* requireSubmission(operation, submission.joined_host_submission_id);
+			yield* requireOwnership(operation, host, validated.ownershipToken);
+			if (submission.input_applied_record_id !== null) {
+				if (submission.input_applied_record_id === validated.recordId && submission.input_applied_sequence === validated.sequence) return;
+				return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A different join marker is already recorded for this Submission.");
+			}
+			if (submission.state !== "joining" && submission.state !== "joined") return yield* LedgerError.make({
+				operation,
+				message: `Cannot mark submission ${validated.submissionId} joined from state ${submission.state}.`
+			});
+			yield* sql`
+          UPDATE effect_agent_submissions
+          SET
+            input_applied_record_id = ${validated.recordId},
+            input_applied_sequence = ${validated.sequence},
+            state = 'joined'
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:mark-joined:after", operation);
+	});
+	const revertJoining = Effect.fn("DoSubmissionLedger.revertJoining")(function* (request) {
+		const operation = "ledger revert joining";
+		const validated = yield* Schema.decodeEffect(Schema.toType(RevertJoiningRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:revert-joining:before", operation);
+		yield* inWriteTransaction(operation, Effect.gen(function* () {
+			if ((yield* requireSubmission(operation, validated.submissionId)).state !== "joining") return;
+			yield* sql`
+          UPDATE effect_agent_submissions
+          SET state = 'ready', joined_host_submission_id = NULL
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:revert-joining:after", operation);
+	});
+	const suspend = Effect.fn("DoSubmissionLedger.suspend")(function* (request) {
+		const operation = "ledger suspend";
+		const validated = yield* Schema.decodeEffect(Schema.toType(SuspendRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		const reasonJson = yield* encodeSuspensionReasonText(validated.reason).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:suspend:before", operation);
+		const outcome = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			if (submission.state === "settled") {
+				if (submission.settled_outcome === null) return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A settled Submission carries no terminal outcome.");
+				return yield* SettlementConflict.make({
+					submissionId: validated.submissionId,
+					existingOutcome: submission.settled_outcome
+				});
+			}
+			const reservation = yield* readReservation(operation, validated.submissionId);
+			if (Option.isSome(reservation)) return yield* SettlementConflict.make({
+				submissionId: validated.submissionId,
+				existingOutcome: reservation.value.outcome
+			});
+			yield* requireOwnership(operation, submission, validated.ownershipToken);
+			if (validated.reason._tag === "ApprovalPending") {
+				const decisions = yield* readApprovalDecisions(operation, validated.submissionId);
+				const decided = new Set(decisions.map((row) => row.tool_call_id));
+				if (validated.reason.toolCallIds.every((toolCallId) => decided.has(toolCallId))) return RESUME_IMMEDIATELY;
+			} else {
+				const markers = yield* readChildSettlementMarkers(operation, validated.submissionId);
+				const markerChildren = new Set(markers.map((row) => row.child_submission_id));
+				let allSettled = true;
+				for (const child of validated.reason.children) if (!(yield* childProvablySettled(operation, markerChildren, child.childSubmissionId))) {
+					allSettled = false;
+					break;
+				}
+				if (allSettled) return RESUME_IMMEDIATELY;
+			}
+			const now = yield* currentInstant;
+			yield* sql`
+            UPDATE effect_agent_submissions
+            SET
+              state = 'suspended',
+              suspended_reason_json = ${reasonJson},
+              suspended_at = ${now.iso}
+            WHERE submission_id = ${validated.submissionId}
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			yield* sql`
+            DELETE FROM effect_agent_submission_ownership
+            WHERE submission_id = ${validated.submissionId}
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			return SUSPENDED;
+		}));
+		yield* hitFailpoint("ledger:suspend:after", operation);
+		return outcome;
+	});
+	/**
+	* Once every pending call of a recorded ApprovalPending suspension has a decision intent,
+	* the lane wakes: suspended → input-applied, suspension cleared (plan §2.6). A
+	* WaitingForChild suspension wakes only through recordChildSettled. Runs inside the caller's
+	* write transaction.
+	*/
+	const wakeSuspendedIfCovered = Effect.fn("DoSubmissionLedger.wakeSuspendedIfCovered")(function* (operation, submission) {
+		if (submission.state !== "suspended" || submission.suspended_reason_json === null) return;
+		const reason = yield* Schema.decodeEffect(Schema.fromJsonString(SuspensionReason))(submission.suspended_reason_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", submission.submission_id, error.message)));
+		if (reason._tag !== "ApprovalPending") return;
+		const decisions = yield* readApprovalDecisions(operation, submission.submission_id);
+		const decided = new Set(decisions.map((row) => row.tool_call_id));
+		if (!reason.toolCallIds.every((toolCallId) => decided.has(toolCallId))) return;
+		yield* sql`
+      UPDATE effect_agent_submissions
+      SET
+        state = 'input-applied',
+        suspended_reason_json = NULL,
+        suspended_at = NULL
+      WHERE submission_id = ${submission.submission_id}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+	});
+	const recordApprovalDecision = Effect.fn("DoSubmissionLedger.recordApprovalDecision")(function* (command) {
+		const operation = "ledger record approval decision";
+		const validated = yield* Schema.decodeEffect(Schema.toType(ApprovalDecisionCommand))(command).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:approval-decision:before", operation);
+		const intent = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			if (submission.state === "settled") {
+				if (submission.settled_outcome === null) return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A settled Submission carries no terminal outcome.");
+				return yield* SettlementConflict.make({
+					submissionId: validated.submissionId,
+					existingOutcome: submission.settled_outcome
+				});
+			}
+			const existing = (yield* readApprovalDecisions(operation, validated.submissionId)).find((row) => row.tool_call_id === validated.toolCallId);
+			if (existing !== void 0) {
+				if (existing.decision !== validated.decision) return yield* ApprovalConflict.make({
+					submissionId: validated.submissionId,
+					toolCallId: validated.toolCallId,
+					existingDecision: existing.decision
+				});
+				return yield* approvalIntentFromRow(operation, existing);
+			}
+			const now = yield* currentInstant;
+			yield* sql`
+          INSERT INTO effect_agent_approval_decisions (
+            submission_id,
+            tool_call_id,
+            decision,
+            resolver,
+            reason,
+            decided_at
+          ) VALUES (
+            ${validated.submissionId},
+            ${validated.toolCallId},
+            ${validated.decision},
+            ${validated.resolver},
+            ${validated.reason},
+            ${now.iso}
+          )
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			yield* wakeSuspendedIfCovered(operation, submission);
+			return yield* decodeApprovalDecisionIntent({
+				submissionId: validated.submissionId,
+				toolCallId: validated.toolCallId,
+				decision: validated.decision,
+				resolver: validated.resolver,
+				reason: validated.reason,
+				decidedAt: now.iso
+			}).pipe(Effect.mapError(internalFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:approval-decision:after", operation);
+		return intent;
+	});
+	const markUnknown = Effect.fn("DoSubmissionLedger.markUnknown")(function* (request) {
+		const operation = "ledger mark unknown";
+		const validated = yield* Schema.decodeEffect(Schema.toType(MarkUnknownRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:mark-unknown:before", operation);
+		yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			if (submission.state === "settled") {
+				if (submission.settled_outcome === null) return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A settled Submission carries no terminal outcome.");
+				return yield* SettlementConflict.make({
+					submissionId: validated.submissionId,
+					existingOutcome: submission.settled_outcome
+				});
+			}
+			const reservation = yield* readReservation(operation, validated.submissionId);
+			if (Option.isSome(reservation)) return yield* SettlementConflict.make({
+				submissionId: validated.submissionId,
+				existingOutcome: reservation.value.outcome
+			});
+			const existingIds = yield* storedUnknownToolCallIds(operation, submission);
+			const known = new Set(existingIds);
+			const merged = [...existingIds, ...validated.toolCallIds.filter((toolCallId) => !known.has(toolCallId))];
+			const idsJson = yield* encodeToolCallIdsText(merged).pipe(Effect.mapError(internalFailure(operation)));
+			yield* sql`
+          UPDATE effect_agent_submissions
+          SET
+            state = 'unknown',
+            unknown_reason = ${submission.unknown_reason ?? validated.reason},
+            unknown_tool_call_ids_json = ${idsJson}
+          WHERE submission_id = ${validated.submissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+		}));
+		yield* hitFailpoint("ledger:mark-unknown:after", operation);
+	});
+	const recordUnknownResolution = Effect.fn("DoSubmissionLedger.recordUnknownResolution")(function* (command) {
+		const operation = "ledger record unknown resolution";
+		const validated = yield* Schema.decodeEffect(Schema.toType(UnknownResolutionCommand))(command).pipe(Effect.mapError(internalFailure(operation)));
+		const resolutionJson = yield* encodeUnknownResolutionText(validated.resolution).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:unknown-resolution:before", operation);
+		const intent = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const submission = yield* requireSubmission(operation, validated.submissionId);
+			if (submission.state === "settled") {
+				if (submission.settled_outcome === null) return yield* corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, "A settled Submission carries no terminal outcome.");
+				return yield* SettlementConflict.make({
+					submissionId: validated.submissionId,
+					existingOutcome: submission.settled_outcome
+				});
+			}
+			const existing = (yield* readUnknownResolutions(operation, validated.submissionId)).find((row) => row.tool_call_id === validated.toolCallId);
+			const existingIntent = existing === void 0 ? void 0 : yield* unknownResolutionIntentFromRow(operation, existing);
+			if (existingIntent !== void 0 && !equivalentUnknownResolution(existingIntent.resolution, validated.resolution)) return yield* UnknownResolutionConflict.make({
+				submissionId: validated.submissionId,
+				toolCallId: validated.toolCallId
+			});
+			let resolved;
+			if (existingIntent !== void 0) resolved = existingIntent;
+			else {
+				const now = yield* currentInstant;
+				yield* sql`
+            INSERT INTO effect_agent_unknown_resolutions (
+              submission_id,
+              tool_call_id,
+              author,
+              reason,
+              resolution_json,
+              resolved_at
+            ) VALUES (
+              ${validated.submissionId},
+              ${validated.toolCallId},
+              ${validated.author},
+              ${validated.reason},
+              ${resolutionJson},
+              ${now.iso}
+            )
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+				const resolution = yield* parseStoredJsonText(resolutionJson).pipe(Effect.mapError(internalFailure(operation)));
+				resolved = yield* decodeUnknownResolutionIntent({
+					submissionId: validated.submissionId,
+					toolCallId: validated.toolCallId,
+					author: validated.author,
+					reason: validated.reason,
+					resolution,
+					resolvedAt: now.iso
+				}).pipe(Effect.mapError(internalFailure(operation)));
+			}
+			if (submission.state === "unknown" && submission.unknown_tool_call_ids_json !== null) {
+				const markedIds = yield* storedUnknownToolCallIds(operation, submission);
+				const covering = yield* readUnknownResolutions(operation, validated.submissionId);
+				const coveredIds = new Set(covering.map((row) => row.tool_call_id));
+				if (markedIds.every((toolCallId) => coveredIds.has(toolCallId))) yield* sql`
+              UPDATE effect_agent_submissions
+              SET
+                state = 'input-applied',
+                unknown_reason = NULL,
+                unknown_tool_call_ids_json = NULL
+              WHERE submission_id = ${validated.submissionId}
+            `.pipe(Effect.mapError(sqlFailure(operation)));
+			}
+			return resolved;
+		}));
+		yield* hitFailpoint("ledger:unknown-resolution:after", operation);
+		return intent;
+	});
+	const recordChildSettled = Effect.fn("DoSubmissionLedger.recordChildSettled")(function* (request) {
+		const operation = "ledger record child settled";
+		const validated = yield* Schema.decodeEffect(Schema.toType(ChildSettledNotification))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:child-settled:before", operation);
+		const outcome = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const parent = yield* requireSubmission(operation, validated.parentSubmissionId);
+			const child = yield* readSubmission(operation, validated.childSubmissionId);
+			const childReservation = yield* readReservation(operation, validated.childSubmissionId);
+			if (Option.isSome(child) && child.value.state !== "settled" && !(child.value.state === "terminalizing" && Option.isSome(childReservation))) return yield* LedgerError.make({
+				operation,
+				message: `Child submission ${validated.childSubmissionId} has no recorded settlement.`
+			});
+			const now = yield* currentInstant;
+			yield* sql`
+          INSERT INTO effect_agent_child_settlements (
+            parent_submission_id,
+            child_submission_id,
+            child_outcome,
+            recorded_at
+          ) VALUES (
+            ${validated.parentSubmissionId},
+            ${validated.childSubmissionId},
+            ${Option.isSome(child) && child.value.state === "settled" ? child.value.settled_outcome : Option.isSome(childReservation) ? childReservation.value.outcome : null},
+            ${now.iso}
+          )
+          ON CONFLICT (parent_submission_id, child_submission_id) DO NOTHING
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			if (parent.state !== "suspended" || parent.suspended_reason_json === null) return NOT_WAITING;
+			const reason = yield* Schema.decodeEffect(Schema.fromJsonString(SuspensionReason))(parent.suspended_reason_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", parent.submission_id, error.message)));
+			if (reason._tag !== "WaitingForChild") return NOT_WAITING;
+			if (!reason.children.some((entry) => entry.childSubmissionId === validated.childSubmissionId)) return NOT_WAITING;
+			const markers = yield* readChildSettlementMarkers(operation, validated.parentSubmissionId);
+			const markerChildren = new Set(markers.map((row) => row.child_submission_id));
+			for (const entry of reason.children) if (!(yield* childProvablySettled(operation, markerChildren, entry.childSubmissionId))) return STILL_WAITING;
+			yield* sql`
+          UPDATE effect_agent_submissions
+          SET
+            state = 'input-applied',
+            suspended_reason_json = NULL,
+            suspended_at = NULL
+          WHERE submission_id = ${validated.parentSubmissionId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			return WOKEN;
+		}));
+		yield* hitFailpoint("ledger:child-settled:after", operation);
+		return outcome;
+	});
+	const reserveChildBudget = Effect.fn("DoSubmissionLedger.reserveChildBudget")(function* (request) {
+		const operation = "ledger reserve child budget";
+		const validated = yield* Schema.decodeEffect(Schema.toType(ChildBudgetReservationRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		const allocationJson = yield* encodePersistedJsonText(validated.allocation).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:child-reservation:before", operation);
+		const reserved = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const existing = yield* readChildReservation(operation, validated.reservationId);
+			if (Option.isSome(existing)) {
+				const existingSnapshot = yield* childReservationSnapshotFromRow(operation, existing.value);
+				if (!(existing.value.parent_submission_id === validated.parentSubmissionId && existing.value.parent_tool_call_id === validated.parentToolCallId && existing.value.allocation_digest === validated.allocationDigest && equivalentPersistedJson(existingSnapshot.allocation, validated.allocation))) return yield* ChildReservationConflict.make({
+					reservationId: validated.reservationId,
+					status: existing.value.status,
+					message: "A reservation with this identity exists with a different parent Tool Call or allocation."
+				});
+				return ReservedChildBudget.make({
+					reservation: existingSnapshot,
+					replayed: true
+				});
+			}
+			const collision = yield* readChildReservationForCall(operation, validated.parentSubmissionId, validated.parentToolCallId);
+			if (Option.isSome(collision)) return yield* ChildReservationConflict.make({
+				reservationId: validated.reservationId,
+				status: collision.value.status,
+				message: `Parent Tool Call ${validated.parentToolCallId} already owns reservation ${collision.value.reservation_id}.`
+			});
+			const parent = yield* requireSubmission(operation, validated.parentSubmissionId);
+			yield* requireOwnership(operation, parent, validated.ownershipToken);
+			const now = yield* currentInstant;
+			yield* sql`
+          INSERT INTO effect_agent_child_reservations (
+            reservation_id,
+            parent_submission_id,
+            parent_tool_call_id,
+            status,
+            allocation_json,
+            allocation_digest,
+            reserved_at
+          ) VALUES (
+            ${validated.reservationId},
+            ${validated.parentSubmissionId},
+            ${validated.parentToolCallId},
+            'reserved',
+            ${allocationJson},
+            ${validated.allocationDigest},
+            ${now.iso}
+          )
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			const inserted = yield* readChildReservation(operation, validated.reservationId);
+			if (Option.isNone(inserted)) return yield* corruptionFailure(operation, "effect_agent_child_reservations", validated.reservationId, "An inserted child reservation row is missing inside its own transaction.");
+			return ReservedChildBudget.make({
+				reservation: yield* childReservationSnapshotFromRow(operation, inserted.value),
+				replayed: false
+			});
+		}));
+		yield* hitFailpoint("ledger:child-reservation:after", operation);
+		return reserved;
+	});
+	const attachChildToReservation = Effect.fn("DoSubmissionLedger.attachChildToReservation")(function* (request) {
+		const operation = "ledger attach child to reservation";
+		const validated = yield* Schema.decodeEffect(Schema.toType(AttachChildToReservationRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:child-attach:before", operation);
+		const attached = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const existing = yield* readChildReservation(operation, validated.reservationId);
+			if (Option.isNone(existing)) return yield* LedgerError.make({
+				operation,
+				message: `Unknown child reservation ${validated.reservationId}.`
+			});
+			if (existing.value.child_submission_id !== null) {
+				if (existing.value.child_submission_id === validated.childSubmissionId) return yield* childReservationSnapshotFromRow(operation, existing.value);
+				return yield* ChildReservationConflict.make({
+					reservationId: validated.reservationId,
+					status: existing.value.status,
+					message: `Reservation ${validated.reservationId} already records child ${existing.value.child_submission_id}.`
+				});
+			}
+			const parent = yield* requireSubmission(operation, existing.value.parent_submission_id);
+			yield* requireOwnership(operation, parent, validated.ownershipToken);
+			if (existing.value.status !== "reserved") return yield* ChildReservationConflict.make({
+				reservationId: validated.reservationId,
+				status: existing.value.status,
+				message: `Cannot attach a child to a ${existing.value.status} reservation.`
+			});
+			yield* sql`
+            UPDATE effect_agent_child_reservations
+            SET child_submission_id = ${validated.childSubmissionId}
+            WHERE reservation_id = ${validated.reservationId}
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			const updated = yield* readChildReservation(operation, validated.reservationId);
+			if (Option.isNone(updated)) return yield* corruptionFailure(operation, "effect_agent_child_reservations", validated.reservationId, "An updated child reservation row is missing inside its own transaction.");
+			return yield* childReservationSnapshotFromRow(operation, updated.value);
+		}));
+		yield* hitFailpoint("ledger:child-attach:after", operation);
+		return attached;
+	});
+	const beginChildBudgetRelease = Effect.fn("DoSubmissionLedger.beginChildBudgetRelease")(function* (request) {
+		const operation = "ledger begin child budget release";
+		const validated = yield* Schema.decodeEffect(Schema.toType(BeginChildBudgetReleaseRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		const accountingJson = yield* encodePersistedJsonText(validated.accounting).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:child-release-pending:before", operation);
+		const frozen = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const existing = yield* readChildReservation(operation, validated.reservationId);
+			if (Option.isNone(existing)) return yield* LedgerError.make({
+				operation,
+				message: `Unknown child reservation ${validated.reservationId}.`
+			});
+			if (existing.value.status !== "reserved") {
+				const existingSnapshot = yield* childReservationSnapshotFromRow(operation, existing.value);
+				if (existingSnapshot.accounting !== void 0 && equivalentPersistedJson(existingSnapshot.accounting, validated.accounting)) return existingSnapshot;
+				return yield* ChildReservationConflict.make({
+					reservationId: validated.reservationId,
+					status: existing.value.status,
+					message: "A different accounting decision is already frozen for this reservation."
+				});
+			}
+			const now = yield* currentInstant;
+			yield* sql`
+          UPDATE effect_agent_child_reservations
+          SET
+            status = 'releasePending',
+            accounting_json = ${accountingJson},
+            release_began_at = ${now.iso}
+          WHERE reservation_id = ${validated.reservationId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			const updated = yield* readChildReservation(operation, validated.reservationId);
+			if (Option.isNone(updated)) return yield* corruptionFailure(operation, "effect_agent_child_reservations", validated.reservationId, "An updated child reservation row is missing inside its own transaction.");
+			return yield* childReservationSnapshotFromRow(operation, updated.value);
+		}));
+		yield* hitFailpoint("ledger:child-release-pending:after", operation);
+		return frozen;
+	});
+	const releaseChildBudget = Effect.fn("DoSubmissionLedger.releaseChildBudget")(function* (request) {
+		const operation = "ledger release child budget";
+		const validated = yield* Schema.decodeEffect(Schema.toType(ReleaseChildBudgetRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		yield* hitFailpoint("ledger:child-release:before", operation);
+		const released = yield* inWriteTransaction(operation, Effect.gen(function* () {
+			const existing = yield* readChildReservation(operation, validated.reservationId);
+			if (Option.isNone(existing)) return yield* LedgerError.make({
+				operation,
+				message: `Unknown child reservation ${validated.reservationId}.`
+			});
+			if (existing.value.status === "released") return yield* childReservationSnapshotFromRow(operation, existing.value);
+			if (existing.value.status !== "releasePending") return yield* ChildReservationConflict.make({
+				reservationId: validated.reservationId,
+				status: existing.value.status,
+				message: "Cannot release a reservation whose accounting decision is not frozen."
+			});
+			const now = yield* currentInstant;
+			yield* sql`
+          UPDATE effect_agent_child_reservations
+          SET status = 'released', released_at = ${now.iso}
+          WHERE reservation_id = ${validated.reservationId}
+        `.pipe(Effect.mapError(sqlFailure(operation)));
+			const updated = yield* readChildReservation(operation, validated.reservationId);
+			if (Option.isNone(updated)) return yield* corruptionFailure(operation, "effect_agent_child_reservations", validated.reservationId, "An updated child reservation row is missing inside its own transaction.");
+			return yield* childReservationSnapshotFromRow(operation, updated.value);
+		}));
+		yield* hitFailpoint("ledger:child-release:after", operation);
+		return released;
+	});
+	const scanPage = Effect.fn("DoSubmissionLedger.scanPage")(function* (cursor) {
+		const operation = "ledger scan nonterminal";
+		const rows = yield* (cursor === void 0 ? sql`
+          SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+          FROM effect_agent_submissions
+          WHERE state <> 'settled'
+          ORDER BY thread_id ASC, queue_sequence ASC
+          LIMIT ${SCAN_PAGE_SIZE}
+        ` : sql`
+          SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+          FROM effect_agent_submissions
+          WHERE state <> 'settled'
+            AND (thread_id, queue_sequence) > (${cursor.threadId}, ${cursor.queueSequence})
+          ORDER BY thread_id ASC, queue_sequence ASC
+          LIMIT ${SCAN_PAGE_SIZE}
+        `).pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeSubmissionRows(operation, "nonterminal_scan", rows);
+		const snapshots = yield* Effect.forEach(decoded, (row) => decodeSubmissionSnapshot(operation, row));
+		const last = decoded[decoded.length - 1];
+		return [snapshots, last === void 0 || decoded.length < SCAN_PAGE_SIZE ? Option.none() : Option.some({
+			threadId: last.thread_id,
+			queueSequence: last.queue_sequence
+		})];
+	});
+	const scanNonterminal = Stream.paginate(void 0, scanPage);
+	const readAbortIntentForSubmission = Effect.fn("DoSubmissionLedger.readAbortIntentForSubmission")(function* (request) {
+		const operation = "ledger read abort intent";
+		const validated = yield* Schema.decodeEffect(Schema.toType(AbortIntentRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		const recordId = submissionAbortRecordId(validated.submissionId);
+		const rows = yield* sql`
+      SELECT
+        submission.submission_id,
+        abort.submission_id AS abort_submission_id,
+        abort.author,
+        abort.reason,
+        abort.requested_at,
+        canonical.record_id AS canonical_record_id
+      FROM effect_agent_submissions AS submission
+      LEFT JOIN effect_agent_abort_intents AS abort
+        ON abort.submission_id = submission.submission_id
+      LEFT JOIN effect_agent_canonical_records AS canonical
+        ON canonical.thread_id = submission.thread_id
+          AND canonical.record_id = ${recordId}
+      WHERE submission.submission_id = ${validated.submissionId}
+    `.pipe(Effect.mapError(sqlFailure(operation)));
+		const decoded = yield* decodeRows(Schema.Array(AbortIntentLookupRow), "effect_agent_abort_intents", validated.submissionId, rows).pipe(Effect.mapError(internalFailure(operation)));
+		if (decoded.length === 0) return yield* LedgerError.make({
+			operation,
+			message: `Unknown submission ${validated.submissionId}.`
+		});
+		if (decoded.length !== 1) return yield* corruptionFailure(operation, "effect_agent_abort_intents", validated.submissionId, "An abort intent lookup returned more than one row.");
+		const row = decoded[0];
+		if (row.abort_submission_id === null) return void 0;
+		return yield* decodeAbortIntent({
+			submissionId: row.abort_submission_id,
+			author: row.author,
+			reason: row.reason,
+			requestedAt: row.requested_at,
+			...row.canonical_record_id === null ? {} : { canonicalRecordId: row.canonical_record_id }
+		}).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_abort_intents", validated.submissionId, error.message)));
+	});
+	const loadRecoverySnapshot = Effect.fn("DoSubmissionLedger.loadRecoverySnapshot")(function* (request) {
+		const operation = "ledger load recovery snapshot";
+		const validated = yield* Schema.decodeEffect(Schema.toType(RecoverySnapshotRequest))(request).pipe(Effect.mapError(internalFailure(operation)));
+		return yield* sql.withTransaction(Effect.gen(function* () {
+			const submissionRow = yield* requireSubmission(operation, validated.submissionId);
+			const submission = yield* decodeSubmissionSnapshot(operation, submissionRow);
+			let ownership;
+			const ownershipRow = yield* readOwnership(operation, validated.submissionId);
+			if (Option.isSome(ownershipRow)) ownership = yield* decodeOwnershipSnapshot({
+				attemptId: ownershipRow.value.attempt_id,
+				ownerProducerId: ownershipRow.value.owner_producer_id,
+				producerEpoch: ownershipRow.value.producer_epoch,
+				leaseExpiresAt: ownershipRow.value.lease_expires_at
+			}).pipe(Effect.mapError(internalFailure(operation)));
+			let inputApplied;
+			if (submissionRow.input_applied_record_id !== null && submissionRow.input_applied_sequence !== null) inputApplied = yield* decodeInputAppliedMarker({
+				recordId: submissionRow.input_applied_record_id,
+				sequence: submissionRow.input_applied_sequence
+			}).pipe(Effect.mapError(internalFailure(operation)));
+			let reservation;
+			const reservationRow = yield* readReservation(operation, validated.submissionId);
+			if (Option.isSome(reservationRow)) {
+				const record = yield* decodeRecordEnvelopeText(reservationRow.value.record_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_settlement_reservations", validated.submissionId, error.message)));
+				const settlementId = yield* Schema.decodeEffect(SettlementReservationSnapshot.fields.settlementId)(reservationRow.value.settlement_id).pipe(Effect.mapError(internalFailure(operation)));
+				reservation = SettlementReservationSnapshot.make({
+					settlementId,
+					outcome: reservationRow.value.outcome,
+					record,
+					recordDigest: reservationRow.value.record_digest,
+					finalized: reservationRow.value.finalized_at !== null
+				});
+			}
+			let abortIntent;
+			const abortRow = yield* readAbortIntent(operation, validated.submissionId);
+			if (Option.isSome(abortRow)) abortIntent = yield* abortIntentFromRow(operation, submissionRow, validated.submissionId, abortRow.value);
+			const joinRows = yield* sql`
+            SELECT ${sql.literal(SUBMISSION_COLUMNS)}
+            FROM effect_agent_submissions
+            WHERE joined_host_submission_id = ${validated.submissionId}
+            ORDER BY queue_sequence ASC
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			const joinSubmissions = yield* decodeSubmissionRows(operation, validated.submissionId, joinRows);
+			const joins = yield* Effect.forEach(joinSubmissions, (row) => decodeJoinSnapshot({
+				submissionId: row.submission_id,
+				state: row.state,
+				hostSubmissionId: validated.submissionId
+			}).pipe(Effect.mapError(internalFailure(operation))));
+			let hostSubmissionId;
+			if (submissionRow.joined_host_submission_id !== null) hostSubmissionId = yield* decodeSubmissionId(submissionRow.joined_host_submission_id).pipe(Effect.mapError(internalFailure(operation)));
+			let suspension;
+			if (submissionRow.suspended_reason_json !== null && submissionRow.suspended_at !== null) {
+				const reason = yield* parseStoredJsonText(submissionRow.suspended_reason_json).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, error.message)));
+				suspension = yield* decodeSuspensionSnapshot({
+					reason,
+					suspendedAt: submissionRow.suspended_at
+				}).pipe(Effect.mapError((error) => corruptionFailure(operation, "effect_agent_submissions", validated.submissionId, error.message)));
+			}
+			const decisionRows = yield* readApprovalDecisions(operation, validated.submissionId);
+			const approvalDecisions = yield* Effect.forEach(decisionRows, (row) => approvalIntentFromRow(operation, row));
+			const resolutionRows = yield* readUnknownResolutions(operation, validated.submissionId);
+			const unknownResolutions = yield* Effect.forEach(resolutionRows, (row) => unknownResolutionIntentFromRow(operation, row));
+			const childReservationRows = yield* sql`
+            SELECT ${sql.literal(CHILD_RESERVATION_COLUMNS)}
+            FROM effect_agent_child_reservations
+            WHERE parent_submission_id = ${validated.submissionId}
+            ORDER BY parent_tool_call_id ASC
+          `.pipe(Effect.mapError(sqlFailure(operation)));
+			const decodedChildReservations = yield* decodeChildReservationRows(operation, validated.submissionId, childReservationRows);
+			const childReservations = yield* Effect.forEach(decodedChildReservations, (row) => childReservationSnapshotFromRow(operation, row));
+			const markers = yield* readChildSettlementMarkers(operation, validated.submissionId);
+			const markersByChild = new Map(markers.map((row) => [row.child_submission_id, row]));
+			const childAttachments = [];
+			for (const row of decodedChildReservations) {
+				if (row.child_submission_id === null) continue;
+				const child = yield* readSubmission(operation, row.child_submission_id);
+				if (Option.isSome(child)) {
+					childAttachments.push(yield* decodeChildAttachmentSnapshot({
+						toolCallId: row.parent_tool_call_id,
+						childSubmissionId: row.child_submission_id,
+						childState: child.value.state,
+						...child.value.settled_outcome === null ? {} : { childOutcome: child.value.settled_outcome }
+					}).pipe(Effect.mapError(internalFailure(operation))));
+					continue;
+				}
+				const marker = markersByChild.get(row.child_submission_id);
+				if (marker === void 0) continue;
+				childAttachments.push(yield* decodeChildAttachmentSnapshot({
+					toolCallId: row.parent_tool_call_id,
+					childSubmissionId: row.child_submission_id,
+					childState: "settled",
+					...marker.child_outcome === null ? {} : { childOutcome: marker.child_outcome }
+				}).pipe(Effect.mapError(internalFailure(operation))));
+			}
+			let parentLinkage;
+			if (submissionRow.parent_submission_id !== null && submissionRow.parent_tool_call_id !== null) parentLinkage = yield* decodeParentLinkage({
+				parentSubmissionId: submissionRow.parent_submission_id,
+				parentToolCallId: submissionRow.parent_tool_call_id
+			}).pipe(Effect.mapError(internalFailure(operation)));
+			return RecoverySnapshot.make({
+				submission,
+				joins,
+				approvalDecisions,
+				unknownResolutions,
+				childReservations,
+				childAttachments,
+				...parentLinkage === void 0 ? {} : { parentLinkage },
+				...hostSubmissionId === void 0 ? {} : { hostSubmissionId },
+				...suspension === void 0 ? {} : { suspension },
+				...ownership === void 0 ? {} : { ownership },
+				...inputApplied === void 0 ? {} : { inputApplied },
+				...reservation === void 0 ? {} : { reservation },
+				...abortIntent === void 0 ? {} : { abortIntent }
+			});
+		})).pipe(Effect.catchTag("SqlError", (error) => Effect.fail(sqlFailure(operation)(error))));
+	});
+	return Context.make(SubmissionLedger, SubmissionLedger.of({
+		capabilities,
+		admit,
+		markReady,
+		lookup,
+		resolveAdmission,
+		claim,
+		renewOwnership,
+		releaseOwnership,
+		markInputApplied,
+		reserveSettlement,
+		finalizeSettlement,
+		requestAbort,
+		claimJoining,
+		markJoined,
+		revertJoining,
+		suspend,
+		recordApprovalDecision,
+		markUnknown,
+		recordUnknownResolution,
+		recordChildSettled,
+		reserveChildBudget,
+		attachChildToReservation,
+		beginChildBudgetRelease,
+		releaseChildBudget,
+		scanNonterminal,
+		loadRecoverySnapshot,
+		readAbortIntent: readAbortIntentForSubmission
+	}));
+});
+/**
+* Durable Object SubmissionLedger implementation sharing the journal's private SQLite
+* database, storage-backed transaction discipline, and producer-epoch fencing substrate.
+* Configuration, failpoint, SQL, and Crypto authority stay visible in the input channel.
+*/
+const submissionLedgerLayer = Layer.effectContext(makeServices());
+/**
+* A composition-root convenience Layer for the durable Submission Ledger. Point it at the
+* same `ctx.storage` as the ThreadStore so claims fence the same producer epochs.
+*/
+const ledgerLayer = (options) => Layer.unwrap(Effect.map(DoStorageConfig, (config) => submissionLedgerLayer.pipe(Layer.provide(Layer.mergeAll(Layer.succeed(DoStorageConfig)(config), storageFailpointLayer(options), SqliteClient.layer({ storage: options.storage }), BrowserCrypto.layer))))).pipe(Layer.provide(storageConfigLayer(options)));
+//#endregion
+export { ledgerLayer, submissionLedgerLayer, DoSubmissionLedger_exports as t };
+
+//# sourceMappingURL=DoSubmissionLedger.mjs.map