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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (177) hide show
  1. package/dist/{Admin-BHmp2V9p.d.mts → Admin-DTDihBra.d.mts} +50 -13
  2. package/dist/{AgentRuntime-BD3ZHAMq.d.mts → AgentRuntime-CHDyRbSf.d.mts} +3 -3
  3. package/dist/{AgentRuntime-B6qZlD3f.mjs → AgentRuntime-DaDKMasp.mjs} +123 -114
  4. package/dist/AgentRuntime-DaDKMasp.mjs.map +1 -0
  5. package/dist/{Digest-EpeqWEdv.mjs → Digest-C3EODOee.mjs} +2 -2
  6. package/dist/{Digest-EpeqWEdv.mjs.map → Digest-C3EODOee.mjs.map} +1 -1
  7. package/dist/{DurableAgentRuntime-CBBjRNJN.mjs → DurableAgentRuntime-BJbuIqQq.mjs} +237 -114
  8. package/dist/DurableAgentRuntime-BJbuIqQq.mjs.map +1 -0
  9. package/dist/{EventSource-C9aaJaXT.d.mts → EventSource-Cc58uEso.d.mts} +2 -2
  10. package/dist/InMemory.d.mts +2 -2
  11. package/dist/{MessageDelivery-BGDm-c46.d.mts → MessageDelivery-ClHg7c0O.d.mts} +42 -42
  12. package/dist/{MessagingHost-CRUK4JBi.mjs → MessagingHost-CZCyrnvJ.mjs} +27 -26
  13. package/dist/MessagingHost-CZCyrnvJ.mjs.map +1 -0
  14. package/dist/{PreparedInputAdmission-BvDqlgiP.d.mts → PreparedInputAdmission-CjcX1OP0.d.mts} +3 -3
  15. package/dist/{Records-BiuJDWNe.mjs → Records-DzL4Kbtw.mjs} +2 -2
  16. package/dist/{Records-BiuJDWNe.mjs.map → Records-DzL4Kbtw.mjs.map} +1 -1
  17. package/dist/{RunContinuation-4ZATcVLB.mjs → RunContinuation-CWHuciup.mjs} +74 -40
  18. package/dist/RunContinuation-CWHuciup.mjs.map +1 -0
  19. package/dist/{RunContinuation-CTJ1jGrO.d.mts → RunContinuation-DSnUTSSb.d.mts} +11 -5
  20. package/dist/{RunJournal-CNZqA3Ge.mjs → RunJournal-DGblbFas.mjs} +86 -81
  21. package/dist/RunJournal-DGblbFas.mjs.map +1 -0
  22. package/dist/{RunStorage-BHjuuERI.mjs → RunStorage-BF2YgWkg.mjs} +44 -33
  23. package/dist/RunStorage-BF2YgWkg.mjs.map +1 -0
  24. package/dist/{Scheduling-NG8slKdI.mjs → Scheduling-07_dsGED.mjs} +3 -3
  25. package/dist/{Scheduling-NG8slKdI.mjs.map → Scheduling-07_dsGED.mjs.map} +1 -1
  26. package/dist/{Subagent-CTIpnzlB.mjs → Subagent-CexndZSp.mjs} +2 -2
  27. package/dist/{Subagent-CTIpnzlB.mjs.map → Subagent-CexndZSp.mjs.map} +1 -1
  28. package/dist/{Subagent-DKhZA72u.d.mts → Subagent-xhN_aD1r.d.mts} +3 -3
  29. package/dist/{Subscription-BNg9VCRl.d.mts → Subscription-DuC_PcGx.d.mts} +2 -2
  30. package/dist/{SubscriptionInput-BUoXv-_K.d.mts → SubscriptionInput-B1IeAEDi.d.mts} +2 -2
  31. package/dist/{Thread-dk-QiNml.d.mts → Thread-DzdJAY4J.d.mts} +4 -3
  32. package/dist/{ThreadHistory-ByxS8HU1.d.mts → ThreadHistory-KPPBJLJb.d.mts} +12 -2
  33. package/dist/{ThreadImport-CMgzttvr.d.mts → ThreadImport-D_Biid6w.d.mts} +42 -42
  34. package/dist/{ThreadImport-CodYoJoa.mjs → ThreadImport-ZgWxf7bB.mjs} +8 -8
  35. package/dist/{ThreadImport-CodYoJoa.mjs.map → ThreadImport-ZgWxf7bB.mjs.map} +1 -1
  36. package/dist/{ThreadStore-59uDGXul.mjs → ThreadStore-BC4V-mY-.mjs} +42 -23
  37. package/dist/ThreadStore-BC4V-mY-.mjs.map +1 -0
  38. package/dist/{ThreadTransfer-3jigUl3g.mjs → ThreadTransfer-S7FnTRHt.mjs} +4 -4
  39. package/dist/{ThreadTransfer-3jigUl3g.mjs.map → ThreadTransfer-S7FnTRHt.mjs.map} +1 -1
  40. package/dist/{WorkerAdmission-DDYJdOsU.mjs → WorkerAdmission-C47Vy_cK.mjs} +5 -5
  41. package/dist/{WorkerAdmission-DDYJdOsU.mjs.map → WorkerAdmission-C47Vy_cK.mjs.map} +1 -1
  42. package/dist/{agent-registration-DRbyhAu-.mjs → agent-registration-a6QYaG3h.mjs} +4 -4
  43. package/dist/{agent-registration-DRbyhAu-.mjs.map → agent-registration-a6QYaG3h.mjs.map} +1 -1
  44. package/dist/capabilities/Messaging.mjs +1 -1
  45. package/dist/capabilities/ModelContext.d.mts +1 -1
  46. package/dist/capabilities/RunHooks.d.mts +1 -1
  47. package/dist/capabilities/Subagent.d.mts +1 -1
  48. package/dist/capabilities/Subagent.mjs +1 -1
  49. package/dist/core/Thread.d.mts +2 -2
  50. package/dist/core/Thread.mjs +5 -3
  51. package/dist/core/Thread.mjs.map +1 -1
  52. package/dist/durable/ActivityStore.mjs +1 -1
  53. package/dist/durable/Admin.d.mts +1 -1
  54. package/dist/durable/Admin.mjs +1 -1
  55. package/dist/durable/AgentRegistration.d.mts +1 -1
  56. package/dist/durable/AgentRegistration.mjs +1 -1
  57. package/dist/durable/Certification.d.mts +1 -1
  58. package/dist/durable/CommittedActivity.d.mts +1 -1
  59. package/dist/durable/CommittedActivity.mjs +3 -3
  60. package/dist/durable/Digest.mjs +1 -1
  61. package/dist/durable/DurableAgentRuntime.d.mts +1 -1
  62. package/dist/durable/DurableAgentRuntime.mjs +2 -2
  63. package/dist/durable/EventSource.d.mts +1 -1
  64. package/dist/durable/EventSource.mjs +1 -1
  65. package/dist/durable/GitHubWorkflowSource.d.mts +3 -3
  66. package/dist/durable/LifecyclePublication.d.mts +1 -1
  67. package/dist/durable/LifecyclePublication.mjs +2 -2
  68. package/dist/durable/MessageDelivery.d.mts +1 -1
  69. package/dist/durable/MessageDelivery.mjs +2 -2
  70. package/dist/durable/MessageDeliveryStoreConformance.d.mts +40 -40
  71. package/dist/durable/MessageDeliveryStoreConformance.mjs +2 -2
  72. package/dist/durable/PersistentHistory.d.mts +2 -2
  73. package/dist/durable/PersistentHistory.mjs +4 -4
  74. package/dist/durable/PreparedInputAdmission.d.mts +1 -1
  75. package/dist/durable/RecordFormat.mjs +1 -1
  76. package/dist/durable/Records.mjs +1 -1
  77. package/dist/durable/Recovery.d.mts +1 -1
  78. package/dist/durable/Recovery.mjs +1 -1
  79. package/dist/durable/RunContinuation.d.mts +2 -2
  80. package/dist/durable/RunContinuation.mjs +3 -3
  81. package/dist/durable/RunJournal.d.mts +2 -2
  82. package/dist/durable/RunJournal.mjs +2 -2
  83. package/dist/durable/RunStorage.d.mts +1 -1
  84. package/dist/durable/RunStorage.mjs +1 -1
  85. package/dist/durable/Schedule.mjs +1 -1
  86. package/dist/durable/ScheduleStoreConformance.mjs +1 -1
  87. package/dist/durable/ScheduleTransition.mjs +1 -1
  88. package/dist/durable/Scheduling.d.mts +1 -1
  89. package/dist/durable/Scheduling.mjs +1 -1
  90. package/dist/durable/SettlementPublisher.d.mts +1 -1
  91. package/dist/durable/SettlementPublisher.mjs +3 -3
  92. package/dist/durable/SqlMemoryStore.mjs +5 -3
  93. package/dist/durable/SqlMemoryStore.mjs.map +1 -1
  94. package/dist/durable/SubmissionLedger.d.mts +1 -1
  95. package/dist/durable/SubmissionLedger.mjs +7 -3
  96. package/dist/durable/SubmissionLedger.mjs.map +1 -1
  97. package/dist/durable/SubmissionLedgerConformance.d.mts +1 -1
  98. package/dist/durable/SubmissionLedgerConformance.mjs +6 -6
  99. package/dist/durable/SubmissionStatus.d.mts +1 -1
  100. package/dist/durable/Subscription.d.mts +1 -1
  101. package/dist/durable/Subscription.mjs +2 -2
  102. package/dist/durable/SubscriptionInput.d.mts +1 -1
  103. package/dist/durable/SubscriptionInput.mjs +2 -2
  104. package/dist/durable/SubscriptionStoreConformance.d.mts +1 -1
  105. package/dist/durable/SubscriptionStoreConformance.mjs +1 -1
  106. package/dist/durable/SubscriptionTools.d.mts +2 -2
  107. package/dist/durable/SubscriptionTransition.d.mts +1 -1
  108. package/dist/durable/SubscriptionTransition.mjs +1 -1
  109. package/dist/durable/Subscriptions.d.mts +5 -5
  110. package/dist/durable/Subscriptions.mjs +2 -2
  111. package/dist/durable/ThreadArchiveRange.d.mts +1 -1
  112. package/dist/durable/ThreadArchiveRange.mjs +1 -1
  113. package/dist/durable/ThreadContextHistory.d.mts +1 -1
  114. package/dist/durable/ThreadContextHistory.mjs +2 -2
  115. package/dist/durable/ThreadContextHistoryProjection.mjs +1 -1
  116. package/dist/durable/ThreadImport.d.mts +1 -1
  117. package/dist/durable/ThreadImport.mjs +1 -1
  118. package/dist/durable/ThreadInvariants.d.mts +3 -3
  119. package/dist/durable/ThreadInvariants.mjs +4 -4
  120. package/dist/durable/ThreadProjection.mjs +1 -1
  121. package/dist/durable/ThreadProjectionMaintenance.d.mts +1 -1
  122. package/dist/durable/ThreadReader.d.mts +1 -1
  123. package/dist/durable/ThreadReader.mjs +1 -1
  124. package/dist/durable/ThreadStore.d.mts +1 -1
  125. package/dist/durable/ThreadStore.mjs +2 -2
  126. package/dist/durable/ThreadStoreConformance.d.mts +1 -1
  127. package/dist/durable/ThreadStoreConformance.mjs +4 -4
  128. package/dist/durable/ThreadTransfer.d.mts +1 -1
  129. package/dist/durable/ThreadTransfer.mjs +1 -1
  130. package/dist/durable/ThreadWork.d.mts +2 -2
  131. package/dist/durable/ThreadWork.mjs +12 -6
  132. package/dist/durable/ThreadWork.mjs.map +1 -1
  133. package/dist/durable/ToolReconciler.mjs +1 -1
  134. package/dist/durable/WakeScheduler.mjs +23 -39
  135. package/dist/durable/WakeScheduler.mjs.map +1 -1
  136. package/dist/durable/WorkerAdmission.d.mts +68 -68
  137. package/dist/durable/WorkerAdmission.mjs +1 -1
  138. package/dist/durable/WorkerHost.d.mts +1 -1
  139. package/dist/engine/AgentRuntime.d.mts +1 -1
  140. package/dist/engine/AgentRuntime.mjs +1 -1
  141. package/dist/engine/MessagingHost.mjs +1 -1
  142. package/dist/engine/Output.mjs +1 -1
  143. package/dist/engine/ThreadHistory.d.mts +1 -1
  144. package/dist/engine/ThreadHistory.mjs +3 -2
  145. package/dist/engine/ThreadHistory.mjs.map +1 -1
  146. package/dist/index.d.mts +12 -12
  147. package/dist/index.mjs +13 -13
  148. package/dist/{output-contract-CMIhu4Cw.mjs → output-contract-DCnLYCdp.mjs} +12 -15
  149. package/dist/{output-contract-CMIhu4Cw.mjs.map → output-contract-DCnLYCdp.mjs.map} +1 -1
  150. package/dist/{run-context-reader-CC7ZD95F.d.mts → run-context-reader-DvTEq2RC.d.mts} +2 -2
  151. package/package.json +1 -1
  152. package/src/core/Thread.ts +143 -146
  153. package/src/durable/DurableAgentRuntime.ts +549 -260
  154. package/src/durable/RunContinuation.ts +115 -64
  155. package/src/durable/RunJournal.ts +107 -112
  156. package/src/durable/RunStorage.ts +90 -61
  157. package/src/durable/SqlMemoryStore.ts +8 -6
  158. package/src/durable/SubmissionLedger.ts +15 -0
  159. package/src/durable/ThreadStore.ts +48 -26
  160. package/src/durable/ThreadWork.ts +10 -0
  161. package/src/durable/WakeScheduler.ts +34 -66
  162. package/src/durable/internal/initial-context.ts +17 -2
  163. package/src/durable/internal/prompt-history-cache.ts +13 -8
  164. package/src/durable/internal/usage-totals.ts +28 -31
  165. package/src/engine/MessagingHost.ts +4 -2
  166. package/src/engine/ThreadHistory.ts +47 -48
  167. package/src/engine/internal/agent-runtime.ts +234 -202
  168. package/src/engine/internal/output-contract.ts +15 -15
  169. package/src/engine/internal/primitive-delta.ts +2 -3
  170. package/src/engine/internal/tool-telemetry.ts +3 -5
  171. package/dist/AgentRuntime-B6qZlD3f.mjs.map +0 -1
  172. package/dist/DurableAgentRuntime-CBBjRNJN.mjs.map +0 -1
  173. package/dist/MessagingHost-CRUK4JBi.mjs.map +0 -1
  174. package/dist/RunContinuation-4ZATcVLB.mjs.map +0 -1
  175. package/dist/RunJournal-CNZqA3Ge.mjs.map +0 -1
  176. package/dist/RunStorage-BHjuuERI.mjs.map +0 -1
  177. package/dist/ThreadStore-59uDGXul.mjs.map +0 -1
