effect-agent 0.1.0-beta.131 → 0.1.0-beta.133

package/dist/durable/SubmissionLedger.d.mts

@@ -1,3 +1,3 @@
 import { i as QueueSequence, n as JoinedToHost, r as Principal, t as IdempotencyKey } from "../Receipt-BAHyigAF.mjs";
-import { $t as RecoverySnapshot, An as UnknownResolution, At as ChildReservationConflict, Bn as submissionAbortRecordId, Bt as JoinSnapshot, Cn as SubmissionSnapshot, Ct as ApprovalDecisionIntent, Dn as SuspensionOutcome, Dt as ChildAttachmentSnapshot, En as SuspendRequest, Et as BeginChildBudgetReleaseRequest, Fn as WaitingForChildSuspension, Ft as Claim, Gn as submissionSettlementRecordId, Gt as MarkJoinedRequest, Hn as submissionInputRecordId, Ht as LedgerCapabilities, In as WorkerLedgerState, It as ClaimJoiningRequest, Jt as OwnershipLost, Kn as workerTerminalFromRecord, Kt as MarkReadyRequest, Ln as WorkerStopCommand, Lt as ClaimRequest, Mn as UnknownResolutionConflict, Mt as ChildReservationStatus, Nn as UnknownResolutionIntent, Nt as ChildSettledNotification, On as SuspensionReason, Ot as ChildBudgetReservationRequest, Pn as WaitingChild, Pt as ChildSettledOutcome, Qt as ParentLinkage, Rn as settlementFailureFromRecord, Rt as DEFAULT_OWNERSHIP_LEASE_DURATION, Sn as SubmissionLookupByKey, St as ApprovalDecisionCommand, Tn as SubmissionWorkItem, Tt as AttachChildToReservationRequest, Un as submissionSettlementBatchId, Ut as LedgerError, Vn as submissionInputBatchId, Vt as JoiningClaim, Wn as submissionSettlementId, Wt as MarkInputAppliedRequest, Xt as OwnershipSnapshot, Yt as OwnershipRenewal, Zt as OwnershipToken, _n as SubmissionLedger, _t as AdmissionPolicyError, an as ReservedSettlement, bn as SubmissionLookup, bt as AdmissionResult, cn as ResolutionNeverHappened, ct as AbortCommand, dn as Settlement, dt as AdmissionAdmitted, en as RecoverySnapshotRequest, fn as SettlementConflict, ft as AdmissionConflict, gn as SubmissionAdmissionFence, gt as AdmissionNotAdmitted, hn as SettlementReservationSnapshot, ht as AdmissionIndeterminate, in as ReservedChildBudget, jn as UnknownResolutionCommand, jt as ChildReservationId, kn as SuspensionSnapshot, kt as ChildBudgetReservationSnapshot, ln as ResolutionSafeToRetry, lt as AbortIntent, mn as SettlementReservation, mt as AdmissionGroup, nn as ReleaseOwnershipRequest, on as ResolutionAbortSubmission, pn as SettlementFinalization, pt as AdmissionFence, qt as MarkUnknownRequest, rn as RenewOwnershipRequest, sn as ResolutionCompletedWithResult, tn as ReleaseChildBudgetRequest, un as RevertJoiningRequest, ut as AbortIntentRequest, vn as SubmissionLedgerFailure, vt as AdmissionRequest, wn as SubmissionState, wt as ApprovalPendingSuspension, xn as SubmissionLookupById, xt as ApprovalConflict, yt as AdmissionResolution, zn as submissionAbortBatchId, zt as InputAppliedMarker } from "../Admin-C34cVKlT.mjs";
+import { $t as RecoverySnapshot, An as UnknownResolution, At as ChildReservationConflict, Bn as submissionAbortRecordId, Bt as JoinSnapshot, Cn as SubmissionSnapshot, Ct as ApprovalDecisionIntent, Dn as SuspensionOutcome, Dt as ChildAttachmentSnapshot, En as SuspendRequest, Et as BeginChildBudgetReleaseRequest, Fn as WaitingForChildSuspension, Ft as Claim, Gn as submissionSettlementRecordId, Gt as MarkJoinedRequest, Hn as submissionInputRecordId, Ht as LedgerCapabilities, In as WorkerLedgerState, It as ClaimJoiningRequest, Jt as OwnershipLost, Kn as workerTerminalFromRecord, Kt as MarkReadyRequest, Ln as WorkerStopCommand, Lt as ClaimRequest, Mn as UnknownResolutionConflict, Mt as ChildReservationStatus, Nn as UnknownResolutionIntent, Nt as ChildSettledNotification, On as SuspensionReason, Ot as ChildBudgetReservationRequest, Pn as WaitingChild, Pt as ChildSettledOutcome, Qt as ParentLinkage, Rn as settlementFailureFromRecord, Rt as DEFAULT_OWNERSHIP_LEASE_DURATION, Sn as SubmissionLookupByKey, St as ApprovalDecisionCommand, Tn as SubmissionWorkItem, Tt as AttachChildToReservationRequest, Un as submissionSettlementBatchId, Ut as LedgerError, Vn as submissionInputBatchId, Vt as JoiningClaim, Wn as submissionSettlementId, Wt as MarkInputAppliedRequest, Xt as OwnershipSnapshot, Yt as OwnershipRenewal, Zt as OwnershipToken, _n as SubmissionLedger, _t as AdmissionPolicyError, an as ReservedSettlement, bn as SubmissionLookup, bt as AdmissionResult, cn as ResolutionNeverHappened, ct as AbortCommand, dn as Settlement, dt as AdmissionAdmitted, en as RecoverySnapshotRequest, fn as SettlementConflict, ft as AdmissionConflict, gn as SubmissionAdmissionFence, gt as AdmissionNotAdmitted, hn as SettlementReservationSnapshot, ht as AdmissionIndeterminate, in as ReservedChildBudget, jn as UnknownResolutionCommand, jt as ChildReservationId, kn as SuspensionSnapshot, kt as ChildBudgetReservationSnapshot, ln as ResolutionSafeToRetry, lt as AbortIntent, mn as SettlementReservation, mt as AdmissionGroup, nn as ReleaseOwnershipRequest, on as ResolutionAbortSubmission, pn as SettlementFinalization, pt as AdmissionFence, qt as MarkUnknownRequest, rn as RenewOwnershipRequest, sn as ResolutionCompletedWithResult, tn as ReleaseChildBudgetRequest, un as RevertJoiningRequest, ut as AbortIntentRequest, vn as SubmissionLedgerFailure, vt as AdmissionRequest, wn as SubmissionState, wt as ApprovalPendingSuspension, xn as SubmissionLookupById, xt as ApprovalConflict, yt as AdmissionResolution, zn as submissionAbortBatchId, zt as InputAppliedMarker } from "../Admin-CUja0lmO.mjs";
 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, SubmissionLedgerFailure, SubmissionLookup, SubmissionLookupById, SubmissionLookupByKey, SubmissionSnapshot, SubmissionState, SubmissionWorkItem, SuspendRequest, SuspensionOutcome, SuspensionReason, SuspensionSnapshot, UnknownResolution, UnknownResolutionCommand, UnknownResolutionConflict, UnknownResolutionIntent, WaitingChild, WaitingForChildSuspension, WorkerLedgerState, WorkerStopCommand, settlementFailureFromRecord, submissionAbortBatchId, submissionAbortRecordId, submissionInputBatchId, submissionInputRecordId, submissionSettlementBatchId, submissionSettlementId, submissionSettlementRecordId, workerTerminalFromRecord };

package/dist/durable/SubmissionLedgerConformance.d.mts

@@ -1,5 +1,5 @@
 import { t as DigestError } from "../Digest-U69rDHuO.mjs";
