@yielded/agent 0.1.0-beta.173 → 0.1.0-beta.174

package/dist/{SubscriptionInput-mJIRxWJM.d.mts → SubscriptionInput-BUoXv-_K.d.mts}

@@ -1,6 +1,6 @@
 import { t as AgentId } from "./Identifiers-CN2s30fF.mjs";
 import { K as PersistedJson, b as DefinitionDigests } from "./Records-BTnGRdcf.mjs";
-import { E as SubscriptionSourceError, b as SubscriptionRecord, i as EventSourceVersion, m as SubscriptionError, t as AcceptedEvent, u as SubscriptionConfiguration } from "./Subscription-DONig54Q.mjs";
+import { E as SubscriptionSourceError, b as SubscriptionRecord, i as EventSourceVersion, m as SubscriptionError, t as AcceptedEvent, u as SubscriptionConfiguration } from "./Subscription-BNg9VCRl.mjs";
 import { Context, Effect, Schema, Scope } from "effect";
 declare namespace SubscriptionInput_d_exports {
   export { SubscriptionInputBinding, SubscriptionInputBindings, makeSubscriptionInputBinding, resolveSubscriptionInput };
@@ -38,4 +38,4 @@ declare const makeSubscriptionInputBinding: <Event extends Schema.Top, Parameter
 }) => Effect.Effect<SubscriptionInputBinding, never, Exclude<R, Scope.Scope> | Exclude<Continuation["DecodingServices"], Scope.Scope> | Exclude<Continuation["EncodingServices"], Scope.Scope> | Exclude<Event["DecodingServices"], Scope.Scope> | Exclude<Input["EncodingServices"], Scope.Scope> | Exclude<Parameters["DecodingServices"], Scope.Scope>>;
 //#endregion
 export { resolveSubscriptionInput as a, makeSubscriptionInputBinding as i, SubscriptionInputBindings as n, SubscriptionInput_d_exports as r, SubscriptionInputBinding as t };
-//# sourceMappingURL=SubscriptionInput-mJIRxWJM.d.mts.map
+//# sourceMappingURL=SubscriptionInput-BUoXv-_K.d.mts.map

package/dist/{ThreadImport-DpHxjBrA.d.mts → ThreadImport-CMgzttvr.d.mts}

@@ -5,9 +5,9 @@ import { r as Update } from "./AgentUpdates-DksV4D0A.mjs";
 import { r as Diagnostic } from "./FailureDiagnostic-DvHruCSJ.mjs";
 import { t as AgentPolicy } from "./AgentPolicy-B4lbCU2T.mjs";
 import { $ as RecordEnvelope, b as DefinitionDigests, d as CanonicalRecordEnvelope, et as RecordId, l as CanonicalBatch, p as CanonicalSequence } from "./Records-BTnGRdcf.mjs";
-import { $r as ExecutionCheckpoint, Ct as ApprovalDecisionIntent, Gi as ThreadStoreError, Li as ThreadReadRequest, On as UnknownResolutionIntent, Vt as InputAppliedMarker, an as ResolutionSafeToRetry, bi as ThreadCommands, gi as ThreadAdmission, in as ResolutionNeverHappened, lt as AbortIntent, nn as ResolutionAbortSubmission, rn as ResolutionCompletedWithResult, sn as Settlement, wn as SuspensionSnapshot, xi as ThreadExport } from "./Admin-BX9ns28E.mjs";
-import { p as MessageDeliveryRecord } from "./MessageDelivery-B943ebI_.mjs";
-import { t as RunContextReader } from "./run-context-reader-OcsZr4bk.mjs";
+import { $r as ExecutionCheckpoint, Ct as ApprovalDecisionIntent, Gi as ThreadStoreError, Li as ThreadReadRequest, On as UnknownResolutionIntent, Vt as InputAppliedMarker, an as ResolutionSafeToRetry, bi as ThreadCommands, gi as ThreadAdmission, in as ResolutionNeverHappened, lt as AbortIntent, nn as ResolutionAbortSubmission, rn as ResolutionCompletedWithResult, sn as Settlement, wn as SuspensionSnapshot, xi as ThreadExport } from "./Admin-BHmp2V9p.mjs";
+import { p as MessageDeliveryRecord } from "./MessageDelivery-BGDm-c46.mjs";
+import { t as RunContextReader } from "./run-context-reader-CC7ZD95F.mjs";
 import { Context, Effect, Layer, Schema, Scope, Stream } from "effect";
 //#region src/durable/internal/thread-import-reader.d.ts
 declare const ThreadImportReader_base: Context.ServiceClass<ThreadImportReader, "@effect-agent/thread/ThreadImportReader", {
@@ -322,7 +322,7 @@ interface PreparedImportPage {
   readonly batches: ReadonlyArray<PreparedImportBatch>;
 }
 /** Resolve every declared immutable reference, even in a preparation without a continuation. */
-declare const verifyImportedReferences: (entry: CanonicalRecordEnvelope) => Effect.Effect<undefined, ThreadImportRejected | ThreadStoreError, import("effect/Crypto").Crypto | ThreadImportReader>;
+declare const verifyImportedReferences: (entry: CanonicalRecordEnvelope) => Effect.Effect<undefined, ThreadImportRejected | ThreadStoreError, ThreadImportReader>;
 declare const invalidThreadArchive: (message: string, threadId?: ThreadId) => ThreadImportRejected;
 /** Validate authoritative active state against the same staged/captured history and admissions. */
 declare const validateImportedExecution: (threadId: string & import("effect/Brand").Brand<"@effect-agent/core/ThreadId">, checkpoint: ExecutionCheckpoint, tailSequence: number & import("effect/Brand").Brand<"@effect-agent/thread/CanonicalSequence">) => Effect.Effect<undefined, ThreadImportRejected | ThreadStoreError, import("effect/Crypto").Crypto | RunContextReader | ThreadImportReader>;
@@ -840,4 +840,4 @@ declare const rebuildClosedSubmission: (admission: ThreadAdmission) => Effect.Ef
 declare const reencodeThread: <E, R>(source: Stream.Stream<ThreadExport, E, R>) => Effect.Effect<ThreadImportResult, E | ThreadImportRejected | ThreadStoreError, R | ThreadImport>;
 //#endregion
 export { ThreadDeliveryImportReader as C, verifyImportedReferences as S, reencodeThread as _, ThreadImport as a, validateImportedRunExecution as b, ThreadImportResult as c, finishThreadImport as d, invalidThreadArchive as f, rebuildImportedSubmission as g, rebuildClosedSubmission as h, ThreadArchive as i, ThreadImport_d_exports as l, prepareImportPage as m, PreparedImportPage as n, ThreadImportProgress as o, makeThreadImportProgress as p, RebuiltSubmission as r, ThreadImportRejected as s, PreparedImportBatch as t, captureImportSource as u, validateClosedRun as v, ThreadImportReader as w, verifyImportedInputOrder as x, validateImportedExecution as y };
-//# sourceMappingURL=ThreadImport-DpHxjBrA.d.mts.map
+//# sourceMappingURL=ThreadImport-CMgzttvr.d.mts.map

package/dist/{ThreadImport-DckUMEqJ.mjs → ThreadImport-CodYoJoa.mjs}

@@ -4,17 +4,17 @@ import { n as utf8ByteLength } from "./utf8-B5pAmhTo.mjs";
 import { f as WorkerRef } from "./Worker-DZjdMjZn.mjs";
 import { l as InputMessage } from "./MessagingHost-CRUK4JBi.mjs";
 import { Q as RecordJson, X as RecordEnvelope, c as CanonicalBatch, f as CanonicalSequence, o as CURRENT_RECORD_FORMAT, u as CanonicalRecordEnvelope, vt as SubtreeBudgetReserved } from "./Records-BiuJDWNe.mjs";
-import { r as canonicalJson, s as digestJson } from "./Digest-DCuPlhNk.mjs";
+import { r as canonicalJson, s as digestJson } from "./Digest-EpeqWEdv.mjs";
 import { AbortIntent, ApprovalDecisionIntent, ApprovalPendingSuspension, InputAppliedMarker, SubmissionState, SuspensionSnapshot, UnknownResolutionIntent, submissionAbortRecordId, submissionInputRecordId, submissionSettlementRecordId, unknownResolutionKind } from "./durable/SubmissionLedger.mjs";
 import { decodeExportRecord } from "./durable/RecordFormat.mjs";
-import { x as runIdForSubmission } from "./RunJournal-kfKVxJj7.mjs";
-import { C as ThreadApprovalFact, E as ThreadExport, G as ThreadResolutionFact, S as ThreadAdmission, _t as isPreContinuationFact, ct as makeTransferFactCheck, dt as transferPageFits, gt as executionRunIds, x as ThreadAbortFact } from "./ThreadStore-CEekRa80.mjs";
+import { x as runIdForSubmission } from "./RunJournal-CNZqA3Ge.mjs";
+import { C as ThreadApprovalFact, E as ThreadExport, G as ThreadResolutionFact, S as ThreadAdmission, _t as isPreContinuationFact, ct as makeTransferFactCheck, dt as transferPageFits, gt as executionRunIds, x as ThreadAbortFact } from "./ThreadStore-59uDGXul.mjs";
 import { MessageDeliveryRecord } from "./durable/MessageDelivery.mjs";
-import { _ as readRunContext, m as validateSuffix, o as isOperationalRecord, v as validateContextBoundary, y as RunContextReader } from "./RunContinuation-DHYNAQFi.mjs";
+import { _ as readRunContext, m as validateSuffix, o as isOperationalRecord, v as validateContextBoundary, y as RunContextReader } from "./RunContinuation-4ZATcVLB.mjs";
 import { workIndexChanges } from "./durable/ThreadWork.mjs";
 import { r as toolOperationStates } from "./tool-operations-BXBmagY1.mjs";
 import { validateCanonicalSettlement, validateJoinedSettlement } from "./durable/SettlementPublisher.mjs";
-import { c as transferDependencies, l as transferSections, s as sameTransferManifest, u as ImportSourcePhase } from "./ThreadTransfer-B4gTQLIl.mjs";
+import { c as transferDependencies, l as transferSections, s as sameTransferManifest, u as ImportSourcePhase } from "./ThreadTransfer-3jigUl3g.mjs";
 import { Context, Effect, Layer, Pull, Schema, Stream } from "effect";
 //#region src/durable/internal/thread-import-reader.ts
 /** Exact indexes for one captured Thread transaction. Run records and commands enforce count and byte bounds. */
@@ -336,7 +336,7 @@ const prepareImportPage = Effect.fnUntraced(function* (state, input, options) {
 		batches: prepared
 	};
 });
