effect-agent 0.1.0-beta.103 → 0.1.0-beta.106

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 (166) hide show
  1. package/dist/{Agent-CM6JubNX.d.mts → Agent-Bk-mLtov.d.mts} +2 -2
  2. package/dist/{AgentError-CggcAQ7V.d.mts → AgentError-Bn1ytXRD.d.mts} +20 -4
  3. package/dist/{AgentRuntime-B1SXMVN7.d.mts → AgentRuntime-BEXToYl1.d.mts} +8 -8
  4. package/dist/{AgentRuntime-BWOnNc0d.mjs → AgentRuntime-e2M5UoXn.mjs} +4 -3
  5. package/dist/AgentRuntime-e2M5UoXn.mjs.map +1 -0
  6. package/dist/{DurableAgentRuntime-C9eRZS9N.mjs → DurableAgentRuntime-wd1x0TcB.mjs} +67 -36
  7. package/dist/DurableAgentRuntime-wd1x0TcB.mjs.map +1 -0
  8. package/dist/{EventSource-K7XUzurY.d.mts → EventSource-pH-v0k42.d.mts} +3 -3
  9. package/dist/FailureDiagnostic-BElLOoED.mjs +274 -0
  10. package/dist/FailureDiagnostic-BElLOoED.mjs.map +1 -0
  11. package/dist/FailureDiagnostic-CaAkzGHL.d.mts +223 -0
  12. package/dist/{Messaging-QMYhp297.d.mts → Messaging-Bl4SBKpR.d.mts} +3 -3
  13. package/dist/{MessagingHost-gAxs5gme.d.mts → MessagingHost-nwBMdRoh.d.mts} +3 -3
  14. package/dist/{Output-CjocJzsl.d.mts → Output-B6RQ5jRU.d.mts} +2 -2
  15. package/dist/{PreparedInputAdmission-KLk5rGFI.d.mts → PreparedInputAdmission-D3-BgmA9.d.mts} +8 -4
  16. package/dist/{Records-Bidb7ByL.d.mts → Records-B4S02MX1.d.mts} +201 -14
  17. package/dist/{RunJournal-srpbEBEy.mjs → RunJournal-BdIlgAEj.mjs} +2 -2
  18. package/dist/{RunJournal-srpbEBEy.mjs.map → RunJournal-BdIlgAEj.mjs.map} +1 -1
  19. package/dist/{RunOptions-Bruk54SE.d.mts → RunOptions-qOcPv08p.d.mts} +10 -5
  20. package/dist/{Schedule-Cy9up8Uf.d.mts → Schedule-D2TVEu3W.d.mts} +7 -2
  21. package/dist/{Scheduling-CHCsSCGo.mjs → Scheduling-DPb2QyAK.mjs} +2 -2
  22. package/dist/{Scheduling-CHCsSCGo.mjs.map → Scheduling-DPb2QyAK.mjs.map} +1 -1
  23. package/dist/{Subagent-DP0CzO16.d.mts → Subagent-BxuDuCHt.d.mts} +172 -8
  24. package/dist/{Subagent-C2s8PFrd.mjs → Subagent-uXWHXiKb.mjs} +64 -29
  25. package/dist/Subagent-uXWHXiKb.mjs.map +1 -0
  26. package/dist/{SubagentHost-CYcxkpRc.d.mts → SubagentHost-DEPw4YME.d.mts} +6 -3
  27. package/dist/{Subscription-CHyoQelH.d.mts → Subscription-nX0rz4GQ.d.mts} +3 -3
  28. package/dist/{SubscriptionInput-DqrHW-Ja.d.mts → SubscriptionInput-CAG3_pyJ.d.mts} +3 -3
  29. package/dist/{Worker--j87JI__.d.mts → Worker-Bbj9uq5H.d.mts} +5 -2
  30. package/dist/{agent-registration-ByeHejH3.mjs → agent-registration-B5CI-Ygk.mjs} +7 -5
  31. package/dist/agent-registration-B5CI-Ygk.mjs.map +1 -0
  32. package/dist/capabilities/Commands.d.mts +1 -1
  33. package/dist/capabilities/Messaging.d.mts +2 -2
  34. package/dist/capabilities/RunHooks.d.mts +1 -1
  35. package/dist/capabilities/Subagent.d.mts +2 -2
  36. package/dist/capabilities/Subagent.mjs +1 -1
  37. package/dist/core/Agent.d.mts +1 -1
  38. package/dist/core/AgentError.d.mts +2 -2
  39. package/dist/core/AgentError.mjs +19 -2
  40. package/dist/core/AgentError.mjs.map +1 -1
  41. package/dist/core/FailureDiagnostic.d.mts +2 -0
  42. package/dist/core/FailureDiagnostic.mjs +2 -0
  43. package/dist/core/Worker.d.mts +1 -1
  44. package/dist/core/Worker.mjs +4 -1
  45. package/dist/core/Worker.mjs.map +1 -1
  46. package/dist/durable/ActivityStore.d.mts +1 -1
  47. package/dist/durable/ActivityStore.mjs +1 -1
  48. package/dist/durable/Admin.d.mts +1 -1
  49. package/dist/durable/Admin.mjs +1 -1
  50. package/dist/durable/AgentRegistration.d.mts +1 -1
  51. package/dist/durable/AgentRegistration.mjs +1 -1
  52. package/dist/durable/Certification.d.mts +1 -1
  53. package/dist/durable/CommittedActivity.d.mts +1 -1
  54. package/dist/durable/CommittedActivity.mjs +1 -1
  55. package/dist/durable/Digest.d.mts +1 -1
  56. package/dist/durable/Digest.mjs +7 -7
  57. package/dist/durable/Digest.mjs.map +1 -1
  58. package/dist/durable/DurableAgentRuntime.d.mts +1 -1
  59. package/dist/durable/DurableAgentRuntime.mjs +1 -1
  60. package/dist/durable/EventSource.d.mts +1 -1
  61. package/dist/durable/EventSource.mjs +1 -1
  62. package/dist/durable/GitHubWorkflowSource.d.mts +3 -3
  63. package/dist/durable/GitHubWorkflowSource.mjs +1 -1
  64. package/dist/durable/MessageDelivery.d.mts +15 -3
  65. package/dist/durable/MessageDelivery.mjs +44 -24
  66. package/dist/durable/MessageDelivery.mjs.map +1 -1
  67. package/dist/durable/MessageDeliveryStoreConformance.d.mts +4 -1
  68. package/dist/durable/MessageDeliveryStoreConformance.mjs +1 -1
  69. package/dist/durable/PersistentHistory.d.mts +1 -1
  70. package/dist/durable/PersistentHistory.mjs +2 -2
  71. package/dist/durable/PreparedInputAdmission.d.mts +1 -1
  72. package/dist/durable/PreparedInputAdmission.mjs +8 -4
  73. package/dist/durable/PreparedInputAdmission.mjs.map +1 -1
  74. package/dist/durable/Records.d.mts +1 -1
  75. package/dist/durable/Records.mjs +831 -2
  76. package/dist/durable/Records.mjs.map +1 -0
  77. package/dist/durable/Recovery.d.mts +1 -1
  78. package/dist/durable/Recovery.mjs +1 -1
  79. package/dist/durable/RunJournal.d.mts +1 -1
  80. package/dist/durable/RunJournal.mjs +1 -1
  81. package/dist/durable/Schedule.d.mts +1 -1
  82. package/dist/durable/Schedule.mjs +12 -3
  83. package/dist/durable/Schedule.mjs.map +1 -1
  84. package/dist/durable/ScheduleStoreConformance.d.mts +1 -1
  85. package/dist/durable/ScheduleStoreConformance.mjs +1 -1
  86. package/dist/durable/ScheduleTransition.d.mts +1 -1
  87. package/dist/durable/ScheduleTransition.mjs +1 -1
  88. package/dist/durable/Scheduling.d.mts +2 -2
  89. package/dist/durable/Scheduling.mjs +1 -1
  90. package/dist/durable/SqlMessageDeliveryStore.mjs +13 -11
  91. package/dist/durable/SqlMessageDeliveryStore.mjs.map +1 -1
  92. package/dist/durable/SqlStorageV2Upgrade.d.mts +2 -2
  93. package/dist/durable/SqlStorageV2Upgrade.mjs +1 -1
  94. package/dist/durable/SqlSubscriptionStore.d.mts +2 -2
  95. package/dist/durable/SqlSubscriptionStore.mjs +1 -1
  96. package/dist/durable/SqlThreadNativeReads.d.mts +1 -1
  97. package/dist/durable/SqlThreadNativeReads.mjs +2 -2
  98. package/dist/durable/SubmissionLedger.d.mts +1 -1
  99. package/dist/durable/SubmissionLedger.mjs +6 -3
  100. package/dist/durable/SubmissionLedger.mjs.map +1 -1
  101. package/dist/durable/SubmissionLedgerConformance.d.mts +1 -1
  102. package/dist/durable/SubmissionLedgerConformance.mjs +1 -1
  103. package/dist/durable/SubmissionStatus.d.mts +1 -1
  104. package/dist/durable/Subscription.d.mts +1 -1
  105. package/dist/durable/Subscription.mjs +1 -1
  106. package/dist/durable/SubscriptionInput.d.mts +1 -1
  107. package/dist/durable/SubscriptionInput.mjs +2 -2
  108. package/dist/durable/SubscriptionStoreConformance.d.mts +1 -1
  109. package/dist/durable/SubscriptionStoreConformance.mjs +1 -1
  110. package/dist/durable/SubscriptionTools.d.mts +3 -3
  111. package/dist/durable/SubscriptionTransition.d.mts +1 -1
  112. package/dist/durable/SubscriptionTransition.mjs +1 -1
  113. package/dist/durable/Subscriptions.d.mts +5 -5
  114. package/dist/durable/Subscriptions.mjs +1 -1
  115. package/dist/durable/ThreadContextHistory.d.mts +1 -1
  116. package/dist/durable/ThreadContextHistory.mjs +1 -1
  117. package/dist/durable/ThreadContextHistoryProjection.d.mts +1 -1
  118. package/dist/durable/ThreadContextHistoryProjection.mjs +1 -1
  119. package/dist/durable/ThreadInvariants.d.mts +1 -1
  120. package/dist/durable/ThreadInvariants.mjs +2 -2
  121. package/dist/durable/ThreadProjection.d.mts +1 -1
  122. package/dist/durable/ThreadProjection.mjs +1 -1
  123. package/dist/durable/ThreadProjectionMaintenance.d.mts +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 +1 -1
  128. package/dist/durable/ToolReconciler.mjs +1 -1
  129. package/dist/durable/WorkerHost.d.mts +3 -3
  130. package/dist/engine/AgentRuntime.d.mts +1 -1
  131. package/dist/engine/AgentRuntime.mjs +1 -1
  132. package/dist/engine/MessagingHost.d.mts +1 -1
  133. package/dist/engine/Output.d.mts +1 -1
  134. package/dist/engine/RunOptions.d.mts +1 -1
  135. package/dist/engine/RunOptions.mjs +2 -0
  136. package/dist/engine/RunOptions.mjs.map +1 -1
  137. package/dist/engine/SubagentHost.d.mts +1 -1
  138. package/dist/engine/SubagentHost.mjs.map +1 -1
  139. package/dist/index.d.mts +18 -17
  140. package/dist/index.mjs +8 -7
  141. package/package.json +1 -1
  142. package/src/capabilities/internal/subagent-background.ts +66 -23
  143. package/src/capabilities/internal/subagent-contract.ts +4 -0
  144. package/src/core/AgentError.ts +20 -0
  145. package/src/core/FailureDiagnostic.ts +343 -0
  146. package/src/core/Worker.ts +4 -1
  147. package/src/durable/Digest.ts +22 -28
  148. package/src/durable/DurableAgentRuntime.ts +37 -13
  149. package/src/durable/MessageDelivery.ts +82 -24
  150. package/src/durable/PreparedInputAdmission.ts +17 -4
  151. package/src/durable/Records.ts +5 -15
  152. package/src/durable/Schedule.ts +11 -2
  153. package/src/durable/SqlMessageDeliveryStore.ts +21 -9
  154. package/src/durable/SubmissionLedger.ts +4 -1
  155. package/src/durable/internal/agent-registration.ts +46 -14
  156. package/src/durable/internal/worker-host.ts +32 -19
  157. package/src/engine/RunOptions.ts +11 -3
  158. package/src/engine/SubagentHost.ts +3 -0
  159. package/src/engine/internal/agent-runtime.ts +23 -16
  160. package/src/index.ts +1 -0
  161. package/dist/AgentRuntime-BWOnNc0d.mjs.map +0 -1
  162. package/dist/DurableAgentRuntime-C9eRZS9N.mjs.map +0 -1
  163. package/dist/Records-D8167fHn.mjs +0 -844
  164. package/dist/Records-D8167fHn.mjs.map +0 -1
  165. package/dist/Subagent-C2s8PFrd.mjs.map +0 -1
  166. package/dist/agent-registration-ByeHejH3.mjs.map +0 -1