@@ -1 +1 @@
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"}
1
+ {"version":3,"file":"ThreadImport-ZgWxf7bB.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"}
@@ -3,11 +3,11 @@ import { ReceiptId, RunId, SubmissionId, ThreadId, ToolCallId } from "./core/Ide
3
3
  import { n as utf8ByteLength } from "./utf8-B5pAmhTo.mjs";
4
4
  import { QueueSequence } from "./core/Receipt.mjs";
5
5
  import { n as AssignmentTerminal } from "./Worker-DZjdMjZn.mjs";
6
- 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";
7
- import { c as boundedCanonicalJson, l as canonicalJson } from "./Digest-EpeqWEdv.mjs";
6
+ 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-DzL4Kbtw.mjs";
7
+ import { c as boundedCanonicalJson, l as canonicalJson } from "./Digest-C3EODOee.mjs";
8
8
  import { AbortIntent, AdmissionRequest, ApprovalDecisionIntent, UnknownResolutionIntent } from "./durable/SubmissionLedger.mjs";
9
9
  import { ExportRecord, ExportedRecord } from "./durable/RecordFormat.mjs";
10
- import { D as subagentLineageRecordId, Y as workerOriginRecordId, x as runIdForSubmission } from "./RunJournal-CNZqA3Ge.mjs";
10
+ import { O as subagentLineageRecordId, S as runIdForSubmission, X as workerOriginRecordId } from "./RunJournal-DGblbFas.mjs";
11
11
  import { ScheduleInstant } from "./durable/Schedule.mjs";