-const finishThreadImport = (state) => Effect.gen(function* () {
+const finishThreadImport = Effect.fnUntraced(function* (state) {
 	const page = state.manifest;
 	if (page === void 0 || !state.ended || state.sequence !== page.tailSequence || transferSections.some((section) => state.counts[section] !== page.snapshot[section])) return yield* invalid("Transfer stream ended before its complete canonical sequence and fact sections");
 	return ThreadImportResult.make({
@@ -481,4 +481,4 @@ const reencodeThread = Effect.fnUntraced(function* (source) {
 //#endregion
 export { validateImportedRunExecution as _, ThreadImportResult as a, ThreadDeliveryImportReader as b, finishThreadImport as c, prepareImportPage as d, rebuildClosedSubmission as f, validateImportedExecution as g, validateClosedRun as h, ThreadImportRejected as i, invalidThreadArchive as l, reencodeThread as m, ThreadArchive as n, ThreadImport_exports as o, rebuildImportedSubmission as p, ThreadImport as r, captureImportSource as s, RebuiltSubmission as t, makeThreadImportProgress as u, verifyImportedInputOrder as v, ThreadImportReader as x, verifyImportedReferences as y };
 
-//# sourceMappingURL=ThreadImport-DckUMEqJ.mjs.map
+//# sourceMappingURL=ThreadImport-CodYoJoa.mjs.map

package/dist/ThreadImport-CodYoJoa.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ThreadImport-CodYoJoa.mjs","names":[],"sources":["../src/durable/internal/thread-import-reader.ts","../src/durable/ThreadImport.ts"],"sourcesContent":["import { Context, type Effect, Layer, type Stream } from \"effect\";\n\nimport type { AgentId, RunId, SubmissionId, ThreadId } from \"../../core/Identifiers.ts\";\nimport type { IdempotencyKey } from \"../../core/Receipt.ts\";\nimport type { MessageDeliveryRecord } from \"../MessageDelivery.ts\";\nimport type { CanonicalRecordEnvelope, RecordEnvelope, RecordId } from \"../Records.ts\";\nimport type {\n  ThreadAdmission,\n  ThreadCommands,\n  ThreadReadRequest,\n  ThreadStoreError,\n  ExecutionCheckpoint,\n} from \"../ThreadStore.ts\";\nimport { RunContextReader } from \"./run-context-reader.ts\";\n\n/** Exact indexes for one captured Thread transaction. Run records and commands enforce count and byte bounds. */\nexport class ThreadImportReader extends Context.Service<\n  ThreadImportReader,\n  {\n    /** Full canonical history in this same snapshot, including archived facts. */\n    readonly read: (\n      request: ThreadReadRequest,\n    ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError>;\n    readonly delivery: (\n      messageId: IdempotencyKey,\n    ) => Effect.Effect<MessageDeliveryRecord | undefined, ThreadStoreError>;\n    readonly record: (\n      id: RecordId,\n    ) => Effect.Effect<CanonicalRecordEnvelope | undefined, ThreadStoreError>;\n    readonly admission: (\n      id: SubmissionId,\n    ) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n    readonly runOwner: (id: RunId) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n    readonly runRecords: (\n      id: RunId,\n    ) => Effect.Effect<ReadonlyArray<CanonicalRecordEnvelope>, ThreadStoreError>;\n    readonly execution: (\n      id: RunId,\n    ) => Effect.Effect<ExecutionCheckpoint | undefined, ThreadStoreError>;\n    readonly commands: (\n      id: SubmissionId,\n    ) => Effect.Effect<typeof ThreadCommands.Type, ThreadStoreError>;\n    readonly hasAgent: (id: AgentId) => Effect.Effect<boolean, ThreadStoreError>;\n  }\n>()(\"@effect-agent/thread/ThreadImportReader\") {\n  /** Bind context reconstruction to this same captured transaction. */\n  static layer(reader: ThreadImportReader[\"Service\"]) {\n    return Layer.succeedContext(\n      Context.make(ThreadImportReader, reader).pipe(\n        Context.add(RunContextReader, {\n          record: reader.record,\n          read: (request) =>\n            reader.read({\n              threadId: request.threadId,\n              selection: { _tag: \"PromptEvidence\", throughSequence: request.throughSequence },\n              page: {\n                limit: request.limit,\n                ...(request.afterSequence === undefined\n                  ? {}\n                  : { afterSequence: request.afterSequence }),\n              },\n            }),\n        }),\n      ),\n    );\n  }\n}\n\n/** Delivery evidence reads: the importing Thread uses staged facts; foreign Threads use retained facts. */\nexport class ThreadDeliveryImportReader extends Context.Service<\n  ThreadDeliveryImportReader,\n  {\n    readonly admission: (\n      threadId: ThreadId,\n      submissionId: SubmissionId,\n    ) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n    readonly record: (\n      threadId: ThreadId,\n      recordId: RecordId,\n    ) => Effect.Effect<RecordEnvelope | undefined, ThreadStoreError>;\n  }\n>()(\"@effect-agent/thread/ThreadDeliveryImportReader\") {}\n","import { Context, Effect, Pull, Schema, Stream, type Scope } from \"effect\";\n\nimport { InputMessage } from \"../capabilities/Messaging.ts\";\nimport type { RunId } from \"../core/Identifiers.ts\";\nimport { SubmissionId, ThreadId, ToolCallId } from \"../core/Identifiers.ts\";\nimport { WorkerRef } from \"../core/Worker.ts\";\nimport { canonicalJson, digestJson, utf8ByteLength } from \"./Digest.ts\";\nimport { readRunContext, validateContextBoundary } from \"./internal/run-context.ts\";\nimport { ThreadImportReader } from \"./internal/thread-import-reader.ts\";\nimport { ImportSourcePhase } from \"./internal/thread-transfer-source.ts\";\nimport { toolOperationStates } from \"./internal/tool-operations.ts\";\nimport { MessageDeliveryRecord } from \"./MessageDelivery.ts\";\nimport { decodeExportRecord } from \"./RecordFormat.ts\";\nimport {\n  CanonicalBatch,\n  CanonicalRecordEnvelope,\n  CanonicalSequence,\n  CURRENT_RECORD_FORMAT,\n  RecordEnvelope,\n  RecordJson,\n  SubtreeBudgetReserved,\n} from \"./Records.ts\";\nimport {\n  executionRunIds,\n  isOperationalRecord,\n  isPreContinuationFact,\n  validateSuffix,\n} from \"./RunContinuation.ts\";\nimport { runIdForSubmission } from \"./RunJournal.ts\";\nimport { validateCanonicalSettlement, validateJoinedSettlement } from \"./SettlementPublisher.ts\";\nimport {\n  AbortIntent,\n  ApprovalDecisionIntent,\n  ApprovalPendingSuspension,\n  InputAppliedMarker,\n  SubmissionState,\n  SuspensionSnapshot,\n  UnknownResolutionIntent,\n  unknownResolutionKind,\n  submissionInputRecordId,\n  submissionSettlementRecordId,\n  submissionAbortRecordId,\n} from \"./SubmissionLedger.ts\";\nimport {\n  type ExecutionCheckpoint,\n  MAX_THREAD_EXPORT_PAGE_BYTES,\n  MAX_THREAD_EXPORT_PAGE_RECORDS,\n  ThreadAdmission,\n  ThreadExport,\n  ThreadAbortFact,\n  ThreadApprovalFact,\n  ThreadResolutionFact,\n  makeTransferFactCheck,\n  transferPageFits,\n  type ThreadStoreError,\n} from \"./ThreadStore.ts\";\nimport { transferDependencies, sameTransferManifest, transferSections } from \"./ThreadTransfer.ts\";\nimport { workIndexChanges } from \"./ThreadWork.ts\";\n\nexport { ThreadImportReader, ThreadDeliveryImportReader } from \"./internal/thread-import-reader.ts\";\n\nconst sameInputMessage = Schema.toEquivalence(InputMessage);\n\n/** One owned wire page. Canonical batches precede admissions; all admissions precede accepted commands.\n * Every fact section is required, including empty sections. This order permits indexed atomic staging. */\nexport const ThreadArchive = Schema.Struct({\n  ...ThreadExport.fields,\n  records: Schema.Array(\n    Schema.Struct({ ...CanonicalRecordEnvelope.fields, record: RecordJson }),\n  ).check(Schema.isMaxLength(MAX_THREAD_EXPORT_PAGE_RECORDS)),\n});\n\nexport type ThreadArchive = typeof ThreadArchive.Type;\n\nconst admissionFitsTransfer = makeTransferFactCheck(ThreadAdmission);\nconst abortFitsTransfer = makeTransferFactCheck(ThreadAbortFact);\nconst approvalFitsTransfer = makeTransferFactCheck(ThreadApprovalFact);\nconst resolutionFitsTransfer = makeTransferFactCheck(ThreadResolutionFact);\nconst deliveryFitsTransfer = makeTransferFactCheck(MessageDeliveryRecord);\n\nexport class ThreadImportResult extends Schema.Class<ThreadImportResult>(\n  \"@effect-agent/thread/ThreadImportResult\",\n)({\n  threadId: ThreadId,\n  format: Schema.String,\n  tailSequence: CanonicalSequence,\n  recordCount: Schema.Natural,\n  submissionCount: Schema.Natural,\n}) {}\n\nexport class ThreadImportRejected extends Schema.TaggedError<ThreadImportRejected>()(\n  \"ThreadImportRejected\",\n  {\n    threadId: Schema.optionalKey(ThreadId),\n    reason: Schema.Literals([\n      \"unsupported-format\",\n      \"invalid-archive\",\n      \"target-not-empty\",\n      \"unsupported-obligations\",\n      \"destination-conflict\",\n      \"admission-policy-conflict\",\n      \"admission-policy-unavailable\",\n      \"unsupported-capacity\",\n    ]),\n    message: Schema.String,\n  },\n) {}\n\n/** One owner transaction consumes the stream; E and R are preserved, including rollback on interruption. */\nexport class ThreadImport extends Context.Service<\n  ThreadImport,\n  {\n    readonly import: <E, R>(\n      pages: Stream.Stream<ThreadArchive, E, R>,\n    ) => Effect.Effect<ThreadImportResult, E | ThreadImportRejected | ThreadStoreError, R>;\n  }\n>()(\"@effect-agent/thread/ThreadImport\") {}\n\nexport class RebuiltSubmission extends Schema.Class<RebuiltSubmission>(\n  \"@effect-agent/thread/RebuiltSubmission\",\n)({\n  admission: ThreadAdmission,\n  state: SubmissionState,\n  inputApplied: Schema.optionalKey(InputAppliedMarker),\n  joinedHostSubmissionId: Schema.optionalKey(SubmissionId),\n  settlement: Schema.optionalKey(RecordEnvelope),\n  suspension: Schema.optionalKey(SuspensionSnapshot),\n  unknownToolCallIds: Schema.Array(ToolCallId),\n  abort: Schema.optionalKey(AbortIntent),\n  approvals: Schema.Array(ApprovalDecisionIntent),\n  resolutions: Schema.Array(UnknownResolutionIntent),\n}) {}\n\nexport interface PreparedImportBatch {\n  readonly batch: CanonicalBatch;\n  readonly batchJson: string;\n  readonly recordJson: ReadonlyArray<string>;\n  readonly firstSequence: CanonicalSequence;\n  readonly lastSequence: CanonicalSequence;\n}\n\nexport interface PreparedImportPage {\n  readonly archive: ThreadArchive;\n  readonly records: ReadonlyArray<CanonicalRecordEnvelope>;\n  readonly batches: ReadonlyArray<PreparedImportBatch>;\n}\n\n/** Resolve every declared immutable reference, even in a preparation without a continuation. */\nexport const verifyImportedReferences = Effect.fnUntraced(function* (\n  entry: CanonicalRecordEnvelope,\n) {\n  const reader = yield* ThreadImportReader;\n  const resolve = reader.record;\n  const payload = entry.record.payload;\n\n  if (payload._tag === \"WorkHandoffCompleted\") {\n    const preparation = yield* resolve(payload.preparationId);\n\n    if (\n      preparation === undefined ||\n      preparation.threadId !== entry.threadId ||\n      preparation.sequence >= entry.sequence ||\n      entry.record.recordId !== `work-handoff-completed:${payload.preparationId}`\n    )\n      return yield* invalid(\"Missing or ambiguous handoff preparation\", entry.threadId);\n    const changes = yield* workIndexChanges(preparation, \"none\");\n\n    if (\n      !changes.some(\n        (change) =>\n          change._tag === \"Put\" &&\n          change.entry.owner._tag === \"Handoff\" &&\n          change.entry.id === payload.ownerId,\n      )\n    )\n      return yield* invalid(\n        \"Handoff closure does not identify its preparation's exact owner\",\n        entry.threadId,\n      );\n  }\n\n  if (payload._tag === \"RunContextRecorded\") {\n    const owner = yield* reader.runOwner(payload.runId);\n\n    const original =\n      owner === undefined ? undefined : yield* resolve(submissionInputRecordId(owner.submissionId));\n\n    if (\n      original === undefined ||\n      original.threadId !== entry.threadId ||\n      original.sequence >= entry.sequence\n    )\n      return yield* invalid(\"Saved context has no original admitted input\", entry.threadId);\n    yield* validateContextBoundary(payload, original).pipe(\n      Effect.mapError((error) => invalid(error.message, entry.threadId)),\n    );\n  }\n\n  const references =\n    payload._tag === \"WorkerInputRefused\"\n      ? [payload.reservation, payload.stop]\n      : payload._tag === \"RunContextRecorded\"\n        ? payload.retained\n        : payload._tag === \"RunContinuation\"\n          ? [\n              payload.originalInput,\n              payload.savedContext,\n              payload.latestResponse,\n              payload.terminal,\n              payload.lastFact,\n            ].filter((ref) => ref !== undefined)\n          : [];\n\n  for (const ref of references) {\n    const evidence = yield* resolve(ref.recordId);\n\n    if (\n      evidence === undefined ||\n      evidence.threadId !== entry.threadId ||\n      evidence.sequence >= entry.sequence ||\n      (\"sequence\" in ref && evidence.sequence !== ref.sequence)\n    )\n      return yield* invalid(\"Missing, foreign or forward canonical dependency\", entry.threadId);\n  }\n  if (payload._tag === \"WorkerInputRefused\") {\n    const request = (yield* resolve(payload.reservation.recordId))!.record.payload;\n    const stop = (yield* resolve(payload.stop.recordId))!.record.payload;\n    const retained = yield* reader.delivery(payload.messageId);\n\n    if (\n      retained === undefined ||\n      retained.key.ownerThreadId !== entry.threadId ||\n      retained.key.messageId !== payload.messageId ||\n      retained.status !== \"refused\" ||\n      retained.receipt !== null ||\n      retained.settlement !== null ||\n      retained.version !== payload.deliveryVersion ||\n      retained.envelopeDigest !== payload.envelopeDigest ||\n      retained.envelope.threadId !== payload.workerThreadId ||\n      retained.envelope.deliveryPrincipal !== payload.receiver.principal ||\n      retained.envelope.admissionKey !== payload.receiver.idempotencyKey ||\n      retained.envelope.inputDigest !== payload.receiver.inputDigest ||\n      retained.envelope.workerAdmission === undefined ||\n      retained.envelope.workerAdmission.messageId !== payload.messageId ||\n      retained.envelope.workerAdmission.origin.source.threadId !== entry.threadId ||\n      stop._tag !== \"WorkerStopRequested\" ||\n      !Schema.toEquivalence(WorkerRef)(\n        stop.command.worker,\n        retained.envelope.workerAdmission.origin.worker,\n      )\n    )\n      return yield* invalid(\n        \"Worker refusal has no exact refused delivery and source stop proof\",\n        entry.threadId,\n      );\n    if (request._tag === \"WorkerInputRequested\") {\n      if (\n        request.inputDigest !== retained.envelope.inputDigest ||\n        !Schema.toEquivalence(MessageDeliveryRecord.fields.envelope.fields.workerAdmission)(\n          request.admission,\n          retained.envelope.workerAdmission,\n        )\n      )\n        return yield* invalid(\n          \"Worker refusal reservation differs from its exact request\",\n          entry.threadId,\n        );\n    } else if (\n      request._tag !== \"SubtreeBudgetReserved\" ||\n      request.childThreadId !== payload.workerThreadId ||\n      request.reservationId !== payload.messageId ||\n      request.lifetime !== \"background\" ||\n      request.executionRunId !== retained.envelope.workerAdmission.executionRunId ||\n      request.sourceSubmissionId !== retained.envelope.workerAdmission.sourceSubmissionId ||\n      request.depth !== retained.envelope.workerAdmission.origin.depth ||\n      !Schema.toEquivalence(SubtreeBudgetReserved.fields.policy)(\n        request.policy,\n        retained.envelope.workerAdmission.origin.policy,\n      ) ||\n      !Schema.toEquivalence(SubtreeBudgetReserved.fields.grant)(\n        request.grant,\n        retained.envelope.workerAdmission.origin.grant,\n      ) ||\n      !Schema.toEquivalence(SubtreeBudgetReserved.fields.budget)(\n        request.budget,\n        retained.envelope.workerAdmission.origin.budget,\n      )\n    )\n      return yield* invalid(\"Worker refusal has no exact source reservation\", entry.threadId);\n  }\n});\n\nconst sequence = Schema.decodeSync(CanonicalSequence);\n\nconst digest = (value: Schema.Json) =>\n  digestJson(value).pipe(Effect.mapError(() => invalid(\"Unable to digest imported facts\")));\n\nexport const invalidThreadArchive = (message: string, threadId?: ThreadId) =>\n  ThreadImportRejected.make({\n    reason: \"invalid-archive\",\n    message,\n    ...(threadId === undefined ? {} : { threadId }),\n  });\n\nconst invalid = invalidThreadArchive;\n\n/** Validate authoritative active state against the same staged/captured history and admissions. */\nexport const validateImportedExecution = Effect.fnUntraced(function* (\n  threadId: ThreadId,\n  checkpoint: ExecutionCheckpoint,\n  tailSequence: CanonicalSequence,\n) {\n  const reader = yield* ThreadImportReader;\n  const progress = checkpoint.progress;\n  const admission = yield* reader.admission(progress.submissionId);\n\n  const own = (yield* reader.runRecords(progress.runId)).filter((entry) =>\n    executionRunIds(entry.record).includes(progress.runId),\n  );\n\n  const local = new Map(checkpoint.operational.map((record) => [record.recordId, record]));\n\n  if (\n    admission === undefined ||\n    admission.threadId !== threadId ||\n    runIdForSubmission(admission.submissionId) !== progress.runId ||\n    checkpoint.progressRecord.recordId !==\n      JSON.stringify([\"continuation@1\", progress.runId, checkpoint.batchId]) ||\n    checkpoint.throughSequence > tailSequence ||\n    checkpoint.originalSequence > checkpoint.throughSequence ||\n    local.size !== checkpoint.operational.length ||\n    checkpoint.operational.some(\n      (record) => !isOperationalRecord(record) || !executionRunIds(record).includes(progress.runId),\n    ) ||\n    own.filter((entry) => entry.sequence <= checkpoint.throughSequence).length !==\n      checkpoint.canonicalRecords ||\n    !validateSuffix(own, checkpoint.throughSequence)\n  )\n    return yield* invalid(\n      \"Active execution identity, revision or history boundary is invalid\",\n      threadId,\n    );\n  for (const id of local.keys())\n    if ((yield* reader.record(id)) !== undefined)\n      return yield* invalid(\"Operational identity collides with retained history\", threadId);\n\n  const resolve = Effect.fnUntraced(function* (ref: typeof progress.originalInput) {\n    const retained = yield* reader.record(ref.recordId);\n    const record = local.get(ref.recordId) ?? retained?.record;\n\n    if (\n      record === undefined ||\n      (retained !== undefined &&\n        (retained.threadId !== threadId || retained.sequence > checkpoint.throughSequence)) ||\n      !executionRunIds(record).includes(progress.runId)\n    )\n      return yield* invalid(\"Active execution reference is missing, foreign or corrupt\", threadId);\n\n    return record;\n  });\n\n  const original = yield* reader.record(progress.originalInput.recordId);\n  const input = (yield* resolve(progress.originalInput)).payload;\n\n  if (\n    original === undefined ||\n    original.sequence !== checkpoint.originalSequence ||\n    input._tag !== \"UserInputRecorded\" ||\n    input.kind !== \"user\" ||\n    input.runId !== progress.runId ||\n    input.submissionId !== progress.submissionId\n  )\n    return yield* invalid(\"Active execution has no exact original admitted input\", threadId);\n  yield* resolve(progress.lastFact);\n  if (progress.savedContext !== undefined) {\n    const context = yield* resolve(progress.savedContext);\n\n    if (context.payload._tag !== \"RunContextRecorded\" || !local.has(context.recordId))\n      return yield* invalid(\"Saved context is not owned active state\", threadId);\n    yield* validateContextBoundary(context.payload, original).pipe(\n      Effect.mapError((cause) => invalid(cause.message, threadId)),\n    );\n    yield* readRunContext(context.payload, original, progress.savedContext.recordId).pipe(\n      Effect.mapError((cause) => invalid(cause.message, threadId)),\n    );\n  }\n  if (progress.latestResponse !== undefined) {\n    const response = (yield* resolve(progress.latestResponse)).payload;\n\n    if (\n      response._tag !== \"ModelResponseRecorded\" ||\n      response.turn !== progress.accounting.committedTurns ||\n      progress.savedContext === undefined\n    )\n      return yield* invalid(\"Active execution has invalid declared operation evidence\", threadId);\n  } else if (progress.accounting.committedTurns !== 0)\n    return yield* invalid(\"Active accounting has no corresponding response\", threadId);\n  if (progress.terminal !== undefined) {\n    const terminal = (yield* resolve(progress.terminal)).payload;\n\n    if (\n      terminal._tag !== \"RunCompleted\" &&\n      terminal._tag !== \"RunFailed\" &&\n      terminal._tag !== \"SubmissionSettled\"\n    )\n      return yield* invalid(\"Active execution has invalid terminal intent\", threadId);\n    if (progress.position === \"settled\" && terminal._tag !== \"SubmissionSettled\")\n      return yield* invalid(\"Settled active state has no canonical terminal outcome\", threadId);\n  }\n});\n\n/** An executed unfinished Run cannot be imported without its authoritative operational owner. */\nexport const validateImportedRunExecution = Effect.fnUntraced(function* (\n  threadId: ThreadId,\n  runId: RunId,\n  tailSequence: CanonicalSequence,\n) {\n  const reader = yield* ThreadImportReader;\n  const checkpoint = yield* reader.execution(runId);\n\n  if (checkpoint !== undefined)\n    return yield* validateImportedExecution(threadId, checkpoint, tailSequence);\n  const records = yield* reader.runRecords(runId);\n\n  if (\n    records.some(\n      ({ record }) =>\n        record.payload._tag === \"UserInputRecorded\" &&\n        record.payload.kind === \"user\" &&\n        record.payload.submissionId !== undefined,\n    ) &&\n    !records.some(\n      ({ record }) => record.payload._tag === \"SubmissionSettled\" && record.payload.runId === runId,\n    ) &&\n    records.some(({ record }) => !isPreContinuationFact(record))\n  )\n    return yield* invalid(\"Unfinished execution is missing its authoritative checkpoint\", threadId);\n});\n\n/** Own the first page before entering a destination gate; reuse the same scoped source pull. */\nexport const captureImportSource = <E, R, A, E2, R2>(\n  pages: Stream.Stream<ThreadArchive, E, R>,\n  use: (captured: Stream.Stream<ThreadArchive, E, R>) => Effect.Effect<A, E2, R2>,\n): Effect.Effect<A, E | E2 | ThreadImportRejected, Exclude<R | R2, Scope.Scope>> =>\n  Effect.scoped(\n    Effect.suspend(() => {\n      const phase = { writing: false };\n\n      return Effect.gen(function* () {\n        const pull = yield* Stream.toPull(Stream.rechunk(pages, 1));\n\n        const first = yield* Pull.catchDone(pull, () =>\n          Effect.fail(invalid(\"Missing transfer pages\")),\n        );\n\n        const codec = Schema.fromJsonString(ThreadArchive);\n\n        const wire = yield* Schema.encodeEffect(codec)(first[0]).pipe(\n          Effect.mapError((cause) => invalid(`Malformed first transfer page: ${cause.message}`)),\n        );\n\n        if (utf8ByteLength(wire) > MAX_THREAD_EXPORT_PAGE_BYTES)\n          return yield* invalid(\"Transfer page exceeds 32 MiB\");\n\n        const owned = yield* Schema.decodeEffect(codec)(wire).pipe(\n          Effect.mapError((cause) => invalid(`Malformed first transfer page: ${cause.message}`)),\n        );\n\n        phase.writing = true;\n\n        return yield* use(\n          Stream.succeed(owned).pipe(Stream.concat(Stream.fromPull(Effect.succeed(pull)))),\n        );\n      }).pipe(Effect.provideService(ImportSourcePhase, phase));\n    }),\n  );\n\n/** Constant-size fold state; identity uniqueness belongs to staged destination indexes. */\nexport interface ThreadImportProgress {\n  manifest: ThreadArchive | undefined;\n  sequence: number;\n  ended: boolean;\n  cursor: string | undefined;\n  counts: {\n    admissions: number;\n    aborts: number;\n    approvals: number;\n    resolutions: number;\n    deliveries: number;\n  };\n}\n\nexport const makeThreadImportProgress = (): ThreadImportProgress => ({\n  manifest: undefined,\n  sequence: 0,\n  ended: false,\n  cursor: undefined,\n  counts: { admissions: 0, aborts: 0, approvals: 0, resolutions: 0, deliveries: 0 },\n});\n\n/** Capture before awaiting any writes; the retained manifest never retains page payload arrays. */\nexport const prepareImportPage = Effect.fnUntraced(function* (\n  state: ThreadImportProgress,\n  input: ThreadArchive,\n  options?: { readonly verification?: boolean },\n) {\n  const codec = Schema.fromJsonString(ThreadArchive);\n\n  const wire = yield* Schema.encodeEffect(codec)(input).pipe(\n    Effect.mapError(() => invalid(\"Malformed transfer page\")),\n  );\n\n  if (utf8ByteLength(wire) > MAX_THREAD_EXPORT_PAGE_BYTES)\n    return yield* invalid(\"Transfer page exceeds 32 MiB\");\n\n  const archive = yield* Schema.decodeEffect(codec)(wire).pipe(\n    Effect.mapError(() => invalid(\"Malformed transfer page\")),\n  );\n\n  const { threadId } = archive;\n\n  // A final source page may omit its cursor. Restored facts must remain exportable after\n  // later admissions, commands or a worker seal change the manifest and continuation.\n  if (\n    !transferPageFits(threadId) ||\n    archive.admissions.some((fact) => !admissionFitsTransfer(threadId, fact)) ||\n    archive.commands.aborts.some((fact) => !abortFitsTransfer(threadId, fact)) ||\n    archive.commands.approvals.some((fact) => !approvalFitsTransfer(threadId, fact)) ||\n    archive.commands.resolutions.some((fact) => !resolutionFitsTransfer(threadId, fact)) ||\n    archive.deliveries.some((fact) => !deliveryFitsTransfer(threadId, fact))\n  )\n    return yield* ThreadImportRejected.make({\n      threadId,\n      reason: \"unsupported-capacity\",\n      message: \"Imported fact exceeds its bounded transfer representation\",\n    });\n\n  if (state.ended) return yield* invalid(\"Page after the final transfer page\", threadId);\n  if (archive.format !== CURRENT_RECORD_FORMAT)\n    return yield* ThreadImportRejected.make({\n      threadId,\n      reason: \"unsupported-format\",\n      message: `Only ${CURRENT_RECORD_FORMAT} can be imported`,\n    });\n  if (state.manifest !== undefined && !sameTransferManifest(state.manifest, archive))\n    return yield* invalid(\"Transfer snapshot changed\", threadId);\n  if (\n    archive.fromSequence !== state.sequence + 1 ||\n    (archive.cursor !== undefined && archive.cursor === state.cursor)\n  )\n    return yield* invalid(\"Transfer page position is invalid\", threadId);\n  if (archive.records.length > 0 && transferSections.some((section) => state.counts[section] > 0))\n    return yield* invalid(\"Canonical records follow immutable fact sections\", threadId);\n  if (\n    archive.admissions.length > 0 &&\n    state.counts.aborts +\n      state.counts.approvals +\n      state.counts.resolutions +\n      state.counts.deliveries >\n      0\n  )\n    return yield* invalid(\"Admissions follow accepted command sections\", threadId);\n  const records: Array<CanonicalRecordEnvelope> = [];\n  const prepared: Array<PreparedImportBatch> = [];\n  let index = 0;\n\n  for (const batch of archive.batches) {\n    const current: Array<RecordEnvelope> = [];\n    const encoded: Array<RecordJson> = [];\n    const firstSequence = sequence(state.sequence + 1);\n\n    while (archive.records[index]?.batchId === batch.batchId) {\n      const entry = archive.records[index]!;\n\n      if (entry.threadId !== threadId || entry.sequence !== state.sequence + 1)\n        return yield* invalid(\"Canonical identity or sequence mismatch\", threadId);\n\n      const record = yield* decodeExportRecord(archive.format, entry.record).pipe(\n        Effect.mapError((e) => invalid(e.message, threadId)),\n      );\n\n      if (record.payload._tag === \"RunContinuation\")\n        return yield* invalid(\"Mutable interpreter progress is not canonical history\", threadId);\n\n      records.push(CanonicalRecordEnvelope.make({ ...entry, record }));\n      current.push(record);\n      encoded.push(entry.record);\n      index++;\n      state.sequence++;\n    }\n\n    const canonical = yield* Schema.decodeUnknownEffect(\n      Schema.toType(Schema.Struct(CanonicalBatch.fields)),\n    )({ ...batch, records: current }).pipe(\n      Effect.mapError(() => invalid(\"Empty or oversized canonical batch\", threadId)),\n      Effect.map((value) => CanonicalBatch.make(value)),\n    );\n\n    const batchJson = canonicalJson({ ...batch, records: encoded });\n\n    if (utf8ByteLength(batchJson) > 16 * 1024 * 1024)\n      return yield* invalid(\"Canonical batch exceeds 16 MiB\", threadId);\n    prepared.push({\n      batch: canonical,\n      batchJson,\n      recordJson: encoded.map(canonicalJson),\n      firstSequence,\n      lastSequence: sequence(state.sequence),\n    });\n  }\n  if (index !== archive.records.length || state.sequence > archive.tailSequence)\n    return yield* invalid(\n      \"Unbound canonical records or records beyond the captured tail\",\n      threadId,\n    );\n  if (\n    archive.admissions.length +\n      archive.commands.aborts.length +\n      archive.commands.approvals.length +\n      archive.commands.resolutions.length +\n      archive.deliveries.length >\n      0 &&\n    state.sequence !== archive.tailSequence\n  )\n    return yield* invalid(\"Immutable sections precede the complete canonical prefix\", threadId);\n  if (\n    archive.commands.aborts.length +\n      archive.commands.approvals.length +\n      archive.commands.resolutions.length >\n      0 &&\n    state.counts.admissions + archive.admissions.length !== archive.snapshot.admissions\n  )\n    return yield* invalid(\"Accepted commands precede the complete admission directory\", threadId);\n\n  const sectionLength = (section: (typeof transferSections)[number]) =>\n    section === \"admissions\"\n      ? archive.admissions.length\n      : section === \"deliveries\"\n        ? archive.deliveries.length\n        : archive.commands[section].length;\n\n  for (let index = 0; index < transferSections.length; index++) {\n    const section = transferSections[index]!;\n\n    if (sectionLength(section) === 0) continue;\n    if (\n      transferSections\n        .slice(0, index)\n        .some((prior) => state.counts[prior] + sectionLength(prior) !== archive.snapshot[prior]) ||\n      transferSections.slice(index + 1).some((later) => state.counts[later] !== 0)\n    )\n      return yield* invalid(\"Transfer fact sections are out of order\", threadId);\n  }\n  const required = transferDependencies(records);\n\n  if (canonicalJson(required) !== canonicalJson([...archive.dependencies].sort()))\n    return yield* invalid(\"Cross-range dependency directory is incomplete or ambiguous\", threadId);\n  for (const section of transferSections) {\n    state.counts[section] += sectionLength(section);\n    if (state.counts[section] > archive.snapshot[section])\n      return yield* invalid(`Too many ${section} facts`, threadId);\n  }\n  for (const admission of archive.admissions) {\n    if (!options?.verification && admission.settledAt === undefined)\n      return yield* invalid(\n        \"Closed admission is missing its stable settlement timestamp\",\n        threadId,\n      );\n    if (\n      admission.threadId !== threadId ||\n      (yield* digest(admission.inputPayload)) !== admission.inputDigest\n    )\n      return yield* invalid(\"Admission identity or input digest mismatch\", threadId);\n  }\n  for (const delivery of archive.deliveries) {\n    const encoded = yield* Schema.encodeEffect(MessageDeliveryRecord)(delivery).pipe(\n      Effect.mapError(() => invalid(\"Invalid delivery fact\", threadId)),\n    );\n\n    if (\n      delivery.key.ownerThreadId !== threadId ||\n      (!options?.verification &&\n        (delivery.leaseUntilMillis !== null ||\n          ![\"processed\", \"refused\"].includes(delivery.status))) ||\n      (yield* digest(encoded.envelope)) !== delivery.envelopeDigest\n    )\n      return yield* invalid(\"Delivery ownership, lease or envelope digest mismatch\", threadId);\n  }\n  state.manifest = {\n    ...archive,\n    records: [],\n    batches: [],\n    admissions: [],\n    commands: { aborts: [], approvals: [], resolutions: [] },\n    deliveries: [],\n    dependencies: [],\n  };\n  state.cursor = archive.cursor;\n  state.ended = archive.cursor === undefined;\n\n  return { archive, records, batches: prepared } satisfies PreparedImportPage;\n});\n\nexport const finishThreadImport = Effect.fnUntraced(function* (state: ThreadImportProgress) {\n  const page = state.manifest;\n\n  if (\n    page === undefined ||\n    !state.ended ||\n    state.sequence !== page.tailSequence ||\n    transferSections.some((section) => state.counts[section] !== page.snapshot[section])\n  )\n    return yield* invalid(\n      \"Transfer stream ended before its complete canonical sequence and fact sections\",\n    );\n\n  return ThreadImportResult.make({\n    threadId: page.threadId,\n    format: page.format,\n    tailSequence: page.tailSequence,\n    recordCount: state.sequence,\n    submissionCount: state.counts.admissions,\n  });\n});\n\n/** An executed receipt must settle strictly after its own input. FIFO inputs are checked in one pass. */\nexport const verifyImportedInputOrder = Effect.fnUntraced(function* (\n  admission: Pick<ThreadAdmission, \"threadId\" | \"submissionId\" | \"queueSequence\">,\n) {\n  const reader = yield* ThreadImportReader;\n  const settlement = yield* reader.record(submissionSettlementRecordId(admission.submissionId));\n\n  if (settlement === undefined) return;\n  const applied = yield* reader.record(submissionInputRecordId(admission.submissionId));\n  const payload = settlement.record.payload;\n\n  if (\n    applied === undefined &&\n    payload._tag === \"SubmissionSettled\" &&\n    payload.outcome === \"aborted\"\n  )\n    return;\n  if (applied === undefined || applied.sequence >= settlement.sequence)\n    return yield* invalid(\n      \"Executed settlement has no preceding canonical input\",\n      admission.threadId,\n    );\n});\n\n/** Rebuild ONE admitted submission from exact staged evidence; terminal state does not erase uncertainty. */\nexport const rebuildImportedSubmission = Effect.fnUntraced(function* (admission: ThreadAdmission) {\n  const reader = yield* ThreadImportReader;\n  const threadId = admission.threadId;\n  const inputEntry = yield* reader.record(submissionInputRecordId(admission.submissionId));\n  const payload = inputEntry?.record.payload;\n\n  if (\n    inputEntry !== undefined &&\n    (payload?._tag !== \"UserInputRecorded\" ||\n      payload.submissionId !== admission.submissionId ||\n      (payload.kind !== \"user\" && payload.kind !== \"steering\") ||\n      (payload.messageAdmission === undefined\n        ? admission.messageAdmission !== undefined\n        : admission.messageAdmission === undefined ||\n          !sameInputMessage(payload.messageAdmission, admission.messageAdmission)) ||\n      canonicalJson(payload.input) !== canonicalJson(admission.inputPayload))\n  )\n    return yield* invalid(\"Canonical input disagrees with its immutable admission\", threadId);\n  const runId = payload?._tag === \"UserInputRecorded\" ? payload.runId : undefined;\n  const host = runId === undefined ? undefined : yield* reader.runOwner(runId);\n\n  if (inputEntry !== undefined && host === undefined)\n    return yield* invalid(\"Canonical Run has no admitted owner\", threadId);\n\n  const joined =\n    host !== undefined && host.submissionId !== admission.submissionId\n      ? host.submissionId\n      : undefined;\n\n  if (\n    payload?._tag === \"UserInputRecorded\" &&\n    payload.kind !== (joined === undefined ? \"user\" : \"steering\")\n  )\n    return yield* invalid(\"Canonical input kind disagrees with its admitted Run owner\", threadId);\n\n  if (joined !== undefined && host !== undefined && host.queueSequence >= admission.queueSequence)\n    return yield* invalid(\"Joined input precedes its host admission\", threadId);\n\n  const settlement = (yield* reader.record(submissionSettlementRecordId(admission.submissionId)))\n    ?.record;\n\n  if (settlement !== undefined) {\n    yield* validateCanonicalSettlement(settlement, admission).pipe(\n      Effect.mapError(() => invalid(\"Canonical settlement disagrees with its receipt\", threadId)),\n    );\n    if (settlement.payload._tag !== \"SubmissionSettled\" || settlement.payload.runId !== runId)\n      return yield* invalid(\"Settlement Run does not own its canonical input\", threadId);\n    if (joined !== undefined) {\n      const hostSettlement = (yield* reader.record(submissionSettlementRecordId(joined)))?.record\n        .payload;\n\n      if (hostSettlement?._tag !== \"SubmissionSettled\")\n        return yield* invalid(\"Joined settlement has no host settlement\", threadId);\n      yield* validateJoinedSettlement(settlement.payload, hostSettlement).pipe(\n        Effect.mapError(() => invalid(\"Joined settlement conflicts with its host\", threadId)),\n      );\n    }\n  }\n  const ownRun = runIdForSubmission(admission.submissionId);\n\n  const runRecords = yield* reader.runRecords(ownRun);\n\n  if (inputEntry === undefined && runRecords.some(({ record }) => !isPreContinuationFact(record)))\n    return yield* invalid(\"Admitted Run executed without its original canonical input\", threadId);\n  const operations = toolOperationStates(runRecords, ownRun);\n  const operationCounts = new Map<ToolCallId, number>();\n\n  for (const state of operations)\n    operationCounts.set(\n      state.operation.toolCallId,\n      (operationCounts.get(state.operation.toolCallId) ?? 0) + 1,\n    );\n  const toolRecords = new Map<ToolCallId, Array<CanonicalRecordEnvelope>>();\n\n  for (const entry of runRecords) {\n    const payload = entry.record.payload;\n\n    if (!(\"toolCallId\" in payload)) continue;\n    const entries = toolRecords.get(payload.toolCallId) ?? [];\n\n    entries.push(entry);\n    toolRecords.set(payload.toolCallId, entries);\n  }\n  const commands = yield* reader.commands(admission.submissionId);\n  const approvals = commands.approvals.map((intent) => ApprovalDecisionIntent.make(intent));\n  const resolutions = commands.resolutions.map((intent) => UnknownResolutionIntent.make(intent));\n  const acceptedAbort = commands.aborts[0];\n\n  if (commands.aborts.length > 1) return yield* invalid(\"Duplicate accepted abort\", threadId);\n  const canonicalAbort = yield* reader.record(submissionAbortRecordId(admission.submissionId));\n\n  if (canonicalAbort !== undefined && acceptedAbort === undefined)\n    return yield* invalid(\"Canonical abort has no immutable accepted command\", threadId);\n\n  const abort =\n    canonicalAbort?.record.payload._tag === \"AbortRequested\"\n      ? AbortIntent.make({\n          ...canonicalAbort.record.payload,\n          requestedAt: acceptedAbort?.requestedAt ?? canonicalAbort.record.createdAt,\n          canonicalRecordId: canonicalAbort.record.recordId,\n        })\n      : acceptedAbort === undefined\n        ? undefined\n        : AbortIntent.make(acceptedAbort);\n\n  if (\n    acceptedAbort !== undefined &&\n    abort !== undefined &&\n    (acceptedAbort.author !== abort.author || acceptedAbort.reason !== abort.reason)\n  )\n    return yield* invalid(\"Accepted abort conflicts with the canonical command\", threadId);\n  for (const command of [...approvals, ...resolutions]) {\n    if (operationCounts.get(command.toolCallId) !== 1)\n      return yield* invalid(\n        \"Accepted tool command has no unambiguous canonical declaration\",\n        threadId,\n      );\n  }\n  for (const command of approvals) {\n    const requested = (toolRecords.get(command.toolCallId) ?? []).filter(\n      ({ record: { payload } }) =>\n        payload._tag === \"ToolApprovalRequested\" && payload.toolCallId === command.toolCallId,\n    );\n\n    const decided = (toolRecords.get(command.toolCallId) ?? []).filter(\n      ({ record: { payload } }) =>\n        payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === command.toolCallId,\n    );\n\n    if (\n      requested.length !== 1 ||\n      decided.length > 1 ||\n      decided.some(\n        ({ record: { payload } }) =>\n          payload._tag === \"ToolApprovalDecided\" &&\n          (payload.decision !== command.decision ||\n            payload.resolver !== command.resolver ||\n            payload.reason !== command.reason),\n      )\n    )\n      return yield* invalid(\n        \"Accepted approval conflicts with its canonical request or decision\",\n        threadId,\n      );\n  }\n  for (const command of resolutions) {\n    if (command.resolution._tag === \"AbortSubmission\" && abort === undefined)\n      return yield* invalid(\n        \"AbortSubmission resolution has no accepted or canonical abort\",\n        threadId,\n      );\n\n    const resolved = (toolRecords.get(command.toolCallId) ?? []).filter(\n      ({ record: { payload } }) =>\n        payload._tag === \"ToolCallResolved\" &&\n        payload.toolCallId === command.toolCallId &&\n        (payload.resolution === \"safe-retry\" ? \"execution\" : \"factual\") ===\n          unknownResolutionKind(command.resolution),\n    );\n\n    const expected =\n      command.resolution._tag === \"CompletedWithResult\"\n        ? command.resolution.isFailure\n          ? \"failed-with-error\"\n          : \"completed-with-result\"\n        : command.resolution._tag === \"NeverHappened\"\n          ? \"never-started\"\n          : command.resolution._tag === \"SafeToRetry\"\n            ? \"safe-retry\"\n            : undefined;\n\n    if (\n      resolved.length > 1 ||\n      resolved.some(\n        ({ record: { payload } }) =>\n          payload._tag === \"ToolCallResolved\" &&\n          (payload.resolution !== expected ||\n            payload.author !== command.author ||\n            payload.reason !== command.reason),\n      )\n    )\n      return yield* invalid(\"Accepted resolution conflicts with its canonical audit\", threadId);\n    if (command.resolution._tag === \"CompletedWithResult\") {\n      const result = command.resolution;\n\n      const outcomes = (toolRecords.get(command.toolCallId) ?? []).filter(\n        ({ record: { payload } }) =>\n          payload._tag === \"ToolCallSettled\" && payload.toolCallId === command.toolCallId,\n      );\n\n      if (\n        outcomes.length > 1 ||\n        outcomes.some(\n          ({ record: { payload } }) =>\n            payload._tag === \"ToolCallSettled\" &&\n            (payload.isFailure !== result.isFailure ||\n              canonicalJson(payload.result) !== canonicalJson(result.result)),\n        )\n      )\n        return yield* invalid(\n          \"Accepted resolution conflicts with the canonical tool result\",\n          threadId,\n        );\n    }\n  }\n\n  const unknown = operations\n    .filter(\n      (state) =>\n        !state.settled &&\n        !state.resolved &&\n        (state.unknown ||\n          (!state.dispatchBlocked &&\n            state.operation.executionKind === \"ordinary\" &&\n            state.operation.executionClass !== \"readonly\")),\n    )\n    .map((state) => state.operation.toolCallId);\n\n  const acceptedApprovals = new Set(approvals.map((intent) => intent.toolCallId));\n\n  const pendingApprovals = runRecords\n    .filter(({ record: { payload } }) => payload._tag === \"ToolApprovalRequested\")\n    .flatMap(({ record }) => {\n      if (record.payload._tag !== \"ToolApprovalRequested\") return [];\n      const id = record.payload.toolCallId;\n\n      return acceptedApprovals.has(id) ||\n        (toolRecords.get(id) ?? []).some(\n          ({ record: { payload } }) =>\n            payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === id,\n        )\n        ? []\n        : [id];\n    });\n\n  const suspension =\n    pendingApprovals.length === 0\n      ? undefined\n      : SuspensionSnapshot.make({\n          reason: ApprovalPendingSuspension.make({\n            toolCallIds: [pendingApprovals[0], ...pendingApprovals.slice(1)],\n          }),\n          suspendedAt: runRecords.at(-1)?.record.createdAt ?? admission.createdAt,\n        });\n\n  // An admitted input need not have reached the log. Its immutable fact is the work;\n  // recovery materializes an admitted Thread before it becomes ready.\n  const state =\n    settlement !== undefined\n      ? \"settled\"\n      : joined !== undefined\n        ? \"joined\"\n        : unknown.length > 0\n          ? \"unknown\"\n          : suspension !== undefined\n            ? \"suspended\"\n            : inputEntry !== undefined\n              ? \"input-applied\"\n              : (yield* reader.hasAgent(admission.agentId))\n                ? \"ready\"\n                : \"admitted\";\n\n  return RebuiltSubmission.make({\n    admission,\n    state,\n    ...(inputEntry === undefined\n      ? {}\n      : {\n          inputApplied: InputAppliedMarker.make({\n            recordId: inputEntry.record.recordId,\n            sequence: inputEntry.sequence,\n          }),\n        }),\n    ...(joined === undefined ? {} : { joinedHostSubmissionId: joined }),\n    ...(settlement === undefined ? {} : { settlement }),\n    ...(state !== \"suspended\" || suspension === undefined ? {} : { suspension }),\n    unknownToolCallIds: unknown,\n    ...(abort === undefined ? {} : { abort }),\n    approvals,\n    resolutions,\n  });\n});\n\n/** Immediate persistent history has no ledger/checkpoint owner, but still needs a terminal Run fact. */\nexport const validateClosedRun = Effect.fnUntraced(function* (threadId: ThreadId, runId: RunId) {\n  const reader = yield* ThreadImportReader;\n  const records = yield* reader.runRecords(runId);\n\n  const opened = records.some(\n    ({ record: { payload } }) =>\n      (payload._tag === \"UserInputRecorded\" ||\n        payload._tag === \"RunStarted\" ||\n        payload._tag === \"ModelResponseRecorded\") &&\n      payload.runId === runId,\n  );\n\n  const closed = records.some(\n    ({ record: { payload } }) =>\n      (payload._tag === \"RunCompleted\" ||\n        payload._tag === \"RunFailed\" ||\n        payload._tag === \"SubmissionSettled\") &&\n      payload.runId === runId,\n  );\n\n  if (opened && !closed) return yield* invalid(\"Transfer contains an unfinished Run\", threadId);\n});\n\n/** Idle transfer keeps closed receipts, never the authority to finish their former work. */\nexport const rebuildClosedSubmission = Effect.fnUntraced(function* (admission: ThreadAdmission) {\n  if (admission.settledAt === undefined)\n    return yield* invalid(\n      \"Closed admission is missing its stable settlement timestamp\",\n      admission.threadId,\n    );\n  const rebuilt = yield* rebuildImportedSubmission(admission);\n  const reader = yield* ThreadImportReader;\n\n  if (\n    rebuilt.state !== \"settled\" ||\n    rebuilt.unknownToolCallIds.length > 0 ||\n    rebuilt.suspension !== undefined\n  )\n    return yield* invalid(\"Transfer contains unfinished accepted work\", admission.threadId);\n  if (rebuilt.abort !== undefined && rebuilt.abort.canonicalRecordId === undefined)\n    return yield* invalid(\"Transfer contains an unapplied abort\", admission.threadId);\n  const records = yield* reader.runRecords(runIdForSubmission(admission.submissionId));\n\n  const decidedApprovals = new Set(\n    records.flatMap(({ record: { payload } }) =>\n      payload._tag === \"ToolApprovalDecided\" ? [payload.toolCallId] : [],\n    ),\n  );\n\n  if (\n    records.some(\n      ({ record: { payload } }) =>\n        payload._tag === \"ToolApprovalRequested\" && !decidedApprovals.has(payload.toolCallId),\n    )\n  )\n    return yield* invalid(\"Transfer contains an unresolved approval\", admission.threadId);\n  for (const approval of rebuilt.approvals)\n    if (\n      !records.some(\n        ({ record: { payload } }) =>\n          payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === approval.toolCallId,\n      )\n    )\n      return yield* invalid(\"Transfer contains an unapplied approval\", admission.threadId);\n  for (const resolution of rebuilt.resolutions)\n    if (\n      resolution.resolution._tag !== \"AbortSubmission\" &&\n      !records.some(\n        ({ record: { payload } }) =>\n          payload._tag === \"ToolCallResolved\" &&\n          payload.toolCallId === resolution.toolCallId &&\n          (payload.resolution === \"safe-retry\" ? \"execution\" : \"factual\") ===\n            unknownResolutionKind(resolution.resolution),\n      )\n    )\n      return yield* invalid(\"Transfer contains an unapplied resolution\", admission.threadId);\n  yield* verifyImportedInputOrder(admission);\n\n  return rebuilt;\n});\n\n/** Encode one page at a time and retain upstream stream errors and requirements. */\nexport const reencodeThread = Effect.fnUntraced(function* <E, R>(\n  source: Stream.Stream<ThreadExport, E, R>,\n) {\n  const target = yield* ThreadImport;\n\n  return yield* target.import(\n    source.pipe(\n      Stream.mapEffect((page) =>\n        Schema.encodeEffect(ThreadExport)(page).pipe(\n          Effect.flatMap(Schema.decodeUnknownEffect(ThreadArchive)),\n          Effect.mapError(() => invalid(\"Unable to encode source page\", page.threadId)),\n        ),\n      ),\n    ),\n  );\n});\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAgBA,IAAa,qBAAb,MAAa,2BAA2B,QAAQ,QA4B9C,CAAC,CAAC,yCAAyC,CAAC,CAAC;;CAE7C,OAAO,MAAM,QAAuC;EAClD,OAAO,MAAM,eACX,QAAQ,KAAK,oBAAoB,MAAM,CAAC,CAAC,KACvC,QAAQ,IAAI,kBAAkB;GAC5B,QAAQ,OAAO;GACf,OAAO,YACL,OAAO,KAAK;IACV,UAAU,QAAQ;IAClB,WAAW;KAAE,MAAM;KAAkB,iBAAiB,QAAQ;IAAgB;IAC9E,MAAM;KACJ,OAAO,QAAQ;KACf,GAAI,QAAQ,kBAAkB,KAAA,IAC1B,CAAC,IACD,EAAE,eAAe,QAAQ,cAAc;IAC7C;GACF,CAAC;EACL,CAAC,CACH,CACF;CACF;AACF;;AAGA,IAAa,6BAAb,cAAgD,QAAQ,QAYtD,CAAC,CAAC,iDAAiD,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;ACpBxD,MAAM,mBAAmB,OAAO,cAAc,YAAY;;;AAI1D,MAAa,gBAAgB,OAAO,OAAO;CACzC,GAAG,aAAa;CAChB,SAAS,OAAO,MACd,OAAO,OAAO;EAAE,GAAG,wBAAwB;EAAQ,QAAQ;CAAW,CAAC,CACzE,CAAC,CAAC,MAAM,OAAO,YAAA,GAA0C,CAAC;AAC5D,CAAC;AAID,MAAM,wBAAwB,sBAAsB,eAAe;AACnE,MAAM,oBAAoB,sBAAsB,eAAe;AAC/D,MAAM,uBAAuB,sBAAsB,kBAAkB;AACrE,MAAM,yBAAyB,sBAAsB,oBAAoB;AACzE,MAAM,uBAAuB,sBAAsB,qBAAqB;AAExE,IAAa,qBAAb,cAAwC,OAAO,MAC7C,yCACF,CAAC,CAAC;CACA,UAAU;CACV,QAAQ,OAAO;CACf,cAAc;CACd,aAAa,OAAO;CACpB,iBAAiB,OAAO;AAC1B,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,uBAAb,cAA0C,OAAO,YAAkC,CAAC,CAClF,wBACA;CACE,UAAU,OAAO,YAAY,QAAQ;CACrC,QAAQ,OAAO,SAAS;EACtB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF,CAAC;CACD,SAAS,OAAO;AAClB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,eAAb,cAAkC,QAAQ,QAOxC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC;AAE1C,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC;CACA,WAAW;CACX,OAAO;CACP,cAAc,OAAO,YAAY,kBAAkB;CACnD,wBAAwB,OAAO,YAAY,YAAY;CACvD,YAAY,OAAO,YAAY,cAAc;CAC7C,YAAY,OAAO,YAAY,kBAAkB;CACjD,oBAAoB,OAAO,MAAM,UAAU;CAC3C,OAAO,OAAO,YAAY,WAAW;CACrC,WAAW,OAAO,MAAM,sBAAsB;CAC9C,aAAa,OAAO,MAAM,uBAAuB;AACnD,CAAC,CAAC,CAAC,CAAC;;AAiBJ,MAAa,2BAA2B,OAAO,WAAW,WACxD,OACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,UAAU,OAAO;CACvB,MAAM,UAAU,MAAM,OAAO;CAE7B,IAAI,QAAQ,SAAS,wBAAwB;EAC3C,MAAM,cAAc,OAAO,QAAQ,QAAQ,aAAa;EAExD,IACE,gBAAgB,KAAA,KAChB,YAAY,aAAa,MAAM,YAC/B,YAAY,YAAY,MAAM,YAC9B,MAAM,OAAO,aAAa,0BAA0B,QAAQ,iBAE5D,OAAO,OAAO,QAAQ,4CAA4C,MAAM,QAAQ;EAGlF,IACE,EAAC,OAHoB,iBAAiB,aAAa,MAAM,EAAA,CAGhD,MACN,WACC,OAAO,SAAS,SAChB,OAAO,MAAM,MAAM,SAAS,aAC5B,OAAO,MAAM,OAAO,QAAQ,OAChC,GAEA,OAAO,OAAO,QACZ,mEACA,MAAM,QACR;CACJ;CAEA,IAAI,QAAQ,SAAS,sBAAsB;EACzC,MAAM,QAAQ,OAAO,OAAO,SAAS,QAAQ,KAAK;EAElD,MAAM,WACJ,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,QAAQ,wBAAwB,MAAM,YAAY,CAAC;EAE9F,IACE,aAAa,KAAA,KACb,SAAS,aAAa,MAAM,YAC5B,SAAS,YAAY,MAAM,UAE3B,OAAO,OAAO,QAAQ,gDAAgD,MAAM,QAAQ;EACtF,OAAO,wBAAwB,SAAS,QAAQ,CAAC,CAAC,KAChD,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,MAAM,QAAQ,CAAC,CACnE;CACF;CAEA,MAAM,aACJ,QAAQ,SAAS,uBACb,CAAC,QAAQ,aAAa,QAAQ,IAAI,IAClC,QAAQ,SAAS,uBACf,QAAQ,WACR,QAAQ,SAAS,oBACf;EACE,QAAQ;EACR,QAAQ;EACR,QAAQ;EACR,QAAQ;EACR,QAAQ;CACV,CAAC,CAAC,QAAQ,QAAQ,QAAQ,KAAA,CAAS,IACnC,CAAC;CAEX,KAAK,MAAM,OAAO,YAAY;EAC5B,MAAM,WAAW,OAAO,QAAQ,IAAI,QAAQ;EAE5C,IACE,aAAa,KAAA,KACb,SAAS,aAAa,MAAM,YAC5B,SAAS,YAAY,MAAM,YAC1B,cAAc,OAAO,SAAS,aAAa,IAAI,UAEhD,OAAO,OAAO,QAAQ,oDAAoD,MAAM,QAAQ;CAC5F;CACA,IAAI,QAAQ,SAAS,sBAAsB;EACzC,MAAM,WAAW,OAAO,QAAQ,QAAQ,YAAY,QAAQ,EAAA,CAAI,OAAO;EACvE,MAAM,QAAQ,OAAO,QAAQ,QAAQ,KAAK,QAAQ,EAAA,CAAI,OAAO;EAC7D,MAAM,WAAW,OAAO,OAAO,SAAS,QAAQ,SAAS;EAEzD,IACE,aAAa,KAAA,KACb,SAAS,IAAI,kBAAkB,MAAM,YACrC,SAAS,IAAI,cAAc,QAAQ,aACnC,SAAS,WAAW,aACpB,SAAS,YAAY,QACrB,SAAS,eAAe,QACxB,SAAS,YAAY,QAAQ,mBAC7B,SAAS,mBAAmB,QAAQ,kBACpC,SAAS,SAAS,aAAa,QAAQ,kBACvC,SAAS,SAAS,sBAAsB,QAAQ,SAAS,aACzD,SAAS,SAAS,iBAAiB,QAAQ,SAAS,kBACpD,SAAS,SAAS,gBAAgB,QAAQ,SAAS,eACnD,SAAS,SAAS,oBAAoB,KAAA,KACtC,SAAS,SAAS,gBAAgB,cAAc,QAAQ,aACxD,SAAS,SAAS,gBAAgB,OAAO,OAAO,aAAa,MAAM,YACnE,KAAK,SAAS,yBACd,CAAC,OAAO,cAAc,SAAS,CAAC,CAC9B,KAAK,QAAQ,QACb,SAAS,SAAS,gBAAgB,OAAO,MAC3C,GAEA,OAAO,OAAO,QACZ,sEACA,MAAM,QACR;EACF,IAAI,QAAQ,SAAS,wBAEjB;OAAA,QAAQ,gBAAgB,SAAS,SAAS,eAC1C,CAAC,OAAO,cAAc,sBAAsB,OAAO,SAAS,OAAO,eAAe,CAAC,CACjF,QAAQ,WACR,SAAS,SAAS,eACpB,GAEA,OAAO,OAAO,QACZ,6DACA,MAAM,QACR;EAAA,OACG,IACL,QAAQ,SAAS,2BACjB,QAAQ,kBAAkB,QAAQ,kBAClC,QAAQ,kBAAkB,QAAQ,aAClC,QAAQ,aAAa,gBACrB,QAAQ,mBAAmB,SAAS,SAAS,gBAAgB,kBAC7D,QAAQ,uBAAuB,SAAS,SAAS,gBAAgB,sBACjE,QAAQ,UAAU,SAAS,SAAS,gBAAgB,OAAO,SAC3D,CAAC,OAAO,cAAc,sBAAsB,OAAO,MAAM,CAAC,CACxD,QAAQ,QACR,SAAS,SAAS,gBAAgB,OAAO,MAC3C,KACA,CAAC,OAAO,cAAc,sBAAsB,OAAO,KAAK,CAAC,CACvD,QAAQ,OACR,SAAS,SAAS,gBAAgB,OAAO,KAC3C,KACA,CAAC,OAAO,cAAc,sBAAsB,OAAO,MAAM,CAAC,CACxD,QAAQ,QACR,SAAS,SAAS,gBAAgB,OAAO,MAC3C,GAEA,OAAO,OAAO,QAAQ,kDAAkD,MAAM,QAAQ;CAC1F;AACF,CAAC;AAED,MAAM,WAAW,OAAO,WAAW,iBAAiB;AAEpD,MAAM,UAAU,UACd,WAAW,KAAK,CAAC,CAAC,KAAK,OAAO,eAAe,QAAQ,iCAAiC,CAAC,CAAC;AAE1F,MAAa,wBAAwB,SAAiB,aACpD,qBAAqB,KAAK;CACxB,QAAQ;CACR;CACA,GAAI,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,SAAS;AAC/C,CAAC;AAEH,MAAM,UAAU;;AAGhB,MAAa,4BAA4B,OAAO,WAAW,WACzD,UACA,YACA,cACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,WAAW,WAAW;CAC5B,MAAM,YAAY,OAAO,OAAO,UAAU,SAAS,YAAY;CAE/D,MAAM,OAAO,OAAO,OAAO,WAAW,SAAS,KAAK,EAAA,CAAG,QAAQ,UAC7D,gBAAgB,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,CACvD;CAEA,MAAM,QAAQ,IAAI,IAAI,WAAW,YAAY,KAAK,WAAW,CAAC,OAAO,UAAU,MAAM,CAAC,CAAC;CAEvF,IACE,cAAc,KAAA,KACd,UAAU,aAAa,YACvB,mBAAmB,UAAU,YAAY,MAAM,SAAS,SACxD,WAAW,eAAe,aACxB,KAAK,UAAU;EAAC;EAAkB,SAAS;EAAO,WAAW;CAAO,CAAC,KACvE,WAAW,kBAAkB,gBAC7B,WAAW,mBAAmB,WAAW,mBACzC,MAAM,SAAS,WAAW,YAAY,UACtC,WAAW,YAAY,MACpB,WAAW,CAAC,oBAAoB,MAAM,KAAK,CAAC,gBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,CAC9F,KACA,IAAI,QAAQ,UAAU,MAAM,YAAY,WAAW,eAAe,CAAC,CAAC,WAClE,WAAW,oBACb,CAAC,eAAe,KAAK,WAAW,eAAe,GAE/C,OAAO,OAAO,QACZ,sEACA,QACF;CACF,KAAK,MAAM,MAAM,MAAM,KAAK,GAC1B,KAAK,OAAO,OAAO,OAAO,EAAE,OAAO,KAAA,GACjC,OAAO,OAAO,QAAQ,uDAAuD,QAAQ;CAEzF,MAAM,UAAU,OAAO,WAAW,WAAW,KAAoC;EAC/E,MAAM,WAAW,OAAO,OAAO,OAAO,IAAI,QAAQ;EAClD,MAAM,SAAS,MAAM,IAAI,IAAI,QAAQ,KAAK,UAAU;EAEpD,IACE,WAAW,KAAA,KACV,aAAa,KAAA,MACX,SAAS,aAAa,YAAY,SAAS,WAAW,WAAW,oBACpE,CAAC,gBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,GAEhD,OAAO,OAAO,QAAQ,6DAA6D,QAAQ;EAE7F,OAAO;CACT,CAAC;CAED,MAAM,WAAW,OAAO,OAAO,OAAO,SAAS,cAAc,QAAQ;CACrE,MAAM,SAAS,OAAO,QAAQ,SAAS,aAAa,EAAA,CAAG;CAEvD,IACE,aAAa,KAAA,KACb,SAAS,aAAa,WAAW,oBACjC,MAAM,SAAS,uBACf,MAAM,SAAS,UACf,MAAM,UAAU,SAAS,SACzB,MAAM,iBAAiB,SAAS,cAEhC,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;CACzF,OAAO,QAAQ,SAAS,QAAQ;CAChC,IAAI,SAAS,iBAAiB,KAAA,GAAW;EACvC,MAAM,UAAU,OAAO,QAAQ,SAAS,YAAY;EAEpD,IAAI,QAAQ,QAAQ,SAAS,wBAAwB,CAAC,MAAM,IAAI,QAAQ,QAAQ,GAC9E,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;EAC3E,OAAO,wBAAwB,QAAQ,SAAS,QAAQ,CAAC,CAAC,KACxD,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,QAAQ,CAAC,CAC7D;EACA,OAAO,eAAe,QAAQ,SAAS,UAAU,SAAS,aAAa,QAAQ,CAAC,CAAC,KAC/E,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,QAAQ,CAAC,CAC7D;CACF;CACA,IAAI,SAAS,mBAAmB,KAAA,GAAW;EACzC,MAAM,YAAY,OAAO,QAAQ,SAAS,cAAc,EAAA,CAAG;EAE3D,IACE,SAAS,SAAS,2BAClB,SAAS,SAAS,SAAS,WAAW,kBACtC,SAAS,iBAAiB,KAAA,GAE1B,OAAO,OAAO,QAAQ,4DAA4D,QAAQ;CAC9F,OAAO,IAAI,SAAS,WAAW,mBAAmB,GAChD,OAAO,OAAO,QAAQ,mDAAmD,QAAQ;CACnF,IAAI,SAAS,aAAa,KAAA,GAAW;EACnC,MAAM,YAAY,OAAO,QAAQ,SAAS,QAAQ,EAAA,CAAG;EAErD,IACE,SAAS,SAAS,kBAClB,SAAS,SAAS,eAClB,SAAS,SAAS,qBAElB,OAAO,OAAO,QAAQ,gDAAgD,QAAQ;EAChF,IAAI,SAAS,aAAa,aAAa,SAAS,SAAS,qBACvD,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;CAC5F;AACF,CAAC;;AAGD,MAAa,+BAA+B,OAAO,WAAW,WAC5D,UACA,OACA,cACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,aAAa,OAAO,OAAO,UAAU,KAAK;CAEhD,IAAI,eAAe,KAAA,GACjB,OAAO,OAAO,0BAA0B,UAAU,YAAY,YAAY;CAC5E,MAAM,UAAU,OAAO,OAAO,WAAW,KAAK;CAE9C,IACE,QAAQ,MACL,EAAE,aACD,OAAO,QAAQ,SAAS,uBACxB,OAAO,QAAQ,SAAS,UACxB,OAAO,QAAQ,iBAAiB,KAAA,CACpC,KACA,CAAC,QAAQ,MACN,EAAE,aAAa,OAAO,QAAQ,SAAS,uBAAuB,OAAO,QAAQ,UAAU,KAC1F,KACA,QAAQ,MAAM,EAAE,aAAa,CAAC,sBAAsB,MAAM,CAAC,GAE3D,OAAO,OAAO,QAAQ,gEAAgE,QAAQ;AAClG,CAAC;;AAGD,MAAa,uBACX,OACA,QAEA,OAAO,OACL,OAAO,cAAc;CACnB,MAAM,QAAQ,EAAE,SAAS,MAAM;CAE/B,OAAO,OAAO,IAAI,aAAa;EAC7B,MAAM,OAAO,OAAO,OAAO,OAAO,OAAO,QAAQ,OAAO,CAAC,CAAC;EAE1D,MAAM,QAAQ,OAAO,KAAK,UAAU,YAClC,OAAO,KAAK,QAAQ,wBAAwB,CAAC,CAC/C;EAEA,MAAM,QAAQ,OAAO,eAAe,aAAa;EAEjD,MAAM,OAAO,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KACvD,OAAO,UAAU,UAAU,QAAQ,kCAAkC,MAAM,SAAS,CAAC,CACvF;EAEA,IAAI,eAAe,IAAI,IAAA,UACrB,OAAO,OAAO,QAAQ,8BAA8B;EAEtD,MAAM,QAAQ,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KACpD,OAAO,UAAU,UAAU,QAAQ,kCAAkC,MAAM,SAAS,CAAC,CACvF;EAEA,MAAM,UAAU;EAEhB,OAAO,OAAO,IACZ,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,OAAO,OAAO,OAAO,SAAS,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CACjF;CACF,CAAC,CAAC,CAAC,KAAK,OAAO,eAAe,mBAAmB,KAAK,CAAC;AACzD,CAAC,CACH;AAiBF,MAAa,kCAAwD;CACnE,UAAU,KAAA;CACV,UAAU;CACV,OAAO;CACP,QAAQ,KAAA;CACR,QAAQ;EAAE,YAAY;EAAG,QAAQ;EAAG,WAAW;EAAG,aAAa;EAAG,YAAY;CAAE;AAClF;;AAGA,MAAa,oBAAoB,OAAO,WAAW,WACjD,OACA,OACA,SACA;CACA,MAAM,QAAQ,OAAO,eAAe,aAAa;CAEjD,MAAM,OAAO,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,KACpD,OAAO,eAAe,QAAQ,yBAAyB,CAAC,CAC1D;CAEA,IAAI,eAAe,IAAI,IAAA,UACrB,OAAO,OAAO,QAAQ,8BAA8B;CAEtD,MAAM,UAAU,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KACtD,OAAO,eAAe,QAAQ,yBAAyB,CAAC,CAC1D;CAEA,MAAM,EAAE,aAAa;CAIrB,IACE,CAAC,iBAAiB,QAAQ,KAC1B,QAAQ,WAAW,MAAM,SAAS,CAAC,sBAAsB,UAAU,IAAI,CAAC,KACxE,QAAQ,SAAS,OAAO,MAAM,SAAS,CAAC,kBAAkB,UAAU,IAAI,CAAC,KACzE,QAAQ,SAAS,UAAU,MAAM,SAAS,CAAC,qBAAqB,UAAU,IAAI,CAAC,KAC/E,QAAQ,SAAS,YAAY,MAAM,SAAS,CAAC,uBAAuB,UAAU,IAAI,CAAC,KACnF,QAAQ,WAAW,MAAM,SAAS,CAAC,qBAAqB,UAAU,IAAI,CAAC,GAEvE,OAAO,OAAO,qBAAqB,KAAK;EACtC;EACA,QAAQ;EACR,SAAS;CACX,CAAC;CAEH,IAAI,MAAM,OAAO,OAAO,OAAO,QAAQ,sCAAsC,QAAQ;CACrF,IAAI,QAAQ,WAAA,yBACV,OAAO,OAAO,qBAAqB,KAAK;EACtC;EACA,QAAQ;EACR,SAAS,QAAQ,sBAAsB;CACzC,CAAC;CACH,IAAI,MAAM,aAAa,KAAA,KAAa,CAAC,qBAAqB,MAAM,UAAU,OAAO,GAC/E,OAAO,OAAO,QAAQ,6BAA6B,QAAQ;CAC7D,IACE,QAAQ,iBAAiB,MAAM,WAAW,KACzC,QAAQ,WAAW,KAAA,KAAa,QAAQ,WAAW,MAAM,QAE1D,OAAO,OAAO,QAAQ,qCAAqC,QAAQ;CACrE,IAAI,QAAQ,QAAQ,SAAS,KAAK,iBAAiB,MAAM,YAAY,MAAM,OAAO,WAAW,CAAC,GAC5F,OAAO,OAAO,QAAQ,oDAAoD,QAAQ;CACpF,IACE,QAAQ,WAAW,SAAS,KAC5B,MAAM,OAAO,SACX,MAAM,OAAO,YACb,MAAM,OAAO,cACb,MAAM,OAAO,aACb,GAEF,OAAO,OAAO,QAAQ,+CAA+C,QAAQ;CAC/E,MAAM,UAA0C,CAAC;CACjD,MAAM,WAAuC,CAAC;CAC9C,IAAI,QAAQ;CAEZ,KAAK,MAAM,SAAS,QAAQ,SAAS;EACnC,MAAM,UAAiC,CAAC;EACxC,MAAM,UAA6B,CAAC;EACpC,MAAM,gBAAgB,SAAS,MAAM,WAAW,CAAC;EAEjD,OAAO,QAAQ,QAAQ,MAAM,EAAE,YAAY,MAAM,SAAS;GACxD,MAAM,QAAQ,QAAQ,QAAQ;GAE9B,IAAI,MAAM,aAAa,YAAY,MAAM,aAAa,MAAM,WAAW,GACrE,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;GAE3E,MAAM,SAAS,OAAO,mBAAmB,QAAQ,QAAQ,MAAM,MAAM,CAAC,CAAC,KACrE,OAAO,UAAU,MAAM,QAAQ,EAAE,SAAS,QAAQ,CAAC,CACrD;GAEA,IAAI,OAAO,QAAQ,SAAS,mBAC1B,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;GAEzF,QAAQ,KAAK,wBAAwB,KAAK;IAAE,GAAG;IAAO;GAAO,CAAC,CAAC;GAC/D,QAAQ,KAAK,MAAM;GACnB,QAAQ,KAAK,MAAM,MAAM;GACzB;GACA,MAAM;EACR;EAEA,MAAM,YAAY,OAAO,OAAO,oBAC9B,OAAO,OAAO,OAAO,OAAO,eAAe,MAAM,CAAC,CACpD,CAAC,CAAC;GAAE,GAAG;GAAO,SAAS;EAAQ,CAAC,CAAC,CAAC,KAChC,OAAO,eAAe,QAAQ,sCAAsC,QAAQ,CAAC,GAC7E,OAAO,KAAK,UAAU,eAAe,KAAK,KAAK,CAAC,CAClD;EAEA,MAAM,YAAY,cAAc;GAAE,GAAG;GAAO,SAAS;EAAQ,CAAC;EAE9D,IAAI,eAAe,SAAS,IAAI,UAC9B,OAAO,OAAO,QAAQ,kCAAkC,QAAQ;EAClE,SAAS,KAAK;GACZ,OAAO;GACP;GACA,YAAY,QAAQ,IAAI,aAAa;GACrC;GACA,cAAc,SAAS,MAAM,QAAQ;EACvC,CAAC;CACH;CACA,IAAI,UAAU,QAAQ,QAAQ,UAAU,MAAM,WAAW,QAAQ,cAC/D,OAAO,OAAO,QACZ,iEACA,QACF;CACF,IACE,QAAQ,WAAW,SACjB,QAAQ,SAAS,OAAO,SACxB,QAAQ,SAAS,UAAU,SAC3B,QAAQ,SAAS,YAAY,SAC7B,QAAQ,WAAW,SACnB,KACF,MAAM,aAAa,QAAQ,cAE3B,OAAO,OAAO,QAAQ,4DAA4D,QAAQ;CAC5F,IACE,QAAQ,SAAS,OAAO,SACtB,QAAQ,SAAS,UAAU,SAC3B,QAAQ,SAAS,YAAY,SAC7B,KACF,MAAM,OAAO,aAAa,QAAQ,WAAW,WAAW,QAAQ,SAAS,YAEzE,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAE9F,MAAM,iBAAiB,YACrB,YAAY,eACR,QAAQ,WAAW,SACnB,YAAY,eACV,QAAQ,WAAW,SACnB,QAAQ,SAAS,QAAQ,CAAC;CAElC,KAAK,IAAI,QAAQ,GAAG,QAAQ,iBAAiB,QAAQ,SAAS;EAC5D,MAAM,UAAU,iBAAiB;EAEjC,IAAI,cAAc,OAAO,MAAM,GAAG;EAClC,IACE,iBACG,MAAM,GAAG,KAAK,CAAC,CACf,MAAM,UAAU,MAAM,OAAO,SAAS,cAAc,KAAK,MAAM,QAAQ,SAAS,MAAM,KACzF,iBAAiB,MAAM,QAAQ,CAAC,CAAC,CAAC,MAAM,UAAU,MAAM,OAAO,WAAW,CAAC,GAE3E,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;CAC7E;CACA,MAAM,WAAW,qBAAqB,OAAO;CAE7C,IAAI,cAAc,QAAQ,MAAM,cAAc,CAAC,GAAG,QAAQ,YAAY,CAAC,CAAC,KAAK,CAAC,GAC5E,OAAO,OAAO,QAAQ,+DAA+D,QAAQ;CAC/F,KAAK,MAAM,WAAW,kBAAkB;EACtC,MAAM,OAAO,YAAY,cAAc,OAAO;EAC9C,IAAI,MAAM,OAAO,WAAW,QAAQ,SAAS,UAC3C,OAAO,OAAO,QAAQ,YAAY,QAAQ,SAAS,QAAQ;CAC/D;CACA,KAAK,MAAM,aAAa,QAAQ,YAAY;EAC1C,IAAI,CAAC,SAAS,gBAAgB,UAAU,cAAc,KAAA,GACpD,OAAO,OAAO,QACZ,+DACA,QACF;EACF,IACE,UAAU,aAAa,aACtB,OAAO,OAAO,UAAU,YAAY,OAAO,UAAU,aAEtD,OAAO,OAAO,QAAQ,+CAA+C,QAAQ;CACjF;CACA,KAAK,MAAM,YAAY,QAAQ,YAAY;EACzC,MAAM,UAAU,OAAO,OAAO,aAAa,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,KAC1E,OAAO,eAAe,QAAQ,yBAAyB,QAAQ,CAAC,CAClE;EAEA,IACE,SAAS,IAAI,kBAAkB,YAC9B,CAAC,SAAS,iBACR,SAAS,qBAAqB,QAC7B,CAAC,CAAC,aAAa,SAAS,CAAC,CAAC,SAAS,SAAS,MAAM,OACrD,OAAO,OAAO,QAAQ,QAAQ,OAAO,SAAS,gBAE/C,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;CAC3F;CACA,MAAM,WAAW;EACf,GAAG;EACH,SAAS,CAAC;EACV,SAAS,CAAC;EACV,YAAY,CAAC;EACb,UAAU;GAAE,QAAQ,CAAC;GAAG,WAAW,CAAC;GAAG,aAAa,CAAC;EAAE;EACvD,YAAY,CAAC;EACb,cAAc,CAAC;CACjB;CACA,MAAM,SAAS,QAAQ;CACvB,MAAM,QAAQ,QAAQ,WAAW,KAAA;CAEjC,OAAO;EAAE;EAAS;EAAS,SAAS;CAAS;AAC/C,CAAC;AAED,MAAa,qBAAqB,OAAO,WAAW,WAAW,OAA6B;CAC1F,MAAM,OAAO,MAAM;CAEnB,IACE,SAAS,KAAA,KACT,CAAC,MAAM,SACP,MAAM,aAAa,KAAK,gBACxB,iBAAiB,MAAM,YAAY,MAAM,OAAO,aAAa,KAAK,SAAS,QAAQ,GAEnF,OAAO,OAAO,QACZ,gFACF;CAEF,OAAO,mBAAmB,KAAK;EAC7B,UAAU,KAAK;EACf,QAAQ,KAAK;EACb,cAAc,KAAK;EACnB,aAAa,MAAM;EACnB,iBAAiB,MAAM,OAAO;CAChC,CAAC;AACH,CAAC;;AAGD,MAAa,2BAA2B,OAAO,WAAW,WACxD,WACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,aAAa,OAAO,OAAO,OAAO,6BAA6B,UAAU,YAAY,CAAC;CAE5F,IAAI,eAAe,KAAA,GAAW;CAC9B,MAAM,UAAU,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CACpF,MAAM,UAAU,WAAW,OAAO;CAElC,IACE,YAAY,KAAA,KACZ,QAAQ,SAAS,uBACjB,QAAQ,YAAY,WAEpB;CACF,IAAI,YAAY,KAAA,KAAa,QAAQ,YAAY,WAAW,UAC1D,OAAO,OAAO,QACZ,wDACA,UAAU,QACZ;AACJ,CAAC;;AAGD,MAAa,4BAA4B,OAAO,WAAW,WAAW,WAA4B;CAChG,MAAM,SAAS,OAAO;CACtB,MAAM,WAAW,UAAU;CAC3B,MAAM,aAAa,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CACvF,MAAM,UAAU,YAAY,OAAO;CAEnC,IACE,eAAe,KAAA,MACd,SAAS,SAAS,uBACjB,QAAQ,iBAAiB,UAAU,gBAClC,QAAQ,SAAS,UAAU,QAAQ,SAAS,eAC5C,QAAQ,qBAAqB,KAAA,IAC1B,UAAU,qBAAqB,KAAA,IAC/B,UAAU,qBAAqB,KAAA,KAC/B,CAAC,iBAAiB,QAAQ,kBAAkB,UAAU,gBAAgB,MAC1E,cAAc,QAAQ,KAAK,MAAM,cAAc,UAAU,YAAY,IAEvE,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;CAC1F,MAAM,QAAQ,SAAS,SAAS,sBAAsB,QAAQ,QAAQ,KAAA;CACtE,MAAM,OAAO,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,OAAO,SAAS,KAAK;CAE3E,IAAI,eAAe,KAAA,KAAa,SAAS,KAAA,GACvC,OAAO,OAAO,QAAQ,uCAAuC,QAAQ;CAEvE,MAAM,SACJ,SAAS,KAAA,KAAa,KAAK,iBAAiB,UAAU,eAClD,KAAK,eACL,KAAA;CAEN,IACE,SAAS,SAAS,uBAClB,QAAQ,UAAU,WAAW,KAAA,IAAY,SAAS,aAElD,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAE9F,IAAI,WAAW,KAAA,KAAa,SAAS,KAAA,KAAa,KAAK,iBAAiB,UAAU,eAChF,OAAO,OAAO,QAAQ,4CAA4C,QAAQ;CAE5E,MAAM,cAAc,OAAO,OAAO,OAAO,6BAA6B,UAAU,YAAY,CAAC,EAAA,EACzF;CAEJ,IAAI,eAAe,KAAA,GAAW;EAC5B,OAAO,4BAA4B,YAAY,SAAS,CAAC,CAAC,KACxD,OAAO,eAAe,QAAQ,mDAAmD,QAAQ,CAAC,CAC5F;EACA,IAAI,WAAW,QAAQ,SAAS,uBAAuB,WAAW,QAAQ,UAAU,OAClF,OAAO,OAAO,QAAQ,mDAAmD,QAAQ;EACnF,IAAI,WAAW,KAAA,GAAW;GACxB,MAAM,kBAAkB,OAAO,OAAO,OAAO,6BAA6B,MAAM,CAAC,EAAA,EAAI,OAClF;GAEH,IAAI,gBAAgB,SAAS,qBAC3B,OAAO,OAAO,QAAQ,4CAA4C,QAAQ;GAC5E,OAAO,yBAAyB,WAAW,SAAS,cAAc,CAAC,CAAC,KAClE,OAAO,eAAe,QAAQ,6CAA6C,QAAQ,CAAC,CACtF;EACF;CACF;CACA,MAAM,SAAS,mBAAmB,UAAU,YAAY;CAExD,MAAM,aAAa,OAAO,OAAO,WAAW,MAAM;CAElD,IAAI,eAAe,KAAA,KAAa,WAAW,MAAM,EAAE,aAAa,CAAC,sBAAsB,MAAM,CAAC,GAC5F,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAC9F,MAAM,aAAa,oBAAoB,YAAY,MAAM;CACzD,MAAM,kCAAkB,IAAI,IAAwB;CAEpD,KAAK,MAAM,SAAS,YAClB,gBAAgB,IACd,MAAM,UAAU,aACf,gBAAgB,IAAI,MAAM,UAAU,UAAU,KAAK,KAAK,CAC3D;CACF,MAAM,8BAAc,IAAI,IAAgD;CAExE,KAAK,MAAM,SAAS,YAAY;EAC9B,MAAM,UAAU,MAAM,OAAO;EAE7B,IAAI,EAAE,gBAAgB,UAAU;EAChC,MAAM,UAAU,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC;EAExD,QAAQ,KAAK,KAAK;EAClB,YAAY,IAAI,QAAQ,YAAY,OAAO;CAC7C;CACA,MAAM,WAAW,OAAO,OAAO,SAAS,UAAU,YAAY;CAC9D,MAAM,YAAY,SAAS,UAAU,KAAK,WAAW,uBAAuB,KAAK,MAAM,CAAC;CACxF,MAAM,cAAc,SAAS,YAAY,KAAK,WAAW,wBAAwB,KAAK,MAAM,CAAC;CAC7F,MAAM,gBAAgB,SAAS,OAAO;CAEtC,IAAI,SAAS,OAAO,SAAS,GAAG,OAAO,OAAO,QAAQ,4BAA4B,QAAQ;CAC1F,MAAM,iBAAiB,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CAE3F,IAAI,mBAAmB,KAAA,KAAa,kBAAkB,KAAA,GACpD,OAAO,OAAO,QAAQ,qDAAqD,QAAQ;CAErF,MAAM,QACJ,gBAAgB,OAAO,QAAQ,SAAS,mBACpC,YAAY,KAAK;EACf,GAAG,eAAe,OAAO;EACzB,aAAa,eAAe,eAAe,eAAe,OAAO;EACjE,mBAAmB,eAAe,OAAO;CAC3C,CAAC,IACD,kBAAkB,KAAA,IAChB,KAAA,IACA,YAAY,KAAK,aAAa;CAEtC,IACE,kBAAkB,KAAA,KAClB,UAAU,KAAA,MACT,cAAc,WAAW,MAAM,UAAU,cAAc,WAAW,MAAM,SAEzE,OAAO,OAAO,QAAQ,uDAAuD,QAAQ;CACvF,KAAK,MAAM,WAAW,CAAC,GAAG,WAAW,GAAG,WAAW,GACjD,IAAI,gBAAgB,IAAI,QAAQ,UAAU,MAAM,GAC9C,OAAO,OAAO,QACZ,kEACA,QACF;CAEJ,KAAK,MAAM,WAAW,WAAW;EAC/B,MAAM,aAAa,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC3D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,2BAA2B,QAAQ,eAAe,QAAQ,UAC/E;EAEA,MAAM,WAAW,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QACzD,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,QAAQ,UAC7E;EAEA,IACE,UAAU,WAAW,KACrB,QAAQ,SAAS,KACjB,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,0BAChB,QAAQ,aAAa,QAAQ,YAC5B,QAAQ,aAAa,QAAQ,YAC7B,QAAQ,WAAW,QAAQ,OACjC,GAEA,OAAO,OAAO,QACZ,sEACA,QACF;CACJ;CACA,KAAK,MAAM,WAAW,aAAa;EACjC,IAAI,QAAQ,WAAW,SAAS,qBAAqB,UAAU,KAAA,GAC7D,OAAO,OAAO,QACZ,iEACA,QACF;EAEF,MAAM,YAAY,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC1D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBACjB,QAAQ,eAAe,QAAQ,eAC9B,QAAQ,eAAe,eAAe,cAAc,eACnD,sBAAsB,QAAQ,UAAU,CAC9C;EAEA,MAAM,WACJ,QAAQ,WAAW,SAAS,wBACxB,QAAQ,WAAW,YACjB,sBACA,0BACF,QAAQ,WAAW,SAAS,kBAC1B,kBACA,QAAQ,WAAW,SAAS,gBAC1B,eACA,KAAA;EAEV,IACE,SAAS,SAAS,KAClB,SAAS,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,uBAChB,QAAQ,eAAe,YACtB,QAAQ,WAAW,QAAQ,UAC3B,QAAQ,WAAW,QAAQ,OACjC,GAEA,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;EAC1F,IAAI,QAAQ,WAAW,SAAS,uBAAuB;GACrD,MAAM,SAAS,QAAQ;GAEvB,MAAM,YAAY,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC1D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,qBAAqB,QAAQ,eAAe,QAAQ,UACzE;GAEA,IACE,SAAS,SAAS,KAClB,SAAS,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBAChB,QAAQ,cAAc,OAAO,aAC5B,cAAc,QAAQ,MAAM,MAAM,cAAc,OAAO,MAAM,EACnE,GAEA,OAAO,OAAO,QACZ,gEACA,QACF;EACJ;CACF;CAEA,MAAM,UAAU,WACb,QACE,UACC,CAAC,MAAM,WACP,CAAC,MAAM,aACN,MAAM,WACJ,CAAC,MAAM,mBACN,MAAM,UAAU,kBAAkB,cAClC,MAAM,UAAU,mBAAmB,WAC3C,CAAC,CACA,KAAK,UAAU,MAAM,UAAU,UAAU;CAE5C,MAAM,oBAAoB,IAAI,IAAI,UAAU,KAAK,WAAW,OAAO,UAAU,CAAC;CAE9E,MAAM,mBAAmB,WACtB,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,QAAQ,SAAS,uBAAuB,CAAC,CAC7E,SAAS,EAAE,aAAa;EACvB,IAAI,OAAO,QAAQ,SAAS,yBAAyB,OAAO,CAAC;EAC7D,MAAM,KAAK,OAAO,QAAQ;EAE1B,OAAO,kBAAkB,IAAI,EAAE,MAC5B,YAAY,IAAI,EAAE,KAAK,CAAC,EAAA,CAAG,MACzB,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,EACrE,IACE,CAAC,IACD,CAAC,EAAE;CACT,CAAC;CAEH,MAAM,aACJ,iBAAiB,WAAW,IACxB,KAAA,IACA,mBAAmB,KAAK;EACtB,QAAQ,0BAA0B,KAAK,EACrC,aAAa,CAAC,iBAAiB,IAAI,GAAG,iBAAiB,MAAM,CAAC,CAAC,EACjE,CAAC;EACD,aAAa,WAAW,GAAG,EAAE,CAAC,EAAE,OAAO,aAAa,UAAU;CAChE,CAAC;CAIP,MAAM,QACJ,eAAe,KAAA,IACX,YACA,WAAW,KAAA,IACT,WACA,QAAQ,SAAS,IACf,YACA,eAAe,KAAA,IACb,cACA,eAAe,KAAA,IACb,mBACC,OAAO,OAAO,SAAS,UAAU,OAAO,KACvC,UACA;CAEhB,OAAO,kBAAkB,KAAK;EAC5B;EACA;EACA,GAAI,eAAe,KAAA,IACf,CAAC,IACD,EACE,cAAc,mBAAmB,KAAK;GACpC,UAAU,WAAW,OAAO;GAC5B,UAAU,WAAW;EACvB,CAAC,EACH;EACJ,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,EAAE,wBAAwB,OAAO;EACjE,GAAI,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;EACjD,GAAI,UAAU,eAAe,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;EAC1E,oBAAoB;EACpB,GAAI,UAAU,KAAA,IAAY,CAAC,IAAI,EAAE,MAAM;EACvC;EACA;CACF,CAAC;AACH,CAAC;;AAGD,MAAa,oBAAoB,OAAO,WAAW,WAAW,UAAoB,OAAc;CAE9F,MAAM,UAAU,QAAO,OADD,mBAAA,CACQ,WAAW,KAAK;CAE9C,MAAM,SAAS,QAAQ,MACpB,EAAE,QAAQ,EAAE,iBACV,QAAQ,SAAS,uBAChB,QAAQ,SAAS,gBACjB,QAAQ,SAAS,4BACnB,QAAQ,UAAU,KACtB;CAEA,MAAM,SAAS,QAAQ,MACpB,EAAE,QAAQ,EAAE,iBACV,QAAQ,SAAS,kBAChB,QAAQ,SAAS,eACjB,QAAQ,SAAS,wBACnB,QAAQ,UAAU,KACtB;CAEA,IAAI,UAAU,CAAC,QAAQ,OAAO,OAAO,QAAQ,uCAAuC,QAAQ;AAC9F,CAAC;;AAGD,MAAa,0BAA0B,OAAO,WAAW,WAAW,WAA4B;CAC9F,IAAI,UAAU,cAAc,KAAA,GAC1B,OAAO,OAAO,QACZ,+DACA,UAAU,QACZ;CACF,MAAM,UAAU,OAAO,0BAA0B,SAAS;CAC1D,MAAM,SAAS,OAAO;CAEtB,IACE,QAAQ,UAAU,aAClB,QAAQ,mBAAmB,SAAS,KACpC,QAAQ,eAAe,KAAA,GAEvB,OAAO,OAAO,QAAQ,8CAA8C,UAAU,QAAQ;CACxF,IAAI,QAAQ,UAAU,KAAA,KAAa,QAAQ,MAAM,sBAAsB,KAAA,GACrE,OAAO,OAAO,QAAQ,wCAAwC,UAAU,QAAQ;CAClF,MAAM,UAAU,OAAO,OAAO,WAAW,mBAAmB,UAAU,YAAY,CAAC;CAEnF,MAAM,mBAAmB,IAAI,IAC3B,QAAQ,SAAS,EAAE,QAAQ,EAAE,gBAC3B,QAAQ,SAAS,wBAAwB,CAAC,QAAQ,UAAU,IAAI,CAAC,CACnE,CACF;CAEA,IACE,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,2BAA2B,CAAC,iBAAiB,IAAI,QAAQ,UAAU,CACxF,GAEA,OAAO,OAAO,QAAQ,4CAA4C,UAAU,QAAQ;CACtF,KAAK,MAAM,YAAY,QAAQ,WAC7B,IACE,CAAC,QAAQ,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,SAAS,UAC9E,GAEA,OAAO,OAAO,QAAQ,2CAA2C,UAAU,QAAQ;CACvF,KAAK,MAAM,cAAc,QAAQ,aAC/B,IACE,WAAW,WAAW,SAAS,qBAC/B,CAAC,QAAQ,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBACjB,QAAQ,eAAe,WAAW,eACjC,QAAQ,eAAe,eAAe,cAAc,eACnD,sBAAsB,WAAW,UAAU,CACjD,GAEA,OAAO,OAAO,QAAQ,6CAA6C,UAAU,QAAQ;CACzF,OAAO,yBAAyB,SAAS;CAEzC,OAAO;AACT,CAAC;;AAGD,MAAa,iBAAiB,OAAO,WAAW,WAC9C,QACA;CAGA,OAAO,QAAO,OAFQ,aAAA,CAED,OACnB,OAAO,KACL,OAAO,WAAW,SAChB,OAAO,aAAa,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,KACtC,OAAO,QAAQ,OAAO,oBAAoB,aAAa,CAAC,GACxD,OAAO,eAAe,QAAQ,gCAAgC,KAAK,QAAQ,CAAC,CAC9E,CACF,CACF,CACF;AACF,CAAC"}

package/dist/{ThreadStore-CEekRa80.mjs → ThreadStore-59uDGXul.mjs}

@@ -4,10 +4,10 @@ import { n as utf8ByteLength } from "./utf8-B5pAmhTo.mjs";
 import { QueueSequence } from "./core/Receipt.mjs";
 import { n as AssignmentTerminal } from "./Worker-DZjdMjZn.mjs";
 import { B as ObservationOffset, C as MAX_CANONICAL_RECORD_BYTES, D as MAX_PERSISTED_JSON_NODES, P as MAX_RUN_TOOL_CALL_IDENTITIES, T as MAX_PERSISTED_JSON_COLLECTION_LENGTH, U as PersistedJson, V as PROMPT_EVIDENCE_TAGS, W as ProducerId, X as RecordEnvelope, Z as RecordId, b as Digest, f as CanonicalSequence, i as BatchId, o as CURRENT_RECORD_FORMAT, u as CanonicalRecordEnvelope } from "./Records-BiuJDWNe.mjs";
-import { c as canonicalJson } from "./Digest-DCuPlhNk.mjs";
+import { c as boundedCanonicalJson, l as canonicalJson } from "./Digest-EpeqWEdv.mjs";
 import { AbortIntent, AdmissionRequest, ApprovalDecisionIntent, UnknownResolutionIntent } from "./durable/SubmissionLedger.mjs";
 import { ExportRecord, ExportedRecord } from "./durable/RecordFormat.mjs";
-import { D as subagentLineageRecordId, Y as workerOriginRecordId, x as runIdForSubmission } from "./RunJournal-kfKVxJj7.mjs";
+import { D as subagentLineageRecordId, Y as workerOriginRecordId, x as runIdForSubmission } from "./RunJournal-CNZqA3Ge.mjs";
 import { ScheduleInstant } from "./durable/Schedule.mjs";
 import { MessageDeliveryRecord } from "./durable/MessageDelivery.mjs";
 import { MAX_CANONICAL_BATCH_BYTES } from "./durable/ThreadArchiveRange.mjs";
@@ -48,6 +48,10 @@ const recordLimits = {
 	collectionLength: MAX_PERSISTED_JSON_COLLECTION_LENGTH,
 	textUnits: MAX_CANONICAL_RECORD_BYTES
 };
+var RecordEncodingError = class extends Schema.TaggedError()("RecordEncodingError", {
+	message: Schema.String,
+	cause: Schema.optionalKey(Schema.Defect())
+}) {};
 const progressRecord = (record, bytes) => {
 	const payload = record.payload;
 	return Object.freeze({
@@ -61,33 +65,46 @@ const progressRecord = (record, bytes) => {
 	});
 };
 const captured = /* @__PURE__ */ new WeakMap();
+const setOwn = (target, key, value) => {
+	Object.defineProperty(target, key, {
+		value,
+		writable: true,
+		enumerable: true,
+		configurable: true
+	});
+};
+/** JSON arrays use indexed values, even when inherited or non-enumerable. */
+const copyOwn = (value) => {
+	if (!Array.isArray(value)) {
+		const copy = { ...value };
+		Object.setPrototypeOf(copy, Object.getPrototypeOf(value));
+		return copy;
+	}
+	const copy = [];
+	for (let index = 0; index < value.length; index++) setOwn(copy, index, value[index]);
+	for (const key of Reflect.ownKeys(value)) if (!Object.hasOwn(copy, key) && Object.getOwnPropertyDescriptor(value, key)?.enumerable === true) setOwn(copy, key, Reflect.get(value, key));
+	return copy;
+};
 /** Own every fact before suspension; encoded JSON fields can share these private frozen values. */
 const capturePayload = (payload) => {
 	const copy = { ...payload };
 	Object.setPrototypeOf(copy, Object.getPrototypeOf(payload));
 	const copies = new WeakMap([[payload, copy]]);
-	const pending = [{
-		source: payload,
-		target: copy
-	}];
+	const pending = [copy];
 	const owned = [copy];
 	while (pending.length > 0) {
 		const next = pending.pop();
-		for (const [key, value] of Object.entries(next.source)) {
-			if (!Predicate.isObject(value)) continue;
+		for (const [key, value] of Object.entries(next)) {
+			if (!Predicate.isObjectOrArray(value)) continue;
 			let child = copies.get(value);
 			if (child === void 0) {
-				const created = Array.isArray(value) ? [] : Object.create(Object.getPrototypeOf(value));
-				Object.assign(created, value);
+				const created = copyOwn(value);
 				copies.set(value, created);
 				owned.push(created);
-				pending.push({
-					source: value,
-					target: created
-				});
+				pending.push(created);
 				child = created;
 			}
-			Reflect.set(next.target, key, child);
+			setOwn(next, key, child);
 		}
 	}
 	for (const value of owned) Object.freeze(value);
@@ -98,13 +115,13 @@ const capturePayload = (payload) => {
 };
 /** Schema-created structures are private; detach JSON pass-throughs using the same owned copy. */
 const ownWire = (wire, copies) => {
-	const pending = Predicate.isObject(wire) ? [wire] : [];
+	const pending = Predicate.isObjectOrArray(wire) ? [wire] : [];
 	while (pending.length > 0) {
 		const next = pending.pop();
 		for (const [key, value] of Object.entries(next)) {
-			if (!Predicate.isObject(value)) continue;
+			if (!Predicate.isObjectOrArray(value)) continue;
 			const copy = copies.get(value);
-			if (copy !== void 0) Reflect.set(next, key, copy);
+			if (copy !== void 0) setOwn(next, key, copy);
 			else pending.push(value);
 		}
 		Object.freeze(next);
@@ -113,48 +130,62 @@ const ownWire = (wire, copies) => {
 };
 /** Capture at the Schema boundary; only the privately owned result can reuse its encoding. */
 const captureRecord = (input) => {
-	const existing = captured.get(input);
-	if (existing !== void 0) return existing;
-	const encoded = encodeRecord(input);
-	const owned = capturePayload(input.payload);
-	const wire = ownWire(encoded, owned.copies);
-	const json = canonicalJson(wire, recordLimits);
-	const bytes = utf8ByteLength(json);
-	if (bytes > 4194304) throw new RangeError("Canonical JSON exceeds its byte bound");
-	const createdAt = DateTime.makeUnsafe(DateTime.toEpochMillis(input.createdAt));
-	Object.freeze(DateTime.toPartsUtc(createdAt));
-	Object.freeze(createdAt);
-	const canonical = Object.freeze(new RecordEnvelope({
-		...input,
-		createdAt,
-		payload: owned.payload
-	}, { disableChecks: true }));
-	const encoding = Object.freeze({
-		canonical,
-		wire,
-		json,
-		bytes,
-		progress: progressRecord(canonical, bytes)
-	});
-	captured.set(canonical, encoding);
-	return encoding;
+	try {
+		const existing = captured.get(input);
+		if (existing !== void 0) return Result.succeed(existing);
+		const encoded = encodeRecord(input);
+		const owned = capturePayload(input.payload);
+		const wire = ownWire(encoded, owned.copies);
+		const serialized = boundedCanonicalJson(wire, recordLimits);
+		if (Result.isFailure(serialized)) return Result.fail(RecordEncodingError.make({ message: serialized.failure.message }));
+		const json = serialized.success;
+		const bytes = utf8ByteLength(json);
+		if (bytes > 4194304) return Result.fail(RecordEncodingError.make({ message: "Canonical JSON exceeds its byte bound" }));
+		const createdAt = DateTime.makeUnsafe(DateTime.toEpochMillis(input.createdAt));
+		Object.freeze(DateTime.toPartsUtc(createdAt));
+		Object.freeze(createdAt);
+		const canonical = Object.freeze(RecordEnvelope.make({
+			...input,
+			createdAt,
+			payload: owned.payload
+		}, { disableChecks: true }));
+		const encoding = Object.freeze({
+			canonical,
+			wire,
+			json,
+			bytes,
+			progress: progressRecord(canonical, bytes)
+		});
+		captured.set(canonical, encoding);
+		return Result.succeed(encoding);
+	} catch (cause) {
+		return Result.fail(RecordEncodingError.make({
+			message: "Canonical record capture failed",
+			cause
+		}));
+	}
 };
 /** Read evidence retains its original wire; fresh writes use the captured Schema encoding. */
 const recordEncoding = (record) => {
 	const existing = captured.get(record);
-	if (existing !== void 0) return existing;
-	if (record instanceof ExportedRecord) {
+	if (existing !== void 0) return Result.succeed(existing);
+	try {
+		if (!(record instanceof ExportedRecord)) return captureRecord(record);
 		const json = canonicalJson(record.wire);
 		const bytes = utf8ByteLength(json);
-		return {
+		return Result.succeed({
 			canonical: record,
 			wire: record.wire,
 			json,
 			bytes,
 			progress: progressRecord(record, bytes)
-		};
+		});
+	} catch (cause) {
+		return Result.fail(RecordEncodingError.make({
+			message: "Canonical record encoding failed",
+			cause
+		}));
 	}
-	return captureRecord(record);
 };
 //#endregion
 //#region src/durable/internal/transfer-dependencies.ts
@@ -346,10 +377,7 @@ const selectedRecords = Effect.fnUntraced(function* (threadId, selection, limit)
 		for (const entry of page) {
 			if (entry.threadId !== threadId || entry.sequence <= (afterSequence ?? 0) || "expectedTailSequence" in selection && entry.sequence > selection.expectedTailSequence) return yield* incomplete("read selection identity");
 			afterSequence = entry.sequence;
-			bytes += yield* Effect.try({
-				try: () => recordEncoding(entry.record).bytes,
-				catch: () => incomplete("read selection bytes")
-			});
+			bytes += yield* Effect.fromResult(recordEncoding(entry.record)).pipe(Effect.map((record) => record.bytes), Effect.mapError(() => incomplete("read selection bytes")));
 			if (bytes > 33554432) return yield* incomplete("read selection byte limit");
 			records.push(entry);
 		}
@@ -445,9 +473,66 @@ const AppendHeader = Schema.Struct({
 });
 const validateHeader = Schema.decodeUnknownSync(AppendHeader);
 const validateRecordCount = Schema.decodeUnknownSync(Schema.Array(Schema.Unknown).check(Schema.isMaxLength(256)));
-const executionJson = Schema.fromJsonString(ExecutionUpdate);
-const encodeExecution = Schema.encodeSync(executionJson);
-const decodeExecution = Schema.decodeUnknownSync(ExecutionUpdate);
+const validateExecutionHeader = Schema.decodeUnknownSync(Schema.Struct({
+	previousRevision: ExecutionUpdate.fields.previousRevision,
+	retire: ExecutionUpdate.fields.retire,
+	checkpoint: Schema.Struct({
+		version: ExecutionCheckpoint.fields.version,
+		canonicalRecords: ExecutionCheckpoint.fields.canonicalRecords,
+		originalSequence: ExecutionCheckpoint.fields.originalSequence,
+		throughSequence: ExecutionCheckpoint.fields.throughSequence,
+		batchId: ExecutionCheckpoint.fields.batchId
+	})
+}));
+const validateExecutionRecordCount = Schema.decodeUnknownSync(Schema.Array(Schema.Unknown).check(Schema.isMaxLength(8)));
+/** Capture records once; wrapper fields retain their owning Schema's constraints. */
+const captureExecution = (input) => {
+	const header = validateExecutionHeader(input);
+	const operationalInput = input.checkpoint.operational;
+	const factsInput = input.facts;
+	const operationalLength = validateExecutionRecordCount(operationalInput).length;
+	const factsLength = validateExecutionRecordCount(factsInput).length;
+	const progress = captureRecord(input.checkpoint.progressRecord);
+	if (Result.isFailure(progress)) return Result.fail(progress.failure);
+	const progressRecord = progress.success.canonical;
+	if (!isExecutionProgressRecord(progressRecord)) return Result.fail(ThreadStoreError.make({
+		operation: "prepare durable commit",
+		message: "Expected a Run continuation record"
+	}));
+	const operational = [];
+	for (let index = 0; index < operationalLength; index++) {
+		const record = captureRecord(operationalInput[index]);
+		if (Result.isFailure(record)) return Result.fail(record.failure);
+		operational.push(record.success);
+	}
+	const facts = [];
+	for (let index = 0; index < factsLength; index++) {
+		const record = captureRecord(factsInput[index]);
+		if (Result.isFailure(record)) return Result.fail(record.failure);
+		facts.push(record.success);
+	}
+	validateExecutionRecordCount(operational);
+	validateExecutionRecordCount(facts);
+	const checkpoint = Object.freeze(ExecutionCheckpoint.make({
+		...header.checkpoint,
+		progressRecord,
+		operational: Object.freeze(operational.map(({ canonical }) => canonical))
+	}, { disableChecks: true }));
+	const update = Object.freeze(ExecutionUpdate.make({
+		previousRevision: header.previousRevision,
+		retire: header.retire,
+		checkpoint,
+		facts: Object.freeze(facts.map(({ canonical }) => canonical))
+	}, { disableChecks: true }));
+	const checkpointJson = `{"version":${checkpoint.version},"progressRecord":${progress.success.json},"operational":[${operational.map(({ json }) => json).join(",")}],"canonicalRecords":${checkpoint.canonicalRecords},"originalSequence":${checkpoint.originalSequence},"throughSequence":${checkpoint.throughSequence},"batchId":${JSON.stringify(checkpoint.batchId)}}`;
+	const json = `{"previousRevision":${update.previousRevision},"checkpoint":${checkpointJson},"facts":[${facts.map(({ json }) => json).join(",")}],"retire":${update.retire}}`;
+	return Result.succeed(Object.freeze({
+		update,
+		json,
+		checkpointJson,
+		bytes: utf8ByteLength(json)
+	}));
+};
 const capturedAppends = /* @__PURE__ */ new WeakMap();
 /**
 * Admission reserves one complete batch's envelope, references, snapshot and continuation cursor.
@@ -467,51 +552,41 @@ const PreparedAppend = { capture: (input) => Effect.suspend(() => {
 	const existing = capturedAppends.get(input);
 	if (existing !== void 0) return Effect.succeed(existing);
 	return Effect.try({
-		try: () => {
+		try: () => Result.gen(function* () {
 			const header = validateHeader({
 				...input,
 				batchId: input.batch.batchId,
 				producerId: input.batch.producerId
 			});
 			validateRecordCount(input.batch.records);
-			validateRecordCount(input.executions ?? []);
-			const executionWrites = Object.freeze((input.executions ?? []).map((update) => {
-				const json = encodeExecution(update);
-				const wire = JSON.parse(json);
-				const decoded = decodeExecution(wire);
-				if (!Predicate.hasProperty(wire, "checkpoint")) throw ThreadStoreError.make({
-					operation: "prepare durable commit",
-					message: "Captured execution has no checkpoint wire"
-				});
-				return Object.freeze({
-					update: decoded,
-					json,
-					checkpointJson: JSON.stringify(wire.checkpoint),
-					bytes: utf8ByteLength(json)
-				});
-			}));
-			if (input.batch.records.length === 0 && executionWrites.length === 0) throw ThreadStoreError.make({
+			const executions = input.executions ?? [];
+			const executionLength = validateRecordCount(executions).length;
+			const executionWrites = [];
+			for (let index = 0; index < executionLength; index++) executionWrites.push(yield* captureExecution(executions[index]));
+			Object.freeze(executionWrites);
+			validateRecordCount(executionWrites);
+			if (input.batch.records.length === 0 && executionWrites.length === 0) return yield* Result.fail(ThreadStoreError.make({
 				operation: "prepare durable commit",
 				message: "A commit must contain history facts or an active execution transition"
-			});
-			if (executionWrites.some(({ bytes }) => !transferPageFits(header.threadId, bytes))) throw ThreadStoreError.make({
+			}));
+			if (executionWrites.some(({ bytes }) => !transferPageFits(header.threadId, bytes))) return yield* Result.fail(ThreadStoreError.make({
 				operation: "prepare durable commit",
 				message: "Active state exceeds its bounded transfer representation"
-			});
-			const encodings = Array.from(input.batch.records, captureRecord);
+			}));
+			const encodings = yield* Result.all(Array.from(input.batch.records, captureRecord));
 			const prefix = `{"batchId":${JSON.stringify(header.batchId)},"producerId":${JSON.stringify(header.producerId)},"records":[`;
 			const batchJson = `${prefix}${encodings.map(({ json }) => json).join(",")}]}`;
 			const batchBytes = encodings.reduce((total, record) => total + record.bytes, utf8ByteLength(prefix) + (encodings.length === 0 ? 2 : encodings.length + 1));
-			if (batchBytes > 16777216) throw ThreadStoreError.make({
+			if (batchBytes > 16777216) return yield* Result.fail(ThreadStoreError.make({
 				operation: "prepare canonical append",
 				message: `Canonical batch exceeds ${MAX_CANONICAL_BATCH_BYTES} bytes`
-			});
-			const batch = Object.freeze(new CommitBatch({
+			}));
+			const batch = Object.freeze(CommitBatch.make({
 				batchId: header.batchId,
 				producerId: header.producerId,
 				records: Object.freeze(encodings.map(({ canonical }) => canonical))
 			}, { disableChecks: true }));
-			const request = new AppendRequest({
+			const request = AppendRequest.make({
 				threadId: header.threadId,
 				expectedTailSequence: header.expectedTailSequence,
 				batch,
@@ -534,13 +609,17 @@ const PreparedAppend = { capture: (input) => Effect.suspend(() => {
 			}));
 			capturedAppends.set(captured, captured);
 			return captured;
-		},
+		}),
 		catch: (cause) => Schema.is(ThreadStoreError)(cause) ? cause : ThreadStoreError.make({
 			operation: "prepare canonical append",
 			message: Schema.isSchemaError(cause) ? cause.message : "Canonical append capture failed",
 			cause
 		})
-	});
+	}).pipe(Effect.flatMap(Effect.fromResult), Effect.mapError((cause) => Schema.is(ThreadStoreError)(cause) ? cause : ThreadStoreError.make({
+		operation: "prepare canonical append",
+		message: cause.message,
+		cause
+	})));
 }) };
 var AppendResult = class extends Schema.Class("@effect-agent/thread/AppendResult")({
 	firstSequence: CanonicalSequence,
@@ -891,4 +970,4 @@ var ThreadReader = class ThreadReader extends Context.Service()("@effect-agent/t
 //#endregion
 export { ThreadTailRequest as $, ThreadExportRejected as A, ThreadPromptRead as B, ThreadApprovalFact as C, ThreadExportBatch as D, ThreadExport as E, ThreadIdentityRequest as F, ThreadResolutionFact as G, ThreadReadRequest as H, ThreadMaterialization as I, ThreadStore as J, ThreadRunInputRequest as K, ThreadNotMaterialized as L, ThreadExportSnapshot as M, ThreadExportSource as N, ThreadExportCursor as O, ThreadIdentity as P, ThreadTail as Q, ThreadObservation as R, ThreadAdmission as S, ThreadCommands as T, ThreadReader as U, ThreadRead as V, ThreadRecordRequest as W, ThreadStoreError as X, ThreadStoreDiagnostic as Y, ThreadStore_exports as Z, PromptCheckpointHead as _, isPreContinuationFact as _t, CommitBatch as a, canonicalBatchFitsTransfer as at, SelectedThreadRead as b, terminalUsageCharge as bt, ExecutionUpdate as c, makeTransferFactCheck as ct, MAX_PROMPT_CHECKPOINT_RUNS as d, transferPageFits as dt, ThreadVerificationRequest as et, MAX_THREAD_EXPORT_CURSOR_CHARS as f, transferRecordDependencies as ft, PromptCheckpoint as g, executionRunIds as gt, PreparedAppend as h, canonicalRunIds as ht, CheckpointRejected as i, ThreadWorkerStateRequest as it, ThreadExportRequest as j, ThreadExportRecord as k, LoadCheckpointRequest as l, readWorkerState as lt, MAX_THREAD_EXPORT_PAGE_RECORDS as m, recordEncoding as mt, AppendRequest as n, ThreadWorkerCapacityRequest as nt, ExecutionCheckpoint as o, getRecord as ot, MAX_THREAD_EXPORT_PAGE_BYTES as p, captureRecord as pt, ThreadSelection as q, AppendResult as r, ThreadWorkerSeal as rt, ExecutionRead as s, getRunInput as st, AppendConflict as t, ThreadWorkerCapacity as tt, MAX_PROMPT_CHECKPOINT_BYTES as u, streamExport as ut, PromptCheckpointRead as v, isTerminalBudgetFact as vt, ThreadCheckpoint as w, ThreadAbortFact as x, SaveCheckpointRequest as y, isWorkHandoff as yt, ThreadPeerCountRequest as z };
 
-//# sourceMappingURL=ThreadStore-CEekRa80.mjs.map
+//# sourceMappingURL=ThreadStore-59uDGXul.mjs.map