effect-agent 0.1.0-beta.135 → 0.1.0-beta.136

package/src/durable/RunJournal.ts

@@ -555,6 +555,9 @@ const PROMPT_TRANSPARENT_TAGS: ReadonlySet<string> = new Set([
  * are never canonical settlements or evidence for compaction, recovery or accounting. Real
  * results replace them at the original declaration, including results appended after another Run.
  * Prior user intent and assistant text remain visible; prior system instructions do not.
+ * Each Run retains the history preceding its start and its own continuation. Other Runs'
+ * subsequent Turns cannot replace its input. Compaction covers only its creator's Run view;
+ * a projection without an owner retains interleaved exchanges from the complete Thread history.
  */
 /** @internal Lightweight canonical boundaries collected without retaining record payloads. */
 export interface JournalBoundary {
@@ -598,13 +601,11 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
     committedTurns: seed?.committedTurns ?? 0,
   };
 
-  // RUN-026 pre-scan: the widest VALID compaction bounds govern the fold. A
-  // valid record covers strictly below its own sequence and never splits a response from its
-  // settled tool results. Pruning and rollovers may cover complete owner-Run batches;
-  // a summarize record must carry its summary. Invalid records
-  // are ignored fail-safe — the full history stays authoritative. Ties on
-  // coversThrough resolve to the record appended later (higher sequence),
-  // matching at-most-once replay intent.
+  // RUN-026 pre-scan: valid compactions retire only their creator's Run view. A bound
+  // stays below its own sequence and cannot split a visible response from its settled results.
+  // Pruning and rollovers may cover complete owner-Run batches; a summarize record carries
+  // its summary. Invalid records leave full history authoritative. A wider containing view
+  // replaces earlier coverage, with equal bounds preferring the later record.
   // One span per settled record, paired with its declaring response the same
   // way the fold pairs them: a settled belongs to the most recent
   // ModelResponseRecorded of its Run. A bound inside (response, settled)
@@ -634,9 +635,39 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
     toolExecutionEvidence,
     settledToolCallRecordIds,
     settledById,
-    compactions,
   } = metadata;
 
+  const declarationByResultSequence = new Map(settledSpans.map(({ from, to }) => [to, from]));
+
+  const isInRunView = (
+    sequence: number,
+    payload: { readonly _tag: string; readonly runId?: RunId | undefined },
+    runId: RunId | undefined,
+  ): boolean => {
+    if (runId === undefined || payload.runId === undefined || payload.runId === runId) return true;
+    const first = firstSequenceByRun.get(runId) ?? Number.POSITIVE_INFINITY;
+
+    return (
+      sequence < first ||
+      (payload._tag === "ToolCallSettled" &&
+        (declarationByResultSequence.get(sequence) ?? Number.POSITIVE_INFINITY) < first)
+    );
+  };
+
+  const compactions = metadata.compactions.filter(({ sequence, payload }) =>
+    isInRunView(sequence, payload, ownerRunId),
+  );
+
+  const recordsForRun = records.pipe(
+    Stream.filter(({ sequence, record: { payload } }) =>
+      isInRunView(sequence, payload, ownerRunId),
+    ),
+  );
+
+  const isCovered = (envelope: CanonicalRecordEnvelope, compaction: CompactionCreated): boolean =>
+    envelope.sequence <= compaction.coversThrough &&
+    isInRunView(envelope.sequence, envelope.record.payload, compaction.runId);
+
   const settledCoverage = compactions.reduce(
     (through, { payload }) =>
       payload.kind !== "summarize" ? Math.max(through, payload.coversThrough) : through,
@@ -671,7 +702,7 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
       : yield* decodePromptMessages(seed.protectedContext);
 
   if (settledCoverage > 0) {
-    yield* Stream.runForEach(records, (envelope) =>
+    yield* Stream.runForEach(recordsForRun, (envelope) =>
       Effect.gen(function* () {
         const payload = envelope.record.payload;
 
@@ -727,21 +758,54 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
       incompleteResponseSequences.some(
         (response) =>
           response.sequence <= coversThrough &&
+          isInRunView(
+            response.sequence,
+            { _tag: "ModelResponseRecorded", runId: response.runId },
+            runId,
+          ) &&
           !isTerminalPriorRun(response.runId, runId, ownSequence),
       )
     )
       return false;
     for (const span of settledSpans) {
-      if (span.from <= coversThrough && coversThrough < span.to) return false;
+      if (
+        span.from <= coversThrough &&
+        coversThrough < span.to &&
+        isInRunView(span.from, { _tag: "ModelResponseRecorded", runId: span.runId }, runId)
+      )
+        return false;
     }
 
     return true;
   };
 
-  let summarizeBound = 0;
-  let replacement: CompactionCreated | undefined;
-  let summarizeSequence = -1;
-  let clearBound = 0;
+  type CompactionView = (typeof compactions)[number];
+
+  let replacements: ReadonlyArray<CompactionView> = [];
+  let clearings: ReadonlyArray<CompactionView> = [];
+
+  const retainCompaction = (views: ReadonlyArray<CompactionView>, next: CompactionView) => {
+    // Independent Run views overlap without containing one another. Retire an overlay only
+    // when the replacement actually contains its view, not merely a larger sequence number.
+    if (
+      views.some(
+        (prior) =>
+          prior.payload.coversThrough > next.payload.coversThrough &&
+          isInRunView(next.sequence, next.payload, prior.payload.runId),
+      )
+    )
+      return views;
+
+    return [
+      ...views.filter(
+        (prior) =>
+          next.payload.coversThrough < prior.payload.coversThrough ||
+          !isInRunView(prior.sequence, prior.payload, next.payload.runId),
+      ),
+      next,
+    ];
+  };
+
   let latestWindowId: string | undefined = seed?.contextWindowId;
   let latestWindowSequence = seed?.throughSequence ?? -1;
   let rolloverCoveredThrough = 0;
@@ -756,53 +820,48 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
       rolloverCoveredThrough = Math.max(rolloverCoveredThrough, payload.coversThrough);
     if (payload.kind === "summarize" || payload.kind === "rollover") {
       if (payload.kind === "summarize" && payload.summary === undefined) continue;
-      if (
-        payload.coversThrough > summarizeBound ||
-        (payload.coversThrough === summarizeBound && sequence > summarizeSequence)
-      ) {
-        summarizeBound = payload.coversThrough;
-        summarizeSequence = sequence;
-        replacement = payload;
-      }
-    } else if (payload.coversThrough > clearBound) {
-      clearBound = payload.coversThrough;
-    }
+      replacements = retainCompaction(replacements, { payload, sequence });
+    } else clearings = retainCompaction(clearings, { payload, sequence });
   }
   let summaryEmitted = false;
 
-  const retainedPrefix =
-    replacement?.kind === "rollover" &&
-    replacement.runId === ownerRunId &&
-    ownerPrefixSequence <= summarizeBound
-      ? (protectedContext?.content ?? [])
-      : [];
+  const retainedPrefix = replacements.some(
+    ({ payload }) =>
+      payload.kind === "rollover" &&
+      payload.runId === ownerRunId &&
+      ownerPrefixSequence <= payload.coversThrough,
+  )
+    ? (protectedContext?.content ?? [])
+    : [];
 
-  const replacementLength = replacement === undefined ? 0 : retainedPrefix.length + 1;
+  const replacementLength = retainedPrefix.length + replacements.length;
 
   if (seed?.frontier !== undefined)
     onBoundary?.({ ...seed.frontier, promptLength: replacementLength });
 
   const emitSummary = () => {
-    if (summaryEmitted || replacement === undefined) return;
+    if (summaryEmitted || replacements.length === 0) return;
     summaryEmitted = true;
+    state.all.push(...retainedPrefix);
+    for (const { payload: replacement } of replacements) {
+      const message =
+        replacement.kind === "rollover"
+          ? contextWindowMessage(
+              contextWindowId(replacement.runId, replacement.turn),
+              replacement.handoff,
+            )
+          : Prompt.makeMessage("user", {
+              content: [
+                Prompt.makePart("text", {
+                  text: `${COMPACTION_SUMMARY_PREFIX}${replacement.summary}`,
+                }),
+              ],
+            });
 
-    const message =
-      replacement.kind === "rollover"
-        ? contextWindowMessage(
-            contextWindowId(replacement.runId, replacement.turn),
-            replacement.handoff,
-          )
-        : Prompt.makeMessage("user", {
-            content: [
-              Prompt.makePart("text", {
-                text: `${COMPACTION_SUMMARY_PREFIX}${replacement.summary}`,
-              }),
-            ],
-          });
-
-    state.all.push(...retainedPrefix, message);
-    if (replacement.kind !== "rollover" || replacement.runId !== ownerRunId)
-      state.before.push(message);
+      state.all.push(message);
+      if (replacement.kind !== "rollover" || replacement.runId !== ownerRunId)
+        state.before.push(message);
+    }
   };
 
   const modelUsage: Array<ModelCallUsage> = [];
@@ -986,7 +1045,7 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
     };
   });
 