12
12
  import { MessageDeliveryRecord } from "./durable/MessageDelivery.mjs";
13
13
  import { MAX_CANONICAL_BATCH_BYTES } from "./durable/ThreadArchiveRange.mjs";
@@ -465,14 +465,17 @@ var AppendRequest = class extends Schema.Class("@effect-agent/thread/AppendReque
465
465
  executions: Schema.optionalKey(Schema.Array(ExecutionUpdate).check(Schema.isMaxLength(256))),
466
466
  expectedTailSequence: CanonicalSequence
467
467
  }) {};
468
+ const RecordCount = Schema.Array(Schema.Unknown).check(Schema.isMaxLength(256));
469
+ const ExecutionRecordCount = Schema.Array(Schema.Unknown).check(Schema.isMaxLength(8));
468
470
  const AppendHeader = Schema.Struct({
469
471
  threadId: ThreadId,
470
472
  expectedTailSequence: CanonicalSequence,
471
473
  batchId: BatchId,
472
- producerId: ProducerId
474
+ producerId: ProducerId,
475
+ records: RecordCount,
476
+ executions: RecordCount
473
477
  });
474
478
  const validateHeader = Schema.decodeUnknownSync(AppendHeader);
475
- const validateRecordCount = Schema.decodeUnknownSync(Schema.Array(Schema.Unknown).check(Schema.isMaxLength(256)));
476
479
  const validateExecutionHeader = Schema.decodeUnknownSync(Schema.Struct({
477
480
  previousRevision: ExecutionUpdate.fields.previousRevision,
478
481
  retire: ExecutionUpdate.fields.retire,
@@ -481,18 +484,32 @@ const validateExecutionHeader = Schema.decodeUnknownSync(Schema.Struct({
481
484
  canonicalRecords: ExecutionCheckpoint.fields.canonicalRecords,
482
485
  originalSequence: ExecutionCheckpoint.fields.originalSequence,
483
486
  throughSequence: ExecutionCheckpoint.fields.throughSequence,
484
- batchId: ExecutionCheckpoint.fields.batchId
485
- })
487
+ batchId: ExecutionCheckpoint.fields.batchId,
488
+ operational: ExecutionRecordCount
489
+ }),
490
+ facts: ExecutionRecordCount
486
491
  }));