-import { _n as SubmissionLedger, vn as SubmissionLedgerFailure } from "../Admin-C34cVKlT.mjs";
+import { _n as SubmissionLedger, vn as SubmissionLedgerFailure } from "../Admin-CUja0lmO.mjs";
 import { Crypto, Effect, Schema } from "effect";
 //#region src/durable/SubmissionLedgerConformance.d.ts
 declare const SubmissionLedgerConformanceViolation_base: Schema.Class<SubmissionLedgerConformanceViolation, Schema.TaggedStruct<"SubmissionLedgerConformanceViolation", {

package/dist/durable/SubmissionStatus.d.mts

@@ -1,2 +1,2 @@
-import { di as SettledSubmission, fi as SubmissionStatus, ui as PendingSubmission } from "../Admin-C34cVKlT.mjs";
+import { fi as PendingSubmission, mi as SubmissionStatus, pi as SettledSubmission } from "../Admin-CUja0lmO.mjs";
 export { PendingSubmission, SettledSubmission, SubmissionStatus };

package/dist/durable/Subscription.d.mts

@@ -1,2 +1,2 @@
-import { A as defaultSubscriptionLimits, C as SubscriptionScanCursors, D as SubscriptionStore, E as SubscriptionSourceError, M as subscriptionKeyString, O as SubscriptionStoreFailure, S as SubscriptionRetentionPolicy, T as SubscriptionSnapshot, _ as SubscriptionKey, a as PreparedInput, b as SubscriptionRecord, c as SubscriptionAuthorizer, d as SubscriptionDelivery, f as SubscriptionDeliveryKey, g as SubscriptionFailpointError, h as SubscriptionFailpoint, i as EventSourceVersion, j as subscriptionDeliveryKeyString, l as SubscriptionChange, m as SubscriptionError, n as DeliveryChange, o as SourcePartition, p as SubscriptionDeliverySnapshot, r as EventAcknowledgement, s as SourceRecovery, t as AcceptedEvent, u as SubscriptionConfiguration, v as SubscriptionLimits, w as SubscriptionScope, x as SubscriptionRefusal, y as SubscriptionName } from "../Subscription-Bk2Smmqc.mjs";
+import { A as defaultSubscriptionLimits, C as SubscriptionScanCursors, D as SubscriptionStore, E as SubscriptionSourceError, M as subscriptionKeyString, O as SubscriptionStoreFailure, S as SubscriptionRetentionPolicy, T as SubscriptionSnapshot, _ as SubscriptionKey, a as PreparedInput, b as SubscriptionRecord, c as SubscriptionAuthorizer, d as SubscriptionDelivery, f as SubscriptionDeliveryKey, g as SubscriptionFailpointError, h as SubscriptionFailpoint, i as EventSourceVersion, j as subscriptionDeliveryKeyString, l as SubscriptionChange, m as SubscriptionError, n as DeliveryChange, o as SourcePartition, p as SubscriptionDeliverySnapshot, r as EventAcknowledgement, s as SourceRecovery, t as AcceptedEvent, u as SubscriptionConfiguration, v as SubscriptionLimits, w as SubscriptionScope, x as SubscriptionRefusal, y as SubscriptionName } from "../Subscription-m_yNfNeN.mjs";
 export { AcceptedEvent, DeliveryChange, EventAcknowledgement, EventSourceVersion, PreparedInput, SourcePartition, SourceRecovery, SubscriptionAuthorizer, SubscriptionChange, SubscriptionConfiguration, SubscriptionDelivery, SubscriptionDeliveryKey, SubscriptionDeliverySnapshot, SubscriptionError, SubscriptionFailpoint, SubscriptionFailpointError, SubscriptionKey, SubscriptionLimits, SubscriptionName, SubscriptionRecord, SubscriptionRefusal, SubscriptionRetentionPolicy, SubscriptionScanCursors, SubscriptionScope, SubscriptionSnapshot, SubscriptionSourceError, SubscriptionStore, SubscriptionStoreFailure, defaultSubscriptionLimits, subscriptionDeliveryKeyString, subscriptionKeyString };

package/dist/durable/SubscriptionInput.d.mts

@@ -1,2 +1,2 @@
-import { a as resolveSubscriptionInput, i as makeSubscriptionInputBinding, n as SubscriptionInputBindings, t as SubscriptionInputBinding } from "../SubscriptionInput-ekbJz3pF.mjs";
+import { a as resolveSubscriptionInput, i as makeSubscriptionInputBinding, n as SubscriptionInputBindings, t as SubscriptionInputBinding } from "../SubscriptionInput-ON3-b8Sl.mjs";
 export { SubscriptionInputBinding, SubscriptionInputBindings, makeSubscriptionInputBinding, resolveSubscriptionInput };

package/dist/durable/SubscriptionStoreConformance.d.mts

@@ -1,4 +1,4 @@
-import { D as SubscriptionStore, O as SubscriptionStoreFailure, o as SourcePartition } from "../Subscription-Bk2Smmqc.mjs";
+import { D as SubscriptionStore, O as SubscriptionStoreFailure, o as SourcePartition } from "../Subscription-m_yNfNeN.mjs";
 import { Effect, Schema } from "effect";
 //#region src/durable/SubscriptionStoreConformance.d.ts
 declare const SubscriptionStoreConformanceViolation_base: Schema.Class<SubscriptionStoreConformanceViolation, Schema.TaggedStruct<"SubscriptionStoreConformanceViolation", {

package/dist/durable/SubscriptionTools.d.mts

@@ -2,9 +2,9 @@ import { t as AgentId, u as ThreadId } from "../Identifiers-CN2s30fF.mjs";
 import { r as Principal } from "../Receipt-BAHyigAF.mjs";
 import { t as DurableStep } from "../DurableStep-Cry_iol4.mjs";
 import { h as DefinitionDigests } from "../Records-B5GFWCpn.mjs";
-import "../Admin-C34cVKlT.mjs";
+import "../Admin-CUja0lmO.mjs";
 import { c as ScheduleDestination } from "../Schedule-CtYREFnz.mjs";
-import { E as SubscriptionSourceError, g as SubscriptionFailpointError, i as EventSourceVersion, m as SubscriptionError, w as SubscriptionScope } from "../Subscription-Bk2Smmqc.mjs";
+import { E as SubscriptionSourceError, g as SubscriptionFailpointError, i as EventSourceVersion, m as SubscriptionError, w as SubscriptionScope } from "../Subscription-m_yNfNeN.mjs";
 import { Subscriptions } from "./Subscriptions.mjs";
 import { Tool, Toolkit } from "effect/unstable/ai";
 import { Crypto, Layer, Schema } from "effect";

package/dist/durable/SubscriptionTransition.d.mts

@@ -1,4 +1,4 @@
-import { b as SubscriptionRecord, d as SubscriptionDelivery, l as SubscriptionChange, m as SubscriptionError, n as DeliveryChange, o as SourcePartition, t as AcceptedEvent, v as SubscriptionLimits } from "../Subscription-Bk2Smmqc.mjs";
+import { b as SubscriptionRecord, d as SubscriptionDelivery, l as SubscriptionChange, m as SubscriptionError, n as DeliveryChange, o as SourcePartition, t as AcceptedEvent, v as SubscriptionLimits } from "../Subscription-m_yNfNeN.mjs";
 import { Result } from "effect";
 declare namespace SubscriptionTransition_d_exports {
   export { applySubscriptionChange, applySubscriptionDeliveryChange, sameAcceptedEventIdentity, sameSourcePartition, sameSubscriptionDelivery, subscriptionCanSelect, subscriptionDeliveryCanSelect, subscriptionMatchesEvent, validateEventRetention };

package/dist/durable/Subscriptions.d.mts

@@ -1,10 +1,10 @@
 import { r as Principal } from "../Receipt-BAHyigAF.mjs";
 import { O as PersistedJson } from "../Records-B5GFWCpn.mjs";
-import { pt as AdmissionFence } from "../Admin-C34cVKlT.mjs";
-import { D as SubscriptionStore, E as SubscriptionSourceError, O as SubscriptionStoreFailure, T as SubscriptionSnapshot, _ as SubscriptionKey, c as SubscriptionAuthorizer, f as SubscriptionDeliveryKey, i as EventSourceVersion, m as SubscriptionError, p as SubscriptionDeliverySnapshot, r as EventAcknowledgement, u as SubscriptionConfiguration, v as SubscriptionLimits, w as SubscriptionScope } from "../Subscription-Bk2Smmqc.mjs";
-import { r as EventSources } from "../EventSource-Bac0SxKL.mjs";
-import { t as PreparedInputAdmission } from "../PreparedInputAdmission-DcQGQ0Yp.mjs";
-import { n as SubscriptionInputBindings } from "../SubscriptionInput-ekbJz3pF.mjs";
+import { pt as AdmissionFence } from "../Admin-CUja0lmO.mjs";
+import { D as SubscriptionStore, E as SubscriptionSourceError, O as SubscriptionStoreFailure, T as SubscriptionSnapshot, _ as SubscriptionKey, c as SubscriptionAuthorizer, f as SubscriptionDeliveryKey, i as EventSourceVersion, m as SubscriptionError, p as SubscriptionDeliverySnapshot, r as EventAcknowledgement, u as SubscriptionConfiguration, v as SubscriptionLimits, w as SubscriptionScope } from "../Subscription-m_yNfNeN.mjs";
+import { r as EventSources } from "../EventSource-DoiZF3xv.mjs";
+import { t as PreparedInputAdmission } from "../PreparedInputAdmission-B1bzyIuV.mjs";
+import { n as SubscriptionInputBindings } from "../SubscriptionInput-ON3-b8Sl.mjs";
 import { Context, Crypto, Effect, Layer } from "effect";
 declare namespace Subscriptions_d_exports {
   export { SubscribeOptions, SubscriptionDriver, SubscriptionFailure, SubscriptionIntake, Subscriptions };

package/dist/durable/ThreadContextHistory.d.mts

@@ -1,5 +1,5 @@
 import { ContextHistory, ContextHistoryError } from "../engine/ContextHistory.mjs";
-import { Qr as ThreadStore } from "../Admin-C34cVKlT.mjs";
+import { ei as ThreadStore } from "../Admin-CUja0lmO.mjs";
 import { Layer, Schema } from "effect";
 declare namespace ThreadContextHistory_d_exports {
   export { ThreadContextHistoryOptions, layer };

package/dist/durable/ThreadInvariants.d.mts

@@ -1,5 +1,5 @@
 import { A as ProducerId, a as BatchId } from "../Records-B5GFWCpn.mjs";
-import { Cn as SubmissionSnapshot, Ir as ThreadCheckpoint, Rr as ThreadExport, c as IntegrityReport } from "../Admin-C34cVKlT.mjs";
+import { Cn as SubmissionSnapshot, Ir as ThreadCheckpoint, Rr as ThreadExport, c as IntegrityReport } from "../Admin-CUja0lmO.mjs";
 import { Crypto, Effect } from "effect";
 declare namespace ThreadInvariants_d_exports {
   export { ThreadInvariantInput, verifyThreadInvariants };

package/dist/durable/ThreadProjectionMaintenance.d.mts

@@ -1,4 +1,4 @@
-import { Ar as FencedAppendRequest, Dr as AppendResult } from "../Admin-C34cVKlT.mjs";
+import { Ar as FencedAppendRequest, Dr as AppendResult } from "../Admin-CUja0lmO.mjs";
 import { Context, Effect, Layer, Option, Schema } from "effect";
 declare namespace ThreadProjectionMaintenance_d_exports {
   export { ThreadProjectionError, ThreadProjectionMaintenance, ThreadProjectionMaintenanceService, drainDue };

package/dist/durable/ThreadStore.d.mts

@@ -1,2 +1,2 @@
-import { $r as ThreadStoreDiagnostic, Ar as FencedAppendRequest, Br as ThreadMaterialization, Dr as AppendResult, Er as AppendConflict, Fr as SelectedThreadRead, Gr as ThreadPeerCountRequest, Hr as ThreadObservation, Ir as ThreadCheckpoint, Jr as ThreadRecordRequest, Kr as ThreadRead, Lr as ThreadCheckpoints, Mr as MAX_THREAD_EXPORT_RECORDS, Nr as SaveCheckpointRequest, Or as CheckpointRejected, Pr as SaveRecoveryCheckpointRequest, Qr as ThreadStore, Rr as ThreadExport, Ur as ThreadOutstanding, Vr as ThreadNotMaterialized, Wr as ThreadOutstandingRequest, Xr as ThreadRunInputRequest, Yr as ThreadRecoveryCheckpoints, Zr as ThreadSelection, ai as ThreadWorkerStateRequest, ci as readOutstanding, ei as ThreadStoreError, ii as ThreadTailRequest, jr as LoadCheckpointRequest, kr as FenceRejected, li as readWorkerState, oi as getRecord, qr as ThreadReadRequest, ri as ThreadTail, si as getRunInput, ti as ThreadStoreFailure, zr as ThreadExportRequest } from "../Admin-C34cVKlT.mjs";
-export { AppendConflict, AppendResult, CheckpointRejected, FenceRejected, FencedAppendRequest, LoadCheckpointRequest, MAX_THREAD_EXPORT_RECORDS, SaveCheckpointRequest, SaveRecoveryCheckpointRequest, SelectedThreadRead, ThreadCheckpoint, ThreadCheckpoints, ThreadExport, ThreadExportRequest, ThreadMaterialization, ThreadNotMaterialized, ThreadObservation, ThreadOutstanding, ThreadOutstandingRequest, ThreadPeerCountRequest, ThreadRead, ThreadReadRequest, ThreadRecordRequest, ThreadRecoveryCheckpoints, ThreadRunInputRequest, ThreadSelection, ThreadStore, ThreadStoreDiagnostic, ThreadStoreError, ThreadStoreFailure, ThreadTail, ThreadTailRequest, ThreadWorkerStateRequest, getRecord, getRunInput, readOutstanding, readWorkerState };
+import { $r as ThreadSelection, Ar as FencedAppendRequest, Br as ThreadIdentity, Dr as AppendResult, Er as AppendConflict, Fr as SelectedThreadRead, Gr as ThreadOutstanding, Hr as ThreadMaterialization, Ir as ThreadCheckpoint, Jr as ThreadRead, Kr as ThreadOutstandingRequest, Lr as ThreadCheckpoints, Mr as MAX_THREAD_EXPORT_RECORDS, Nr as SaveCheckpointRequest, Or as CheckpointRejected, Pr as SaveRecoveryCheckpointRequest, Qr as ThreadRunInputRequest, Rr as ThreadExport, Ur as ThreadNotMaterialized, Vr as ThreadIdentityRequest, Wr as ThreadObservation, Xr as ThreadRecordRequest, Yr as ThreadReadRequest, Zr as ThreadRecoveryCheckpoints, ai as ThreadTail, ci as getRecord, di as readWorkerState, ei as ThreadStore, jr as LoadCheckpointRequest, kr as FenceRejected, li as getRunInput, ni as ThreadStoreError, oi as ThreadTailRequest, qr as ThreadPeerCountRequest, ri as ThreadStoreFailure, si as ThreadWorkerStateRequest, ti as ThreadStoreDiagnostic, ui as readOutstanding, zr as ThreadExportRequest } from "../Admin-CUja0lmO.mjs";
+export { AppendConflict, AppendResult, CheckpointRejected, FenceRejected, FencedAppendRequest, LoadCheckpointRequest, MAX_THREAD_EXPORT_RECORDS, SaveCheckpointRequest, SaveRecoveryCheckpointRequest, SelectedThreadRead, ThreadCheckpoint, ThreadCheckpoints, ThreadExport, ThreadExportRequest, ThreadIdentity, ThreadIdentityRequest, ThreadMaterialization, ThreadNotMaterialized, ThreadObservation, ThreadOutstanding, ThreadOutstandingRequest, ThreadPeerCountRequest, ThreadRead, ThreadReadRequest, ThreadRecordRequest, ThreadRecoveryCheckpoints, ThreadRunInputRequest, ThreadSelection, ThreadStore, ThreadStoreDiagnostic, ThreadStoreError, ThreadStoreFailure, ThreadTail, ThreadTailRequest, ThreadWorkerStateRequest, getRecord, getRunInput, readOutstanding, readWorkerState };

package/dist/durable/ThreadStore.mjs

@@ -2,7 +2,7 @@ import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
 import { RunId, SubmissionId, ThreadId } from "../core/Identifiers.mjs";
 import { BatchId, CanonicalBatch, CanonicalRecordEnvelope, CanonicalSequence, Digest, ObservationOffset, PersistedJson, ProducerEpoch, RecordId } from "./Records.mjs";
 import { SubmissionLedger, SubmissionLookupById } from "./SubmissionLedger.mjs";
-import { F as toolCallPreparedRecordId, S as runIdForSubmission } from "../RunJournal-BXrq0VIK.mjs";
+import { $ as workerOriginRecordId, F as toolCallPreparedRecordId, O as subagentLineageRecordId, S as runIdForSubmission } from "../RunJournal-BXrq0VIK.mjs";
 import { Context, Effect, Option, Schema, Stream } from "effect";
 //#region src/durable/ThreadStore.ts
 var ThreadStore_exports = /* @__PURE__ */ __exportAll({
@@ -19,6 +19,8 @@ var ThreadStore_exports = /* @__PURE__ */ __exportAll({
 	ThreadCheckpoint: () => ThreadCheckpoint,
 	ThreadExport: () => ThreadExport,
 	ThreadExportRequest: () => ThreadExportRequest,
+	ThreadIdentity: () => ThreadIdentity,
+	ThreadIdentityRequest: () => ThreadIdentityRequest,
 	ThreadMaterialization: () => ThreadMaterialization,
 	ThreadNotMaterialized: () => ThreadNotMaterialized,
 	ThreadObservation: () => ThreadObservation,
@@ -259,6 +261,32 @@ var ThreadTail = class extends Schema.Class("@effect-agent/thread/ThreadTail")({
 	tailDigest: Digest,
 	producerEpoch: ProducerEpoch
 }) {};
+var ThreadIdentityRequest = class extends Schema.Class("@effect-agent/thread/ThreadIdentityRequest")({ threadId: ThreadId }) {};
+/**
+* One consistent canonical snapshot: tail/epoch, first record, exact worker origin,
+* then exact subagent lineage. A row selected twice appears only once. Missing
+* identity records remain absent; the snapshot itself grants no execution authority.
+*/
+var ThreadIdentity = class extends Schema.Class("@effect-agent/thread/ThreadIdentity")(Schema.Struct({
+	...ThreadTail.fields,
+	records: Schema.Array(CanonicalRecordEnvelope).check(Schema.isMaxLength(3))
+}).check(Schema.makeFilter((snapshot) => {
+	if (snapshot.tailSequence === 0) return snapshot.records.length === 0;
+	if (snapshot.records[0]?.sequence !== 1) return false;
+	const origin = workerOriginRecordId(snapshot.threadId);
+	const lineage = subagentLineageRecordId(snapshot.threadId);
+	const ids = /* @__PURE__ */ new Set();
+	const sequences = /* @__PURE__ */ new Set();
+	let previous = -1;
+	for (const entry of snapshot.records) {
+		const rank = entry.sequence === 1 ? 0 : entry.record.recordId === origin ? 1 : entry.record.recordId === lineage ? 2 : -1;
+		if (entry.threadId !== snapshot.threadId || entry.sequence < 1 || entry.sequence > snapshot.tailSequence || rank <= previous || ids.has(entry.record.recordId) || sequences.has(entry.sequence)) return false;
+		ids.add(entry.record.recordId);
+		sequences.add(entry.sequence);
+		previous = rank;
+	}
+	return true;
+}))) {};
 /** Maximum canonical records represented by one Thread export. */
 var ThreadExport = class extends Schema.Class("@effect-agent/thread/ThreadExport")({
 	format: Schema.Literal("effect-agent/thread@1"),
@@ -350,6 +378,6 @@ var CheckpointRejected = class extends Schema.TaggedError()("CheckpointRejected"
 }) {};
 var ThreadStore = class extends Context.Service()("@effect-agent/thread/ThreadStore") {};
 //#endregion
-export { AppendConflict, AppendResult, CheckpointRejected, FenceRejected, FencedAppendRequest, LoadCheckpointRequest, MAX_THREAD_EXPORT_RECORDS, SaveCheckpointRequest, SaveRecoveryCheckpointRequest, SelectedThreadRead, ThreadCheckpoint, ThreadExport, ThreadExportRequest, ThreadMaterialization, ThreadNotMaterialized, ThreadObservation, ThreadOutstandingRequest, ThreadPeerCountRequest, ThreadRead, ThreadReadRequest, ThreadRecordRequest, ThreadRunInputRequest, ThreadSelection, ThreadStore, ThreadStoreDiagnostic, ThreadStoreError, ThreadTail, ThreadTailRequest, ThreadWorkerStateRequest, getRecord, getRunInput, readOutstanding, readWorkerState, ThreadStore_exports as t };
+export { AppendConflict, AppendResult, CheckpointRejected, FenceRejected, FencedAppendRequest, LoadCheckpointRequest, MAX_THREAD_EXPORT_RECORDS, SaveCheckpointRequest, SaveRecoveryCheckpointRequest, SelectedThreadRead, ThreadCheckpoint, ThreadExport, ThreadExportRequest, ThreadIdentity, ThreadIdentityRequest, ThreadMaterialization, ThreadNotMaterialized, ThreadObservation, ThreadOutstandingRequest, ThreadPeerCountRequest, ThreadRead, ThreadReadRequest, ThreadRecordRequest, ThreadRunInputRequest, ThreadSelection, ThreadStore, ThreadStoreDiagnostic, ThreadStoreError, ThreadTail, ThreadTailRequest, ThreadWorkerStateRequest, getRecord, getRunInput, readOutstanding, readWorkerState, ThreadStore_exports as t };
 
 //# sourceMappingURL=ThreadStore.mjs.map

package/dist/durable/ThreadStore.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"ThreadStore.mjs","names":[],"sources":["../../src/durable/ThreadStore.ts"],"sourcesContent":["import { Context, Effect, Option, Schema, Stream } from \"effect\";\n\nimport { RunId, SubmissionId, ThreadId } from \"../core/Identifiers.ts\";\nimport type { ToolCallPrepared, WorkerInputRequested } from \"./Records.ts\";\nimport {\n  BatchId,\n  CanonicalBatch,\n  CanonicalRecordEnvelope,\n  CanonicalSequence,\n  Digest,\n  ObservationOffset,\n  PersistedJson,\n  ProducerEpoch,\n  RecordId,\n} from \"./Records.ts\";\nimport { runIdForSubmission, toolCallPreparedRecordId } from \"./RunJournal.ts\";\nimport { SubmissionLedger, SubmissionLookupById } from \"./SubmissionLedger.ts\";\n\nexport const MAX_THREAD_EXPORT_RECORDS = 131_072;\n\n/** Exact canonical identity; absence is not proof that an admission was never accepted. */\nexport const ThreadRecordRequest = Schema.Struct({ threadId: ThreadId, recordId: RecordId });\nexport type ThreadRecordRequest = typeof ThreadRecordRequest.Type;\n\n/** The original user input for a Run, excluding later joined inputs. */\nexport const ThreadRunInputRequest = Schema.Struct({ threadId: ThreadId, runId: RunId });\nexport type ThreadRunInputRequest = typeof ThreadRunInputRequest.Type;\n\nexport const ThreadOutstandingRequest = Schema.Struct({\n  threadId: ThreadId,\n  /** Exceeding this bound fails; a truncated inventory never grants authority. */\n  limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(4_096)),\n});\n\nexport type ThreadOutstandingRequest = typeof ThreadOutstandingRequest.Type;\n\nexport interface ThreadOutstanding {\n  readonly threadId: ThreadId;\n  readonly throughSequence: CanonicalSequence;\n  readonly complete: true;\n  readonly operations: ReadonlyArray<{\n    readonly submissionId: SubmissionId;\n    readonly prepared: ToolCallPrepared;\n    /** Prepared is not an unknown outcome or a grant to execute. */\n    readonly state: \"prepared\" | \"unknown\";\n  }>;\n  /** Source reservations without proof that external effects are resolved. */\n  readonly workerInputs: ReadonlyArray<WorkerInputRequested>;\n}\n\n/** Native worker reservation/accounting snapshot at a captured canonical tail. */\nexport const ThreadWorkerStateRequest = Schema.Struct({\n  threadId: ThreadId,\n  sourceSubmissionId: Schema.optionalKey(SubmissionId),\n  limit: Schema.Int.check(\n    Schema.isGreaterThan(0),\n    Schema.isLessThanOrEqualTo(MAX_THREAD_EXPORT_RECORDS),\n  ),\n});\n\nexport type ThreadWorkerStateRequest = typeof ThreadWorkerStateRequest.Type;\n\n/** Saturating lifetime peer-message count: the result is at most the requested cap. */\nexport const ThreadPeerCountRequest = Schema.Struct({\n  threadId: ThreadId,\n  limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1000)),\n});\n\nexport type ThreadPeerCountRequest = typeof ThreadPeerCountRequest.Type;\n\nconst incomplete = (operation: string) =>\n  ThreadStoreError.make({\n    operation,\n    message: \"Native canonical read is incomplete or corrupt\",\n  });\n\n/** Collect a complete bounded selection, using canonical sequence as a sparse cursor. */\nconst selectedRecords = Effect.fnUntraced(function* (\n  threadId: ThreadId,\n  selection: ThreadSelection,\n  limit: number,\n) {\n  const store = yield* ThreadStore;\n  const records: Array<CanonicalRecordEnvelope> = [];\n  let afterSequence: CanonicalSequence | undefined;\n\n  while (true) {\n    const pageLimit = Math.min(1024, limit + 1 - records.length);\n\n    const page = yield* Stream.runCollect(\n      store.read({\n        threadId,\n        selection,\n        page: { limit: pageLimit, ...(afterSequence === undefined ? {} : { afterSequence }) },\n      }),\n    );\n\n    for (const entry of page) {\n      if (\n        entry.threadId !== threadId ||\n        entry.sequence <= (afterSequence ?? 0) ||\n        (\"expectedTailSequence\" in selection && entry.sequence > selection.expectedTailSequence)\n      )\n        return yield* incomplete(\"read selection identity\");\n      afterSequence = entry.sequence;\n      records.push(entry);\n    }\n    if (page.length > pageLimit || records.length > limit)\n      return yield* incomplete(\"read selection limit\");\n    if (page.length < pageLimit) return records;\n  }\n});\n\n/** Host-owned read: authenticate the Thread and exact locator before calling. */\nexport const getRecord = Effect.fn(\"ThreadStore.getRecord\")(function* (\n  request: ThreadRecordRequest,\n) {\n  yield* Schema.decodeEffect(ThreadRecordRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"getRecord request\")),\n  );\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    { _tag: \"RecordId\", recordId: request.recordId },\n    1,\n  );\n\n  if (records.some((entry) => entry.record.recordId !== request.recordId))\n    return yield* incomplete(\"getRecord identity\");\n\n  return Option.fromUndefinedOr(records[0]);\n});\n\nexport const getRunInput = Effect.fn(\"ThreadStore.getRunInput\")(function* (\n  request: ThreadRunInputRequest,\n) {\n  yield* Schema.decodeEffect(ThreadRunInputRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"getRunInput request\")),\n  );\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    { _tag: \"RunInput\", runId: request.runId },\n    1,\n  );\n\n  if (\n    records.some(\n      ({ record: { payload } }) =>\n        payload._tag !== \"UserInputRecorded\" ||\n        payload.kind !== \"user\" ||\n        payload.runId !== request.runId,\n    )\n  )\n    return yield* incomplete(\"getRunInput identity\");\n\n  return Option.fromUndefinedOr(records[0]);\n});\n\n/** A bounded snapshot of native lifetime and source-submission worker accounting. */\nexport const readWorkerState = Effect.fn(\"ThreadStore.readWorkerState\")(function* (\n  request: ThreadWorkerStateRequest,\n) {\n  yield* Schema.decodeEffect(ThreadWorkerStateRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"readWorkerState request\")),\n  );\n  const store = yield* ThreadStore;\n  const tail = yield* store.inspectTail(ThreadTailRequest.make({ threadId: request.threadId }));\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    {\n      _tag: \"WorkerState\",\n      expectedTailSequence: tail.tailSequence,\n      expectedTailDigest: tail.tailDigest,\n      ...(request.sourceSubmissionId === undefined\n        ? {}\n        : { sourceSubmissionId: request.sourceSubmissionId }),\n    },\n    request.limit,\n  );\n\n  return {\n    threadId: request.threadId,\n    tailSequence: tail.tailSequence,\n    tailDigest: tail.tailDigest,\n    records,\n  };\n});\n\n/**\n * Work is proportional to outstanding records, independent of completed history. Unknown\n * effects survive abort and resolution intent; only canonical closure removes them. A\n * preparation from another Run still requires native recovery before it can be treated as\n * safe. This snapshot grants no execution authority and does not freeze other owners.\n */\nexport const readOutstanding = Effect.fn(\"ThreadStore.readOutstanding\")(function* (\n  request: ThreadOutstandingRequest,\n) {\n  yield* Schema.decodeEffect(ThreadOutstandingRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"readOutstanding request\")),\n  );\n  const store = yield* ThreadStore;\n  const ledger = yield* SubmissionLedger;\n  const tail = yield* store.inspectTail(ThreadTailRequest.make({ threadId: request.threadId }));\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    {\n      _tag: \"Outstanding\",\n      expectedTailSequence: tail.tailSequence,\n      expectedTailDigest: tail.tailDigest,\n    },\n    request.limit,\n  );\n\n  const operations: Array<ThreadOutstanding[\"operations\"][number]> = [];\n  const workerInputs: Array<WorkerInputRequested> = [];\n\n  for (const entry of records) {\n    const payload = entry.record.payload;\n\n    if (payload._tag === \"WorkerInputRequested\") {\n      workerInputs.push(payload);\n      continue;\n    }\n    if (payload._tag !== \"ToolCallPrepared\" && payload._tag !== \"ToolCallUnknown\")\n      return yield* incomplete(\"readOutstanding record\");\n\n    const preparedEntry =\n      payload._tag === \"ToolCallPrepared\"\n        ? entry\n        : Option.getOrUndefined(\n            yield* getRecord({\n              threadId: request.threadId,\n              recordId: toolCallPreparedRecordId(payload.runId, payload.turn, payload.toolCallId),\n            }),\n          );\n\n    const inputEntry = Option.getOrUndefined(\n      yield* getRunInput({ threadId: request.threadId, runId: payload.runId }),\n    );\n\n    if (\n      preparedEntry === undefined ||\n      inputEntry === undefined ||\n      preparedEntry.sequence > tail.tailSequence ||\n      inputEntry.sequence > tail.tailSequence\n    )\n      return yield* incomplete(\"readOutstanding proof beyond snapshot\");\n    const prepared = preparedEntry.record.payload;\n    const input = inputEntry.record.payload;\n\n    if (\n      prepared?._tag !== \"ToolCallPrepared\" ||\n      prepared.runId !== payload.runId ||\n      prepared.turn !== payload.turn ||\n      prepared.toolCallId !== payload.toolCallId ||\n      prepared.toolName !== payload.toolName ||\n      input?._tag !== \"UserInputRecorded\" ||\n      input.submissionId === undefined ||\n      runIdForSubmission(input.submissionId) !== prepared.runId\n    )\n      return yield* incomplete(\"readOutstanding canonical ownership\");\n\n    const submission = yield* ledger.lookup(\n      SubmissionLookupById.make({ submissionId: input.submissionId }),\n    );\n\n    if (Option.isNone(submission) || submission.value.threadId !== request.threadId)\n      return yield* incomplete(\"readOutstanding native admission\");\n    operations.push({\n      submissionId: input.submissionId,\n      prepared,\n      state: payload._tag === \"ToolCallUnknown\" ? \"unknown\" : \"prepared\",\n    });\n  }\n\n  return {\n    threadId: request.threadId,\n    throughSequence: tail.tailSequence,\n    complete: true as const,\n    operations,\n    workerInputs,\n  };\n});\n\nexport class ThreadMaterialization extends Schema.Class<ThreadMaterialization>(\n  \"@effect-agent/thread/ThreadMaterialization\",\n)({\n  threadId: ThreadId,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class FencedAppendRequest extends Schema.Class<FencedAppendRequest>(\n  \"@effect-agent/thread/FencedAppendRequest\",\n)({\n  threadId: ThreadId,\n  batch: CanonicalBatch,\n  expectedTailSequence: CanonicalSequence,\n  expectedTailDigest: Digest,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class AppendResult extends Schema.Class<AppendResult>(\"@effect-agent/thread/AppendResult\")({\n  firstSequence: CanonicalSequence,\n  lastSequence: CanonicalSequence,\n  tailDigest: Digest,\n  replayed: Schema.Boolean,\n}) {}\n\nexport class ThreadRead extends Schema.Class<ThreadRead>(\"@effect-agent/thread/ThreadRead\")({\n  threadId: ThreadId,\n  afterSequence: Schema.optionalKey(CanonicalSequence),\n  limit: Schema.Natural.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1_024)),\n}) {}\n\n/** Closed native selections; mutable metadata is read at this exact canonical tail. */\nexport const ThreadSelection = Schema.Union([\n  Schema.Struct({ _tag: Schema.Literal(\"RecordId\"), recordId: RecordId }),\n  Schema.Struct({ _tag: Schema.Literal(\"RunInput\"), runId: RunId }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"Outstanding\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"WorkerExecution\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"WorkerState\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n    sourceSubmissionId: Schema.optionalKey(SubmissionId),\n  }),\n]);\n\nexport type ThreadSelection = typeof ThreadSelection.Type;\n\n/** Nested page makes an old ThreadRead decoder reject, never strip a selection into history. */\nexport const SelectedThreadRead = Schema.Struct({\n  threadId: ThreadId,\n  selection: ThreadSelection,\n  page: Schema.Struct({\n    afterSequence: Schema.optionalKey(CanonicalSequence),\n    limit: ThreadRead.fields.limit,\n  }),\n});\n\nexport type SelectedThreadRead = typeof SelectedThreadRead.Type;\nexport const ThreadReadRequest = Schema.Union([SelectedThreadRead, ThreadRead]);\nexport type ThreadReadRequest = typeof ThreadReadRequest.Type;\n\nexport class ThreadObservation extends Schema.Class<ThreadObservation>(\n  \"@effect-agent/thread/ThreadObservation\",\n)({\n  threadId: ThreadId,\n  afterOffset: Schema.optionalKey(ObservationOffset),\n}) {}\n\nexport class ThreadExportRequest extends Schema.Class<ThreadExportRequest>(\n  \"@effect-agent/thread/ThreadExportRequest\",\n)({\n  threadId: ThreadId,\n}) {}\n\nexport class ThreadTailRequest extends Schema.Class<ThreadTailRequest>(\n  \"@effect-agent/thread/ThreadTailRequest\",\n)({\n  threadId: ThreadId,\n}) {}\n\n/**\n * The committed tail of one Thread Log. A resuming producer composes its next\n * FencedAppendRequest from this value instead of exporting the whole log.\n */\nexport class ThreadTail extends Schema.Class<ThreadTail>(\"@effect-agent/thread/ThreadTail\")({\n  threadId: ThreadId,\n  tailSequence: CanonicalSequence,\n  tailDigest: Digest,\n  producerEpoch: ProducerEpoch,\n}) {}\n\n/** Maximum canonical records represented by one Thread export. */\n\nexport class ThreadExport extends Schema.Class<ThreadExport>(\"@effect-agent/thread/ThreadExport\")({\n  format: Schema.Literal(\"effect-agent/thread@1\"),\n  threadId: ThreadId,\n  tailSequence: CanonicalSequence,\n  tailDigest: Digest,\n  records: Schema.Array(CanonicalRecordEnvelope).check(\n    Schema.isMaxLength(MAX_THREAD_EXPORT_RECORDS),\n  ),\n}) {}\n\n/**\n * A disposable projection snapshot. Adapters bind its sequence and digest to the canonical\n * log; consumers decode `state` and decide projection compatibility before suffix replay.\n * Legacy metadata is optional for application projections and preserved when supplied.\n * Runtime-owned recovery checkpoints populate and compare it before using cached state.\n */\nexport class ThreadCheckpoint extends Schema.Class<ThreadCheckpoint>(\n  \"@effect-agent/thread/ThreadCheckpoint\",\n)({\n  schemaVersion: Schema.Literal(1),\n  threadId: ThreadId,\n  throughSequence: CanonicalSequence,\n  tailDigest: Digest,\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  engineVersion: Schema.optionalKey(Schema.NonEmptyString),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  agentDefinitionDigest: Schema.optionalKey(Digest),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  modelDigest: Schema.optionalKey(Digest),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  toolDigest: Schema.optionalKey(Digest),\n  state: PersistedJson,\n  createdAt: Schema.DateTimeUtcFromString,\n}) {}\n\nexport class SaveCheckpointRequest extends Schema.Class<SaveCheckpointRequest>(\n  \"@effect-agent/thread/SaveCheckpointRequest\",\n)({\n  checkpoint: ThreadCheckpoint,\n}) {}\n\n/** Replace the disposable recovery view only under the current canonical producer fence. */\nexport class SaveRecoveryCheckpointRequest extends Schema.Class<SaveRecoveryCheckpointRequest>(\n  \"@effect-agent/thread/SaveRecoveryCheckpointRequest\",\n)({\n  checkpoint: ThreadCheckpoint,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class LoadCheckpointRequest extends Schema.Class<LoadCheckpointRequest>(\n  \"@effect-agent/thread/LoadCheckpointRequest\",\n)({\n  threadId: ThreadId,\n  atOrBeforeSequence: Schema.optionalKey(CanonicalSequence),\n}) {}\n\n/**\n * Content-free storage provenance constructed by adapters from source-authored labels.\n * Raw foreign lookalikes are not trusted diagnostics. Never include rejected values, SQL,\n * or schema messages.\n */\nexport class ThreadStoreDiagnostic extends Schema.Class<ThreadStoreDiagnostic>(\n  \"@effect-agent/thread/ThreadStoreDiagnostic\",\n)({\n  causeTag: Schema.String.check(Schema.isMaxLength(128)),\n  operation: Schema.String.check(Schema.isMaxLength(256)),\n  decoder: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(128))),\n  issueTag: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(128))),\n  sequence: Schema.optionalKey(CanonicalSequence),\n}) {}\n\nexport class ThreadStoreError extends Schema.TaggedError<ThreadStoreError>()(\"ThreadStoreError\", {\n  operation: Schema.String,\n  message: Schema.String,\n  cause: Schema.optionalKey(Schema.Defect()),\n  diagnostic: Schema.optionalKey(ThreadStoreDiagnostic),\n}) {}\n\nexport class ThreadNotMaterialized extends Schema.TaggedError<ThreadNotMaterialized>()(\n  \"ThreadNotMaterialized\",\n  { threadId: ThreadId },\n) {}\n\n/**\n * A canonical append that cannot commit: `batch-digest` replays a batch ID with different\n * content, `record-identity` reuses a canonical record ID, and `tail` declares a stale expected\n * tail. Tail conflicts carry the actual committed tail as a diagnostic resume hint.\n */\nexport class AppendConflict extends Schema.TaggedError<AppendConflict>()(\"AppendConflict\", {\n  threadId: ThreadId,\n  batchId: BatchId,\n  reason: Schema.Literals([\"batch-digest\", \"record-identity\", \"tail\"]),\n  actualTailSequence: Schema.optionalKey(CanonicalSequence),\n  actualTailDigest: Schema.optionalKey(Digest),\n}) {}\n\nexport class FenceRejected extends Schema.TaggedError<FenceRejected>()(\"FenceRejected\", {\n  threadId: ThreadId,\n  actualEpoch: ProducerEpoch,\n  attemptedEpoch: ProducerEpoch,\n}) {}\n\nexport class CheckpointRejected extends Schema.TaggedError<CheckpointRejected>()(\n  \"CheckpointRejected\",\n  {\n    threadId: ThreadId,\n    reason: Schema.Literals([\"ahead-of-tail\", \"digest-mismatch\", \"unsupported-version\", \"corrupt\"]),\n  },\n) {}\n\nexport type ThreadStoreFailure =\n  | ThreadStoreError\n  | ThreadNotMaterialized\n  | AppendConflict\n  | FenceRejected;\n\n/**\n * Optional, disposable projection storage. Neither history execution nor durable recovery\n * requires it. Adapters that offer it must bind every checkpoint to a canonical batch tail.\n * Application consumers own projection compatibility; this port does not interpret metadata.\n */\nexport interface ThreadCheckpoints {\n  readonly save: (\n    request: SaveCheckpointRequest,\n  ) => Effect.Effect<void, ThreadStoreError | ThreadNotMaterialized | CheckpointRejected>;\n  readonly load: (\n    request: LoadCheckpointRequest,\n  ) => Effect.Effect<\n    Option.Option<ThreadCheckpoint>,\n    ThreadStoreError | ThreadNotMaterialized | CheckpointRejected\n  >;\n}\n\n/**\n * Optional latest-only recovery cache, independent of application projection checkpoints.\n * Saves atomically validate the producer epoch and canonical batch tail. An older snapshot\n * cannot replace a newer one; equal-tail replacement repairs disposable state. Invalid cached\n * data fails with CheckpointRejected, while infrastructure failures remain ThreadStoreError.\n * Loading at an earlier tail or outside the adapter's cache locality may return none so callers\n * can replay canonical records. Canonical records and the ledger remain authority.\n */\nexport interface ThreadRecoveryCheckpoints {\n  readonly save: (\n    request: SaveRecoveryCheckpointRequest,\n  ) => Effect.Effect<\n    void,\n    ThreadStoreError | ThreadNotMaterialized | CheckpointRejected | FenceRejected\n  >;\n  readonly load: ThreadCheckpoints[\"load\"];\n}\n\nexport class ThreadStore extends Context.Service<\n  ThreadStore,\n  {\n    readonly materialize: (\n      request: ThreadMaterialization,\n    ) => Effect.Effect<void, ThreadStoreError | FenceRejected>;\n    readonly append: (\n      request: FencedAppendRequest,\n    ) => Effect.Effect<\n      AppendResult,\n      ThreadStoreError | ThreadNotMaterialized | AppendConflict | FenceRejected\n    >;\n    readonly read: (\n      request: ThreadReadRequest,\n    ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError | ThreadNotMaterialized>;\n    readonly observe: (\n      request: ThreadObservation,\n    ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError | ThreadNotMaterialized>;\n    readonly export: (\n      request: ThreadExportRequest,\n    ) => Effect.Effect<ThreadExport, ThreadStoreError | ThreadNotMaterialized>;\n    readonly inspectTail: (\n      request: ThreadTailRequest,\n    ) => Effect.Effect<ThreadTail, ThreadStoreError | ThreadNotMaterialized>;\n    /** Absent when this adapter does not support disposable checkpoints. */\n    readonly checkpoints?: ThreadCheckpoints | undefined;\n    readonly recoveryCheckpoints?: ThreadRecoveryCheckpoints | undefined;\n    /** Indexed scalar count; unsupported adapters fail closed at the caller. */\n    readonly countPeerMessages?:\n      | ((\n          request: ThreadPeerCountRequest,\n        ) => Effect.Effect<number, ThreadStoreError | ThreadNotMaterialized>)\n      | undefined;\n  }\n>()(\"@effect-agent/thread/ThreadStore\") {}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkBA,MAAa,4BAA4B;;AAGzC,MAAa,sBAAsB,OAAO,OAAO;CAAE,UAAU;CAAU,UAAU;AAAS,CAAC;;AAI3F,MAAa,wBAAwB,OAAO,OAAO;CAAE,UAAU;CAAU,OAAO;AAAM,CAAC;AAGvF,MAAa,2BAA2B,OAAO,OAAO;CACpD,UAAU;;CAEV,OAAO,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,IAAK,CAAC;AACpF,CAAC;;AAmBD,MAAa,2BAA2B,OAAO,OAAO;CACpD,UAAU;CACV,oBAAoB,OAAO,YAAY,YAAY;CACnD,OAAO,OAAO,IAAI,MAChB,OAAO,cAAc,CAAC,GACtB,OAAO,oBAAoB,yBAAyB,CACtD;AACF,CAAC;;AAKD,MAAa,yBAAyB,OAAO,OAAO;CAClD,UAAU;CACV,OAAO,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,GAAI,CAAC;AACnF,CAAC;AAID,MAAM,cAAc,cAClB,iBAAiB,KAAK;CACpB;CACA,SAAS;AACX,CAAC;;AAGH,MAAM,kBAAkB,OAAO,WAAW,WACxC,UACA,WACA,OACA;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,UAA0C,CAAC;CACjD,IAAI;CAEJ,OAAO,MAAM;EACX,MAAM,YAAY,KAAK,IAAI,MAAM,QAAQ,IAAI,QAAQ,MAAM;EAE3D,MAAM,OAAO,OAAO,OAAO,WACzB,MAAM,KAAK;GACT;GACA;GACA,MAAM;IAAE,OAAO;IAAW,GAAI,kBAAkB,KAAA,IAAY,CAAC,IAAI,EAAE,cAAc;GAAG;EACtF,CAAC,CACH;EAEA,KAAK,MAAM,SAAS,MAAM;GACxB,IACE,MAAM,aAAa,YACnB,MAAM,aAAa,iBAAiB,MACnC,0BAA0B,aAAa,MAAM,WAAW,UAAU,sBAEnE,OAAO,OAAO,WAAW,yBAAyB;GACpD,gBAAgB,MAAM;GACtB,QAAQ,KAAK,KAAK;EACpB;EACA,IAAI,KAAK,SAAS,aAAa,QAAQ,SAAS,OAC9C,OAAO,OAAO,WAAW,sBAAsB;EACjD,IAAI,KAAK,SAAS,WAAW,OAAO;CACtC;AACF,CAAC;;AAGD,MAAa,YAAY,OAAO,GAAG,uBAAuB,CAAC,CAAC,WAC1D,SACA;CACA,OAAO,OAAO,aAAa,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,KACvD,OAAO,eAAe,WAAW,mBAAmB,CAAC,CACvD;CAEA,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EAAE,MAAM;EAAY,UAAU,QAAQ;CAAS,GAC/C,CACF;CAEA,IAAI,QAAQ,MAAM,UAAU,MAAM,OAAO,aAAa,QAAQ,QAAQ,GACpE,OAAO,OAAO,WAAW,oBAAoB;CAE/C,OAAO,OAAO,gBAAgB,QAAQ,EAAE;AAC1C,CAAC;AAED,MAAa,cAAc,OAAO,GAAG,yBAAyB,CAAC,CAAC,WAC9D,SACA;CACA,OAAO,OAAO,aAAa,qBAAqB,CAAC,CAAC,OAAO,CAAC,CAAC,KACzD,OAAO,eAAe,WAAW,qBAAqB,CAAC,CACzD;CAEA,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EAAE,MAAM;EAAY,OAAO,QAAQ;CAAM,GACzC,CACF;CAEA,IACE,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,uBACjB,QAAQ,SAAS,UACjB,QAAQ,UAAU,QAAQ,KAC9B,GAEA,OAAO,OAAO,WAAW,sBAAsB;CAEjD,OAAO,OAAO,gBAAgB,QAAQ,EAAE;AAC1C,CAAC;;AAGD,MAAa,kBAAkB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WACtE,SACA;CACA,OAAO,OAAO,aAAa,wBAAwB,CAAC,CAAC,OAAO,CAAC,CAAC,KAC5D,OAAO,eAAe,WAAW,yBAAyB,CAAC,CAC7D;CAEA,MAAM,OAAO,QAAO,OADC,YAAA,CACK,YAAY,kBAAkB,KAAK,EAAE,UAAU,QAAQ,SAAS,CAAC,CAAC;CAE5F,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EACE,MAAM;EACN,sBAAsB,KAAK;EAC3B,oBAAoB,KAAK;EACzB,GAAI,QAAQ,uBAAuB,KAAA,IAC/B,CAAC,IACD,EAAE,oBAAoB,QAAQ,mBAAmB;CACvD,GACA,QAAQ,KACV;CAEA,OAAO;EACL,UAAU,QAAQ;EAClB,cAAc,KAAK;EACnB,YAAY,KAAK;EACjB;CACF;AACF,CAAC;;;;;;;AAQD,MAAa,kBAAkB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WACtE,SACA;CACA,OAAO,OAAO,aAAa,wBAAwB,CAAC,CAAC,OAAO,CAAC,CAAC,KAC5D,OAAO,eAAe,WAAW,yBAAyB,CAAC,CAC7D;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,SAAS,OAAO;CACtB,MAAM,OAAO,OAAO,MAAM,YAAY,kBAAkB,KAAK,EAAE,UAAU,QAAQ,SAAS,CAAC,CAAC;CAE5F,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EACE,MAAM;EACN,sBAAsB,KAAK;EAC3B,oBAAoB,KAAK;CAC3B,GACA,QAAQ,KACV;CAEA,MAAM,aAA6D,CAAC;CACpE,MAAM,eAA4C,CAAC;CAEnD,KAAK,MAAM,SAAS,SAAS;EAC3B,MAAM,UAAU,MAAM,OAAO;EAE7B,IAAI,QAAQ,SAAS,wBAAwB;GAC3C,aAAa,KAAK,OAAO;GACzB;EACF;EACA,IAAI,QAAQ,SAAS,sBAAsB,QAAQ,SAAS,mBAC1D,OAAO,OAAO,WAAW,wBAAwB;EAEnD,MAAM,gBACJ,QAAQ,SAAS,qBACb,QACA,OAAO,eACL,OAAO,UAAU;GACf,UAAU,QAAQ;GAClB,UAAU,yBAAyB,QAAQ,OAAO,QAAQ,MAAM,QAAQ,UAAU;EACpF,CAAC,CACH;EAEN,MAAM,aAAa,OAAO,eACxB,OAAO,YAAY;GAAE,UAAU,QAAQ;GAAU,OAAO,QAAQ;EAAM,CAAC,CACzE;EAEA,IACE,kBAAkB,KAAA,KAClB,eAAe,KAAA,KACf,cAAc,WAAW,KAAK,gBAC9B,WAAW,WAAW,KAAK,cAE3B,OAAO,OAAO,WAAW,uCAAuC;EAClE,MAAM,WAAW,cAAc,OAAO;EACtC,MAAM,QAAQ,WAAW,OAAO;EAEhC,IACE,UAAU,SAAS,sBACnB,SAAS,UAAU,QAAQ,SAC3B,SAAS,SAAS,QAAQ,QAC1B,SAAS,eAAe,QAAQ,cAChC,SAAS,aAAa,QAAQ,YAC9B,OAAO,SAAS,uBAChB,MAAM,iBAAiB,KAAA,KACvB,mBAAmB,MAAM,YAAY,MAAM,SAAS,OAEpD,OAAO,OAAO,WAAW,qCAAqC;EAEhE,MAAM,aAAa,OAAO,OAAO,OAC/B,qBAAqB,KAAK,EAAE,cAAc,MAAM,aAAa,CAAC,CAChE;EAEA,IAAI,OAAO,OAAO,UAAU,KAAK,WAAW,MAAM,aAAa,QAAQ,UACrE,OAAO,OAAO,WAAW,kCAAkC;EAC7D,WAAW,KAAK;GACd,cAAc,MAAM;GACpB;GACA,OAAO,QAAQ,SAAS,oBAAoB,YAAY;EAC1D,CAAC;CACH;CAEA,OAAO;EACL,UAAU,QAAQ;EAClB,iBAAiB,KAAK;EACtB,UAAU;EACV;EACA;CACF;AACF,CAAC;AAED,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU;CACV,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,sBAAb,cAAyC,OAAO,MAC9C,0CACF,CAAC,CAAC;CACA,UAAU;CACV,OAAO;CACP,sBAAsB;CACtB,oBAAoB;CACpB,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,eAAb,cAAkC,OAAO,MAAoB,mCAAmC,CAAC,CAAC;CAChG,eAAe;CACf,cAAc;CACd,YAAY;CACZ,UAAU,OAAO;AACnB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,aAAb,cAAgC,OAAO,MAAkB,iCAAiC,CAAC,CAAC;CAC1F,UAAU;CACV,eAAe,OAAO,YAAY,iBAAiB;CACnD,OAAO,OAAO,QAAQ,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,IAAK,CAAC;AACxF,CAAC,CAAC,CAAC,CAAC;;AAGJ,MAAa,kBAAkB,OAAO,MAAM;CAC1C,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,UAAU;EAAG,UAAU;CAAS,CAAC;CACtE,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,UAAU;EAAG,OAAO;CAAM,CAAC;CAChE,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,aAAa;EAClC,sBAAsB;EACtB,oBAAoB;CACtB,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,iBAAiB;EACtC,sBAAsB;EACtB,oBAAoB;CACtB,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,aAAa;EAClC,sBAAsB;EACtB,oBAAoB;EACpB,oBAAoB,OAAO,YAAY,YAAY;CACrD,CAAC;AACH,CAAC;;AAKD,MAAa,qBAAqB,OAAO,OAAO;CAC9C,UAAU;CACV,WAAW;CACX,MAAM,OAAO,OAAO;EAClB,eAAe,OAAO,YAAY,iBAAiB;EACnD,OAAO,WAAW,OAAO;CAC3B,CAAC;AACH,CAAC;AAGD,MAAa,oBAAoB,OAAO,MAAM,CAAC,oBAAoB,UAAU,CAAC;AAG9E,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC;CACA,UAAU;CACV,aAAa,OAAO,YAAY,iBAAiB;AACnD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,sBAAb,cAAyC,OAAO,MAC9C,0CACF,CAAC,CAAC,EACA,UAAU,SACZ,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC,EACA,UAAU,SACZ,CAAC,CAAC,CAAC,CAAC;;;;;AAMJ,IAAa,aAAb,cAAgC,OAAO,MAAkB,iCAAiC,CAAC,CAAC;CAC1F,UAAU;CACV,cAAc;CACd,YAAY;CACZ,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;;AAIJ,IAAa,eAAb,cAAkC,OAAO,MAAoB,mCAAmC,CAAC,CAAC;CAChG,QAAQ,OAAO,QAAQ,uBAAuB;CAC9C,UAAU;CACV,cAAc;CACd,YAAY;CACZ,SAAS,OAAO,MAAM,uBAAuB,CAAC,CAAC,MAC7C,OAAO,YAAY,yBAAyB,CAC9C;AACF,CAAC,CAAC,CAAC,CAAC;;;;;;;AAQJ,IAAa,mBAAb,cAAsC,OAAO,MAC3C,uCACF,CAAC,CAAC;CACA,eAAe,OAAO,QAAQ,CAAC;CAC/B,UAAU;CACV,iBAAiB;CACjB,YAAY;;CAEZ,eAAe,OAAO,YAAY,OAAO,cAAc;;CAEvD,uBAAuB,OAAO,YAAY,MAAM;;CAEhD,aAAa,OAAO,YAAY,MAAM;;CAEtC,YAAY,OAAO,YAAY,MAAM;CACrC,OAAO;CACP,WAAW,OAAO;AACpB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC,EACA,YAAY,iBACd,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,gCAAb,cAAmD,OAAO,MACxD,oDACF,CAAC,CAAC;CACA,YAAY;CACZ,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU;CACV,oBAAoB,OAAO,YAAY,iBAAiB;AAC1D,CAAC,CAAC,CAAC,CAAC;;;;;;AAOJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC;CACrD,WAAW,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC;CACtD,SAAS,OAAO,YAAY,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC,CAAC;CACxE,UAAU,OAAO,YAAY,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC,CAAC;CACzE,UAAU,OAAO,YAAY,iBAAiB;AAChD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,mBAAb,cAAsC,OAAO,YAA8B,CAAC,CAAC,oBAAoB;CAC/F,WAAW,OAAO;CAClB,SAAS,OAAO;CAChB,OAAO,OAAO,YAAY,OAAO,OAAO,CAAC;CACzC,YAAY,OAAO,YAAY,qBAAqB;AACtD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,YAAmC,CAAC,CACpF,yBACA,EAAE,UAAU,SAAS,CACvB,CAAC,CAAC,CAAC;;;;;;AAOH,IAAa,iBAAb,cAAoC,OAAO,YAA4B,CAAC,CAAC,kBAAkB;CACzF,UAAU;CACV,SAAS;CACT,QAAQ,OAAO,SAAS;EAAC;EAAgB;EAAmB;CAAM,CAAC;CACnE,oBAAoB,OAAO,YAAY,iBAAiB;CACxD,kBAAkB,OAAO,YAAY,MAAM;AAC7C,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,gBAAb,cAAmC,OAAO,YAA2B,CAAC,CAAC,iBAAiB;CACtF,UAAU;CACV,aAAa;CACb,gBAAgB;AAClB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,qBAAb,cAAwC,OAAO,YAAgC,CAAC,CAC9E,sBACA;CACE,UAAU;CACV,QAAQ,OAAO,SAAS;EAAC;EAAiB;EAAmB;EAAuB;CAAS,CAAC;AAChG,CACF,CAAC,CAAC,CAAC;AA2CH,IAAa,cAAb,cAAiC,QAAQ,QAkCvC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"ThreadStore.mjs","names":[],"sources":["../../src/durable/ThreadStore.ts"],"sourcesContent":["import { Context, Effect, Option, Schema, Stream } from \"effect\";\n\nimport { RunId, SubmissionId, ThreadId } from \"../core/Identifiers.ts\";\nimport type { ToolCallPrepared, WorkerInputRequested } from \"./Records.ts\";\nimport {\n  BatchId,\n  CanonicalBatch,\n  CanonicalRecordEnvelope,\n  CanonicalSequence,\n  Digest,\n  ObservationOffset,\n  PersistedJson,\n  ProducerEpoch,\n  RecordId,\n} from \"./Records.ts\";\nimport {\n  runIdForSubmission,\n  subagentLineageRecordId,\n  toolCallPreparedRecordId,\n  workerOriginRecordId,\n} from \"./RunJournal.ts\";\nimport { SubmissionLedger, SubmissionLookupById } from \"./SubmissionLedger.ts\";\n\nexport const MAX_THREAD_EXPORT_RECORDS = 131_072;\n\n/** Exact canonical identity; absence is not proof that an admission was never accepted. */\nexport const ThreadRecordRequest = Schema.Struct({ threadId: ThreadId, recordId: RecordId });\nexport type ThreadRecordRequest = typeof ThreadRecordRequest.Type;\n\n/** The original user input for a Run, excluding later joined inputs. */\nexport const ThreadRunInputRequest = Schema.Struct({ threadId: ThreadId, runId: RunId });\nexport type ThreadRunInputRequest = typeof ThreadRunInputRequest.Type;\n\nexport const ThreadOutstandingRequest = Schema.Struct({\n  threadId: ThreadId,\n  /** Exceeding this bound fails; a truncated inventory never grants authority. */\n  limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(4_096)),\n});\n\nexport type ThreadOutstandingRequest = typeof ThreadOutstandingRequest.Type;\n\nexport interface ThreadOutstanding {\n  readonly threadId: ThreadId;\n  readonly throughSequence: CanonicalSequence;\n  readonly complete: true;\n  readonly operations: ReadonlyArray<{\n    readonly submissionId: SubmissionId;\n    readonly prepared: ToolCallPrepared;\n    /** Prepared is not an unknown outcome or a grant to execute. */\n    readonly state: \"prepared\" | \"unknown\";\n  }>;\n  /** Source reservations without proof that external effects are resolved. */\n  readonly workerInputs: ReadonlyArray<WorkerInputRequested>;\n}\n\n/** Native worker reservation/accounting snapshot at a captured canonical tail. */\nexport const ThreadWorkerStateRequest = Schema.Struct({\n  threadId: ThreadId,\n  sourceSubmissionId: Schema.optionalKey(SubmissionId),\n  limit: Schema.Int.check(\n    Schema.isGreaterThan(0),\n    Schema.isLessThanOrEqualTo(MAX_THREAD_EXPORT_RECORDS),\n  ),\n});\n\nexport type ThreadWorkerStateRequest = typeof ThreadWorkerStateRequest.Type;\n\n/** Saturating lifetime peer-message count: the result is at most the requested cap. */\nexport const ThreadPeerCountRequest = Schema.Struct({\n  threadId: ThreadId,\n  limit: Schema.Int.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1000)),\n});\n\nexport type ThreadPeerCountRequest = typeof ThreadPeerCountRequest.Type;\n\nconst incomplete = (operation: string) =>\n  ThreadStoreError.make({\n    operation,\n    message: \"Native canonical read is incomplete or corrupt\",\n  });\n\n/** Collect a complete bounded selection, using canonical sequence as a sparse cursor. */\nconst selectedRecords = Effect.fnUntraced(function* (\n  threadId: ThreadId,\n  selection: ThreadSelection,\n  limit: number,\n) {\n  const store = yield* ThreadStore;\n  const records: Array<CanonicalRecordEnvelope> = [];\n  let afterSequence: CanonicalSequence | undefined;\n\n  while (true) {\n    const pageLimit = Math.min(1024, limit + 1 - records.length);\n\n    const page = yield* Stream.runCollect(\n      store.read({\n        threadId,\n        selection,\n        page: { limit: pageLimit, ...(afterSequence === undefined ? {} : { afterSequence }) },\n      }),\n    );\n\n    for (const entry of page) {\n      if (\n        entry.threadId !== threadId ||\n        entry.sequence <= (afterSequence ?? 0) ||\n        (\"expectedTailSequence\" in selection && entry.sequence > selection.expectedTailSequence)\n      )\n        return yield* incomplete(\"read selection identity\");\n      afterSequence = entry.sequence;\n      records.push(entry);\n    }\n    if (page.length > pageLimit || records.length > limit)\n      return yield* incomplete(\"read selection limit\");\n    if (page.length < pageLimit) return records;\n  }\n});\n\n/** Host-owned read: authenticate the Thread and exact locator before calling. */\nexport const getRecord = Effect.fn(\"ThreadStore.getRecord\")(function* (\n  request: ThreadRecordRequest,\n) {\n  yield* Schema.decodeEffect(ThreadRecordRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"getRecord request\")),\n  );\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    { _tag: \"RecordId\", recordId: request.recordId },\n    1,\n  );\n\n  if (records.some((entry) => entry.record.recordId !== request.recordId))\n    return yield* incomplete(\"getRecord identity\");\n\n  return Option.fromUndefinedOr(records[0]);\n});\n\nexport const getRunInput = Effect.fn(\"ThreadStore.getRunInput\")(function* (\n  request: ThreadRunInputRequest,\n) {\n  yield* Schema.decodeEffect(ThreadRunInputRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"getRunInput request\")),\n  );\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    { _tag: \"RunInput\", runId: request.runId },\n    1,\n  );\n\n  if (\n    records.some(\n      ({ record: { payload } }) =>\n        payload._tag !== \"UserInputRecorded\" ||\n        payload.kind !== \"user\" ||\n        payload.runId !== request.runId,\n    )\n  )\n    return yield* incomplete(\"getRunInput identity\");\n\n  return Option.fromUndefinedOr(records[0]);\n});\n\n/** A bounded snapshot of native lifetime and source-submission worker accounting. */\nexport const readWorkerState = Effect.fn(\"ThreadStore.readWorkerState\")(function* (\n  request: ThreadWorkerStateRequest,\n) {\n  yield* Schema.decodeEffect(ThreadWorkerStateRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"readWorkerState request\")),\n  );\n  const store = yield* ThreadStore;\n  const tail = yield* store.inspectTail(ThreadTailRequest.make({ threadId: request.threadId }));\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    {\n      _tag: \"WorkerState\",\n      expectedTailSequence: tail.tailSequence,\n      expectedTailDigest: tail.tailDigest,\n      ...(request.sourceSubmissionId === undefined\n        ? {}\n        : { sourceSubmissionId: request.sourceSubmissionId }),\n    },\n    request.limit,\n  );\n\n  return {\n    threadId: request.threadId,\n    tailSequence: tail.tailSequence,\n    tailDigest: tail.tailDigest,\n    records,\n  };\n});\n\n/**\n * Work is proportional to outstanding records, independent of completed history. Unknown\n * effects survive abort and resolution intent; only canonical closure removes them. A\n * preparation from another Run still requires native recovery before it can be treated as\n * safe. This snapshot grants no execution authority and does not freeze other owners.\n */\nexport const readOutstanding = Effect.fn(\"ThreadStore.readOutstanding\")(function* (\n  request: ThreadOutstandingRequest,\n) {\n  yield* Schema.decodeEffect(ThreadOutstandingRequest)(request).pipe(\n    Effect.mapError(() => incomplete(\"readOutstanding request\")),\n  );\n  const store = yield* ThreadStore;\n  const ledger = yield* SubmissionLedger;\n  const tail = yield* store.inspectTail(ThreadTailRequest.make({ threadId: request.threadId }));\n\n  const records = yield* selectedRecords(\n    request.threadId,\n    {\n      _tag: \"Outstanding\",\n      expectedTailSequence: tail.tailSequence,\n      expectedTailDigest: tail.tailDigest,\n    },\n    request.limit,\n  );\n\n  const operations: Array<ThreadOutstanding[\"operations\"][number]> = [];\n  const workerInputs: Array<WorkerInputRequested> = [];\n\n  for (const entry of records) {\n    const payload = entry.record.payload;\n\n    if (payload._tag === \"WorkerInputRequested\") {\n      workerInputs.push(payload);\n      continue;\n    }\n    if (payload._tag !== \"ToolCallPrepared\" && payload._tag !== \"ToolCallUnknown\")\n      return yield* incomplete(\"readOutstanding record\");\n\n    const preparedEntry =\n      payload._tag === \"ToolCallPrepared\"\n        ? entry\n        : Option.getOrUndefined(\n            yield* getRecord({\n              threadId: request.threadId,\n              recordId: toolCallPreparedRecordId(payload.runId, payload.turn, payload.toolCallId),\n            }),\n          );\n\n    const inputEntry = Option.getOrUndefined(\n      yield* getRunInput({ threadId: request.threadId, runId: payload.runId }),\n    );\n\n    if (\n      preparedEntry === undefined ||\n      inputEntry === undefined ||\n      preparedEntry.sequence > tail.tailSequence ||\n      inputEntry.sequence > tail.tailSequence\n    )\n      return yield* incomplete(\"readOutstanding proof beyond snapshot\");\n    const prepared = preparedEntry.record.payload;\n    const input = inputEntry.record.payload;\n\n    if (\n      prepared?._tag !== \"ToolCallPrepared\" ||\n      prepared.runId !== payload.runId ||\n      prepared.turn !== payload.turn ||\n      prepared.toolCallId !== payload.toolCallId ||\n      prepared.toolName !== payload.toolName ||\n      input?._tag !== \"UserInputRecorded\" ||\n      input.submissionId === undefined ||\n      runIdForSubmission(input.submissionId) !== prepared.runId\n    )\n      return yield* incomplete(\"readOutstanding canonical ownership\");\n\n    const submission = yield* ledger.lookup(\n      SubmissionLookupById.make({ submissionId: input.submissionId }),\n    );\n\n    if (Option.isNone(submission) || submission.value.threadId !== request.threadId)\n      return yield* incomplete(\"readOutstanding native admission\");\n    operations.push({\n      submissionId: input.submissionId,\n      prepared,\n      state: payload._tag === \"ToolCallUnknown\" ? \"unknown\" : \"prepared\",\n    });\n  }\n\n  return {\n    threadId: request.threadId,\n    throughSequence: tail.tailSequence,\n    complete: true as const,\n    operations,\n    workerInputs,\n  };\n});\n\nexport class ThreadMaterialization extends Schema.Class<ThreadMaterialization>(\n  \"@effect-agent/thread/ThreadMaterialization\",\n)({\n  threadId: ThreadId,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class FencedAppendRequest extends Schema.Class<FencedAppendRequest>(\n  \"@effect-agent/thread/FencedAppendRequest\",\n)({\n  threadId: ThreadId,\n  batch: CanonicalBatch,\n  expectedTailSequence: CanonicalSequence,\n  expectedTailDigest: Digest,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class AppendResult extends Schema.Class<AppendResult>(\"@effect-agent/thread/AppendResult\")({\n  firstSequence: CanonicalSequence,\n  lastSequence: CanonicalSequence,\n  tailDigest: Digest,\n  replayed: Schema.Boolean,\n}) {}\n\nexport class ThreadRead extends Schema.Class<ThreadRead>(\"@effect-agent/thread/ThreadRead\")({\n  threadId: ThreadId,\n  afterSequence: Schema.optionalKey(CanonicalSequence),\n  limit: Schema.Natural.check(Schema.isGreaterThan(0), Schema.isLessThanOrEqualTo(1_024)),\n}) {}\n\n/** Closed native selections; mutable metadata is read at this exact canonical tail. */\nexport const ThreadSelection = Schema.Union([\n  Schema.Struct({ _tag: Schema.Literal(\"RecordId\"), recordId: RecordId }),\n  Schema.Struct({ _tag: Schema.Literal(\"RunInput\"), runId: RunId }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"Outstanding\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"WorkerExecution\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n  }),\n  Schema.Struct({\n    _tag: Schema.Literal(\"WorkerState\"),\n    expectedTailSequence: CanonicalSequence,\n    expectedTailDigest: Digest,\n    sourceSubmissionId: Schema.optionalKey(SubmissionId),\n  }),\n]);\n\nexport type ThreadSelection = typeof ThreadSelection.Type;\n\n/** Nested page makes an old ThreadRead decoder reject, never strip a selection into history. */\nexport const SelectedThreadRead = Schema.Struct({\n  threadId: ThreadId,\n  selection: ThreadSelection,\n  page: Schema.Struct({\n    afterSequence: Schema.optionalKey(CanonicalSequence),\n    limit: ThreadRead.fields.limit,\n  }),\n});\n\nexport type SelectedThreadRead = typeof SelectedThreadRead.Type;\nexport const ThreadReadRequest = Schema.Union([SelectedThreadRead, ThreadRead]);\nexport type ThreadReadRequest = typeof ThreadReadRequest.Type;\n\nexport class ThreadObservation extends Schema.Class<ThreadObservation>(\n  \"@effect-agent/thread/ThreadObservation\",\n)({\n  threadId: ThreadId,\n  afterOffset: Schema.optionalKey(ObservationOffset),\n}) {}\n\nexport class ThreadExportRequest extends Schema.Class<ThreadExportRequest>(\n  \"@effect-agent/thread/ThreadExportRequest\",\n)({\n  threadId: ThreadId,\n}) {}\n\nexport class ThreadTailRequest extends Schema.Class<ThreadTailRequest>(\n  \"@effect-agent/thread/ThreadTailRequest\",\n)({\n  threadId: ThreadId,\n}) {}\n\n/**\n * The committed tail of one Thread Log. A resuming producer composes its next\n * FencedAppendRequest from this value instead of exporting the whole log.\n */\nexport class ThreadTail extends Schema.Class<ThreadTail>(\"@effect-agent/thread/ThreadTail\")({\n  threadId: ThreadId,\n  tailSequence: CanonicalSequence,\n  tailDigest: Digest,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class ThreadIdentityRequest extends Schema.Class<ThreadIdentityRequest>(\n  \"@effect-agent/thread/ThreadIdentityRequest\",\n)({ threadId: ThreadId }) {}\n\n/**\n * One consistent canonical snapshot: tail/epoch, first record, exact worker origin,\n * then exact subagent lineage. A row selected twice appears only once. Missing\n * identity records remain absent; the snapshot itself grants no execution authority.\n */\nexport class ThreadIdentity extends Schema.Class<ThreadIdentity>(\n  \"@effect-agent/thread/ThreadIdentity\",\n)(\n  Schema.Struct({\n    ...ThreadTail.fields,\n    records: Schema.Array(CanonicalRecordEnvelope).check(Schema.isMaxLength(3)),\n  }).check(\n    Schema.makeFilter((snapshot) => {\n      if (snapshot.tailSequence === 0) return snapshot.records.length === 0;\n      if (snapshot.records[0]?.sequence !== 1) return false;\n      const origin = workerOriginRecordId(snapshot.threadId);\n      const lineage = subagentLineageRecordId(snapshot.threadId);\n      const ids = new Set<RecordId>();\n      const sequences = new Set<CanonicalSequence>();\n      let previous = -1;\n\n      for (const entry of snapshot.records) {\n        const rank =\n          entry.sequence === 1\n            ? 0\n            : entry.record.recordId === origin\n              ? 1\n              : entry.record.recordId === lineage\n                ? 2\n                : -1;\n\n        if (\n          entry.threadId !== snapshot.threadId ||\n          entry.sequence < 1 ||\n          entry.sequence > snapshot.tailSequence ||\n          rank <= previous ||\n          ids.has(entry.record.recordId) ||\n          sequences.has(entry.sequence)\n        )\n          return false;\n        ids.add(entry.record.recordId);\n        sequences.add(entry.sequence);\n        previous = rank;\n      }\n\n      return true;\n    }),\n  ),\n) {}\n\n/** Maximum canonical records represented by one Thread export. */\n\nexport class ThreadExport extends Schema.Class<ThreadExport>(\"@effect-agent/thread/ThreadExport\")({\n  format: Schema.Literal(\"effect-agent/thread@1\"),\n  threadId: ThreadId,\n  tailSequence: CanonicalSequence,\n  tailDigest: Digest,\n  records: Schema.Array(CanonicalRecordEnvelope).check(\n    Schema.isMaxLength(MAX_THREAD_EXPORT_RECORDS),\n  ),\n}) {}\n\n/**\n * A disposable projection snapshot. Adapters bind its sequence and digest to the canonical\n * log; consumers decode `state` and decide projection compatibility before suffix replay.\n * Legacy metadata is optional for application projections and preserved when supplied.\n * Runtime-owned recovery checkpoints populate and compare it before using cached state.\n */\nexport class ThreadCheckpoint extends Schema.Class<ThreadCheckpoint>(\n  \"@effect-agent/thread/ThreadCheckpoint\",\n)({\n  schemaVersion: Schema.Literal(1),\n  threadId: ThreadId,\n  throughSequence: CanonicalSequence,\n  tailDigest: Digest,\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  engineVersion: Schema.optionalKey(Schema.NonEmptyString),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  agentDefinitionDigest: Schema.optionalKey(Digest),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  modelDigest: Schema.optionalKey(Digest),\n  /** @deprecated For application projections; retained for existing data and runtime recovery. */\n  toolDigest: Schema.optionalKey(Digest),\n  state: PersistedJson,\n  createdAt: Schema.DateTimeUtcFromString,\n}) {}\n\nexport class SaveCheckpointRequest extends Schema.Class<SaveCheckpointRequest>(\n  \"@effect-agent/thread/SaveCheckpointRequest\",\n)({\n  checkpoint: ThreadCheckpoint,\n}) {}\n\n/** Replace the disposable recovery view only under the current canonical producer fence. */\nexport class SaveRecoveryCheckpointRequest extends Schema.Class<SaveRecoveryCheckpointRequest>(\n  \"@effect-agent/thread/SaveRecoveryCheckpointRequest\",\n)({\n  checkpoint: ThreadCheckpoint,\n  producerEpoch: ProducerEpoch,\n}) {}\n\nexport class LoadCheckpointRequest extends Schema.Class<LoadCheckpointRequest>(\n  \"@effect-agent/thread/LoadCheckpointRequest\",\n)({\n  threadId: ThreadId,\n  atOrBeforeSequence: Schema.optionalKey(CanonicalSequence),\n}) {}\n\n/**\n * Content-free storage provenance constructed by adapters from source-authored labels.\n * Raw foreign lookalikes are not trusted diagnostics. Never include rejected values, SQL,\n * or schema messages.\n */\nexport class ThreadStoreDiagnostic extends Schema.Class<ThreadStoreDiagnostic>(\n  \"@effect-agent/thread/ThreadStoreDiagnostic\",\n)({\n  causeTag: Schema.String.check(Schema.isMaxLength(128)),\n  operation: Schema.String.check(Schema.isMaxLength(256)),\n  decoder: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(128))),\n  issueTag: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(128))),\n  sequence: Schema.optionalKey(CanonicalSequence),\n}) {}\n\nexport class ThreadStoreError extends Schema.TaggedError<ThreadStoreError>()(\"ThreadStoreError\", {\n  operation: Schema.String,\n  message: Schema.String,\n  cause: Schema.optionalKey(Schema.Defect()),\n  diagnostic: Schema.optionalKey(ThreadStoreDiagnostic),\n}) {}\n\nexport class ThreadNotMaterialized extends Schema.TaggedError<ThreadNotMaterialized>()(\n  \"ThreadNotMaterialized\",\n  { threadId: ThreadId },\n) {}\n\n/**\n * A canonical append that cannot commit: `batch-digest` replays a batch ID with different\n * content, `record-identity` reuses a canonical record ID, and `tail` declares a stale expected\n * tail. Tail conflicts carry the actual committed tail as a diagnostic resume hint.\n */\nexport class AppendConflict extends Schema.TaggedError<AppendConflict>()(\"AppendConflict\", {\n  threadId: ThreadId,\n  batchId: BatchId,\n  reason: Schema.Literals([\"batch-digest\", \"record-identity\", \"tail\"]),\n  actualTailSequence: Schema.optionalKey(CanonicalSequence),\n  actualTailDigest: Schema.optionalKey(Digest),\n}) {}\n\nexport class FenceRejected extends Schema.TaggedError<FenceRejected>()(\"FenceRejected\", {\n  threadId: ThreadId,\n  actualEpoch: ProducerEpoch,\n  attemptedEpoch: ProducerEpoch,\n}) {}\n\nexport class CheckpointRejected extends Schema.TaggedError<CheckpointRejected>()(\n  \"CheckpointRejected\",\n  {\n    threadId: ThreadId,\n    reason: Schema.Literals([\"ahead-of-tail\", \"digest-mismatch\", \"unsupported-version\", \"corrupt\"]),\n  },\n) {}\n\nexport type ThreadStoreFailure =\n  | ThreadStoreError\n  | ThreadNotMaterialized\n  | AppendConflict\n  | FenceRejected;\n\n/**\n * Optional, disposable projection storage. Neither history execution nor durable recovery\n * requires it. Adapters that offer it must bind every checkpoint to a canonical batch tail.\n * Application consumers own projection compatibility; this port does not interpret metadata.\n */\nexport interface ThreadCheckpoints {\n  readonly save: (\n    request: SaveCheckpointRequest,\n  ) => Effect.Effect<void, ThreadStoreError | ThreadNotMaterialized | CheckpointRejected>;\n  readonly load: (\n    request: LoadCheckpointRequest,\n  ) => Effect.Effect<\n    Option.Option<ThreadCheckpoint>,\n    ThreadStoreError | ThreadNotMaterialized | CheckpointRejected\n  >;\n}\n\n/**\n * Optional latest-only recovery cache, independent of application projection checkpoints.\n * Saves atomically validate the producer epoch and canonical batch tail. An older snapshot\n * cannot replace a newer one; equal-tail replacement repairs disposable state. Invalid cached\n * data fails with CheckpointRejected, while infrastructure failures remain ThreadStoreError.\n * Loading at an earlier tail or outside the adapter's cache locality may return none so callers\n * can replay canonical records. Canonical records and the ledger remain authority.\n */\nexport interface ThreadRecoveryCheckpoints {\n  readonly save: (\n    request: SaveRecoveryCheckpointRequest,\n  ) => Effect.Effect<\n    void,\n    ThreadStoreError | ThreadNotMaterialized | CheckpointRejected | FenceRejected\n  >;\n  readonly load: ThreadCheckpoints[\"load\"];\n}\n\nexport class ThreadStore extends Context.Service<\n  ThreadStore,\n  {\n    readonly materialize: (\n      request: ThreadMaterialization,\n    ) => Effect.Effect<void, ThreadStoreError | FenceRejected>;\n    readonly append: (\n      request: FencedAppendRequest,\n    ) => Effect.Effect<\n      AppendResult,\n      ThreadStoreError | ThreadNotMaterialized | AppendConflict | FenceRejected\n    >;\n    readonly read: (\n      request: ThreadReadRequest,\n    ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError | ThreadNotMaterialized>;\n    readonly observe: (\n      request: ThreadObservation,\n    ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError | ThreadNotMaterialized>;\n    readonly export: (\n      request: ThreadExportRequest,\n    ) => Effect.Effect<ThreadExport, ThreadStoreError | ThreadNotMaterialized>;\n    readonly inspectTail: (\n      request: ThreadTailRequest,\n    ) => Effect.Effect<ThreadTail, ThreadStoreError | ThreadNotMaterialized>;\n    readonly readIdentity: (\n      request: ThreadIdentityRequest,\n    ) => Effect.Effect<ThreadIdentity, ThreadStoreError | ThreadNotMaterialized>;\n    /** Absent when this adapter does not support disposable checkpoints. */\n    readonly checkpoints?: ThreadCheckpoints | undefined;\n    readonly recoveryCheckpoints?: ThreadRecoveryCheckpoints | undefined;\n    /** Indexed scalar count; unsupported adapters fail closed at the caller. */\n    readonly countPeerMessages?:\n      | ((\n          request: ThreadPeerCountRequest,\n        ) => Effect.Effect<number, ThreadStoreError | ThreadNotMaterialized>)\n      | undefined;\n  }\n>()(\"@effect-agent/thread/ThreadStore\") {}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBA,MAAa,4BAA4B;;AAGzC,MAAa,sBAAsB,OAAO,OAAO;CAAE,UAAU;CAAU,UAAU;AAAS,CAAC;;AAI3F,MAAa,wBAAwB,OAAO,OAAO;CAAE,UAAU;CAAU,OAAO;AAAM,CAAC;AAGvF,MAAa,2BAA2B,OAAO,OAAO;CACpD,UAAU;;CAEV,OAAO,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,IAAK,CAAC;AACpF,CAAC;;AAmBD,MAAa,2BAA2B,OAAO,OAAO;CACpD,UAAU;CACV,oBAAoB,OAAO,YAAY,YAAY;CACnD,OAAO,OAAO,IAAI,MAChB,OAAO,cAAc,CAAC,GACtB,OAAO,oBAAoB,yBAAyB,CACtD;AACF,CAAC;;AAKD,MAAa,yBAAyB,OAAO,OAAO;CAClD,UAAU;CACV,OAAO,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,GAAI,CAAC;AACnF,CAAC;AAID,MAAM,cAAc,cAClB,iBAAiB,KAAK;CACpB;CACA,SAAS;AACX,CAAC;;AAGH,MAAM,kBAAkB,OAAO,WAAW,WACxC,UACA,WACA,OACA;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,UAA0C,CAAC;CACjD,IAAI;CAEJ,OAAO,MAAM;EACX,MAAM,YAAY,KAAK,IAAI,MAAM,QAAQ,IAAI,QAAQ,MAAM;EAE3D,MAAM,OAAO,OAAO,OAAO,WACzB,MAAM,KAAK;GACT;GACA;GACA,MAAM;IAAE,OAAO;IAAW,GAAI,kBAAkB,KAAA,IAAY,CAAC,IAAI,EAAE,cAAc;GAAG;EACtF,CAAC,CACH;EAEA,KAAK,MAAM,SAAS,MAAM;GACxB,IACE,MAAM,aAAa,YACnB,MAAM,aAAa,iBAAiB,MACnC,0BAA0B,aAAa,MAAM,WAAW,UAAU,sBAEnE,OAAO,OAAO,WAAW,yBAAyB;GACpD,gBAAgB,MAAM;GACtB,QAAQ,KAAK,KAAK;EACpB;EACA,IAAI,KAAK,SAAS,aAAa,QAAQ,SAAS,OAC9C,OAAO,OAAO,WAAW,sBAAsB;EACjD,IAAI,KAAK,SAAS,WAAW,OAAO;CACtC;AACF,CAAC;;AAGD,MAAa,YAAY,OAAO,GAAG,uBAAuB,CAAC,CAAC,WAC1D,SACA;CACA,OAAO,OAAO,aAAa,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,KACvD,OAAO,eAAe,WAAW,mBAAmB,CAAC,CACvD;CAEA,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EAAE,MAAM;EAAY,UAAU,QAAQ;CAAS,GAC/C,CACF;CAEA,IAAI,QAAQ,MAAM,UAAU,MAAM,OAAO,aAAa,QAAQ,QAAQ,GACpE,OAAO,OAAO,WAAW,oBAAoB;CAE/C,OAAO,OAAO,gBAAgB,QAAQ,EAAE;AAC1C,CAAC;AAED,MAAa,cAAc,OAAO,GAAG,yBAAyB,CAAC,CAAC,WAC9D,SACA;CACA,OAAO,OAAO,aAAa,qBAAqB,CAAC,CAAC,OAAO,CAAC,CAAC,KACzD,OAAO,eAAe,WAAW,qBAAqB,CAAC,CACzD;CAEA,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EAAE,MAAM;EAAY,OAAO,QAAQ;CAAM,GACzC,CACF;CAEA,IACE,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,uBACjB,QAAQ,SAAS,UACjB,QAAQ,UAAU,QAAQ,KAC9B,GAEA,OAAO,OAAO,WAAW,sBAAsB;CAEjD,OAAO,OAAO,gBAAgB,QAAQ,EAAE;AAC1C,CAAC;;AAGD,MAAa,kBAAkB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WACtE,SACA;CACA,OAAO,OAAO,aAAa,wBAAwB,CAAC,CAAC,OAAO,CAAC,CAAC,KAC5D,OAAO,eAAe,WAAW,yBAAyB,CAAC,CAC7D;CAEA,MAAM,OAAO,QAAO,OADC,YAAA,CACK,YAAY,kBAAkB,KAAK,EAAE,UAAU,QAAQ,SAAS,CAAC,CAAC;CAE5F,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EACE,MAAM;EACN,sBAAsB,KAAK;EAC3B,oBAAoB,KAAK;EACzB,GAAI,QAAQ,uBAAuB,KAAA,IAC/B,CAAC,IACD,EAAE,oBAAoB,QAAQ,mBAAmB;CACvD,GACA,QAAQ,KACV;CAEA,OAAO;EACL,UAAU,QAAQ;EAClB,cAAc,KAAK;EACnB,YAAY,KAAK;EACjB;CACF;AACF,CAAC;;;;;;;AAQD,MAAa,kBAAkB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WACtE,SACA;CACA,OAAO,OAAO,aAAa,wBAAwB,CAAC,CAAC,OAAO,CAAC,CAAC,KAC5D,OAAO,eAAe,WAAW,yBAAyB,CAAC,CAC7D;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,SAAS,OAAO;CACtB,MAAM,OAAO,OAAO,MAAM,YAAY,kBAAkB,KAAK,EAAE,UAAU,QAAQ,SAAS,CAAC,CAAC;CAE5F,MAAM,UAAU,OAAO,gBACrB,QAAQ,UACR;EACE,MAAM;EACN,sBAAsB,KAAK;EAC3B,oBAAoB,KAAK;CAC3B,GACA,QAAQ,KACV;CAEA,MAAM,aAA6D,CAAC;CACpE,MAAM,eAA4C,CAAC;CAEnD,KAAK,MAAM,SAAS,SAAS;EAC3B,MAAM,UAAU,MAAM,OAAO;EAE7B,IAAI,QAAQ,SAAS,wBAAwB;GAC3C,aAAa,KAAK,OAAO;GACzB;EACF;EACA,IAAI,QAAQ,SAAS,sBAAsB,QAAQ,SAAS,mBAC1D,OAAO,OAAO,WAAW,wBAAwB;EAEnD,MAAM,gBACJ,QAAQ,SAAS,qBACb,QACA,OAAO,eACL,OAAO,UAAU;GACf,UAAU,QAAQ;GAClB,UAAU,yBAAyB,QAAQ,OAAO,QAAQ,MAAM,QAAQ,UAAU;EACpF,CAAC,CACH;EAEN,MAAM,aAAa,OAAO,eACxB,OAAO,YAAY;GAAE,UAAU,QAAQ;GAAU,OAAO,QAAQ;EAAM,CAAC,CACzE;EAEA,IACE,kBAAkB,KAAA,KAClB,eAAe,KAAA,KACf,cAAc,WAAW,KAAK,gBAC9B,WAAW,WAAW,KAAK,cAE3B,OAAO,OAAO,WAAW,uCAAuC;EAClE,MAAM,WAAW,cAAc,OAAO;EACtC,MAAM,QAAQ,WAAW,OAAO;EAEhC,IACE,UAAU,SAAS,sBACnB,SAAS,UAAU,QAAQ,SAC3B,SAAS,SAAS,QAAQ,QAC1B,SAAS,eAAe,QAAQ,cAChC,SAAS,aAAa,QAAQ,YAC9B,OAAO,SAAS,uBAChB,MAAM,iBAAiB,KAAA,KACvB,mBAAmB,MAAM,YAAY,MAAM,SAAS,OAEpD,OAAO,OAAO,WAAW,qCAAqC;EAEhE,MAAM,aAAa,OAAO,OAAO,OAC/B,qBAAqB,KAAK,EAAE,cAAc,MAAM,aAAa,CAAC,CAChE;EAEA,IAAI,OAAO,OAAO,UAAU,KAAK,WAAW,MAAM,aAAa,QAAQ,UACrE,OAAO,OAAO,WAAW,kCAAkC;EAC7D,WAAW,KAAK;GACd,cAAc,MAAM;GACpB;GACA,OAAO,QAAQ,SAAS,oBAAoB,YAAY;EAC1D,CAAC;CACH;CAEA,OAAO;EACL,UAAU,QAAQ;EAClB,iBAAiB,KAAK;EACtB,UAAU;EACV;EACA;CACF;AACF,CAAC;AAED,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU;CACV,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,sBAAb,cAAyC,OAAO,MAC9C,0CACF,CAAC,CAAC;CACA,UAAU;CACV,OAAO;CACP,sBAAsB;CACtB,oBAAoB;CACpB,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,eAAb,cAAkC,OAAO,MAAoB,mCAAmC,CAAC,CAAC;CAChG,eAAe;CACf,cAAc;CACd,YAAY;CACZ,UAAU,OAAO;AACnB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,aAAb,cAAgC,OAAO,MAAkB,iCAAiC,CAAC,CAAC;CAC1F,UAAU;CACV,eAAe,OAAO,YAAY,iBAAiB;CACnD,OAAO,OAAO,QAAQ,MAAM,OAAO,cAAc,CAAC,GAAG,OAAO,oBAAoB,IAAK,CAAC;AACxF,CAAC,CAAC,CAAC,CAAC;;AAGJ,MAAa,kBAAkB,OAAO,MAAM;CAC1C,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,UAAU;EAAG,UAAU;CAAS,CAAC;CACtE,OAAO,OAAO;EAAE,MAAM,OAAO,QAAQ,UAAU;EAAG,OAAO;CAAM,CAAC;CAChE,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,aAAa;EAClC,sBAAsB;EACtB,oBAAoB;CACtB,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,iBAAiB;EACtC,sBAAsB;EACtB,oBAAoB;CACtB,CAAC;CACD,OAAO,OAAO;EACZ,MAAM,OAAO,QAAQ,aAAa;EAClC,sBAAsB;EACtB,oBAAoB;EACpB,oBAAoB,OAAO,YAAY,YAAY;CACrD,CAAC;AACH,CAAC;;AAKD,MAAa,qBAAqB,OAAO,OAAO;CAC9C,UAAU;CACV,WAAW;CACX,MAAM,OAAO,OAAO;EAClB,eAAe,OAAO,YAAY,iBAAiB;EACnD,OAAO,WAAW,OAAO;CAC3B,CAAC;AACH,CAAC;AAGD,MAAa,oBAAoB,OAAO,MAAM,CAAC,oBAAoB,UAAU,CAAC;AAG9E,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC;CACA,UAAU;CACV,aAAa,OAAO,YAAY,iBAAiB;AACnD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,sBAAb,cAAyC,OAAO,MAC9C,0CACF,CAAC,CAAC,EACA,UAAU,SACZ,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC,EACA,UAAU,SACZ,CAAC,CAAC,CAAC,CAAC;;;;;AAMJ,IAAa,aAAb,cAAgC,OAAO,MAAkB,iCAAiC,CAAC,CAAC;CAC1F,UAAU;CACV,cAAc;CACd,YAAY;CACZ,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC,EAAE,UAAU,SAAS,CAAC,CAAC,CAAC,CAAC;;;;;;AAO3B,IAAa,iBAAb,cAAoC,OAAO,MACzC,qCACF,CAAC,CACC,OAAO,OAAO;CACZ,GAAG,WAAW;CACd,SAAS,OAAO,MAAM,uBAAuB,CAAC,CAAC,MAAM,OAAO,YAAY,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC,MACD,OAAO,YAAY,aAAa;CAC9B,IAAI,SAAS,iBAAiB,GAAG,OAAO,SAAS,QAAQ,WAAW;CACpE,IAAI,SAAS,QAAQ,EAAE,EAAE,aAAa,GAAG,OAAO;CAChD,MAAM,SAAS,qBAAqB,SAAS,QAAQ;CACrD,MAAM,UAAU,wBAAwB,SAAS,QAAQ;CACzD,MAAM,sBAAM,IAAI,IAAc;CAC9B,MAAM,4BAAY,IAAI,IAAuB;CAC7C,IAAI,WAAW;CAEf,KAAK,MAAM,SAAS,SAAS,SAAS;EACpC,MAAM,OACJ,MAAM,aAAa,IACf,IACA,MAAM,OAAO,aAAa,SACxB,IACA,MAAM,OAAO,aAAa,UACxB,IACA;EAEV,IACE,MAAM,aAAa,SAAS,YAC5B,MAAM,WAAW,KACjB,MAAM,WAAW,SAAS,gBAC1B,QAAQ,YACR,IAAI,IAAI,MAAM,OAAO,QAAQ,KAC7B,UAAU,IAAI,MAAM,QAAQ,GAE5B,OAAO;EACT,IAAI,IAAI,MAAM,OAAO,QAAQ;EAC7B,UAAU,IAAI,MAAM,QAAQ;EAC5B,WAAW;CACb;CAEA,OAAO;AACT,CAAC,CACH,CACF,CAAC,CAAC,CAAC;;AAIH,IAAa,eAAb,cAAkC,OAAO,MAAoB,mCAAmC,CAAC,CAAC;CAChG,QAAQ,OAAO,QAAQ,uBAAuB;CAC9C,UAAU;CACV,cAAc;CACd,YAAY;CACZ,SAAS,OAAO,MAAM,uBAAuB,CAAC,CAAC,MAC7C,OAAO,YAAY,yBAAyB,CAC9C;AACF,CAAC,CAAC,CAAC,CAAC;;;;;;;AAQJ,IAAa,mBAAb,cAAsC,OAAO,MAC3C,uCACF,CAAC,CAAC;CACA,eAAe,OAAO,QAAQ,CAAC;CAC/B,UAAU;CACV,iBAAiB;CACjB,YAAY;;CAEZ,eAAe,OAAO,YAAY,OAAO,cAAc;;CAEvD,uBAAuB,OAAO,YAAY,MAAM;;CAEhD,aAAa,OAAO,YAAY,MAAM;;CAEtC,YAAY,OAAO,YAAY,MAAM;CACrC,OAAO;CACP,WAAW,OAAO;AACpB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC,EACA,YAAY,iBACd,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,gCAAb,cAAmD,OAAO,MACxD,oDACF,CAAC,CAAC;CACA,YAAY;CACZ,eAAe;AACjB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU;CACV,oBAAoB,OAAO,YAAY,iBAAiB;AAC1D,CAAC,CAAC,CAAC,CAAC;;;;;;AAOJ,IAAa,wBAAb,cAA2C,OAAO,MAChD,4CACF,CAAC,CAAC;CACA,UAAU,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC;CACrD,WAAW,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC;CACtD,SAAS,OAAO,YAAY,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC,CAAC;CACxE,UAAU,OAAO,YAAY,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC,CAAC;CACzE,UAAU,OAAO,YAAY,iBAAiB;AAChD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,mBAAb,cAAsC,OAAO,YAA8B,CAAC,CAAC,oBAAoB;CAC/F,WAAW,OAAO;CAClB,SAAS,OAAO;CAChB,OAAO,OAAO,YAAY,OAAO,OAAO,CAAC;CACzC,YAAY,OAAO,YAAY,qBAAqB;AACtD,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,YAAmC,CAAC,CACpF,yBACA,EAAE,UAAU,SAAS,CACvB,CAAC,CAAC,CAAC;;;;;;AAOH,IAAa,iBAAb,cAAoC,OAAO,YAA4B,CAAC,CAAC,kBAAkB;CACzF,UAAU;CACV,SAAS;CACT,QAAQ,OAAO,SAAS;EAAC;EAAgB;EAAmB;CAAM,CAAC;CACnE,oBAAoB,OAAO,YAAY,iBAAiB;CACxD,kBAAkB,OAAO,YAAY,MAAM;AAC7C,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,gBAAb,cAAmC,OAAO,YAA2B,CAAC,CAAC,iBAAiB;CACtF,UAAU;CACV,aAAa;CACb,gBAAgB;AAClB,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,qBAAb,cAAwC,OAAO,YAAgC,CAAC,CAC9E,sBACA;CACE,UAAU;CACV,QAAQ,OAAO,SAAS;EAAC;EAAiB;EAAmB;EAAuB;CAAS,CAAC;AAChG,CACF,CAAC,CAAC,CAAC;AA2CH,IAAa,cAAb,cAAiC,QAAQ,QAqCvC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC"}

package/dist/durable/ThreadStoreConformance.d.mts

@@ -1,4 +1,4 @@
-import { Or as CheckpointRejected, Qr as ThreadStore, ti as ThreadStoreFailure } from "../Admin-C34cVKlT.mjs";
+import { Or as CheckpointRejected, ei as ThreadStore, ri as ThreadStoreFailure } from "../Admin-CUja0lmO.mjs";
 import { Effect, Schema } from "effect";
 //#region src/durable/ThreadStoreConformance.d.ts
 declare const ThreadStoreConformanceViolation_base: Schema.Class<ThreadStoreConformanceViolation, Schema.TaggedStruct<"ThreadStoreConformanceViolation", {

package/dist/durable/ThreadStoreConformance.mjs

@@ -4,7 +4,8 @@ import { IdempotencyKey } from "../core/Receipt.mjs";
 import { SubagentDelegationCaps, SubagentGrant, SubagentReservationAmounts } from "../core/SubagentContract.mjs";
 import { BatchId, CanonicalBatch, CanonicalSequence, DeploymentId, PeerMessagePrepared, ProducerEpoch, ProducerId, RecordEnvelope, RecordId, SubtreeBudgetReserved, ToolCallPrepared, ToolCallResolved, ToolCallSettled, ToolCallUnknown, UserInputRecorded, WorkerInputCompleted, WorkerInputRequested, WorkerStopRequested } from "./Records.mjs";
 import { EMPTY_TAIL_DIGEST } from "./Digest.mjs";
-import { AppendConflict, CheckpointRejected, FenceRejected, FencedAppendRequest, LoadCheckpointRequest, SaveCheckpointRequest, ThreadCheckpoint, ThreadExportRequest, ThreadMaterialization, ThreadNotMaterialized, ThreadObservation, ThreadRead, ThreadStore, ThreadTailRequest, getRecord, getRunInput, readWorkerState } from "./ThreadStore.mjs";
+import { $ as workerOriginRecordId, O as subagentLineageRecordId } from "../RunJournal-BXrq0VIK.mjs";
+import { AppendConflict, CheckpointRejected, FenceRejected, FencedAppendRequest, LoadCheckpointRequest, SaveCheckpointRequest, ThreadCheckpoint, ThreadExportRequest, ThreadIdentityRequest, ThreadMaterialization, ThreadNotMaterialized, ThreadObservation, ThreadRead, ThreadStore, ThreadTailRequest, getRecord, getRunInput, readWorkerState } from "./ThreadStore.mjs";
 import { DateTime, Effect, Option, Schema, Stream } from "effect";
 //#region src/durable/ThreadStoreConformance.ts
 /** A ThreadStore contract invariant that an adapter under test violated. */
@@ -208,17 +209,38 @@ const tailInspection = conformanceCase("inspects the canonical tail so a resumin
 	yield* materialize(threadId, EPOCH_ONE);
 	const empty = yield* store.inspectTail(ThreadTailRequest.make({ threadId }));
 	yield* ensure(empty.tailSequence === ZERO_SEQUENCE && empty.tailDigest === EMPTY_TAIL_DIGEST && empty.producerEpoch === EPOCH_ONE, "An empty Thread must report the zero tail and its registered epoch");
-	const first = yield* append(threadId, batch("inspect-batch-1", [record("inspect-record-1", "first")]));
+	const emptyIdentity = yield* store.readIdentity(ThreadIdentityRequest.make({ threadId }));
+	yield* ensure(emptyIdentity.tailSequence === ZERO_SEQUENCE && emptyIdentity.tailDigest === EMPTY_TAIL_DIGEST && emptyIdentity.producerEpoch === EPOCH_ONE && emptyIdentity.records.length === 0, "A materialized empty identity remains distinct from a missing Thread");
+	const first = yield* append(threadId, batch("inspect-batch-1", [record(workerOriginRecordId(threadId), "first")]));
 	const afterAppend = yield* store.inspectTail(ThreadTailRequest.make({ threadId }));
 	yield* ensure(afterAppend.tailSequence === first.lastSequence && afterAppend.tailDigest === first.tailDigest, "Tail inspection must match the latest AppendResult");
+	const identity = yield* store.readIdentity(ThreadIdentityRequest.make({ threadId }));
+	yield* ensure(identity.threadId === threadId && identity.tailSequence === first.lastSequence && identity.tailDigest === first.tailDigest && identity.producerEpoch === EPOCH_ONE && identity.records.length === 1 && identity.records[0]?.record.recordId === workerOriginRecordId(threadId), "Identity captures the canonical tail and deduplicates a first record at the origin locator");
 	const resumed = yield* append(threadId, batch("inspect-batch-2", [record("inspect-record-2", "second")]), {
 		lastSequence: afterAppend.tailSequence,
 		tailDigest: afterAppend.tailDigest
 	}, afterAppend.producerEpoch);
 	yield* ensure(resumed.firstSequence === afterAppend.tailSequence + 1, "An append composed from the inspected tail must commit without exporting the log");
+	const staleIdentity = yield* expectFailure("appending from an identity snapshot after a tail advance", append(threadId, batch("inspect-stale-identity", [record("inspect-record-3", "third")]), {
+		lastSequence: identity.tailSequence,
+		tailDigest: identity.tailDigest
+	}, identity.producerEpoch));
+	yield* ensure(isAppendConflict(staleIdentity) && staleIdentity.reason === "tail", "Identity reads do not bypass the canonical append tail fence");
+	const beforeTakeover = yield* store.readIdentity(ThreadIdentityRequest.make({ threadId }));
 	yield* materialize(threadId, EPOCH_TWO);
 	const afterTakeover = yield* store.inspectTail(ThreadTailRequest.make({ threadId }));
 	yield* ensure(afterTakeover.producerEpoch === EPOCH_TWO && afterTakeover.tailSequence === resumed.lastSequence, "Tail inspection must reflect epoch takeover without disturbing the tail");
+	const fencedIdentity = yield* expectFailure("appending from an identity snapshot after an epoch-only takeover", append(threadId, batch("inspect-stale-epoch", [record("inspect-record-3", "third")]), {
+		lastSequence: beforeTakeover.tailSequence,
+		tailDigest: beforeTakeover.tailDigest
+	}, beforeTakeover.producerEpoch));
+	yield* ensure(isFenceRejected(fencedIdentity), "An epoch-only takeover rejects the identity snapshot's captured producer fence");
+	const afterTakeoverIdentity = yield* store.readIdentity(ThreadIdentityRequest.make({ threadId }));
+	const retried = yield* append(threadId, batch("inspect-retry-identity", [record("inspect-record-3", "third")]), {
+		lastSequence: afterTakeoverIdentity.tailSequence,
+		tailDigest: afterTakeoverIdentity.tailDigest
+	}, afterTakeoverIdentity.producerEpoch);
+	yield* ensure(afterTakeoverIdentity.producerEpoch === EPOCH_TWO && afterTakeoverIdentity.tailSequence === resumed.lastSequence && afterTakeoverIdentity.records.length === 1 && retried.lastSequence === resumed.lastSequence + 1, "Rereading identity after takeover retains the bounded facts and permits the current producer");
 }));
 const notMaterializedOperations = conformanceCase("fails every read and write against an unmaterialized Thread", ({ ensure, expectFailure }) => Effect.gen(function* () {
 	const threadId = decodeThreadId("conformance-not-materialized");
@@ -228,7 +250,8 @@ const notMaterializedOperations = conformanceCase("fails every read and write ag
 		yield* expectFailure("reading an unmaterialized Thread", readAll(threadId)),
 		yield* expectFailure("observing an unmaterialized Thread", store.observe(ThreadObservation.make({ threadId })).pipe(Stream.take(1), Stream.runCollect)),
 		yield* expectFailure("exporting an unmaterialized Thread", store.export(ThreadExportRequest.make({ threadId }))),
-		yield* expectFailure("inspecting the tail of an unmaterialized Thread", store.inspectTail(ThreadTailRequest.make({ threadId })))
+		yield* expectFailure("inspecting the tail of an unmaterialized Thread", store.inspectTail(ThreadTailRequest.make({ threadId }))),
+		yield* expectFailure("reading the identity of an unmaterialized Thread", store.readIdentity(ThreadIdentityRequest.make({ threadId })))
 	];
 	yield* Effect.forEach(failures, (failure) => ensure(isThreadNotMaterialized(failure) && failure.threadId === threadId, "Operations against an unmaterialized Thread must fail as not materialized"), { discard: true });
 }));
@@ -437,6 +460,7 @@ const threadStoreConformanceCases = [
 			threadId,
 			recordId: decodeRecordId("requested")
 		})), "Proven completion retires the input while retaining its canonical reservation");
+		tail = yield* append(threadId, batch("identity-lineage", [record(subagentLineageRecordId(threadId), "lineage")]), tail);
 		for (let base = 0; base < 4097; base += 256) {
 			const makeInput = (n) => envelope(`history-${n}`, UserInputRecorded.make({
 				kind: "steering",
@@ -444,6 +468,13 @@ const threadStoreConformanceCases = [
 			}));
 			tail = yield* append(threadId, batch(`history-${base}`, [makeInput(base), ...Array.from({ length: Math.min(255, 4096 - base) }, (_, offset) => makeInput(base + offset + 1))]), tail);
 		}
+		tail = yield* append(threadId, batch("identity-origin", [record(workerOriginRecordId(threadId), "origin")]), tail);
+		const identity = yield* store.readIdentity(ThreadIdentityRequest.make({ threadId }));
+		yield* ensure(identity.threadId === threadId && identity.tailSequence === tail.lastSequence && identity.tailDigest === tail.tailDigest && identity.producerEpoch === EPOCH_ONE && identity.records.length === 3 && identity.records.map(({ record }) => record.recordId).join() === [
+			"requested",
+			workerOriginRecordId(threadId),
+			subagentLineageRecordId(threadId)
+		].join() && identity.records.every((entry) => entry.threadId === threadId && entry.sequence <= identity.tailSequence), "Identity selects the exact canonical locators in semantic order beyond the recovery horizon");
 		const budgetRow = (id, sourceSubmissionId) => envelope(id, SubtreeBudgetReserved.make({
 			reservationId: id,
 			sourceSubmissionId,