-  yield* Stream.runForEach(records, (envelope) =>
+  yield* Stream.runForEach(recordsForRun, (envelope) =>
     Effect.gen(function* () {
       const payload = envelope.record.payload;
 
@@ -1020,8 +1079,8 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
         (payload._tag === "ModelResponseRecorded" || payload._tag === "ToolCallSettled")
       )
         return;
-      if (envelope.sequence <= summarizeBound) {
-        // Projecting an earlier Run after a later summary still accounts for its covered responses.
+      if (replacements.some(({ payload }) => isCovered(envelope, payload))) {
+        // Retiring Prompt payloads does not retire the owning Run's policy or usage accounting.
         if (payload._tag === "ModelResponseRecorded" && payload.runId === ownerRunId) {
           const messages = yield* decodePromptMessages(payload.messages);
 
@@ -1032,7 +1091,7 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
           onBoundary?.({
             sequence: envelope.sequence,
             tag: payload._tag,
-            promptLength: replacementLength,
+            promptLength: Math.max(replacementLength, state.all.length),
             ...(isTerminalPriorRun(payload.runId, ownerRunId, Number.POSITIVE_INFINITY)
               ? { terminalPriorRun: true }
               : {}),
@@ -1059,7 +1118,9 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
           slot.parts[slot.partIndex] = Prompt.makePart("tool-result", {
             id: payload.toolCallId,
             name: payload.toolName,
-            result: envelope.sequence <= clearBound ? CLEARED_TOOL_RESULT : payload.result,
+            result: clearings.some(({ payload }) => isCovered(envelope, payload))
+              ? CLEARED_TOOL_RESULT
+              : payload.result,
             isFailure: payload.isFailure,
             providerExecuted: false,
           });
@@ -1086,7 +1147,10 @@ export const projectRunJournalStream = Effect.fn("RunJournal.projectRunJournalSt
         ) {
           state = yield* flushTools(state);
         }
-        state.pendingTools.push({ record: payload, cleared: envelope.sequence <= clearBound });
+        state.pendingTools.push({
+          record: payload,
+          cleared: clearings.some(({ payload }) => isCovered(envelope, payload)),
+        });
         state = {
           ...state,
           pendingToolsForRun: payload.runId === ownerRunId,

package/src/durable/internal/journal-checkpoint.ts

@@ -56,7 +56,7 @@ export class RecoveryCheckpointContents extends Schema.Class<RecoveryCheckpointC
   digest: Digest,
 }) {}
 
-export const RECOVERY_ENGINE_VERSION = "effect-agent/recovery@1";
+export const RECOVERY_ENGINE_VERSION = "effect-agent/recovery@2";
 
 /**
  * Late evidence can invalidate an old compaction. Such histories use full canonical replay;

package/src/durable/internal/journal-metadata.ts

@@ -14,7 +14,11 @@ export interface JournalMetadata {
   readonly firstSequenceByRun: ReadonlyMap<string, number>;
   readonly lastResponseSequenceByRun: ReadonlyMap<string, number>;
   readonly terminalSequenceByRun: ReadonlyMap<string, number>;
-  readonly settledSpans: ReadonlyArray<{ readonly from: number; readonly to: number }>;
+  readonly settledSpans: ReadonlyArray<{
+    readonly from: number;
+    readonly to: number;
+    readonly runId: RunId;
+  }>;
   readonly toolExecutionEvidence: ReadonlySet<string>;
   readonly settledToolCallRecordIds: ReadonlySet<string>;
   readonly settledById: ReadonlyMap<
@@ -45,7 +49,10 @@ export const makeJournalMetadata = (
   if (seed?.firstSequence !== undefined) firstSequenceByRun.set(seed.runId, seed.firstSequence);
   const lastResponseSequenceByRun = new Map<string, number>();
   const terminalSequenceByRun = new Map<string, number>();
-  const settledSpans: Array<{ readonly from: number; readonly to: number }> = [];
+
+  const settledSpans: Array<{ readonly from: number; readonly to: number; readonly runId: RunId }> =
+    [];
+
   const toolExecutionEvidence = new Set<string>();
   const settledToolCallRecordIds = new Set<string>();
 
@@ -98,7 +105,7 @@ export const makeJournalMetadata = (
         const from = lastResponseSequenceByRun.get(payload.runId);
 
         if (from !== undefined && from < envelope.sequence)
-          settledSpans.push({ from, to: envelope.sequence });
+          settledSpans.push({ from, to: envelope.sequence, runId: payload.runId });
       }
     },
     snapshot: (): JournalMetadata => ({

package/dist/RunJournal-BXrq0VIK.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"RunJournal-BXrq0VIK.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 ToolCallPrepared,\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 toolExecutionEvidence: ReadonlySet<string>;\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\nexport const toolExecutionKey = (\n  call: Pick<ToolCallPrepared, \"runId\" | \"turn\" | \"toolCallId\">,\n): string => JSON.stringify([call.runId, call.turn, call.toolCallId]);\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 toolExecutionEvidence = new Set<string>();\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 === \"ToolCallPrepared\" || payload._tag === \"ToolCallUnknown\") {\n        toolExecutionEvidence.add(toolExecutionKey(payload));\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      toolExecutionEvidence: new Set(toolExecutionEvidence),\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 {\n  makeJournalMetadata,\n  toolExecutionKey,\n  type JournalMetadata,\n} 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    toolExecutionEvidence,\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 = yield* Effect.forEach(calls, (call) =>\n            Effect.gen(function* () {\n              const callId = yield* Schema.decodeEffect(ToolCallId)(call.id).pipe(\n                Effect.mapError((cause) => journalError(\"Invalid historical Tool Call ID\", cause)),\n              );\n\n              const operation = payload.toolOperations?.find(\n                (operation) => operation.toolCallId === callId && operation.toolName === call.name,\n              );\n\n              // Only the recorded execution contract can prove that dispatch required a\n              // preparation. Ordinary readonly calls may execute without one.\n              const notExecuted =\n                operation !== undefined &&\n                (operation.executionClass !== \"readonly\" ||\n                  operation.executionKind !== \"ordinary\") &&\n                !toolExecutionEvidence.has(\n                  toolExecutionKey({\n                    runId: payload.runId,\n                    turn: payload.turn,\n                    toolCallId: callId,\n                  }),\n                );\n\n              return Prompt.makePart(\"tool-result\", {\n                id: call.id,\n                name: call.name,\n                result: notExecuted\n                  ? {\n                      _tag: \"ToolUnavailable\",\n                      toolName: call.name,\n                      execution: \"not-executed\",\n                      message:\n                        \"This earlier call never reached durable preparation and was not executed.\",\n                    }\n                  : {\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\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":";;;;;;;;;;;AA6BA,MAAa,oBACX,SACW,KAAK,UAAU;CAAC,KAAK;CAAO,KAAK;CAAM,KAAK;AAAU,CAAC;;;;;;AAOpE,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,wCAAwB,IAAI,IAAY;CAC9C,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,sBAAsB,QAAQ,SAAS,mBACjE,sBAAsB,IAAI,iBAAiB,OAAO,CAAC;QAC9C,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,uBAAuB,IAAI,IAAI,qBAAqB;GACpD,0BAA0B,IAAI,IAAI,wBAAwB;GAC1D,aAAa,IAAI,IAAI,WAAW;GAChC,aAAa,CAAC,GAAG,WAAW;EAC9B;CACF;AACF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AC3EA,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,uBACA,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,OAAO,OAAO,QAAQ,QAAQ,SAC1C,OAAO,IAAI,aAAa;KACtB,MAAM,SAAS,OAAO,OAAO,aAAa,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAC7D,OAAO,UAAU,UAAU,aAAa,mCAAmC,KAAK,CAAC,CACnF;KAEA,MAAM,YAAY,QAAQ,gBAAgB,MACvC,cAAc,UAAU,eAAe,UAAU,UAAU,aAAa,KAAK,IAChF;KAIA,MAAM,cACJ,cAAc,KAAA,MACb,UAAU,mBAAmB,cAC5B,UAAU,kBAAkB,eAC9B,CAAC,sBAAsB,IACrB,iBAAiB;MACf,OAAO,QAAQ;MACf,MAAM,QAAQ;MACd,YAAY;KACd,CAAC,CACH;KAEF,OAAO,OAAO,SAAS,eAAe;MACpC,IAAI,KAAK;MACT,MAAM,KAAK;MACX,QAAQ,cACJ;OACE,MAAM;OACN,UAAU,KAAK;OACf,WAAW;OACX,SACE;MACJ,IACA;OACE,MAAM;OACN,SACE;MACJ;MACJ,WAAW;MACX,kBAAkB;KACpB,CAAC;IACH,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"}