@@ -1 +1 @@
1
- {"version":3,"file":"RunJournal-srpbEBEy.mjs","names":[],"sources":["../src/durable/internal/journal-metadata.ts","../src/durable/RunJournal.ts"],"sourcesContent":["import { type RunId } from \"../../core/Identifiers.ts\";\nimport {\n type CanonicalRecordEnvelope,\n type CompactionCreated,\n type ToolCallSettled,\n} from \"../Records.ts\";\nimport { type JournalCheckpointSeed } from \"./journal-checkpoint.ts\";\n\n/** Metadata for one exact canonical prefix, including the same optional checkpoint seed. */\nexport interface JournalMetadata {\n readonly ownerRunId: RunId | undefined;\n readonly seed: JournalCheckpointSeed | undefined;\n readonly firstSequenceByRun: ReadonlyMap<string, number>;\n readonly lastResponseSequenceByRun: ReadonlyMap<string, number>;\n readonly terminalSequenceByRun: ReadonlyMap<string, number>;\n readonly settledSpans: ReadonlyArray<{ readonly from: number; readonly to: number }>;\n readonly settledToolCallRecordIds: ReadonlySet<string>;\n readonly settledById: ReadonlyMap<\n string,\n Pick<ToolCallSettled, \"isFailure\" | \"budgetRejected\" | \"toolSelection\">\n >;\n readonly compactions: ReadonlyArray<{\n readonly payload: CompactionCreated;\n readonly sequence: number;\n }>;\n}\n\n/**\n * Attempt-local metadata collector. Feed every validated record exactly once, in canonical order,\n * including records omitted from the control view. A snapshot is independent of later suffix\n * additions and may only accompany a replay stream bounded at that same captured tail.\n */\nexport const makeJournalMetadata = (\n ownerRunId: RunId | undefined,\n seed?: JournalCheckpointSeed,\n) => {\n const firstSequenceByRun = new Map<string, number>();\n\n if (seed?.firstSequence !== undefined) firstSequenceByRun.set(seed.runId, seed.firstSequence);\n const lastResponseSequenceByRun = new Map<string, number>();\n const terminalSequenceByRun = new Map<string, number>();\n const settledSpans: Array<{ readonly from: number; readonly to: number }> = [];\n const settledToolCallRecordIds = new Set<string>();\n\n const settledById = new Map<\n string,\n Pick<ToolCallSettled, \"isFailure\" | \"budgetRejected\" | \"toolSelection\">\n >();\n\n const compactions: Array<{ readonly payload: CompactionCreated; readonly sequence: number }> = [];\n\n return {\n add: (envelope: CanonicalRecordEnvelope): void => {\n const payload = envelope.record.payload;\n\n if (\n (payload._tag === \"RunCompleted\" ||\n payload._tag === \"RunFailed\" ||\n payload._tag === \"SubmissionSettled\") &&\n payload.runId !== undefined &&\n !terminalSequenceByRun.has(payload.runId)\n )\n terminalSequenceByRun.set(payload.runId, envelope.sequence);\n if (payload._tag === \"CompactionCreated\") {\n compactions.push({ payload, sequence: envelope.sequence });\n\n return;\n }\n if (\n \"runId\" in payload &&\n typeof payload.runId === \"string\" &&\n !firstSequenceByRun.has(payload.runId)\n )\n firstSequenceByRun.set(payload.runId, envelope.sequence);\n if (payload._tag === \"ModelResponseRecorded\") {\n lastResponseSequenceByRun.set(payload.runId, envelope.sequence);\n } else if (payload._tag === \"ToolCallSettled\") {\n settledToolCallRecordIds.add(envelope.record.recordId);\n if (payload.runId === ownerRunId)\n settledById.set(envelope.record.recordId, {\n isFailure: payload.isFailure,\n ...(payload.toolSelection === undefined\n ? {}\n : { toolSelection: payload.toolSelection }),\n ...(payload.budgetRejected === undefined\n ? {}\n : { budgetRejected: payload.budgetRejected }),\n });\n const from = lastResponseSequenceByRun.get(payload.runId);\n\n if (from !== undefined && from < envelope.sequence)\n settledSpans.push({ from, to: envelope.sequence });\n }\n },\n snapshot: (): JournalMetadata => ({\n ownerRunId,\n seed,\n firstSequenceByRun: new Map(firstSequenceByRun),\n lastResponseSequenceByRun: new Map(lastResponseSequenceByRun),\n terminalSequenceByRun: new Map(terminalSequenceByRun),\n settledSpans: [...settledSpans],\n settledToolCallRecordIds: new Set(settledToolCallRecordIds),\n settledById: new Map(settledById),\n compactions: [...compactions],\n }),\n };\n};\n","import { type Crypto, Effect, Schema, Stream, type DateTime } from \"effect\";\nimport { Prompt } from \"effect/unstable/ai\";\n\nimport { ThreadId, RunId, ToolCallId, TurnId, type SubmissionId } from \"../core/Identifiers.ts\";\nimport { type ExhaustedLimit } from \"../core/RunEvent.ts\";\nimport { RunPolicyUsage } from \"../core/RunPolicyUsage.ts\";\nimport { type Selection, type Snapshot } from \"../core/ToolExposure.ts\";\nimport type { ToolParameterRejection } from \"../core/ToolResult.ts\";\nimport { ModelCallUsage, summarizeModelUsage, type RunUsageSummary } from \"../core/Usage.ts\";\nimport type { WorkerRef } from \"../core/Worker.ts\";\nimport {\n CLEARED_TOOL_RESULT,\n COMPACTION_SUMMARY_PREFIX,\n contextWindowId,\n contextWindowMessage,\n} from \"../engine/Compaction.ts\";\nimport { digestJson, type DigestError } from \"./Digest.ts\";\nimport { type JournalCheckpointSeed } from \"./internal/journal-checkpoint.ts\";\nimport { makeJournalMetadata, type JournalMetadata } from \"./internal/journal-metadata.ts\";\nimport {\n BatchId,\n CanonicalBatch,\n CompactionCreated,\n ModelResponseRecorded,\n PersistedJson,\n RecordEnvelope,\n RecordId,\n RunCompleted,\n ToolCallSettled,\n type CanonicalRecordEnvelope,\n type CanonicalSequence,\n type DeploymentId,\n type ProducerId,\n} from \"./Records.ts\";\nimport { IdempotencyKey } from \"./SubmissionLedger.ts\";\n\n/** A canonical record could not be projected into Run/Prompt state. */\nexport class RunJournalError extends Schema.TaggedError<RunJournalError>()(\"RunJournalError\", {\n message: Schema.String,\n cause: Schema.optionalKey(Schema.Defect()),\n}) {}\n\nconst journalError = (message: string, cause?: unknown): RunJournalError =>\n cause === undefined\n ? RunJournalError.make({ message })\n : RunJournalError.make({ message, cause });\n\nconst decodeRunId = Schema.decodeSync(RunId);\nconst decodeTurnId = Schema.decodeSync(TurnId);\nconst decodeBatchId = Schema.decodeSync(BatchId);\nconst decodeRecordId = Schema.decodeSync(RecordId);\n\n/**\n * Deterministic Run identity pinned per Submission (plan §Coordinator flow). Every Attempt of one\n * Submission shares this Run identity, so canonical per-Turn records from different Attempts\n * belong to one logical Run.\n */\nexport const runIdForSubmission = (submissionId: SubmissionId): RunId =>\n decodeRunId(`run:${submissionId}`);\n\n/** Stable canonical clock identity shared by every Attempt of one Run. */\nexport const runStartedRecordId = (runId: RunId): RecordId => decodeRecordId(`run-start:${runId}`);\n\nexport const runStartedBatchId = (runId: RunId): BatchId => decodeBatchId(`run-start:${runId}`);\n\nexport const runDurationRecordId = (runId: RunId): RecordId =>\n decodeRecordId(`run-duration:${runId}`);\n\nexport const runDurationBatchId = (runId: RunId): BatchId => decodeBatchId(`run-duration:${runId}`);\n\n/** Deterministic Turn identity: Attempt-independent for one (Run, canonical turn) pair. */\nexport const turnIdForRun = (runId: RunId, turn: number): TurnId =>\n decodeTurnId(`turn:${runId}:${turn}`);\n\n/** Deterministic batch identity of one committed canonical no-tool Turn (P4 single-batch shape). */\nexport const turnBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn:${runId}:${turn}`);\n\n/**\n * Deterministic batch identity of a tool-declaring Turn's RESPONSE commit (plan §2.1 commit 1):\n * the assistant response plus pending steering becomes canonical BEFORE approval preflight and\n * tool preparation, creating the durability §15 \"resume tool scheduling\" window.\n */\nexport const turnResponseBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn-response:${runId}:${turn}`);\n\n/**\n * Deterministic batch identity of a tool-declaring Turn's RESULTS commit (plan §2.1 commit 5):\n * every `ToolCallSettled` record of the Turn, in declaration order, model-visible atomically.\n */\nexport const turnResultsBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn-results:${runId}:${turn}`);\n\n/**\n * Deterministic per-call late-settle batch identity used by the resolution path when one\n * recovered/resolved call settles outside its Turn's results batch. Record identity\n * (`tool-settled:{runId}:{turn}:{toolCallId}`) dedupes double-settles across both paths.\n */\nexport const toolCallResultBatchId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): BatchId => decodeBatchId(`turn-results:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic batch identity of one Turn's `ToolCallPrepared` commit (plan §2.1 commit 3). */\nexport const turnPreparedBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn-prepared:${runId}:${turn}`);\n\n/**\n * Deterministic identity of one pre-Turn compaction record (RUN-026,\n * RUN-026). Keyed by Run, Turn, and kind — the engine performs at most one\n * threshold compaction per Turn plus at most one overflow-forced summarize,\n * so a superseding Attempt that re-decides the same compaction replays the\n * batch identity instead of duplicating the record.\n */\nexport const compactionRecordId = (\n runId: RunId,\n turn: number,\n kind: \"clear-tool-results\" | \"summarize\" | \"rollover\",\n): RecordId => decodeRecordId(`compaction:${runId}:${turn}:${kind}`);\n\n/** Deterministic batch identity of one compaction append (same string as its record id). */\nexport const compactionBatchId = (\n runId: RunId,\n turn: number,\n kind: \"clear-tool-results\" | \"summarize\" | \"rollover\",\n): BatchId => decodeBatchId(`compaction:${runId}:${turn}:${kind}`);\n\n/** Deterministic canonical record identity of one Turn's `ModelResponseRecorded` record. */\nexport const modelResponseRecordId = (runId: RunId, turn: number): RecordId =>\n decodeRecordId(`model-response:${runId}:${turn}`);\n\n/** Terminal Tool completion marker committed atomically with its settled Tool result. */\nexport const runCompletedRecordId = (runId: RunId): RecordId =>\n decodeRecordId(`run-completed:${runId}`);\n\n/** Native source reservation locator, including the first admission of a continuing worker. */\nexport const workerInputRecordId = (messageId: IdempotencyKey): RecordId =>\n decodeRecordId(`worker-input:${messageId}`);\n\n/** Source-owned first reservation; native worker identity is minted from its first message. */\nexport const firstWorkerInputRecordId = (worker: WorkerRef): RecordId =>\n decodeRecordId(`worker-input:${worker.threadId}`);\n\nexport const workerOriginRecordId = (threadId: ThreadId): RecordId =>\n decodeRecordId(`worker-origin:${threadId}`);\n\nexport const workerReportRecordId = (messageId: IdempotencyKey): RecordId =>\n decodeRecordId(`worker-report:${messageId}`);\n\nexport const peerMessageRecordId = (messageId: IdempotencyKey): RecordId =>\n decodeRecordId(messageId);\n\n/** Same immutable tuple used by native update admission; callers never parse its hash. */\nexport const agentUpdateRecordId = Effect.fn(\"RunJournal.agentUpdateRecordId\")(function* (\n threadId: ThreadId,\n runId: RunId,\n updateId: IdempotencyKey,\n) {\n return decodeRecordId(`agent-update:${yield* digestJson([threadId, runId, updateId])}`);\n});\n\n/** Deterministic canonical record identity of one Turn's `ToolCallSettled` record. */\nexport const toolCallSettledRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`tool-settled:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolCallPrepared` record. */\nexport const toolCallPreparedRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`tool-prepared:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic batch identity of one Turn's `ToolCallUnknown` marking append. */\nexport const markUnknownBatchId = (submissionId: SubmissionId, turn: number): BatchId =>\n decodeBatchId(`mark-unknown:${submissionId}:${turn}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolCallUnknown` record. */\nexport const toolCallUnknownRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`tool-unknown:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic batch identity of one Tool Call's resolution append (DUR-017). */\nexport const toolCallResolutionBatchId = (\n submissionId: SubmissionId,\n toolCallId: ToolCallId,\n): BatchId => decodeBatchId(`resolve:${submissionId}:${toolCallId}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolCallResolved` record. */\nexport const toolCallResolvedRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`tool-resolved:${runId}:${turn}:${toolCallId}`);\n\n/**\n * Deterministic identity of one accepted Durable Step result. The one-record batch reuses the\n * SAME string, so batch idempotency plus the epoch fence realize the durability §11\n * racing-writers rule: only the fenced winner's record commits; the loser replays it.\n * A versioned JSON tuple keeps separator characters in each identity component distinct.\n * Replay derives this key from the structured payload, including records with legacy IDs.\n */\nexport const toolStepSettledRecordId = (\n runId: RunId,\n toolCallId: ToolCallId,\n stepName: string,\n): RecordId => decodeRecordId(JSON.stringify([\"step@2\", runId, toolCallId, stepName]));\n\n/** Deterministic batch identity of one Durable Step commit (same string as its record id). */\nexport const toolStepSettledBatchId = (\n runId: RunId,\n toolCallId: ToolCallId,\n stepName: string,\n): BatchId => decodeBatchId(toolStepSettledRecordId(runId, toolCallId, stepName));\n\n/** Deterministic batch identity of one Turn's canonical approval-request append (plan §2.6). */\nexport const turnApprovalsBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn-approvals:${runId}:${turn}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolApprovalRequested` record. */\nexport const toolApprovalRequestRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`approval-request:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic batch identity of one Tool Call's canonical approval-decision append. */\nexport const approvalDecisionBatchId = (\n submissionId: SubmissionId,\n toolCallId: ToolCallId,\n): BatchId => decodeBatchId(`approval-decision:${submissionId}:${toolCallId}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolApprovalDecided` record. */\nexport const toolApprovalDecisionRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`approval-decision:${runId}:${turn}:${toolCallId}`);\n\n/**\n * Deterministic identity of one superseded Attempt's `ModelResponseInterrupted` audit record\n * (durability §9). Keyed by the superseded epoch, so each interrupted ownership period is\n * recorded at most once; the one-record batch reuses the same string.\n */\nexport const modelResponseInterruptedRecordId = (runId: RunId, supersededEpoch: number): RecordId =>\n decodeRecordId(`interrupted:${runId}:${supersededEpoch}`);\n\n/** Deterministic batch identity of one `ModelResponseInterrupted` append (same string). */\nexport const modelResponseInterruptedBatchId = (runId: RunId, supersededEpoch: number): BatchId =>\n decodeBatchId(`interrupted:${runId}:${supersededEpoch}`);\n\nconst decodeThreadId = Schema.decodeSync(ThreadId);\nconst decodeIdempotencyKey = Schema.decodeSync(IdempotencyKey);\n\n/**\n * Deterministic canonical record identity of one parent Tool Call's `SubagentRequested` record.\n * The one-record batch reuses the same string, so batch\n * idempotency plus the parent epoch fence make the request append exactly-once-canonical.\n */\nexport const subagentRequestedRecordId = (runId: RunId, toolCallId: ToolCallId): RecordId =>\n decodeRecordId(`subagent-requested:${runId}:${toolCallId}`);\n\n/** Deterministic batch identity of one `SubagentRequested` append (same string). */\nexport const subagentRequestedBatchId = (runId: RunId, toolCallId: ToolCallId): BatchId =>\n decodeBatchId(`subagent-requested:${runId}:${toolCallId}`);\n\n/**\n * Deterministic canonical record identity of one parent Tool Call's `SubagentStarted` record.\n * Recovery's start-link repair appends the EXACT same record\n * under this identity, so a raced repair replays instead of duplicating (SUB-016/SUB-017).\n */\nexport const subagentStartedRecordId = (runId: RunId, toolCallId: ToolCallId): RecordId =>\n decodeRecordId(`subagent-started:${runId}:${toolCallId}`);\n\n/** Deterministic batch identity of one `SubagentStarted` append (same string). */\nexport const subagentStartedBatchId = (runId: RunId, toolCallId: ToolCallId): BatchId =>\n decodeBatchId(`subagent-started:${runId}:${toolCallId}`);\n\n/**\n * Deterministic batch identity of one parent Tool Call's atomic settlement join: the\n * `SubagentJoined` record plus the parent's `ToolCallSettled` record (its existing\n * `tool-settled:{runId}:{turn}:{toolCallId}` identity) commit as ONE canonical batch (SUB-019).\n */\nexport const subagentJoinBatchId = (runId: RunId, toolCallId: ToolCallId): BatchId =>\n decodeBatchId(`subagent-join:${runId}:${toolCallId}`);\n\n/** Deterministic canonical record identity of one parent Tool Call's `SubagentJoined` record. */\nexport const subagentJoinedRecordId = (runId: RunId, toolCallId: ToolCallId): RecordId =>\n decodeRecordId(`subagent-joined:${runId}:${toolCallId}`);\n\n/**\n * Deterministic identity of one child Thread's `SubagentLineageRecorded` record.\n * Its own single-record batch reuses the same string so the generic\n * `thread-created:{cid}` batch identity is never contradicted.\n */\nexport const subagentLineageRecordId = (threadId: ThreadId): RecordId =>\n decodeRecordId(`subagent-lineage:${threadId}`);\n\n/** Deterministic batch identity of one `SubagentLineageRecorded` append (same string). */\nexport const subagentLineageBatchId = (threadId: ThreadId): BatchId =>\n decodeBatchId(`subagent-lineage:${threadId}`);\n\n/**\n * Deterministic intended child Thread identity: the\n * parent Submission and Tool Call pair addresses exactly one child Thread, so a replayed\n * establishment converges on the one existing child (SUB-016).\n */\nexport const childThreadIdFor = (\n parentSubmissionId: SubmissionId,\n toolCallId: ToolCallId,\n): ThreadId => decodeThreadId(`subagent:${parentSubmissionId}:${toolCallId}`);\n\n/**\n * Deterministic child admission idempotency key: scoped to\n * the parent Run and Tool Call identity, so duplicate admission attempts resolve through the\n * ledger's idempotency contract to one child Receipt (SUB-016, SUB-031). The ledger key is\n * bounded (256); coordinator-minted Run and Tool Call identities stay far below that bound.\n */\nexport const childIdempotencyKeyFor = (\n parentRunId: RunId,\n toolCallId: ToolCallId,\n): IdempotencyKey => decodeIdempotencyKey(`subagent:${parentRunId}:${toolCallId}`);\n\nconst decodePromptMessages = Effect.fn(\"RunJournal.decodePromptMessages\")(\n (messages: PersistedJson): Effect.Effect<Prompt.Prompt, RunJournalError> =>\n Schema.decodeUnknownEffect(Prompt.Prompt)(messages).pipe(\n Effect.mapError((cause) =>\n journalError(\"Canonical messages are not Schema-encoded Prompt messages\", cause),\n ),\n ),\n);\n\ninterface PendingSettledTool {\n readonly record: ToolCallSettled;\n /** RUN-026: a `clear-tool-results` compaction covers this record's sequence. */\n readonly cleared: boolean;\n}\n\nconst toolMessageFromSettled = Effect.fn(\"RunJournal.toolMessageFromSettled\")(\n (settled: ReadonlyArray<PendingSettledTool>): Effect.Effect<Prompt.Message, RunJournalError> =>\n Effect.try({\n try: () =>\n Prompt.makeMessage(\"tool\", {\n content: settled.map(({ record, cleared }) =>\n Prompt.makePart(\"tool-result\", {\n id: record.toolCallId,\n name: record.toolName,\n result: cleared ? CLEARED_TOOL_RESULT : record.result,\n isFailure: record.isFailure,\n providerExecuted: false,\n }),\n ),\n }),\n catch: (cause) => journalError(\"Unable to rebuild Tool message from ToolCallSettled\", cause),\n }),\n);\n\n/**\n * Pure canonical projection of one Run's durable execution state.\n *\n * Prompt reconstruction contract (D8):\n *\n * - `ModelResponseRecorded.messages` carries the Schema-encoded Prompt messages the Turn appended\n * to the model-visible prompt — for the Run's FIRST committed Turn that includes the evaluated\n * instruction and user-input messages, for later Turns only the assistant response messages.\n * Tool messages are excluded from `messages`.\n * - `ToolCallSettled` records (committed in the same per-Turn batch, in declaration order)\n * deterministically rebuild the Turn's single Tool message.\n * - `UserInputRecorded` records input, with a Submission identity only for durable admission. Its\n * Prompt-visible form (instructions + user message) becomes canonical inside the owning Run's\n * first `ModelResponseRecorded`. The projection consumes it only for Run correlation.\n * - Immediate retained history uses `ModelCompleted.messages` for the successful Run's exact\n * native Prompt suffix, including any input examples. It has no resumable Turn state.\n */\n/** Cumulative committed usage of the projected Run (RUN-023 resume re-seed). */\nexport interface RunJournalUsage {\n readonly modelCalls: number;\n /** Known accounting gaps retained across Attempts without changing numeric usage totals. */\n readonly unobservedModelCalls?: number | undefined;\n readonly inputTokens: number;\n readonly outputTokens: number;\n readonly lastInputTokens: number;\n readonly lastOutputTokens: number;\n /** Cumulative persisted spend of the projected Run's committed calls (RUN-023). */\n readonly costMicrousd: number;\n /** Canonical per-call detail used for settlement aggregation and recovery. */\n readonly modelUsage: ReadonlyArray<ModelCallUsage>;\n /** Detailed usage of retired records, grouped without retaining per-call payloads. */\n readonly summarizedModelUsage?: RunUsageSummary | undefined;\n}\n\nexport interface RunJournalProjection {\n readonly toolSelection?: Selection | undefined;\n readonly policyUsage: RunPolicyUsage;\n /** Canonical projection for the requested Run; may end at its resumable Tool declaration. */\n readonly prompt: Prompt.Prompt;\n /** Prior-Run history with model-only unknown results closing incomplete application calls. */\n readonly historyBefore: Prompt.Prompt;\n /** Number of canonical Turns already committed for the projected Run. */\n readonly committedTurns: number;\n /** Summed per-call usage of the projected Run's committed responses; zeros for records predating usage capture. */\n readonly usage: RunJournalUsage;\n /** Latest committed context window identity, retained across ownership changes. */\n readonly contextWindowId?: string | undefined;\n /** Canonical evaluated instructions and initial input for this Run, independent of the view. */\n readonly protectedContext?: Prompt.Prompt | undefined;\n /** Last successful singleton Tool awaiting possible context-control interpretation by the engine. */\n readonly pendingContextToolCallId?: string | undefined;\n}\n\ninterface ProjectedResponseUsage {\n readonly modelCalls: number;\n readonly inputTokens: number;\n readonly outputTokens: number;\n readonly costMicrousd: number;\n readonly modelUsage: ReadonlyArray<ModelCallUsage>;\n}\n\nconst projectedResponseUsage = (\n response: ModelResponseRecorded,\n): Effect.Effect<ProjectedResponseUsage, RunJournalError> =>\n Effect.gen(function* () {\n const calls = response.modelUsage;\n\n if (calls === undefined) {\n return {\n modelCalls: 1,\n inputTokens: response.inputTokens ?? 0,\n outputTokens: response.outputTokens ?? 0,\n costMicrousd: response.costMicrousd ?? 0,\n modelUsage: [],\n };\n }\n if (calls.length === 0) {\n return yield* journalError(\"A canonical modelUsage list must not be empty\");\n }\n\n const summary = yield* summarizeModelUsage(calls).pipe(\n Effect.mapError((cause) =>\n journalError(\"Canonical model usage exceeds accounting bounds\", cause),\n ),\n );\n\n if (\n (response.inputTokens !== undefined && response.inputTokens !== summary.inputTokens.total) ||\n (response.outputTokens !== undefined &&\n response.outputTokens !== summary.outputTokens.total) ||\n (response.costMicrousd !== undefined && response.costMicrousd !== summary.costMicrousd)\n ) {\n return yield* journalError(\"Canonical detailed and aggregate model usage disagree\");\n }\n\n return {\n modelCalls: summary.modelCalls,\n inputTokens: summary.inputTokens.total,\n outputTokens: summary.outputTokens.total,\n costMicrousd: summary.costMicrousd,\n modelUsage: calls,\n };\n });\n\nconst addProjectedUsage = (\n field: string,\n left: number,\n right: number,\n): Effect.Effect<number, RunJournalError> =>\n Schema.decodeEffect(Schema.Natural)(left + right).pipe(\n Effect.mapError((cause) =>\n journalError(`Canonical projected usage exceeds safe-integer bounds at ${field}`, cause),\n ),\n );\n\ninterface FoldState {\n readonly all: Array<Prompt.Message>;\n readonly before: Array<Prompt.Message>;\n readonly pendingTools: Array<PendingSettledTool>;\n readonly pendingToolsForRun: boolean;\n readonly committedTurns: number;\n}\n\nconst decodeToolCallId = Schema.decodeSync(ToolCallId);\n\nconst declaredApplicationToolCallIds = (prompt: Prompt.Prompt): ReadonlyArray<string> => {\n const ids: Array<string> = [];\n\n for (const message of prompt.content) {\n if (message.role !== \"assistant\") continue;\n for (const part of message.content) {\n if (part.type === \"tool-call\" && !part.providerExecuted) ids.push(part.id);\n }\n }\n\n return ids;\n};\n\n/**\n * Phase 5 audit tags that are prompt-transparent: they carry durability evidence (preparation,\n * unknown marking, resolution, Step results, approvals, interruption) but contribute nothing to\n * the model-visible Prompt, and — unlike the P4 tags — they do NOT split a contiguous\n * `ToolCallSettled` group into separate Tool messages, so a late-settled call's audit records\n * cannot change the replayed prompt shape.\n *\n * The four S2 Subagent lifecycle tags are prompt-transparent for the same reason (spec §5/§11):\n * the parent prompt never carries child transcript or establishment evidence — the joined child\n * result reaches the model exclusively through the paired `ToolCallSettled` record, and the\n * child-log lineage record is not model input.\n */\nconst PROMPT_TRANSPARENT_TAGS: ReadonlySet<string> = new Set([\n \"RunPolicyUsageReserved\",\n \"RunStarted\",\n \"RunDurationExhausted\",\n \"ToolCallPrepared\",\n \"ToolCallUnknown\",\n \"ToolCallResolved\",\n \"ToolStepSettled\",\n \"ToolApprovalRequested\",\n \"ToolApprovalDecided\",\n \"ModelResponseInterrupted\",\n \"SubagentRequested\",\n \"SubagentStarted\",\n \"SubagentJoined\",\n \"SubagentLineageRecorded\",\n \"WorkerInputRequested\",\n \"WorkerOriginRecorded\",\n \"WorkerInputCompleted\",\n \"WorkerReportPrepared\",\n \"AgentUpdateEmitted\",\n \"WorkerReportRefused\",\n \"PeerMessagePrepared\",\n \"SubtreeBudgetReserved\",\n]);\n\n/**\n * Pure projection: rebuild one Run's resume state from canonical records (DUR-015). Canonical\n * order is authoritative; the fold projects each `ModelResponseRecorded` Turn and the\n * owning Run's resumable incomplete Tool Turn. It flushes each contiguous group of valid `ToolCallSettled` records into one Tool message,\n * exactly mirroring the per-Turn commit shape produced by `turnCanonicalBatch` (no-tool Turns) and\n * by the\n * `turnResponseBatch`/`turnResultsBatch` split (tool-declaring Turns). The Phase 5 audit tags\n * are skipped transparently, so split-batch commits replay to the same prompt as P4 single-batch\n * commits.\n *\n * An incomplete application Tool turn remains visible while projecting its owning Run so active\n * recovery can resume the declared batch. It is not a valid model-visible Turn boundary for a\n * later Run until model-only unknown results close its missing calls. Those explanatory results\n * are never canonical settlements or evidence for compaction, recovery or accounting. Real\n * results replace them at the original declaration, including results appended after another Run.\n * Prior user intent and assistant text remain visible; prior system instructions do not.\n */\n/** @internal Lightweight canonical boundaries collected without retaining record payloads. */\nexport interface JournalBoundary {\n readonly sequence: CanonicalSequence;\n readonly tag: \"ModelResponseRecorded\" | \"ToolCallSettled\";\n readonly promptLength: number;\n /** A declaration without all settled results requires terminal-prior-Run proof for coverage. */\n readonly incomplete?: true | undefined;\n /** The Run terminated after its last response and differs from the projection's owner. */\n readonly terminalPriorRun?: true | undefined;\n}\n\n/**\n * Reconstruct a fixed canonical prefix from a re-readable stream. The caller must keep the same\n * records visible on every traversal. The first collects compaction and settlement metadata;\n * rollovers additionally validate covered Tool batches before rebuilding Prompt and usage. Metadata and the\n * live Prompt remain resident; covered historical message/tool payloads do not. An uncompacted Prompt still grows\n * with its conversation, so hosts must configure an appropriate context compaction policy.\n * Prepared metadata must describe exactly this stream and seed through the same fixed tail;\n * it skips only the metadata scan, never covered-Tool validation or the canonical fold.\n * @internal\n */\nexport const projectRunJournalStream = Effect.fn(\"RunJournal.projectRunJournalStream\")(function* <\n E,\n R,\n>(\n records: Stream.Stream<CanonicalRecordEnvelope, E, R>,\n ownerRunId: RunId | undefined,\n onBoundary?: (boundary: JournalBoundary) => void,\n seed?: JournalCheckpointSeed,\n preparedMetadata?: JournalMetadata,\n): Effect.fn.Return<RunJournalProjection, RunJournalError | E, R> {\n if (seed !== undefined && seed.runId !== ownerRunId)\n return yield* journalError(\"Recovery checkpoint belongs to another Run\");\n\n let state: FoldState = {\n all: [],\n before: [],\n pendingTools: [],\n pendingToolsForRun: false,\n committedTurns: seed?.committedTurns ?? 0,\n };\n\n // RUN-026 pre-scan: the widest VALID compaction bounds govern the fold. A\n // valid record covers strictly below its own sequence and never splits a response from its\n // settled tool results. Pruning and rollovers may cover complete owner-Run batches;\n // a summarize record must carry its summary. Invalid records\n // are ignored fail-safe — the full history stays authoritative. Ties on\n // coversThrough resolve to the record appended later (higher sequence),\n // matching at-most-once replay intent.\n // One span per settled record, paired with its declaring response the same\n // way the fold pairs them: a settled belongs to the most recent\n // ModelResponseRecorded of its Run. A bound inside (response, settled)\n // would orphan the tool message from its declaring response. Orphaned\n // settleds (filtered later by the fold) still contribute spans —\n // over-invalidating is the fail-safe direction.\n if (\n preparedMetadata !== undefined &&\n (preparedMetadata.ownerRunId !== ownerRunId || preparedMetadata.seed !== seed)\n )\n return yield* journalError(\"Prepared journal metadata belongs to another replay\");\n\n let metadata = preparedMetadata;\n\n if (metadata === undefined) {\n const collected = makeJournalMetadata(ownerRunId, seed);\n\n yield* Stream.runForEach(records, (envelope) => Effect.sync(() => collected.add(envelope)));\n metadata = collected.snapshot();\n }\n\n const {\n firstSequenceByRun,\n lastResponseSequenceByRun,\n terminalSequenceByRun,\n settledSpans,\n settledToolCallRecordIds,\n settledById,\n compactions,\n } = metadata;\n\n const settledCoverage = compactions.reduce(\n (through, { payload }) =>\n payload.kind !== \"summarize\" ? Math.max(through, payload.coversThrough) : through,\n 0,\n );\n\n // Terminality changes only prompt coverage; it never settles or resolves the Tool Call.\n // Compare against the compaction's Run and sequence, independent of the replay's owner.\n const isTerminalPriorRun = (\n candidateRunId: RunId,\n compactionRunId: RunId | undefined,\n beforeSequence: number,\n ): boolean => {\n const terminal = terminalSequenceByRun.get(candidateRunId);\n\n return (\n candidateRunId !== compactionRunId &&\n terminal !== undefined &&\n terminal < beforeSequence &&\n terminal > (lastResponseSequenceByRun.get(candidateRunId) ?? 0)\n );\n };\n\n const incompleteResponseSequences: Array<{ readonly sequence: number; readonly runId: RunId }> =\n [];\n\n let ownerPrefixSequence = seed?.firstSequence ?? Number.POSITIVE_INFINITY;\n\n let protectedContext: Prompt.Prompt | undefined =\n seed?.protectedContext === undefined\n ? undefined\n : yield* decodePromptMessages(seed.protectedContext);\n\n if (settledCoverage > 0) {\n yield* Stream.runForEach(records, (envelope) =>\n Effect.gen(function* () {\n const payload = envelope.record.payload;\n\n if (payload._tag !== \"ModelResponseRecorded\" || envelope.sequence > settledCoverage) return;\n const messages = yield* decodePromptMessages(payload.messages);\n const declared = declaredApplicationToolCallIds(messages);\n\n for (const id of declared) {\n const callId = yield* Schema.decodeEffect(ToolCallId)(id).pipe(\n Effect.mapError((cause) =>\n journalError(\"Failed to decode a declared Tool Call ID\", cause),\n ),\n );\n\n if (\n !settledToolCallRecordIds.has(\n toolCallSettledRecordId(payload.runId, payload.turn, callId),\n )\n ) {\n incompleteResponseSequences.push({ sequence: envelope.sequence, runId: payload.runId });\n break;\n }\n }\n if (\n payload.runId === ownerRunId &&\n payload.turn === 1 &&\n payload.runScopedPrefixLength !== undefined\n ) {\n ownerPrefixSequence = envelope.sequence;\n protectedContext = Prompt.fromMessages(\n messages.content.slice(0, payload.runScopedPrefixLength),\n );\n }\n }),\n );\n }\n\n const boundIsValid = (payload: CompactionCreated, ownSequence: number): boolean => {\n const { runId, coversThrough } = payload;\n\n if (coversThrough <= 0 || coversThrough >= ownSequence) return false;\n if (seed !== undefined && ownSequence === seed.compaction.sequence)\n return (\n seed.compaction.record.payload._tag === \"CompactionCreated\" &&\n Schema.toEquivalence(CompactionCreated)(payload, seed.compaction.record.payload)\n );\n const ownerFirst = firstSequenceByRun.get(runId);\n\n if (payload.kind === \"summarize\" && ownerFirst !== undefined && coversThrough >= ownerFirst)\n return false;\n if (\n payload.kind !== \"summarize\" &&\n incompleteResponseSequences.some(\n (response) =>\n response.sequence <= coversThrough &&\n !isTerminalPriorRun(response.runId, runId, ownSequence),\n )\n )\n return false;\n for (const span of settledSpans) {\n if (span.from <= coversThrough && coversThrough < span.to) return false;\n }\n\n return true;\n };\n\n let summarizeBound = 0;\n let replacement: CompactionCreated | undefined;\n let summarizeSequence = -1;\n let clearBound = 0;\n let latestWindowId: string | undefined = seed?.contextWindowId;\n let latestWindowSequence = seed?.throughSequence ?? -1;\n let rolloverCoveredThrough = 0;\n\n for (const { payload, sequence } of compactions) {\n if (!boundIsValid(payload, sequence)) continue;\n if (payload.kind === \"rollover\" && sequence > latestWindowSequence) {\n latestWindowId = contextWindowId(payload.runId, payload.turn);\n latestWindowSequence = sequence;\n }\n if (payload.kind === \"rollover\")\n rolloverCoveredThrough = Math.max(rolloverCoveredThrough, payload.coversThrough);\n if (payload.kind === \"summarize\" || payload.kind === \"rollover\") {\n if (payload.kind === \"summarize\" && payload.summary === undefined) continue;\n if (\n payload.coversThrough > summarizeBound ||\n (payload.coversThrough === summarizeBound && sequence > summarizeSequence)\n ) {\n summarizeBound = payload.coversThrough;\n summarizeSequence = sequence;\n replacement = payload;\n }\n } else if (payload.coversThrough > clearBound) {\n clearBound = payload.coversThrough;\n }\n }\n let summaryEmitted = false;\n\n const retainedPrefix =\n replacement?.kind === \"rollover\" &&\n replacement.runId === ownerRunId &&\n ownerPrefixSequence <= summarizeBound\n ? (protectedContext?.content ?? [])\n : [];\n\n const replacementLength = replacement === undefined ? 0 : retainedPrefix.length + 1;\n\n if (seed?.frontier !== undefined)\n onBoundary?.({ ...seed.frontier, promptLength: replacementLength });\n\n const emitSummary = () => {\n if (summaryEmitted || replacement === undefined) return;\n summaryEmitted = true;\n\n const message =\n replacement.kind === \"rollover\"\n ? contextWindowMessage(\n contextWindowId(replacement.runId, replacement.turn),\n replacement.handoff,\n )\n : Prompt.makeMessage(\"user\", {\n content: [\n Prompt.makePart(\"text\", {\n text: `${COMPACTION_SUMMARY_PREFIX}${replacement.summary}`,\n }),\n ],\n });\n\n state.all.push(...retainedPrefix, message);\n if (replacement.kind !== \"rollover\" || replacement.runId !== ownerRunId)\n state.before.push(message);\n };\n\n const modelUsage: Array<ModelCallUsage> = [];\n let unobservedModelCalls = seed?.unobservedModelCalls ?? 0;\n\n const usage = {\n modelCalls: seed?.modelCalls ?? 0,\n inputTokens: seed?.inputTokens ?? 0,\n outputTokens: seed?.outputTokens ?? 0,\n lastInputTokens: seed?.lastInputTokens ?? 0,\n lastOutputTokens: seed?.lastOutputTokens ?? 0,\n costMicrousd: seed?.costMicrousd ?? 0,\n modelUsage,\n ...(seed === undefined ? {} : { summarizedModelUsage: seed.summarizedModelUsage }),\n };\n\n let toolSelection = seed?.toolSelection;\n let usageTurn = seed?.committedTurns ?? 0;\n\n const incompleteToolTurns = new Set<string>();\n const incompleteToolCalls = new Set<string>();\n let pendingContextToolCallId: string | undefined;\n let ownerTerminated = false;\n\n const policyUsage = {\n committedTurns: seed?.policyUsage.committedTurns ?? 0,\n toolCalls: seed?.policyUsage.toolCalls ?? 0,\n programmaticToolCalls: seed?.policyUsage.programmaticToolCalls ?? 0,\n consecutiveToolFailures: seed?.policyUsage.consecutiveToolFailures ?? 0,\n finalizationUsed: seed?.policyUsage.finalizationUsed ?? false,\n };\n\n const accountResponse = Effect.fn(\"RunJournal.accountResponse\")(function* (\n envelope: CanonicalRecordEnvelope,\n payload: ModelResponseRecorded,\n messages: Prompt.Prompt,\n ) {\n const record = envelope.record;\n\n const declared = declaredApplicationToolCallIds(messages);\n const declaredRecordIds: Array<RecordId> = [];\n\n for (const id of declared) {\n const toolCallId = yield* Effect.try({\n try: () => decodeToolCallId(id),\n catch: (cause) => journalError(\"Failed to decode a declared Tool Call ID\", cause),\n });\n\n declaredRecordIds.push(toolCallSettledRecordId(payload.runId, payload.turn, toolCallId));\n }\n if (declaredRecordIds.some((recordId) => !settledToolCallRecordIds.has(recordId))) {\n incompleteToolTurns.add(envelope.record.recordId);\n for (const recordId of declaredRecordIds) incompleteToolCalls.add(recordId);\n }\n if (payload.runId !== ownerRunId) return;\n if (seed !== undefined && envelope.sequence <= seed.throughSequence) return;\n if (payload.turn === 1 && payload.runScopedPrefixLength !== undefined) {\n protectedContext = Prompt.fromMessages(\n messages.content.slice(0, payload.runScopedPrefixLength),\n );\n }\n\n const responseUsage = yield* projectedResponseUsage(payload);\n\n unobservedModelCalls = yield* addProjectedUsage(\n \"unobservedModelCalls\",\n unobservedModelCalls,\n payload.unobservedModelCalls ?? 0,\n );\n\n usage.modelCalls = yield* addProjectedUsage(\n \"modelCalls\",\n usage.modelCalls,\n responseUsage.modelCalls,\n );\n usage.inputTokens = yield* addProjectedUsage(\n \"inputTokens\",\n usage.inputTokens,\n responseUsage.inputTokens,\n );\n usage.outputTokens = yield* addProjectedUsage(\n \"outputTokens\",\n usage.outputTokens,\n responseUsage.outputTokens,\n );\n usage.costMicrousd = yield* addProjectedUsage(\n \"costMicrousd\",\n usage.costMicrousd,\n responseUsage.costMicrousd,\n );\n usage.modelUsage.push(...responseUsage.modelUsage);\n if (payload.turn > usageTurn) {\n usageTurn = payload.turn;\n usage.lastInputTokens = responseUsage.inputTokens;\n usage.lastOutputTokens = responseUsage.outputTokens;\n }\n\n policyUsage.committedTurns = Math.max(policyUsage.committedTurns, payload.turn);\n\n const calls = messages.content.flatMap((message) =>\n message.role === \"assistant\"\n ? message.content.filter((part) => part.type === \"tool-call\")\n : [],\n );\n\n const candidate = calls.length === 1 ? calls[0] : undefined;\n\n const candidateResult =\n candidate === undefined\n ? undefined\n : settledById.get(`tool-settled:${ownerRunId}:${payload.turn}:${candidate.id}`);\n\n pendingContextToolCallId =\n candidate !== undefined &&\n !candidate.providerExecuted &&\n candidateResult?.isFailure === false &&\n candidateResult.budgetRejected !== true &&\n envelope.sequence > rolloverCoveredThrough\n ? candidate.id\n : undefined;\n\n policyUsage.toolCalls += calls.length;\n if (payload.toolExposure !== undefined) toolSelection = payload.toolExposure.selection;\n if (incompleteToolTurns.has(record.recordId)) return;\n for (const call of calls) {\n const result = call.providerExecuted\n ? messages.content\n .flatMap((message) => (message.role === \"assistant\" ? message.content : []))\n .find(\n (part) => part.type === \"tool-result\" && part.providerExecuted && part.id === call.id,\n )\n : settledById.get(`tool-settled:${ownerRunId}:${payload.turn}:${call.id}`);\n\n if (result === undefined || (\"budgetRejected\" in result && result.budgetRejected === true))\n continue;\n if (!(\"isFailure\" in result)) continue;\n if (!result.isFailure && \"toolSelection\" in result && result.toolSelection !== undefined)\n toolSelection = result.toolSelection;\n policyUsage.consecutiveToolFailures = result.isFailure\n ? policyUsage.consecutiveToolFailures + 1\n : 0;\n }\n });\n\n // Slots refer to the retained Prompt itself, not an additional history payload index.\n // Only still-unseen results retain a slot; late results fill the original declaration in place.\n const historicalResults = new Map<\n string,\n {\n readonly allIndex: number;\n readonly beforeIndex: number;\n readonly parts: Array<Prompt.ToolResultPart>;\n readonly partIndex: number;\n }\n >();\n\n let pendingToolOrder = new Map<string, number>();\n\n const flushTools = Effect.fn(\"RunJournal.flushTools\")(function* (\n current: FoldState,\n ): Effect.fn.Return<FoldState, RunJournalError> {\n if (current.pendingTools.length === 0) return current;\n\n // Suspension can persist an ordinary sibling before a delegated call joins. Model context\n // still uses declaration order, matching the live interpreter's completed results batch.\n const ordered = current.pendingTools.toSorted(\n (left, right) =>\n (pendingToolOrder.get(left.record.toolCallId) ?? Number.MAX_SAFE_INTEGER) -\n (pendingToolOrder.get(right.record.toolCallId) ?? Number.MAX_SAFE_INTEGER),\n );\n\n const toolMessage = yield* toolMessageFromSettled(ordered);\n\n current.all.push(toolMessage);\n if (!current.pendingToolsForRun) current.before.push(toolMessage);\n\n return {\n ...current,\n pendingTools: [],\n pendingToolsForRun: false,\n };\n });\n\n yield* Stream.runForEach(records, (envelope) =>\n Effect.gen(function* () {\n const payload = envelope.record.payload;\n\n if (\n ((payload._tag === \"RunCompleted\" || payload._tag === \"RunFailed\") &&\n payload.runId === ownerRunId) ||\n (payload._tag === \"SubmissionSettled\" &&\n runIdForSubmission(payload.submissionId) === ownerRunId)\n )\n ownerTerminated = true;\n\n if (payload._tag === \"RunPolicyUsageReserved\" && payload.runId === ownerRunId) {\n if (seed !== undefined && envelope.sequence <= seed.throughSequence) return;\n if (\n payload.programmaticToolCalls < policyUsage.programmaticToolCalls ||\n (policyUsage.finalizationUsed && !payload.finalizationUsed)\n ) {\n return yield* journalError(\"Run policy reservations must be monotonic\");\n }\n policyUsage.programmaticToolCalls = payload.programmaticToolCalls;\n policyUsage.finalizationUsed = payload.finalizationUsed;\n }\n if (PROMPT_TRANSPARENT_TAGS.has(payload._tag)) return;\n // The compaction record governs the fold (pre-scan) and contributes no\n // message of its own; records at or below the summarize bound render as\n // the one summary message emitted at the covered/kept transition.\n if (payload._tag === \"CompactionCreated\") return;\n if (\n seed !== undefined &&\n envelope.sequence <= seed.throughSequence &&\n (payload._tag === \"ModelResponseRecorded\" || payload._tag === \"ToolCallSettled\")\n )\n return;\n if (envelope.sequence <= summarizeBound) {\n // Projecting an earlier Run after a later summary still accounts for its covered responses.\n if (payload._tag === \"ModelResponseRecorded\" && payload.runId === ownerRunId) {\n const messages = yield* decodePromptMessages(payload.messages);\n\n yield* accountResponse(envelope, payload, messages);\n state = { ...state, committedTurns: Math.max(state.committedTurns, payload.turn) };\n }\n if (payload._tag === \"ModelResponseRecorded\" || payload._tag === \"ToolCallSettled\") {\n onBoundary?.({\n sequence: envelope.sequence,\n tag: payload._tag,\n promptLength: replacementLength,\n ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)\n ? { terminalPriorRun: true }\n : {}),\n ...(incompleteToolTurns.has(envelope.record.recordId) ||\n incompleteToolCalls.has(envelope.record.recordId)\n ? { incomplete: true }\n : {}),\n });\n }\n\n return;\n }\n emitSummary();\n if (payload._tag === \"ToolCallSettled\") {\n if (payload.runId !== ownerRunId) {\n const slot = historicalResults.get(envelope.record.recordId);\n\n if (slot === undefined)\n return yield* journalError(\"Historical Tool result has no matching declaration\");\n const declared = slot.parts[slot.partIndex];\n\n if (declared?.id !== payload.toolCallId || declared.name !== payload.toolName)\n return yield* journalError(\"Historical Tool result differs from its declaration\");\n slot.parts[slot.partIndex] = Prompt.makePart(\"tool-result\", {\n id: payload.toolCallId,\n name: payload.toolName,\n result: envelope.sequence <= clearBound ? CLEARED_TOOL_RESULT : payload.result,\n isFailure: payload.isFailure,\n providerExecuted: false,\n });\n const message = Prompt.makeMessage(\"tool\", { content: [...slot.parts] });\n\n state.all[slot.allIndex] = message;\n state.before[slot.beforeIndex] = message;\n historicalResults.delete(envelope.record.recordId);\n onBoundary?.({\n sequence: envelope.sequence,\n tag: payload._tag,\n promptLength: state.all.length,\n ...(incompleteToolCalls.has(envelope.record.recordId) ? { incomplete: true } : {}),\n ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)\n ? { terminalPriorRun: true }\n : {}),\n });\n\n return;\n }\n if (\n state.pendingTools.length > 0 &&\n state.pendingToolsForRun !== (payload.runId === ownerRunId)\n ) {\n state = yield* flushTools(state);\n }\n state.pendingTools.push({ record: payload, cleared: envelope.sequence <= clearBound });\n state = {\n ...state,\n pendingToolsForRun: payload.runId === ownerRunId,\n };\n onBoundary?.({\n sequence: envelope.sequence,\n tag: payload._tag,\n promptLength: state.all.length + 1,\n ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)\n ? { terminalPriorRun: true }\n : {}),\n ...(incompleteToolCalls.has(envelope.record.recordId) ? { incomplete: true } : {}),\n });\n\n return;\n }\n state = yield* flushTools(state);\n if (payload._tag === \"ModelCompleted\" && payload.messages !== undefined) {\n const messages = yield* decodePromptMessages(payload.messages);\n\n for (const message of messages.content) {\n state.all.push(message);\n if (payload.runId !== ownerRunId) state.before.push(message);\n }\n\n return;\n }\n if (payload._tag !== \"ModelResponseRecorded\") return;\n const messages = yield* decodePromptMessages(payload.messages);\n const forRun = payload.runId === ownerRunId;\n\n pendingToolOrder = new Map(\n declaredApplicationToolCallIds(messages).map((id, index) => [id, index]),\n );\n\n yield* accountResponse(envelope, payload, messages);\n\n const visibleMessages = forRun\n ? messages.content\n : messages.content.filter((message) => message.role !== \"system\");\n\n for (const message of visibleMessages) {\n state.all.push(message);\n if (!forRun) state.before.push(message);\n }\n if (!forRun) {\n const calls = messages.content.flatMap((message) =>\n message.role === \"assistant\"\n ? message.content.filter(\n (part): part is Prompt.ToolCallPart =>\n part.type === \"tool-call\" && !part.providerExecuted,\n )\n : [],\n );\n\n if (calls.length > 0) {\n const parts = calls.map((call) =>\n Prompt.makePart(\"tool-result\", {\n id: call.id,\n name: call.name,\n result: {\n _tag: \"ToolOutcomeUnknown\",\n message:\n \"This earlier operation has no recorded outcome. It may have executed. Do not assume success or retry it; its original operation remains unresolved.\",\n },\n isFailure: true,\n providerExecuted: false,\n }),\n );\n\n const allIndex = state.all.length;\n const beforeIndex = state.before.length;\n const message = Prompt.makeMessage(\"tool\", { content: parts });\n\n state.all.push(message);\n state.before.push(message);\n for (const [partIndex, call] of calls.entries()) {\n const callId = yield* Schema.decodeEffect(ToolCallId)(call.id).pipe(\n Effect.mapError((cause) => journalError(\"Invalid historical Tool Call ID\", cause)),\n );\n\n historicalResults.set(toolCallSettledRecordId(payload.runId, payload.turn, callId), {\n allIndex,\n beforeIndex,\n parts,\n partIndex,\n });\n }\n }\n }\n state = {\n ...state,\n committedTurns: forRun\n ? Math.max(state.committedTurns, payload.turn)\n : state.committedTurns,\n };\n onBoundary?.({\n sequence: envelope.sequence,\n tag: payload._tag,\n promptLength: state.all.length,\n ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)\n ? { terminalPriorRun: true }\n : {}),\n ...(incompleteToolTurns.has(envelope.record.recordId) ? { incomplete: true } : {}),\n });\n }),\n );\n emitSummary();\n state = yield* flushTools(state);\n\n const validatedPolicyUsage = yield* Schema.decodeEffect(RunPolicyUsage)(policyUsage).pipe(\n Effect.mapError((cause) =>\n journalError(\"Run policy accounting exceeds its Schema bounds\", cause),\n ),\n );\n\n return {\n ...(toolSelection === undefined ? {} : { toolSelection }),\n policyUsage: validatedPolicyUsage,\n prompt: Prompt.fromMessages(state.all),\n historyBefore: Prompt.fromMessages(state.before),\n committedTurns: state.committedTurns,\n usage: unobservedModelCalls === 0 ? usage : { ...usage, unobservedModelCalls },\n ...(latestWindowId === undefined ? {} : { contextWindowId: latestWindowId }),\n ...(protectedContext === undefined ? {} : { protectedContext }),\n ...(ownerTerminated || pendingContextToolCallId === undefined\n ? {}\n : { pendingContextToolCallId }),\n };\n});\n\n/** Pure projection of one Run's durable recovery state from canonical records. */\nexport const projectRunJournal = Effect.fn(\"RunJournal.projectRunJournal\")(\n (\n records: ReadonlyArray<CanonicalRecordEnvelope>,\n runId: RunId,\n ): Effect.Effect<RunJournalProjection, RunJournalError> =>\n projectRunJournalStream(Stream.fromIterable(records), runId),\n);\n\n/**\n * Pure valid-prompt projection from canonical records: `UserInputRecorded` +\n * `ModelResponseRecorded` + complete `ToolCallSettled` batches → the deterministic model-visible\n * Prompt (plan §Coordinator flow step 3).\n */\nexport const promptFromCanonicalRecords = Effect.fn(\"RunJournal.promptFromCanonicalRecords\")(\n (\n records: ReadonlyArray<CanonicalRecordEnvelope>,\n ): Effect.Effect<Prompt.Prompt, RunJournalError> =>\n projectRunJournalStream(Stream.fromIterable(records), undefined).pipe(\n Effect.map((projection) => projection.prompt),\n ),\n);\n\n/** Everything one committed Turn contributes to its canonical batch. */\n/**\n * Staged usage is validated, never repaired: clamping negatives or truncating\n * fractions would under-record canonical usage, and NaN/Infinity must fail\n * typed instead of escaping as a record-construction defect (RUN-023).\n */\nconst validStagedUsage = (label: string, value: number): Effect.Effect<number, RunJournalError> =>\n Number.isSafeInteger(value) && value >= 0\n ? Effect.succeed(value)\n : Effect.fail(\n journalError(`Staged ${label} must be a non-negative safe integer, got ${String(value)}`),\n );\n\nexport interface TurnCommitInput {\n readonly toolOperations?: ModelResponseRecorded[\"toolOperations\"] | undefined;\n readonly toolParameterRejections?: ReadonlyArray<ToolParameterRejection> | undefined;\n readonly toolExposure?: Snapshot | undefined;\n readonly toolSelections?: ReadonlyMap<string, Selection> | undefined;\n readonly budgetRejectedCalls?: ReadonlySet<string>;\n readonly runId: RunId;\n /** Canonical (Run-relative, Attempt-independent) Turn number; must be positive. */\n readonly turn: number;\n readonly turnId: TurnId;\n /**\n * The Prompt messages this Turn appended to official history, in order, including the Turn's\n * Tool message when application Tools ran. Tool messages become `ToolCallSettled` records; the\n * remaining messages become the Turn's `ModelResponseRecorded.messages`.\n */\n readonly appended: ReadonlyArray<Prompt.Message>;\n readonly producerId: ProducerId;\n readonly deploymentId: DeploymentId;\n readonly createdAt: DateTime.Utc;\n /** Leading instruction/wake messages that stay canonical but are hidden from later Runs. */\n readonly runScopedPrefixLength?: number | undefined;\n /** Terminal output committed atomically with this Turn's final canonical batch. */\n readonly runCompletion?:\n | {\n readonly output: PersistedJson;\n readonly runDisposition?: PersistedJson | undefined;\n readonly finishReason?: \"budget-exhausted\" | undefined;\n readonly exhausted?: ExhaustedLimit | undefined;\n }\n | undefined;\n /** Known missing-accounting invocations staged before this canonical response. */\n readonly unobservedModelCalls?: number | undefined;\n /** Per-call provider usage staged by the engine's `noteTurnUsage` (RUN-023). */\n readonly usage?:\n | {\n readonly inputTokens: number;\n readonly outputTokens: number;\n readonly costMicrousd?: number | undefined;\n readonly modelUsage?: ReadonlyArray<ModelCallUsage> | undefined;\n }\n | undefined;\n}\n\nconst decodePersistedJson = Schema.decodeUnknownEffect(PersistedJson);\nconst encodePrompt = Schema.encodeEffect(Prompt.Prompt);\nconst decodeModelUsage = Schema.decodeUnknownEffect(Schema.Array(ModelCallUsage));\n\nconst requireCanonicalTurn = (turn: number): Effect.Effect<void, RunJournalError> =>\n !Number.isInteger(turn) || turn <= 0\n ? Effect.fail(journalError(`Canonical turn number must be a positive integer: ${turn}`))\n : Effect.void;\n\ninterface SplitTurnMessages {\n readonly promptMessages: ReadonlyArray<Prompt.Message>;\n readonly toolParts: ReadonlyArray<Prompt.ToolResultPart>;\n}\n\nconst splitTurnMessages = (appended: ReadonlyArray<Prompt.Message>): SplitTurnMessages => {\n const promptMessages: Array<Prompt.Message> = [];\n const toolParts: Array<Prompt.ToolResultPart> = [];\n\n for (const message of appended) {\n if (message.role !== \"tool\") {\n promptMessages.push(message);\n continue;\n }\n for (const part of message.content) {\n if (part.type !== \"tool-result\") continue;\n toolParts.push(part);\n }\n }\n\n return { promptMessages, toolParts };\n};\n\nconst modelResponseRecord = Effect.fn(\"RunJournal.modelResponseRecord\")(function* (\n input: TurnCommitInput,\n promptMessages: ReadonlyArray<Prompt.Message>,\n): Effect.fn.Return<RecordEnvelope, RunJournalError | DigestError, Crypto.Crypto> {\n if (promptMessages.length === 0) {\n return yield* journalError(`Turn ${input.turn} appended no model-visible Prompt messages`);\n }\n const runScopedPrefixLength = input.runScopedPrefixLength;\n\n if (\n runScopedPrefixLength !== undefined &&\n (input.turn !== 1 ||\n !Number.isSafeInteger(runScopedPrefixLength) ||\n runScopedPrefixLength <= 0 ||\n runScopedPrefixLength >= promptMessages.length ||\n promptMessages\n .slice(0, runScopedPrefixLength)\n .some((message) => message.role !== \"system\" && message.role !== \"user\"))\n ) {\n return yield* journalError(\n \"Run-scoped Prompt provenance must identify a non-empty system/user prefix of Turn 1 before its assistant response\",\n );\n }\n\n const encodedMessages = yield* encodePrompt(Prompt.fromMessages([...promptMessages])).pipe(\n Effect.mapError((cause) => journalError(\"Turn Prompt messages failed to encode\", cause)),\n );\n\n const messages = yield* decodePersistedJson(encodedMessages).pipe(\n Effect.mapError((cause) =>\n journalError(\"Turn Prompt messages exceed canonical persistence bounds\", cause),\n ),\n );\n\n const messagesDigest = yield* digestJson(messages);\n\n const modelUsage =\n input.usage?.modelUsage === undefined\n ? undefined\n : yield* decodeModelUsage(input.usage.modelUsage).pipe(\n Effect.mapError((cause) => journalError(\"Turn model usage failed to decode\", cause)),\n );\n\n if (modelUsage !== undefined) {\n if (modelUsage.length === 0) {\n return yield* journalError(\"Turn model usage must contain at least one completed call\");\n }\n\n const summary = yield* summarizeModelUsage(modelUsage).pipe(\n Effect.mapError((cause) => journalError(\"Turn model usage exceeds accounting bounds\", cause)),\n );\n\n if (\n input.usage === undefined ||\n input.usage.inputTokens !== summary.inputTokens.total ||\n input.usage.outputTokens !== summary.outputTokens.total ||\n (input.usage.costMicrousd ?? 0) !== summary.costMicrousd\n ) {\n return yield* journalError(\"Turn detailed and aggregate model usage disagree\");\n }\n }\n\n return RecordEnvelope.make({\n recordId: modelResponseRecordId(input.runId, input.turn),\n family: \"thread\",\n schemaVersion: 1,\n createdAt: input.createdAt,\n deploymentId: input.deploymentId,\n payload: ModelResponseRecorded.make({\n ...(input.toolOperations === undefined ? {} : { toolOperations: input.toolOperations }),\n ...(input.toolParameterRejections === undefined || input.toolParameterRejections.length === 0\n ? {}\n : { toolParameterRejections: input.toolParameterRejections }),\n ...(input.toolExposure === undefined ? {} : { toolExposure: input.toolExposure }),\n runId: input.runId,\n turnId: input.turnId,\n turn: input.turn,\n messages,\n messagesDigest,\n ...(runScopedPrefixLength === undefined ? {} : { runScopedPrefixLength }),\n ...(modelUsage === undefined ? {} : { modelUsage }),\n ...(input.unobservedModelCalls === undefined || input.unobservedModelCalls === 0\n ? {}\n : {\n unobservedModelCalls: yield* validStagedUsage(\n \"unobservedModelCalls\",\n input.unobservedModelCalls,\n ),\n }),\n ...(input.usage === undefined\n ? {}\n : {\n inputTokens: yield* validStagedUsage(\"inputTokens\", input.usage.inputTokens),\n outputTokens: yield* validStagedUsage(\"outputTokens\", input.usage.outputTokens),\n // Written only when non-zero: absent re-seeds as zero, so the\n // no-estimator case stays byte-identical to pre-cost histories.\n ...(input.usage.costMicrousd === undefined || input.usage.costMicrousd === 0\n ? {}\n : {\n costMicrousd: yield* validStagedUsage(\"costMicrousd\", input.usage.costMicrousd),\n }),\n }),\n }),\n });\n});\n\nconst toolSettledRecords = Effect.fn(\"RunJournal.toolSettledRecords\")(function* (\n input: TurnCommitInput,\n toolParts: ReadonlyArray<Prompt.ToolResultPart>,\n): Effect.fn.Return<Array<RecordEnvelope>, RunJournalError> {\n const toolRecords: Array<RecordEnvelope> = [];\n\n for (const part of toolParts) {\n const result = yield* decodePersistedJson(part.result).pipe(\n Effect.mapError((cause) =>\n journalError(`Tool result ${part.id} exceeds canonical persistence bounds`, cause),\n ),\n );\n\n const toolCallId = yield* Effect.try({\n try: () => decodeToolCallId(part.id),\n catch: (cause) => journalError(`Invalid Tool Call ID ${part.id}`, cause),\n });\n\n toolRecords.push(\n RecordEnvelope.make({\n recordId: toolCallSettledRecordId(input.runId, input.turn, toolCallId),\n family: \"thread\",\n schemaVersion: 1,\n createdAt: input.createdAt,\n deploymentId: input.deploymentId,\n payload: ToolCallSettled.make({\n ...(input.toolSelections?.get(part.id) === undefined\n ? {}\n : { toolSelection: input.toolSelections.get(part.id) }),\n runId: input.runId,\n toolCallId,\n toolName: part.name,\n result,\n isFailure: part.isFailure,\n ...(input.budgetRejectedCalls?.has(part.id) === true ? { budgetRejected: true } : {}),\n }),\n }),\n );\n }\n\n return toolRecords;\n});\n\n/** Integrity of the original validated terminal values; never a current-code projection. */\nexport const runCompletionDigest = (\n completion: Pick<\n RunCompleted,\n \"runId\" | \"output\" | \"runDisposition\" | \"finishReason\" | \"exhausted\"\n >,\n) =>\n digestJson({\n runId: completion.runId,\n output: completion.output,\n runDisposition: completion.runDisposition ?? null,\n finishReason: completion.finishReason ?? null,\n exhausted: completion.exhausted ?? null,\n });\n\nconst runCompletionRecord = Effect.fn(\"RunJournal.runCompletionRecord\")(function* (\n input: TurnCommitInput,\n) {\n if (input.runCompletion === undefined) return undefined;\n const completion = { runId: input.runId, ...input.runCompletion };\n\n return RecordEnvelope.make({\n recordId: runCompletedRecordId(input.runId),\n family: \"thread\",\n schemaVersion: 1,\n createdAt: input.createdAt,\n deploymentId: input.deploymentId,\n payload: RunCompleted.make({\n ...completion,\n resultDigest: yield* runCompletionDigest(completion),\n }),\n });\n});\n\n/**\n * Pure per-Turn canonical batch builder (TurnCompleted seam fold, D6/D8): one\n * `ModelResponseRecorded` record plus one `ToolCallSettled` record per terminal Tool result, all\n * under the WP0-style deterministic identities, committed as ONE atomic batch. The same input\n * always yields byte-identical content, so an in-Attempt append retry is an honest batch replay.\n *\n * Phase 5 keeps this shape for Turns that declare no application Tool calls; their terminal\n * `RunCompleted` marker joins the response in this same atomic batch. Tool-declaring Turns split\n * into `turnResponseBatch` + `turnResultsBatch`.\n */\nexport const turnCanonicalBatch = Effect.fn(\"RunJournal.turnCanonicalBatch\")(function* (\n input: TurnCommitInput,\n): Effect.fn.Return<CanonicalBatch, RunJournalError | DigestError, Crypto.Crypto> {\n yield* requireCanonicalTurn(input.turn);\n const { promptMessages, toolParts } = splitTurnMessages(input.appended);\n const modelResponse = yield* modelResponseRecord(input, promptMessages);\n const toolRecords = yield* toolSettledRecords(input, toolParts);\n const completionRecord = yield* runCompletionRecord(input);\n\n return CanonicalBatch.make({\n batchId: turnBatchId(input.runId, input.turn),\n producerId: input.producerId,\n records:\n completionRecord === undefined\n ? [modelResponse, ...toolRecords]\n : [modelResponse, ...toolRecords, completionRecord],\n });\n});\n\n/**\n * Commit 1 of a tool-declaring Turn: the Turn's `ModelResponseRecorded` record, including\n * provider results retained in assistant content before application Tools execute.\n * — pending steering plus the assistant response with its declared tool calls — under batch\n * identity `turn-response:{runId}:{turn}`. Committing the response before preparation creates\n * the provably-safe durability §15 window (\"after model item commit, before tool preparation →\n * resume tool scheduling\"): a crash there resumes the declared batch with no model re-invocation\n * and no Unknown. Tool messages in `appended` are ignored; the record identity is the same\n * `model-response:{runId}:{turn}` as the single-batch shape, so record-id assertions and the\n * prompt projection are unchanged.\n */\nexport const turnResponseBatch = Effect.fn(\"RunJournal.turnResponseBatch\")(function* (\n input: TurnCommitInput,\n): Effect.fn.Return<CanonicalBatch, RunJournalError | DigestError, Crypto.Crypto> {\n yield* requireCanonicalTurn(input.turn);\n const { promptMessages } = splitTurnMessages(input.appended);\n const modelResponse = yield* modelResponseRecord(input, promptMessages);\n\n return CanonicalBatch.make({\n batchId: turnResponseBatchId(input.runId, input.turn),\n producerId: input.producerId,\n records: [modelResponse],\n });\n});\n\n/**\n * Commit 5 of a tool-declaring Turn (plan §2.1): the Turn's `ToolCallSettled` records in\n * declaration order under batch identity `turn-results:{runId}:{turn}` — the batch becomes\n * model-visible atomically. Non-tool messages in `appended` are ignored; a Turn without any\n * terminal Tool result has no results batch and fails typed.\n */\nexport const turnResultsBatch = Effect.fn(\"RunJournal.turnResultsBatch\")(function* (\n input: TurnCommitInput,\n): Effect.fn.Return<CanonicalBatch, RunJournalError | DigestError, Crypto.Crypto> {\n yield* requireCanonicalTurn(input.turn);\n const { toolParts } = splitTurnMessages(input.appended);\n const toolRecords = yield* toolSettledRecords(input, toolParts);\n const first = toolRecords[0];\n\n if (first === undefined) {\n return yield* journalError(`Turn ${input.turn} has no terminal Tool results to commit`);\n }\n if (input.runCompletion !== undefined && toolRecords.length !== 1) {\n return yield* journalError(\"A terminal Tool completion requires exactly one settled result\");\n }\n const completionRecord = yield* runCompletionRecord(input);\n\n return CanonicalBatch.make({\n batchId: turnResultsBatchId(input.runId, input.turn),\n producerId: input.producerId,\n records:\n completionRecord === undefined\n ? [first, ...toolRecords.slice(1)]\n : [first, ...toolRecords.slice(1), completionRecord],\n });\n});\n"],"mappings":";;;;;;;;;;;;;;;;AAgCA,MAAa,uBACX,YACA,SACG;CACH,MAAM,qCAAqB,IAAI,IAAoB;CAEnD,IAAI,MAAM,kBAAkB,KAAA,GAAW,mBAAmB,IAAI,KAAK,OAAO,KAAK,aAAa;CAC5F,MAAM,4CAA4B,IAAI,IAAoB;CAC1D,MAAM,wCAAwB,IAAI,IAAoB;CACtD,MAAM,eAAsE,CAAC;CAC7E,MAAM,2CAA2B,IAAI,IAAY;CAEjD,MAAM,8BAAc,IAAI,IAGtB;CAEF,MAAM,cAAyF,CAAC;CAEhG,OAAO;EACL,MAAM,aAA4C;GAChD,MAAM,UAAU,SAAS,OAAO;GAEhC,KACG,QAAQ,SAAS,kBAChB,QAAQ,SAAS,eACjB,QAAQ,SAAS,wBACnB,QAAQ,UAAU,KAAA,KAClB,CAAC,sBAAsB,IAAI,QAAQ,KAAK,GAExC,sBAAsB,IAAI,QAAQ,OAAO,SAAS,QAAQ;GAC5D,IAAI,QAAQ,SAAS,qBAAqB;IACxC,YAAY,KAAK;KAAE;KAAS,UAAU,SAAS;IAAS,CAAC;IAEzD;GACF;GACA,IACE,WAAW,WACX,OAAO,QAAQ,UAAU,YACzB,CAAC,mBAAmB,IAAI,QAAQ,KAAK,GAErC,mBAAmB,IAAI,QAAQ,OAAO,SAAS,QAAQ;GACzD,IAAI,QAAQ,SAAS,yBACnB,0BAA0B,IAAI,QAAQ,OAAO,SAAS,QAAQ;QACzD,IAAI,QAAQ,SAAS,mBAAmB;IAC7C,yBAAyB,IAAI,SAAS,OAAO,QAAQ;IACrD,IAAI,QAAQ,UAAU,YACpB,YAAY,IAAI,SAAS,OAAO,UAAU;KACxC,WAAW,QAAQ;KACnB,GAAI,QAAQ,kBAAkB,KAAA,IAC1B,CAAC,IACD,EAAE,eAAe,QAAQ,cAAc;KAC3C,GAAI,QAAQ,mBAAmB,KAAA,IAC3B,CAAC,IACD,EAAE,gBAAgB,QAAQ,eAAe;IAC/C,CAAC;IACH,MAAM,OAAO,0BAA0B,IAAI,QAAQ,KAAK;IAExD,IAAI,SAAS,KAAA,KAAa,OAAO,SAAS,UACxC,aAAa,KAAK;KAAE;KAAM,IAAI,SAAS;IAAS,CAAC;GACrD;EACF;EACA,iBAAkC;GAChC;GACA;GACA,oBAAoB,IAAI,IAAI,kBAAkB;GAC9C,2BAA2B,IAAI,IAAI,yBAAyB;GAC5D,uBAAuB,IAAI,IAAI,qBAAqB;GACpD,cAAc,CAAC,GAAG,YAAY;GAC9B,0BAA0B,IAAI,IAAI,wBAAwB;GAC1D,aAAa,IAAI,IAAI,WAAW;GAChC,aAAa,CAAC,GAAG,WAAW;EAC9B;CACF;AACF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ACrEA,IAAa,kBAAb,cAAqC,OAAO,YAA6B,CAAC,CAAC,mBAAmB;CAC5F,SAAS,OAAO;CAChB,OAAO,OAAO,YAAY,OAAO,OAAO,CAAC;AAC3C,CAAC,CAAC,CAAC,CAAC;AAEJ,MAAM,gBAAgB,SAAiB,UACrC,UAAU,KAAA,IACN,gBAAgB,KAAK,EAAE,QAAQ,CAAC,IAChC,gBAAgB,KAAK;CAAE;CAAS;AAAM,CAAC;AAE7C,MAAM,cAAc,OAAO,WAAW,KAAK;AAC3C,MAAM,eAAe,OAAO,WAAW,MAAM;AAC7C,MAAM,gBAAgB,OAAO,WAAW,OAAO;AAC/C,MAAM,iBAAiB,OAAO,WAAW,QAAQ;;;;;;AAOjD,MAAa,sBAAsB,iBACjC,YAAY,OAAO,cAAc;;AAGnC,MAAa,sBAAsB,UAA2B,eAAe,aAAa,OAAO;AAEjG,MAAa,qBAAqB,UAA0B,cAAc,aAAa,OAAO;AAE9F,MAAa,uBAAuB,UAClC,eAAe,gBAAgB,OAAO;AAExC,MAAa,sBAAsB,UAA0B,cAAc,gBAAgB,OAAO;;AAGlG,MAAa,gBAAgB,OAAc,SACzC,aAAa,QAAQ,MAAM,GAAG,MAAM;;AAGtC,MAAa,eAAe,OAAc,SACxC,cAAc,QAAQ,MAAM,GAAG,MAAM;;;;;;AAOvC,MAAa,uBAAuB,OAAc,SAChD,cAAc,iBAAiB,MAAM,GAAG,MAAM;;;;;AAMhD,MAAa,sBAAsB,OAAc,SAC/C,cAAc,gBAAgB,MAAM,GAAG,MAAM;;;;;;AAO/C,MAAa,yBACX,OACA,MACA,eACY,cAAc,gBAAgB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAGzE,MAAa,uBAAuB,OAAc,SAChD,cAAc,iBAAiB,MAAM,GAAG,MAAM;;;;;;;;AAShD,MAAa,sBACX,OACA,MACA,SACa,eAAe,cAAc,MAAM,GAAG,KAAK,GAAG,MAAM;;AAGnE,MAAa,qBACX,OACA,MACA,SACY,cAAc,cAAc,MAAM,GAAG,KAAK,GAAG,MAAM;;AAGjE,MAAa,yBAAyB,OAAc,SAClD,eAAe,kBAAkB,MAAM,GAAG,MAAM;;AAGlD,MAAa,wBAAwB,UACnC,eAAe,iBAAiB,OAAO;;AAGzC,MAAa,uBAAuB,cAClC,eAAe,gBAAgB,WAAW;;AAG5C,MAAa,4BAA4B,WACvC,eAAe,gBAAgB,OAAO,UAAU;AAElD,MAAa,wBAAwB,aACnC,eAAe,iBAAiB,UAAU;AAE5C,MAAa,wBAAwB,cACnC,eAAe,iBAAiB,WAAW;AAE7C,MAAa,uBAAuB,cAClC,eAAe,SAAS;;AAG1B,MAAa,sBAAsB,OAAO,GAAG,gCAAgC,CAAC,CAAC,WAC7E,UACA,OACA,UACA;CACA,OAAO,eAAe,gBAAgB,OAAO,WAAW;EAAC;EAAU;EAAO;CAAQ,CAAC,GAAG;AACxF,CAAC;;AAGD,MAAa,2BACX,OACA,MACA,eACa,eAAe,gBAAgB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAG3E,MAAa,4BACX,OACA,MACA,eACa,eAAe,iBAAiB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAG5E,MAAa,sBAAsB,cAA4B,SAC7D,cAAc,gBAAgB,aAAa,GAAG,MAAM;;AAGtD,MAAa,2BACX,OACA,MACA,eACa,eAAe,gBAAgB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAG3E,MAAa,6BACX,cACA,eACY,cAAc,WAAW,aAAa,GAAG,YAAY;;AAGnE,MAAa,4BACX,OACA,MACA,eACa,eAAe,iBAAiB,MAAM,GAAG,KAAK,GAAG,YAAY;;;;;;;;AAS5E,MAAa,2BACX,OACA,YACA,aACa,eAAe,KAAK,UAAU;CAAC;CAAU;CAAO;CAAY;AAAQ,CAAC,CAAC;;AAGrF,MAAa,0BACX,OACA,YACA,aACY,cAAc,wBAAwB,OAAO,YAAY,QAAQ,CAAC;;AAGhF,MAAa,wBAAwB,OAAc,SACjD,cAAc,kBAAkB,MAAM,GAAG,MAAM;;AAGjD,MAAa,+BACX,OACA,MACA,eACa,eAAe,oBAAoB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAG/E,MAAa,2BACX,cACA,eACY,cAAc,qBAAqB,aAAa,GAAG,YAAY;;AAG7E,MAAa,gCACX,OACA,MACA,eACa,eAAe,qBAAqB,MAAM,GAAG,KAAK,GAAG,YAAY;;;;;;AAOhF,MAAa,oCAAoC,OAAc,oBAC7D,eAAe,eAAe,MAAM,GAAG,iBAAiB;;AAG1D,MAAa,mCAAmC,OAAc,oBAC5D,cAAc,eAAe,MAAM,GAAG,iBAAiB;AAEzD,MAAM,iBAAiB,OAAO,WAAW,QAAQ;AACjD,MAAM,uBAAuB,OAAO,WAAW,cAAc;;;;;;AAO7D,MAAa,6BAA6B,OAAc,eACtD,eAAe,sBAAsB,MAAM,GAAG,YAAY;;AAG5D,MAAa,4BAA4B,OAAc,eACrD,cAAc,sBAAsB,MAAM,GAAG,YAAY;;;;;;AAO3D,MAAa,2BAA2B,OAAc,eACpD,eAAe,oBAAoB,MAAM,GAAG,YAAY;;AAG1D,MAAa,0BAA0B,OAAc,eACnD,cAAc,oBAAoB,MAAM,GAAG,YAAY;;;;;;AAOzD,MAAa,uBAAuB,OAAc,eAChD,cAAc,iBAAiB,MAAM,GAAG,YAAY;;AAGtD,MAAa,0BAA0B,OAAc,eACnD,eAAe,mBAAmB,MAAM,GAAG,YAAY;;;;;;AAOzD,MAAa,2BAA2B,aACtC,eAAe,oBAAoB,UAAU;;AAG/C,MAAa,0BAA0B,aACrC,cAAc,oBAAoB,UAAU;;;;;;AAO9C,MAAa,oBACX,oBACA,eACa,eAAe,YAAY,mBAAmB,GAAG,YAAY;;;;;;;AAQ5E,MAAa,0BACX,aACA,eACmB,qBAAqB,YAAY,YAAY,GAAG,YAAY;AAEjF,MAAM,uBAAuB,OAAO,GAAG,iCAAiC,CAAC,EACtE,aACC,OAAO,oBAAoB,OAAO,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,KAClD,OAAO,UAAU,UACf,aAAa,6DAA6D,KAAK,CACjF,CACF,CACJ;AAQA,MAAM,yBAAyB,OAAO,GAAG,mCAAmC,CAAC,EAC1E,YACC,OAAO,IAAI;CACT,WACE,OAAO,YAAY,QAAQ,EACzB,SAAS,QAAQ,KAAK,EAAE,QAAQ,cAC9B,OAAO,SAAS,eAAe;EAC7B,IAAI,OAAO;EACX,MAAM,OAAO;EACb,QAAQ,UAAU,sBAAsB,OAAO;EAC/C,WAAW,OAAO;EAClB,kBAAkB;CACpB,CAAC,CACH,EACF,CAAC;CACH,QAAQ,UAAU,aAAa,uDAAuD,KAAK;AAC7F,CAAC,CACL;AA+DA,MAAM,0BACJ,aAEA,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,SAAS;CAEvB,IAAI,UAAU,KAAA,GACZ,OAAO;EACL,YAAY;EACZ,aAAa,SAAS,eAAe;EACrC,cAAc,SAAS,gBAAgB;EACvC,cAAc,SAAS,gBAAgB;EACvC,YAAY,CAAC;CACf;CAEF,IAAI,MAAM,WAAW,GACnB,OAAO,OAAO,aAAa,+CAA+C;CAG5E,MAAM,UAAU,OAAO,oBAAoB,KAAK,CAAC,CAAC,KAChD,OAAO,UAAU,UACf,aAAa,mDAAmD,KAAK,CACvE,CACF;CAEA,IACG,SAAS,gBAAgB,KAAA,KAAa,SAAS,gBAAgB,QAAQ,YAAY,SACnF,SAAS,iBAAiB,KAAA,KACzB,SAAS,iBAAiB,QAAQ,aAAa,SAChD,SAAS,iBAAiB,KAAA,KAAa,SAAS,iBAAiB,QAAQ,cAE1E,OAAO,OAAO,aAAa,uDAAuD;CAGpF,OAAO;EACL,YAAY,QAAQ;EACpB,aAAa,QAAQ,YAAY;EACjC,cAAc,QAAQ,aAAa;EACnC,cAAc,QAAQ;EACtB,YAAY;CACd;AACF,CAAC;AAEH,MAAM,qBACJ,OACA,MACA,UAEA,OAAO,aAAa,OAAO,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAChD,OAAO,UAAU,UACf,aAAa,4DAA4D,SAAS,KAAK,CACzF,CACF;AAUF,MAAM,mBAAmB,OAAO,WAAW,UAAU;AAErD,MAAM,kCAAkC,WAAiD;CACvF,MAAM,MAAqB,CAAC;CAE5B,KAAK,MAAM,WAAW,OAAO,SAAS;EACpC,IAAI,QAAQ,SAAS,aAAa;EAClC,KAAK,MAAM,QAAQ,QAAQ,SACzB,IAAI,KAAK,SAAS,eAAe,CAAC,KAAK,kBAAkB,IAAI,KAAK,KAAK,EAAE;CAE7E;CAEA,OAAO;AACT;;;;;;;;;;;;;AAcA,MAAM,0CAA+C,IAAI,IAAI;CAC3D;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;;;;;;;;;;;AAwCD,MAAa,0BAA0B,OAAO,GAAG,oCAAoC,CAAC,CAAC,WAIrF,SACA,YACA,YACA,MACA,kBACgE;CAChE,IAAI,SAAS,KAAA,KAAa,KAAK,UAAU,YACvC,OAAO,OAAO,aAAa,4CAA4C;CAEzE,IAAI,QAAmB;EACrB,KAAK,CAAC;EACN,QAAQ,CAAC;EACT,cAAc,CAAC;EACf,oBAAoB;EACpB,gBAAgB,MAAM,kBAAkB;CAC1C;CAeA,IACE,qBAAqB,KAAA,MACpB,iBAAiB,eAAe,cAAc,iBAAiB,SAAS,OAEzE,OAAO,OAAO,aAAa,qDAAqD;CAElF,IAAI,WAAW;CAEf,IAAI,aAAa,KAAA,GAAW;EAC1B,MAAM,YAAY,oBAAoB,YAAY,IAAI;EAEtD,OAAO,OAAO,WAAW,UAAU,aAAa,OAAO,WAAW,UAAU,IAAI,QAAQ,CAAC,CAAC;EAC1F,WAAW,UAAU,SAAS;CAChC;CAEA,MAAM,EACJ,oBACA,2BACA,uBACA,cACA,0BACA,aACA,gBACE;CAEJ,MAAM,kBAAkB,YAAY,QACjC,SAAS,EAAE,cACV,QAAQ,SAAS,cAAc,KAAK,IAAI,SAAS,QAAQ,aAAa,IAAI,SAC5E,CACF;CAIA,MAAM,sBACJ,gBACA,iBACA,mBACY;EACZ,MAAM,WAAW,sBAAsB,IAAI,cAAc;EAEzD,OACE,mBAAmB,mBACnB,aAAa,KAAA,KACb,WAAW,kBACX,YAAY,0BAA0B,IAAI,cAAc,KAAK;CAEjE;CAEA,MAAM,8BACJ,CAAC;CAEH,IAAI,sBAAsB,MAAM,iBAAiB,OAAO;CAExD,IAAI,mBACF,MAAM,qBAAqB,KAAA,IACvB,KAAA,IACA,OAAO,qBAAqB,KAAK,gBAAgB;CAEvD,IAAI,kBAAkB,GACpB,OAAO,OAAO,WAAW,UAAU,aACjC,OAAO,IAAI,aAAa;EACtB,MAAM,UAAU,SAAS,OAAO;EAEhC,IAAI,QAAQ,SAAS,2BAA2B,SAAS,WAAW,iBAAiB;EACrF,MAAM,WAAW,OAAO,qBAAqB,QAAQ,QAAQ;EAC7D,MAAM,WAAW,+BAA+B,QAAQ;EAExD,KAAK,MAAM,MAAM,UAAU;GACzB,MAAM,SAAS,OAAO,OAAO,aAAa,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACxD,OAAO,UAAU,UACf,aAAa,4CAA4C,KAAK,CAChE,CACF;GAEA,IACE,CAAC,yBAAyB,IACxB,wBAAwB,QAAQ,OAAO,QAAQ,MAAM,MAAM,CAC7D,GACA;IACA,4BAA4B,KAAK;KAAE,UAAU,SAAS;KAAU,OAAO,QAAQ;IAAM,CAAC;IACtF;GACF;EACF;EACA,IACE,QAAQ,UAAU,cAClB,QAAQ,SAAS,KACjB,QAAQ,0BAA0B,KAAA,GAClC;GACA,sBAAsB,SAAS;GAC/B,mBAAmB,OAAO,aACxB,SAAS,QAAQ,MAAM,GAAG,QAAQ,qBAAqB,CACzD;EACF;CACF,CAAC,CACH;CAGF,MAAM,gBAAgB,SAA4B,gBAAiC;EACjF,MAAM,EAAE,OAAO,kBAAkB;EAEjC,IAAI,iBAAiB,KAAK,iBAAiB,aAAa,OAAO;EAC/D,IAAI,SAAS,KAAA,KAAa,gBAAgB,KAAK,WAAW,UACxD,OACE,KAAK,WAAW,OAAO,QAAQ,SAAS,uBACxC,OAAO,cAAc,iBAAiB,CAAC,CAAC,SAAS,KAAK,WAAW,OAAO,OAAO;EAEnF,MAAM,aAAa,mBAAmB,IAAI,KAAK;EAE/C,IAAI,QAAQ,SAAS,eAAe,eAAe,KAAA,KAAa,iBAAiB,YAC/E,OAAO;EACT,IACE,QAAQ,SAAS,eACjB,4BAA4B,MACzB,aACC,SAAS,YAAY,iBACrB,CAAC,mBAAmB,SAAS,OAAO,OAAO,WAAW,CAC1D,GAEA,OAAO;EACT,KAAK,MAAM,QAAQ,cACjB,IAAI,KAAK,QAAQ,iBAAiB,gBAAgB,KAAK,IAAI,OAAO;EAGpE,OAAO;CACT;CAEA,IAAI,iBAAiB;CACrB,IAAI;CACJ,IAAI,oBAAoB;CACxB,IAAI,aAAa;CACjB,IAAI,iBAAqC,MAAM;CAC/C,IAAI,uBAAuB,MAAM,mBAAmB;CACpD,IAAI,yBAAyB;CAE7B,KAAK,MAAM,EAAE,SAAS,cAAc,aAAa;EAC/C,IAAI,CAAC,aAAa,SAAS,QAAQ,GAAG;EACtC,IAAI,QAAQ,SAAS,cAAc,WAAW,sBAAsB;GAClE,iBAAiB,gBAAgB,QAAQ,OAAO,QAAQ,IAAI;GAC5D,uBAAuB;EACzB;EACA,IAAI,QAAQ,SAAS,YACnB,yBAAyB,KAAK,IAAI,wBAAwB,QAAQ,aAAa;EACjF,IAAI,QAAQ,SAAS,eAAe,QAAQ,SAAS,YAAY;GAC/D,IAAI,QAAQ,SAAS,eAAe,QAAQ,YAAY,KAAA,GAAW;GACnE,IACE,QAAQ,gBAAgB,kBACvB,QAAQ,kBAAkB,kBAAkB,WAAW,mBACxD;IACA,iBAAiB,QAAQ;IACzB,oBAAoB;IACpB,cAAc;GAChB;EACF,OAAO,IAAI,QAAQ,gBAAgB,YACjC,aAAa,QAAQ;CAEzB;CACA,IAAI,iBAAiB;CAErB,MAAM,iBACJ,aAAa,SAAS,cACtB,YAAY,UAAU,cACtB,uBAAuB,iBAClB,kBAAkB,WAAW,CAAC,IAC/B,CAAC;CAEP,MAAM,oBAAoB,gBAAgB,KAAA,IAAY,IAAI,eAAe,SAAS;CAElF,IAAI,MAAM,aAAa,KAAA,GACrB,aAAa;EAAE,GAAG,KAAK;EAAU,cAAc;CAAkB,CAAC;CAEpE,MAAM,oBAAoB;EACxB,IAAI,kBAAkB,gBAAgB,KAAA,GAAW;EACjD,iBAAiB;EAEjB,MAAM,UACJ,YAAY,SAAS,aACjB,qBACE,gBAAgB,YAAY,OAAO,YAAY,IAAI,GACnD,YAAY,OACd,IACA,OAAO,YAAY,QAAQ,EACzB,SAAS,CACP,OAAO,SAAS,QAAQ,EACtB,MAAM,GAAG,4BAA4B,YAAY,UACnD,CAAC,CACH,EACF,CAAC;EAEP,MAAM,IAAI,KAAK,GAAG,gBAAgB,OAAO;EACzC,IAAI,YAAY,SAAS,cAAc,YAAY,UAAU,YAC3D,MAAM,OAAO,KAAK,OAAO;CAC7B;CAEA,MAAM,aAAoC,CAAC;CAC3C,IAAI,uBAAuB,MAAM,wBAAwB;CAEzD,MAAM,QAAQ;EACZ,YAAY,MAAM,cAAc;EAChC,aAAa,MAAM,eAAe;EAClC,cAAc,MAAM,gBAAgB;EACpC,iBAAiB,MAAM,mBAAmB;EAC1C,kBAAkB,MAAM,oBAAoB;EAC5C,cAAc,MAAM,gBAAgB;EACpC;EACA,GAAI,SAAS,KAAA,IAAY,CAAC,IAAI,EAAE,sBAAsB,KAAK,qBAAqB;CAClF;CAEA,IAAI,gBAAgB,MAAM;CAC1B,IAAI,YAAY,MAAM,kBAAkB;CAExC,MAAM,sCAAsB,IAAI,IAAY;CAC5C,MAAM,sCAAsB,IAAI,IAAY;CAC5C,IAAI;CACJ,IAAI,kBAAkB;CAEtB,MAAM,cAAc;EAClB,gBAAgB,MAAM,YAAY,kBAAkB;EACpD,WAAW,MAAM,YAAY,aAAa;EAC1C,uBAAuB,MAAM,YAAY,yBAAyB;EAClE,yBAAyB,MAAM,YAAY,2BAA2B;EACtE,kBAAkB,MAAM,YAAY,oBAAoB;CAC1D;CAEA,MAAM,kBAAkB,OAAO,GAAG,4BAA4B,CAAC,CAAC,WAC9D,UACA,SACA,UACA;EACA,MAAM,SAAS,SAAS;EAExB,MAAM,WAAW,+BAA+B,QAAQ;EACxD,MAAM,oBAAqC,CAAC;EAE5C,KAAK,MAAM,MAAM,UAAU;GACzB,MAAM,aAAa,OAAO,OAAO,IAAI;IACnC,WAAW,iBAAiB,EAAE;IAC9B,QAAQ,UAAU,aAAa,4CAA4C,KAAK;GAClF,CAAC;GAED,kBAAkB,KAAK,wBAAwB,QAAQ,OAAO,QAAQ,MAAM,UAAU,CAAC;EACzF;EACA,IAAI,kBAAkB,MAAM,aAAa,CAAC,yBAAyB,IAAI,QAAQ,CAAC,GAAG;GACjF,oBAAoB,IAAI,SAAS,OAAO,QAAQ;GAChD,KAAK,MAAM,YAAY,mBAAmB,oBAAoB,IAAI,QAAQ;EAC5E;EACA,IAAI,QAAQ,UAAU,YAAY;EAClC,IAAI,SAAS,KAAA,KAAa,SAAS,YAAY,KAAK,iBAAiB;EACrE,IAAI,QAAQ,SAAS,KAAK,QAAQ,0BAA0B,KAAA,GAC1D,mBAAmB,OAAO,aACxB,SAAS,QAAQ,MAAM,GAAG,QAAQ,qBAAqB,CACzD;EAGF,MAAM,gBAAgB,OAAO,uBAAuB,OAAO;EAE3D,uBAAuB,OAAO,kBAC5B,wBACA,sBACA,QAAQ,wBAAwB,CAClC;EAEA,MAAM,aAAa,OAAO,kBACxB,cACA,MAAM,YACN,cAAc,UAChB;EACA,MAAM,cAAc,OAAO,kBACzB,eACA,MAAM,aACN,cAAc,WAChB;EACA,MAAM,eAAe,OAAO,kBAC1B,gBACA,MAAM,cACN,cAAc,YAChB;EACA,MAAM,eAAe,OAAO,kBAC1B,gBACA,MAAM,cACN,cAAc,YAChB;EACA,MAAM,WAAW,KAAK,GAAG,cAAc,UAAU;EACjD,IAAI,QAAQ,OAAO,WAAW;GAC5B,YAAY,QAAQ;GACpB,MAAM,kBAAkB,cAAc;GACtC,MAAM,mBAAmB,cAAc;EACzC;EAEA,YAAY,iBAAiB,KAAK,IAAI,YAAY,gBAAgB,QAAQ,IAAI;EAE9E,MAAM,QAAQ,SAAS,QAAQ,SAAS,YACtC,QAAQ,SAAS,cACb,QAAQ,QAAQ,QAAQ,SAAS,KAAK,SAAS,WAAW,IAC1D,CAAC,CACP;EAEA,MAAM,YAAY,MAAM,WAAW,IAAI,MAAM,KAAK,KAAA;EAElD,MAAM,kBACJ,cAAc,KAAA,IACV,KAAA,IACA,YAAY,IAAI,gBAAgB,WAAW,GAAG,QAAQ,KAAK,GAAG,UAAU,IAAI;EAElF,2BACE,cAAc,KAAA,KACd,CAAC,UAAU,oBACX,iBAAiB,cAAc,SAC/B,gBAAgB,mBAAmB,QACnC,SAAS,WAAW,yBAChB,UAAU,KACV,KAAA;EAEN,YAAY,aAAa,MAAM;EAC/B,IAAI,QAAQ,iBAAiB,KAAA,GAAW,gBAAgB,QAAQ,aAAa;EAC7E,IAAI,oBAAoB,IAAI,OAAO,QAAQ,GAAG;EAC9C,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,KAAK,mBAChB,SAAS,QACN,SAAS,YAAa,QAAQ,SAAS,cAAc,QAAQ,UAAU,CAAC,CAAE,CAAC,CAC3E,MACE,SAAS,KAAK,SAAS,iBAAiB,KAAK,oBAAoB,KAAK,OAAO,KAAK,EACrF,IACF,YAAY,IAAI,gBAAgB,WAAW,GAAG,QAAQ,KAAK,GAAG,KAAK,IAAI;GAE3E,IAAI,WAAW,KAAA,KAAc,oBAAoB,UAAU,OAAO,mBAAmB,MACnF;GACF,IAAI,EAAE,eAAe,SAAS;GAC9B,IAAI,CAAC,OAAO,aAAa,mBAAmB,UAAU,OAAO,kBAAkB,KAAA,GAC7E,gBAAgB,OAAO;GACzB,YAAY,0BAA0B,OAAO,YACzC,YAAY,0BAA0B,IACtC;EACN;CACF,CAAC;CAID,MAAM,oCAAoB,IAAI,IAQ5B;CAEF,IAAI,mCAAmB,IAAI,IAAoB;CAE/C,MAAM,aAAa,OAAO,GAAG,uBAAuB,CAAC,CAAC,WACpD,SAC8C;EAC9C,IAAI,QAAQ,aAAa,WAAW,GAAG,OAAO;EAI9C,MAAM,UAAU,QAAQ,aAAa,UAClC,MAAM,WACJ,iBAAiB,IAAI,KAAK,OAAO,UAAU,KAAK,OAAO,qBACvD,iBAAiB,IAAI,MAAM,OAAO,UAAU,KAAK,OAAO,iBAC7D;EAEA,MAAM,cAAc,OAAO,uBAAuB,OAAO;EAEzD,QAAQ,IAAI,KAAK,WAAW;EAC5B,IAAI,CAAC,QAAQ,oBAAoB,QAAQ,OAAO,KAAK,WAAW;EAEhE,OAAO;GACL,GAAG;GACH,cAAc,CAAC;GACf,oBAAoB;EACtB;CACF,CAAC;CAED,OAAO,OAAO,WAAW,UAAU,aACjC,OAAO,IAAI,aAAa;EACtB,MAAM,UAAU,SAAS,OAAO;EAEhC,KACI,QAAQ,SAAS,kBAAkB,QAAQ,SAAS,gBACpD,QAAQ,UAAU,cACnB,QAAQ,SAAS,uBAChB,mBAAmB,QAAQ,YAAY,MAAM,YAE/C,kBAAkB;EAEpB,IAAI,QAAQ,SAAS,4BAA4B,QAAQ,UAAU,YAAY;GAC7E,IAAI,SAAS,KAAA,KAAa,SAAS,YAAY,KAAK,iBAAiB;GACrE,IACE,QAAQ,wBAAwB,YAAY,yBAC3C,YAAY,oBAAoB,CAAC,QAAQ,kBAE1C,OAAO,OAAO,aAAa,2CAA2C;GAExE,YAAY,wBAAwB,QAAQ;GAC5C,YAAY,mBAAmB,QAAQ;EACzC;EACA,IAAI,wBAAwB,IAAI,QAAQ,IAAI,GAAG;EAI/C,IAAI,QAAQ,SAAS,qBAAqB;EAC1C,IACE,SAAS,KAAA,KACT,SAAS,YAAY,KAAK,oBACzB,QAAQ,SAAS,2BAA2B,QAAQ,SAAS,oBAE9D;EACF,IAAI,SAAS,YAAY,gBAAgB;GAEvC,IAAI,QAAQ,SAAS,2BAA2B,QAAQ,UAAU,YAAY;IAC5E,MAAM,WAAW,OAAO,qBAAqB,QAAQ,QAAQ;IAE7D,OAAO,gBAAgB,UAAU,SAAS,QAAQ;IAClD,QAAQ;KAAE,GAAG;KAAO,gBAAgB,KAAK,IAAI,MAAM,gBAAgB,QAAQ,IAAI;IAAE;GACnF;GACA,IAAI,QAAQ,SAAS,2BAA2B,QAAQ,SAAS,mBAC/D,aAAa;IACX,UAAU,SAAS;IACnB,KAAK,QAAQ;IACb,cAAc;IACd,GAAI,mBAAmB,QAAQ,OAAO,YAAY,OAAO,iBAAiB,IACtE,EAAE,kBAAkB,KAAK,IACzB,CAAC;IACL,GAAI,oBAAoB,IAAI,SAAS,OAAO,QAAQ,KACpD,oBAAoB,IAAI,SAAS,OAAO,QAAQ,IAC5C,EAAE,YAAY,KAAK,IACnB,CAAC;GACP,CAAC;GAGH;EACF;EACA,YAAY;EACZ,IAAI,QAAQ,SAAS,mBAAmB;GACtC,IAAI,QAAQ,UAAU,YAAY;IAChC,MAAM,OAAO,kBAAkB,IAAI,SAAS,OAAO,QAAQ;IAE3D,IAAI,SAAS,KAAA,GACX,OAAO,OAAO,aAAa,oDAAoD;IACjF,MAAM,WAAW,KAAK,MAAM,KAAK;IAEjC,IAAI,UAAU,OAAO,QAAQ,cAAc,SAAS,SAAS,QAAQ,UACnE,OAAO,OAAO,aAAa,qDAAqD;IAClF,KAAK,MAAM,KAAK,aAAa,OAAO,SAAS,eAAe;KAC1D,IAAI,QAAQ;KACZ,MAAM,QAAQ;KACd,QAAQ,SAAS,YAAY,aAAa,sBAAsB,QAAQ;KACxE,WAAW,QAAQ;KACnB,kBAAkB;IACpB,CAAC;IACD,MAAM,UAAU,OAAO,YAAY,QAAQ,EAAE,SAAS,CAAC,GAAG,KAAK,KAAK,EAAE,CAAC;IAEvE,MAAM,IAAI,KAAK,YAAY;IAC3B,MAAM,OAAO,KAAK,eAAe;IACjC,kBAAkB,OAAO,SAAS,OAAO,QAAQ;IACjD,aAAa;KACX,UAAU,SAAS;KACnB,KAAK,QAAQ;KACb,cAAc,MAAM,IAAI;KACxB,GAAI,oBAAoB,IAAI,SAAS,OAAO,QAAQ,IAAI,EAAE,YAAY,KAAK,IAAI,CAAC;KAChF,GAAI,mBAAmB,QAAQ,OAAO,YAAY,OAAO,iBAAiB,IACtE,EAAE,kBAAkB,KAAK,IACzB,CAAC;IACP,CAAC;IAED;GACF;GACA,IACE,MAAM,aAAa,SAAS,KAC5B,MAAM,wBAAwB,QAAQ,UAAU,aAEhD,QAAQ,OAAO,WAAW,KAAK;GAEjC,MAAM,aAAa,KAAK;IAAE,QAAQ;IAAS,SAAS,SAAS,YAAY;GAAW,CAAC;GACrF,QAAQ;IACN,GAAG;IACH,oBAAoB,QAAQ,UAAU;GACxC;GACA,aAAa;IACX,UAAU,SAAS;IACnB,KAAK,QAAQ;IACb,cAAc,MAAM,IAAI,SAAS;IACjC,GAAI,mBAAmB,QAAQ,OAAO,YAAY,OAAO,iBAAiB,IACtE,EAAE,kBAAkB,KAAK,IACzB,CAAC;IACL,GAAI,oBAAoB,IAAI,SAAS,OAAO,QAAQ,IAAI,EAAE,YAAY,KAAK,IAAI,CAAC;GAClF,CAAC;GAED;EACF;EACA,QAAQ,OAAO,WAAW,KAAK;EAC/B,IAAI,QAAQ,SAAS,oBAAoB,QAAQ,aAAa,KAAA,GAAW;GACvE,MAAM,WAAW,OAAO,qBAAqB,QAAQ,QAAQ;GAE7D,KAAK,MAAM,WAAW,SAAS,SAAS;IACtC,MAAM,IAAI,KAAK,OAAO;IACtB,IAAI,QAAQ,UAAU,YAAY,MAAM,OAAO,KAAK,OAAO;GAC7D;GAEA;EACF;EACA,IAAI,QAAQ,SAAS,yBAAyB;EAC9C,MAAM,WAAW,OAAO,qBAAqB,QAAQ,QAAQ;EAC7D,MAAM,SAAS,QAAQ,UAAU;EAEjC,mBAAmB,IAAI,IACrB,+BAA+B,QAAQ,CAAC,CAAC,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,CACzE;EAEA,OAAO,gBAAgB,UAAU,SAAS,QAAQ;EAElD,MAAM,kBAAkB,SACpB,SAAS,UACT,SAAS,QAAQ,QAAQ,YAAY,QAAQ,SAAS,QAAQ;EAElE,KAAK,MAAM,WAAW,iBAAiB;GACrC,MAAM,IAAI,KAAK,OAAO;GACtB,IAAI,CAAC,QAAQ,MAAM,OAAO,KAAK,OAAO;EACxC;EACA,IAAI,CAAC,QAAQ;GACX,MAAM,QAAQ,SAAS,QAAQ,SAAS,YACtC,QAAQ,SAAS,cACb,QAAQ,QAAQ,QACb,SACC,KAAK,SAAS,eAAe,CAAC,KAAK,gBACvC,IACA,CAAC,CACP;GAEA,IAAI,MAAM,SAAS,GAAG;IACpB,MAAM,QAAQ,MAAM,KAAK,SACvB,OAAO,SAAS,eAAe;KAC7B,IAAI,KAAK;KACT,MAAM,KAAK;KACX,QAAQ;MACN,MAAM;MACN,SACE;KACJ;KACA,WAAW;KACX,kBAAkB;IACpB,CAAC,CACH;IAEA,MAAM,WAAW,MAAM,IAAI;IAC3B,MAAM,cAAc,MAAM,OAAO;IACjC,MAAM,UAAU,OAAO,YAAY,QAAQ,EAAE,SAAS,MAAM,CAAC;IAE7D,MAAM,IAAI,KAAK,OAAO;IACtB,MAAM,OAAO,KAAK,OAAO;IACzB,KAAK,MAAM,CAAC,WAAW,SAAS,MAAM,QAAQ,GAAG;KAC/C,MAAM,SAAS,OAAO,OAAO,aAAa,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAC7D,OAAO,UAAU,UAAU,aAAa,mCAAmC,KAAK,CAAC,CACnF;KAEA,kBAAkB,IAAI,wBAAwB,QAAQ,OAAO,QAAQ,MAAM,MAAM,GAAG;MAClF;MACA;MACA;MACA;KACF,CAAC;IACH;GACF;EACF;EACA,QAAQ;GACN,GAAG;GACH,gBAAgB,SACZ,KAAK,IAAI,MAAM,gBAAgB,QAAQ,IAAI,IAC3C,MAAM;EACZ;EACA,aAAa;GACX,UAAU,SAAS;GACnB,KAAK,QAAQ;GACb,cAAc,MAAM,IAAI;GACxB,GAAI,mBAAmB,QAAQ,OAAO,YAAY,OAAO,iBAAiB,IACtE,EAAE,kBAAkB,KAAK,IACzB,CAAC;GACL,GAAI,oBAAoB,IAAI,SAAS,OAAO,QAAQ,IAAI,EAAE,YAAY,KAAK,IAAI,CAAC;EAClF,CAAC;CACH,CAAC,CACH;CACA,YAAY;CACZ,QAAQ,OAAO,WAAW,KAAK;CAE/B,MAAM,uBAAuB,OAAO,OAAO,aAAa,cAAc,CAAC,CAAC,WAAW,CAAC,CAAC,KACnF,OAAO,UAAU,UACf,aAAa,mDAAmD,KAAK,CACvE,CACF;CAEA,OAAO;EACL,GAAI,kBAAkB,KAAA,IAAY,CAAC,IAAI,EAAE,cAAc;EACvD,aAAa;EACb,QAAQ,OAAO,aAAa,MAAM,GAAG;EACrC,eAAe,OAAO,aAAa,MAAM,MAAM;EAC/C,gBAAgB,MAAM;EACtB,OAAO,yBAAyB,IAAI,QAAQ;GAAE,GAAG;GAAO;EAAqB;EAC7E,GAAI,mBAAmB,KAAA,IAAY,CAAC,IAAI,EAAE,iBAAiB,eAAe;EAC1E,GAAI,qBAAqB,KAAA,IAAY,CAAC,IAAI,EAAE,iBAAiB;EAC7D,GAAI,mBAAmB,6BAA6B,KAAA,IAChD,CAAC,IACD,EAAE,yBAAyB;CACjC;AACF,CAAC;;AAGD,MAAa,oBAAoB,OAAO,GAAG,8BAA8B,CAAC,EAEtE,SACA,UAEA,wBAAwB,OAAO,aAAa,OAAO,GAAG,KAAK,CAC/D;;;;;;AAOA,MAAa,6BAA6B,OAAO,GAAG,uCAAuC,CAAC,EAExF,YAEA,wBAAwB,OAAO,aAAa,OAAO,GAAG,KAAA,CAAS,CAAC,CAAC,KAC/D,OAAO,KAAK,eAAe,WAAW,MAAM,CAC9C,CACJ;;;;;;;AAQA,MAAM,oBAAoB,OAAe,UACvC,OAAO,cAAc,KAAK,KAAK,SAAS,IACpC,OAAO,QAAQ,KAAK,IACpB,OAAO,KACL,aAAa,UAAU,MAAM,4CAA4C,OAAO,KAAK,GAAG,CAC1F;AA6CN,MAAM,sBAAsB,OAAO,oBAAoB,aAAa;AACpE,MAAM,eAAe,OAAO,aAAa,OAAO,MAAM;AACtD,MAAM,mBAAmB,OAAO,oBAAoB,OAAO,MAAM,cAAc,CAAC;AAEhF,MAAM,wBAAwB,SAC5B,CAAC,OAAO,UAAU,IAAI,KAAK,QAAQ,IAC/B,OAAO,KAAK,aAAa,qDAAqD,MAAM,CAAC,IACrF,OAAO;AAOb,MAAM,qBAAqB,aAA+D;CACxF,MAAM,iBAAwC,CAAC;CAC/C,MAAM,YAA0C,CAAC;CAEjD,KAAK,MAAM,WAAW,UAAU;EAC9B,IAAI,QAAQ,SAAS,QAAQ;GAC3B,eAAe,KAAK,OAAO;GAC3B;EACF;EACA,KAAK,MAAM,QAAQ,QAAQ,SAAS;GAClC,IAAI,KAAK,SAAS,eAAe;GACjC,UAAU,KAAK,IAAI;EACrB;CACF;CAEA,OAAO;EAAE;EAAgB;CAAU;AACrC;AAEA,MAAM,sBAAsB,OAAO,GAAG,gCAAgC,CAAC,CAAC,WACtE,OACA,gBACgF;CAChF,IAAI,eAAe,WAAW,GAC5B,OAAO,OAAO,aAAa,QAAQ,MAAM,KAAK,2CAA2C;CAE3F,MAAM,wBAAwB,MAAM;CAEpC,IACE,0BAA0B,KAAA,MACzB,MAAM,SAAS,KACd,CAAC,OAAO,cAAc,qBAAqB,KAC3C,yBAAyB,KACzB,yBAAyB,eAAe,UACxC,eACG,MAAM,GAAG,qBAAqB,CAAC,CAC/B,MAAM,YAAY,QAAQ,SAAS,YAAY,QAAQ,SAAS,MAAM,IAE3E,OAAO,OAAO,aACZ,mHACF;CAGF,MAAM,kBAAkB,OAAO,aAAa,OAAO,aAAa,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,KACpF,OAAO,UAAU,UAAU,aAAa,yCAAyC,KAAK,CAAC,CACzF;CAEA,MAAM,WAAW,OAAO,oBAAoB,eAAe,CAAC,CAAC,KAC3D,OAAO,UAAU,UACf,aAAa,4DAA4D,KAAK,CAChF,CACF;CAEA,MAAM,iBAAiB,OAAO,WAAW,QAAQ;CAEjD,MAAM,aACJ,MAAM,OAAO,eAAe,KAAA,IACxB,KAAA,IACA,OAAO,iBAAiB,MAAM,MAAM,UAAU,CAAC,CAAC,KAC9C,OAAO,UAAU,UAAU,aAAa,qCAAqC,KAAK,CAAC,CACrF;CAEN,IAAI,eAAe,KAAA,GAAW;EAC5B,IAAI,WAAW,WAAW,GACxB,OAAO,OAAO,aAAa,2DAA2D;EAGxF,MAAM,UAAU,OAAO,oBAAoB,UAAU,CAAC,CAAC,KACrD,OAAO,UAAU,UAAU,aAAa,8CAA8C,KAAK,CAAC,CAC9F;EAEA,IACE,MAAM,UAAU,KAAA,KAChB,MAAM,MAAM,gBAAgB,QAAQ,YAAY,SAChD,MAAM,MAAM,iBAAiB,QAAQ,aAAa,UACjD,MAAM,MAAM,gBAAgB,OAAO,QAAQ,cAE5C,OAAO,OAAO,aAAa,kDAAkD;CAEjF;CAEA,OAAO,eAAe,KAAK;EACzB,UAAU,sBAAsB,MAAM,OAAO,MAAM,IAAI;EACvD,QAAQ;EACR,eAAe;EACf,WAAW,MAAM;EACjB,cAAc,MAAM;EACpB,SAAS,sBAAsB,KAAK;GAClC,GAAI,MAAM,mBAAmB,KAAA,IAAY,CAAC,IAAI,EAAE,gBAAgB,MAAM,eAAe;GACrF,GAAI,MAAM,4BAA4B,KAAA,KAAa,MAAM,wBAAwB,WAAW,IACxF,CAAC,IACD,EAAE,yBAAyB,MAAM,wBAAwB;GAC7D,GAAI,MAAM,iBAAiB,KAAA,IAAY,CAAC,IAAI,EAAE,cAAc,MAAM,aAAa;GAC/E,OAAO,MAAM;GACb,QAAQ,MAAM;GACd,MAAM,MAAM;GACZ;GACA;GACA,GAAI,0BAA0B,KAAA,IAAY,CAAC,IAAI,EAAE,sBAAsB;GACvE,GAAI,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;GACjD,GAAI,MAAM,yBAAyB,KAAA,KAAa,MAAM,yBAAyB,IAC3E,CAAC,IACD,EACE,sBAAsB,OAAO,iBAC3B,wBACA,MAAM,oBACR,EACF;GACJ,GAAI,MAAM,UAAU,KAAA,IAChB,CAAC,IACD;IACE,aAAa,OAAO,iBAAiB,eAAe,MAAM,MAAM,WAAW;IAC3E,cAAc,OAAO,iBAAiB,gBAAgB,MAAM,MAAM,YAAY;IAG9E,GAAI,MAAM,MAAM,iBAAiB,KAAA,KAAa,MAAM,MAAM,iBAAiB,IACvE,CAAC,IACD,EACE,cAAc,OAAO,iBAAiB,gBAAgB,MAAM,MAAM,YAAY,EAChF;GACN;EACN,CAAC;CACH,CAAC;AACH,CAAC;AAED,MAAM,qBAAqB,OAAO,GAAG,+BAA+B,CAAC,CAAC,WACpE,OACA,WAC0D;CAC1D,MAAM,cAAqC,CAAC;CAE5C,KAAK,MAAM,QAAQ,WAAW;EAC5B,MAAM,SAAS,OAAO,oBAAoB,KAAK,MAAM,CAAC,CAAC,KACrD,OAAO,UAAU,UACf,aAAa,eAAe,KAAK,GAAG,wCAAwC,KAAK,CACnF,CACF;EAEA,MAAM,aAAa,OAAO,OAAO,IAAI;GACnC,WAAW,iBAAiB,KAAK,EAAE;GACnC,QAAQ,UAAU,aAAa,wBAAwB,KAAK,MAAM,KAAK;EACzE,CAAC;EAED,YAAY,KACV,eAAe,KAAK;GAClB,UAAU,wBAAwB,MAAM,OAAO,MAAM,MAAM,UAAU;GACrE,QAAQ;GACR,eAAe;GACf,WAAW,MAAM;GACjB,cAAc,MAAM;GACpB,SAAS,gBAAgB,KAAK;IAC5B,GAAI,MAAM,gBAAgB,IAAI,KAAK,EAAE,MAAM,KAAA,IACvC,CAAC,IACD,EAAE,eAAe,MAAM,eAAe,IAAI,KAAK,EAAE,EAAE;IACvD,OAAO,MAAM;IACb;IACA,UAAU,KAAK;IACf;IACA,WAAW,KAAK;IAChB,GAAI,MAAM,qBAAqB,IAAI,KAAK,EAAE,MAAM,OAAO,EAAE,gBAAgB,KAAK,IAAI,CAAC;GACrF,CAAC;EACH,CAAC,CACH;CACF;CAEA,OAAO;AACT,CAAC;;AAGD,MAAa,uBACX,eAKA,WAAW;CACT,OAAO,WAAW;CAClB,QAAQ,WAAW;CACnB,gBAAgB,WAAW,kBAAkB;CAC7C,cAAc,WAAW,gBAAgB;CACzC,WAAW,WAAW,aAAa;AACrC,CAAC;AAEH,MAAM,sBAAsB,OAAO,GAAG,gCAAgC,CAAC,CAAC,WACtE,OACA;CACA,IAAI,MAAM,kBAAkB,KAAA,GAAW,OAAO,KAAA;CAC9C,MAAM,aAAa;EAAE,OAAO,MAAM;EAAO,GAAG,MAAM;CAAc;CAEhE,OAAO,eAAe,KAAK;EACzB,UAAU,qBAAqB,MAAM,KAAK;EAC1C,QAAQ;EACR,eAAe;EACf,WAAW,MAAM;EACjB,cAAc,MAAM;EACpB,SAAS,aAAa,KAAK;GACzB,GAAG;GACH,cAAc,OAAO,oBAAoB,UAAU;EACrD,CAAC;CACH,CAAC;AACH,CAAC;;;;;;;;;;;AAYD,MAAa,qBAAqB,OAAO,GAAG,+BAA+B,CAAC,CAAC,WAC3E,OACgF;CAChF,OAAO,qBAAqB,MAAM,IAAI;CACtC,MAAM,EAAE,gBAAgB,cAAc,kBAAkB,MAAM,QAAQ;CACtE,MAAM,gBAAgB,OAAO,oBAAoB,OAAO,cAAc;CACtE,MAAM,cAAc,OAAO,mBAAmB,OAAO,SAAS;CAC9D,MAAM,mBAAmB,OAAO,oBAAoB,KAAK;CAEzD,OAAO,eAAe,KAAK;EACzB,SAAS,YAAY,MAAM,OAAO,MAAM,IAAI;EAC5C,YAAY,MAAM;EAClB,SACE,qBAAqB,KAAA,IACjB,CAAC,eAAe,GAAG,WAAW,IAC9B;GAAC;GAAe,GAAG;GAAa;EAAgB;CACxD,CAAC;AACH,CAAC;;;;;;;;;;;;AAaD,MAAa,oBAAoB,OAAO,GAAG,8BAA8B,CAAC,CAAC,WACzE,OACgF;CAChF,OAAO,qBAAqB,MAAM,IAAI;CACtC,MAAM,EAAE,mBAAmB,kBAAkB,MAAM,QAAQ;CAC3D,MAAM,gBAAgB,OAAO,oBAAoB,OAAO,cAAc;CAEtE,OAAO,eAAe,KAAK;EACzB,SAAS,oBAAoB,MAAM,OAAO,MAAM,IAAI;EACpD,YAAY,MAAM;EAClB,SAAS,CAAC,aAAa;CACzB,CAAC;AACH,CAAC;;;;;;;AAQD,MAAa,mBAAmB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WACvE,OACgF;CAChF,OAAO,qBAAqB,MAAM,IAAI;CACtC,MAAM,EAAE,cAAc,kBAAkB,MAAM,QAAQ;CACtD,MAAM,cAAc,OAAO,mBAAmB,OAAO,SAAS;CAC9D,MAAM,QAAQ,YAAY;CAE1B,IAAI,UAAU,KAAA,GACZ,OAAO,OAAO,aAAa,QAAQ,MAAM,KAAK,wCAAwC;CAExF,IAAI,MAAM,kBAAkB,KAAA,KAAa,YAAY,WAAW,GAC9D,OAAO,OAAO,aAAa,gEAAgE;CAE7F,MAAM,mBAAmB,OAAO,oBAAoB,KAAK;CAEzD,OAAO,eAAe,KAAK;EACzB,SAAS,mBAAmB,MAAM,OAAO,MAAM,IAAI;EACnD,YAAY,MAAM;EAClB,SACE,qBAAqB,KAAA,IACjB,CAAC,OAAO,GAAG,YAAY,MAAM,CAAC,CAAC,IAC/B;GAAC;GAAO,GAAG,YAAY,MAAM,CAAC;GAAG;EAAgB;CACzD,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"RunJournal-BdIlgAEj.mjs","names":[],"sources":["../src/durable/internal/journal-metadata.ts","../src/durable/RunJournal.ts"],"sourcesContent":["import { type RunId } from \"../../core/Identifiers.ts\";\nimport {\n type CanonicalRecordEnvelope,\n type CompactionCreated,\n type ToolCallSettled,\n} from \"../Records.ts\";\nimport { type JournalCheckpointSeed } from \"./journal-checkpoint.ts\";\n\n/** Metadata for one exact canonical prefix, including the same optional checkpoint seed. */\nexport interface JournalMetadata {\n readonly ownerRunId: RunId | undefined;\n readonly seed: JournalCheckpointSeed | undefined;\n readonly firstSequenceByRun: ReadonlyMap<string, number>;\n readonly lastResponseSequenceByRun: ReadonlyMap<string, number>;\n readonly terminalSequenceByRun: ReadonlyMap<string, number>;\n readonly settledSpans: ReadonlyArray<{ readonly from: number; readonly to: number }>;\n readonly settledToolCallRecordIds: ReadonlySet<string>;\n readonly settledById: ReadonlyMap<\n string,\n Pick<ToolCallSettled, \"isFailure\" | \"budgetRejected\" | \"toolSelection\">\n >;\n readonly compactions: ReadonlyArray<{\n readonly payload: CompactionCreated;\n readonly sequence: number;\n }>;\n}\n\n/**\n * Attempt-local metadata collector. Feed every validated record exactly once, in canonical order,\n * including records omitted from the control view. A snapshot is independent of later suffix\n * additions and may only accompany a replay stream bounded at that same captured tail.\n */\nexport const makeJournalMetadata = (\n ownerRunId: RunId | undefined,\n seed?: JournalCheckpointSeed,\n) => {\n const firstSequenceByRun = new Map<string, number>();\n\n if (seed?.firstSequence !== undefined) firstSequenceByRun.set(seed.runId, seed.firstSequence);\n const lastResponseSequenceByRun = new Map<string, number>();\n const terminalSequenceByRun = new Map<string, number>();\n const settledSpans: Array<{ readonly from: number; readonly to: number }> = [];\n const settledToolCallRecordIds = new Set<string>();\n\n const settledById = new Map<\n string,\n Pick<ToolCallSettled, \"isFailure\" | \"budgetRejected\" | \"toolSelection\">\n >();\n\n const compactions: Array<{ readonly payload: CompactionCreated; readonly sequence: number }> = [];\n\n return {\n add: (envelope: CanonicalRecordEnvelope): void => {\n const payload = envelope.record.payload;\n\n if (\n (payload._tag === \"RunCompleted\" ||\n payload._tag === \"RunFailed\" ||\n payload._tag === \"SubmissionSettled\") &&\n payload.runId !== undefined &&\n !terminalSequenceByRun.has(payload.runId)\n )\n terminalSequenceByRun.set(payload.runId, envelope.sequence);\n if (payload._tag === \"CompactionCreated\") {\n compactions.push({ payload, sequence: envelope.sequence });\n\n return;\n }\n if (\n \"runId\" in payload &&\n typeof payload.runId === \"string\" &&\n !firstSequenceByRun.has(payload.runId)\n )\n firstSequenceByRun.set(payload.runId, envelope.sequence);\n if (payload._tag === \"ModelResponseRecorded\") {\n lastResponseSequenceByRun.set(payload.runId, envelope.sequence);\n } else if (payload._tag === \"ToolCallSettled\") {\n settledToolCallRecordIds.add(envelope.record.recordId);\n if (payload.runId === ownerRunId)\n settledById.set(envelope.record.recordId, {\n isFailure: payload.isFailure,\n ...(payload.toolSelection === undefined\n ? {}\n : { toolSelection: payload.toolSelection }),\n ...(payload.budgetRejected === undefined\n ? {}\n : { budgetRejected: payload.budgetRejected }),\n });\n const from = lastResponseSequenceByRun.get(payload.runId);\n\n if (from !== undefined && from < envelope.sequence)\n settledSpans.push({ from, to: envelope.sequence });\n }\n },\n snapshot: (): JournalMetadata => ({\n ownerRunId,\n seed,\n firstSequenceByRun: new Map(firstSequenceByRun),\n lastResponseSequenceByRun: new Map(lastResponseSequenceByRun),\n terminalSequenceByRun: new Map(terminalSequenceByRun),\n settledSpans: [...settledSpans],\n settledToolCallRecordIds: new Set(settledToolCallRecordIds),\n settledById: new Map(settledById),\n compactions: [...compactions],\n }),\n };\n};\n","import { type Crypto, Effect, Schema, Stream, type DateTime } from \"effect\";\nimport { Prompt } from \"effect/unstable/ai\";\n\nimport { ThreadId, RunId, ToolCallId, TurnId, type SubmissionId } from \"../core/Identifiers.ts\";\nimport { type ExhaustedLimit } from \"../core/RunEvent.ts\";\nimport { RunPolicyUsage } from \"../core/RunPolicyUsage.ts\";\nimport { type Selection, type Snapshot } from \"../core/ToolExposure.ts\";\nimport type { ToolParameterRejection } from \"../core/ToolResult.ts\";\nimport { ModelCallUsage, summarizeModelUsage, type RunUsageSummary } from \"../core/Usage.ts\";\nimport type { WorkerRef } from \"../core/Worker.ts\";\nimport {\n CLEARED_TOOL_RESULT,\n COMPACTION_SUMMARY_PREFIX,\n contextWindowId,\n contextWindowMessage,\n} from \"../engine/Compaction.ts\";\nimport { digestJson, type DigestError } from \"./Digest.ts\";\nimport { type JournalCheckpointSeed } from \"./internal/journal-checkpoint.ts\";\nimport { makeJournalMetadata, type JournalMetadata } from \"./internal/journal-metadata.ts\";\nimport {\n BatchId,\n CanonicalBatch,\n CompactionCreated,\n ModelResponseRecorded,\n PersistedJson,\n RecordEnvelope,\n RecordId,\n RunCompleted,\n ToolCallSettled,\n type CanonicalRecordEnvelope,\n type CanonicalSequence,\n type DeploymentId,\n type ProducerId,\n} from \"./Records.ts\";\nimport { IdempotencyKey } from \"./SubmissionLedger.ts\";\n\n/** A canonical record could not be projected into Run/Prompt state. */\nexport class RunJournalError extends Schema.TaggedError<RunJournalError>()(\"RunJournalError\", {\n message: Schema.String,\n cause: Schema.optionalKey(Schema.Defect()),\n}) {}\n\nconst journalError = (message: string, cause?: unknown): RunJournalError =>\n cause === undefined\n ? RunJournalError.make({ message })\n : RunJournalError.make({ message, cause });\n\nconst decodeRunId = Schema.decodeSync(RunId);\nconst decodeTurnId = Schema.decodeSync(TurnId);\nconst decodeBatchId = Schema.decodeSync(BatchId);\nconst decodeRecordId = Schema.decodeSync(RecordId);\n\n/**\n * Deterministic Run identity pinned per Submission (plan §Coordinator flow). Every Attempt of one\n * Submission shares this Run identity, so canonical per-Turn records from different Attempts\n * belong to one logical Run.\n */\nexport const runIdForSubmission = (submissionId: SubmissionId): RunId =>\n decodeRunId(`run:${submissionId}`);\n\n/** Stable canonical clock identity shared by every Attempt of one Run. */\nexport const runStartedRecordId = (runId: RunId): RecordId => decodeRecordId(`run-start:${runId}`);\n\nexport const runStartedBatchId = (runId: RunId): BatchId => decodeBatchId(`run-start:${runId}`);\n\nexport const runDurationRecordId = (runId: RunId): RecordId =>\n decodeRecordId(`run-duration:${runId}`);\n\nexport const runDurationBatchId = (runId: RunId): BatchId => decodeBatchId(`run-duration:${runId}`);\n\n/** Deterministic Turn identity: Attempt-independent for one (Run, canonical turn) pair. */\nexport const turnIdForRun = (runId: RunId, turn: number): TurnId =>\n decodeTurnId(`turn:${runId}:${turn}`);\n\n/** Deterministic batch identity of one committed canonical no-tool Turn (P4 single-batch shape). */\nexport const turnBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn:${runId}:${turn}`);\n\n/**\n * Deterministic batch identity of a tool-declaring Turn's RESPONSE commit (plan §2.1 commit 1):\n * the assistant response plus pending steering becomes canonical BEFORE approval preflight and\n * tool preparation, creating the durability §15 \"resume tool scheduling\" window.\n */\nexport const turnResponseBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn-response:${runId}:${turn}`);\n\n/**\n * Deterministic batch identity of a tool-declaring Turn's RESULTS commit (plan §2.1 commit 5):\n * every `ToolCallSettled` record of the Turn, in declaration order, model-visible atomically.\n */\nexport const turnResultsBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn-results:${runId}:${turn}`);\n\n/**\n * Deterministic per-call late-settle batch identity used by the resolution path when one\n * recovered/resolved call settles outside its Turn's results batch. Record identity\n * (`tool-settled:{runId}:{turn}:{toolCallId}`) dedupes double-settles across both paths.\n */\nexport const toolCallResultBatchId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): BatchId => decodeBatchId(`turn-results:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic batch identity of one Turn's `ToolCallPrepared` commit (plan §2.1 commit 3). */\nexport const turnPreparedBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn-prepared:${runId}:${turn}`);\n\n/**\n * Deterministic identity of one pre-Turn compaction record (RUN-026,\n * RUN-026). Keyed by Run, Turn, and kind — the engine performs at most one\n * threshold compaction per Turn plus at most one overflow-forced summarize,\n * so a superseding Attempt that re-decides the same compaction replays the\n * batch identity instead of duplicating the record.\n */\nexport const compactionRecordId = (\n runId: RunId,\n turn: number,\n kind: \"clear-tool-results\" | \"summarize\" | \"rollover\",\n): RecordId => decodeRecordId(`compaction:${runId}:${turn}:${kind}`);\n\n/** Deterministic batch identity of one compaction append (same string as its record id). */\nexport const compactionBatchId = (\n runId: RunId,\n turn: number,\n kind: \"clear-tool-results\" | \"summarize\" | \"rollover\",\n): BatchId => decodeBatchId(`compaction:${runId}:${turn}:${kind}`);\n\n/** Deterministic canonical record identity of one Turn's `ModelResponseRecorded` record. */\nexport const modelResponseRecordId = (runId: RunId, turn: number): RecordId =>\n decodeRecordId(`model-response:${runId}:${turn}`);\n\n/** Terminal Tool completion marker committed atomically with its settled Tool result. */\nexport const runCompletedRecordId = (runId: RunId): RecordId =>\n decodeRecordId(`run-completed:${runId}`);\n\n/** Native source reservation locator, including the first admission of a continuing worker. */\nexport const workerInputRecordId = (messageId: IdempotencyKey): RecordId =>\n decodeRecordId(`worker-input:${messageId}`);\n\n/** Source-owned first reservation; native worker identity is minted from its first message. */\nexport const firstWorkerInputRecordId = (worker: WorkerRef): RecordId =>\n decodeRecordId(`worker-input:${worker.threadId}`);\n\nexport const workerOriginRecordId = (threadId: ThreadId): RecordId =>\n decodeRecordId(`worker-origin:${threadId}`);\n\nexport const workerReportRecordId = (messageId: IdempotencyKey): RecordId =>\n decodeRecordId(`worker-report:${messageId}`);\n\nexport const peerMessageRecordId = (messageId: IdempotencyKey): RecordId =>\n decodeRecordId(messageId);\n\n/** Same immutable tuple used by native update admission; callers never parse its hash. */\nexport const agentUpdateRecordId = Effect.fn(\"RunJournal.agentUpdateRecordId\")(function* (\n threadId: ThreadId,\n runId: RunId,\n updateId: IdempotencyKey,\n) {\n return decodeRecordId(`agent-update:${yield* digestJson([threadId, runId, updateId])}`);\n});\n\n/** Deterministic canonical record identity of one Turn's `ToolCallSettled` record. */\nexport const toolCallSettledRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`tool-settled:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolCallPrepared` record. */\nexport const toolCallPreparedRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`tool-prepared:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic batch identity of one Turn's `ToolCallUnknown` marking append. */\nexport const markUnknownBatchId = (submissionId: SubmissionId, turn: number): BatchId =>\n decodeBatchId(`mark-unknown:${submissionId}:${turn}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolCallUnknown` record. */\nexport const toolCallUnknownRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`tool-unknown:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic batch identity of one Tool Call's resolution append (DUR-017). */\nexport const toolCallResolutionBatchId = (\n submissionId: SubmissionId,\n toolCallId: ToolCallId,\n): BatchId => decodeBatchId(`resolve:${submissionId}:${toolCallId}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolCallResolved` record. */\nexport const toolCallResolvedRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`tool-resolved:${runId}:${turn}:${toolCallId}`);\n\n/**\n * Deterministic identity of one accepted Durable Step result. The one-record batch reuses the\n * SAME string, so batch idempotency plus the epoch fence realize the durability §11\n * racing-writers rule: only the fenced winner's record commits; the loser replays it.\n * A versioned JSON tuple keeps separator characters in each identity component distinct.\n * Replay derives this key from the structured payload, including records with legacy IDs.\n */\nexport const toolStepSettledRecordId = (\n runId: RunId,\n toolCallId: ToolCallId,\n stepName: string,\n): RecordId => decodeRecordId(JSON.stringify([\"step@2\", runId, toolCallId, stepName]));\n\n/** Deterministic batch identity of one Durable Step commit (same string as its record id). */\nexport const toolStepSettledBatchId = (\n runId: RunId,\n toolCallId: ToolCallId,\n stepName: string,\n): BatchId => decodeBatchId(toolStepSettledRecordId(runId, toolCallId, stepName));\n\n/** Deterministic batch identity of one Turn's canonical approval-request append (plan §2.6). */\nexport const turnApprovalsBatchId = (runId: RunId, turn: number): BatchId =>\n decodeBatchId(`turn-approvals:${runId}:${turn}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolApprovalRequested` record. */\nexport const toolApprovalRequestRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`approval-request:${runId}:${turn}:${toolCallId}`);\n\n/** Deterministic batch identity of one Tool Call's canonical approval-decision append. */\nexport const approvalDecisionBatchId = (\n submissionId: SubmissionId,\n toolCallId: ToolCallId,\n): BatchId => decodeBatchId(`approval-decision:${submissionId}:${toolCallId}`);\n\n/** Deterministic canonical record identity of one Tool Call's `ToolApprovalDecided` record. */\nexport const toolApprovalDecisionRecordId = (\n runId: RunId,\n turn: number,\n toolCallId: ToolCallId,\n): RecordId => decodeRecordId(`approval-decision:${runId}:${turn}:${toolCallId}`);\n\n/**\n * Deterministic identity of one superseded Attempt's `ModelResponseInterrupted` audit record\n * (durability §9). Keyed by the superseded epoch, so each interrupted ownership period is\n * recorded at most once; the one-record batch reuses the same string.\n */\nexport const modelResponseInterruptedRecordId = (runId: RunId, supersededEpoch: number): RecordId =>\n decodeRecordId(`interrupted:${runId}:${supersededEpoch}`);\n\n/** Deterministic batch identity of one `ModelResponseInterrupted` append (same string). */\nexport const modelResponseInterruptedBatchId = (runId: RunId, supersededEpoch: number): BatchId =>\n decodeBatchId(`interrupted:${runId}:${supersededEpoch}`);\n\nconst decodeThreadId = Schema.decodeSync(ThreadId);\nconst decodeIdempotencyKey = Schema.decodeSync(IdempotencyKey);\n\n/**\n * Deterministic canonical record identity of one parent Tool Call's `SubagentRequested` record.\n * The one-record batch reuses the same string, so batch\n * idempotency plus the parent epoch fence make the request append exactly-once-canonical.\n */\nexport const subagentRequestedRecordId = (runId: RunId, toolCallId: ToolCallId): RecordId =>\n decodeRecordId(`subagent-requested:${runId}:${toolCallId}`);\n\n/** Deterministic batch identity of one `SubagentRequested` append (same string). */\nexport const subagentRequestedBatchId = (runId: RunId, toolCallId: ToolCallId): BatchId =>\n decodeBatchId(`subagent-requested:${runId}:${toolCallId}`);\n\n/**\n * Deterministic canonical record identity of one parent Tool Call's `SubagentStarted` record.\n * Recovery's start-link repair appends the EXACT same record\n * under this identity, so a raced repair replays instead of duplicating (SUB-016/SUB-017).\n */\nexport const subagentStartedRecordId = (runId: RunId, toolCallId: ToolCallId): RecordId =>\n decodeRecordId(`subagent-started:${runId}:${toolCallId}`);\n\n/** Deterministic batch identity of one `SubagentStarted` append (same string). */\nexport const subagentStartedBatchId = (runId: RunId, toolCallId: ToolCallId): BatchId =>\n decodeBatchId(`subagent-started:${runId}:${toolCallId}`);\n\n/**\n * Deterministic batch identity of one parent Tool Call's atomic settlement join: the\n * `SubagentJoined` record plus the parent's `ToolCallSettled` record (its existing\n * `tool-settled:{runId}:{turn}:{toolCallId}` identity) commit as ONE canonical batch (SUB-019).\n */\nexport const subagentJoinBatchId = (runId: RunId, toolCallId: ToolCallId): BatchId =>\n decodeBatchId(`subagent-join:${runId}:${toolCallId}`);\n\n/** Deterministic canonical record identity of one parent Tool Call's `SubagentJoined` record. */\nexport const subagentJoinedRecordId = (runId: RunId, toolCallId: ToolCallId): RecordId =>\n decodeRecordId(`subagent-joined:${runId}:${toolCallId}`);\n\n/**\n * Deterministic identity of one child Thread's `SubagentLineageRecorded` record.\n * Its own single-record batch reuses the same string so the generic\n * `thread-created:{cid}` batch identity is never contradicted.\n */\nexport const subagentLineageRecordId = (threadId: ThreadId): RecordId =>\n decodeRecordId(`subagent-lineage:${threadId}`);\n\n/** Deterministic batch identity of one `SubagentLineageRecorded` append (same string). */\nexport const subagentLineageBatchId = (threadId: ThreadId): BatchId =>\n decodeBatchId(`subagent-lineage:${threadId}`);\n\n/**\n * Deterministic intended child Thread identity: the\n * parent Submission and Tool Call pair addresses exactly one child Thread, so a replayed\n * establishment converges on the one existing child (SUB-016).\n */\nexport const childThreadIdFor = (\n parentSubmissionId: SubmissionId,\n toolCallId: ToolCallId,\n): ThreadId => decodeThreadId(`subagent:${parentSubmissionId}:${toolCallId}`);\n\n/**\n * Deterministic child admission idempotency key: scoped to\n * the parent Run and Tool Call identity, so duplicate admission attempts resolve through the\n * ledger's idempotency contract to one child Receipt (SUB-016, SUB-031). The ledger key is\n * bounded (256); coordinator-minted Run and Tool Call identities stay far below that bound.\n */\nexport const childIdempotencyKeyFor = (\n parentRunId: RunId,\n toolCallId: ToolCallId,\n): IdempotencyKey => decodeIdempotencyKey(`subagent:${parentRunId}:${toolCallId}`);\n\nconst decodePromptMessages = Effect.fn(\"RunJournal.decodePromptMessages\")(\n (messages: PersistedJson): Effect.Effect<Prompt.Prompt, RunJournalError> =>\n Schema.decodeUnknownEffect(Prompt.Prompt)(messages).pipe(\n Effect.mapError((cause) =>\n journalError(\"Canonical messages are not Schema-encoded Prompt messages\", cause),\n ),\n ),\n);\n\ninterface PendingSettledTool {\n readonly record: ToolCallSettled;\n /** RUN-026: a `clear-tool-results` compaction covers this record's sequence. */\n readonly cleared: boolean;\n}\n\nconst toolMessageFromSettled = Effect.fn(\"RunJournal.toolMessageFromSettled\")(\n (settled: ReadonlyArray<PendingSettledTool>): Effect.Effect<Prompt.Message, RunJournalError> =>\n Effect.try({\n try: () =>\n Prompt.makeMessage(\"tool\", {\n content: settled.map(({ record, cleared }) =>\n Prompt.makePart(\"tool-result\", {\n id: record.toolCallId,\n name: record.toolName,\n result: cleared ? CLEARED_TOOL_RESULT : record.result,\n isFailure: record.isFailure,\n providerExecuted: false,\n }),\n ),\n }),\n catch: (cause) => journalError(\"Unable to rebuild Tool message from ToolCallSettled\", cause),\n }),\n);\n\n/**\n * Pure canonical projection of one Run's durable execution state.\n *\n * Prompt reconstruction contract (D8):\n *\n * - `ModelResponseRecorded.messages` carries the Schema-encoded Prompt messages the Turn appended\n * to the model-visible prompt — for the Run's FIRST committed Turn that includes the evaluated\n * instruction and user-input messages, for later Turns only the assistant response messages.\n * Tool messages are excluded from `messages`.\n * - `ToolCallSettled` records (committed in the same per-Turn batch, in declaration order)\n * deterministically rebuild the Turn's single Tool message.\n * - `UserInputRecorded` records input, with a Submission identity only for durable admission. Its\n * Prompt-visible form (instructions + user message) becomes canonical inside the owning Run's\n * first `ModelResponseRecorded`. The projection consumes it only for Run correlation.\n * - Immediate retained history uses `ModelCompleted.messages` for the successful Run's exact\n * native Prompt suffix, including any input examples. It has no resumable Turn state.\n */\n/** Cumulative committed usage of the projected Run (RUN-023 resume re-seed). */\nexport interface RunJournalUsage {\n readonly modelCalls: number;\n /** Known accounting gaps retained across Attempts without changing numeric usage totals. */\n readonly unobservedModelCalls?: number | undefined;\n readonly inputTokens: number;\n readonly outputTokens: number;\n readonly lastInputTokens: number;\n readonly lastOutputTokens: number;\n /** Cumulative persisted spend of the projected Run's committed calls (RUN-023). */\n readonly costMicrousd: number;\n /** Canonical per-call detail used for settlement aggregation and recovery. */\n readonly modelUsage: ReadonlyArray<ModelCallUsage>;\n /** Detailed usage of retired records, grouped without retaining per-call payloads. */\n readonly summarizedModelUsage?: RunUsageSummary | undefined;\n}\n\nexport interface RunJournalProjection {\n readonly toolSelection?: Selection | undefined;\n readonly policyUsage: RunPolicyUsage;\n /** Canonical projection for the requested Run; may end at its resumable Tool declaration. */\n readonly prompt: Prompt.Prompt;\n /** Prior-Run history with model-only unknown results closing incomplete application calls. */\n readonly historyBefore: Prompt.Prompt;\n /** Number of canonical Turns already committed for the projected Run. */\n readonly committedTurns: number;\n /** Summed per-call usage of the projected Run's committed responses; zeros for records predating usage capture. */\n readonly usage: RunJournalUsage;\n /** Latest committed context window identity, retained across ownership changes. */\n readonly contextWindowId?: string | undefined;\n /** Canonical evaluated instructions and initial input for this Run, independent of the view. */\n readonly protectedContext?: Prompt.Prompt | undefined;\n /** Last successful singleton Tool awaiting possible context-control interpretation by the engine. */\n readonly pendingContextToolCallId?: string | undefined;\n}\n\ninterface ProjectedResponseUsage {\n readonly modelCalls: number;\n readonly inputTokens: number;\n readonly outputTokens: number;\n readonly costMicrousd: number;\n readonly modelUsage: ReadonlyArray<ModelCallUsage>;\n}\n\nconst projectedResponseUsage = (\n response: ModelResponseRecorded,\n): Effect.Effect<ProjectedResponseUsage, RunJournalError> =>\n Effect.gen(function* () {\n const calls = response.modelUsage;\n\n if (calls === undefined) {\n return {\n modelCalls: 1,\n inputTokens: response.inputTokens ?? 0,\n outputTokens: response.outputTokens ?? 0,\n costMicrousd: response.costMicrousd ?? 0,\n modelUsage: [],\n };\n }\n if (calls.length === 0) {\n return yield* journalError(\"A canonical modelUsage list must not be empty\");\n }\n\n const summary = yield* summarizeModelUsage(calls).pipe(\n Effect.mapError((cause) =>\n journalError(\"Canonical model usage exceeds accounting bounds\", cause),\n ),\n );\n\n if (\n (response.inputTokens !== undefined && response.inputTokens !== summary.inputTokens.total) ||\n (response.outputTokens !== undefined &&\n response.outputTokens !== summary.outputTokens.total) ||\n (response.costMicrousd !== undefined && response.costMicrousd !== summary.costMicrousd)\n ) {\n return yield* journalError(\"Canonical detailed and aggregate model usage disagree\");\n }\n\n return {\n modelCalls: summary.modelCalls,\n inputTokens: summary.inputTokens.total,\n outputTokens: summary.outputTokens.total,\n costMicrousd: summary.costMicrousd,\n modelUsage: calls,\n };\n });\n\nconst addProjectedUsage = (\n field: string,\n left: number,\n right: number,\n): Effect.Effect<number, RunJournalError> =>\n Schema.decodeEffect(Schema.Natural)(left + right).pipe(\n Effect.mapError((cause) =>\n journalError(`Canonical projected usage exceeds safe-integer bounds at ${field}`, cause),\n ),\n );\n\ninterface FoldState {\n readonly all: Array<Prompt.Message>;\n readonly before: Array<Prompt.Message>;\n readonly pendingTools: Array<PendingSettledTool>;\n readonly pendingToolsForRun: boolean;\n readonly committedTurns: number;\n}\n\nconst decodeToolCallId = Schema.decodeSync(ToolCallId);\n\nconst declaredApplicationToolCallIds = (prompt: Prompt.Prompt): ReadonlyArray<string> => {\n const ids: Array<string> = [];\n\n for (const message of prompt.content) {\n if (message.role !== \"assistant\") continue;\n for (const part of message.content) {\n if (part.type === \"tool-call\" && !part.providerExecuted) ids.push(part.id);\n }\n }\n\n return ids;\n};\n\n/**\n * Phase 5 audit tags that are prompt-transparent: they carry durability evidence (preparation,\n * unknown marking, resolution, Step results, approvals, interruption) but contribute nothing to\n * the model-visible Prompt, and — unlike the P4 tags — they do NOT split a contiguous\n * `ToolCallSettled` group into separate Tool messages, so a late-settled call's audit records\n * cannot change the replayed prompt shape.\n *\n * The four S2 Subagent lifecycle tags are prompt-transparent for the same reason (spec §5/§11):\n * the parent prompt never carries child transcript or establishment evidence — the joined child\n * result reaches the model exclusively through the paired `ToolCallSettled` record, and the\n * child-log lineage record is not model input.\n */\nconst PROMPT_TRANSPARENT_TAGS: ReadonlySet<string> = new Set([\n \"RunPolicyUsageReserved\",\n \"RunStarted\",\n \"RunDurationExhausted\",\n \"ToolCallPrepared\",\n \"ToolCallUnknown\",\n \"ToolCallResolved\",\n \"ToolStepSettled\",\n \"ToolApprovalRequested\",\n \"ToolApprovalDecided\",\n \"ModelResponseInterrupted\",\n \"SubagentRequested\",\n \"SubagentStarted\",\n \"SubagentJoined\",\n \"SubagentLineageRecorded\",\n \"WorkerInputRequested\",\n \"WorkerOriginRecorded\",\n \"WorkerInputCompleted\",\n \"WorkerReportPrepared\",\n \"AgentUpdateEmitted\",\n \"WorkerReportRefused\",\n \"PeerMessagePrepared\",\n \"SubtreeBudgetReserved\",\n]);\n\n/**\n * Pure projection: rebuild one Run's resume state from canonical records (DUR-015). Canonical\n * order is authoritative; the fold projects each `ModelResponseRecorded` Turn and the\n * owning Run's resumable incomplete Tool Turn. It flushes each contiguous group of valid `ToolCallSettled` records into one Tool message,\n * exactly mirroring the per-Turn commit shape produced by `turnCanonicalBatch` (no-tool Turns) and\n * by the\n * `turnResponseBatch`/`turnResultsBatch` split (tool-declaring Turns). The Phase 5 audit tags\n * are skipped transparently, so split-batch commits replay to the same prompt as P4 single-batch\n * commits.\n *\n * An incomplete application Tool turn remains visible while projecting its owning Run so active\n * recovery can resume the declared batch. It is not a valid model-visible Turn boundary for a\n * later Run until model-only unknown results close its missing calls. Those explanatory results\n * are never canonical settlements or evidence for compaction, recovery or accounting. Real\n * results replace them at the original declaration, including results appended after another Run.\n * Prior user intent and assistant text remain visible; prior system instructions do not.\n */\n/** @internal Lightweight canonical boundaries collected without retaining record payloads. */\nexport interface JournalBoundary {\n readonly sequence: CanonicalSequence;\n readonly tag: \"ModelResponseRecorded\" | \"ToolCallSettled\";\n readonly promptLength: number;\n /** A declaration without all settled results requires terminal-prior-Run proof for coverage. */\n readonly incomplete?: true | undefined;\n /** The Run terminated after its last response and differs from the projection's owner. */\n readonly terminalPriorRun?: true | undefined;\n}\n\n/**\n * Reconstruct a fixed canonical prefix from a re-readable stream. The caller must keep the same\n * records visible on every traversal. The first collects compaction and settlement metadata;\n * rollovers additionally validate covered Tool batches before rebuilding Prompt and usage. Metadata and the\n * live Prompt remain resident; covered historical message/tool payloads do not. An uncompacted Prompt still grows\n * with its conversation, so hosts must configure an appropriate context compaction policy.\n * Prepared metadata must describe exactly this stream and seed through the same fixed tail;\n * it skips only the metadata scan, never covered-Tool validation or the canonical fold.\n * @internal\n */\nexport const projectRunJournalStream = Effect.fn(\"RunJournal.projectRunJournalStream\")(function* <\n E,\n R,\n>(\n records: Stream.Stream<CanonicalRecordEnvelope, E, R>,\n ownerRunId: RunId | undefined,\n onBoundary?: (boundary: JournalBoundary) => void,\n seed?: JournalCheckpointSeed,\n preparedMetadata?: JournalMetadata,\n): Effect.fn.Return<RunJournalProjection, RunJournalError | E, R> {\n if (seed !== undefined && seed.runId !== ownerRunId)\n return yield* journalError(\"Recovery checkpoint belongs to another Run\");\n\n let state: FoldState = {\n all: [],\n before: [],\n pendingTools: [],\n pendingToolsForRun: false,\n committedTurns: seed?.committedTurns ?? 0,\n };\n\n // RUN-026 pre-scan: the widest VALID compaction bounds govern the fold. A\n // valid record covers strictly below its own sequence and never splits a response from its\n // settled tool results. Pruning and rollovers may cover complete owner-Run batches;\n // a summarize record must carry its summary. Invalid records\n // are ignored fail-safe — the full history stays authoritative. Ties on\n // coversThrough resolve to the record appended later (higher sequence),\n // matching at-most-once replay intent.\n // One span per settled record, paired with its declaring response the same\n // way the fold pairs them: a settled belongs to the most recent\n // ModelResponseRecorded of its Run. A bound inside (response, settled)\n // would orphan the tool message from its declaring response. Orphaned\n // settleds (filtered later by the fold) still contribute spans —\n // over-invalidating is the fail-safe direction.\n if (\n preparedMetadata !== undefined &&\n (preparedMetadata.ownerRunId !== ownerRunId || preparedMetadata.seed !== seed)\n )\n return yield* journalError(\"Prepared journal metadata belongs to another replay\");\n\n let metadata = preparedMetadata;\n\n if (metadata === undefined) {\n const collected = makeJournalMetadata(ownerRunId, seed);\n\n yield* Stream.runForEach(records, (envelope) => Effect.sync(() => collected.add(envelope)));\n metadata = collected.snapshot();\n }\n\n const {\n firstSequenceByRun,\n lastResponseSequenceByRun,\n terminalSequenceByRun,\n settledSpans,\n settledToolCallRecordIds,\n settledById,\n compactions,\n } = metadata;\n\n const settledCoverage = compactions.reduce(\n (through, { payload }) =>\n payload.kind !== \"summarize\" ? Math.max(through, payload.coversThrough) : through,\n 0,\n );\n\n // Terminality changes only prompt coverage; it never settles or resolves the Tool Call.\n // Compare against the compaction's Run and sequence, independent of the replay's owner.\n const isTerminalPriorRun = (\n candidateRunId: RunId,\n compactionRunId: RunId | undefined,\n beforeSequence: number,\n ): boolean => {\n const terminal = terminalSequenceByRun.get(candidateRunId);\n\n return (\n candidateRunId !== compactionRunId &&\n terminal !== undefined &&\n terminal < beforeSequence &&\n terminal > (lastResponseSequenceByRun.get(candidateRunId) ?? 0)\n );\n };\n\n const incompleteResponseSequences: Array<{ readonly sequence: number; readonly runId: RunId }> =\n [];\n\n let ownerPrefixSequence = seed?.firstSequence ?? Number.POSITIVE_INFINITY;\n\n let protectedContext: Prompt.Prompt | undefined =\n seed?.protectedContext === undefined\n ? undefined\n : yield* decodePromptMessages(seed.protectedContext);\n\n if (settledCoverage > 0) {\n yield* Stream.runForEach(records, (envelope) =>\n Effect.gen(function* () {\n const payload = envelope.record.payload;\n\n if (payload._tag !== \"ModelResponseRecorded\" || envelope.sequence > settledCoverage) return;\n const messages = yield* decodePromptMessages(payload.messages);\n const declared = declaredApplicationToolCallIds(messages);\n\n for (const id of declared) {\n const callId = yield* Schema.decodeEffect(ToolCallId)(id).pipe(\n Effect.mapError((cause) =>\n journalError(\"Failed to decode a declared Tool Call ID\", cause),\n ),\n );\n\n if (\n !settledToolCallRecordIds.has(\n toolCallSettledRecordId(payload.runId, payload.turn, callId),\n )\n ) {\n incompleteResponseSequences.push({ sequence: envelope.sequence, runId: payload.runId });\n break;\n }\n }\n if (\n payload.runId === ownerRunId &&\n payload.turn === 1 &&\n payload.runScopedPrefixLength !== undefined\n ) {\n ownerPrefixSequence = envelope.sequence;\n protectedContext = Prompt.fromMessages(\n messages.content.slice(0, payload.runScopedPrefixLength),\n );\n }\n }),\n );\n }\n\n const boundIsValid = (payload: CompactionCreated, ownSequence: number): boolean => {\n const { runId, coversThrough } = payload;\n\n if (coversThrough <= 0 || coversThrough >= ownSequence) return false;\n if (seed !== undefined && ownSequence === seed.compaction.sequence)\n return (\n seed.compaction.record.payload._tag === \"CompactionCreated\" &&\n Schema.toEquivalence(CompactionCreated)(payload, seed.compaction.record.payload)\n );\n const ownerFirst = firstSequenceByRun.get(runId);\n\n if (payload.kind === \"summarize\" && ownerFirst !== undefined && coversThrough >= ownerFirst)\n return false;\n if (\n payload.kind !== \"summarize\" &&\n incompleteResponseSequences.some(\n (response) =>\n response.sequence <= coversThrough &&\n !isTerminalPriorRun(response.runId, runId, ownSequence),\n )\n )\n return false;\n for (const span of settledSpans) {\n if (span.from <= coversThrough && coversThrough < span.to) return false;\n }\n\n return true;\n };\n\n let summarizeBound = 0;\n let replacement: CompactionCreated | undefined;\n let summarizeSequence = -1;\n let clearBound = 0;\n let latestWindowId: string | undefined = seed?.contextWindowId;\n let latestWindowSequence = seed?.throughSequence ?? -1;\n let rolloverCoveredThrough = 0;\n\n for (const { payload, sequence } of compactions) {\n if (!boundIsValid(payload, sequence)) continue;\n if (payload.kind === \"rollover\" && sequence > latestWindowSequence) {\n latestWindowId = contextWindowId(payload.runId, payload.turn);\n latestWindowSequence = sequence;\n }\n if (payload.kind === \"rollover\")\n rolloverCoveredThrough = Math.max(rolloverCoveredThrough, payload.coversThrough);\n if (payload.kind === \"summarize\" || payload.kind === \"rollover\") {\n if (payload.kind === \"summarize\" && payload.summary === undefined) continue;\n if (\n payload.coversThrough > summarizeBound ||\n (payload.coversThrough === summarizeBound && sequence > summarizeSequence)\n ) {\n summarizeBound = payload.coversThrough;\n summarizeSequence = sequence;\n replacement = payload;\n }\n } else if (payload.coversThrough > clearBound) {\n clearBound = payload.coversThrough;\n }\n }\n let summaryEmitted = false;\n\n const retainedPrefix =\n replacement?.kind === \"rollover\" &&\n replacement.runId === ownerRunId &&\n ownerPrefixSequence <= summarizeBound\n ? (protectedContext?.content ?? [])\n : [];\n\n const replacementLength = replacement === undefined ? 0 : retainedPrefix.length + 1;\n\n if (seed?.frontier !== undefined)\n onBoundary?.({ ...seed.frontier, promptLength: replacementLength });\n\n const emitSummary = () => {\n if (summaryEmitted || replacement === undefined) return;\n summaryEmitted = true;\n\n const message =\n replacement.kind === \"rollover\"\n ? contextWindowMessage(\n contextWindowId(replacement.runId, replacement.turn),\n replacement.handoff,\n )\n : Prompt.makeMessage(\"user\", {\n content: [\n Prompt.makePart(\"text\", {\n text: `${COMPACTION_SUMMARY_PREFIX}${replacement.summary}`,\n }),\n ],\n });\n\n state.all.push(...retainedPrefix, message);\n if (replacement.kind !== \"rollover\" || replacement.runId !== ownerRunId)\n state.before.push(message);\n };\n\n const modelUsage: Array<ModelCallUsage> = [];\n let unobservedModelCalls = seed?.unobservedModelCalls ?? 0;\n\n const usage = {\n modelCalls: seed?.modelCalls ?? 0,\n inputTokens: seed?.inputTokens ?? 0,\n outputTokens: seed?.outputTokens ?? 0,\n lastInputTokens: seed?.lastInputTokens ?? 0,\n lastOutputTokens: seed?.lastOutputTokens ?? 0,\n costMicrousd: seed?.costMicrousd ?? 0,\n modelUsage,\n ...(seed === undefined ? {} : { summarizedModelUsage: seed.summarizedModelUsage }),\n };\n\n let toolSelection = seed?.toolSelection;\n let usageTurn = seed?.committedTurns ?? 0;\n\n const incompleteToolTurns = new Set<string>();\n const incompleteToolCalls = new Set<string>();\n let pendingContextToolCallId: string | undefined;\n let ownerTerminated = false;\n\n const policyUsage = {\n committedTurns: seed?.policyUsage.committedTurns ?? 0,\n toolCalls: seed?.policyUsage.toolCalls ?? 0,\n programmaticToolCalls: seed?.policyUsage.programmaticToolCalls ?? 0,\n consecutiveToolFailures: seed?.policyUsage.consecutiveToolFailures ?? 0,\n finalizationUsed: seed?.policyUsage.finalizationUsed ?? false,\n };\n\n const accountResponse = Effect.fn(\"RunJournal.accountResponse\")(function* (\n envelope: CanonicalRecordEnvelope,\n payload: ModelResponseRecorded,\n messages: Prompt.Prompt,\n ) {\n const record = envelope.record;\n\n const declared = declaredApplicationToolCallIds(messages);\n const declaredRecordIds: Array<RecordId> = [];\n\n for (const id of declared) {\n const toolCallId = yield* Effect.try({\n try: () => decodeToolCallId(id),\n catch: (cause) => journalError(\"Failed to decode a declared Tool Call ID\", cause),\n });\n\n declaredRecordIds.push(toolCallSettledRecordId(payload.runId, payload.turn, toolCallId));\n }\n if (declaredRecordIds.some((recordId) => !settledToolCallRecordIds.has(recordId))) {\n incompleteToolTurns.add(envelope.record.recordId);\n for (const recordId of declaredRecordIds) incompleteToolCalls.add(recordId);\n }\n if (payload.runId !== ownerRunId) return;\n if (seed !== undefined && envelope.sequence <= seed.throughSequence) return;\n if (payload.turn === 1 && payload.runScopedPrefixLength !== undefined) {\n protectedContext = Prompt.fromMessages(\n messages.content.slice(0, payload.runScopedPrefixLength),\n );\n }\n\n const responseUsage = yield* projectedResponseUsage(payload);\n\n unobservedModelCalls = yield* addProjectedUsage(\n \"unobservedModelCalls\",\n unobservedModelCalls,\n payload.unobservedModelCalls ?? 0,\n );\n\n usage.modelCalls = yield* addProjectedUsage(\n \"modelCalls\",\n usage.modelCalls,\n responseUsage.modelCalls,\n );\n usage.inputTokens = yield* addProjectedUsage(\n \"inputTokens\",\n usage.inputTokens,\n responseUsage.inputTokens,\n );\n usage.outputTokens = yield* addProjectedUsage(\n \"outputTokens\",\n usage.outputTokens,\n responseUsage.outputTokens,\n );\n usage.costMicrousd = yield* addProjectedUsage(\n \"costMicrousd\",\n usage.costMicrousd,\n responseUsage.costMicrousd,\n );\n usage.modelUsage.push(...responseUsage.modelUsage);\n if (payload.turn > usageTurn) {\n usageTurn = payload.turn;\n usage.lastInputTokens = responseUsage.inputTokens;\n usage.lastOutputTokens = responseUsage.outputTokens;\n }\n\n policyUsage.committedTurns = Math.max(policyUsage.committedTurns, payload.turn);\n\n const calls = messages.content.flatMap((message) =>\n message.role === \"assistant\"\n ? message.content.filter((part) => part.type === \"tool-call\")\n : [],\n );\n\n const candidate = calls.length === 1 ? calls[0] : undefined;\n\n const candidateResult =\n candidate === undefined\n ? undefined\n : settledById.get(`tool-settled:${ownerRunId}:${payload.turn}:${candidate.id}`);\n\n pendingContextToolCallId =\n candidate !== undefined &&\n !candidate.providerExecuted &&\n candidateResult?.isFailure === false &&\n candidateResult.budgetRejected !== true &&\n envelope.sequence > rolloverCoveredThrough\n ? candidate.id\n : undefined;\n\n policyUsage.toolCalls += calls.length;\n if (payload.toolExposure !== undefined) toolSelection = payload.toolExposure.selection;\n if (incompleteToolTurns.has(record.recordId)) return;\n for (const call of calls) {\n const result = call.providerExecuted\n ? messages.content\n .flatMap((message) => (message.role === \"assistant\" ? message.content : []))\n .find(\n (part) => part.type === \"tool-result\" && part.providerExecuted && part.id === call.id,\n )\n : settledById.get(`tool-settled:${ownerRunId}:${payload.turn}:${call.id}`);\n\n if (result === undefined || (\"budgetRejected\" in result && result.budgetRejected === true))\n continue;\n if (!(\"isFailure\" in result)) continue;\n if (!result.isFailure && \"toolSelection\" in result && result.toolSelection !== undefined)\n toolSelection = result.toolSelection;\n policyUsage.consecutiveToolFailures = result.isFailure\n ? policyUsage.consecutiveToolFailures + 1\n : 0;\n }\n });\n\n // Slots refer to the retained Prompt itself, not an additional history payload index.\n // Only still-unseen results retain a slot; late results fill the original declaration in place.\n const historicalResults = new Map<\n string,\n {\n readonly allIndex: number;\n readonly beforeIndex: number;\n readonly parts: Array<Prompt.ToolResultPart>;\n readonly partIndex: number;\n }\n >();\n\n let pendingToolOrder = new Map<string, number>();\n\n const flushTools = Effect.fn(\"RunJournal.flushTools\")(function* (\n current: FoldState,\n ): Effect.fn.Return<FoldState, RunJournalError> {\n if (current.pendingTools.length === 0) return current;\n\n // Suspension can persist an ordinary sibling before a delegated call joins. Model context\n // still uses declaration order, matching the live interpreter's completed results batch.\n const ordered = current.pendingTools.toSorted(\n (left, right) =>\n (pendingToolOrder.get(left.record.toolCallId) ?? Number.MAX_SAFE_INTEGER) -\n (pendingToolOrder.get(right.record.toolCallId) ?? Number.MAX_SAFE_INTEGER),\n );\n\n const toolMessage = yield* toolMessageFromSettled(ordered);\n\n current.all.push(toolMessage);\n if (!current.pendingToolsForRun) current.before.push(toolMessage);\n\n return {\n ...current,\n pendingTools: [],\n pendingToolsForRun: false,\n };\n });\n\n yield* Stream.runForEach(records, (envelope) =>\n Effect.gen(function* () {\n const payload = envelope.record.payload;\n\n if (\n ((payload._tag === \"RunCompleted\" || payload._tag === \"RunFailed\") &&\n payload.runId === ownerRunId) ||\n (payload._tag === \"SubmissionSettled\" &&\n runIdForSubmission(payload.submissionId) === ownerRunId)\n )\n ownerTerminated = true;\n\n if (payload._tag === \"RunPolicyUsageReserved\" && payload.runId === ownerRunId) {\n if (seed !== undefined && envelope.sequence <= seed.throughSequence) return;\n if (\n payload.programmaticToolCalls < policyUsage.programmaticToolCalls ||\n (policyUsage.finalizationUsed && !payload.finalizationUsed)\n ) {\n return yield* journalError(\"Run policy reservations must be monotonic\");\n }\n policyUsage.programmaticToolCalls = payload.programmaticToolCalls;\n policyUsage.finalizationUsed = payload.finalizationUsed;\n }\n if (PROMPT_TRANSPARENT_TAGS.has(payload._tag)) return;\n // The compaction record governs the fold (pre-scan) and contributes no\n // message of its own; records at or below the summarize bound render as\n // the one summary message emitted at the covered/kept transition.\n if (payload._tag === \"CompactionCreated\") return;\n if (\n seed !== undefined &&\n envelope.sequence <= seed.throughSequence &&\n (payload._tag === \"ModelResponseRecorded\" || payload._tag === \"ToolCallSettled\")\n )\n return;\n if (envelope.sequence <= summarizeBound) {\n // Projecting an earlier Run after a later summary still accounts for its covered responses.\n if (payload._tag === \"ModelResponseRecorded\" && payload.runId === ownerRunId) {\n const messages = yield* decodePromptMessages(payload.messages);\n\n yield* accountResponse(envelope, payload, messages);\n state = { ...state, committedTurns: Math.max(state.committedTurns, payload.turn) };\n }\n if (payload._tag === \"ModelResponseRecorded\" || payload._tag === \"ToolCallSettled\") {\n onBoundary?.({\n sequence: envelope.sequence,\n tag: payload._tag,\n promptLength: replacementLength,\n ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)\n ? { terminalPriorRun: true }\n : {}),\n ...(incompleteToolTurns.has(envelope.record.recordId) ||\n incompleteToolCalls.has(envelope.record.recordId)\n ? { incomplete: true }\n : {}),\n });\n }\n\n return;\n }\n emitSummary();\n if (payload._tag === \"ToolCallSettled\") {\n if (payload.runId !== ownerRunId) {\n const slot = historicalResults.get(envelope.record.recordId);\n\n if (slot === undefined)\n return yield* journalError(\"Historical Tool result has no matching declaration\");\n const declared = slot.parts[slot.partIndex];\n\n if (declared?.id !== payload.toolCallId || declared.name !== payload.toolName)\n return yield* journalError(\"Historical Tool result differs from its declaration\");\n slot.parts[slot.partIndex] = Prompt.makePart(\"tool-result\", {\n id: payload.toolCallId,\n name: payload.toolName,\n result: envelope.sequence <= clearBound ? CLEARED_TOOL_RESULT : payload.result,\n isFailure: payload.isFailure,\n providerExecuted: false,\n });\n const message = Prompt.makeMessage(\"tool\", { content: [...slot.parts] });\n\n state.all[slot.allIndex] = message;\n state.before[slot.beforeIndex] = message;\n historicalResults.delete(envelope.record.recordId);\n onBoundary?.({\n sequence: envelope.sequence,\n tag: payload._tag,\n promptLength: state.all.length,\n ...(incompleteToolCalls.has(envelope.record.recordId) ? { incomplete: true } : {}),\n ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)\n ? { terminalPriorRun: true }\n : {}),\n });\n\n return;\n }\n if (\n state.pendingTools.length > 0 &&\n state.pendingToolsForRun !== (payload.runId === ownerRunId)\n ) {\n state = yield* flushTools(state);\n }\n state.pendingTools.push({ record: payload, cleared: envelope.sequence <= clearBound });\n state = {\n ...state,\n pendingToolsForRun: payload.runId === ownerRunId,\n };\n onBoundary?.({\n sequence: envelope.sequence,\n tag: payload._tag,\n promptLength: state.all.length + 1,\n ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)\n ? { terminalPriorRun: true }\n : {}),\n ...(incompleteToolCalls.has(envelope.record.recordId) ? { incomplete: true } : {}),\n });\n\n return;\n }\n state = yield* flushTools(state);\n if (payload._tag === \"ModelCompleted\" && payload.messages !== undefined) {\n const messages = yield* decodePromptMessages(payload.messages);\n\n for (const message of messages.content) {\n state.all.push(message);\n if (payload.runId !== ownerRunId) state.before.push(message);\n }\n\n return;\n }\n if (payload._tag !== \"ModelResponseRecorded\") return;\n const messages = yield* decodePromptMessages(payload.messages);\n const forRun = payload.runId === ownerRunId;\n\n pendingToolOrder = new Map(\n declaredApplicationToolCallIds(messages).map((id, index) => [id, index]),\n );\n\n yield* accountResponse(envelope, payload, messages);\n\n const visibleMessages = forRun\n ? messages.content\n : messages.content.filter((message) => message.role !== \"system\");\n\n for (const message of visibleMessages) {\n state.all.push(message);\n if (!forRun) state.before.push(message);\n }\n if (!forRun) {\n const calls = messages.content.flatMap((message) =>\n message.role === \"assistant\"\n ? message.content.filter(\n (part): part is Prompt.ToolCallPart =>\n part.type === \"tool-call\" && !part.providerExecuted,\n )\n : [],\n );\n\n if (calls.length > 0) {\n const parts = calls.map((call) =>\n Prompt.makePart(\"tool-result\", {\n id: call.id,\n name: call.name,\n result: {\n _tag: \"ToolOutcomeUnknown\",\n message:\n \"This earlier operation has no recorded outcome. It may have executed. Do not assume success or retry it; its original operation remains unresolved.\",\n },\n isFailure: true,\n providerExecuted: false,\n }),\n );\n\n const allIndex = state.all.length;\n const beforeIndex = state.before.length;\n const message = Prompt.makeMessage(\"tool\", { content: parts });\n\n state.all.push(message);\n state.before.push(message);\n for (const [partIndex, call] of calls.entries()) {\n const callId = yield* Schema.decodeEffect(ToolCallId)(call.id).pipe(\n Effect.mapError((cause) => journalError(\"Invalid historical Tool Call ID\", cause)),\n );\n\n historicalResults.set(toolCallSettledRecordId(payload.runId, payload.turn, callId), {\n allIndex,\n beforeIndex,\n parts,\n partIndex,\n });\n }\n }\n }\n state = {\n ...state,\n committedTurns: forRun\n ? Math.max(state.committedTurns, payload.turn)\n : state.committedTurns,\n };\n onBoundary?.({\n sequence: envelope.sequence,\n tag: payload._tag,\n promptLength: state.all.length,\n ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)\n ? { terminalPriorRun: true }\n : {}),\n ...(incompleteToolTurns.has(envelope.record.recordId) ? { incomplete: true } : {}),\n });\n }),\n );\n emitSummary();\n state = yield* flushTools(state);\n\n const validatedPolicyUsage = yield* Schema.decodeEffect(RunPolicyUsage)(policyUsage).pipe(\n Effect.mapError((cause) =>\n journalError(\"Run policy accounting exceeds its Schema bounds\", cause),\n ),\n );\n\n return {\n ...(toolSelection === undefined ? {} : { toolSelection }),\n policyUsage: validatedPolicyUsage,\n prompt: Prompt.fromMessages(state.all),\n historyBefore: Prompt.fromMessages(state.before),\n committedTurns: state.committedTurns,\n usage: unobservedModelCalls === 0 ? usage : { ...usage, unobservedModelCalls },\n ...(latestWindowId === undefined ? {} : { contextWindowId: latestWindowId }),\n ...(protectedContext === undefined ? {} : { protectedContext }),\n ...(ownerTerminated || pendingContextToolCallId === undefined\n ? {}\n : { pendingContextToolCallId }),\n };\n});\n\n/** Pure projection of one Run's durable recovery state from canonical records. */\nexport const projectRunJournal = Effect.fn(\"RunJournal.projectRunJournal\")(\n (\n records: ReadonlyArray<CanonicalRecordEnvelope>,\n runId: RunId,\n ): Effect.Effect<RunJournalProjection, RunJournalError> =>\n projectRunJournalStream(Stream.fromIterable(records), runId),\n);\n\n/**\n * Pure valid-prompt projection from canonical records: `UserInputRecorded` +\n * `ModelResponseRecorded` + complete `ToolCallSettled` batches → the deterministic model-visible\n * Prompt (plan §Coordinator flow step 3).\n */\nexport const promptFromCanonicalRecords = Effect.fn(\"RunJournal.promptFromCanonicalRecords\")(\n (\n records: ReadonlyArray<CanonicalRecordEnvelope>,\n ): Effect.Effect<Prompt.Prompt, RunJournalError> =>\n projectRunJournalStream(Stream.fromIterable(records), undefined).pipe(\n Effect.map((projection) => projection.prompt),\n ),\n);\n\n/** Everything one committed Turn contributes to its canonical batch. */\n/**\n * Staged usage is validated, never repaired: clamping negatives or truncating\n * fractions would under-record canonical usage, and NaN/Infinity must fail\n * typed instead of escaping as a record-construction defect (RUN-023).\n */\nconst validStagedUsage = (label: string, value: number): Effect.Effect<number, RunJournalError> =>\n Number.isSafeInteger(value) && value >= 0\n ? Effect.succeed(value)\n : Effect.fail(\n journalError(`Staged ${label} must be a non-negative safe integer, got ${String(value)}`),\n );\n\nexport interface TurnCommitInput {\n readonly toolOperations?: ModelResponseRecorded[\"toolOperations\"] | undefined;\n readonly toolParameterRejections?: ReadonlyArray<ToolParameterRejection> | undefined;\n readonly toolExposure?: Snapshot | undefined;\n readonly toolSelections?: ReadonlyMap<string, Selection> | undefined;\n readonly budgetRejectedCalls?: ReadonlySet<string>;\n readonly runId: RunId;\n /** Canonical (Run-relative, Attempt-independent) Turn number; must be positive. */\n readonly turn: number;\n readonly turnId: TurnId;\n /**\n * The Prompt messages this Turn appended to official history, in order, including the Turn's\n * Tool message when application Tools ran. Tool messages become `ToolCallSettled` records; the\n * remaining messages become the Turn's `ModelResponseRecorded.messages`.\n */\n readonly appended: ReadonlyArray<Prompt.Message>;\n readonly producerId: ProducerId;\n readonly deploymentId: DeploymentId;\n readonly createdAt: DateTime.Utc;\n /** Leading instruction/wake messages that stay canonical but are hidden from later Runs. */\n readonly runScopedPrefixLength?: number | undefined;\n /** Terminal output committed atomically with this Turn's final canonical batch. */\n readonly runCompletion?:\n | {\n readonly output: PersistedJson;\n readonly runDisposition?: PersistedJson | undefined;\n readonly finishReason?: \"budget-exhausted\" | undefined;\n readonly exhausted?: ExhaustedLimit | undefined;\n }\n | undefined;\n /** Known missing-accounting invocations staged before this canonical response. */\n readonly unobservedModelCalls?: number | undefined;\n /** Per-call provider usage staged by the engine's `noteTurnUsage` (RUN-023). */\n readonly usage?:\n | {\n readonly inputTokens: number;\n readonly outputTokens: number;\n readonly costMicrousd?: number | undefined;\n readonly modelUsage?: ReadonlyArray<ModelCallUsage> | undefined;\n }\n | undefined;\n}\n\nconst decodePersistedJson = Schema.decodeUnknownEffect(PersistedJson);\nconst encodePrompt = Schema.encodeEffect(Prompt.Prompt);\nconst decodeModelUsage = Schema.decodeUnknownEffect(Schema.Array(ModelCallUsage));\n\nconst requireCanonicalTurn = (turn: number): Effect.Effect<void, RunJournalError> =>\n !Number.isInteger(turn) || turn <= 0\n ? Effect.fail(journalError(`Canonical turn number must be a positive integer: ${turn}`))\n : Effect.void;\n\ninterface SplitTurnMessages {\n readonly promptMessages: ReadonlyArray<Prompt.Message>;\n readonly toolParts: ReadonlyArray<Prompt.ToolResultPart>;\n}\n\nconst splitTurnMessages = (appended: ReadonlyArray<Prompt.Message>): SplitTurnMessages => {\n const promptMessages: Array<Prompt.Message> = [];\n const toolParts: Array<Prompt.ToolResultPart> = [];\n\n for (const message of appended) {\n if (message.role !== \"tool\") {\n promptMessages.push(message);\n continue;\n }\n for (const part of message.content) {\n if (part.type !== \"tool-result\") continue;\n toolParts.push(part);\n }\n }\n\n return { promptMessages, toolParts };\n};\n\nconst modelResponseRecord = Effect.fn(\"RunJournal.modelResponseRecord\")(function* (\n input: TurnCommitInput,\n promptMessages: ReadonlyArray<Prompt.Message>,\n): Effect.fn.Return<RecordEnvelope, RunJournalError | DigestError, Crypto.Crypto> {\n if (promptMessages.length === 0) {\n return yield* journalError(`Turn ${input.turn} appended no model-visible Prompt messages`);\n }\n const runScopedPrefixLength = input.runScopedPrefixLength;\n\n if (\n runScopedPrefixLength !== undefined &&\n (input.turn !== 1 ||\n !Number.isSafeInteger(runScopedPrefixLength) ||\n runScopedPrefixLength <= 0 ||\n runScopedPrefixLength >= promptMessages.length ||\n promptMessages\n .slice(0, runScopedPrefixLength)\n .some((message) => message.role !== \"system\" && message.role !== \"user\"))\n ) {\n return yield* journalError(\n \"Run-scoped Prompt provenance must identify a non-empty system/user prefix of Turn 1 before its assistant response\",\n );\n }\n\n const encodedMessages = yield* encodePrompt(Prompt.fromMessages([...promptMessages])).pipe(\n Effect.mapError((cause) => journalError(\"Turn Prompt messages failed to encode\", cause)),\n );\n\n const messages = yield* decodePersistedJson(encodedMessages).pipe(\n Effect.mapError((cause) =>\n journalError(\"Turn Prompt messages exceed canonical persistence bounds\", cause),\n ),\n );\n\n const messagesDigest = yield* digestJson(messages);\n\n const modelUsage =\n input.usage?.modelUsage === undefined\n ? undefined\n : yield* decodeModelUsage(input.usage.modelUsage).pipe(\n Effect.mapError((cause) => journalError(\"Turn model usage failed to decode\", cause)),\n );\n\n if (modelUsage !== undefined) {\n if (modelUsage.length === 0) {\n return yield* journalError(\"Turn model usage must contain at least one completed call\");\n }\n\n const summary = yield* summarizeModelUsage(modelUsage).pipe(\n Effect.mapError((cause) => journalError(\"Turn model usage exceeds accounting bounds\", cause)),\n );\n\n if (\n input.usage === undefined ||\n input.usage.inputTokens !== summary.inputTokens.total ||\n input.usage.outputTokens !== summary.outputTokens.total ||\n (input.usage.costMicrousd ?? 0) !== summary.costMicrousd\n ) {\n return yield* journalError(\"Turn detailed and aggregate model usage disagree\");\n }\n }\n\n return RecordEnvelope.make({\n recordId: modelResponseRecordId(input.runId, input.turn),\n family: \"thread\",\n schemaVersion: 1,\n createdAt: input.createdAt,\n deploymentId: input.deploymentId,\n payload: ModelResponseRecorded.make({\n ...(input.toolOperations === undefined ? {} : { toolOperations: input.toolOperations }),\n ...(input.toolParameterRejections === undefined || input.toolParameterRejections.length === 0\n ? {}\n : { toolParameterRejections: input.toolParameterRejections }),\n ...(input.toolExposure === undefined ? {} : { toolExposure: input.toolExposure }),\n runId: input.runId,\n turnId: input.turnId,\n turn: input.turn,\n messages,\n messagesDigest,\n ...(runScopedPrefixLength === undefined ? {} : { runScopedPrefixLength }),\n ...(modelUsage === undefined ? {} : { modelUsage }),\n ...(input.unobservedModelCalls === undefined || input.unobservedModelCalls === 0\n ? {}\n : {\n unobservedModelCalls: yield* validStagedUsage(\n \"unobservedModelCalls\",\n input.unobservedModelCalls,\n ),\n }),\n ...(input.usage === undefined\n ? {}\n : {\n inputTokens: yield* validStagedUsage(\"inputTokens\", input.usage.inputTokens),\n outputTokens: yield* validStagedUsage(\"outputTokens\", input.usage.outputTokens),\n // Written only when non-zero: absent re-seeds as zero, so the\n // no-estimator case stays byte-identical to pre-cost histories.\n ...(input.usage.costMicrousd === undefined || input.usage.costMicrousd === 0\n ? {}\n : {\n costMicrousd: yield* validStagedUsage(\"costMicrousd\", input.usage.costMicrousd),\n }),\n }),\n }),\n });\n});\n\nconst toolSettledRecords = Effect.fn(\"RunJournal.toolSettledRecords\")(function* (\n input: TurnCommitInput,\n toolParts: ReadonlyArray<Prompt.ToolResultPart>,\n): Effect.fn.Return<Array<RecordEnvelope>, RunJournalError> {\n const toolRecords: Array<RecordEnvelope> = [];\n\n for (const part of toolParts) {\n const result = yield* decodePersistedJson(part.result).pipe(\n Effect.mapError((cause) =>\n journalError(`Tool result ${part.id} exceeds canonical persistence bounds`, cause),\n ),\n );\n\n const toolCallId = yield* Effect.try({\n try: () => decodeToolCallId(part.id),\n catch: (cause) => journalError(`Invalid Tool Call ID ${part.id}`, cause),\n });\n\n toolRecords.push(\n RecordEnvelope.make({\n recordId: toolCallSettledRecordId(input.runId, input.turn, toolCallId),\n family: \"thread\",\n schemaVersion: 1,\n createdAt: input.createdAt,\n deploymentId: input.deploymentId,\n payload: ToolCallSettled.make({\n ...(input.toolSelections?.get(part.id) === undefined\n ? {}\n : { toolSelection: input.toolSelections.get(part.id) }),\n runId: input.runId,\n toolCallId,\n toolName: part.name,\n result,\n isFailure: part.isFailure,\n ...(input.budgetRejectedCalls?.has(part.id) === true ? { budgetRejected: true } : {}),\n }),\n }),\n );\n }\n\n return toolRecords;\n});\n\n/** Integrity of the original validated terminal values; never a current-code projection. */\nexport const runCompletionDigest = (\n completion: Pick<\n RunCompleted,\n \"runId\" | \"output\" | \"runDisposition\" | \"finishReason\" | \"exhausted\"\n >,\n) =>\n digestJson({\n runId: completion.runId,\n output: completion.output,\n runDisposition: completion.runDisposition ?? null,\n finishReason: completion.finishReason ?? null,\n exhausted: completion.exhausted ?? null,\n });\n\nconst runCompletionRecord = Effect.fn(\"RunJournal.runCompletionRecord\")(function* (\n input: TurnCommitInput,\n) {\n if (input.runCompletion === undefined) return undefined;\n const completion = { runId: input.runId, ...input.runCompletion };\n\n return RecordEnvelope.make({\n recordId: runCompletedRecordId(input.runId),\n family: \"thread\",\n schemaVersion: 1,\n createdAt: input.createdAt,\n deploymentId: input.deploymentId,\n payload: RunCompleted.make({\n ...completion,\n resultDigest: yield* runCompletionDigest(completion),\n }),\n });\n});\n\n/**\n * Pure per-Turn canonical batch builder (TurnCompleted seam fold, D6/D8): one\n * `ModelResponseRecorded` record plus one `ToolCallSettled` record per terminal Tool result, all\n * under the WP0-style deterministic identities, committed as ONE atomic batch. The same input\n * always yields byte-identical content, so an in-Attempt append retry is an honest batch replay.\n *\n * Phase 5 keeps this shape for Turns that declare no application Tool calls; their terminal\n * `RunCompleted` marker joins the response in this same atomic batch. Tool-declaring Turns split\n * into `turnResponseBatch` + `turnResultsBatch`.\n */\nexport const turnCanonicalBatch = Effect.fn(\"RunJournal.turnCanonicalBatch\")(function* (\n input: TurnCommitInput,\n): Effect.fn.Return<CanonicalBatch, RunJournalError | DigestError, Crypto.Crypto> {\n yield* requireCanonicalTurn(input.turn);\n const { promptMessages, toolParts } = splitTurnMessages(input.appended);\n const modelResponse = yield* modelResponseRecord(input, promptMessages);\n const toolRecords = yield* toolSettledRecords(input, toolParts);\n const completionRecord = yield* runCompletionRecord(input);\n\n return CanonicalBatch.make({\n batchId: turnBatchId(input.runId, input.turn),\n producerId: input.producerId,\n records:\n completionRecord === undefined\n ? [modelResponse, ...toolRecords]\n : [modelResponse, ...toolRecords, completionRecord],\n });\n});\n\n/**\n * Commit 1 of a tool-declaring Turn: the Turn's `ModelResponseRecorded` record, including\n * provider results retained in assistant content before application Tools execute.\n * — pending steering plus the assistant response with its declared tool calls — under batch\n * identity `turn-response:{runId}:{turn}`. Committing the response before preparation creates\n * the provably-safe durability §15 window (\"after model item commit, before tool preparation →\n * resume tool scheduling\"): a crash there resumes the declared batch with no model re-invocation\n * and no Unknown. Tool messages in `appended` are ignored; the record identity is the same\n * `model-response:{runId}:{turn}` as the single-batch shape, so record-id assertions and the\n * prompt projection are unchanged.\n */\nexport const turnResponseBatch = Effect.fn(\"RunJournal.turnResponseBatch\")(function* (\n input: TurnCommitInput,\n): Effect.fn.Return<CanonicalBatch, RunJournalError | DigestError, Crypto.Crypto> {\n yield* requireCanonicalTurn(input.turn);\n const { promptMessages } = splitTurnMessages(input.appended);\n const modelResponse = yield* modelResponseRecord(input, promptMessages);\n\n return CanonicalBatch.make({\n batchId: turnResponseBatchId(input.runId, input.turn),\n producerId: input.producerId,\n records: [modelResponse],\n });\n});\n\n/**\n * Commit 5 of a tool-declaring Turn (plan §2.1): the Turn's `ToolCallSettled` records in\n * declaration order under batch identity `turn-results:{runId}:{turn}` — the batch becomes\n * model-visible atomically. Non-tool messages in `appended` are ignored; a Turn without any\n * terminal Tool result has no results batch and fails typed.\n */\nexport const turnResultsBatch = Effect.fn(\"RunJournal.turnResultsBatch\")(function* (\n input: TurnCommitInput,\n): Effect.fn.Return<CanonicalBatch, RunJournalError | DigestError, Crypto.Crypto> {\n yield* requireCanonicalTurn(input.turn);\n const { toolParts } = splitTurnMessages(input.appended);\n const toolRecords = yield* toolSettledRecords(input, toolParts);\n const first = toolRecords[0];\n\n if (first === undefined) {\n return yield* journalError(`Turn ${input.turn} has no terminal Tool results to commit`);\n }\n if (input.runCompletion !== undefined && toolRecords.length !== 1) {\n return yield* journalError(\"A terminal Tool completion requires exactly one settled result\");\n }\n const completionRecord = yield* runCompletionRecord(input);\n\n return CanonicalBatch.make({\n batchId: turnResultsBatchId(input.runId, input.turn),\n producerId: input.producerId,\n records:\n completionRecord === undefined\n ? [first, ...toolRecords.slice(1)]\n : [first, ...toolRecords.slice(1), completionRecord],\n });\n});\n"],"mappings":";;;;;;;;;;;;;;;;AAgCA,MAAa,uBACX,YACA,SACG;CACH,MAAM,qCAAqB,IAAI,IAAoB;CAEnD,IAAI,MAAM,kBAAkB,KAAA,GAAW,mBAAmB,IAAI,KAAK,OAAO,KAAK,aAAa;CAC5F,MAAM,4CAA4B,IAAI,IAAoB;CAC1D,MAAM,wCAAwB,IAAI,IAAoB;CACtD,MAAM,eAAsE,CAAC;CAC7E,MAAM,2CAA2B,IAAI,IAAY;CAEjD,MAAM,8BAAc,IAAI,IAGtB;CAEF,MAAM,cAAyF,CAAC;CAEhG,OAAO;EACL,MAAM,aAA4C;GAChD,MAAM,UAAU,SAAS,OAAO;GAEhC,KACG,QAAQ,SAAS,kBAChB,QAAQ,SAAS,eACjB,QAAQ,SAAS,wBACnB,QAAQ,UAAU,KAAA,KAClB,CAAC,sBAAsB,IAAI,QAAQ,KAAK,GAExC,sBAAsB,IAAI,QAAQ,OAAO,SAAS,QAAQ;GAC5D,IAAI,QAAQ,SAAS,qBAAqB;IACxC,YAAY,KAAK;KAAE;KAAS,UAAU,SAAS;IAAS,CAAC;IAEzD;GACF;GACA,IACE,WAAW,WACX,OAAO,QAAQ,UAAU,YACzB,CAAC,mBAAmB,IAAI,QAAQ,KAAK,GAErC,mBAAmB,IAAI,QAAQ,OAAO,SAAS,QAAQ;GACzD,IAAI,QAAQ,SAAS,yBACnB,0BAA0B,IAAI,QAAQ,OAAO,SAAS,QAAQ;QACzD,IAAI,QAAQ,SAAS,mBAAmB;IAC7C,yBAAyB,IAAI,SAAS,OAAO,QAAQ;IACrD,IAAI,QAAQ,UAAU,YACpB,YAAY,IAAI,SAAS,OAAO,UAAU;KACxC,WAAW,QAAQ;KACnB,GAAI,QAAQ,kBAAkB,KAAA,IAC1B,CAAC,IACD,EAAE,eAAe,QAAQ,cAAc;KAC3C,GAAI,QAAQ,mBAAmB,KAAA,IAC3B,CAAC,IACD,EAAE,gBAAgB,QAAQ,eAAe;IAC/C,CAAC;IACH,MAAM,OAAO,0BAA0B,IAAI,QAAQ,KAAK;IAExD,IAAI,SAAS,KAAA,KAAa,OAAO,SAAS,UACxC,aAAa,KAAK;KAAE;KAAM,IAAI,SAAS;IAAS,CAAC;GACrD;EACF;EACA,iBAAkC;GAChC;GACA;GACA,oBAAoB,IAAI,IAAI,kBAAkB;GAC9C,2BAA2B,IAAI,IAAI,yBAAyB;GAC5D,uBAAuB,IAAI,IAAI,qBAAqB;GACpD,cAAc,CAAC,GAAG,YAAY;GAC9B,0BAA0B,IAAI,IAAI,wBAAwB;GAC1D,aAAa,IAAI,IAAI,WAAW;GAChC,aAAa,CAAC,GAAG,WAAW;EAC9B;CACF;AACF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ACrEA,IAAa,kBAAb,cAAqC,OAAO,YAA6B,CAAC,CAAC,mBAAmB;CAC5F,SAAS,OAAO;CAChB,OAAO,OAAO,YAAY,OAAO,OAAO,CAAC;AAC3C,CAAC,CAAC,CAAC,CAAC;AAEJ,MAAM,gBAAgB,SAAiB,UACrC,UAAU,KAAA,IACN,gBAAgB,KAAK,EAAE,QAAQ,CAAC,IAChC,gBAAgB,KAAK;CAAE;CAAS;AAAM,CAAC;AAE7C,MAAM,cAAc,OAAO,WAAW,KAAK;AAC3C,MAAM,eAAe,OAAO,WAAW,MAAM;AAC7C,MAAM,gBAAgB,OAAO,WAAW,OAAO;AAC/C,MAAM,iBAAiB,OAAO,WAAW,QAAQ;;;;;;AAOjD,MAAa,sBAAsB,iBACjC,YAAY,OAAO,cAAc;;AAGnC,MAAa,sBAAsB,UAA2B,eAAe,aAAa,OAAO;AAEjG,MAAa,qBAAqB,UAA0B,cAAc,aAAa,OAAO;AAE9F,MAAa,uBAAuB,UAClC,eAAe,gBAAgB,OAAO;AAExC,MAAa,sBAAsB,UAA0B,cAAc,gBAAgB,OAAO;;AAGlG,MAAa,gBAAgB,OAAc,SACzC,aAAa,QAAQ,MAAM,GAAG,MAAM;;AAGtC,MAAa,eAAe,OAAc,SACxC,cAAc,QAAQ,MAAM,GAAG,MAAM;;;;;;AAOvC,MAAa,uBAAuB,OAAc,SAChD,cAAc,iBAAiB,MAAM,GAAG,MAAM;;;;;AAMhD,MAAa,sBAAsB,OAAc,SAC/C,cAAc,gBAAgB,MAAM,GAAG,MAAM;;;;;;AAO/C,MAAa,yBACX,OACA,MACA,eACY,cAAc,gBAAgB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAGzE,MAAa,uBAAuB,OAAc,SAChD,cAAc,iBAAiB,MAAM,GAAG,MAAM;;;;;;;;AAShD,MAAa,sBACX,OACA,MACA,SACa,eAAe,cAAc,MAAM,GAAG,KAAK,GAAG,MAAM;;AAGnE,MAAa,qBACX,OACA,MACA,SACY,cAAc,cAAc,MAAM,GAAG,KAAK,GAAG,MAAM;;AAGjE,MAAa,yBAAyB,OAAc,SAClD,eAAe,kBAAkB,MAAM,GAAG,MAAM;;AAGlD,MAAa,wBAAwB,UACnC,eAAe,iBAAiB,OAAO;;AAGzC,MAAa,uBAAuB,cAClC,eAAe,gBAAgB,WAAW;;AAG5C,MAAa,4BAA4B,WACvC,eAAe,gBAAgB,OAAO,UAAU;AAElD,MAAa,wBAAwB,aACnC,eAAe,iBAAiB,UAAU;AAE5C,MAAa,wBAAwB,cACnC,eAAe,iBAAiB,WAAW;AAE7C,MAAa,uBAAuB,cAClC,eAAe,SAAS;;AAG1B,MAAa,sBAAsB,OAAO,GAAG,gCAAgC,CAAC,CAAC,WAC7E,UACA,OACA,UACA;CACA,OAAO,eAAe,gBAAgB,OAAO,WAAW;EAAC;EAAU;EAAO;CAAQ,CAAC,GAAG;AACxF,CAAC;;AAGD,MAAa,2BACX,OACA,MACA,eACa,eAAe,gBAAgB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAG3E,MAAa,4BACX,OACA,MACA,eACa,eAAe,iBAAiB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAG5E,MAAa,sBAAsB,cAA4B,SAC7D,cAAc,gBAAgB,aAAa,GAAG,MAAM;;AAGtD,MAAa,2BACX,OACA,MACA,eACa,eAAe,gBAAgB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAG3E,MAAa,6BACX,cACA,eACY,cAAc,WAAW,aAAa,GAAG,YAAY;;AAGnE,MAAa,4BACX,OACA,MACA,eACa,eAAe,iBAAiB,MAAM,GAAG,KAAK,GAAG,YAAY;;;;;;;;AAS5E,MAAa,2BACX,OACA,YACA,aACa,eAAe,KAAK,UAAU;CAAC;CAAU;CAAO;CAAY;AAAQ,CAAC,CAAC;;AAGrF,MAAa,0BACX,OACA,YACA,aACY,cAAc,wBAAwB,OAAO,YAAY,QAAQ,CAAC;;AAGhF,MAAa,wBAAwB,OAAc,SACjD,cAAc,kBAAkB,MAAM,GAAG,MAAM;;AAGjD,MAAa,+BACX,OACA,MACA,eACa,eAAe,oBAAoB,MAAM,GAAG,KAAK,GAAG,YAAY;;AAG/E,MAAa,2BACX,cACA,eACY,cAAc,qBAAqB,aAAa,GAAG,YAAY;;AAG7E,MAAa,gCACX,OACA,MACA,eACa,eAAe,qBAAqB,MAAM,GAAG,KAAK,GAAG,YAAY;;;;;;AAOhF,MAAa,oCAAoC,OAAc,oBAC7D,eAAe,eAAe,MAAM,GAAG,iBAAiB;;AAG1D,MAAa,mCAAmC,OAAc,oBAC5D,cAAc,eAAe,MAAM,GAAG,iBAAiB;AAEzD,MAAM,iBAAiB,OAAO,WAAW,QAAQ;AACjD,MAAM,uBAAuB,OAAO,WAAW,cAAc;;;;;;AAO7D,MAAa,6BAA6B,OAAc,eACtD,eAAe,sBAAsB,MAAM,GAAG,YAAY;;AAG5D,MAAa,4BAA4B,OAAc,eACrD,cAAc,sBAAsB,MAAM,GAAG,YAAY;;;;;;AAO3D,MAAa,2BAA2B,OAAc,eACpD,eAAe,oBAAoB,MAAM,GAAG,YAAY;;AAG1D,MAAa,0BAA0B,OAAc,eACnD,cAAc,oBAAoB,MAAM,GAAG,YAAY;;;;;;AAOzD,MAAa,uBAAuB,OAAc,eAChD,cAAc,iBAAiB,MAAM,GAAG,YAAY;;AAGtD,MAAa,0BAA0B,OAAc,eACnD,eAAe,mBAAmB,MAAM,GAAG,YAAY;;;;;;AAOzD,MAAa,2BAA2B,aACtC,eAAe,oBAAoB,UAAU;;AAG/C,MAAa,0BAA0B,aACrC,cAAc,oBAAoB,UAAU;;;;;;AAO9C,MAAa,oBACX,oBACA,eACa,eAAe,YAAY,mBAAmB,GAAG,YAAY;;;;;;;AAQ5E,MAAa,0BACX,aACA,eACmB,qBAAqB,YAAY,YAAY,GAAG,YAAY;AAEjF,MAAM,uBAAuB,OAAO,GAAG,iCAAiC,CAAC,EACtE,aACC,OAAO,oBAAoB,OAAO,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,KAClD,OAAO,UAAU,UACf,aAAa,6DAA6D,KAAK,CACjF,CACF,CACJ;AAQA,MAAM,yBAAyB,OAAO,GAAG,mCAAmC,CAAC,EAC1E,YACC,OAAO,IAAI;CACT,WACE,OAAO,YAAY,QAAQ,EACzB,SAAS,QAAQ,KAAK,EAAE,QAAQ,cAC9B,OAAO,SAAS,eAAe;EAC7B,IAAI,OAAO;EACX,MAAM,OAAO;EACb,QAAQ,UAAU,sBAAsB,OAAO;EAC/C,WAAW,OAAO;EAClB,kBAAkB;CACpB,CAAC,CACH,EACF,CAAC;CACH,QAAQ,UAAU,aAAa,uDAAuD,KAAK;AAC7F,CAAC,CACL;AA+DA,MAAM,0BACJ,aAEA,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,SAAS;CAEvB,IAAI,UAAU,KAAA,GACZ,OAAO;EACL,YAAY;EACZ,aAAa,SAAS,eAAe;EACrC,cAAc,SAAS,gBAAgB;EACvC,cAAc,SAAS,gBAAgB;EACvC,YAAY,CAAC;CACf;CAEF,IAAI,MAAM,WAAW,GACnB,OAAO,OAAO,aAAa,+CAA+C;CAG5E,MAAM,UAAU,OAAO,oBAAoB,KAAK,CAAC,CAAC,KAChD,OAAO,UAAU,UACf,aAAa,mDAAmD,KAAK,CACvE,CACF;CAEA,IACG,SAAS,gBAAgB,KAAA,KAAa,SAAS,gBAAgB,QAAQ,YAAY,SACnF,SAAS,iBAAiB,KAAA,KACzB,SAAS,iBAAiB,QAAQ,aAAa,SAChD,SAAS,iBAAiB,KAAA,KAAa,SAAS,iBAAiB,QAAQ,cAE1E,OAAO,OAAO,aAAa,uDAAuD;CAGpF,OAAO;EACL,YAAY,QAAQ;EACpB,aAAa,QAAQ,YAAY;EACjC,cAAc,QAAQ,aAAa;EACnC,cAAc,QAAQ;EACtB,YAAY;CACd;AACF,CAAC;AAEH,MAAM,qBACJ,OACA,MACA,UAEA,OAAO,aAAa,OAAO,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAChD,OAAO,UAAU,UACf,aAAa,4DAA4D,SAAS,KAAK,CACzF,CACF;AAUF,MAAM,mBAAmB,OAAO,WAAW,UAAU;AAErD,MAAM,kCAAkC,WAAiD;CACvF,MAAM,MAAqB,CAAC;CAE5B,KAAK,MAAM,WAAW,OAAO,SAAS;EACpC,IAAI,QAAQ,SAAS,aAAa;EAClC,KAAK,MAAM,QAAQ,QAAQ,SACzB,IAAI,KAAK,SAAS,eAAe,CAAC,KAAK,kBAAkB,IAAI,KAAK,KAAK,EAAE;CAE7E;CAEA,OAAO;AACT;;;;;;;;;;;;;AAcA,MAAM,0CAA+C,IAAI,IAAI;CAC3D;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;;;;;;;;;;;AAwCD,MAAa,0BAA0B,OAAO,GAAG,oCAAoC,CAAC,CAAC,WAIrF,SACA,YACA,YACA,MACA,kBACgE;CAChE,IAAI,SAAS,KAAA,KAAa,KAAK,UAAU,YACvC,OAAO,OAAO,aAAa,4CAA4C;CAEzE,IAAI,QAAmB;EACrB,KAAK,CAAC;EACN,QAAQ,CAAC;EACT,cAAc,CAAC;EACf,oBAAoB;EACpB,gBAAgB,MAAM,kBAAkB;CAC1C;CAeA,IACE,qBAAqB,KAAA,MACpB,iBAAiB,eAAe,cAAc,iBAAiB,SAAS,OAEzE,OAAO,OAAO,aAAa,qDAAqD;CAElF,IAAI,WAAW;CAEf,IAAI,aAAa,KAAA,GAAW;EAC1B,MAAM,YAAY,oBAAoB,YAAY,IAAI;EAEtD,OAAO,OAAO,WAAW,UAAU,aAAa,OAAO,WAAW,UAAU,IAAI,QAAQ,CAAC,CAAC;EAC1F,WAAW,UAAU,SAAS;CAChC;CAEA,MAAM,EACJ,oBACA,2BACA,uBACA,cACA,0BACA,aACA,gBACE;CAEJ,MAAM,kBAAkB,YAAY,QACjC,SAAS,EAAE,cACV,QAAQ,SAAS,cAAc,KAAK,IAAI,SAAS,QAAQ,aAAa,IAAI,SAC5E,CACF;CAIA,MAAM,sBACJ,gBACA,iBACA,mBACY;EACZ,MAAM,WAAW,sBAAsB,IAAI,cAAc;EAEzD,OACE,mBAAmB,mBACnB,aAAa,KAAA,KACb,WAAW,kBACX,YAAY,0BAA0B,IAAI,cAAc,KAAK;CAEjE;CAEA,MAAM,8BACJ,CAAC;CAEH,IAAI,sBAAsB,MAAM,iBAAiB,OAAO;CAExD,IAAI,mBACF,MAAM,qBAAqB,KAAA,IACvB,KAAA,IACA,OAAO,qBAAqB,KAAK,gBAAgB;CAEvD,IAAI,kBAAkB,GACpB,OAAO,OAAO,WAAW,UAAU,aACjC,OAAO,IAAI,aAAa;EACtB,MAAM,UAAU,SAAS,OAAO;EAEhC,IAAI,QAAQ,SAAS,2BAA2B,SAAS,WAAW,iBAAiB;EACrF,MAAM,WAAW,OAAO,qBAAqB,QAAQ,QAAQ;EAC7D,MAAM,WAAW,+BAA+B,QAAQ;EAExD,KAAK,MAAM,MAAM,UAAU;GACzB,MAAM,SAAS,OAAO,OAAO,aAAa,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACxD,OAAO,UAAU,UACf,aAAa,4CAA4C,KAAK,CAChE,CACF;GAEA,IACE,CAAC,yBAAyB,IACxB,wBAAwB,QAAQ,OAAO,QAAQ,MAAM,MAAM,CAC7D,GACA;IACA,4BAA4B,KAAK;KAAE,UAAU,SAAS;KAAU,OAAO,QAAQ;IAAM,CAAC;IACtF;GACF;EACF;EACA,IACE,QAAQ,UAAU,cAClB,QAAQ,SAAS,KACjB,QAAQ,0BAA0B,KAAA,GAClC;GACA,sBAAsB,SAAS;GAC/B,mBAAmB,OAAO,aACxB,SAAS,QAAQ,MAAM,GAAG,QAAQ,qBAAqB,CACzD;EACF;CACF,CAAC,CACH;CAGF,MAAM,gBAAgB,SAA4B,gBAAiC;EACjF,MAAM,EAAE,OAAO,kBAAkB;EAEjC,IAAI,iBAAiB,KAAK,iBAAiB,aAAa,OAAO;EAC/D,IAAI,SAAS,KAAA,KAAa,gBAAgB,KAAK,WAAW,UACxD,OACE,KAAK,WAAW,OAAO,QAAQ,SAAS,uBACxC,OAAO,cAAc,iBAAiB,CAAC,CAAC,SAAS,KAAK,WAAW,OAAO,OAAO;EAEnF,MAAM,aAAa,mBAAmB,IAAI,KAAK;EAE/C,IAAI,QAAQ,SAAS,eAAe,eAAe,KAAA,KAAa,iBAAiB,YAC/E,OAAO;EACT,IACE,QAAQ,SAAS,eACjB,4BAA4B,MACzB,aACC,SAAS,YAAY,iBACrB,CAAC,mBAAmB,SAAS,OAAO,OAAO,WAAW,CAC1D,GAEA,OAAO;EACT,KAAK,MAAM,QAAQ,cACjB,IAAI,KAAK,QAAQ,iBAAiB,gBAAgB,KAAK,IAAI,OAAO;EAGpE,OAAO;CACT;CAEA,IAAI,iBAAiB;CACrB,IAAI;CACJ,IAAI,oBAAoB;CACxB,IAAI,aAAa;CACjB,IAAI,iBAAqC,MAAM;CAC/C,IAAI,uBAAuB,MAAM,mBAAmB;CACpD,IAAI,yBAAyB;CAE7B,KAAK,MAAM,EAAE,SAAS,cAAc,aAAa;EAC/C,IAAI,CAAC,aAAa,SAAS,QAAQ,GAAG;EACtC,IAAI,QAAQ,SAAS,cAAc,WAAW,sBAAsB;GAClE,iBAAiB,gBAAgB,QAAQ,OAAO,QAAQ,IAAI;GAC5D,uBAAuB;EACzB;EACA,IAAI,QAAQ,SAAS,YACnB,yBAAyB,KAAK,IAAI,wBAAwB,QAAQ,aAAa;EACjF,IAAI,QAAQ,SAAS,eAAe,QAAQ,SAAS,YAAY;GAC/D,IAAI,QAAQ,SAAS,eAAe,QAAQ,YAAY,KAAA,GAAW;GACnE,IACE,QAAQ,gBAAgB,kBACvB,QAAQ,kBAAkB,kBAAkB,WAAW,mBACxD;IACA,iBAAiB,QAAQ;IACzB,oBAAoB;IACpB,cAAc;GAChB;EACF,OAAO,IAAI,QAAQ,gBAAgB,YACjC,aAAa,QAAQ;CAEzB;CACA,IAAI,iBAAiB;CAErB,MAAM,iBACJ,aAAa,SAAS,cACtB,YAAY,UAAU,cACtB,uBAAuB,iBAClB,kBAAkB,WAAW,CAAC,IAC/B,CAAC;CAEP,MAAM,oBAAoB,gBAAgB,KAAA,IAAY,IAAI,eAAe,SAAS;CAElF,IAAI,MAAM,aAAa,KAAA,GACrB,aAAa;EAAE,GAAG,KAAK;EAAU,cAAc;CAAkB,CAAC;CAEpE,MAAM,oBAAoB;EACxB,IAAI,kBAAkB,gBAAgB,KAAA,GAAW;EACjD,iBAAiB;EAEjB,MAAM,UACJ,YAAY,SAAS,aACjB,qBACE,gBAAgB,YAAY,OAAO,YAAY,IAAI,GACnD,YAAY,OACd,IACA,OAAO,YAAY,QAAQ,EACzB,SAAS,CACP,OAAO,SAAS,QAAQ,EACtB,MAAM,GAAG,4BAA4B,YAAY,UACnD,CAAC,CACH,EACF,CAAC;EAEP,MAAM,IAAI,KAAK,GAAG,gBAAgB,OAAO;EACzC,IAAI,YAAY,SAAS,cAAc,YAAY,UAAU,YAC3D,MAAM,OAAO,KAAK,OAAO;CAC7B;CAEA,MAAM,aAAoC,CAAC;CAC3C,IAAI,uBAAuB,MAAM,wBAAwB;CAEzD,MAAM,QAAQ;EACZ,YAAY,MAAM,cAAc;EAChC,aAAa,MAAM,eAAe;EAClC,cAAc,MAAM,gBAAgB;EACpC,iBAAiB,MAAM,mBAAmB;EAC1C,kBAAkB,MAAM,oBAAoB;EAC5C,cAAc,MAAM,gBAAgB;EACpC;EACA,GAAI,SAAS,KAAA,IAAY,CAAC,IAAI,EAAE,sBAAsB,KAAK,qBAAqB;CAClF;CAEA,IAAI,gBAAgB,MAAM;CAC1B,IAAI,YAAY,MAAM,kBAAkB;CAExC,MAAM,sCAAsB,IAAI,IAAY;CAC5C,MAAM,sCAAsB,IAAI,IAAY;CAC5C,IAAI;CACJ,IAAI,kBAAkB;CAEtB,MAAM,cAAc;EAClB,gBAAgB,MAAM,YAAY,kBAAkB;EACpD,WAAW,MAAM,YAAY,aAAa;EAC1C,uBAAuB,MAAM,YAAY,yBAAyB;EAClE,yBAAyB,MAAM,YAAY,2BAA2B;EACtE,kBAAkB,MAAM,YAAY,oBAAoB;CAC1D;CAEA,MAAM,kBAAkB,OAAO,GAAG,4BAA4B,CAAC,CAAC,WAC9D,UACA,SACA,UACA;EACA,MAAM,SAAS,SAAS;EAExB,MAAM,WAAW,+BAA+B,QAAQ;EACxD,MAAM,oBAAqC,CAAC;EAE5C,KAAK,MAAM,MAAM,UAAU;GACzB,MAAM,aAAa,OAAO,OAAO,IAAI;IACnC,WAAW,iBAAiB,EAAE;IAC9B,QAAQ,UAAU,aAAa,4CAA4C,KAAK;GAClF,CAAC;GAED,kBAAkB,KAAK,wBAAwB,QAAQ,OAAO,QAAQ,MAAM,UAAU,CAAC;EACzF;EACA,IAAI,kBAAkB,MAAM,aAAa,CAAC,yBAAyB,IAAI,QAAQ,CAAC,GAAG;GACjF,oBAAoB,IAAI,SAAS,OAAO,QAAQ;GAChD,KAAK,MAAM,YAAY,mBAAmB,oBAAoB,IAAI,QAAQ;EAC5E;EACA,IAAI,QAAQ,UAAU,YAAY;EAClC,IAAI,SAAS,KAAA,KAAa,SAAS,YAAY,KAAK,iBAAiB;EACrE,IAAI,QAAQ,SAAS,KAAK,QAAQ,0BAA0B,KAAA,GAC1D,mBAAmB,OAAO,aACxB,SAAS,QAAQ,MAAM,GAAG,QAAQ,qBAAqB,CACzD;EAGF,MAAM,gBAAgB,OAAO,uBAAuB,OAAO;EAE3D,uBAAuB,OAAO,kBAC5B,wBACA,sBACA,QAAQ,wBAAwB,CAClC;EAEA,MAAM,aAAa,OAAO,kBACxB,cACA,MAAM,YACN,cAAc,UAChB;EACA,MAAM,cAAc,OAAO,kBACzB,eACA,MAAM,aACN,cAAc,WAChB;EACA,MAAM,eAAe,OAAO,kBAC1B,gBACA,MAAM,cACN,cAAc,YAChB;EACA,MAAM,eAAe,OAAO,kBAC1B,gBACA,MAAM,cACN,cAAc,YAChB;EACA,MAAM,WAAW,KAAK,GAAG,cAAc,UAAU;EACjD,IAAI,QAAQ,OAAO,WAAW;GAC5B,YAAY,QAAQ;GACpB,MAAM,kBAAkB,cAAc;GACtC,MAAM,mBAAmB,cAAc;EACzC;EAEA,YAAY,iBAAiB,KAAK,IAAI,YAAY,gBAAgB,QAAQ,IAAI;EAE9E,MAAM,QAAQ,SAAS,QAAQ,SAAS,YACtC,QAAQ,SAAS,cACb,QAAQ,QAAQ,QAAQ,SAAS,KAAK,SAAS,WAAW,IAC1D,CAAC,CACP;EAEA,MAAM,YAAY,MAAM,WAAW,IAAI,MAAM,KAAK,KAAA;EAElD,MAAM,kBACJ,cAAc,KAAA,IACV,KAAA,IACA,YAAY,IAAI,gBAAgB,WAAW,GAAG,QAAQ,KAAK,GAAG,UAAU,IAAI;EAElF,2BACE,cAAc,KAAA,KACd,CAAC,UAAU,oBACX,iBAAiB,cAAc,SAC/B,gBAAgB,mBAAmB,QACnC,SAAS,WAAW,yBAChB,UAAU,KACV,KAAA;EAEN,YAAY,aAAa,MAAM;EAC/B,IAAI,QAAQ,iBAAiB,KAAA,GAAW,gBAAgB,QAAQ,aAAa;EAC7E,IAAI,oBAAoB,IAAI,OAAO,QAAQ,GAAG;EAC9C,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,KAAK,mBAChB,SAAS,QACN,SAAS,YAAa,QAAQ,SAAS,cAAc,QAAQ,UAAU,CAAC,CAAE,CAAC,CAC3E,MACE,SAAS,KAAK,SAAS,iBAAiB,KAAK,oBAAoB,KAAK,OAAO,KAAK,EACrF,IACF,YAAY,IAAI,gBAAgB,WAAW,GAAG,QAAQ,KAAK,GAAG,KAAK,IAAI;GAE3E,IAAI,WAAW,KAAA,KAAc,oBAAoB,UAAU,OAAO,mBAAmB,MACnF;GACF,IAAI,EAAE,eAAe,SAAS;GAC9B,IAAI,CAAC,OAAO,aAAa,mBAAmB,UAAU,OAAO,kBAAkB,KAAA,GAC7E,gBAAgB,OAAO;GACzB,YAAY,0BAA0B,OAAO,YACzC,YAAY,0BAA0B,IACtC;EACN;CACF,CAAC;CAID,MAAM,oCAAoB,IAAI,IAQ5B;CAEF,IAAI,mCAAmB,IAAI,IAAoB;CAE/C,MAAM,aAAa,OAAO,GAAG,uBAAuB,CAAC,CAAC,WACpD,SAC8C;EAC9C,IAAI,QAAQ,aAAa,WAAW,GAAG,OAAO;EAI9C,MAAM,UAAU,QAAQ,aAAa,UAClC,MAAM,WACJ,iBAAiB,IAAI,KAAK,OAAO,UAAU,KAAK,OAAO,qBACvD,iBAAiB,IAAI,MAAM,OAAO,UAAU,KAAK,OAAO,iBAC7D;EAEA,MAAM,cAAc,OAAO,uBAAuB,OAAO;EAEzD,QAAQ,IAAI,KAAK,WAAW;EAC5B,IAAI,CAAC,QAAQ,oBAAoB,QAAQ,OAAO,KAAK,WAAW;EAEhE,OAAO;GACL,GAAG;GACH,cAAc,CAAC;GACf,oBAAoB;EACtB;CACF,CAAC;CAED,OAAO,OAAO,WAAW,UAAU,aACjC,OAAO,IAAI,aAAa;EACtB,MAAM,UAAU,SAAS,OAAO;EAEhC,KACI,QAAQ,SAAS,kBAAkB,QAAQ,SAAS,gBACpD,QAAQ,UAAU,cACnB,QAAQ,SAAS,uBAChB,mBAAmB,QAAQ,YAAY,MAAM,YAE/C,kBAAkB;EAEpB,IAAI,QAAQ,SAAS,4BAA4B,QAAQ,UAAU,YAAY;GAC7E,IAAI,SAAS,KAAA,KAAa,SAAS,YAAY,KAAK,iBAAiB;GACrE,IACE,QAAQ,wBAAwB,YAAY,yBAC3C,YAAY,oBAAoB,CAAC,QAAQ,kBAE1C,OAAO,OAAO,aAAa,2CAA2C;GAExE,YAAY,wBAAwB,QAAQ;GAC5C,YAAY,mBAAmB,QAAQ;EACzC;EACA,IAAI,wBAAwB,IAAI,QAAQ,IAAI,GAAG;EAI/C,IAAI,QAAQ,SAAS,qBAAqB;EAC1C,IACE,SAAS,KAAA,KACT,SAAS,YAAY,KAAK,oBACzB,QAAQ,SAAS,2BAA2B,QAAQ,SAAS,oBAE9D;EACF,IAAI,SAAS,YAAY,gBAAgB;GAEvC,IAAI,QAAQ,SAAS,2BAA2B,QAAQ,UAAU,YAAY;IAC5E,MAAM,WAAW,OAAO,qBAAqB,QAAQ,QAAQ;IAE7D,OAAO,gBAAgB,UAAU,SAAS,QAAQ;IAClD,QAAQ;KAAE,GAAG;KAAO,gBAAgB,KAAK,IAAI,MAAM,gBAAgB,QAAQ,IAAI;IAAE;GACnF;GACA,IAAI,QAAQ,SAAS,2BAA2B,QAAQ,SAAS,mBAC/D,aAAa;IACX,UAAU,SAAS;IACnB,KAAK,QAAQ;IACb,cAAc;IACd,GAAI,mBAAmB,QAAQ,OAAO,YAAY,OAAO,iBAAiB,IACtE,EAAE,kBAAkB,KAAK,IACzB,CAAC;IACL,GAAI,oBAAoB,IAAI,SAAS,OAAO,QAAQ,KACpD,oBAAoB,IAAI,SAAS,OAAO,QAAQ,IAC5C,EAAE,YAAY,KAAK,IACnB,CAAC;GACP,CAAC;GAGH;EACF;EACA,YAAY;EACZ,IAAI,QAAQ,SAAS,mBAAmB;GACtC,IAAI,QAAQ,UAAU,YAAY;IAChC,MAAM,OAAO,kBAAkB,IAAI,SAAS,OAAO,QAAQ;IAE3D,IAAI,SAAS,KAAA,GACX,OAAO,OAAO,aAAa,oDAAoD;IACjF,MAAM,WAAW,KAAK,MAAM,KAAK;IAEjC,IAAI,UAAU,OAAO,QAAQ,cAAc,SAAS,SAAS,QAAQ,UACnE,OAAO,OAAO,aAAa,qDAAqD;IAClF,KAAK,MAAM,KAAK,aAAa,OAAO,SAAS,eAAe;KAC1D,IAAI,QAAQ;KACZ,MAAM,QAAQ;KACd,QAAQ,SAAS,YAAY,aAAa,sBAAsB,QAAQ;KACxE,WAAW,QAAQ;KACnB,kBAAkB;IACpB,CAAC;IACD,MAAM,UAAU,OAAO,YAAY,QAAQ,EAAE,SAAS,CAAC,GAAG,KAAK,KAAK,EAAE,CAAC;IAEvE,MAAM,IAAI,KAAK,YAAY;IAC3B,MAAM,OAAO,KAAK,eAAe;IACjC,kBAAkB,OAAO,SAAS,OAAO,QAAQ;IACjD,aAAa;KACX,UAAU,SAAS;KACnB,KAAK,QAAQ;KACb,cAAc,MAAM,IAAI;KACxB,GAAI,oBAAoB,IAAI,SAAS,OAAO,QAAQ,IAAI,EAAE,YAAY,KAAK,IAAI,CAAC;KAChF,GAAI,mBAAmB,QAAQ,OAAO,YAAY,OAAO,iBAAiB,IACtE,EAAE,kBAAkB,KAAK,IACzB,CAAC;IACP,CAAC;IAED;GACF;GACA,IACE,MAAM,aAAa,SAAS,KAC5B,MAAM,wBAAwB,QAAQ,UAAU,aAEhD,QAAQ,OAAO,WAAW,KAAK;GAEjC,MAAM,aAAa,KAAK;IAAE,QAAQ;IAAS,SAAS,SAAS,YAAY;GAAW,CAAC;GACrF,QAAQ;IACN,GAAG;IACH,oBAAoB,QAAQ,UAAU;GACxC;GACA,aAAa;IACX,UAAU,SAAS;IACnB,KAAK,QAAQ;IACb,cAAc,MAAM,IAAI,SAAS;IACjC,GAAI,mBAAmB,QAAQ,OAAO,YAAY,OAAO,iBAAiB,IACtE,EAAE,kBAAkB,KAAK,IACzB,CAAC;IACL,GAAI,oBAAoB,IAAI,SAAS,OAAO,QAAQ,IAAI,EAAE,YAAY,KAAK,IAAI,CAAC;GAClF,CAAC;GAED;EACF;EACA,QAAQ,OAAO,WAAW,KAAK;EAC/B,IAAI,QAAQ,SAAS,oBAAoB,QAAQ,aAAa,KAAA,GAAW;GACvE,MAAM,WAAW,OAAO,qBAAqB,QAAQ,QAAQ;GAE7D,KAAK,MAAM,WAAW,SAAS,SAAS;IACtC,MAAM,IAAI,KAAK,OAAO;IACtB,IAAI,QAAQ,UAAU,YAAY,MAAM,OAAO,KAAK,OAAO;GAC7D;GAEA;EACF;EACA,IAAI,QAAQ,SAAS,yBAAyB;EAC9C,MAAM,WAAW,OAAO,qBAAqB,QAAQ,QAAQ;EAC7D,MAAM,SAAS,QAAQ,UAAU;EAEjC,mBAAmB,IAAI,IACrB,+BAA+B,QAAQ,CAAC,CAAC,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,CACzE;EAEA,OAAO,gBAAgB,UAAU,SAAS,QAAQ;EAElD,MAAM,kBAAkB,SACpB,SAAS,UACT,SAAS,QAAQ,QAAQ,YAAY,QAAQ,SAAS,QAAQ;EAElE,KAAK,MAAM,WAAW,iBAAiB;GACrC,MAAM,IAAI,KAAK,OAAO;GACtB,IAAI,CAAC,QAAQ,MAAM,OAAO,KAAK,OAAO;EACxC;EACA,IAAI,CAAC,QAAQ;GACX,MAAM,QAAQ,SAAS,QAAQ,SAAS,YACtC,QAAQ,SAAS,cACb,QAAQ,QAAQ,QACb,SACC,KAAK,SAAS,eAAe,CAAC,KAAK,gBACvC,IACA,CAAC,CACP;GAEA,IAAI,MAAM,SAAS,GAAG;IACpB,MAAM,QAAQ,MAAM,KAAK,SACvB,OAAO,SAAS,eAAe;KAC7B,IAAI,KAAK;KACT,MAAM,KAAK;KACX,QAAQ;MACN,MAAM;MACN,SACE;KACJ;KACA,WAAW;KACX,kBAAkB;IACpB,CAAC,CACH;IAEA,MAAM,WAAW,MAAM,IAAI;IAC3B,MAAM,cAAc,MAAM,OAAO;IACjC,MAAM,UAAU,OAAO,YAAY,QAAQ,EAAE,SAAS,MAAM,CAAC;IAE7D,MAAM,IAAI,KAAK,OAAO;IACtB,MAAM,OAAO,KAAK,OAAO;IACzB,KAAK,MAAM,CAAC,WAAW,SAAS,MAAM,QAAQ,GAAG;KAC/C,MAAM,SAAS,OAAO,OAAO,aAAa,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAC7D,OAAO,UAAU,UAAU,aAAa,mCAAmC,KAAK,CAAC,CACnF;KAEA,kBAAkB,IAAI,wBAAwB,QAAQ,OAAO,QAAQ,MAAM,MAAM,GAAG;MAClF;MACA;MACA;MACA;KACF,CAAC;IACH;GACF;EACF;EACA,QAAQ;GACN,GAAG;GACH,gBAAgB,SACZ,KAAK,IAAI,MAAM,gBAAgB,QAAQ,IAAI,IAC3C,MAAM;EACZ;EACA,aAAa;GACX,UAAU,SAAS;GACnB,KAAK,QAAQ;GACb,cAAc,MAAM,IAAI;GACxB,GAAI,mBAAmB,QAAQ,OAAO,YAAY,OAAO,iBAAiB,IACtE,EAAE,kBAAkB,KAAK,IACzB,CAAC;GACL,GAAI,oBAAoB,IAAI,SAAS,OAAO,QAAQ,IAAI,EAAE,YAAY,KAAK,IAAI,CAAC;EAClF,CAAC;CACH,CAAC,CACH;CACA,YAAY;CACZ,QAAQ,OAAO,WAAW,KAAK;CAE/B,MAAM,uBAAuB,OAAO,OAAO,aAAa,cAAc,CAAC,CAAC,WAAW,CAAC,CAAC,KACnF,OAAO,UAAU,UACf,aAAa,mDAAmD,KAAK,CACvE,CACF;CAEA,OAAO;EACL,GAAI,kBAAkB,KAAA,IAAY,CAAC,IAAI,EAAE,cAAc;EACvD,aAAa;EACb,QAAQ,OAAO,aAAa,MAAM,GAAG;EACrC,eAAe,OAAO,aAAa,MAAM,MAAM;EAC/C,gBAAgB,MAAM;EACtB,OAAO,yBAAyB,IAAI,QAAQ;GAAE,GAAG;GAAO;EAAqB;EAC7E,GAAI,mBAAmB,KAAA,IAAY,CAAC,IAAI,EAAE,iBAAiB,eAAe;EAC1E,GAAI,qBAAqB,KAAA,IAAY,CAAC,IAAI,EAAE,iBAAiB;EAC7D,GAAI,mBAAmB,6BAA6B,KAAA,IAChD,CAAC,IACD,EAAE,yBAAyB;CACjC;AACF,CAAC;;AAGD,MAAa,oBAAoB,OAAO,GAAG,8BAA8B,CAAC,EAEtE,SACA,UAEA,wBAAwB,OAAO,aAAa,OAAO,GAAG,KAAK,CAC/D;;;;;;AAOA,MAAa,6BAA6B,OAAO,GAAG,uCAAuC,CAAC,EAExF,YAEA,wBAAwB,OAAO,aAAa,OAAO,GAAG,KAAA,CAAS,CAAC,CAAC,KAC/D,OAAO,KAAK,eAAe,WAAW,MAAM,CAC9C,CACJ;;;;;;;AAQA,MAAM,oBAAoB,OAAe,UACvC,OAAO,cAAc,KAAK,KAAK,SAAS,IACpC,OAAO,QAAQ,KAAK,IACpB,OAAO,KACL,aAAa,UAAU,MAAM,4CAA4C,OAAO,KAAK,GAAG,CAC1F;AA6CN,MAAM,sBAAsB,OAAO,oBAAoB,aAAa;AACpE,MAAM,eAAe,OAAO,aAAa,OAAO,MAAM;AACtD,MAAM,mBAAmB,OAAO,oBAAoB,OAAO,MAAM,cAAc,CAAC;AAEhF,MAAM,wBAAwB,SAC5B,CAAC,OAAO,UAAU,IAAI,KAAK,QAAQ,IAC/B,OAAO,KAAK,aAAa,qDAAqD,MAAM,CAAC,IACrF,OAAO;AAOb,MAAM,qBAAqB,aAA+D;CACxF,MAAM,iBAAwC,CAAC;CAC/C,MAAM,YAA0C,CAAC;CAEjD,KAAK,MAAM,WAAW,UAAU;EAC9B,IAAI,QAAQ,SAAS,QAAQ;GAC3B,eAAe,KAAK,OAAO;GAC3B;EACF;EACA,KAAK,MAAM,QAAQ,QAAQ,SAAS;GAClC,IAAI,KAAK,SAAS,eAAe;GACjC,UAAU,KAAK,IAAI;EACrB;CACF;CAEA,OAAO;EAAE;EAAgB;CAAU;AACrC;AAEA,MAAM,sBAAsB,OAAO,GAAG,gCAAgC,CAAC,CAAC,WACtE,OACA,gBACgF;CAChF,IAAI,eAAe,WAAW,GAC5B,OAAO,OAAO,aAAa,QAAQ,MAAM,KAAK,2CAA2C;CAE3F,MAAM,wBAAwB,MAAM;CAEpC,IACE,0BAA0B,KAAA,MACzB,MAAM,SAAS,KACd,CAAC,OAAO,cAAc,qBAAqB,KAC3C,yBAAyB,KACzB,yBAAyB,eAAe,UACxC,eACG,MAAM,GAAG,qBAAqB,CAAC,CAC/B,MAAM,YAAY,QAAQ,SAAS,YAAY,QAAQ,SAAS,MAAM,IAE3E,OAAO,OAAO,aACZ,mHACF;CAGF,MAAM,kBAAkB,OAAO,aAAa,OAAO,aAAa,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,KACpF,OAAO,UAAU,UAAU,aAAa,yCAAyC,KAAK,CAAC,CACzF;CAEA,MAAM,WAAW,OAAO,oBAAoB,eAAe,CAAC,CAAC,KAC3D,OAAO,UAAU,UACf,aAAa,4DAA4D,KAAK,CAChF,CACF;CAEA,MAAM,iBAAiB,OAAO,WAAW,QAAQ;CAEjD,MAAM,aACJ,MAAM,OAAO,eAAe,KAAA,IACxB,KAAA,IACA,OAAO,iBAAiB,MAAM,MAAM,UAAU,CAAC,CAAC,KAC9C,OAAO,UAAU,UAAU,aAAa,qCAAqC,KAAK,CAAC,CACrF;CAEN,IAAI,eAAe,KAAA,GAAW;EAC5B,IAAI,WAAW,WAAW,GACxB,OAAO,OAAO,aAAa,2DAA2D;EAGxF,MAAM,UAAU,OAAO,oBAAoB,UAAU,CAAC,CAAC,KACrD,OAAO,UAAU,UAAU,aAAa,8CAA8C,KAAK,CAAC,CAC9F;EAEA,IACE,MAAM,UAAU,KAAA,KAChB,MAAM,MAAM,gBAAgB,QAAQ,YAAY,SAChD,MAAM,MAAM,iBAAiB,QAAQ,aAAa,UACjD,MAAM,MAAM,gBAAgB,OAAO,QAAQ,cAE5C,OAAO,OAAO,aAAa,kDAAkD;CAEjF;CAEA,OAAO,eAAe,KAAK;EACzB,UAAU,sBAAsB,MAAM,OAAO,MAAM,IAAI;EACvD,QAAQ;EACR,eAAe;EACf,WAAW,MAAM;EACjB,cAAc,MAAM;EACpB,SAAS,sBAAsB,KAAK;GAClC,GAAI,MAAM,mBAAmB,KAAA,IAAY,CAAC,IAAI,EAAE,gBAAgB,MAAM,eAAe;GACrF,GAAI,MAAM,4BAA4B,KAAA,KAAa,MAAM,wBAAwB,WAAW,IACxF,CAAC,IACD,EAAE,yBAAyB,MAAM,wBAAwB;GAC7D,GAAI,MAAM,iBAAiB,KAAA,IAAY,CAAC,IAAI,EAAE,cAAc,MAAM,aAAa;GAC/E,OAAO,MAAM;GACb,QAAQ,MAAM;GACd,MAAM,MAAM;GACZ;GACA;GACA,GAAI,0BAA0B,KAAA,IAAY,CAAC,IAAI,EAAE,sBAAsB;GACvE,GAAI,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;GACjD,GAAI,MAAM,yBAAyB,KAAA,KAAa,MAAM,yBAAyB,IAC3E,CAAC,IACD,EACE,sBAAsB,OAAO,iBAC3B,wBACA,MAAM,oBACR,EACF;GACJ,GAAI,MAAM,UAAU,KAAA,IAChB,CAAC,IACD;IACE,aAAa,OAAO,iBAAiB,eAAe,MAAM,MAAM,WAAW;IAC3E,cAAc,OAAO,iBAAiB,gBAAgB,MAAM,MAAM,YAAY;IAG9E,GAAI,MAAM,MAAM,iBAAiB,KAAA,KAAa,MAAM,MAAM,iBAAiB,IACvE,CAAC,IACD,EACE,cAAc,OAAO,iBAAiB,gBAAgB,MAAM,MAAM,YAAY,EAChF;GACN;EACN,CAAC;CACH,CAAC;AACH,CAAC;AAED,MAAM,qBAAqB,OAAO,GAAG,+BAA+B,CAAC,CAAC,WACpE,OACA,WAC0D;CAC1D,MAAM,cAAqC,CAAC;CAE5C,KAAK,MAAM,QAAQ,WAAW;EAC5B,MAAM,SAAS,OAAO,oBAAoB,KAAK,MAAM,CAAC,CAAC,KACrD,OAAO,UAAU,UACf,aAAa,eAAe,KAAK,GAAG,wCAAwC,KAAK,CACnF,CACF;EAEA,MAAM,aAAa,OAAO,OAAO,IAAI;GACnC,WAAW,iBAAiB,KAAK,EAAE;GACnC,QAAQ,UAAU,aAAa,wBAAwB,KAAK,MAAM,KAAK;EACzE,CAAC;EAED,YAAY,KACV,eAAe,KAAK;GAClB,UAAU,wBAAwB,MAAM,OAAO,MAAM,MAAM,UAAU;GACrE,QAAQ;GACR,eAAe;GACf,WAAW,MAAM;GACjB,cAAc,MAAM;GACpB,SAAS,gBAAgB,KAAK;IAC5B,GAAI,MAAM,gBAAgB,IAAI,KAAK,EAAE,MAAM,KAAA,IACvC,CAAC,IACD,EAAE,eAAe,MAAM,eAAe,IAAI,KAAK,EAAE,EAAE;IACvD,OAAO,MAAM;IACb;IACA,UAAU,KAAK;IACf;IACA,WAAW,KAAK;IAChB,GAAI,MAAM,qBAAqB,IAAI,KAAK,EAAE,MAAM,OAAO,EAAE,gBAAgB,KAAK,IAAI,CAAC;GACrF,CAAC;EACH,CAAC,CACH;CACF;CAEA,OAAO;AACT,CAAC;;AAGD,MAAa,uBACX,eAKA,WAAW;CACT,OAAO,WAAW;CAClB,QAAQ,WAAW;CACnB,gBAAgB,WAAW,kBAAkB;CAC7C,cAAc,WAAW,gBAAgB;CACzC,WAAW,WAAW,aAAa;AACrC,CAAC;AAEH,MAAM,sBAAsB,OAAO,GAAG,gCAAgC,CAAC,CAAC,WACtE,OACA;CACA,IAAI,MAAM,kBAAkB,KAAA,GAAW,OAAO,KAAA;CAC9C,MAAM,aAAa;EAAE,OAAO,MAAM;EAAO,GAAG,MAAM;CAAc;CAEhE,OAAO,eAAe,KAAK;EACzB,UAAU,qBAAqB,MAAM,KAAK;EAC1C,QAAQ;EACR,eAAe;EACf,WAAW,MAAM;EACjB,cAAc,MAAM;EACpB,SAAS,aAAa,KAAK;GACzB,GAAG;GACH,cAAc,OAAO,oBAAoB,UAAU;EACrD,CAAC;CACH,CAAC;AACH,CAAC;;;;;;;;;;;AAYD,MAAa,qBAAqB,OAAO,GAAG,+BAA+B,CAAC,CAAC,WAC3E,OACgF;CAChF,OAAO,qBAAqB,MAAM,IAAI;CACtC,MAAM,EAAE,gBAAgB,cAAc,kBAAkB,MAAM,QAAQ;CACtE,MAAM,gBAAgB,OAAO,oBAAoB,OAAO,cAAc;CACtE,MAAM,cAAc,OAAO,mBAAmB,OAAO,SAAS;CAC9D,MAAM,mBAAmB,OAAO,oBAAoB,KAAK;CAEzD,OAAO,eAAe,KAAK;EACzB,SAAS,YAAY,MAAM,OAAO,MAAM,IAAI;EAC5C,YAAY,MAAM;EAClB,SACE,qBAAqB,KAAA,IACjB,CAAC,eAAe,GAAG,WAAW,IAC9B;GAAC;GAAe,GAAG;GAAa;EAAgB;CACxD,CAAC;AACH,CAAC;;;;;;;;;;;;AAaD,MAAa,oBAAoB,OAAO,GAAG,8BAA8B,CAAC,CAAC,WACzE,OACgF;CAChF,OAAO,qBAAqB,MAAM,IAAI;CACtC,MAAM,EAAE,mBAAmB,kBAAkB,MAAM,QAAQ;CAC3D,MAAM,gBAAgB,OAAO,oBAAoB,OAAO,cAAc;CAEtE,OAAO,eAAe,KAAK;EACzB,SAAS,oBAAoB,MAAM,OAAO,MAAM,IAAI;EACpD,YAAY,MAAM;EAClB,SAAS,CAAC,aAAa;CACzB,CAAC;AACH,CAAC;;;;;;;AAQD,MAAa,mBAAmB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WACvE,OACgF;CAChF,OAAO,qBAAqB,MAAM,IAAI;CACtC,MAAM,EAAE,cAAc,kBAAkB,MAAM,QAAQ;CACtD,MAAM,cAAc,OAAO,mBAAmB,OAAO,SAAS;CAC9D,MAAM,QAAQ,YAAY;CAE1B,IAAI,UAAU,KAAA,GACZ,OAAO,OAAO,aAAa,QAAQ,MAAM,KAAK,wCAAwC;CAExF,IAAI,MAAM,kBAAkB,KAAA,KAAa,YAAY,WAAW,GAC9D,OAAO,OAAO,aAAa,gEAAgE;CAE7F,MAAM,mBAAmB,OAAO,oBAAoB,KAAK;CAEzD,OAAO,eAAe,KAAK;EACzB,SAAS,mBAAmB,MAAM,OAAO,MAAM,IAAI;EACnD,YAAY,MAAM;EAClB,SACE,qBAAqB,KAAA,IACjB,CAAC,OAAO,GAAG,YAAY,MAAM,CAAC,CAAC,IAC/B;GAAC;GAAO,GAAG,YAAY,MAAM,CAAC;GAAG;EAAgB;CACzD,CAAC;AACH,CAAC"}
@@ -3,13 +3,13 @@ import { f as ToolExecutionKind, i as SubagentBudgetReservation, l as SubagentGr
3
3
  import { i as UpdateError, r as Update } from "./AgentUpdates-DMJ-_xow.mjs";
4
4
  import { c as Selection, l as Snapshot } from "./ToolExposure-r2eOWk4F.mjs";
5
5
  import { r as ModelCallUsage, s as RunTotals, t as ChildRunUsage } from "./Usage-Dx0aknfk.mjs";
6
- import { a as AgentInputError } from "./AgentError-CggcAQ7V.mjs";
6
+ import { a as AgentInputError, u as AgentToolAuthorizationCheckError } from "./AgentError-Bn1ytXRD.mjs";
7
7
  import { t as ToolParameterRejection } from "./ToolResult-BKdqWRff.mjs";
8
8
  import { t as AgentPolicy } from "./AgentPolicy-BqDoSXO6.mjs";
9
- import { r as AnyDefinition } from "./Agent-CM6JubNX.mjs";
9
+ import { r as AnyDefinition } from "./Agent-Bk-mLtov.mjs";
10
10
  import { o as MemoryRecallError } from "./MemoryReference-B8Q3UJoJ.mjs";
11
11
  import { t as RunPolicyUsage } from "./RunPolicyUsage-ClZxyR46.mjs";
12
- import { n as WorkerBudgetScope, t as FrameworkMessage } from "./Worker--j87JI__.mjs";
12
+ import { n as WorkerBudgetScope, t as FrameworkMessage } from "./Worker-Bbj9uq5H.mjs";
13
13
  import { c as ModelCallContext, r as ContextRolloverSelection } from "./ContextWindow-DRQ5Mbm2.mjs";
14
14
  import { c as ContextMessageTokenEstimator, n as CompactionError } from "./ContextCompactor-WwSIG_Z2.mjs";
15
15
  import { l as ToolExecutionClassValue, o as RunStepHook } from "./DurableStep-Cry_iol4.mjs";
@@ -319,7 +319,10 @@ type RunToolAuthorizationDecision = {
319
319
  readonly _tag: "allowed";
320
320
  } | {
321
321
  readonly _tag: "denied";
322
+ /** Safe model-facing explanation. */
322
323
  readonly reason: string;
324
+ /** Original local policy evidence; retained privately at native Run settlement. */
325
+ readonly cause?: Cause.Cause<unknown>;
323
326
  };
324
327
  /**
325
328
  * Exact authority presented before one application Tool Handler may start.
@@ -365,10 +368,12 @@ declare const RunContextPreparation_base: Context.ServiceClass<RunContextPrepara
365
368
  declare class RunContextPreparation extends RunContextPreparation_base {}
366
369
  /** Explicit no-preparer Layer used by compatible runtime assemblies. */
367
370
  declare const RunContextPreparationPassthrough: Layer.Layer<RunContextPreparation>;
368
- declare const RunToolAuthorization_base: Context.ServiceClass<RunToolAuthorization, "@effect-agent/engine/RunToolAuthorization", RunToolAuthorizationHook<never, never>>;
371
+ declare const RunToolAuthorization_base: Context.ServiceClass<RunToolAuthorization, "@effect-agent/engine/RunToolAuthorization", RunToolAuthorizationHook<AgentToolAuthorizationCheckError, never>>;
369
372
  /**
370
373
  * Host action-time authority for native and programmatic application Tools. Implementations close over
371
374
  * their dependencies at Layer construction and return a denial when execution is not authorized.
375
+ * A dependency or validation failure instead fails with AgentToolAuthorizationCheckError and
376
+ * retains its original Cause. Defects and interruption remain in the Effect Cause channel.
372
377
  * Durable coordinators capture this service once and retain it across replacement Attempts.
373
378
  * Ephemeral Runs also resolve this service at their Run boundary. A typed per-run
374
379
  * `RunOptions.toolAuthorization` overrides it while retaining its own error and requirement channel.
@@ -927,4 +932,4 @@ type RunOptionsError<Options> = Options extends RunOptions<infer Error, infer _R
927
932
  type RunOptionsRequirements<Options> = Options extends RunOptions<infer _Error, infer Requirements> ? Requirements : never;
928
933
  //#endregion
929
934
  export { RunTurnResponseCommit as $, RunInputCommand as A, RunSubagentChildIdentity as B, RunContextPreparationPassthrough as C, RunCostEstimateValue as D, RunCostEstimateRequest as E, RunOptions_d_exports as F, RunToolAuthorization as G, RunSubagentEstablishRequest as H, RunResumeUsage as I, RunToolAuthorizationRequest as J, RunToolAuthorizationDecision as K, RunResumeUsageSchema as L, RunOptions as M, RunOptionsError as N, RunCostEstimator as O, RunOptionsRequirements as P, RunTransientContextHook as Q, RunSchedulingHook as R, RunContextPreparationError as S, RunCostEstimate as T, RunSubagentHook as U, RunSubagentDigests as V, RunSubagentJoinRequest as W, RunToolFailureObserver as X, RunToolCallDescriptor as Y, RunToolScheduling as Z, RunBudgetHook as _, ChildEstablishWaiting as a, RunUsageDelta as at, RunContextHook as b, ModelToolFailure as c, ProgrammaticPreflightFailure as d, RunTurnResume as et, ProgrammaticToolFailure as f, RunApprovalRequest as g, RunApprovalHook as h, ChildEstablishStatus as i, RunTurnUsage as it, RunInputHook as j, RunDurabilityHook as k, ModelUsageAccounting as l, RunApprovalDecision as m, ChildEstablishDenied as n, RunTurnResumeSettledCall as nt, CommandDrainPolicy as o, ToolFailureObservation as ot, ResolvedModelCall as p, RunToolAuthorizationHook as q, ChildEstablishSettled as r, RunTurnResumeSettledCallSchema as rt, CurrentToolFailureObserver as s, toolFailureObserverLayer as st, AgentUpdateAcceptance as t, RunTurnResumeCall as tt, PreparedRunContext as u, RunBufferLimits as v, RunContextRequest as w, RunContextPreparation as x, RunCompactionCommit as y, RunSchedulingOverride as z };
930
- //# sourceMappingURL=RunOptions-Bruk54SE.d.mts.map
935
+ //# sourceMappingURL=RunOptions-qOcPv08p.d.mts.map
@@ -1,5 +1,6 @@
1
1
  import { a as Receipt } from "./Receipt-BAHyigAF.mjs";
2
- import { _ as Digest, h as DefinitionDigests } from "./Records-Bidb7ByL.mjs";
2
+ import { a as FailureDiagnostic_d_exports, r as Diagnostic } from "./FailureDiagnostic-CaAkzGHL.mjs";
3
+ import { _ as Digest, h as DefinitionDigests } from "./Records-B4S02MX1.mjs";
3
4
  import { Context, Effect, Schema } from "effect";
4
5
  declare namespace Schedule_d_exports {
5
6
  export { ScheduleAuthorizationDecision, ScheduleAuthorizationError, ScheduleAuthorizer, ScheduleCapacityError, ScheduleChange, ScheduleConfiguration, ScheduleConflict, ScheduleDestination, ScheduleDueCursor, ScheduleFailpoint, ScheduleFailpointError, ScheduleId, ScheduleInstant, ScheduleKey, ScheduleManagementAuthorization, ScheduleManagementOperation, ScheduleNotFound, ScheduleOccurrenceAuthorization, ScheduleOwner, SchedulePage, SchedulePageRequest, SchedulePending, ScheduleRecord, ScheduleRefusal, ScheduleRetry, ScheduleRetryReason, ScheduleScope, ScheduleSkippedRange, ScheduleSnapshot, ScheduleSnapshotPage, ScheduleStorageError, ScheduleStore, ScheduleStoreFailure, ScheduleTiming, ScheduleTimingRequest, ScheduleValidationError, ScheduleWake, ScheduledEnvelope, ScheduledInputAdmission, ScheduledInputFailure, ScheduledInputRefused, ScheduledInputRetryable, SchedulingLimits, defaultSchedulingLimits };
@@ -502,11 +503,15 @@ declare const ScheduleStorageError_base: Schema.Class<ScheduleStorageError, Sche
502
503
  declare class ScheduleStorageError extends ScheduleStorageError_base {}
503
504
  declare const ScheduledInputRefused_base: Schema.Class<ScheduledInputRefused, Schema.TaggedStruct<"ScheduledInputRefused", {
504
505
  readonly code: Schema.NonEmptyString;
506
+ readonly cause: Schema.optionalKey<Schema.decodeTo<Schema.Unknown, Schema.Codec<Diagnostic, Diagnostic, never, never>, never, never>>;
507
+ readonly stack: Schema.optionalKey<Schema.String>;
505
508
  }>, import("effect/Cause").YieldableError>;
506
509
  /** Only when the unchanged envelope was not admitted and cannot succeed, including on replay. */
507
510
  declare class ScheduledInputRefused extends ScheduledInputRefused_base {}
508
511
  declare const ScheduledInputRetryable_base: Schema.Class<ScheduledInputRetryable, Schema.TaggedStruct<"ScheduledInputRetryable", {
509
512
  readonly reason: Schema.Literals<readonly ["transport", "capacity", "storage", "host-closed", "timeout", "ambiguous"]>;
513
+ readonly cause: Schema.optionalKey<Schema.decodeTo<Schema.Unknown, Schema.Codec<Diagnostic, Diagnostic, never, never>, never, never>>;
514
+ readonly stack: Schema.optionalKey<Schema.String>;
510
515
  }>, import("effect/Cause").YieldableError>;
511
516
  /** Includes lost replies: admission may already have committed. */
512
517
  declare class ScheduledInputRetryable extends ScheduledInputRetryable_base {}
@@ -839,4 +844,4 @@ declare const ScheduleFailpoint: Context.Reference<{
839
844
  }>;
840
845
  //#endregion
841
846
  export { ScheduleSnapshotPage as A, ScheduledInputAdmission as B, ScheduleRecord as C, ScheduleScope as D, ScheduleRetryReason as E, ScheduleTimingRequest as F, defaultSchedulingLimits as G, ScheduledInputRefused as H, ScheduleValidationError as I, ScheduleWake as L, ScheduleStore as M, ScheduleStoreFailure as N, ScheduleSkippedRange as O, ScheduleTiming as P, Schedule_d_exports as R, SchedulePending as S, ScheduleRetry as T, ScheduledInputRetryable as U, ScheduledInputFailure as V, SchedulingLimits as W, ScheduleNotFound as _, ScheduleChange as a, SchedulePage as b, ScheduleDestination as c, ScheduleFailpointError as d, ScheduleId as f, ScheduleManagementOperation as g, ScheduleManagementAuthorization as h, ScheduleCapacityError as i, ScheduleStorageError as j, ScheduleSnapshot as k, ScheduleDueCursor as l, ScheduleKey as m, ScheduleAuthorizationError as n, ScheduleConfiguration as o, ScheduleInstant as p, ScheduleAuthorizer as r, ScheduleConflict as s, ScheduleAuthorizationDecision as t, ScheduleFailpoint as u, ScheduleOccurrenceAuthorization as v, ScheduleRefusal as w, SchedulePageRequest as x, ScheduleOwner as y, ScheduledEnvelope as z };
842
- //# sourceMappingURL=Schedule-Cy9up8Uf.d.mts.map
847
+ //# sourceMappingURL=Schedule-D2TVEu3W.d.mts.map
@@ -2,7 +2,7 @@ import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
2
2
  import { ThreadId } from "./core/Identifiers.mjs";
3
3
  import { n as utf8ByteLength } from "./utf8-DchGZRBd.mjs";
4
4
  import { IdempotencyKey } from "./core/Receipt.mjs";
5
- import { T as PersistedJson, p as DefinitionDigests } from "./Records-D8167fHn.mjs";
5
+ import { DefinitionDigests, PersistedJson } from "./durable/Records.mjs";
6
6
  import { digestJson } from "./durable/Digest.mjs";
7
7
  import { ScheduleAuthorizer, ScheduleConflict, ScheduleDestination, ScheduleFailpoint, ScheduleInstant, ScheduleNotFound, ScheduleStorageError, ScheduleStore, ScheduleTimingRequest, ScheduleValidationError, ScheduleWake, ScheduledInputAdmission, SchedulingLimits, defaultSchedulingLimits } from "./durable/Schedule.mjs";
8
8
  import { admitPreparedInput } from "./durable/PreparedInputAdmission.mjs";
@@ -688,4 +688,4 @@ var ScheduleDriver = class ScheduleDriver extends Context.Service()("@effect-age
688
688
  //#endregion
689
689
  export { Scheduling_exports as i, ScheduleWakeNoop as n, Scheduling as r, ScheduleDriver as t };
690
690
 
691
- //# sourceMappingURL=Scheduling-CHCsSCGo.mjs.map
691
+ //# sourceMappingURL=Scheduling-DPb2QyAK.mjs.map