effect-agent 0.1.0-beta.85 → 0.1.0-beta.87

package/dist/durable/SubmissionLedger.mjs

@@ -0,0 +1,914 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+import { AgentId, AttemptId, ReceiptId, SettlementId, SubmissionId, ThreadId, ToolCallId } from "../core/Identifiers.mjs";
+import { IdempotencyKey, JoinedToHost, Principal, QueueSequence } from "../core/Receipt.mjs";
+import { RunUsageSummary } from "../core/Usage.mjs";
+import { l as InputMessage } from "../MessagingHost-CWi_PP3g.mjs";
+import { AbortRequested, ApprovalDecision, BatchId, CanonicalSequence, DefinitionDigests, DeploymentId, Digest, PersistedJson, ProducerEpoch, ProducerId, RecordEnvelope, RecordId, SettlementFailureDiagnostic, SettlementOutcome, ToolApprovalDecided, ToolCallResolved, ToolCallUnknown, WorkerAdmission } from "./Records.mjs";
+import { Context, Duration, Effect, Schema } from "effect";
+//#region src/durable/SubmissionLedger.ts
+var SubmissionLedger_exports = /* @__PURE__ */ __exportAll({
+	AbortCommand: () => AbortCommand,
+	AbortIntent: () => AbortIntent,
+	AbortIntentRequest: () => AbortIntentRequest,
+	AdmissionAdmitted: () => AdmissionAdmitted,
+	AdmissionConflict: () => AdmissionConflict,
+	AdmissionFence: () => AdmissionFence,
+	AdmissionGroup: () => AdmissionGroup,
+	AdmissionIndeterminate: () => AdmissionIndeterminate,
+	AdmissionNotAdmitted: () => AdmissionNotAdmitted,
+	AdmissionPolicyError: () => AdmissionPolicyError,
+	AdmissionRequest: () => AdmissionRequest,
+	AdmissionResolution: () => AdmissionResolution,
+	AdmissionResult: () => AdmissionResult,
+	ApprovalConflict: () => ApprovalConflict,
+	ApprovalDecisionCommand: () => ApprovalDecisionCommand,
+	ApprovalDecisionIntent: () => ApprovalDecisionIntent,
+	ApprovalPendingSuspension: () => ApprovalPendingSuspension,
+	AttachChildToReservationRequest: () => AttachChildToReservationRequest,
+	BeginChildBudgetReleaseRequest: () => BeginChildBudgetReleaseRequest,
+	ChildAttachmentSnapshot: () => ChildAttachmentSnapshot,
+	ChildBudgetReservationRequest: () => ChildBudgetReservationRequest,
+	ChildBudgetReservationSnapshot: () => ChildBudgetReservationSnapshot,
+	ChildReservationConflict: () => ChildReservationConflict,
+	ChildReservationId: () => ChildReservationId,
+	ChildReservationStatus: () => ChildReservationStatus,
+	ChildSettledNotification: () => ChildSettledNotification,
+	ChildSettledOutcome: () => ChildSettledOutcome,
+	Claim: () => Claim,
+	ClaimJoiningRequest: () => ClaimJoiningRequest,
+	ClaimRequest: () => ClaimRequest,
+	DEFAULT_OWNERSHIP_LEASE_DURATION: () => DEFAULT_OWNERSHIP_LEASE_DURATION,
+	IdempotencyKey: () => IdempotencyKey,
+	InputAppliedMarker: () => InputAppliedMarker,
+	JoinSnapshot: () => JoinSnapshot,
+	JoinedToHost: () => JoinedToHost,
+	JoiningClaim: () => JoiningClaim,
+	LedgerCapabilities: () => LedgerCapabilities,
+	LedgerError: () => LedgerError,
+	MarkInputAppliedRequest: () => MarkInputAppliedRequest,
+	MarkJoinedRequest: () => MarkJoinedRequest,
+	MarkReadyRequest: () => MarkReadyRequest,
+	MarkUnknownRequest: () => MarkUnknownRequest,
+	OwnershipLost: () => OwnershipLost,
+	OwnershipRenewal: () => OwnershipRenewal,
+	OwnershipSnapshot: () => OwnershipSnapshot,
+	OwnershipToken: () => OwnershipToken,
+	ParentLinkage: () => ParentLinkage,
+	Principal: () => Principal,
+	QueueSequence: () => QueueSequence,
+	RecoverySnapshot: () => RecoverySnapshot,
+	RecoverySnapshotRequest: () => RecoverySnapshotRequest,
+	ReleaseChildBudgetRequest: () => ReleaseChildBudgetRequest,
+	ReleaseOwnershipRequest: () => ReleaseOwnershipRequest,
+	RenewOwnershipRequest: () => RenewOwnershipRequest,
+	ReservedChildBudget: () => ReservedChildBudget,
+	ReservedSettlement: () => ReservedSettlement,
+	ResolutionAbortSubmission: () => ResolutionAbortSubmission,
+	ResolutionCompletedWithResult: () => ResolutionCompletedWithResult,
+	ResolutionNeverHappened: () => ResolutionNeverHappened,
+	ResolutionSafeToRetry: () => ResolutionSafeToRetry,
+	RevertJoiningRequest: () => RevertJoiningRequest,
+	Settlement: () => Settlement,
+	SettlementConflict: () => SettlementConflict,
+	SettlementFinalization: () => SettlementFinalization,
+	SettlementReservation: () => SettlementReservation,
+	SettlementReservationSnapshot: () => SettlementReservationSnapshot,
+	SubmissionAdmissionFence: () => SubmissionAdmissionFence,
+	SubmissionLedger: () => SubmissionLedger,
+	SubmissionLookup: () => SubmissionLookup,
+	SubmissionLookupById: () => SubmissionLookupById,
+	SubmissionLookupByKey: () => SubmissionLookupByKey,
+	SubmissionSnapshot: () => SubmissionSnapshot,
+	SubmissionState: () => SubmissionState,
+	SuspendRequest: () => SuspendRequest,
+	SuspensionOutcome: () => SuspensionOutcome,
+	SuspensionReason: () => SuspensionReason,
+	SuspensionSnapshot: () => SuspensionSnapshot,
+	UnknownResolution: () => UnknownResolution,
+	UnknownResolutionCommand: () => UnknownResolutionCommand,
+	UnknownResolutionConflict: () => UnknownResolutionConflict,
+	UnknownResolutionIntent: () => UnknownResolutionIntent,
+	WaitingChild: () => WaitingChild,
+	WaitingForChildSuspension: () => WaitingForChildSuspension,
+	settlementFailureFromRecord: () => settlementFailureFromRecord,
+	submissionAbortBatchId: () => submissionAbortBatchId,
+	submissionAbortRecordId: () => submissionAbortRecordId,
+	submissionInputBatchId: () => submissionInputBatchId,
+	submissionInputRecordId: () => submissionInputRecordId,
+	submissionSettlementBatchId: () => submissionSettlementBatchId,
+	submissionSettlementId: () => submissionSettlementId,
+	submissionSettlementRecordId: () => submissionSettlementRecordId
+});
+const identifier = (name) => Schema.NonEmptyString.check(Schema.isMaxLength(256)).pipe(Schema.brand(`@effect-agent/thread/${name}`));
+/**
+* Opaque proof that one Attempt currently owns a Submission's lane. It authorizes ledger
+* mutations only; canonical-log fencing authority remains the producer epoch (DUR-006).
+*/
+const OwnershipToken = identifier("OwnershipToken");
+/**
+* Ledger lifecycle states for one Submission. `settled` is the only terminal state; every other
+* state carries an outstanding accepted-work obligation (Accepted-work Contract, DUR-002).
+*
+* Phase 5 states:
+*
+* - `joining` — a queued Submission claimed by an active host Run, before its canonical
+*   `UserInputRecorded` append; recovery reverts it to `ready` (DUR-016).
+* - `joined` — the input is canonical and linked to its host; the Submission settles WITH the
+*   host Run's outcome.
+* - `suspended` — durably waiting for explicit approval decisions; the ownership period has
+*   ended and the lane consumes no worker permit while the obligation stays owed.
+* - `unknown` — at least one ordinary Tool Call has a durable Unknown Outcome; the lane is
+*   blocked until an authorized resolution covers every open call or a durable abort intent
+*   authorizes cleanup and aborted settlement without Tool replay (DUR-012/DUR-017).
+*
+* `claim` never grants a `joining`, `joined`, or `suspended` head. An `unknown` head is
+* claimable only with a durable abort intent, under the ordinary lease and fencing rules.
+*/
+const SubmissionState = Schema.Literals([
+	"admitted",
+	"ready",
+	"joining",
+	"joined",
+	"running",
+	"input-applied",
+	"suspended",
+	"unknown",
+	"terminalizing",
+	"settled"
+]);
+/**
+* Default ownership lease duration (D5). The lease is a liveness hint that makes an abandoned
+* claim reclaimable; correctness never depends on it because every canonical append is fenced by
+* producer epoch. Adapters expose this as configuration and use this value when unconfigured.
+*/
+const DEFAULT_OWNERSHIP_LEASE_DURATION = Duration.seconds(30);
+/**
+* What a SubmissionLedger adapter claims about itself. `durable-node` asserts single-node
+* process-crash durability (fsync-backed storage); `durable-cloudflare` asserts the same
+* single-serialized-owner crash durability through Durable Object storage output gates;
+* `non-durable` marks reference adapters whose state does not survive the process (in-memory
+* conformance/test adapters). The label is an honest self-description for reports and
+* evidence — no runtime behavior branches on it.
+*/
+var LedgerCapabilities = class extends Schema.Class("@effect-agent/thread/LedgerCapabilities")({ durability: Schema.Literals([
+	"durable-node",
+	"durable-cloudflare",
+	"non-durable"
+]) }) {};
+/**
+* Immutable lineage from a child Submission to the exact parent Tool Call that established it
+* (spec §12 step 5, SUB-004). Recorded once at admission and never rewritten; it is an
+* identifier, not an authorization capability (D10) — the join path verifies the canonical
+* Parent Link records, never this marker alone.
+*/
+var ParentLinkage = class extends Schema.Class("@effect-agent/thread/ParentLinkage")({
+	parentSubmissionId: SubmissionId,
+	parentToolCallId: ToolCallId
+}) {};
+/** Host-owned policy coordinates, interpreted only by the destination transaction owner. */
+const AdmissionFence = Schema.Struct({
+	policyId: Schema.NonEmptyString.check(Schema.isMaxLength(128)),
+	key: Schema.NonEmptyString.check(Schema.isMaxLength(256)),
+	revision: Schema.NonEmptyString.check(Schema.isMaxLength(256))
+});
+const AdmissionGroup = Schema.NonEmptyString.check(Schema.isMaxLength(256));
+/** Fresh admission alone may be refused; unavailability never proves non-admission. */
+var AdmissionPolicyError = class extends Schema.TaggedError()("AdmissionPolicyError", {
+	reason: Schema.Literals([
+		"refused",
+		"unavailable",
+		"occupied"
+	]),
+	code: Schema.NonEmptyString.check(Schema.isMaxLength(128))
+}) {};
+/**
+* Durable admission input. `inputDigest` must be the digest of the canonical JSON encoding of
+* `inputPayload` (see `digestJson`); admission idempotency compares digests, never re-encodes.
+* `agentId`/`agentDigests`/`deploymentId` are persisted so recovery can complete Thread
+* materialization without the submitting client. `parentLinkage` is present exactly when the
+* Submission is a durable attached child (spec §12); an admission replay must repeat the same
+* linkage (or its absence) or fail with `AdmissionConflict`.
+*/
+var AdmissionRequest = class extends Schema.Class("@effect-agent/thread/AdmissionRequest")({
+	threadId: ThreadId,
+	principal: Principal,
+	idempotencyKey: IdempotencyKey,
+	agentId: AgentId,
+	agentDigests: DefinitionDigests,
+	deploymentId: DeploymentId,
+	inputPayload: PersistedJson,
+	inputDigest: Digest,
+	parentLinkage: Schema.optionalKey(ParentLinkage),
+	workerAdmission: Schema.optionalKey(WorkerAdmission),
+	messageAdmission: Schema.optionalKey(InputMessage),
+	admissionGroup: Schema.optionalKey(AdmissionGroup),
+	admissionFence: Schema.optionalKey(AdmissionFence)
+}) {};
+/**
+* The committed admission row. `replayed` is true when an identical (thread, principal,
+* idempotencyKey, inputDigest) admission already existed; the original identities are returned
+* unchanged so a client retry resumes rather than duplicates (DUR-001).
+*/
+var AdmissionResult = class extends Schema.Class("@effect-agent/thread/AdmissionResult")({
+	submissionId: SubmissionId,
+	receiptId: ReceiptId,
+	queueSequence: QueueSequence,
+	state: SubmissionState,
+	replayed: Schema.Boolean
+}) {};
+var MarkReadyRequest = class extends Schema.Class("@effect-agent/thread/MarkReadyRequest")({ submissionId: SubmissionId }) {};
+var SubmissionLookupById = class extends Schema.TaggedClass("@effect-agent/thread/SubmissionLookupById")("SubmissionLookupById", { submissionId: SubmissionId }) {};
+var SubmissionLookupByKey = class extends Schema.TaggedClass("@effect-agent/thread/SubmissionLookupByKey")("SubmissionLookupByKey", {
+	threadId: ThreadId,
+	principal: Principal,
+	idempotencyKey: IdempotencyKey
+}) {};
+/** Lookup by Submission identity or by the scoped client idempotency key. */
+const SubmissionLookup = Schema.Union([SubmissionLookupById, SubmissionLookupByKey]);
+/** The full durable ledger view of one Submission. */
+var SubmissionSnapshot = class extends Schema.Class("@effect-agent/thread/SubmissionSnapshot")({
+	submissionId: SubmissionId,
+	threadId: ThreadId,
+	queueSequence: QueueSequence,
+	principal: Principal,
+	idempotencyKey: IdempotencyKey,
+	agentId: AgentId,
+	agentDigests: DefinitionDigests,
+	deploymentId: DeploymentId,
+	inputPayload: PersistedJson,
+	inputDigest: Digest,
+	receiptId: ReceiptId,
+	state: SubmissionState,
+	settledOutcome: Schema.optionalKey(SettlementOutcome),
+	createdAt: Schema.DateTimeUtcFromString,
+	readyAt: Schema.optionalKey(Schema.DateTimeUtcFromString),
+	admissionGroup: Schema.optionalKey(AdmissionGroup),
+	admissionFence: Schema.optionalKey(AdmissionFence),
+	parentLinkage: Schema.optionalKey(ParentLinkage),
+	workerAdmission: Schema.optionalKey(WorkerAdmission),
+	messageAdmission: Schema.optionalKey(InputMessage)
+}) {};
+/** The authoritative store proves the scoped idempotency key was never admitted (SUB-031). */
+var AdmissionNotAdmitted = class extends Schema.TaggedClass("@effect-agent/thread/AdmissionNotAdmitted")("NotAdmitted", {}) {};
+/** The scoped idempotency key was admitted; the full Submission snapshot is authoritative. */
+var AdmissionAdmitted = class extends Schema.TaggedClass("@effect-agent/thread/AdmissionAdmitted")("Admitted", { submission: SubmissionSnapshot }) {};
+/**
+* The adapter cannot currently prove admission or its absence (e.g. the authoritative child
+* owner is unreachable on a partitioned platform). Callers wait and retry; an indeterminate
+* answer NEVER permits a second admission attempt (SUB-031).
+*/
+var AdmissionIndeterminate = class extends Schema.TaggedClass("@effect-agent/thread/AdmissionIndeterminate")("Indeterminate", { reason: Schema.String.check(Schema.isMaxLength(4096)) }) {};
+/**
+* The tri-state answer of `resolveAdmission` (spec §12: "absence from an eventually consistent
+* projection is never proof"). Single strongly consistent stores derive `NotAdmitted`/`Admitted`
+* from a direct lookup; only adapters that can genuinely fail to reach the authoritative owner
+* answer `Indeterminate`.
+*/
+const AdmissionResolution = Schema.Union([
+	AdmissionNotAdmitted,
+	AdmissionAdmitted,
+	AdmissionIndeterminate
+]);
+var ClaimRequest = class extends Schema.Class("@effect-agent/thread/ClaimRequest")({
+	threadId: ThreadId,
+	producerId: ProducerId
+}) {};
+/**
+* One granted ownership period. `producerEpoch` is the fencing token for every canonical append
+* this Attempt performs; `leaseExpiresAt` is when the claim becomes reclaimable unless renewed.
+*/
+var Claim = class extends Schema.Class("@effect-agent/thread/Claim")({
+	submissionId: SubmissionId,
+	attemptId: AttemptId,
+	ownershipToken: OwnershipToken,
+	producerEpoch: ProducerEpoch,
+	leaseExpiresAt: Schema.DateTimeUtcFromString,
+	inputPayload: PersistedJson
+}) {};
+var RenewOwnershipRequest = class extends Schema.Class("@effect-agent/thread/RenewOwnershipRequest")({
+	submissionId: SubmissionId,
+	ownershipToken: OwnershipToken
+}) {};
+/**
+* A renewed lease. Adapters MAY rotate the token; callers must use the returned token for every
+* later ledger mutation.
+*/
+var OwnershipRenewal = class extends Schema.Class("@effect-agent/thread/OwnershipRenewal")({
+	ownershipToken: OwnershipToken,
+	leaseExpiresAt: Schema.DateTimeUtcFromString
+}) {};
+var ReleaseOwnershipRequest = class extends Schema.Class("@effect-agent/thread/ReleaseOwnershipRequest")({
+	submissionId: SubmissionId,
+	ownershipToken: OwnershipToken
+}) {};
+/**
+* The canonical position of the applied `UserInputRecorded` record for one Submission.
+*/
+var MarkInputAppliedRequest = class extends Schema.Class("@effect-agent/thread/MarkInputAppliedRequest")({
+	submissionId: SubmissionId,
+	ownershipToken: OwnershipToken,
+	recordId: RecordId,
+	sequence: CanonicalSequence
+}) {};
+var InputAppliedMarker = class extends Schema.Class("@effect-agent/thread/InputAppliedMarker")({
+	recordId: RecordId,
+	sequence: CanonicalSequence
+}) {};
+/**
+* Reservation of the single exact settlement record for one Submission (DUR-011). `record` is
+* the complete canonical envelope that will be appended — including `createdAt` — so a recovering
+* Attempt can re-append byte-identical content without a batch-digest conflict. `recordDigest`
+* must be the digest of the canonical JSON encoding of the Schema-encoded envelope.
+*/
+var SettlementReservation = class extends Schema.Class("@effect-agent/thread/SettlementReservation")({
+	submissionId: SubmissionId,
+	ownershipToken: OwnershipToken,
+	settlementId: SettlementId,
+	outcome: SettlementOutcome,
+	record: RecordEnvelope,
+	recordDigest: Digest
+}) {};
+/**
+* The committed reservation. `replayed` is true when an identical reservation already existed;
+* the stored exact record is returned so recovery appends precisely what was reserved.
+*/
+var ReservedSettlement = class extends Schema.Class("@effect-agent/thread/ReservedSettlement")({
+	submissionId: SubmissionId,
+	settlementId: SettlementId,
+	outcome: SettlementOutcome,
+	record: RecordEnvelope,
+	recordDigest: Digest,
+	replayed: Schema.Boolean
+}) {};
+var SettlementFinalization = class extends Schema.Class("@effect-agent/thread/SettlementFinalization")({
+	submissionId: SubmissionId,
+	settlementId: SettlementId
+}) {};
+const SettlementFields = Schema.Struct({
+	submissionId: SubmissionId,
+	settlementId: SettlementId,
+	receiptId: ReceiptId,
+	outcome: SettlementOutcome,
+	/** Schema-encoded application disposition materialized from the exact canonical reservation. */
+	runDisposition: Schema.optionalKey(PersistedJson),
+	/** Canonical aggregate of model usage and estimated spend for this Run. */
+	usageSummary: Schema.optionalKey(RunUsageSummary),
+	/** Present exactly for `failed`; its Schema rejects excess keys before canonical projection. */
+	failure: Schema.optionalKey(SettlementFailureDiagnostic),
+	settledAt: Schema.DateTimeUtcFromString
+}).check(Schema.makeFilter((settlement) => settlement.outcome === "failed" === (settlement.failure !== void 0), { title: "failure exactly on a failed Settlement" }));
+/** The single durable terminal outcome recorded for one accepted Submission (DUR-002). */
+var Settlement = class extends Schema.Class("@effect-agent/thread/Settlement")(SettlementFields) {};
+/**
+* Project the bounded failed-settlement diagnostic from an already Schema-validated exact
+* reservation. Storage adapters use this when materializing their operational Settlement value;
+* the canonical record remains the authority.
+*/
+const settlementFailureFromRecord = (record) => {
+	const payload = record.payload;
+	return payload._tag === "SubmissionSettled" && payload.outcome === "failed" ? payload.result : void 0;
+};
+/**
+* A durable abort command (durability §13). Field bounds are exactly those of the canonical
+* `AbortRequested` payload so the intent can become canonical without re-validation.
+*/
+var AbortCommand = class extends Schema.Class("@effect-agent/thread/AbortCommand")({
+	submissionId: SubmissionId,
+	author: AbortRequested.fields.author,
+	reason: AbortRequested.fields.reason
+}) {};
+/**
+* The recorded abort intent. `canonicalRecordId` is present once the corresponding canonical
+* `AbortRequested` record has been appended (its identity is deterministic; see
+* `submissionAbortRecordId`).
+*/
+var AbortIntent = class extends Schema.Class("@effect-agent/thread/AbortIntent")({
+	submissionId: SubmissionId,
+	author: AbortRequested.fields.author,
+	reason: AbortRequested.fields.reason,
+	requestedAt: Schema.DateTimeUtcFromString,
+	canonicalRecordId: Schema.optionalKey(RecordId)
+}) {};
+/** Address one lane-local abort intent without loading unrelated recovery state. */
+var AbortIntentRequest = class extends Schema.Class("@effect-agent/thread/AbortIntentRequest")({ submissionId: SubmissionId }) {};
+/**
+* Atomic claim of the contiguous ready prefix of strictly-later queued Submissions for joining
+* into the active host Run (plan §2.5). Fenced by the host Attempt's ownership token — no epoch
+* bump, the host already owns the lane. An `admitted`-but-not-`ready` row breaks the prefix;
+* an aborted-settled row is a closed obligation and is skipped as a non-gap (P7 §7(c)).
+*/
+var ClaimJoiningRequest = class extends Schema.Class("@effect-agent/thread/ClaimJoiningRequest")({
+	threadId: ThreadId,
+	hostSubmissionId: SubmissionId,
+	ownershipToken: OwnershipToken,
+	maxCount: Schema.Int.check(Schema.isGreaterThan(0))
+}) {};
+/** One queued Submission transitioned to `joining` under the host's ownership. */
+var JoiningClaim = class extends Schema.Class("@effect-agent/thread/JoiningClaim")({
+	submissionId: SubmissionId,
+	queueSequence: QueueSequence,
+	inputPayload: PersistedJson
+}) {};
+/**
+* The canonical position of one joined Submission's `UserInputRecorded` record (`input:{sid}`).
+* Marking transitions `joining → joined` and records the host linkage established at claim time.
+*/
+var MarkJoinedRequest = class extends Schema.Class("@effect-agent/thread/MarkJoinedRequest")({
+	submissionId: SubmissionId,
+	ownershipToken: OwnershipToken,
+	recordId: RecordId,
+	sequence: CanonicalSequence
+}) {};
+/**
+* Recovery-only revert of a `joining` Submission whose canonical input append never committed
+* (DUR-016): `joining → ready`, idempotent, a no-op when the Submission already joined.
+*/
+var RevertJoiningRequest = class extends Schema.Class("@effect-agent/thread/RevertJoiningRequest")({ submissionId: SubmissionId }) {};
+/**
+* Why one Submission is durably suspended. Approval was the only Phase 5 reason; S2 adds
+* `WaitingForChild` (spec §12 step 10) and the union keeps later suspension families (e.g.
+* operator quarantine) additive.
+*/
+var ApprovalPendingSuspension = class extends Schema.TaggedClass("@effect-agent/thread/ApprovalPendingSuspension")("ApprovalPending", { toolCallIds: Schema.NonEmptyArray(ToolCallId) }) {};
+/** One attached child a `waitingForChild` parent is durably waiting on (spec §12 step 10). */
+var WaitingChild = class extends Schema.Class("@effect-agent/thread/WaitingChild")({
+	toolCallId: ToolCallId,
+	childSubmissionId: SubmissionId
+}) {};
+/**
+* The parent Attempt ended without settling because attached durable children must settle and
+* join first (spec §12 step 10, SUB-030). The suspended lane holds no worker permit; each listed
+* child settles on its own Thread lane and `recordChildSettled` wakes the parent once
+* every listed child is settled.
+*/
+var WaitingForChildSuspension = class extends Schema.TaggedClass("@effect-agent/thread/WaitingForChildSuspension")("WaitingForChild", { children: Schema.NonEmptyArray(WaitingChild) }) {};
+const SuspensionReason = Schema.Union([ApprovalPendingSuspension, WaitingForChildSuspension]);
+/**
+* Durable suspension of owned work (plan §2.6): `input-applied`/`running` → `suspended`, the
+* ownership period ends, NO settlement occurs — the accepted-work obligation stays owed while
+* the lane consumes no worker permit.
+*/
+var SuspendRequest = class extends Schema.Class("@effect-agent/thread/SuspendRequest")({
+	submissionId: SubmissionId,
+	ownershipToken: OwnershipToken,
+	reason: SuspensionReason
+}) {};
+/**
+* `suspended` when the lane is now durably waiting; `resume-immediately` when the suspension
+* reason is already fully covered (a covering decision or child settlement raced ahead of the
+* suspend transaction), so the caller resumes without releasing the lane.
+*/
+const SuspensionOutcome = Schema.Literals(["suspended", "resume-immediately"]);
+/**
+* A durable child-settlement notification for one waitingForChild parent (spec §12 step 10).
+* The child's canonical Settlement is the authority; this command only drives the parent lane's
+* wake transition.
+*/
+var ChildSettledNotification = class extends Schema.Class("@effect-agent/thread/ChildSettledNotification")({
+	parentSubmissionId: SubmissionId,
+	childSubmissionId: SubmissionId
+}) {};
+/**
+* `woken` when this notification completed the waiting set and the parent transitioned
+* `suspended(WaitingForChild) → input-applied`; `still-waiting` while other listed children are
+* unsettled; `not-waiting` when the parent is not (or no longer) suspended waiting on this
+* child — including replays after a wake, so the operation is idempotent.
+*/
+const ChildSettledOutcome = Schema.Literals([
+	"woken",
+	"still-waiting",
+	"not-waiting"
+]);
+/** Parent-owned child budget reservation identity, deterministically derived by the
+* coordinator from the parent Run and Tool Call identity (spec §12 step 2). */
+const ChildReservationId = identifier("ChildReservationId");
+/**
+* The reservation state machine (spec §12 steps 2 and 6): `reserved` while the child may still
+* consume the allocation, `releasePending` once the final accounting decision is frozen, and
+* `released` after the unused allocation returned exactly once.
+*/
+const ChildReservationStatus = Schema.Literals([
+	"reserved",
+	"releasePending",
+	"released"
+]);
+/**
+* Creation input for one parent-owned child budget reservation. The allocation is an opaque
+* Schema-encoded budget document (D8: adapters implement transitions only and never interpret
+* budget dimensions); `allocationDigest` must be the digest of its canonical JSON encoding.
+*/
+var ChildBudgetReservationRequest = class extends Schema.Class("@effect-agent/thread/ChildBudgetReservationRequest")({
+	reservationId: ChildReservationId,
+	parentSubmissionId: SubmissionId,
+	parentToolCallId: ToolCallId,
+	ownershipToken: OwnershipToken,
+	allocation: PersistedJson,
+	allocationDigest: Digest
+}) {};
+/** One child budget reservation row as the port exposes it. */
+var ChildBudgetReservationSnapshot = class extends Schema.Class("@effect-agent/thread/ChildBudgetReservationSnapshot")({
+	reservationId: ChildReservationId,
+	parentSubmissionId: SubmissionId,
+	parentToolCallId: ToolCallId,
+	childSubmissionId: Schema.optionalKey(SubmissionId),
+	status: ChildReservationStatus,
+	allocation: PersistedJson,
+	allocationDigest: Digest,
+	accounting: Schema.optionalKey(PersistedJson),
+	reservedAt: Schema.DateTimeUtcFromString,
+	releaseBeganAt: Schema.optionalKey(Schema.DateTimeUtcFromString),
+	releasedAt: Schema.optionalKey(Schema.DateTimeUtcFromString)
+}) {};
+/**
+* The committed reservation. `replayed` is true when an identical reservation already existed;
+* the stored row is returned unchanged so a recovering caller resumes rather than duplicates
+* (SUB-016).
+*/
+var ReservedChildBudget = class extends Schema.Class("@effect-agent/thread/ReservedChildBudget")({
+	reservation: ChildBudgetReservationSnapshot,
+	replayed: Schema.Boolean
+}) {};
+/** Records the admitted child on its reservation row (repairable from `SubagentStarted`). */
+var AttachChildToReservationRequest = class extends Schema.Class("@effect-agent/thread/AttachChildToReservationRequest")({
+	reservationId: ChildReservationId,
+	ownershipToken: OwnershipToken,
+	childSubmissionId: SubmissionId
+}) {};
+/**
+* Freezes the final consumed/released accounting decision (spec §12 join step 6). The
+* accounting is an opaque Schema-encoded document replayed from the canonical `SubagentJoined`
+* record (or the deterministic zero-consumed decision for an orphaned reservation), so the
+* decision itself authorizes the transition — no ownership token is consulted (DUR-015).
+*/
+var BeginChildBudgetReleaseRequest = class extends Schema.Class("@effect-agent/thread/BeginChildBudgetReleaseRequest")({
+	reservationId: ChildReservationId,
+	accounting: PersistedJson
+}) {};
+/** Applies the frozen accounting decision: `releasePending → released`, exactly once. */
+var ReleaseChildBudgetRequest = class extends Schema.Class("@effect-agent/thread/ReleaseChildBudgetRequest")({ reservationId: ChildReservationId }) {};
+/**
+* A durable approval decision command (plan §2.6, `abort`-shaped). Field bounds are exactly those
+* of the canonical `ToolApprovalDecided` payload so the intent can become canonical without
+* re-validation.
+*/
+var ApprovalDecisionCommand = class extends Schema.Class("@effect-agent/thread/ApprovalDecisionCommand")({
+	submissionId: SubmissionId,
+	toolCallId: ToolCallId,
+	decision: ApprovalDecision,
+	resolver: ToolApprovalDecided.fields.resolver,
+	reason: ToolApprovalDecided.fields.reason
+}) {};
+/**
+* The recorded approval-decision intent, idempotent per `(submissionId, toolCallId)`.
+* `canonicalRecordId` is present once the corresponding canonical `ToolApprovalDecided` record
+* has been appended (see `toolApprovalDecisionRecordId`).
+*/
+var ApprovalDecisionIntent = class extends Schema.Class("@effect-agent/thread/ApprovalDecisionIntent")({
+	submissionId: SubmissionId,
+	toolCallId: ToolCallId,
+	decision: ApprovalDecision,
+	resolver: ToolApprovalDecided.fields.resolver,
+	reason: ToolApprovalDecided.fields.reason,
+	decidedAt: Schema.DateTimeUtcFromString,
+	canonicalRecordId: Schema.optionalKey(RecordId)
+}) {};
+/**
+* Durable Unknown marking for one Submission's open ordinary Tool Calls (DUR-009): state →
+* `unknown`, the lane blocks, ownership-free (recovery may mark without a claim). Idempotent.
+*/
+var MarkUnknownRequest = class extends Schema.Class("@effect-agent/thread/MarkUnknownRequest")({
+	submissionId: SubmissionId,
+	toolCallIds: Schema.NonEmptyArray(ToolCallId),
+	reason: ToolCallUnknown.fields.reason
+}) {};
+/** The recovered supplier truth: the external effect completed with this exact result. */
+var ResolutionCompletedWithResult = class extends Schema.TaggedClass("@effect-agent/thread/ResolutionCompletedWithResult")("CompletedWithResult", {
+	result: PersistedJson,
+	isFailure: Schema.Boolean
+}) {};
+/** The external effect provably never happened; the call may re-execute on resume. */
+var ResolutionNeverHappened = class extends Schema.TaggedClass("@effect-agent/thread/ResolutionNeverHappened")("NeverHappened", {}) {};
+/** The call is safe to repeat under the external system's idempotency contract. */
+var ResolutionSafeToRetry = class extends Schema.TaggedClass("@effect-agent/thread/ResolutionSafeToRetry")("SafeToRetry", {}) {};
+/** Give up on the Submission: route into the abort path (unknown calls stay recorded; abort
+* never claims external rollback, durability §13). */
+var ResolutionAbortSubmission = class extends Schema.TaggedClass("@effect-agent/thread/ResolutionAbortSubmission")("AbortSubmission", {}) {};
+/** How an authorized resolver closed one Unknown Outcome (DUR-017). */
+const UnknownResolution = Schema.Union([
+	ResolutionCompletedWithResult,
+	ResolutionNeverHappened,
+	ResolutionSafeToRetry,
+	ResolutionAbortSubmission
+]);
+/**
+* A durable Unknown-Outcome resolution command (DUR-017, `abort`-shaped). Possession of the
+* runtime service plus the mandatory `author`/`reason` audit fields is the Phase 5 authorization
+* boundary — identical to `abort`; the authenticated operator surface is a P7 deliverable.
+* Field bounds are exactly those of the canonical `ToolCallResolved` payload.
+*/
+var UnknownResolutionCommand = class extends Schema.Class("@effect-agent/thread/UnknownResolutionCommand")({
+	submissionId: SubmissionId,
+	toolCallId: ToolCallId,
+	author: ToolCallResolved.fields.author,
+	reason: ToolCallResolved.fields.reason,
+	resolution: UnknownResolution
+}) {};
+/**
+* The recorded resolution intent, idempotent per `(submissionId, toolCallId)`. The canonical
+* `ToolCallResolved` (+ `ToolCallSettled` for `CompletedWithResult`) is appended by the recovery
+* pass or the next owning Attempt; `canonicalRecordId` is present once it is.
+*/
+var UnknownResolutionIntent = class extends Schema.Class("@effect-agent/thread/UnknownResolutionIntent")({
+	submissionId: SubmissionId,
+	toolCallId: ToolCallId,
+	author: ToolCallResolved.fields.author,
+	reason: ToolCallResolved.fields.reason,
+	resolution: UnknownResolution,
+	resolvedAt: Schema.DateTimeUtcFromString,
+	canonicalRecordId: Schema.optionalKey(RecordId)
+}) {};
+/** Current ownership as recovery sees it. The live owner's token is never exposed here. */
+var OwnershipSnapshot = class extends Schema.Class("@effect-agent/thread/OwnershipSnapshot")({
+	attemptId: AttemptId,
+	ownerProducerId: ProducerId,
+	producerEpoch: ProducerEpoch,
+	leaseExpiresAt: Schema.DateTimeUtcFromString
+}) {};
+/** A settlement reservation as recovery sees it. */
+var SettlementReservationSnapshot = class extends Schema.Class("@effect-agent/thread/SettlementReservationSnapshot")({
+	settlementId: SettlementId,
+	outcome: SettlementOutcome,
+	record: RecordEnvelope,
+	recordDigest: Digest,
+	finalized: Schema.Boolean
+}) {};
+var RecoverySnapshotRequest = class extends Schema.Class("@effect-agent/thread/RecoverySnapshotRequest")({ submissionId: SubmissionId }) {};
+/** One joined/joining Submission of a host Run, as the host's recovery sees it. */
+var JoinSnapshot = class extends Schema.Class("@effect-agent/thread/JoinSnapshot")({
+	submissionId: SubmissionId,
+	state: SubmissionState,
+	hostSubmissionId: SubmissionId
+}) {};
+/** A durable suspension as recovery sees it. */
+var SuspensionSnapshot = class extends Schema.Class("@effect-agent/thread/SuspensionSnapshot")({
+	reason: SuspensionReason,
+	suspendedAt: Schema.DateTimeUtcFromString
+}) {};
+/**
+* One attached child of this parent as its recovery sees it: the reservation's recorded child
+* plus that child's current lane state. A disposable derived view — the canonical
+* `SubagentRequested`/`SubagentStarted` records and the child's own canonical Settlement remain
+* the recovery truth (DUR-015).
+*/
+var ChildAttachmentSnapshot = class extends Schema.Class("@effect-agent/thread/ChildAttachmentSnapshot")({
+	toolCallId: ToolCallId,
+	childSubmissionId: SubmissionId,
+	childState: SubmissionState,
+	childOutcome: Schema.optionalKey(SettlementOutcome)
+}) {};
+/**
+* Everything the pure recovery classifier needs about one Submission, read strongly consistently
+* (STORE-003). Canonical history still wins over every marker in this snapshot (DUR-015).
+*
+* Phase 5 fields: `joins` is the host-side view (every Submission `joining`/`joined` to this
+* one); `hostSubmissionId` is the joined-side view; `suspension` mirrors the `suspended` state;
+* `approvalDecisions` and `unknownResolutions` are the durable intents recorded against this
+* Submission (empty when none exist).
+*
+* S2 fields: `childReservations`/`childAttachments` are the parent-side subagent view (ordered
+* by parent Tool Call id) and `parentLinkage` is the child-side view. They default to
+* empty/absent at construction so pre-S2 call sites stay valid; adapters always populate them.
+*/
+var RecoverySnapshot = class extends Schema.Class("@effect-agent/thread/RecoverySnapshot")({
+	submission: SubmissionSnapshot,
+	ownership: Schema.optionalKey(OwnershipSnapshot),
+	inputApplied: Schema.optionalKey(InputAppliedMarker),
+	reservation: Schema.optionalKey(SettlementReservationSnapshot),
+	abortIntent: Schema.optionalKey(AbortIntent),
+	joins: Schema.Array(JoinSnapshot),
+	hostSubmissionId: Schema.optionalKey(SubmissionId),
+	suspension: Schema.optionalKey(SuspensionSnapshot),
+	approvalDecisions: Schema.Array(ApprovalDecisionIntent),
+	unknownResolutions: Schema.Array(UnknownResolutionIntent),
+	childReservations: Schema.Array(ChildBudgetReservationSnapshot).pipe(Schema.withConstructorDefault(Effect.succeed([]))),
+	childAttachments: Schema.Array(ChildAttachmentSnapshot).pipe(Schema.withConstructorDefault(Effect.succeed([]))),
+	parentLinkage: Schema.optionalKey(ParentLinkage)
+}) {};
+/** The same idempotency key was admitted with different canonical input content. */
+var AdmissionConflict = class extends Schema.TaggedError()("AdmissionConflict", {
+	threadId: ThreadId,
+	principal: Principal,
+	idempotencyKey: IdempotencyKey,
+	existingInputDigest: Digest,
+	attemptedInputDigest: Digest
+}) {};
+/**
+* The presented ownership token no longer owns the Submission's lane. `actualEpoch` is the
+* thread's current producer epoch so a stale Attempt can prove to itself it was superseded.
+*/
+var OwnershipLost = class extends Schema.TaggedError()("OwnershipLost", {
+	submissionId: SubmissionId,
+	actualEpoch: ProducerEpoch
+}) {};
+/** A conflicting terminal outcome was already reserved or finalized (DUR-002, DUR-012). */
+var SettlementConflict = class extends Schema.TaggedError()("SettlementConflict", {
+	submissionId: SubmissionId,
+	existingOutcome: SettlementOutcome
+}) {};
+/**
+* A divergent approval re-decision for an already-decided `(submissionId, toolCallId)` pair.
+* Repeating the SAME decision replays the recorded intent instead (idempotency).
+*/
+var ApprovalConflict = class extends Schema.TaggedError()("ApprovalConflict", {
+	submissionId: SubmissionId,
+	toolCallId: ToolCallId,
+	existingDecision: ApprovalDecision
+}) {};
+/**
+* A divergent unknown-outcome re-resolution for an already-resolved `(submissionId, toolCallId)`
+* pair (DUR-017). Repeating the SAME resolution replays the recorded intent instead.
+*/
+var UnknownResolutionConflict = class extends Schema.TaggedError()("UnknownResolutionConflict", {
+	submissionId: SubmissionId,
+	toolCallId: ToolCallId
+}) {};
+/**
+* A child budget reservation request contradicts recorded reservation state: a divergent
+* allocation for the same reservation id, a second reservation id for the same parent Tool
+* Call, a divergent child attachment, a divergent accounting freeze, or an out-of-order state
+* transition. `status` reports the existing row's status. Identical replays never conflict.
+*/
+var ChildReservationConflict = class extends Schema.TaggedError()("ChildReservationConflict", {
+	reservationId: ChildReservationId,
+	status: ChildReservationStatus,
+	message: Schema.String
+}) {};
+/** Adapter-level ledger failure (storage unavailable, unknown submission, corrupt row, ...). */
+var LedgerError = class extends Schema.TaggedError()("LedgerError", {
+	operation: Schema.String,
+	message: Schema.String,
+	cause: Schema.optionalKey(Schema.Defect())
+}) {};
+/**
+* Operational durable state for accepted work: admission, FIFO readiness, ownership, leases,
+* abort intent, and settlement obligations (STORE-001). The Thread Log remains the
+* authority for applied input and terminal outcomes; every marker in this ledger can be rebuilt
+* from canonical history (DUR-015).
+*
+* Operation contracts:
+*
+* - `admit` — atomic and idempotent by (threadId, principal, idempotencyKey). A replay
+*   with the same `inputDigest` returns the original `AdmissionResult` with `replayed` set; a
+*   replay with a different digest fails with `AdmissionConflict`. Admission allocates the
+*   Submission's `queueSequence` (FIFO position, DUR-004) and mints `submissionId`/`receiptId`.
+*   An optional `parentLinkage` is recorded immutably at first admission (SUB-016); a replay
+*   whose linkage diverges (present vs. absent, or different identities) fails with
+*   `AdmissionConflict` even when the input digest matches.
+* - `resolveAdmission` — authoritative tri-state admission lookup by scoped idempotency key
+*   (SUB-031): `NotAdmitted` proves absence, `Admitted` carries the full snapshot, and
+*   `Indeterminate` states that the adapter cannot currently prove either. Only `NotAdmitted`
+*   permits an admission attempt. Single strongly consistent stores derive the answer from a
+*   direct lookup and never answer `Indeterminate`.
+* - `markReady` — idempotent transition admitted → ready after Thread materialization.
+*   Marking an already-ready (or later-state) Submission is a no-op.
+* - `lookup` — read one Submission by identity or scoped idempotency key; strongly consistent
+*   with prior ledger writes.
+* - `claim` — FIFO-head claim rule: claims ONLY the lowest unsettled `queueSequence` of the
+*   requested Thread lane (DUR-004/DUR-005), regardless of that head's nonterminal state,
+*   and returns `Option.none` when the lane has no unsettled work or the head's lease is still
+*   live under another owner. A successful claim atomically bumps the Thread's producer
+*   epoch — fencing every stale Attempt out of canonical appends (DUR-006) — mints a fresh
+*   `attemptId` and `ownershipToken`, and starts the ownership lease (D5: adapters default to
+*   `DEFAULT_OWNERSHIP_LEASE_DURATION`, configurable). An expired lease makes the head
+*   claimable; expiry alone never revokes correctness, only permission to assume liveness.
+* - `renewOwnership` — extends the lease while the token still owns the lane; fails with
+*   `OwnershipLost` once superseded. Renewal after lease expiry succeeds if no other claim has
+*   taken the lane in between.
+* - `releaseOwnership` — graceful drain: ends the ownership period without settling, returning
+*   a nonterminal head to claimable state. Fails with `OwnershipLost` once superseded.
+* - `markInputApplied` — idempotent marker that the deterministic `UserInputRecorded` record is
+*   canonical (state → input-applied). Recovery repairs this marker from history when the append
+*   committed but the marker write was lost.
+* - `reserveSettlement` — reserves the Submission's single exact settlement record
+*   (state → terminalizing). Idempotent: an identical reservation replays with `replayed` set; a
+*   different outcome or content fails with `SettlementConflict{existingOutcome}` (DUR-011).
+*   For a `joined` Submission the reservation is authorized by its recorded host linkage — a
+*   joined lane is never worker-claimable, so no ownership token can exist for it and the
+*   presented token is not consulted (plan §2.5: joined Submissions settle with the host).
+*   Likewise, an ABORTED reservation for a `ready`/`terminalizing` Submission that carries a
+*   durable abort intent and holds no live ownership is authorized by that intent (P7 §7(c)):
+*   recovery settles aborted never-claimed queued work immediately, without waiting for it to
+*   head the lane. Both exceptions are outcome- and state-narrow; everything else stays fenced.
+* - `finalizeSettlement` — idempotent terminal transition (state → settled) after the reserved
+*   record is canonical; releases the lane so the next `queueSequence` becomes claimable. It
+*   requires no ownership token: canonical history authorizes finalization (DUR-015). A
+*   finalization that disagrees with the recorded outcome fails with `SettlementConflict`.
+* - `requestAbort` — durable, idempotent by `submissionId`: repeating returns the recorded
+*   intent unchanged (DUR-012). Fails with `SettlementConflict` once the Submission is settled;
+*   abort never rewrites a terminal outcome. Fails with `JoinedToHost` for a `joined` Submission
+*   — it settles with its host, so the abort target is the host (plan §2.5). Abort of a
+*   `joining` Submission records the intent; it is honored only if the host has not consumed the
+*   input (revert-then-abort).
+* - `claimJoining` — atomic: transitions the contiguous `ready` prefix of strictly-later
+*   `queueSequence`s (up to `maxCount`) to `joining` under the host's ownership token, recording
+*   the host linkage; no epoch bump (the host Attempt already owns the lane). An
+*   `admitted`-not-`ready` row breaks the prefix; an aborted-settled row is a closed obligation
+*   and is skipped as a non-gap (P7 §7(c)). Fails with `OwnershipLost` once superseded.
+* - `markJoined` — idempotent `joining → joined` with the canonical input record position;
+*   repairable from history when the append committed but the marker write was lost (DUR-016).
+* - `revertJoining` — recovery-only, idempotent `joining → ready`; a no-op when already joined.
+* - `suspend` — `input-applied`/`running` → `suspended`; ends the ownership period WITHOUT
+*   settling (the obligation stays owed, the lane consumes no worker permit). Returns
+*   `resume-immediately` when the reason is already fully covered: for `ApprovalPending`,
+*   recorded decisions cover every pending call; for `WaitingForChild`, every listed child is
+*   already provably settled. Adapters must guarantee that a child settlement reported before
+*   the suspend transaction commits is observed by that suspend (single-store adapters derive
+*   this from the child's own row; cross-store adapters record a durable notification marker).
+*   Fails with `SettlementConflict` once settled.
+* - `recordApprovalDecision` — durable, idempotent per `(submissionId, toolCallId)`: repeating
+*   the same decision replays the intent; a divergent re-decision fails with `ApprovalConflict`.
+*   Transitions `suspended(ApprovalPending) → input-applied` once every pending call of the
+*   suspension reason is decided, waking the lane. Fails with `SettlementConflict` once settled.
+* - `recordChildSettled` — idempotent cross-lane wake (spec §12 step 10): transitions
+*   `suspended(WaitingForChild) → input-applied` exactly when EVERY listed child is settled,
+*   answering `woken`; `still-waiting` while any listed child is unsettled; `not-waiting` when
+*   the parent is not suspended waiting on this child (including replays after the wake). The
+*   child's canonical Settlement is the authority. The runtime reports it after the exact
+*   reserved record is appended and before ledger finalization, so same-store adapters accept
+*   `terminalizing` only when its exact reservation exists; an earlier child is an
+*   adapter-checked caller error. It never settles the parent and requires no ownership token:
+*   the canonically recorded child settlement authorizes the wake.
+* - `reserveChildBudget` — idempotent get-or-create of the parent-owned child budget
+*   reservation (spec §12 step 2), fenced by the parent lane's live `OwnershipToken`. An
+*   identical replay returns the stored row with `replayed` set (unfenced, mirroring
+*   `reserveSettlement`); a divergent allocation for the same id, or a second id for the same
+*   `(parentSubmissionId, parentToolCallId)`, fails with `ChildReservationConflict`.
+* - `attachChildToReservation` — idempotent: records the admitted child on the reservation row
+*   (repairable from the canonical `SubagentStarted` record). A replay with the recorded child
+*   is a no-op; the first attach is fenced by the parent token and requires status `reserved`;
+*   a divergent child fails with `ChildReservationConflict`.
+* - `beginChildBudgetRelease` — `reserved → releasePending`: freezes the final accounting
+*   decision exactly once. Replaying the identical accounting (at `releasePending` or
+*   `released`) is a no-op; a divergent accounting fails with `ChildReservationConflict`.
+*   Requires no ownership token: the accounting is replayed from the canonical `SubagentJoined`
+*   record (or is the deterministic zero-consumed decision for an orphaned reservation), so
+*   canonical history authorizes the transition (DUR-015) and the freeze comparison — not a
+*   fence — guarantees one decision.
+* - `releaseChildBudget` — `releasePending → released`, applied exactly once; replaying returns
+*   the released row unchanged. Releasing a still-`reserved` row (no frozen accounting) fails
+*   with `ChildReservationConflict`. "A crash before release leaves budget unavailable until
+*   repair, never available twice" (spec §12).
+* - `markUnknown` — idempotent, ownership-free (canonical evidence authorizes it): state →
+*   `unknown`, the lane blocks and stops consuming worker permits while the accepted settlement
+*   obligation stays visible (DUR-009/DUR-017). Fails with `SettlementConflict` once settled.
+* - `recordUnknownResolution` — durable, idempotent per `(submissionId, toolCallId)`; a
+*   divergent re-resolution fails with `UnknownResolutionConflict`. Transitions
+*   `unknown → input-applied` once no open call remains, waking the lane. Fails with
+*   `SettlementConflict` once settled.
+* - `scanNonterminal` — streams every Submission whose state is not `settled`, ordered by
+*   (threadId, queueSequence); recovery's admission-independent worklist (DUR-014).
+* - `loadRecoverySnapshot` — strongly consistent full snapshot for the pure recovery classifier.
+*
+* No operation claims exactly-once external side effects; the ledger records decisions
+* exactly once (DUR-003).
+*/
+var SubmissionLedger = class extends Context.Service()("@effect-agent/thread/SubmissionLedger") {};
+const decodeBatchId = Schema.decodeSync(BatchId);
+const decodeRecordId = Schema.decodeSync(RecordId);
+const decodeSettlementId = Schema.decodeSync(SettlementId);
+/**
+* Deterministic identity rules shared by every adapter and the durable coordinator. The batch
+* carrying one Submission's canonical `UserInputRecorded` record is `submission-input:{sid}` and
+* the record is `input:{sid}`, so batch idempotency (DUR-007) makes the input append
+* exactly-once-canonical across Attempts.
+*/
+const submissionInputBatchId = (submissionId) => decodeBatchId(`submission-input:${submissionId}`);
+/** Deterministic canonical record identity of one Submission's `UserInputRecorded` record. */
+const submissionInputRecordId = (submissionId) => decodeRecordId(`input:${submissionId}`);
+/** Deterministic `SettlementId` for one Submission: `settlement:{sid}`. */
+const submissionSettlementId = (submissionId) => decodeSettlementId(`settlement:${submissionId}`);
+/** Deterministic batch identity of one Submission's canonical `SubmissionSettled` append. */
+const submissionSettlementBatchId = (submissionId) => decodeBatchId(`submission-settlement:${submissionId}`);
+/** Deterministic canonical record identity of one Submission's `SubmissionSettled` record. */
+const submissionSettlementRecordId = (submissionId) => decodeRecordId(`settlement:${submissionId}`);
+/** Deterministic batch identity of one Submission's canonical `AbortRequested` append. */
+const submissionAbortBatchId = (submissionId) => decodeBatchId(`submission-abort:${submissionId}`);
+/** Deterministic canonical record identity of one Submission's `AbortRequested` record. */
+const submissionAbortRecordId = (submissionId) => decodeRecordId(`abort:${submissionId}`);
+/** Destination policy, captured when the ledger is acquired. It runs inside fresh admission's
+* serialization after replay lookup. The host must keep it bounded and must not reenter admit.
+* The callback must read authoritative policy in this SAME local transaction, through the
+* acquired SqlClient. Memory evaluates the callback synchronously inside its atomic mutation;
+* an async callback fails with `unavailable/synchronous-memory-policy-required`. Remote reads do not fence remote changes.
+* All policy writers must use that transaction owner. Do not fork, reenter admission, or retain
+* transaction resources. Failure/defect/interruption commits no fresh admission.
+* Current policy never invalidates an exact retained receipt. A supplied fence fails closed
+* unless the destination installed an interpreter for it. */
+const SubmissionAdmissionFence = Context.Reference("@effect-agent/thread/SubmissionAdmissionFence", { defaultValue: () => ({ check: (request) => request.admissionFence === void 0 ? Effect.void : AdmissionPolicyError.make({
+	reason: "refused",
+	code: "unsupported-policy"
+}) }) });
+//#endregion
+export { AbortCommand, AbortIntent, AbortIntentRequest, AdmissionAdmitted, AdmissionConflict, AdmissionFence, AdmissionGroup, AdmissionIndeterminate, AdmissionNotAdmitted, AdmissionPolicyError, AdmissionRequest, AdmissionResolution, AdmissionResult, ApprovalConflict, ApprovalDecisionCommand, ApprovalDecisionIntent, ApprovalPendingSuspension, AttachChildToReservationRequest, BeginChildBudgetReleaseRequest, ChildAttachmentSnapshot, ChildBudgetReservationRequest, ChildBudgetReservationSnapshot, ChildReservationConflict, ChildReservationId, ChildReservationStatus, ChildSettledNotification, ChildSettledOutcome, Claim, ClaimJoiningRequest, ClaimRequest, DEFAULT_OWNERSHIP_LEASE_DURATION, IdempotencyKey, InputAppliedMarker, JoinSnapshot, JoinedToHost, JoiningClaim, LedgerCapabilities, LedgerError, MarkInputAppliedRequest, MarkJoinedRequest, MarkReadyRequest, MarkUnknownRequest, OwnershipLost, OwnershipRenewal, OwnershipSnapshot, OwnershipToken, ParentLinkage, Principal, QueueSequence, RecoverySnapshot, RecoverySnapshotRequest, ReleaseChildBudgetRequest, ReleaseOwnershipRequest, RenewOwnershipRequest, ReservedChildBudget, ReservedSettlement, ResolutionAbortSubmission, ResolutionCompletedWithResult, ResolutionNeverHappened, ResolutionSafeToRetry, RevertJoiningRequest, Settlement, SettlementConflict, SettlementFinalization, SettlementReservation, SettlementReservationSnapshot, SubmissionAdmissionFence, SubmissionLedger, SubmissionLookup, SubmissionLookupById, SubmissionLookupByKey, SubmissionSnapshot, SubmissionState, SuspendRequest, SuspensionOutcome, SuspensionReason, SuspensionSnapshot, UnknownResolution, UnknownResolutionCommand, UnknownResolutionConflict, UnknownResolutionIntent, WaitingChild, WaitingForChildSuspension, settlementFailureFromRecord, submissionAbortBatchId, submissionAbortRecordId, submissionInputBatchId, submissionInputRecordId, submissionSettlementBatchId, submissionSettlementId, submissionSettlementRecordId, SubmissionLedger_exports as t };
+
+//# sourceMappingURL=SubmissionLedger.mjs.map