487
- const validateExecutionRecordCount = Schema.decodeUnknownSync(Schema.Array(Schema.Unknown).check(Schema.isMaxLength(8)));
488
492
  /** Capture records once; wrapper fields retain their owning Schema's constraints. */
489
493
  const captureExecution = (input) => {
490
- const header = validateExecutionHeader(input);
491
- const operationalInput = input.checkpoint.operational;
494
+ const checkpointInput = input.checkpoint;
495
+ const operationalInput = checkpointInput.operational;
492
496
  const factsInput = input.facts;
493
- const operationalLength = validateExecutionRecordCount(operationalInput).length;
494
- const factsLength = validateExecutionRecordCount(factsInput).length;
495
- const progress = captureRecord(input.checkpoint.progressRecord);
497
+ const header = validateExecutionHeader({
498
+ previousRevision: input.previousRevision,
499
+ retire: input.retire,
500
+ checkpoint: {
501
+ version: checkpointInput.version,
502
+ canonicalRecords: checkpointInput.canonicalRecords,
503
+ originalSequence: checkpointInput.originalSequence,
504
+ throughSequence: checkpointInput.throughSequence,
505
+ batchId: checkpointInput.batchId,
506
+ operational: operationalInput
507
+ },
508
+ facts: factsInput
509
+ });
510
+ const operationalLength = header.checkpoint.operational.length;
511
+ const factsLength = header.facts.length;
512
+ const progress = captureRecord(checkpointInput.progressRecord);
496
513
  if (Result.isFailure(progress)) return Result.fail(progress.failure);
497
514
  const progressRecord = progress.success.canonical;
498
515
  if (!isExecutionProgressRecord(progressRecord)) return Result.fail(ThreadStoreError.make({
@@ -511,8 +528,6 @@ const captureExecution = (input) => {
511
528
  if (Result.isFailure(record)) return Result.fail(record.failure);
512
529
  facts.push(record.success);
513
530
  }
514
- validateExecutionRecordCount(operational);
515
- validateExecutionRecordCount(facts);
516
531
  const checkpoint = Object.freeze(ExecutionCheckpoint.make({
517
532
  ...header.checkpoint,
518
533
  progressRecord,
@@ -530,6 +545,7 @@ const captureExecution = (input) => {
530
545
  update,
531
546
  json,
532
547
  checkpointJson,
548
+ factsJson: JSON.stringify(facts.map(({ wire }) => wire)),
533
549
  bytes: utf8ByteLength(json)
534
550
  }));
535
551
  };
@@ -553,19 +569,21 @@ const PreparedAppend = { capture: (input) => Effect.suspend(() => {
553
569
  if (existing !== void 0) return Effect.succeed(existing);
554
570
  return Effect.try({
555
571
  try: () => Result.gen(function* () {
572
+ const executions = input.executions ?? [];
573
+ const recordInputs = input.batch.records;
556
574
  const header = validateHeader({
557
575
  ...input,
558
576
  batchId: input.batch.batchId,
559
- producerId: input.batch.producerId
577
+ producerId: input.batch.producerId,
578
+ records: recordInputs,
579
+ executions
560
580
  });
561
- validateRecordCount(input.batch.records);
562
- const executions = input.executions ?? [];
563
- const executionLength = validateRecordCount(executions).length;
581
+ const recordLength = header.records.length;
582
+ const executionLength = header.executions.length;
564
583
  const executionWrites = [];
565
584
  for (let index = 0; index < executionLength; index++) executionWrites.push(yield* captureExecution(executions[index]));
566
585
  Object.freeze(executionWrites);
567
- validateRecordCount(executionWrites);
568
- if (input.batch.records.length === 0 && executionWrites.length === 0) return yield* Result.fail(ThreadStoreError.make({
586
+ if (recordLength === 0 && executionWrites.length === 0) return yield* Result.fail(ThreadStoreError.make({
569
587
  operation: "prepare durable commit",
570
588
  message: "A commit must contain history facts or an active execution transition"
571
589
  }));
@@ -573,7 +591,8 @@ const PreparedAppend = { capture: (input) => Effect.suspend(() => {
573
591
  operation: "prepare durable commit",
574
592
  message: "Active state exceeds its bounded transfer representation"
575
593
  }));
576
- const encodings = yield* Result.all(Array.from(input.batch.records, captureRecord));
594
+ const encodings = [];
595
+ for (let index = 0; index < recordLength; index++) encodings.push(yield* captureRecord(recordInputs[index]));
577
596
  const prefix = `{"batchId":${JSON.stringify(header.batchId)},"producerId":${JSON.stringify(header.producerId)},"records":[`;
578
597
  const batchJson = `${prefix}${encodings.map(({ json }) => json).join(",")}]}`;
579
598
  const batchBytes = encodings.reduce((total, record) => total + record.bytes, utf8ByteLength(prefix) + (encodings.length === 0 ? 2 : encodings.length + 1));
@@ -970,4 +989,4 @@ var ThreadReader = class ThreadReader extends Context.Service()("@effect-agent/t
970
989
  //#endregion
971
990
  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 };
972
991
 
973
- //# sourceMappingURL=ThreadStore-59uDGXul.mjs.map
992
+ //# sourceMappingURL=ThreadStore-BC4V-mY-.mjs.map