@yielded/agent 0.1.0-beta.181 → 0.1.0-beta.183
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/{Admin-NvXFPDIM.d.mts → Admin-BgCHCGSl.d.mts} +8 -8
- package/dist/{AgentRuntime-Dx5u_FJD.d.mts → AgentRuntime-DhRchFzv.d.mts} +7 -4
- package/dist/{AgentRuntime-BAExRlgu.mjs → AgentRuntime-ILtyHuQG.mjs} +61 -45
- package/dist/AgentRuntime-ILtyHuQG.mjs.map +1 -0
- package/dist/{Digest-DjUgS5PG.d.mts → Digest-1iVcDLVm.d.mts} +2 -2
- package/dist/{Digest-ft4ku9pj.mjs → Digest-CzLJcsWv.mjs} +2 -2
- package/dist/{Digest-ft4ku9pj.mjs.map → Digest-CzLJcsWv.mjs.map} +1 -1
- package/dist/{DurableAgentRuntime-HH2muFrT.mjs → DurableAgentRuntime-Cj263rW9.mjs} +27 -57
- package/dist/DurableAgentRuntime-Cj263rW9.mjs.map +1 -0
- package/dist/{EventSource-DNyaWmyQ.d.mts → EventSource-CaA6RAtC.d.mts} +3 -3
- package/dist/InMemory.d.mts +1 -1
- package/dist/{MessageDelivery-CLzWJImC.d.mts → MessageDelivery-rlLpakO8.d.mts} +43 -43
- package/dist/{PreparedInputAdmission-BQ9UCLFS.d.mts → PreparedInputAdmission-DjbWz2lW.d.mts} +4 -4
- package/dist/{RecordFormat-BNiLpe43.d.mts → RecordFormat-CjMl0uu8.d.mts} +2 -2
- package/dist/{Records-BTnGRdcf.d.mts → Records-BP67Yz6n.d.mts} +20 -8
- package/dist/{Records-CZRedCE7.mjs → Records-bbGVHprv.mjs} +14 -10
- package/dist/Records-bbGVHprv.mjs.map +1 -0
- package/dist/{RunContinuation-CL0wBsQE.d.mts → RunContinuation-CIJRN_vC.d.mts} +5 -4
- package/dist/{RunContinuation-BF95Ncv2.mjs → RunContinuation-DJ6kkbQG.mjs} +22 -58
- package/dist/RunContinuation-DJ6kkbQG.mjs.map +1 -0
- package/dist/{RunEvent-C5jVQZ6K.d.mts → RunEvent-Bh1p4zAO.d.mts} +2 -2
- package/dist/{RunJournal-oJLo-pjS.mjs → RunJournal-DQr2dUgg.mjs} +4 -7
- package/dist/RunJournal-DQr2dUgg.mjs.map +1 -0
- package/dist/{RunOptions-BANtohGk.d.mts → RunOptions-aBHR-Eqm.d.mts} +6 -3
- package/dist/{RunStorage-DlfvMfHM.mjs → RunStorage-DblN-cmM.mjs} +2 -2
- package/dist/{RunStorage-DlfvMfHM.mjs.map → RunStorage-DblN-cmM.mjs.map} +1 -1
- package/dist/{Schedule-CDgTz0vj.d.mts → Schedule-CVLtl5rP.d.mts} +2 -2
- package/dist/{Scheduling-BebkRVc2.mjs → Scheduling-B6l0lWdr.mjs} +3 -3
- package/dist/{Scheduling-BebkRVc2.mjs.map → Scheduling-B6l0lWdr.mjs.map} +1 -1
- package/dist/{Subagent-D68fe7mr.mjs → Subagent-Bm842K7J.mjs} +43 -17
- package/dist/Subagent-Bm842K7J.mjs.map +1 -0
- package/dist/{Subagent-5ulnV6An.d.mts → Subagent-CWWmA1UQ.d.mts} +17 -5
- package/dist/{Subscription-D2yn6Eo3.d.mts → Subscription-BRsNy0TA.d.mts} +4 -4
- package/dist/{SubscriptionInput-Cog4x7Rd.d.mts → SubscriptionInput-ClCaW_kX.d.mts} +3 -3
- package/dist/{ThreadHistory-KPPBJLJb.d.mts → ThreadHistory-ajQhqZDY.d.mts} +2 -2
- package/dist/{ThreadImport-BoTfjjrz.mjs → ThreadImport-CkPAxXU5.mjs} +7 -7
- package/dist/{ThreadImport-BoTfjjrz.mjs.map → ThreadImport-CkPAxXU5.mjs.map} +1 -1
- package/dist/{ThreadImport-em89zmM-.d.mts → ThreadImport-DtRNoHIr.d.mts} +5 -5
- package/dist/{ThreadStore-D2rqtt7k.mjs → ThreadStore-C_ofHc7h.mjs} +4 -4
- package/dist/{ThreadStore-D2rqtt7k.mjs.map → ThreadStore-C_ofHc7h.mjs.map} +1 -1
- package/dist/{ThreadTransfer-BFolkpEp.mjs → ThreadTransfer-C_TRuo_9.mjs} +4 -4
- package/dist/{ThreadTransfer-BFolkpEp.mjs.map → ThreadTransfer-C_TRuo_9.mjs.map} +1 -1
- package/dist/{WorkerAdmission-DrxDrLII.mjs → WorkerAdmission-9Ka3edXj.mjs} +5 -5
- package/dist/{WorkerAdmission-DrxDrLII.mjs.map → WorkerAdmission-9Ka3edXj.mjs.map} +1 -1
- package/dist/{agent-registration-BovXT8jc.mjs → agent-registration-7kp1dHT0.mjs} +4 -4
- package/dist/{agent-registration-BovXT8jc.mjs.map → agent-registration-7kp1dHT0.mjs.map} +1 -1
- package/dist/capabilities/Commands.d.mts +1 -1
- package/dist/capabilities/Redaction.d.mts +1 -1
- package/dist/capabilities/RunHooks.d.mts +1 -1
- package/dist/capabilities/Subagent.d.mts +1 -1
- package/dist/capabilities/Subagent.mjs +1 -1
- package/dist/capabilities/SubagentReservations.d.mts +4 -1
- package/dist/capabilities/SubagentReservations.mjs +4 -1
- package/dist/capabilities/SubagentReservations.mjs.map +1 -1
- package/dist/core/RunEvent.d.mts +1 -1
- package/dist/core/RunEvent.mjs +1 -1
- package/dist/core/RunEvent.mjs.map +1 -1
- package/dist/durable/ActivityStore.d.mts +1 -1
- package/dist/durable/ActivityStore.mjs +1 -1
- package/dist/durable/Admin.d.mts +1 -1
- package/dist/durable/Admin.mjs +1 -1
- package/dist/durable/AgentRegistration.d.mts +1 -1
- package/dist/durable/AgentRegistration.mjs +1 -1
- package/dist/durable/Certification.d.mts +1 -1
- package/dist/durable/CommittedActivity.d.mts +3 -3
- package/dist/durable/CommittedActivity.mjs +3 -3
- package/dist/durable/Digest.d.mts +1 -1
- package/dist/durable/Digest.mjs +1 -1
- package/dist/durable/DurableAgentRuntime.d.mts +1 -1
- package/dist/durable/DurableAgentRuntime.mjs +2 -2
- package/dist/durable/EventSource.d.mts +1 -1
- package/dist/durable/EventSource.mjs +1 -1
- package/dist/durable/GitHubWorkflowSource.d.mts +3 -3
- package/dist/durable/LifecyclePublication.d.mts +1 -1
- package/dist/durable/LifecyclePublication.mjs +2 -2
- package/dist/durable/MessageDelivery.d.mts +1 -1
- package/dist/durable/MessageDelivery.mjs +2 -2
- package/dist/durable/MessageDeliveryStoreConformance.d.mts +42 -42
- package/dist/durable/MessageDeliveryStoreConformance.mjs +2 -2
- package/dist/durable/PersistentHistory.d.mts +2 -2
- package/dist/durable/PersistentHistory.mjs +4 -4
- package/dist/durable/PreparedInputAdmission.d.mts +1 -1
- package/dist/durable/RecordFormat.d.mts +1 -1
- package/dist/durable/RecordFormat.mjs +1 -1
- package/dist/durable/Records.d.mts +1 -1
- package/dist/durable/Records.mjs +1 -1
- package/dist/durable/Recovery.d.mts +1 -1
- package/dist/durable/Recovery.mjs +1 -1
- package/dist/durable/RunContinuation.d.mts +3 -3
- package/dist/durable/RunContinuation.mjs +3 -3
- package/dist/durable/RunJournal.d.mts +1 -1
- package/dist/durable/RunJournal.mjs +1 -1
- package/dist/durable/RunStorage.d.mts +1 -1
- package/dist/durable/RunStorage.mjs +1 -1
- package/dist/durable/Schedule.d.mts +1 -1
- package/dist/durable/Schedule.mjs +1 -1
- package/dist/durable/ScheduleStoreConformance.d.mts +1 -1
- package/dist/durable/ScheduleStoreConformance.mjs +1 -1
- package/dist/durable/ScheduleTransition.d.mts +1 -1
- package/dist/durable/ScheduleTransition.mjs +1 -1
- package/dist/durable/Scheduling.d.mts +3 -3
- package/dist/durable/Scheduling.mjs +1 -1
- package/dist/durable/SettlementPublisher.d.mts +1 -1
- package/dist/durable/SettlementPublisher.mjs +3 -3
- package/dist/durable/SubmissionLedger.d.mts +1 -1
- package/dist/durable/SubmissionLedger.mjs +2 -2
- package/dist/durable/SubmissionLedgerConformance.d.mts +2 -2
- package/dist/durable/SubmissionLedgerConformance.mjs +5 -5
- package/dist/durable/SubmissionStatus.d.mts +1 -1
- package/dist/durable/Subscription.d.mts +1 -1
- package/dist/durable/Subscription.mjs +1 -1
- package/dist/durable/SubscriptionInput.d.mts +1 -1
- package/dist/durable/SubscriptionInput.mjs +2 -2
- package/dist/durable/SubscriptionStoreConformance.d.mts +1 -1
- package/dist/durable/SubscriptionStoreConformance.mjs +1 -1
- package/dist/durable/SubscriptionTools.d.mts +4 -4
- package/dist/durable/SubscriptionTransition.d.mts +1 -1
- package/dist/durable/SubscriptionTransition.mjs +1 -1
- package/dist/durable/Subscriptions.d.mts +6 -6
- package/dist/durable/Subscriptions.mjs +2 -2
- package/dist/durable/ThreadArchiveRange.d.mts +1 -1
- package/dist/durable/ThreadArchiveRange.mjs +1 -1
- package/dist/durable/ThreadContextHistory.d.mts +1 -1
- package/dist/durable/ThreadContextHistory.mjs +2 -2
- package/dist/durable/ThreadContextHistoryProjection.d.mts +1 -1
- package/dist/durable/ThreadContextHistoryProjection.mjs +1 -1
- package/dist/durable/ThreadImport.d.mts +1 -1
- package/dist/durable/ThreadImport.mjs +1 -1
- package/dist/durable/ThreadInvariants.d.mts +3 -3
- package/dist/durable/ThreadInvariants.mjs +4 -4
- package/dist/durable/ThreadProjection.d.mts +1 -1
- package/dist/durable/ThreadProjection.mjs +1 -1
- package/dist/durable/ThreadProjectionMaintenance.d.mts +1 -1
- package/dist/durable/ThreadReader.d.mts +1 -1
- package/dist/durable/ThreadReader.mjs +1 -1
- package/dist/durable/ThreadStore.d.mts +2 -2
- package/dist/durable/ThreadStore.mjs +2 -2
- package/dist/durable/ThreadStoreConformance.d.mts +2 -2
- package/dist/durable/ThreadStoreConformance.mjs +4 -4
- package/dist/durable/ThreadTransfer.d.mts +2 -2
- package/dist/durable/ThreadTransfer.mjs +1 -1
- package/dist/durable/ThreadWork.d.mts +1 -1
- package/dist/durable/ThreadWork.mjs +5 -5
- package/dist/durable/ToolReconciler.mjs +1 -1
- package/dist/durable/WorkerAdmission.d.mts +2 -2
- package/dist/durable/WorkerAdmission.mjs +1 -1
- package/dist/durable/WorkerHost.d.mts +2 -2
- package/dist/engine/AgentRuntime.d.mts +1 -1
- package/dist/engine/AgentRuntime.mjs +1 -1
- package/dist/engine/RunOptions.d.mts +1 -1
- package/dist/engine/RunOptions.mjs.map +1 -1
- package/dist/engine/ThreadHistory.d.mts +1 -1
- package/dist/index.d.mts +17 -17
- package/dist/index.mjs +12 -12
- package/dist/{run-context-reader-kpO9xhP2.d.mts → run-context-reader-DEU4REfD.d.mts} +3 -3
- package/package.json +1 -1
- package/src/capabilities/Subagent.ts +83 -28
- package/src/capabilities/SubagentReservations.ts +4 -1
- package/src/capabilities/internal/subagent-contract.ts +23 -3
- package/src/core/RunEvent.ts +1 -1
- package/src/durable/DurableAgentRuntime.ts +64 -14
- package/src/durable/Records.ts +21 -15
- package/src/durable/RunContinuation.ts +64 -125
- package/src/durable/RunJournal.ts +4 -12
- package/src/durable/internal/history-prompt.ts +10 -4
- package/src/durable/internal/initial-context.ts +1 -1
- package/src/durable/internal/prompt-history-cache.ts +8 -63
- package/src/engine/RunOptions.ts +4 -1
- package/src/engine/internal/agent-runtime.ts +422 -387
- package/dist/AgentRuntime-BAExRlgu.mjs.map +0 -1
- package/dist/DurableAgentRuntime-HH2muFrT.mjs.map +0 -1
- package/dist/Records-CZRedCE7.mjs.map +0 -1
- package/dist/RunContinuation-BF95Ncv2.mjs.map +0 -1
- package/dist/RunJournal-oJLo-pjS.mjs.map +0 -1
- package/dist/Subagent-D68fe7mr.mjs.map +0 -1
- package/dist/json-BlJVQZxN.mjs +0 -15
- package/dist/json-BlJVQZxN.mjs.map +0 -1
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { s as RunId, u as ThreadId } from "./Identifiers-CN2s30fF.mjs";
|
|
2
2
|
import { t as Store } from "./Thread-DzdJAY4J.mjs";
|
|
3
|
-
import { l as RunCompleted } from "./RunEvent-
|
|
3
|
+
import { l as RunCompleted } from "./RunEvent-Bh1p4zAO.mjs";
|
|
4
4
|
import * as Schema from "effect/Schema";
|
|
5
5
|
import * as Context from "effect/Context";
|
|
6
6
|
import * as Effect from "effect/Effect";
|
|
@@ -75,4 +75,4 @@ declare class ThreadHistory extends ThreadHistory_base {
|
|
|
75
75
|
declare const layer: Layer.Layer<Store | ThreadHistory, never, never>;
|
|
76
76
|
//#endregion
|
|
77
77
|
export { layer as a, ThreadHistory_d_exports as i, ThreadHistoryError as n, ThreadHistoryRun as r, ThreadHistory as t };
|
|
78
|
-
//# sourceMappingURL=ThreadHistory-
|
|
78
|
+
//# sourceMappingURL=ThreadHistory-ajQhqZDY.d.mts.map
|
|
@@ -3,18 +3,18 @@ import { SubmissionId, ThreadId, ToolCallId } from "./core/Identifiers.mjs";
|
|
|
3
3
|
import { n as utf8ByteLength } from "./utf8-B5pAmhTo.mjs";
|
|
4
4
|
import { f as WorkerRef } from "./Worker-CtuUwYOK.mjs";
|
|
5
5
|
import { l as InputMessage } from "./MessagingHost-BILcuj0V.mjs";
|
|
6
|
-
import { Q as RecordJson, X as RecordEnvelope, c as CanonicalBatch, f as CanonicalSequence, o as CURRENT_RECORD_FORMAT, u as CanonicalRecordEnvelope, vt as SubtreeBudgetReserved } from "./Records-
|
|
7
|
-
import { r as canonicalJson, s as digestJson } from "./Digest-
|
|
6
|
+
import { Q as RecordJson, X as RecordEnvelope, c as CanonicalBatch, f as CanonicalSequence, o as CURRENT_RECORD_FORMAT, u as CanonicalRecordEnvelope, vt as SubtreeBudgetReserved } from "./Records-bbGVHprv.mjs";
|
|
7
|
+
import { r as canonicalJson, s as digestJson } from "./Digest-CzLJcsWv.mjs";
|
|
8
8
|
import { AbortIntent, ApprovalDecisionIntent, ApprovalPendingSuspension, InputAppliedMarker, SubmissionState, SuspensionSnapshot, UnknownResolutionIntent, submissionAbortRecordId, submissionInputRecordId, submissionSettlementRecordId, unknownResolutionKind } from "./durable/SubmissionLedger.mjs";
|
|
9
9
|
import { decodeExportRecord } from "./durable/RecordFormat.mjs";
|
|
10
|
-
import { S as runIdForSubmission } from "./RunJournal-
|
|
11
|
-
import { C as ThreadAdmission, D as ThreadExport, K as ThreadResolutionFact, S as ThreadAbortFact, _t as executionRunIds, ft as transferPageFits, lt as makeTransferFactCheck, vt as isPreContinuationFact, w as ThreadApprovalFact } from "./ThreadStore-
|
|
10
|
+
import { S as runIdForSubmission } from "./RunJournal-DQr2dUgg.mjs";
|
|
11
|
+
import { C as ThreadAdmission, D as ThreadExport, K as ThreadResolutionFact, S as ThreadAbortFact, _t as executionRunIds, ft as transferPageFits, lt as makeTransferFactCheck, vt as isPreContinuationFact, w as ThreadApprovalFact } from "./ThreadStore-C_ofHc7h.mjs";
|
|
12
12
|
import { MessageDeliveryRecord } from "./durable/MessageDelivery.mjs";
|
|
13
|
-
import { _ as readRunContext, m as validateSuffix, o as isOperationalRecord, v as validateContextBoundary, y as RunContextReader } from "./RunContinuation-
|
|
13
|
+
import { _ as readRunContext, m as validateSuffix, o as isOperationalRecord, v as validateContextBoundary, y as RunContextReader } from "./RunContinuation-DJ6kkbQG.mjs";
|
|
14
14
|
import { workIndexChanges } from "./durable/ThreadWork.mjs";
|
|
15
15
|
import { r as toolOperationStates } from "./tool-operations-BXBmagY1.mjs";
|
|
16
16
|
import { validateCanonicalSettlement, validateJoinedSettlement } from "./durable/SettlementPublisher.mjs";
|
|
17
|
-
import { c as transferDependencies, l as transferSections, s as sameTransferManifest, u as ImportSourcePhase } from "./ThreadTransfer-
|
|
17
|
+
import { c as transferDependencies, l as transferSections, s as sameTransferManifest, u as ImportSourcePhase } from "./ThreadTransfer-C_TRuo_9.mjs";
|
|
18
18
|
import { Context, Effect, Layer, Pull, Schema, Stream } from "effect";
|
|
19
19
|
//#region src/durable/internal/thread-import-reader.ts
|
|
20
20
|
/** Exact indexes for one captured Thread transaction. Run records and commands enforce count and byte bounds. */
|
|
@@ -481,4 +481,4 @@ const reencodeThread = Effect.fnUntraced(function* (source) {
|
|
|
481
481
|
//#endregion
|
|
482
482
|
export { validateImportedRunExecution as _, ThreadImportResult as a, ThreadDeliveryImportReader as b, finishThreadImport as c, prepareImportPage as d, rebuildClosedSubmission as f, validateImportedExecution as g, validateClosedRun as h, ThreadImportRejected as i, invalidThreadArchive as l, reencodeThread as m, ThreadArchive as n, ThreadImport_exports as o, rebuildImportedSubmission as p, ThreadImport as r, captureImportSource as s, RebuiltSubmission as t, makeThreadImportProgress as u, verifyImportedInputOrder as v, ThreadImportReader as x, verifyImportedReferences as y };
|
|
483
483
|
|
|
484
|
-
//# sourceMappingURL=ThreadImport-
|
|
484
|
+
//# sourceMappingURL=ThreadImport-CkPAxXU5.mjs.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ThreadImport-BoTfjjrz.mjs","names":[],"sources":["../src/durable/internal/thread-import-reader.ts","../src/durable/ThreadImport.ts"],"sourcesContent":["import { Context, type Effect, Layer, type Stream } from \"effect\";\n\nimport type { AgentId, RunId, SubmissionId, ThreadId } from \"../../core/Identifiers.ts\";\nimport type { IdempotencyKey } from \"../../core/Receipt.ts\";\nimport type { MessageDeliveryRecord } from \"../MessageDelivery.ts\";\nimport type { CanonicalRecordEnvelope, RecordEnvelope, RecordId } from \"../Records.ts\";\nimport type {\n ThreadAdmission,\n ThreadCommands,\n ThreadReadRequest,\n ThreadStoreError,\n ExecutionCheckpoint,\n} from \"../ThreadStore.ts\";\nimport { RunContextReader } from \"./run-context-reader.ts\";\n\n/** Exact indexes for one captured Thread transaction. Run records and commands enforce count and byte bounds. */\nexport class ThreadImportReader extends Context.Service<\n ThreadImportReader,\n {\n /** Full canonical history in this same snapshot, including archived facts. */\n readonly read: (\n request: ThreadReadRequest,\n ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError>;\n readonly delivery: (\n messageId: IdempotencyKey,\n ) => Effect.Effect<MessageDeliveryRecord | undefined, ThreadStoreError>;\n readonly record: (\n id: RecordId,\n ) => Effect.Effect<CanonicalRecordEnvelope | undefined, ThreadStoreError>;\n readonly admission: (\n id: SubmissionId,\n ) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n readonly runOwner: (id: RunId) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n readonly runRecords: (\n id: RunId,\n ) => Effect.Effect<ReadonlyArray<CanonicalRecordEnvelope>, ThreadStoreError>;\n readonly execution: (\n id: RunId,\n ) => Effect.Effect<ExecutionCheckpoint | undefined, ThreadStoreError>;\n readonly commands: (\n id: SubmissionId,\n ) => Effect.Effect<typeof ThreadCommands.Type, ThreadStoreError>;\n readonly hasAgent: (id: AgentId) => Effect.Effect<boolean, ThreadStoreError>;\n }\n>()(\"@effect-agent/thread/ThreadImportReader\") {\n /** Bind context reconstruction to this same captured transaction. */\n static layer(reader: ThreadImportReader[\"Service\"]) {\n return Layer.succeedContext(\n Context.make(ThreadImportReader, reader).pipe(\n Context.add(RunContextReader, {\n record: reader.record,\n read: (request) =>\n reader.read({\n threadId: request.threadId,\n selection: { _tag: \"PromptEvidence\", throughSequence: request.throughSequence },\n page: {\n limit: request.limit,\n ...(request.afterSequence === undefined\n ? {}\n : { afterSequence: request.afterSequence }),\n },\n }),\n }),\n ),\n );\n }\n}\n\n/** Delivery evidence reads: the importing Thread uses staged facts; foreign Threads use retained facts. */\nexport class ThreadDeliveryImportReader extends Context.Service<\n ThreadDeliveryImportReader,\n {\n readonly admission: (\n threadId: ThreadId,\n submissionId: SubmissionId,\n ) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n readonly record: (\n threadId: ThreadId,\n recordId: RecordId,\n ) => Effect.Effect<RecordEnvelope | undefined, ThreadStoreError>;\n }\n>()(\"@effect-agent/thread/ThreadDeliveryImportReader\") {}\n","import { Context, Effect, Pull, Schema, Stream, type Scope } from \"effect\";\n\nimport { InputMessage } from \"../capabilities/Messaging.ts\";\nimport type { RunId } from \"../core/Identifiers.ts\";\nimport { SubmissionId, ThreadId, ToolCallId } from \"../core/Identifiers.ts\";\nimport { WorkerRef } from \"../core/Worker.ts\";\nimport { canonicalJson, digestJson, utf8ByteLength } from \"./Digest.ts\";\nimport { readRunContext, validateContextBoundary } from \"./internal/run-context.ts\";\nimport { ThreadImportReader } from \"./internal/thread-import-reader.ts\";\nimport { ImportSourcePhase } from \"./internal/thread-transfer-source.ts\";\nimport { toolOperationStates } from \"./internal/tool-operations.ts\";\nimport { MessageDeliveryRecord } from \"./MessageDelivery.ts\";\nimport { decodeExportRecord } from \"./RecordFormat.ts\";\nimport {\n CanonicalBatch,\n CanonicalRecordEnvelope,\n CanonicalSequence,\n CURRENT_RECORD_FORMAT,\n RecordEnvelope,\n RecordJson,\n SubtreeBudgetReserved,\n} from \"./Records.ts\";\nimport {\n executionRunIds,\n isOperationalRecord,\n isPreContinuationFact,\n validateSuffix,\n} from \"./RunContinuation.ts\";\nimport { runIdForSubmission } from \"./RunJournal.ts\";\nimport { validateCanonicalSettlement, validateJoinedSettlement } from \"./SettlementPublisher.ts\";\nimport {\n AbortIntent,\n ApprovalDecisionIntent,\n ApprovalPendingSuspension,\n InputAppliedMarker,\n SubmissionState,\n SuspensionSnapshot,\n UnknownResolutionIntent,\n unknownResolutionKind,\n submissionInputRecordId,\n submissionSettlementRecordId,\n submissionAbortRecordId,\n} from \"./SubmissionLedger.ts\";\nimport {\n type ExecutionCheckpoint,\n MAX_THREAD_EXPORT_PAGE_BYTES,\n MAX_THREAD_EXPORT_PAGE_RECORDS,\n ThreadAdmission,\n ThreadExport,\n ThreadAbortFact,\n ThreadApprovalFact,\n ThreadResolutionFact,\n makeTransferFactCheck,\n transferPageFits,\n type ThreadStoreError,\n} from \"./ThreadStore.ts\";\nimport { transferDependencies, sameTransferManifest, transferSections } from \"./ThreadTransfer.ts\";\nimport { workIndexChanges } from \"./ThreadWork.ts\";\n\nexport { ThreadImportReader, ThreadDeliveryImportReader } from \"./internal/thread-import-reader.ts\";\n\nconst sameInputMessage = Schema.toEquivalence(InputMessage);\n\n/** One owned wire page. Canonical batches precede admissions; all admissions precede accepted commands.\n * Every fact section is required, including empty sections. This order permits indexed atomic staging. */\nexport const ThreadArchive = Schema.Struct({\n ...ThreadExport.fields,\n records: Schema.Array(\n Schema.Struct({ ...CanonicalRecordEnvelope.fields, record: RecordJson }),\n ).check(Schema.isMaxLength(MAX_THREAD_EXPORT_PAGE_RECORDS)),\n});\n\nexport type ThreadArchive = typeof ThreadArchive.Type;\n\nconst admissionFitsTransfer = makeTransferFactCheck(ThreadAdmission);\nconst abortFitsTransfer = makeTransferFactCheck(ThreadAbortFact);\nconst approvalFitsTransfer = makeTransferFactCheck(ThreadApprovalFact);\nconst resolutionFitsTransfer = makeTransferFactCheck(ThreadResolutionFact);\nconst deliveryFitsTransfer = makeTransferFactCheck(MessageDeliveryRecord);\n\nexport class ThreadImportResult extends Schema.Class<ThreadImportResult>(\n \"@effect-agent/thread/ThreadImportResult\",\n)({\n threadId: ThreadId,\n format: Schema.String,\n tailSequence: CanonicalSequence,\n recordCount: Schema.Natural,\n submissionCount: Schema.Natural,\n}) {}\n\nexport class ThreadImportRejected extends Schema.TaggedError<ThreadImportRejected>()(\n \"ThreadImportRejected\",\n {\n threadId: Schema.optionalKey(ThreadId),\n reason: Schema.Literals([\n \"unsupported-format\",\n \"invalid-archive\",\n \"target-not-empty\",\n \"unsupported-obligations\",\n \"destination-conflict\",\n \"admission-policy-conflict\",\n \"admission-policy-unavailable\",\n \"unsupported-capacity\",\n ]),\n message: Schema.String,\n },\n) {}\n\n/** One owner transaction consumes the stream; E and R are preserved, including rollback on interruption. */\nexport class ThreadImport extends Context.Service<\n ThreadImport,\n {\n readonly import: <E, R>(\n pages: Stream.Stream<ThreadArchive, E, R>,\n ) => Effect.Effect<ThreadImportResult, E | ThreadImportRejected | ThreadStoreError, R>;\n }\n>()(\"@effect-agent/thread/ThreadImport\") {}\n\nexport class RebuiltSubmission extends Schema.Class<RebuiltSubmission>(\n \"@effect-agent/thread/RebuiltSubmission\",\n)({\n admission: ThreadAdmission,\n state: SubmissionState,\n inputApplied: Schema.optionalKey(InputAppliedMarker),\n joinedHostSubmissionId: Schema.optionalKey(SubmissionId),\n settlement: Schema.optionalKey(RecordEnvelope),\n suspension: Schema.optionalKey(SuspensionSnapshot),\n unknownToolCallIds: Schema.Array(ToolCallId),\n abort: Schema.optionalKey(AbortIntent),\n approvals: Schema.Array(ApprovalDecisionIntent),\n resolutions: Schema.Array(UnknownResolutionIntent),\n}) {}\n\nexport interface PreparedImportBatch {\n readonly batch: CanonicalBatch;\n readonly batchJson: string;\n readonly recordJson: ReadonlyArray<string>;\n readonly firstSequence: CanonicalSequence;\n readonly lastSequence: CanonicalSequence;\n}\n\nexport interface PreparedImportPage {\n readonly archive: ThreadArchive;\n readonly records: ReadonlyArray<CanonicalRecordEnvelope>;\n readonly batches: ReadonlyArray<PreparedImportBatch>;\n}\n\n/** Resolve every declared immutable reference, even in a preparation without a continuation. */\nexport const verifyImportedReferences = Effect.fnUntraced(function* (\n entry: CanonicalRecordEnvelope,\n) {\n const reader = yield* ThreadImportReader;\n const resolve = reader.record;\n const payload = entry.record.payload;\n\n if (payload._tag === \"WorkHandoffCompleted\") {\n const preparation = yield* resolve(payload.preparationId);\n\n if (\n preparation === undefined ||\n preparation.threadId !== entry.threadId ||\n preparation.sequence >= entry.sequence ||\n entry.record.recordId !== `work-handoff-completed:${payload.preparationId}`\n )\n return yield* invalid(\"Missing or ambiguous handoff preparation\", entry.threadId);\n const changes = yield* workIndexChanges(preparation, \"none\");\n\n if (\n !changes.some(\n (change) =>\n change._tag === \"Put\" &&\n change.entry.owner._tag === \"Handoff\" &&\n change.entry.id === payload.ownerId,\n )\n )\n return yield* invalid(\n \"Handoff closure does not identify its preparation's exact owner\",\n entry.threadId,\n );\n }\n\n if (payload._tag === \"RunContextRecorded\") {\n const owner = yield* reader.runOwner(payload.runId);\n\n const original =\n owner === undefined ? undefined : yield* resolve(submissionInputRecordId(owner.submissionId));\n\n if (\n original === undefined ||\n original.threadId !== entry.threadId ||\n original.sequence >= entry.sequence\n )\n return yield* invalid(\"Saved context has no original admitted input\", entry.threadId);\n yield* validateContextBoundary(payload, original).pipe(\n Effect.mapError((error) => invalid(error.message, entry.threadId)),\n );\n }\n\n const references =\n payload._tag === \"WorkerInputRefused\"\n ? [payload.reservation, payload.stop]\n : payload._tag === \"RunContextRecorded\"\n ? payload.retained\n : payload._tag === \"RunContinuation\"\n ? [\n payload.originalInput,\n payload.savedContext,\n payload.latestResponse,\n payload.terminal,\n payload.lastFact,\n ].filter((ref) => ref !== undefined)\n : [];\n\n for (const ref of references) {\n const evidence = yield* resolve(ref.recordId);\n\n if (\n evidence === undefined ||\n evidence.threadId !== entry.threadId ||\n evidence.sequence >= entry.sequence ||\n (\"sequence\" in ref && evidence.sequence !== ref.sequence)\n )\n return yield* invalid(\"Missing, foreign or forward canonical dependency\", entry.threadId);\n }\n if (payload._tag === \"WorkerInputRefused\") {\n const request = (yield* resolve(payload.reservation.recordId))!.record.payload;\n const stop = (yield* resolve(payload.stop.recordId))!.record.payload;\n const retained = yield* reader.delivery(payload.messageId);\n\n if (\n retained === undefined ||\n retained.key.ownerThreadId !== entry.threadId ||\n retained.key.messageId !== payload.messageId ||\n retained.status !== \"refused\" ||\n retained.receipt !== null ||\n retained.settlement !== null ||\n retained.version !== payload.deliveryVersion ||\n retained.envelopeDigest !== payload.envelopeDigest ||\n retained.envelope.threadId !== payload.workerThreadId ||\n retained.envelope.deliveryPrincipal !== payload.receiver.principal ||\n retained.envelope.admissionKey !== payload.receiver.idempotencyKey ||\n retained.envelope.inputDigest !== payload.receiver.inputDigest ||\n retained.envelope.workerAdmission === undefined ||\n retained.envelope.workerAdmission.messageId !== payload.messageId ||\n retained.envelope.workerAdmission.origin.source.threadId !== entry.threadId ||\n stop._tag !== \"WorkerStopRequested\" ||\n !Schema.toEquivalence(WorkerRef)(\n stop.command.worker,\n retained.envelope.workerAdmission.origin.worker,\n )\n )\n return yield* invalid(\n \"Worker refusal has no exact refused delivery and source stop proof\",\n entry.threadId,\n );\n if (request._tag === \"WorkerInputRequested\") {\n if (\n request.inputDigest !== retained.envelope.inputDigest ||\n !Schema.toEquivalence(MessageDeliveryRecord.fields.envelope.fields.workerAdmission)(\n request.admission,\n retained.envelope.workerAdmission,\n )\n )\n return yield* invalid(\n \"Worker refusal reservation differs from its exact request\",\n entry.threadId,\n );\n } else if (\n request._tag !== \"SubtreeBudgetReserved\" ||\n request.childThreadId !== payload.workerThreadId ||\n request.reservationId !== payload.messageId ||\n request.lifetime !== \"background\" ||\n request.executionRunId !== retained.envelope.workerAdmission.executionRunId ||\n request.sourceSubmissionId !== retained.envelope.workerAdmission.sourceSubmissionId ||\n request.depth !== retained.envelope.workerAdmission.origin.depth ||\n !Schema.toEquivalence(SubtreeBudgetReserved.fields.policy)(\n request.policy,\n retained.envelope.workerAdmission.origin.policy,\n ) ||\n !Schema.toEquivalence(SubtreeBudgetReserved.fields.grant)(\n request.grant,\n retained.envelope.workerAdmission.origin.grant,\n ) ||\n !Schema.toEquivalence(SubtreeBudgetReserved.fields.budget)(\n request.budget,\n retained.envelope.workerAdmission.origin.budget,\n )\n )\n return yield* invalid(\"Worker refusal has no exact source reservation\", entry.threadId);\n }\n});\n\nconst sequence = Schema.decodeSync(CanonicalSequence);\n\nconst digest = (value: Schema.Json) =>\n digestJson(value).pipe(Effect.mapError(() => invalid(\"Unable to digest imported facts\")));\n\nexport const invalidThreadArchive = (message: string, threadId?: ThreadId) =>\n ThreadImportRejected.make({\n reason: \"invalid-archive\",\n message,\n ...(threadId === undefined ? {} : { threadId }),\n });\n\nconst invalid = invalidThreadArchive;\n\n/** Validate authoritative active state against the same staged/captured history and admissions. */\nexport const validateImportedExecution = Effect.fnUntraced(function* (\n threadId: ThreadId,\n checkpoint: ExecutionCheckpoint,\n tailSequence: CanonicalSequence,\n) {\n const reader = yield* ThreadImportReader;\n const progress = checkpoint.progress;\n const admission = yield* reader.admission(progress.submissionId);\n\n const own = (yield* reader.runRecords(progress.runId)).filter((entry) =>\n executionRunIds(entry.record).includes(progress.runId),\n );\n\n const local = new Map(checkpoint.operational.map((record) => [record.recordId, record]));\n\n if (\n admission === undefined ||\n admission.threadId !== threadId ||\n runIdForSubmission(admission.submissionId) !== progress.runId ||\n checkpoint.progressRecord.recordId !==\n JSON.stringify([\"continuation@1\", progress.runId, checkpoint.batchId]) ||\n checkpoint.throughSequence > tailSequence ||\n checkpoint.originalSequence > checkpoint.throughSequence ||\n local.size !== checkpoint.operational.length ||\n checkpoint.operational.some(\n (record) => !isOperationalRecord(record) || !executionRunIds(record).includes(progress.runId),\n ) ||\n own.filter((entry) => entry.sequence <= checkpoint.throughSequence).length !==\n checkpoint.canonicalRecords ||\n !validateSuffix(own, checkpoint.throughSequence)\n )\n return yield* invalid(\n \"Active execution identity, revision or history boundary is invalid\",\n threadId,\n );\n for (const id of local.keys())\n if ((yield* reader.record(id)) !== undefined)\n return yield* invalid(\"Operational identity collides with retained history\", threadId);\n\n const resolve = Effect.fnUntraced(function* (ref: typeof progress.originalInput) {\n const retained = yield* reader.record(ref.recordId);\n const record = local.get(ref.recordId) ?? retained?.record;\n\n if (\n record === undefined ||\n (retained !== undefined &&\n (retained.threadId !== threadId || retained.sequence > checkpoint.throughSequence)) ||\n !executionRunIds(record).includes(progress.runId)\n )\n return yield* invalid(\"Active execution reference is missing, foreign or corrupt\", threadId);\n\n return record;\n });\n\n const original = yield* reader.record(progress.originalInput.recordId);\n const input = (yield* resolve(progress.originalInput)).payload;\n\n if (\n original === undefined ||\n original.sequence !== checkpoint.originalSequence ||\n input._tag !== \"UserInputRecorded\" ||\n input.kind !== \"user\" ||\n input.runId !== progress.runId ||\n input.submissionId !== progress.submissionId\n )\n return yield* invalid(\"Active execution has no exact original admitted input\", threadId);\n yield* resolve(progress.lastFact);\n if (progress.savedContext !== undefined) {\n const context = yield* resolve(progress.savedContext);\n\n if (context.payload._tag !== \"RunContextRecorded\" || !local.has(context.recordId))\n return yield* invalid(\"Saved context is not owned active state\", threadId);\n yield* validateContextBoundary(context.payload, original).pipe(\n Effect.mapError((cause) => invalid(cause.message, threadId)),\n );\n yield* readRunContext(context.payload, original, progress.savedContext.recordId).pipe(\n Effect.mapError((cause) => invalid(cause.message, threadId)),\n );\n }\n if (progress.latestResponse !== undefined) {\n const response = (yield* resolve(progress.latestResponse)).payload;\n\n if (\n response._tag !== \"ModelResponseRecorded\" ||\n response.turn !== progress.accounting.committedTurns ||\n progress.savedContext === undefined\n )\n return yield* invalid(\"Active execution has invalid declared operation evidence\", threadId);\n } else if (progress.accounting.committedTurns !== 0)\n return yield* invalid(\"Active accounting has no corresponding response\", threadId);\n if (progress.terminal !== undefined) {\n const terminal = (yield* resolve(progress.terminal)).payload;\n\n if (\n terminal._tag !== \"RunCompleted\" &&\n terminal._tag !== \"RunFailed\" &&\n terminal._tag !== \"SubmissionSettled\"\n )\n return yield* invalid(\"Active execution has invalid terminal intent\", threadId);\n if (progress.position === \"settled\" && terminal._tag !== \"SubmissionSettled\")\n return yield* invalid(\"Settled active state has no canonical terminal outcome\", threadId);\n }\n});\n\n/** An executed unfinished Run cannot be imported without its authoritative operational owner. */\nexport const validateImportedRunExecution = Effect.fnUntraced(function* (\n threadId: ThreadId,\n runId: RunId,\n tailSequence: CanonicalSequence,\n) {\n const reader = yield* ThreadImportReader;\n const checkpoint = yield* reader.execution(runId);\n\n if (checkpoint !== undefined)\n return yield* validateImportedExecution(threadId, checkpoint, tailSequence);\n const records = yield* reader.runRecords(runId);\n\n if (\n records.some(\n ({ record }) =>\n record.payload._tag === \"UserInputRecorded\" &&\n record.payload.kind === \"user\" &&\n record.payload.submissionId !== undefined,\n ) &&\n !records.some(\n ({ record }) => record.payload._tag === \"SubmissionSettled\" && record.payload.runId === runId,\n ) &&\n records.some(({ record }) => !isPreContinuationFact(record))\n )\n return yield* invalid(\"Unfinished execution is missing its authoritative checkpoint\", threadId);\n});\n\n/** Own the first page before entering a destination gate; reuse the same scoped source pull. */\nexport const captureImportSource = <E, R, A, E2, R2>(\n pages: Stream.Stream<ThreadArchive, E, R>,\n use: (captured: Stream.Stream<ThreadArchive, E, R>) => Effect.Effect<A, E2, R2>,\n): Effect.Effect<A, E | E2 | ThreadImportRejected, Exclude<R | R2, Scope.Scope>> =>\n Effect.scoped(\n Effect.suspend(() => {\n const phase = { writing: false };\n\n return Effect.gen(function* () {\n const pull = yield* Stream.toPull(Stream.rechunk(pages, 1));\n\n const first = yield* Pull.catchDone(pull, () =>\n Effect.fail(invalid(\"Missing transfer pages\")),\n );\n\n const codec = Schema.fromJsonString(ThreadArchive);\n\n const wire = yield* Schema.encodeEffect(codec)(first[0]).pipe(\n Effect.mapError((cause) => invalid(`Malformed first transfer page: ${cause.message}`)),\n );\n\n if (utf8ByteLength(wire) > MAX_THREAD_EXPORT_PAGE_BYTES)\n return yield* invalid(\"Transfer page exceeds 32 MiB\");\n\n const owned = yield* Schema.decodeEffect(codec)(wire).pipe(\n Effect.mapError((cause) => invalid(`Malformed first transfer page: ${cause.message}`)),\n );\n\n phase.writing = true;\n\n return yield* use(\n Stream.succeed(owned).pipe(Stream.concat(Stream.fromPull(Effect.succeed(pull)))),\n );\n }).pipe(Effect.provideService(ImportSourcePhase, phase));\n }),\n );\n\n/** Constant-size fold state; identity uniqueness belongs to staged destination indexes. */\nexport interface ThreadImportProgress {\n manifest: ThreadArchive | undefined;\n sequence: number;\n ended: boolean;\n cursor: string | undefined;\n counts: {\n admissions: number;\n aborts: number;\n approvals: number;\n resolutions: number;\n deliveries: number;\n };\n}\n\nexport const makeThreadImportProgress = (): ThreadImportProgress => ({\n manifest: undefined,\n sequence: 0,\n ended: false,\n cursor: undefined,\n counts: { admissions: 0, aborts: 0, approvals: 0, resolutions: 0, deliveries: 0 },\n});\n\n/** Capture before awaiting any writes; the retained manifest never retains page payload arrays. */\nexport const prepareImportPage = Effect.fnUntraced(function* (\n state: ThreadImportProgress,\n input: ThreadArchive,\n options?: { readonly verification?: boolean },\n) {\n const codec = Schema.fromJsonString(ThreadArchive);\n\n const wire = yield* Schema.encodeEffect(codec)(input).pipe(\n Effect.mapError(() => invalid(\"Malformed transfer page\")),\n );\n\n if (utf8ByteLength(wire) > MAX_THREAD_EXPORT_PAGE_BYTES)\n return yield* invalid(\"Transfer page exceeds 32 MiB\");\n\n const archive = yield* Schema.decodeEffect(codec)(wire).pipe(\n Effect.mapError(() => invalid(\"Malformed transfer page\")),\n );\n\n const { threadId } = archive;\n\n // A final source page may omit its cursor. Restored facts must remain exportable after\n // later admissions, commands or a worker seal change the manifest and continuation.\n if (\n !transferPageFits(threadId) ||\n archive.admissions.some((fact) => !admissionFitsTransfer(threadId, fact)) ||\n archive.commands.aborts.some((fact) => !abortFitsTransfer(threadId, fact)) ||\n archive.commands.approvals.some((fact) => !approvalFitsTransfer(threadId, fact)) ||\n archive.commands.resolutions.some((fact) => !resolutionFitsTransfer(threadId, fact)) ||\n archive.deliveries.some((fact) => !deliveryFitsTransfer(threadId, fact))\n )\n return yield* ThreadImportRejected.make({\n threadId,\n reason: \"unsupported-capacity\",\n message: \"Imported fact exceeds its bounded transfer representation\",\n });\n\n if (state.ended) return yield* invalid(\"Page after the final transfer page\", threadId);\n if (archive.format !== CURRENT_RECORD_FORMAT)\n return yield* ThreadImportRejected.make({\n threadId,\n reason: \"unsupported-format\",\n message: `Only ${CURRENT_RECORD_FORMAT} can be imported`,\n });\n if (state.manifest !== undefined && !sameTransferManifest(state.manifest, archive))\n return yield* invalid(\"Transfer snapshot changed\", threadId);\n if (\n archive.fromSequence !== state.sequence + 1 ||\n (archive.cursor !== undefined && archive.cursor === state.cursor)\n )\n return yield* invalid(\"Transfer page position is invalid\", threadId);\n if (archive.records.length > 0 && transferSections.some((section) => state.counts[section] > 0))\n return yield* invalid(\"Canonical records follow immutable fact sections\", threadId);\n if (\n archive.admissions.length > 0 &&\n state.counts.aborts +\n state.counts.approvals +\n state.counts.resolutions +\n state.counts.deliveries >\n 0\n )\n return yield* invalid(\"Admissions follow accepted command sections\", threadId);\n const records: Array<CanonicalRecordEnvelope> = [];\n const prepared: Array<PreparedImportBatch> = [];\n let index = 0;\n\n for (const batch of archive.batches) {\n const current: Array<RecordEnvelope> = [];\n const encoded: Array<RecordJson> = [];\n const firstSequence = sequence(state.sequence + 1);\n\n while (archive.records[index]?.batchId === batch.batchId) {\n const entry = archive.records[index]!;\n\n if (entry.threadId !== threadId || entry.sequence !== state.sequence + 1)\n return yield* invalid(\"Canonical identity or sequence mismatch\", threadId);\n\n const record = yield* decodeExportRecord(archive.format, entry.record).pipe(\n Effect.mapError((e) => invalid(e.message, threadId)),\n );\n\n if (record.payload._tag === \"RunContinuation\")\n return yield* invalid(\"Mutable interpreter progress is not canonical history\", threadId);\n\n records.push(CanonicalRecordEnvelope.make({ ...entry, record }));\n current.push(record);\n encoded.push(entry.record);\n index++;\n state.sequence++;\n }\n\n const canonical = yield* Schema.decodeUnknownEffect(\n Schema.toType(Schema.Struct(CanonicalBatch.fields)),\n )({ ...batch, records: current }).pipe(\n Effect.mapError(() => invalid(\"Empty or oversized canonical batch\", threadId)),\n Effect.map((value) => CanonicalBatch.make(value)),\n );\n\n const batchJson = canonicalJson({ ...batch, records: encoded });\n\n if (utf8ByteLength(batchJson) > 16 * 1024 * 1024)\n return yield* invalid(\"Canonical batch exceeds 16 MiB\", threadId);\n prepared.push({\n batch: canonical,\n batchJson,\n recordJson: encoded.map(canonicalJson),\n firstSequence,\n lastSequence: sequence(state.sequence),\n });\n }\n if (index !== archive.records.length || state.sequence > archive.tailSequence)\n return yield* invalid(\n \"Unbound canonical records or records beyond the captured tail\",\n threadId,\n );\n if (\n archive.admissions.length +\n archive.commands.aborts.length +\n archive.commands.approvals.length +\n archive.commands.resolutions.length +\n archive.deliveries.length >\n 0 &&\n state.sequence !== archive.tailSequence\n )\n return yield* invalid(\"Immutable sections precede the complete canonical prefix\", threadId);\n if (\n archive.commands.aborts.length +\n archive.commands.approvals.length +\n archive.commands.resolutions.length >\n 0 &&\n state.counts.admissions + archive.admissions.length !== archive.snapshot.admissions\n )\n return yield* invalid(\"Accepted commands precede the complete admission directory\", threadId);\n\n const sectionLength = (section: (typeof transferSections)[number]) =>\n section === \"admissions\"\n ? archive.admissions.length\n : section === \"deliveries\"\n ? archive.deliveries.length\n : archive.commands[section].length;\n\n for (let index = 0; index < transferSections.length; index++) {\n const section = transferSections[index]!;\n\n if (sectionLength(section) === 0) continue;\n if (\n transferSections\n .slice(0, index)\n .some((prior) => state.counts[prior] + sectionLength(prior) !== archive.snapshot[prior]) ||\n transferSections.slice(index + 1).some((later) => state.counts[later] !== 0)\n )\n return yield* invalid(\"Transfer fact sections are out of order\", threadId);\n }\n const required = transferDependencies(records);\n\n if (canonicalJson(required) !== canonicalJson([...archive.dependencies].sort()))\n return yield* invalid(\"Cross-range dependency directory is incomplete or ambiguous\", threadId);\n for (const section of transferSections) {\n state.counts[section] += sectionLength(section);\n if (state.counts[section] > archive.snapshot[section])\n return yield* invalid(`Too many ${section} facts`, threadId);\n }\n for (const admission of archive.admissions) {\n if (!options?.verification && admission.settledAt === undefined)\n return yield* invalid(\n \"Closed admission is missing its stable settlement timestamp\",\n threadId,\n );\n if (\n admission.threadId !== threadId ||\n (yield* digest(admission.inputPayload)) !== admission.inputDigest\n )\n return yield* invalid(\"Admission identity or input digest mismatch\", threadId);\n }\n for (const delivery of archive.deliveries) {\n const encoded = yield* Schema.encodeEffect(MessageDeliveryRecord)(delivery).pipe(\n Effect.mapError(() => invalid(\"Invalid delivery fact\", threadId)),\n );\n\n if (\n delivery.key.ownerThreadId !== threadId ||\n (!options?.verification &&\n (delivery.leaseUntilMillis !== null ||\n ![\"processed\", \"refused\"].includes(delivery.status))) ||\n (yield* digest(encoded.envelope)) !== delivery.envelopeDigest\n )\n return yield* invalid(\"Delivery ownership, lease or envelope digest mismatch\", threadId);\n }\n state.manifest = {\n ...archive,\n records: [],\n batches: [],\n admissions: [],\n commands: { aborts: [], approvals: [], resolutions: [] },\n deliveries: [],\n dependencies: [],\n };\n state.cursor = archive.cursor;\n state.ended = archive.cursor === undefined;\n\n return { archive, records, batches: prepared } satisfies PreparedImportPage;\n});\n\nexport const finishThreadImport = Effect.fnUntraced(function* (state: ThreadImportProgress) {\n const page = state.manifest;\n\n if (\n page === undefined ||\n !state.ended ||\n state.sequence !== page.tailSequence ||\n transferSections.some((section) => state.counts[section] !== page.snapshot[section])\n )\n return yield* invalid(\n \"Transfer stream ended before its complete canonical sequence and fact sections\",\n );\n\n return ThreadImportResult.make({\n threadId: page.threadId,\n format: page.format,\n tailSequence: page.tailSequence,\n recordCount: state.sequence,\n submissionCount: state.counts.admissions,\n });\n});\n\n/** An executed receipt must settle strictly after its own input. FIFO inputs are checked in one pass. */\nexport const verifyImportedInputOrder = Effect.fnUntraced(function* (\n admission: Pick<ThreadAdmission, \"threadId\" | \"submissionId\" | \"queueSequence\">,\n) {\n const reader = yield* ThreadImportReader;\n const settlement = yield* reader.record(submissionSettlementRecordId(admission.submissionId));\n\n if (settlement === undefined) return;\n const applied = yield* reader.record(submissionInputRecordId(admission.submissionId));\n const payload = settlement.record.payload;\n\n if (\n applied === undefined &&\n payload._tag === \"SubmissionSettled\" &&\n payload.outcome === \"aborted\"\n )\n return;\n if (applied === undefined || applied.sequence >= settlement.sequence)\n return yield* invalid(\n \"Executed settlement has no preceding canonical input\",\n admission.threadId,\n );\n});\n\n/** Rebuild ONE admitted submission from exact staged evidence; terminal state does not erase uncertainty. */\nexport const rebuildImportedSubmission = Effect.fnUntraced(function* (admission: ThreadAdmission) {\n const reader = yield* ThreadImportReader;\n const threadId = admission.threadId;\n const inputEntry = yield* reader.record(submissionInputRecordId(admission.submissionId));\n const payload = inputEntry?.record.payload;\n\n if (\n inputEntry !== undefined &&\n (payload?._tag !== \"UserInputRecorded\" ||\n payload.submissionId !== admission.submissionId ||\n (payload.kind !== \"user\" && payload.kind !== \"steering\") ||\n (payload.messageAdmission === undefined\n ? admission.messageAdmission !== undefined\n : admission.messageAdmission === undefined ||\n !sameInputMessage(payload.messageAdmission, admission.messageAdmission)) ||\n canonicalJson(payload.input) !== canonicalJson(admission.inputPayload))\n )\n return yield* invalid(\"Canonical input disagrees with its immutable admission\", threadId);\n const runId = payload?._tag === \"UserInputRecorded\" ? payload.runId : undefined;\n const host = runId === undefined ? undefined : yield* reader.runOwner(runId);\n\n if (inputEntry !== undefined && host === undefined)\n return yield* invalid(\"Canonical Run has no admitted owner\", threadId);\n\n const joined =\n host !== undefined && host.submissionId !== admission.submissionId\n ? host.submissionId\n : undefined;\n\n if (\n payload?._tag === \"UserInputRecorded\" &&\n payload.kind !== (joined === undefined ? \"user\" : \"steering\")\n )\n return yield* invalid(\"Canonical input kind disagrees with its admitted Run owner\", threadId);\n\n if (joined !== undefined && host !== undefined && host.queueSequence >= admission.queueSequence)\n return yield* invalid(\"Joined input precedes its host admission\", threadId);\n\n const settlement = (yield* reader.record(submissionSettlementRecordId(admission.submissionId)))\n ?.record;\n\n if (settlement !== undefined) {\n yield* validateCanonicalSettlement(settlement, admission).pipe(\n Effect.mapError(() => invalid(\"Canonical settlement disagrees with its receipt\", threadId)),\n );\n if (settlement.payload._tag !== \"SubmissionSettled\" || settlement.payload.runId !== runId)\n return yield* invalid(\"Settlement Run does not own its canonical input\", threadId);\n if (joined !== undefined) {\n const hostSettlement = (yield* reader.record(submissionSettlementRecordId(joined)))?.record\n .payload;\n\n if (hostSettlement?._tag !== \"SubmissionSettled\")\n return yield* invalid(\"Joined settlement has no host settlement\", threadId);\n yield* validateJoinedSettlement(settlement.payload, hostSettlement).pipe(\n Effect.mapError(() => invalid(\"Joined settlement conflicts with its host\", threadId)),\n );\n }\n }\n const ownRun = runIdForSubmission(admission.submissionId);\n\n const runRecords = yield* reader.runRecords(ownRun);\n\n if (inputEntry === undefined && runRecords.some(({ record }) => !isPreContinuationFact(record)))\n return yield* invalid(\"Admitted Run executed without its original canonical input\", threadId);\n const operations = toolOperationStates(runRecords, ownRun);\n const operationCounts = new Map<ToolCallId, number>();\n\n for (const state of operations)\n operationCounts.set(\n state.operation.toolCallId,\n (operationCounts.get(state.operation.toolCallId) ?? 0) + 1,\n );\n const toolRecords = new Map<ToolCallId, Array<CanonicalRecordEnvelope>>();\n\n for (const entry of runRecords) {\n const payload = entry.record.payload;\n\n if (!(\"toolCallId\" in payload)) continue;\n const entries = toolRecords.get(payload.toolCallId) ?? [];\n\n entries.push(entry);\n toolRecords.set(payload.toolCallId, entries);\n }\n const commands = yield* reader.commands(admission.submissionId);\n const approvals = commands.approvals.map((intent) => ApprovalDecisionIntent.make(intent));\n const resolutions = commands.resolutions.map((intent) => UnknownResolutionIntent.make(intent));\n const acceptedAbort = commands.aborts[0];\n\n if (commands.aborts.length > 1) return yield* invalid(\"Duplicate accepted abort\", threadId);\n const canonicalAbort = yield* reader.record(submissionAbortRecordId(admission.submissionId));\n\n if (canonicalAbort !== undefined && acceptedAbort === undefined)\n return yield* invalid(\"Canonical abort has no immutable accepted command\", threadId);\n\n const abort =\n canonicalAbort?.record.payload._tag === \"AbortRequested\"\n ? AbortIntent.make({\n ...canonicalAbort.record.payload,\n requestedAt: acceptedAbort?.requestedAt ?? canonicalAbort.record.createdAt,\n canonicalRecordId: canonicalAbort.record.recordId,\n })\n : acceptedAbort === undefined\n ? undefined\n : AbortIntent.make(acceptedAbort);\n\n if (\n acceptedAbort !== undefined &&\n abort !== undefined &&\n (acceptedAbort.author !== abort.author || acceptedAbort.reason !== abort.reason)\n )\n return yield* invalid(\"Accepted abort conflicts with the canonical command\", threadId);\n for (const command of [...approvals, ...resolutions]) {\n if (operationCounts.get(command.toolCallId) !== 1)\n return yield* invalid(\n \"Accepted tool command has no unambiguous canonical declaration\",\n threadId,\n );\n }\n for (const command of approvals) {\n const requested = (toolRecords.get(command.toolCallId) ?? []).filter(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalRequested\" && payload.toolCallId === command.toolCallId,\n );\n\n const decided = (toolRecords.get(command.toolCallId) ?? []).filter(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === command.toolCallId,\n );\n\n if (\n requested.length !== 1 ||\n decided.length > 1 ||\n decided.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" &&\n (payload.decision !== command.decision ||\n payload.resolver !== command.resolver ||\n payload.reason !== command.reason),\n )\n )\n return yield* invalid(\n \"Accepted approval conflicts with its canonical request or decision\",\n threadId,\n );\n }\n for (const command of resolutions) {\n if (command.resolution._tag === \"AbortSubmission\" && abort === undefined)\n return yield* invalid(\n \"AbortSubmission resolution has no accepted or canonical abort\",\n threadId,\n );\n\n const resolved = (toolRecords.get(command.toolCallId) ?? []).filter(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallResolved\" &&\n payload.toolCallId === command.toolCallId &&\n (payload.resolution === \"safe-retry\" ? \"execution\" : \"factual\") ===\n unknownResolutionKind(command.resolution),\n );\n\n const expected =\n command.resolution._tag === \"CompletedWithResult\"\n ? command.resolution.isFailure\n ? \"failed-with-error\"\n : \"completed-with-result\"\n : command.resolution._tag === \"NeverHappened\"\n ? \"never-started\"\n : command.resolution._tag === \"SafeToRetry\"\n ? \"safe-retry\"\n : undefined;\n\n if (\n resolved.length > 1 ||\n resolved.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallResolved\" &&\n (payload.resolution !== expected ||\n payload.author !== command.author ||\n payload.reason !== command.reason),\n )\n )\n return yield* invalid(\"Accepted resolution conflicts with its canonical audit\", threadId);\n if (command.resolution._tag === \"CompletedWithResult\") {\n const result = command.resolution;\n\n const outcomes = (toolRecords.get(command.toolCallId) ?? []).filter(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallSettled\" && payload.toolCallId === command.toolCallId,\n );\n\n if (\n outcomes.length > 1 ||\n outcomes.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallSettled\" &&\n (payload.isFailure !== result.isFailure ||\n canonicalJson(payload.result) !== canonicalJson(result.result)),\n )\n )\n return yield* invalid(\n \"Accepted resolution conflicts with the canonical tool result\",\n threadId,\n );\n }\n }\n\n const unknown = operations\n .filter(\n (state) =>\n !state.settled &&\n !state.resolved &&\n (state.unknown ||\n (!state.dispatchBlocked &&\n state.operation.executionKind === \"ordinary\" &&\n state.operation.executionClass !== \"readonly\")),\n )\n .map((state) => state.operation.toolCallId);\n\n const acceptedApprovals = new Set(approvals.map((intent) => intent.toolCallId));\n\n const pendingApprovals = runRecords\n .filter(({ record: { payload } }) => payload._tag === \"ToolApprovalRequested\")\n .flatMap(({ record }) => {\n if (record.payload._tag !== \"ToolApprovalRequested\") return [];\n const id = record.payload.toolCallId;\n\n return acceptedApprovals.has(id) ||\n (toolRecords.get(id) ?? []).some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === id,\n )\n ? []\n : [id];\n });\n\n const suspension =\n pendingApprovals.length === 0\n ? undefined\n : SuspensionSnapshot.make({\n reason: ApprovalPendingSuspension.make({\n toolCallIds: [pendingApprovals[0], ...pendingApprovals.slice(1)],\n }),\n suspendedAt: runRecords.at(-1)?.record.createdAt ?? admission.createdAt,\n });\n\n // An admitted input need not have reached the log. Its immutable fact is the work;\n // recovery materializes an admitted Thread before it becomes ready.\n const state =\n settlement !== undefined\n ? \"settled\"\n : joined !== undefined\n ? \"joined\"\n : unknown.length > 0\n ? \"unknown\"\n : suspension !== undefined\n ? \"suspended\"\n : inputEntry !== undefined\n ? \"input-applied\"\n : (yield* reader.hasAgent(admission.agentId))\n ? \"ready\"\n : \"admitted\";\n\n return RebuiltSubmission.make({\n admission,\n state,\n ...(inputEntry === undefined\n ? {}\n : {\n inputApplied: InputAppliedMarker.make({\n recordId: inputEntry.record.recordId,\n sequence: inputEntry.sequence,\n }),\n }),\n ...(joined === undefined ? {} : { joinedHostSubmissionId: joined }),\n ...(settlement === undefined ? {} : { settlement }),\n ...(state !== \"suspended\" || suspension === undefined ? {} : { suspension }),\n unknownToolCallIds: unknown,\n ...(abort === undefined ? {} : { abort }),\n approvals,\n resolutions,\n });\n});\n\n/** Immediate persistent history has no ledger/checkpoint owner, but still needs a terminal Run fact. */\nexport const validateClosedRun = Effect.fnUntraced(function* (threadId: ThreadId, runId: RunId) {\n const reader = yield* ThreadImportReader;\n const records = yield* reader.runRecords(runId);\n\n const opened = records.some(\n ({ record: { payload } }) =>\n (payload._tag === \"UserInputRecorded\" ||\n payload._tag === \"RunStarted\" ||\n payload._tag === \"ModelResponseRecorded\") &&\n payload.runId === runId,\n );\n\n const closed = records.some(\n ({ record: { payload } }) =>\n (payload._tag === \"RunCompleted\" ||\n payload._tag === \"RunFailed\" ||\n payload._tag === \"SubmissionSettled\") &&\n payload.runId === runId,\n );\n\n if (opened && !closed) return yield* invalid(\"Transfer contains an unfinished Run\", threadId);\n});\n\n/** Idle transfer keeps closed receipts, never the authority to finish their former work. */\nexport const rebuildClosedSubmission = Effect.fnUntraced(function* (admission: ThreadAdmission) {\n if (admission.settledAt === undefined)\n return yield* invalid(\n \"Closed admission is missing its stable settlement timestamp\",\n admission.threadId,\n );\n const rebuilt = yield* rebuildImportedSubmission(admission);\n const reader = yield* ThreadImportReader;\n\n if (\n rebuilt.state !== \"settled\" ||\n rebuilt.unknownToolCallIds.length > 0 ||\n rebuilt.suspension !== undefined\n )\n return yield* invalid(\"Transfer contains unfinished accepted work\", admission.threadId);\n if (rebuilt.abort !== undefined && rebuilt.abort.canonicalRecordId === undefined)\n return yield* invalid(\"Transfer contains an unapplied abort\", admission.threadId);\n const records = yield* reader.runRecords(runIdForSubmission(admission.submissionId));\n\n const decidedApprovals = new Set(\n records.flatMap(({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" ? [payload.toolCallId] : [],\n ),\n );\n\n if (\n records.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalRequested\" && !decidedApprovals.has(payload.toolCallId),\n )\n )\n return yield* invalid(\"Transfer contains an unresolved approval\", admission.threadId);\n for (const approval of rebuilt.approvals)\n if (\n !records.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === approval.toolCallId,\n )\n )\n return yield* invalid(\"Transfer contains an unapplied approval\", admission.threadId);\n for (const resolution of rebuilt.resolutions)\n if (\n resolution.resolution._tag !== \"AbortSubmission\" &&\n !records.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallResolved\" &&\n payload.toolCallId === resolution.toolCallId &&\n (payload.resolution === \"safe-retry\" ? \"execution\" : \"factual\") ===\n unknownResolutionKind(resolution.resolution),\n )\n )\n return yield* invalid(\"Transfer contains an unapplied resolution\", admission.threadId);\n yield* verifyImportedInputOrder(admission);\n\n return rebuilt;\n});\n\n/** Encode one page at a time and retain upstream stream errors and requirements. */\nexport const reencodeThread = Effect.fnUntraced(function* <E, R>(\n source: Stream.Stream<ThreadExport, E, R>,\n) {\n const target = yield* ThreadImport;\n\n return yield* target.import(\n source.pipe(\n Stream.mapEffect((page) =>\n Schema.encodeEffect(ThreadExport)(page).pipe(\n Effect.flatMap(Schema.decodeUnknownEffect(ThreadArchive)),\n Effect.mapError(() => invalid(\"Unable to encode source page\", page.threadId)),\n ),\n ),\n ),\n );\n});\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAgBA,IAAa,qBAAb,MAAa,2BAA2B,QAAQ,QA4B9C,CAAC,CAAC,yCAAyC,CAAC,CAAC;;CAE7C,OAAO,MAAM,QAAuC;EAClD,OAAO,MAAM,eACX,QAAQ,KAAK,oBAAoB,MAAM,CAAC,CAAC,KACvC,QAAQ,IAAI,kBAAkB;GAC5B,QAAQ,OAAO;GACf,OAAO,YACL,OAAO,KAAK;IACV,UAAU,QAAQ;IAClB,WAAW;KAAE,MAAM;KAAkB,iBAAiB,QAAQ;IAAgB;IAC9E,MAAM;KACJ,OAAO,QAAQ;KACf,GAAI,QAAQ,kBAAkB,KAAA,IAC1B,CAAC,IACD,EAAE,eAAe,QAAQ,cAAc;IAC7C;GACF,CAAC;EACL,CAAC,CACH,CACF;CACF;AACF;;AAGA,IAAa,6BAAb,cAAgD,QAAQ,QAYtD,CAAC,CAAC,iDAAiD,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;ACpBxD,MAAM,mBAAmB,OAAO,cAAc,YAAY;;;AAI1D,MAAa,gBAAgB,OAAO,OAAO;CACzC,GAAG,aAAa;CAChB,SAAS,OAAO,MACd,OAAO,OAAO;EAAE,GAAG,wBAAwB;EAAQ,QAAQ;CAAW,CAAC,CACzE,CAAC,CAAC,MAAM,OAAO,YAAA,GAA0C,CAAC;AAC5D,CAAC;AAID,MAAM,wBAAwB,sBAAsB,eAAe;AACnE,MAAM,oBAAoB,sBAAsB,eAAe;AAC/D,MAAM,uBAAuB,sBAAsB,kBAAkB;AACrE,MAAM,yBAAyB,sBAAsB,oBAAoB;AACzE,MAAM,uBAAuB,sBAAsB,qBAAqB;AAExE,IAAa,qBAAb,cAAwC,OAAO,MAC7C,yCACF,CAAC,CAAC;CACA,UAAU;CACV,QAAQ,OAAO;CACf,cAAc;CACd,aAAa,OAAO;CACpB,iBAAiB,OAAO;AAC1B,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,uBAAb,cAA0C,OAAO,YAAkC,CAAC,CAClF,wBACA;CACE,UAAU,OAAO,YAAY,QAAQ;CACrC,QAAQ,OAAO,SAAS;EACtB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF,CAAC;CACD,SAAS,OAAO;AAClB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,eAAb,cAAkC,QAAQ,QAOxC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC;AAE1C,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC;CACA,WAAW;CACX,OAAO;CACP,cAAc,OAAO,YAAY,kBAAkB;CACnD,wBAAwB,OAAO,YAAY,YAAY;CACvD,YAAY,OAAO,YAAY,cAAc;CAC7C,YAAY,OAAO,YAAY,kBAAkB;CACjD,oBAAoB,OAAO,MAAM,UAAU;CAC3C,OAAO,OAAO,YAAY,WAAW;CACrC,WAAW,OAAO,MAAM,sBAAsB;CAC9C,aAAa,OAAO,MAAM,uBAAuB;AACnD,CAAC,CAAC,CAAC,CAAC;;AAiBJ,MAAa,2BAA2B,OAAO,WAAW,WACxD,OACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,UAAU,OAAO;CACvB,MAAM,UAAU,MAAM,OAAO;CAE7B,IAAI,QAAQ,SAAS,wBAAwB;EAC3C,MAAM,cAAc,OAAO,QAAQ,QAAQ,aAAa;EAExD,IACE,gBAAgB,KAAA,KAChB,YAAY,aAAa,MAAM,YAC/B,YAAY,YAAY,MAAM,YAC9B,MAAM,OAAO,aAAa,0BAA0B,QAAQ,iBAE5D,OAAO,OAAO,QAAQ,4CAA4C,MAAM,QAAQ;EAGlF,IACE,EAAC,OAHoB,iBAAiB,aAAa,MAAM,EAAA,CAGhD,MACN,WACC,OAAO,SAAS,SAChB,OAAO,MAAM,MAAM,SAAS,aAC5B,OAAO,MAAM,OAAO,QAAQ,OAChC,GAEA,OAAO,OAAO,QACZ,mEACA,MAAM,QACR;CACJ;CAEA,IAAI,QAAQ,SAAS,sBAAsB;EACzC,MAAM,QAAQ,OAAO,OAAO,SAAS,QAAQ,KAAK;EAElD,MAAM,WACJ,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,QAAQ,wBAAwB,MAAM,YAAY,CAAC;EAE9F,IACE,aAAa,KAAA,KACb,SAAS,aAAa,MAAM,YAC5B,SAAS,YAAY,MAAM,UAE3B,OAAO,OAAO,QAAQ,gDAAgD,MAAM,QAAQ;EACtF,OAAO,wBAAwB,SAAS,QAAQ,CAAC,CAAC,KAChD,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,MAAM,QAAQ,CAAC,CACnE;CACF;CAEA,MAAM,aACJ,QAAQ,SAAS,uBACb,CAAC,QAAQ,aAAa,QAAQ,IAAI,IAClC,QAAQ,SAAS,uBACf,QAAQ,WACR,QAAQ,SAAS,oBACf;EACE,QAAQ;EACR,QAAQ;EACR,QAAQ;EACR,QAAQ;EACR,QAAQ;CACV,CAAC,CAAC,QAAQ,QAAQ,QAAQ,KAAA,CAAS,IACnC,CAAC;CAEX,KAAK,MAAM,OAAO,YAAY;EAC5B,MAAM,WAAW,OAAO,QAAQ,IAAI,QAAQ;EAE5C,IACE,aAAa,KAAA,KACb,SAAS,aAAa,MAAM,YAC5B,SAAS,YAAY,MAAM,YAC1B,cAAc,OAAO,SAAS,aAAa,IAAI,UAEhD,OAAO,OAAO,QAAQ,oDAAoD,MAAM,QAAQ;CAC5F;CACA,IAAI,QAAQ,SAAS,sBAAsB;EACzC,MAAM,WAAW,OAAO,QAAQ,QAAQ,YAAY,QAAQ,EAAA,CAAI,OAAO;EACvE,MAAM,QAAQ,OAAO,QAAQ,QAAQ,KAAK,QAAQ,EAAA,CAAI,OAAO;EAC7D,MAAM,WAAW,OAAO,OAAO,SAAS,QAAQ,SAAS;EAEzD,IACE,aAAa,KAAA,KACb,SAAS,IAAI,kBAAkB,MAAM,YACrC,SAAS,IAAI,cAAc,QAAQ,aACnC,SAAS,WAAW,aACpB,SAAS,YAAY,QACrB,SAAS,eAAe,QACxB,SAAS,YAAY,QAAQ,mBAC7B,SAAS,mBAAmB,QAAQ,kBACpC,SAAS,SAAS,aAAa,QAAQ,kBACvC,SAAS,SAAS,sBAAsB,QAAQ,SAAS,aACzD,SAAS,SAAS,iBAAiB,QAAQ,SAAS,kBACpD,SAAS,SAAS,gBAAgB,QAAQ,SAAS,eACnD,SAAS,SAAS,oBAAoB,KAAA,KACtC,SAAS,SAAS,gBAAgB,cAAc,QAAQ,aACxD,SAAS,SAAS,gBAAgB,OAAO,OAAO,aAAa,MAAM,YACnE,KAAK,SAAS,yBACd,CAAC,OAAO,cAAc,SAAS,CAAC,CAC9B,KAAK,QAAQ,QACb,SAAS,SAAS,gBAAgB,OAAO,MAC3C,GAEA,OAAO,OAAO,QACZ,sEACA,MAAM,QACR;EACF,IAAI,QAAQ,SAAS,wBAEjB;OAAA,QAAQ,gBAAgB,SAAS,SAAS,eAC1C,CAAC,OAAO,cAAc,sBAAsB,OAAO,SAAS,OAAO,eAAe,CAAC,CACjF,QAAQ,WACR,SAAS,SAAS,eACpB,GAEA,OAAO,OAAO,QACZ,6DACA,MAAM,QACR;EAAA,OACG,IACL,QAAQ,SAAS,2BACjB,QAAQ,kBAAkB,QAAQ,kBAClC,QAAQ,kBAAkB,QAAQ,aAClC,QAAQ,aAAa,gBACrB,QAAQ,mBAAmB,SAAS,SAAS,gBAAgB,kBAC7D,QAAQ,uBAAuB,SAAS,SAAS,gBAAgB,sBACjE,QAAQ,UAAU,SAAS,SAAS,gBAAgB,OAAO,SAC3D,CAAC,OAAO,cAAc,sBAAsB,OAAO,MAAM,CAAC,CACxD,QAAQ,QACR,SAAS,SAAS,gBAAgB,OAAO,MAC3C,KACA,CAAC,OAAO,cAAc,sBAAsB,OAAO,KAAK,CAAC,CACvD,QAAQ,OACR,SAAS,SAAS,gBAAgB,OAAO,KAC3C,KACA,CAAC,OAAO,cAAc,sBAAsB,OAAO,MAAM,CAAC,CACxD,QAAQ,QACR,SAAS,SAAS,gBAAgB,OAAO,MAC3C,GAEA,OAAO,OAAO,QAAQ,kDAAkD,MAAM,QAAQ;CAC1F;AACF,CAAC;AAED,MAAM,WAAW,OAAO,WAAW,iBAAiB;AAEpD,MAAM,UAAU,UACd,WAAW,KAAK,CAAC,CAAC,KAAK,OAAO,eAAe,QAAQ,iCAAiC,CAAC,CAAC;AAE1F,MAAa,wBAAwB,SAAiB,aACpD,qBAAqB,KAAK;CACxB,QAAQ;CACR;CACA,GAAI,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,SAAS;AAC/C,CAAC;AAEH,MAAM,UAAU;;AAGhB,MAAa,4BAA4B,OAAO,WAAW,WACzD,UACA,YACA,cACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,WAAW,WAAW;CAC5B,MAAM,YAAY,OAAO,OAAO,UAAU,SAAS,YAAY;CAE/D,MAAM,OAAO,OAAO,OAAO,WAAW,SAAS,KAAK,EAAA,CAAG,QAAQ,UAC7D,gBAAgB,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,CACvD;CAEA,MAAM,QAAQ,IAAI,IAAI,WAAW,YAAY,KAAK,WAAW,CAAC,OAAO,UAAU,MAAM,CAAC,CAAC;CAEvF,IACE,cAAc,KAAA,KACd,UAAU,aAAa,YACvB,mBAAmB,UAAU,YAAY,MAAM,SAAS,SACxD,WAAW,eAAe,aACxB,KAAK,UAAU;EAAC;EAAkB,SAAS;EAAO,WAAW;CAAO,CAAC,KACvE,WAAW,kBAAkB,gBAC7B,WAAW,mBAAmB,WAAW,mBACzC,MAAM,SAAS,WAAW,YAAY,UACtC,WAAW,YAAY,MACpB,WAAW,CAAC,oBAAoB,MAAM,KAAK,CAAC,gBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,CAC9F,KACA,IAAI,QAAQ,UAAU,MAAM,YAAY,WAAW,eAAe,CAAC,CAAC,WAClE,WAAW,oBACb,CAAC,eAAe,KAAK,WAAW,eAAe,GAE/C,OAAO,OAAO,QACZ,sEACA,QACF;CACF,KAAK,MAAM,MAAM,MAAM,KAAK,GAC1B,KAAK,OAAO,OAAO,OAAO,EAAE,OAAO,KAAA,GACjC,OAAO,OAAO,QAAQ,uDAAuD,QAAQ;CAEzF,MAAM,UAAU,OAAO,WAAW,WAAW,KAAoC;EAC/E,MAAM,WAAW,OAAO,OAAO,OAAO,IAAI,QAAQ;EAClD,MAAM,SAAS,MAAM,IAAI,IAAI,QAAQ,KAAK,UAAU;EAEpD,IACE,WAAW,KAAA,KACV,aAAa,KAAA,MACX,SAAS,aAAa,YAAY,SAAS,WAAW,WAAW,oBACpE,CAAC,gBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,GAEhD,OAAO,OAAO,QAAQ,6DAA6D,QAAQ;EAE7F,OAAO;CACT,CAAC;CAED,MAAM,WAAW,OAAO,OAAO,OAAO,SAAS,cAAc,QAAQ;CACrE,MAAM,SAAS,OAAO,QAAQ,SAAS,aAAa,EAAA,CAAG;CAEvD,IACE,aAAa,KAAA,KACb,SAAS,aAAa,WAAW,oBACjC,MAAM,SAAS,uBACf,MAAM,SAAS,UACf,MAAM,UAAU,SAAS,SACzB,MAAM,iBAAiB,SAAS,cAEhC,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;CACzF,OAAO,QAAQ,SAAS,QAAQ;CAChC,IAAI,SAAS,iBAAiB,KAAA,GAAW;EACvC,MAAM,UAAU,OAAO,QAAQ,SAAS,YAAY;EAEpD,IAAI,QAAQ,QAAQ,SAAS,wBAAwB,CAAC,MAAM,IAAI,QAAQ,QAAQ,GAC9E,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;EAC3E,OAAO,wBAAwB,QAAQ,SAAS,QAAQ,CAAC,CAAC,KACxD,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,QAAQ,CAAC,CAC7D;EACA,OAAO,eAAe,QAAQ,SAAS,UAAU,SAAS,aAAa,QAAQ,CAAC,CAAC,KAC/E,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,QAAQ,CAAC,CAC7D;CACF;CACA,IAAI,SAAS,mBAAmB,KAAA,GAAW;EACzC,MAAM,YAAY,OAAO,QAAQ,SAAS,cAAc,EAAA,CAAG;EAE3D,IACE,SAAS,SAAS,2BAClB,SAAS,SAAS,SAAS,WAAW,kBACtC,SAAS,iBAAiB,KAAA,GAE1B,OAAO,OAAO,QAAQ,4DAA4D,QAAQ;CAC9F,OAAO,IAAI,SAAS,WAAW,mBAAmB,GAChD,OAAO,OAAO,QAAQ,mDAAmD,QAAQ;CACnF,IAAI,SAAS,aAAa,KAAA,GAAW;EACnC,MAAM,YAAY,OAAO,QAAQ,SAAS,QAAQ,EAAA,CAAG;EAErD,IACE,SAAS,SAAS,kBAClB,SAAS,SAAS,eAClB,SAAS,SAAS,qBAElB,OAAO,OAAO,QAAQ,gDAAgD,QAAQ;EAChF,IAAI,SAAS,aAAa,aAAa,SAAS,SAAS,qBACvD,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;CAC5F;AACF,CAAC;;AAGD,MAAa,+BAA+B,OAAO,WAAW,WAC5D,UACA,OACA,cACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,aAAa,OAAO,OAAO,UAAU,KAAK;CAEhD,IAAI,eAAe,KAAA,GACjB,OAAO,OAAO,0BAA0B,UAAU,YAAY,YAAY;CAC5E,MAAM,UAAU,OAAO,OAAO,WAAW,KAAK;CAE9C,IACE,QAAQ,MACL,EAAE,aACD,OAAO,QAAQ,SAAS,uBACxB,OAAO,QAAQ,SAAS,UACxB,OAAO,QAAQ,iBAAiB,KAAA,CACpC,KACA,CAAC,QAAQ,MACN,EAAE,aAAa,OAAO,QAAQ,SAAS,uBAAuB,OAAO,QAAQ,UAAU,KAC1F,KACA,QAAQ,MAAM,EAAE,aAAa,CAAC,sBAAsB,MAAM,CAAC,GAE3D,OAAO,OAAO,QAAQ,gEAAgE,QAAQ;AAClG,CAAC;;AAGD,MAAa,uBACX,OACA,QAEA,OAAO,OACL,OAAO,cAAc;CACnB,MAAM,QAAQ,EAAE,SAAS,MAAM;CAE/B,OAAO,OAAO,IAAI,aAAa;EAC7B,MAAM,OAAO,OAAO,OAAO,OAAO,OAAO,QAAQ,OAAO,CAAC,CAAC;EAE1D,MAAM,QAAQ,OAAO,KAAK,UAAU,YAClC,OAAO,KAAK,QAAQ,wBAAwB,CAAC,CAC/C;EAEA,MAAM,QAAQ,OAAO,eAAe,aAAa;EAEjD,MAAM,OAAO,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KACvD,OAAO,UAAU,UAAU,QAAQ,kCAAkC,MAAM,SAAS,CAAC,CACvF;EAEA,IAAI,eAAe,IAAI,IAAA,UACrB,OAAO,OAAO,QAAQ,8BAA8B;EAEtD,MAAM,QAAQ,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KACpD,OAAO,UAAU,UAAU,QAAQ,kCAAkC,MAAM,SAAS,CAAC,CACvF;EAEA,MAAM,UAAU;EAEhB,OAAO,OAAO,IACZ,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,OAAO,OAAO,OAAO,SAAS,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CACjF;CACF,CAAC,CAAC,CAAC,KAAK,OAAO,eAAe,mBAAmB,KAAK,CAAC;AACzD,CAAC,CACH;AAiBF,MAAa,kCAAwD;CACnE,UAAU,KAAA;CACV,UAAU;CACV,OAAO;CACP,QAAQ,KAAA;CACR,QAAQ;EAAE,YAAY;EAAG,QAAQ;EAAG,WAAW;EAAG,aAAa;EAAG,YAAY;CAAE;AAClF;;AAGA,MAAa,oBAAoB,OAAO,WAAW,WACjD,OACA,OACA,SACA;CACA,MAAM,QAAQ,OAAO,eAAe,aAAa;CAEjD,MAAM,OAAO,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,KACpD,OAAO,eAAe,QAAQ,yBAAyB,CAAC,CAC1D;CAEA,IAAI,eAAe,IAAI,IAAA,UACrB,OAAO,OAAO,QAAQ,8BAA8B;CAEtD,MAAM,UAAU,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KACtD,OAAO,eAAe,QAAQ,yBAAyB,CAAC,CAC1D;CAEA,MAAM,EAAE,aAAa;CAIrB,IACE,CAAC,iBAAiB,QAAQ,KAC1B,QAAQ,WAAW,MAAM,SAAS,CAAC,sBAAsB,UAAU,IAAI,CAAC,KACxE,QAAQ,SAAS,OAAO,MAAM,SAAS,CAAC,kBAAkB,UAAU,IAAI,CAAC,KACzE,QAAQ,SAAS,UAAU,MAAM,SAAS,CAAC,qBAAqB,UAAU,IAAI,CAAC,KAC/E,QAAQ,SAAS,YAAY,MAAM,SAAS,CAAC,uBAAuB,UAAU,IAAI,CAAC,KACnF,QAAQ,WAAW,MAAM,SAAS,CAAC,qBAAqB,UAAU,IAAI,CAAC,GAEvE,OAAO,OAAO,qBAAqB,KAAK;EACtC;EACA,QAAQ;EACR,SAAS;CACX,CAAC;CAEH,IAAI,MAAM,OAAO,OAAO,OAAO,QAAQ,sCAAsC,QAAQ;CACrF,IAAI,QAAQ,WAAA,yBACV,OAAO,OAAO,qBAAqB,KAAK;EACtC;EACA,QAAQ;EACR,SAAS,QAAQ,sBAAsB;CACzC,CAAC;CACH,IAAI,MAAM,aAAa,KAAA,KAAa,CAAC,qBAAqB,MAAM,UAAU,OAAO,GAC/E,OAAO,OAAO,QAAQ,6BAA6B,QAAQ;CAC7D,IACE,QAAQ,iBAAiB,MAAM,WAAW,KACzC,QAAQ,WAAW,KAAA,KAAa,QAAQ,WAAW,MAAM,QAE1D,OAAO,OAAO,QAAQ,qCAAqC,QAAQ;CACrE,IAAI,QAAQ,QAAQ,SAAS,KAAK,iBAAiB,MAAM,YAAY,MAAM,OAAO,WAAW,CAAC,GAC5F,OAAO,OAAO,QAAQ,oDAAoD,QAAQ;CACpF,IACE,QAAQ,WAAW,SAAS,KAC5B,MAAM,OAAO,SACX,MAAM,OAAO,YACb,MAAM,OAAO,cACb,MAAM,OAAO,aACb,GAEF,OAAO,OAAO,QAAQ,+CAA+C,QAAQ;CAC/E,MAAM,UAA0C,CAAC;CACjD,MAAM,WAAuC,CAAC;CAC9C,IAAI,QAAQ;CAEZ,KAAK,MAAM,SAAS,QAAQ,SAAS;EACnC,MAAM,UAAiC,CAAC;EACxC,MAAM,UAA6B,CAAC;EACpC,MAAM,gBAAgB,SAAS,MAAM,WAAW,CAAC;EAEjD,OAAO,QAAQ,QAAQ,MAAM,EAAE,YAAY,MAAM,SAAS;GACxD,MAAM,QAAQ,QAAQ,QAAQ;GAE9B,IAAI,MAAM,aAAa,YAAY,MAAM,aAAa,MAAM,WAAW,GACrE,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;GAE3E,MAAM,SAAS,OAAO,mBAAmB,QAAQ,QAAQ,MAAM,MAAM,CAAC,CAAC,KACrE,OAAO,UAAU,MAAM,QAAQ,EAAE,SAAS,QAAQ,CAAC,CACrD;GAEA,IAAI,OAAO,QAAQ,SAAS,mBAC1B,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;GAEzF,QAAQ,KAAK,wBAAwB,KAAK;IAAE,GAAG;IAAO;GAAO,CAAC,CAAC;GAC/D,QAAQ,KAAK,MAAM;GACnB,QAAQ,KAAK,MAAM,MAAM;GACzB;GACA,MAAM;EACR;EAEA,MAAM,YAAY,OAAO,OAAO,oBAC9B,OAAO,OAAO,OAAO,OAAO,eAAe,MAAM,CAAC,CACpD,CAAC,CAAC;GAAE,GAAG;GAAO,SAAS;EAAQ,CAAC,CAAC,CAAC,KAChC,OAAO,eAAe,QAAQ,sCAAsC,QAAQ,CAAC,GAC7E,OAAO,KAAK,UAAU,eAAe,KAAK,KAAK,CAAC,CAClD;EAEA,MAAM,YAAY,cAAc;GAAE,GAAG;GAAO,SAAS;EAAQ,CAAC;EAE9D,IAAI,eAAe,SAAS,IAAI,UAC9B,OAAO,OAAO,QAAQ,kCAAkC,QAAQ;EAClE,SAAS,KAAK;GACZ,OAAO;GACP;GACA,YAAY,QAAQ,IAAI,aAAa;GACrC;GACA,cAAc,SAAS,MAAM,QAAQ;EACvC,CAAC;CACH;CACA,IAAI,UAAU,QAAQ,QAAQ,UAAU,MAAM,WAAW,QAAQ,cAC/D,OAAO,OAAO,QACZ,iEACA,QACF;CACF,IACE,QAAQ,WAAW,SACjB,QAAQ,SAAS,OAAO,SACxB,QAAQ,SAAS,UAAU,SAC3B,QAAQ,SAAS,YAAY,SAC7B,QAAQ,WAAW,SACnB,KACF,MAAM,aAAa,QAAQ,cAE3B,OAAO,OAAO,QAAQ,4DAA4D,QAAQ;CAC5F,IACE,QAAQ,SAAS,OAAO,SACtB,QAAQ,SAAS,UAAU,SAC3B,QAAQ,SAAS,YAAY,SAC7B,KACF,MAAM,OAAO,aAAa,QAAQ,WAAW,WAAW,QAAQ,SAAS,YAEzE,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAE9F,MAAM,iBAAiB,YACrB,YAAY,eACR,QAAQ,WAAW,SACnB,YAAY,eACV,QAAQ,WAAW,SACnB,QAAQ,SAAS,QAAQ,CAAC;CAElC,KAAK,IAAI,QAAQ,GAAG,QAAQ,iBAAiB,QAAQ,SAAS;EAC5D,MAAM,UAAU,iBAAiB;EAEjC,IAAI,cAAc,OAAO,MAAM,GAAG;EAClC,IACE,iBACG,MAAM,GAAG,KAAK,CAAC,CACf,MAAM,UAAU,MAAM,OAAO,SAAS,cAAc,KAAK,MAAM,QAAQ,SAAS,MAAM,KACzF,iBAAiB,MAAM,QAAQ,CAAC,CAAC,CAAC,MAAM,UAAU,MAAM,OAAO,WAAW,CAAC,GAE3E,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;CAC7E;CACA,MAAM,WAAW,qBAAqB,OAAO;CAE7C,IAAI,cAAc,QAAQ,MAAM,cAAc,CAAC,GAAG,QAAQ,YAAY,CAAC,CAAC,KAAK,CAAC,GAC5E,OAAO,OAAO,QAAQ,+DAA+D,QAAQ;CAC/F,KAAK,MAAM,WAAW,kBAAkB;EACtC,MAAM,OAAO,YAAY,cAAc,OAAO;EAC9C,IAAI,MAAM,OAAO,WAAW,QAAQ,SAAS,UAC3C,OAAO,OAAO,QAAQ,YAAY,QAAQ,SAAS,QAAQ;CAC/D;CACA,KAAK,MAAM,aAAa,QAAQ,YAAY;EAC1C,IAAI,CAAC,SAAS,gBAAgB,UAAU,cAAc,KAAA,GACpD,OAAO,OAAO,QACZ,+DACA,QACF;EACF,IACE,UAAU,aAAa,aACtB,OAAO,OAAO,UAAU,YAAY,OAAO,UAAU,aAEtD,OAAO,OAAO,QAAQ,+CAA+C,QAAQ;CACjF;CACA,KAAK,MAAM,YAAY,QAAQ,YAAY;EACzC,MAAM,UAAU,OAAO,OAAO,aAAa,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,KAC1E,OAAO,eAAe,QAAQ,yBAAyB,QAAQ,CAAC,CAClE;EAEA,IACE,SAAS,IAAI,kBAAkB,YAC9B,CAAC,SAAS,iBACR,SAAS,qBAAqB,QAC7B,CAAC,CAAC,aAAa,SAAS,CAAC,CAAC,SAAS,SAAS,MAAM,OACrD,OAAO,OAAO,QAAQ,QAAQ,OAAO,SAAS,gBAE/C,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;CAC3F;CACA,MAAM,WAAW;EACf,GAAG;EACH,SAAS,CAAC;EACV,SAAS,CAAC;EACV,YAAY,CAAC;EACb,UAAU;GAAE,QAAQ,CAAC;GAAG,WAAW,CAAC;GAAG,aAAa,CAAC;EAAE;EACvD,YAAY,CAAC;EACb,cAAc,CAAC;CACjB;CACA,MAAM,SAAS,QAAQ;CACvB,MAAM,QAAQ,QAAQ,WAAW,KAAA;CAEjC,OAAO;EAAE;EAAS;EAAS,SAAS;CAAS;AAC/C,CAAC;AAED,MAAa,qBAAqB,OAAO,WAAW,WAAW,OAA6B;CAC1F,MAAM,OAAO,MAAM;CAEnB,IACE,SAAS,KAAA,KACT,CAAC,MAAM,SACP,MAAM,aAAa,KAAK,gBACxB,iBAAiB,MAAM,YAAY,MAAM,OAAO,aAAa,KAAK,SAAS,QAAQ,GAEnF,OAAO,OAAO,QACZ,gFACF;CAEF,OAAO,mBAAmB,KAAK;EAC7B,UAAU,KAAK;EACf,QAAQ,KAAK;EACb,cAAc,KAAK;EACnB,aAAa,MAAM;EACnB,iBAAiB,MAAM,OAAO;CAChC,CAAC;AACH,CAAC;;AAGD,MAAa,2BAA2B,OAAO,WAAW,WACxD,WACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,aAAa,OAAO,OAAO,OAAO,6BAA6B,UAAU,YAAY,CAAC;CAE5F,IAAI,eAAe,KAAA,GAAW;CAC9B,MAAM,UAAU,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CACpF,MAAM,UAAU,WAAW,OAAO;CAElC,IACE,YAAY,KAAA,KACZ,QAAQ,SAAS,uBACjB,QAAQ,YAAY,WAEpB;CACF,IAAI,YAAY,KAAA,KAAa,QAAQ,YAAY,WAAW,UAC1D,OAAO,OAAO,QACZ,wDACA,UAAU,QACZ;AACJ,CAAC;;AAGD,MAAa,4BAA4B,OAAO,WAAW,WAAW,WAA4B;CAChG,MAAM,SAAS,OAAO;CACtB,MAAM,WAAW,UAAU;CAC3B,MAAM,aAAa,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CACvF,MAAM,UAAU,YAAY,OAAO;CAEnC,IACE,eAAe,KAAA,MACd,SAAS,SAAS,uBACjB,QAAQ,iBAAiB,UAAU,gBAClC,QAAQ,SAAS,UAAU,QAAQ,SAAS,eAC5C,QAAQ,qBAAqB,KAAA,IAC1B,UAAU,qBAAqB,KAAA,IAC/B,UAAU,qBAAqB,KAAA,KAC/B,CAAC,iBAAiB,QAAQ,kBAAkB,UAAU,gBAAgB,MAC1E,cAAc,QAAQ,KAAK,MAAM,cAAc,UAAU,YAAY,IAEvE,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;CAC1F,MAAM,QAAQ,SAAS,SAAS,sBAAsB,QAAQ,QAAQ,KAAA;CACtE,MAAM,OAAO,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,OAAO,SAAS,KAAK;CAE3E,IAAI,eAAe,KAAA,KAAa,SAAS,KAAA,GACvC,OAAO,OAAO,QAAQ,uCAAuC,QAAQ;CAEvE,MAAM,SACJ,SAAS,KAAA,KAAa,KAAK,iBAAiB,UAAU,eAClD,KAAK,eACL,KAAA;CAEN,IACE,SAAS,SAAS,uBAClB,QAAQ,UAAU,WAAW,KAAA,IAAY,SAAS,aAElD,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAE9F,IAAI,WAAW,KAAA,KAAa,SAAS,KAAA,KAAa,KAAK,iBAAiB,UAAU,eAChF,OAAO,OAAO,QAAQ,4CAA4C,QAAQ;CAE5E,MAAM,cAAc,OAAO,OAAO,OAAO,6BAA6B,UAAU,YAAY,CAAC,EAAA,EACzF;CAEJ,IAAI,eAAe,KAAA,GAAW;EAC5B,OAAO,4BAA4B,YAAY,SAAS,CAAC,CAAC,KACxD,OAAO,eAAe,QAAQ,mDAAmD,QAAQ,CAAC,CAC5F;EACA,IAAI,WAAW,QAAQ,SAAS,uBAAuB,WAAW,QAAQ,UAAU,OAClF,OAAO,OAAO,QAAQ,mDAAmD,QAAQ;EACnF,IAAI,WAAW,KAAA,GAAW;GACxB,MAAM,kBAAkB,OAAO,OAAO,OAAO,6BAA6B,MAAM,CAAC,EAAA,EAAI,OAClF;GAEH,IAAI,gBAAgB,SAAS,qBAC3B,OAAO,OAAO,QAAQ,4CAA4C,QAAQ;GAC5E,OAAO,yBAAyB,WAAW,SAAS,cAAc,CAAC,CAAC,KAClE,OAAO,eAAe,QAAQ,6CAA6C,QAAQ,CAAC,CACtF;EACF;CACF;CACA,MAAM,SAAS,mBAAmB,UAAU,YAAY;CAExD,MAAM,aAAa,OAAO,OAAO,WAAW,MAAM;CAElD,IAAI,eAAe,KAAA,KAAa,WAAW,MAAM,EAAE,aAAa,CAAC,sBAAsB,MAAM,CAAC,GAC5F,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAC9F,MAAM,aAAa,oBAAoB,YAAY,MAAM;CACzD,MAAM,kCAAkB,IAAI,IAAwB;CAEpD,KAAK,MAAM,SAAS,YAClB,gBAAgB,IACd,MAAM,UAAU,aACf,gBAAgB,IAAI,MAAM,UAAU,UAAU,KAAK,KAAK,CAC3D;CACF,MAAM,8BAAc,IAAI,IAAgD;CAExE,KAAK,MAAM,SAAS,YAAY;EAC9B,MAAM,UAAU,MAAM,OAAO;EAE7B,IAAI,EAAE,gBAAgB,UAAU;EAChC,MAAM,UAAU,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC;EAExD,QAAQ,KAAK,KAAK;EAClB,YAAY,IAAI,QAAQ,YAAY,OAAO;CAC7C;CACA,MAAM,WAAW,OAAO,OAAO,SAAS,UAAU,YAAY;CAC9D,MAAM,YAAY,SAAS,UAAU,KAAK,WAAW,uBAAuB,KAAK,MAAM,CAAC;CACxF,MAAM,cAAc,SAAS,YAAY,KAAK,WAAW,wBAAwB,KAAK,MAAM,CAAC;CAC7F,MAAM,gBAAgB,SAAS,OAAO;CAEtC,IAAI,SAAS,OAAO,SAAS,GAAG,OAAO,OAAO,QAAQ,4BAA4B,QAAQ;CAC1F,MAAM,iBAAiB,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CAE3F,IAAI,mBAAmB,KAAA,KAAa,kBAAkB,KAAA,GACpD,OAAO,OAAO,QAAQ,qDAAqD,QAAQ;CAErF,MAAM,QACJ,gBAAgB,OAAO,QAAQ,SAAS,mBACpC,YAAY,KAAK;EACf,GAAG,eAAe,OAAO;EACzB,aAAa,eAAe,eAAe,eAAe,OAAO;EACjE,mBAAmB,eAAe,OAAO;CAC3C,CAAC,IACD,kBAAkB,KAAA,IAChB,KAAA,IACA,YAAY,KAAK,aAAa;CAEtC,IACE,kBAAkB,KAAA,KAClB,UAAU,KAAA,MACT,cAAc,WAAW,MAAM,UAAU,cAAc,WAAW,MAAM,SAEzE,OAAO,OAAO,QAAQ,uDAAuD,QAAQ;CACvF,KAAK,MAAM,WAAW,CAAC,GAAG,WAAW,GAAG,WAAW,GACjD,IAAI,gBAAgB,IAAI,QAAQ,UAAU,MAAM,GAC9C,OAAO,OAAO,QACZ,kEACA,QACF;CAEJ,KAAK,MAAM,WAAW,WAAW;EAC/B,MAAM,aAAa,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC3D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,2BAA2B,QAAQ,eAAe,QAAQ,UAC/E;EAEA,MAAM,WAAW,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QACzD,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,QAAQ,UAC7E;EAEA,IACE,UAAU,WAAW,KACrB,QAAQ,SAAS,KACjB,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,0BAChB,QAAQ,aAAa,QAAQ,YAC5B,QAAQ,aAAa,QAAQ,YAC7B,QAAQ,WAAW,QAAQ,OACjC,GAEA,OAAO,OAAO,QACZ,sEACA,QACF;CACJ;CACA,KAAK,MAAM,WAAW,aAAa;EACjC,IAAI,QAAQ,WAAW,SAAS,qBAAqB,UAAU,KAAA,GAC7D,OAAO,OAAO,QACZ,iEACA,QACF;EAEF,MAAM,YAAY,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC1D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBACjB,QAAQ,eAAe,QAAQ,eAC9B,QAAQ,eAAe,eAAe,cAAc,eACnD,sBAAsB,QAAQ,UAAU,CAC9C;EAEA,MAAM,WACJ,QAAQ,WAAW,SAAS,wBACxB,QAAQ,WAAW,YACjB,sBACA,0BACF,QAAQ,WAAW,SAAS,kBAC1B,kBACA,QAAQ,WAAW,SAAS,gBAC1B,eACA,KAAA;EAEV,IACE,SAAS,SAAS,KAClB,SAAS,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,uBAChB,QAAQ,eAAe,YACtB,QAAQ,WAAW,QAAQ,UAC3B,QAAQ,WAAW,QAAQ,OACjC,GAEA,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;EAC1F,IAAI,QAAQ,WAAW,SAAS,uBAAuB;GACrD,MAAM,SAAS,QAAQ;GAEvB,MAAM,YAAY,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC1D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,qBAAqB,QAAQ,eAAe,QAAQ,UACzE;GAEA,IACE,SAAS,SAAS,KAClB,SAAS,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBAChB,QAAQ,cAAc,OAAO,aAC5B,cAAc,QAAQ,MAAM,MAAM,cAAc,OAAO,MAAM,EACnE,GAEA,OAAO,OAAO,QACZ,gEACA,QACF;EACJ;CACF;CAEA,MAAM,UAAU,WACb,QACE,UACC,CAAC,MAAM,WACP,CAAC,MAAM,aACN,MAAM,WACJ,CAAC,MAAM,mBACN,MAAM,UAAU,kBAAkB,cAClC,MAAM,UAAU,mBAAmB,WAC3C,CAAC,CACA,KAAK,UAAU,MAAM,UAAU,UAAU;CAE5C,MAAM,oBAAoB,IAAI,IAAI,UAAU,KAAK,WAAW,OAAO,UAAU,CAAC;CAE9E,MAAM,mBAAmB,WACtB,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,QAAQ,SAAS,uBAAuB,CAAC,CAC7E,SAAS,EAAE,aAAa;EACvB,IAAI,OAAO,QAAQ,SAAS,yBAAyB,OAAO,CAAC;EAC7D,MAAM,KAAK,OAAO,QAAQ;EAE1B,OAAO,kBAAkB,IAAI,EAAE,MAC5B,YAAY,IAAI,EAAE,KAAK,CAAC,EAAA,CAAG,MACzB,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,EACrE,IACE,CAAC,IACD,CAAC,EAAE;CACT,CAAC;CAEH,MAAM,aACJ,iBAAiB,WAAW,IACxB,KAAA,IACA,mBAAmB,KAAK;EACtB,QAAQ,0BAA0B,KAAK,EACrC,aAAa,CAAC,iBAAiB,IAAI,GAAG,iBAAiB,MAAM,CAAC,CAAC,EACjE,CAAC;EACD,aAAa,WAAW,GAAG,EAAE,CAAC,EAAE,OAAO,aAAa,UAAU;CAChE,CAAC;CAIP,MAAM,QACJ,eAAe,KAAA,IACX,YACA,WAAW,KAAA,IACT,WACA,QAAQ,SAAS,IACf,YACA,eAAe,KAAA,IACb,cACA,eAAe,KAAA,IACb,mBACC,OAAO,OAAO,SAAS,UAAU,OAAO,KACvC,UACA;CAEhB,OAAO,kBAAkB,KAAK;EAC5B;EACA;EACA,GAAI,eAAe,KAAA,IACf,CAAC,IACD,EACE,cAAc,mBAAmB,KAAK;GACpC,UAAU,WAAW,OAAO;GAC5B,UAAU,WAAW;EACvB,CAAC,EACH;EACJ,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,EAAE,wBAAwB,OAAO;EACjE,GAAI,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;EACjD,GAAI,UAAU,eAAe,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;EAC1E,oBAAoB;EACpB,GAAI,UAAU,KAAA,IAAY,CAAC,IAAI,EAAE,MAAM;EACvC;EACA;CACF,CAAC;AACH,CAAC;;AAGD,MAAa,oBAAoB,OAAO,WAAW,WAAW,UAAoB,OAAc;CAE9F,MAAM,UAAU,QAAO,OADD,mBAAA,CACQ,WAAW,KAAK;CAE9C,MAAM,SAAS,QAAQ,MACpB,EAAE,QAAQ,EAAE,iBACV,QAAQ,SAAS,uBAChB,QAAQ,SAAS,gBACjB,QAAQ,SAAS,4BACnB,QAAQ,UAAU,KACtB;CAEA,MAAM,SAAS,QAAQ,MACpB,EAAE,QAAQ,EAAE,iBACV,QAAQ,SAAS,kBAChB,QAAQ,SAAS,eACjB,QAAQ,SAAS,wBACnB,QAAQ,UAAU,KACtB;CAEA,IAAI,UAAU,CAAC,QAAQ,OAAO,OAAO,QAAQ,uCAAuC,QAAQ;AAC9F,CAAC;;AAGD,MAAa,0BAA0B,OAAO,WAAW,WAAW,WAA4B;CAC9F,IAAI,UAAU,cAAc,KAAA,GAC1B,OAAO,OAAO,QACZ,+DACA,UAAU,QACZ;CACF,MAAM,UAAU,OAAO,0BAA0B,SAAS;CAC1D,MAAM,SAAS,OAAO;CAEtB,IACE,QAAQ,UAAU,aAClB,QAAQ,mBAAmB,SAAS,KACpC,QAAQ,eAAe,KAAA,GAEvB,OAAO,OAAO,QAAQ,8CAA8C,UAAU,QAAQ;CACxF,IAAI,QAAQ,UAAU,KAAA,KAAa,QAAQ,MAAM,sBAAsB,KAAA,GACrE,OAAO,OAAO,QAAQ,wCAAwC,UAAU,QAAQ;CAClF,MAAM,UAAU,OAAO,OAAO,WAAW,mBAAmB,UAAU,YAAY,CAAC;CAEnF,MAAM,mBAAmB,IAAI,IAC3B,QAAQ,SAAS,EAAE,QAAQ,EAAE,gBAC3B,QAAQ,SAAS,wBAAwB,CAAC,QAAQ,UAAU,IAAI,CAAC,CACnE,CACF;CAEA,IACE,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,2BAA2B,CAAC,iBAAiB,IAAI,QAAQ,UAAU,CACxF,GAEA,OAAO,OAAO,QAAQ,4CAA4C,UAAU,QAAQ;CACtF,KAAK,MAAM,YAAY,QAAQ,WAC7B,IACE,CAAC,QAAQ,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,SAAS,UAC9E,GAEA,OAAO,OAAO,QAAQ,2CAA2C,UAAU,QAAQ;CACvF,KAAK,MAAM,cAAc,QAAQ,aAC/B,IACE,WAAW,WAAW,SAAS,qBAC/B,CAAC,QAAQ,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBACjB,QAAQ,eAAe,WAAW,eACjC,QAAQ,eAAe,eAAe,cAAc,eACnD,sBAAsB,WAAW,UAAU,CACjD,GAEA,OAAO,OAAO,QAAQ,6CAA6C,UAAU,QAAQ;CACzF,OAAO,yBAAyB,SAAS;CAEzC,OAAO;AACT,CAAC;;AAGD,MAAa,iBAAiB,OAAO,WAAW,WAC9C,QACA;CAGA,OAAO,QAAO,OAFQ,aAAA,CAED,OACnB,OAAO,KACL,OAAO,WAAW,SAChB,OAAO,aAAa,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,KACtC,OAAO,QAAQ,OAAO,oBAAoB,aAAa,CAAC,GACxD,OAAO,eAAe,QAAQ,gCAAgC,KAAK,QAAQ,CAAC,CAC9E,CACF,CACF,CACF;AACF,CAAC"}
|
|
1
|
+
{"version":3,"file":"ThreadImport-CkPAxXU5.mjs","names":[],"sources":["../src/durable/internal/thread-import-reader.ts","../src/durable/ThreadImport.ts"],"sourcesContent":["import { Context, type Effect, Layer, type Stream } from \"effect\";\n\nimport type { AgentId, RunId, SubmissionId, ThreadId } from \"../../core/Identifiers.ts\";\nimport type { IdempotencyKey } from \"../../core/Receipt.ts\";\nimport type { MessageDeliveryRecord } from \"../MessageDelivery.ts\";\nimport type { CanonicalRecordEnvelope, RecordEnvelope, RecordId } from \"../Records.ts\";\nimport type {\n ThreadAdmission,\n ThreadCommands,\n ThreadReadRequest,\n ThreadStoreError,\n ExecutionCheckpoint,\n} from \"../ThreadStore.ts\";\nimport { RunContextReader } from \"./run-context-reader.ts\";\n\n/** Exact indexes for one captured Thread transaction. Run records and commands enforce count and byte bounds. */\nexport class ThreadImportReader extends Context.Service<\n ThreadImportReader,\n {\n /** Full canonical history in this same snapshot, including archived facts. */\n readonly read: (\n request: ThreadReadRequest,\n ) => Stream.Stream<CanonicalRecordEnvelope, ThreadStoreError>;\n readonly delivery: (\n messageId: IdempotencyKey,\n ) => Effect.Effect<MessageDeliveryRecord | undefined, ThreadStoreError>;\n readonly record: (\n id: RecordId,\n ) => Effect.Effect<CanonicalRecordEnvelope | undefined, ThreadStoreError>;\n readonly admission: (\n id: SubmissionId,\n ) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n readonly runOwner: (id: RunId) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n readonly runRecords: (\n id: RunId,\n ) => Effect.Effect<ReadonlyArray<CanonicalRecordEnvelope>, ThreadStoreError>;\n readonly execution: (\n id: RunId,\n ) => Effect.Effect<ExecutionCheckpoint | undefined, ThreadStoreError>;\n readonly commands: (\n id: SubmissionId,\n ) => Effect.Effect<typeof ThreadCommands.Type, ThreadStoreError>;\n readonly hasAgent: (id: AgentId) => Effect.Effect<boolean, ThreadStoreError>;\n }\n>()(\"@effect-agent/thread/ThreadImportReader\") {\n /** Bind context reconstruction to this same captured transaction. */\n static layer(reader: ThreadImportReader[\"Service\"]) {\n return Layer.succeedContext(\n Context.make(ThreadImportReader, reader).pipe(\n Context.add(RunContextReader, {\n record: reader.record,\n read: (request) =>\n reader.read({\n threadId: request.threadId,\n selection: { _tag: \"PromptEvidence\", throughSequence: request.throughSequence },\n page: {\n limit: request.limit,\n ...(request.afterSequence === undefined\n ? {}\n : { afterSequence: request.afterSequence }),\n },\n }),\n }),\n ),\n );\n }\n}\n\n/** Delivery evidence reads: the importing Thread uses staged facts; foreign Threads use retained facts. */\nexport class ThreadDeliveryImportReader extends Context.Service<\n ThreadDeliveryImportReader,\n {\n readonly admission: (\n threadId: ThreadId,\n submissionId: SubmissionId,\n ) => Effect.Effect<ThreadAdmission | undefined, ThreadStoreError>;\n readonly record: (\n threadId: ThreadId,\n recordId: RecordId,\n ) => Effect.Effect<RecordEnvelope | undefined, ThreadStoreError>;\n }\n>()(\"@effect-agent/thread/ThreadDeliveryImportReader\") {}\n","import { Context, Effect, Pull, Schema, Stream, type Scope } from \"effect\";\n\nimport { InputMessage } from \"../capabilities/Messaging.ts\";\nimport type { RunId } from \"../core/Identifiers.ts\";\nimport { SubmissionId, ThreadId, ToolCallId } from \"../core/Identifiers.ts\";\nimport { WorkerRef } from \"../core/Worker.ts\";\nimport { canonicalJson, digestJson, utf8ByteLength } from \"./Digest.ts\";\nimport { readRunContext, validateContextBoundary } from \"./internal/run-context.ts\";\nimport { ThreadImportReader } from \"./internal/thread-import-reader.ts\";\nimport { ImportSourcePhase } from \"./internal/thread-transfer-source.ts\";\nimport { toolOperationStates } from \"./internal/tool-operations.ts\";\nimport { MessageDeliveryRecord } from \"./MessageDelivery.ts\";\nimport { decodeExportRecord } from \"./RecordFormat.ts\";\nimport {\n CanonicalBatch,\n CanonicalRecordEnvelope,\n CanonicalSequence,\n CURRENT_RECORD_FORMAT,\n RecordEnvelope,\n RecordJson,\n SubtreeBudgetReserved,\n} from \"./Records.ts\";\nimport {\n executionRunIds,\n isOperationalRecord,\n isPreContinuationFact,\n validateSuffix,\n} from \"./RunContinuation.ts\";\nimport { runIdForSubmission } from \"./RunJournal.ts\";\nimport { validateCanonicalSettlement, validateJoinedSettlement } from \"./SettlementPublisher.ts\";\nimport {\n AbortIntent,\n ApprovalDecisionIntent,\n ApprovalPendingSuspension,\n InputAppliedMarker,\n SubmissionState,\n SuspensionSnapshot,\n UnknownResolutionIntent,\n unknownResolutionKind,\n submissionInputRecordId,\n submissionSettlementRecordId,\n submissionAbortRecordId,\n} from \"./SubmissionLedger.ts\";\nimport {\n type ExecutionCheckpoint,\n MAX_THREAD_EXPORT_PAGE_BYTES,\n MAX_THREAD_EXPORT_PAGE_RECORDS,\n ThreadAdmission,\n ThreadExport,\n ThreadAbortFact,\n ThreadApprovalFact,\n ThreadResolutionFact,\n makeTransferFactCheck,\n transferPageFits,\n type ThreadStoreError,\n} from \"./ThreadStore.ts\";\nimport { transferDependencies, sameTransferManifest, transferSections } from \"./ThreadTransfer.ts\";\nimport { workIndexChanges } from \"./ThreadWork.ts\";\n\nexport { ThreadImportReader, ThreadDeliveryImportReader } from \"./internal/thread-import-reader.ts\";\n\nconst sameInputMessage = Schema.toEquivalence(InputMessage);\n\n/** One owned wire page. Canonical batches precede admissions; all admissions precede accepted commands.\n * Every fact section is required, including empty sections. This order permits indexed atomic staging. */\nexport const ThreadArchive = Schema.Struct({\n ...ThreadExport.fields,\n records: Schema.Array(\n Schema.Struct({ ...CanonicalRecordEnvelope.fields, record: RecordJson }),\n ).check(Schema.isMaxLength(MAX_THREAD_EXPORT_PAGE_RECORDS)),\n});\n\nexport type ThreadArchive = typeof ThreadArchive.Type;\n\nconst admissionFitsTransfer = makeTransferFactCheck(ThreadAdmission);\nconst abortFitsTransfer = makeTransferFactCheck(ThreadAbortFact);\nconst approvalFitsTransfer = makeTransferFactCheck(ThreadApprovalFact);\nconst resolutionFitsTransfer = makeTransferFactCheck(ThreadResolutionFact);\nconst deliveryFitsTransfer = makeTransferFactCheck(MessageDeliveryRecord);\n\nexport class ThreadImportResult extends Schema.Class<ThreadImportResult>(\n \"@effect-agent/thread/ThreadImportResult\",\n)({\n threadId: ThreadId,\n format: Schema.String,\n tailSequence: CanonicalSequence,\n recordCount: Schema.Natural,\n submissionCount: Schema.Natural,\n}) {}\n\nexport class ThreadImportRejected extends Schema.TaggedError<ThreadImportRejected>()(\n \"ThreadImportRejected\",\n {\n threadId: Schema.optionalKey(ThreadId),\n reason: Schema.Literals([\n \"unsupported-format\",\n \"invalid-archive\",\n \"target-not-empty\",\n \"unsupported-obligations\",\n \"destination-conflict\",\n \"admission-policy-conflict\",\n \"admission-policy-unavailable\",\n \"unsupported-capacity\",\n ]),\n message: Schema.String,\n },\n) {}\n\n/** One owner transaction consumes the stream; E and R are preserved, including rollback on interruption. */\nexport class ThreadImport extends Context.Service<\n ThreadImport,\n {\n readonly import: <E, R>(\n pages: Stream.Stream<ThreadArchive, E, R>,\n ) => Effect.Effect<ThreadImportResult, E | ThreadImportRejected | ThreadStoreError, R>;\n }\n>()(\"@effect-agent/thread/ThreadImport\") {}\n\nexport class RebuiltSubmission extends Schema.Class<RebuiltSubmission>(\n \"@effect-agent/thread/RebuiltSubmission\",\n)({\n admission: ThreadAdmission,\n state: SubmissionState,\n inputApplied: Schema.optionalKey(InputAppliedMarker),\n joinedHostSubmissionId: Schema.optionalKey(SubmissionId),\n settlement: Schema.optionalKey(RecordEnvelope),\n suspension: Schema.optionalKey(SuspensionSnapshot),\n unknownToolCallIds: Schema.Array(ToolCallId),\n abort: Schema.optionalKey(AbortIntent),\n approvals: Schema.Array(ApprovalDecisionIntent),\n resolutions: Schema.Array(UnknownResolutionIntent),\n}) {}\n\nexport interface PreparedImportBatch {\n readonly batch: CanonicalBatch;\n readonly batchJson: string;\n readonly recordJson: ReadonlyArray<string>;\n readonly firstSequence: CanonicalSequence;\n readonly lastSequence: CanonicalSequence;\n}\n\nexport interface PreparedImportPage {\n readonly archive: ThreadArchive;\n readonly records: ReadonlyArray<CanonicalRecordEnvelope>;\n readonly batches: ReadonlyArray<PreparedImportBatch>;\n}\n\n/** Resolve every declared immutable reference, even in a preparation without a continuation. */\nexport const verifyImportedReferences = Effect.fnUntraced(function* (\n entry: CanonicalRecordEnvelope,\n) {\n const reader = yield* ThreadImportReader;\n const resolve = reader.record;\n const payload = entry.record.payload;\n\n if (payload._tag === \"WorkHandoffCompleted\") {\n const preparation = yield* resolve(payload.preparationId);\n\n if (\n preparation === undefined ||\n preparation.threadId !== entry.threadId ||\n preparation.sequence >= entry.sequence ||\n entry.record.recordId !== `work-handoff-completed:${payload.preparationId}`\n )\n return yield* invalid(\"Missing or ambiguous handoff preparation\", entry.threadId);\n const changes = yield* workIndexChanges(preparation, \"none\");\n\n if (\n !changes.some(\n (change) =>\n change._tag === \"Put\" &&\n change.entry.owner._tag === \"Handoff\" &&\n change.entry.id === payload.ownerId,\n )\n )\n return yield* invalid(\n \"Handoff closure does not identify its preparation's exact owner\",\n entry.threadId,\n );\n }\n\n if (payload._tag === \"RunContextRecorded\") {\n const owner = yield* reader.runOwner(payload.runId);\n\n const original =\n owner === undefined ? undefined : yield* resolve(submissionInputRecordId(owner.submissionId));\n\n if (\n original === undefined ||\n original.threadId !== entry.threadId ||\n original.sequence >= entry.sequence\n )\n return yield* invalid(\"Saved context has no original admitted input\", entry.threadId);\n yield* validateContextBoundary(payload, original).pipe(\n Effect.mapError((error) => invalid(error.message, entry.threadId)),\n );\n }\n\n const references =\n payload._tag === \"WorkerInputRefused\"\n ? [payload.reservation, payload.stop]\n : payload._tag === \"RunContextRecorded\"\n ? payload.retained\n : payload._tag === \"RunContinuation\"\n ? [\n payload.originalInput,\n payload.savedContext,\n payload.latestResponse,\n payload.terminal,\n payload.lastFact,\n ].filter((ref) => ref !== undefined)\n : [];\n\n for (const ref of references) {\n const evidence = yield* resolve(ref.recordId);\n\n if (\n evidence === undefined ||\n evidence.threadId !== entry.threadId ||\n evidence.sequence >= entry.sequence ||\n (\"sequence\" in ref && evidence.sequence !== ref.sequence)\n )\n return yield* invalid(\"Missing, foreign or forward canonical dependency\", entry.threadId);\n }\n if (payload._tag === \"WorkerInputRefused\") {\n const request = (yield* resolve(payload.reservation.recordId))!.record.payload;\n const stop = (yield* resolve(payload.stop.recordId))!.record.payload;\n const retained = yield* reader.delivery(payload.messageId);\n\n if (\n retained === undefined ||\n retained.key.ownerThreadId !== entry.threadId ||\n retained.key.messageId !== payload.messageId ||\n retained.status !== \"refused\" ||\n retained.receipt !== null ||\n retained.settlement !== null ||\n retained.version !== payload.deliveryVersion ||\n retained.envelopeDigest !== payload.envelopeDigest ||\n retained.envelope.threadId !== payload.workerThreadId ||\n retained.envelope.deliveryPrincipal !== payload.receiver.principal ||\n retained.envelope.admissionKey !== payload.receiver.idempotencyKey ||\n retained.envelope.inputDigest !== payload.receiver.inputDigest ||\n retained.envelope.workerAdmission === undefined ||\n retained.envelope.workerAdmission.messageId !== payload.messageId ||\n retained.envelope.workerAdmission.origin.source.threadId !== entry.threadId ||\n stop._tag !== \"WorkerStopRequested\" ||\n !Schema.toEquivalence(WorkerRef)(\n stop.command.worker,\n retained.envelope.workerAdmission.origin.worker,\n )\n )\n return yield* invalid(\n \"Worker refusal has no exact refused delivery and source stop proof\",\n entry.threadId,\n );\n if (request._tag === \"WorkerInputRequested\") {\n if (\n request.inputDigest !== retained.envelope.inputDigest ||\n !Schema.toEquivalence(MessageDeliveryRecord.fields.envelope.fields.workerAdmission)(\n request.admission,\n retained.envelope.workerAdmission,\n )\n )\n return yield* invalid(\n \"Worker refusal reservation differs from its exact request\",\n entry.threadId,\n );\n } else if (\n request._tag !== \"SubtreeBudgetReserved\" ||\n request.childThreadId !== payload.workerThreadId ||\n request.reservationId !== payload.messageId ||\n request.lifetime !== \"background\" ||\n request.executionRunId !== retained.envelope.workerAdmission.executionRunId ||\n request.sourceSubmissionId !== retained.envelope.workerAdmission.sourceSubmissionId ||\n request.depth !== retained.envelope.workerAdmission.origin.depth ||\n !Schema.toEquivalence(SubtreeBudgetReserved.fields.policy)(\n request.policy,\n retained.envelope.workerAdmission.origin.policy,\n ) ||\n !Schema.toEquivalence(SubtreeBudgetReserved.fields.grant)(\n request.grant,\n retained.envelope.workerAdmission.origin.grant,\n ) ||\n !Schema.toEquivalence(SubtreeBudgetReserved.fields.budget)(\n request.budget,\n retained.envelope.workerAdmission.origin.budget,\n )\n )\n return yield* invalid(\"Worker refusal has no exact source reservation\", entry.threadId);\n }\n});\n\nconst sequence = Schema.decodeSync(CanonicalSequence);\n\nconst digest = (value: Schema.Json) =>\n digestJson(value).pipe(Effect.mapError(() => invalid(\"Unable to digest imported facts\")));\n\nexport const invalidThreadArchive = (message: string, threadId?: ThreadId) =>\n ThreadImportRejected.make({\n reason: \"invalid-archive\",\n message,\n ...(threadId === undefined ? {} : { threadId }),\n });\n\nconst invalid = invalidThreadArchive;\n\n/** Validate authoritative active state against the same staged/captured history and admissions. */\nexport const validateImportedExecution = Effect.fnUntraced(function* (\n threadId: ThreadId,\n checkpoint: ExecutionCheckpoint,\n tailSequence: CanonicalSequence,\n) {\n const reader = yield* ThreadImportReader;\n const progress = checkpoint.progress;\n const admission = yield* reader.admission(progress.submissionId);\n\n const own = (yield* reader.runRecords(progress.runId)).filter((entry) =>\n executionRunIds(entry.record).includes(progress.runId),\n );\n\n const local = new Map(checkpoint.operational.map((record) => [record.recordId, record]));\n\n if (\n admission === undefined ||\n admission.threadId !== threadId ||\n runIdForSubmission(admission.submissionId) !== progress.runId ||\n checkpoint.progressRecord.recordId !==\n JSON.stringify([\"continuation@1\", progress.runId, checkpoint.batchId]) ||\n checkpoint.throughSequence > tailSequence ||\n checkpoint.originalSequence > checkpoint.throughSequence ||\n local.size !== checkpoint.operational.length ||\n checkpoint.operational.some(\n (record) => !isOperationalRecord(record) || !executionRunIds(record).includes(progress.runId),\n ) ||\n own.filter((entry) => entry.sequence <= checkpoint.throughSequence).length !==\n checkpoint.canonicalRecords ||\n !validateSuffix(own, checkpoint.throughSequence)\n )\n return yield* invalid(\n \"Active execution identity, revision or history boundary is invalid\",\n threadId,\n );\n for (const id of local.keys())\n if ((yield* reader.record(id)) !== undefined)\n return yield* invalid(\"Operational identity collides with retained history\", threadId);\n\n const resolve = Effect.fnUntraced(function* (ref: typeof progress.originalInput) {\n const retained = yield* reader.record(ref.recordId);\n const record = local.get(ref.recordId) ?? retained?.record;\n\n if (\n record === undefined ||\n (retained !== undefined &&\n (retained.threadId !== threadId || retained.sequence > checkpoint.throughSequence)) ||\n !executionRunIds(record).includes(progress.runId)\n )\n return yield* invalid(\"Active execution reference is missing, foreign or corrupt\", threadId);\n\n return record;\n });\n\n const original = yield* reader.record(progress.originalInput.recordId);\n const input = (yield* resolve(progress.originalInput)).payload;\n\n if (\n original === undefined ||\n original.sequence !== checkpoint.originalSequence ||\n input._tag !== \"UserInputRecorded\" ||\n input.kind !== \"user\" ||\n input.runId !== progress.runId ||\n input.submissionId !== progress.submissionId\n )\n return yield* invalid(\"Active execution has no exact original admitted input\", threadId);\n yield* resolve(progress.lastFact);\n if (progress.savedContext !== undefined) {\n const context = yield* resolve(progress.savedContext);\n\n if (context.payload._tag !== \"RunContextRecorded\" || !local.has(context.recordId))\n return yield* invalid(\"Saved context is not owned active state\", threadId);\n yield* validateContextBoundary(context.payload, original).pipe(\n Effect.mapError((cause) => invalid(cause.message, threadId)),\n );\n yield* readRunContext(context.payload, original, progress.savedContext.recordId).pipe(\n Effect.mapError((cause) => invalid(cause.message, threadId)),\n );\n }\n if (progress.latestResponse !== undefined) {\n const response = (yield* resolve(progress.latestResponse)).payload;\n\n if (\n response._tag !== \"ModelResponseRecorded\" ||\n response.turn !== progress.accounting.committedTurns ||\n progress.savedContext === undefined\n )\n return yield* invalid(\"Active execution has invalid declared operation evidence\", threadId);\n } else if (progress.accounting.committedTurns !== 0)\n return yield* invalid(\"Active accounting has no corresponding response\", threadId);\n if (progress.terminal !== undefined) {\n const terminal = (yield* resolve(progress.terminal)).payload;\n\n if (\n terminal._tag !== \"RunCompleted\" &&\n terminal._tag !== \"RunFailed\" &&\n terminal._tag !== \"SubmissionSettled\"\n )\n return yield* invalid(\"Active execution has invalid terminal intent\", threadId);\n if (progress.position === \"settled\" && terminal._tag !== \"SubmissionSettled\")\n return yield* invalid(\"Settled active state has no canonical terminal outcome\", threadId);\n }\n});\n\n/** An executed unfinished Run cannot be imported without its authoritative operational owner. */\nexport const validateImportedRunExecution = Effect.fnUntraced(function* (\n threadId: ThreadId,\n runId: RunId,\n tailSequence: CanonicalSequence,\n) {\n const reader = yield* ThreadImportReader;\n const checkpoint = yield* reader.execution(runId);\n\n if (checkpoint !== undefined)\n return yield* validateImportedExecution(threadId, checkpoint, tailSequence);\n const records = yield* reader.runRecords(runId);\n\n if (\n records.some(\n ({ record }) =>\n record.payload._tag === \"UserInputRecorded\" &&\n record.payload.kind === \"user\" &&\n record.payload.submissionId !== undefined,\n ) &&\n !records.some(\n ({ record }) => record.payload._tag === \"SubmissionSettled\" && record.payload.runId === runId,\n ) &&\n records.some(({ record }) => !isPreContinuationFact(record))\n )\n return yield* invalid(\"Unfinished execution is missing its authoritative checkpoint\", threadId);\n});\n\n/** Own the first page before entering a destination gate; reuse the same scoped source pull. */\nexport const captureImportSource = <E, R, A, E2, R2>(\n pages: Stream.Stream<ThreadArchive, E, R>,\n use: (captured: Stream.Stream<ThreadArchive, E, R>) => Effect.Effect<A, E2, R2>,\n): Effect.Effect<A, E | E2 | ThreadImportRejected, Exclude<R | R2, Scope.Scope>> =>\n Effect.scoped(\n Effect.suspend(() => {\n const phase = { writing: false };\n\n return Effect.gen(function* () {\n const pull = yield* Stream.toPull(Stream.rechunk(pages, 1));\n\n const first = yield* Pull.catchDone(pull, () =>\n Effect.fail(invalid(\"Missing transfer pages\")),\n );\n\n const codec = Schema.fromJsonString(ThreadArchive);\n\n const wire = yield* Schema.encodeEffect(codec)(first[0]).pipe(\n Effect.mapError((cause) => invalid(`Malformed first transfer page: ${cause.message}`)),\n );\n\n if (utf8ByteLength(wire) > MAX_THREAD_EXPORT_PAGE_BYTES)\n return yield* invalid(\"Transfer page exceeds 32 MiB\");\n\n const owned = yield* Schema.decodeEffect(codec)(wire).pipe(\n Effect.mapError((cause) => invalid(`Malformed first transfer page: ${cause.message}`)),\n );\n\n phase.writing = true;\n\n return yield* use(\n Stream.succeed(owned).pipe(Stream.concat(Stream.fromPull(Effect.succeed(pull)))),\n );\n }).pipe(Effect.provideService(ImportSourcePhase, phase));\n }),\n );\n\n/** Constant-size fold state; identity uniqueness belongs to staged destination indexes. */\nexport interface ThreadImportProgress {\n manifest: ThreadArchive | undefined;\n sequence: number;\n ended: boolean;\n cursor: string | undefined;\n counts: {\n admissions: number;\n aborts: number;\n approvals: number;\n resolutions: number;\n deliveries: number;\n };\n}\n\nexport const makeThreadImportProgress = (): ThreadImportProgress => ({\n manifest: undefined,\n sequence: 0,\n ended: false,\n cursor: undefined,\n counts: { admissions: 0, aborts: 0, approvals: 0, resolutions: 0, deliveries: 0 },\n});\n\n/** Capture before awaiting any writes; the retained manifest never retains page payload arrays. */\nexport const prepareImportPage = Effect.fnUntraced(function* (\n state: ThreadImportProgress,\n input: ThreadArchive,\n options?: { readonly verification?: boolean },\n) {\n const codec = Schema.fromJsonString(ThreadArchive);\n\n const wire = yield* Schema.encodeEffect(codec)(input).pipe(\n Effect.mapError(() => invalid(\"Malformed transfer page\")),\n );\n\n if (utf8ByteLength(wire) > MAX_THREAD_EXPORT_PAGE_BYTES)\n return yield* invalid(\"Transfer page exceeds 32 MiB\");\n\n const archive = yield* Schema.decodeEffect(codec)(wire).pipe(\n Effect.mapError(() => invalid(\"Malformed transfer page\")),\n );\n\n const { threadId } = archive;\n\n // A final source page may omit its cursor. Restored facts must remain exportable after\n // later admissions, commands or a worker seal change the manifest and continuation.\n if (\n !transferPageFits(threadId) ||\n archive.admissions.some((fact) => !admissionFitsTransfer(threadId, fact)) ||\n archive.commands.aborts.some((fact) => !abortFitsTransfer(threadId, fact)) ||\n archive.commands.approvals.some((fact) => !approvalFitsTransfer(threadId, fact)) ||\n archive.commands.resolutions.some((fact) => !resolutionFitsTransfer(threadId, fact)) ||\n archive.deliveries.some((fact) => !deliveryFitsTransfer(threadId, fact))\n )\n return yield* ThreadImportRejected.make({\n threadId,\n reason: \"unsupported-capacity\",\n message: \"Imported fact exceeds its bounded transfer representation\",\n });\n\n if (state.ended) return yield* invalid(\"Page after the final transfer page\", threadId);\n if (archive.format !== CURRENT_RECORD_FORMAT)\n return yield* ThreadImportRejected.make({\n threadId,\n reason: \"unsupported-format\",\n message: `Only ${CURRENT_RECORD_FORMAT} can be imported`,\n });\n if (state.manifest !== undefined && !sameTransferManifest(state.manifest, archive))\n return yield* invalid(\"Transfer snapshot changed\", threadId);\n if (\n archive.fromSequence !== state.sequence + 1 ||\n (archive.cursor !== undefined && archive.cursor === state.cursor)\n )\n return yield* invalid(\"Transfer page position is invalid\", threadId);\n if (archive.records.length > 0 && transferSections.some((section) => state.counts[section] > 0))\n return yield* invalid(\"Canonical records follow immutable fact sections\", threadId);\n if (\n archive.admissions.length > 0 &&\n state.counts.aborts +\n state.counts.approvals +\n state.counts.resolutions +\n state.counts.deliveries >\n 0\n )\n return yield* invalid(\"Admissions follow accepted command sections\", threadId);\n const records: Array<CanonicalRecordEnvelope> = [];\n const prepared: Array<PreparedImportBatch> = [];\n let index = 0;\n\n for (const batch of archive.batches) {\n const current: Array<RecordEnvelope> = [];\n const encoded: Array<RecordJson> = [];\n const firstSequence = sequence(state.sequence + 1);\n\n while (archive.records[index]?.batchId === batch.batchId) {\n const entry = archive.records[index]!;\n\n if (entry.threadId !== threadId || entry.sequence !== state.sequence + 1)\n return yield* invalid(\"Canonical identity or sequence mismatch\", threadId);\n\n const record = yield* decodeExportRecord(archive.format, entry.record).pipe(\n Effect.mapError((e) => invalid(e.message, threadId)),\n );\n\n if (record.payload._tag === \"RunContinuation\")\n return yield* invalid(\"Mutable interpreter progress is not canonical history\", threadId);\n\n records.push(CanonicalRecordEnvelope.make({ ...entry, record }));\n current.push(record);\n encoded.push(entry.record);\n index++;\n state.sequence++;\n }\n\n const canonical = yield* Schema.decodeUnknownEffect(\n Schema.toType(Schema.Struct(CanonicalBatch.fields)),\n )({ ...batch, records: current }).pipe(\n Effect.mapError(() => invalid(\"Empty or oversized canonical batch\", threadId)),\n Effect.map((value) => CanonicalBatch.make(value)),\n );\n\n const batchJson = canonicalJson({ ...batch, records: encoded });\n\n if (utf8ByteLength(batchJson) > 16 * 1024 * 1024)\n return yield* invalid(\"Canonical batch exceeds 16 MiB\", threadId);\n prepared.push({\n batch: canonical,\n batchJson,\n recordJson: encoded.map(canonicalJson),\n firstSequence,\n lastSequence: sequence(state.sequence),\n });\n }\n if (index !== archive.records.length || state.sequence > archive.tailSequence)\n return yield* invalid(\n \"Unbound canonical records or records beyond the captured tail\",\n threadId,\n );\n if (\n archive.admissions.length +\n archive.commands.aborts.length +\n archive.commands.approvals.length +\n archive.commands.resolutions.length +\n archive.deliveries.length >\n 0 &&\n state.sequence !== archive.tailSequence\n )\n return yield* invalid(\"Immutable sections precede the complete canonical prefix\", threadId);\n if (\n archive.commands.aborts.length +\n archive.commands.approvals.length +\n archive.commands.resolutions.length >\n 0 &&\n state.counts.admissions + archive.admissions.length !== archive.snapshot.admissions\n )\n return yield* invalid(\"Accepted commands precede the complete admission directory\", threadId);\n\n const sectionLength = (section: (typeof transferSections)[number]) =>\n section === \"admissions\"\n ? archive.admissions.length\n : section === \"deliveries\"\n ? archive.deliveries.length\n : archive.commands[section].length;\n\n for (let index = 0; index < transferSections.length; index++) {\n const section = transferSections[index]!;\n\n if (sectionLength(section) === 0) continue;\n if (\n transferSections\n .slice(0, index)\n .some((prior) => state.counts[prior] + sectionLength(prior) !== archive.snapshot[prior]) ||\n transferSections.slice(index + 1).some((later) => state.counts[later] !== 0)\n )\n return yield* invalid(\"Transfer fact sections are out of order\", threadId);\n }\n const required = transferDependencies(records);\n\n if (canonicalJson(required) !== canonicalJson([...archive.dependencies].sort()))\n return yield* invalid(\"Cross-range dependency directory is incomplete or ambiguous\", threadId);\n for (const section of transferSections) {\n state.counts[section] += sectionLength(section);\n if (state.counts[section] > archive.snapshot[section])\n return yield* invalid(`Too many ${section} facts`, threadId);\n }\n for (const admission of archive.admissions) {\n if (!options?.verification && admission.settledAt === undefined)\n return yield* invalid(\n \"Closed admission is missing its stable settlement timestamp\",\n threadId,\n );\n if (\n admission.threadId !== threadId ||\n (yield* digest(admission.inputPayload)) !== admission.inputDigest\n )\n return yield* invalid(\"Admission identity or input digest mismatch\", threadId);\n }\n for (const delivery of archive.deliveries) {\n const encoded = yield* Schema.encodeEffect(MessageDeliveryRecord)(delivery).pipe(\n Effect.mapError(() => invalid(\"Invalid delivery fact\", threadId)),\n );\n\n if (\n delivery.key.ownerThreadId !== threadId ||\n (!options?.verification &&\n (delivery.leaseUntilMillis !== null ||\n ![\"processed\", \"refused\"].includes(delivery.status))) ||\n (yield* digest(encoded.envelope)) !== delivery.envelopeDigest\n )\n return yield* invalid(\"Delivery ownership, lease or envelope digest mismatch\", threadId);\n }\n state.manifest = {\n ...archive,\n records: [],\n batches: [],\n admissions: [],\n commands: { aborts: [], approvals: [], resolutions: [] },\n deliveries: [],\n dependencies: [],\n };\n state.cursor = archive.cursor;\n state.ended = archive.cursor === undefined;\n\n return { archive, records, batches: prepared } satisfies PreparedImportPage;\n});\n\nexport const finishThreadImport = Effect.fnUntraced(function* (state: ThreadImportProgress) {\n const page = state.manifest;\n\n if (\n page === undefined ||\n !state.ended ||\n state.sequence !== page.tailSequence ||\n transferSections.some((section) => state.counts[section] !== page.snapshot[section])\n )\n return yield* invalid(\n \"Transfer stream ended before its complete canonical sequence and fact sections\",\n );\n\n return ThreadImportResult.make({\n threadId: page.threadId,\n format: page.format,\n tailSequence: page.tailSequence,\n recordCount: state.sequence,\n submissionCount: state.counts.admissions,\n });\n});\n\n/** An executed receipt must settle strictly after its own input. FIFO inputs are checked in one pass. */\nexport const verifyImportedInputOrder = Effect.fnUntraced(function* (\n admission: Pick<ThreadAdmission, \"threadId\" | \"submissionId\" | \"queueSequence\">,\n) {\n const reader = yield* ThreadImportReader;\n const settlement = yield* reader.record(submissionSettlementRecordId(admission.submissionId));\n\n if (settlement === undefined) return;\n const applied = yield* reader.record(submissionInputRecordId(admission.submissionId));\n const payload = settlement.record.payload;\n\n if (\n applied === undefined &&\n payload._tag === \"SubmissionSettled\" &&\n payload.outcome === \"aborted\"\n )\n return;\n if (applied === undefined || applied.sequence >= settlement.sequence)\n return yield* invalid(\n \"Executed settlement has no preceding canonical input\",\n admission.threadId,\n );\n});\n\n/** Rebuild ONE admitted submission from exact staged evidence; terminal state does not erase uncertainty. */\nexport const rebuildImportedSubmission = Effect.fnUntraced(function* (admission: ThreadAdmission) {\n const reader = yield* ThreadImportReader;\n const threadId = admission.threadId;\n const inputEntry = yield* reader.record(submissionInputRecordId(admission.submissionId));\n const payload = inputEntry?.record.payload;\n\n if (\n inputEntry !== undefined &&\n (payload?._tag !== \"UserInputRecorded\" ||\n payload.submissionId !== admission.submissionId ||\n (payload.kind !== \"user\" && payload.kind !== \"steering\") ||\n (payload.messageAdmission === undefined\n ? admission.messageAdmission !== undefined\n : admission.messageAdmission === undefined ||\n !sameInputMessage(payload.messageAdmission, admission.messageAdmission)) ||\n canonicalJson(payload.input) !== canonicalJson(admission.inputPayload))\n )\n return yield* invalid(\"Canonical input disagrees with its immutable admission\", threadId);\n const runId = payload?._tag === \"UserInputRecorded\" ? payload.runId : undefined;\n const host = runId === undefined ? undefined : yield* reader.runOwner(runId);\n\n if (inputEntry !== undefined && host === undefined)\n return yield* invalid(\"Canonical Run has no admitted owner\", threadId);\n\n const joined =\n host !== undefined && host.submissionId !== admission.submissionId\n ? host.submissionId\n : undefined;\n\n if (\n payload?._tag === \"UserInputRecorded\" &&\n payload.kind !== (joined === undefined ? \"user\" : \"steering\")\n )\n return yield* invalid(\"Canonical input kind disagrees with its admitted Run owner\", threadId);\n\n if (joined !== undefined && host !== undefined && host.queueSequence >= admission.queueSequence)\n return yield* invalid(\"Joined input precedes its host admission\", threadId);\n\n const settlement = (yield* reader.record(submissionSettlementRecordId(admission.submissionId)))\n ?.record;\n\n if (settlement !== undefined) {\n yield* validateCanonicalSettlement(settlement, admission).pipe(\n Effect.mapError(() => invalid(\"Canonical settlement disagrees with its receipt\", threadId)),\n );\n if (settlement.payload._tag !== \"SubmissionSettled\" || settlement.payload.runId !== runId)\n return yield* invalid(\"Settlement Run does not own its canonical input\", threadId);\n if (joined !== undefined) {\n const hostSettlement = (yield* reader.record(submissionSettlementRecordId(joined)))?.record\n .payload;\n\n if (hostSettlement?._tag !== \"SubmissionSettled\")\n return yield* invalid(\"Joined settlement has no host settlement\", threadId);\n yield* validateJoinedSettlement(settlement.payload, hostSettlement).pipe(\n Effect.mapError(() => invalid(\"Joined settlement conflicts with its host\", threadId)),\n );\n }\n }\n const ownRun = runIdForSubmission(admission.submissionId);\n\n const runRecords = yield* reader.runRecords(ownRun);\n\n if (inputEntry === undefined && runRecords.some(({ record }) => !isPreContinuationFact(record)))\n return yield* invalid(\"Admitted Run executed without its original canonical input\", threadId);\n const operations = toolOperationStates(runRecords, ownRun);\n const operationCounts = new Map<ToolCallId, number>();\n\n for (const state of operations)\n operationCounts.set(\n state.operation.toolCallId,\n (operationCounts.get(state.operation.toolCallId) ?? 0) + 1,\n );\n const toolRecords = new Map<ToolCallId, Array<CanonicalRecordEnvelope>>();\n\n for (const entry of runRecords) {\n const payload = entry.record.payload;\n\n if (!(\"toolCallId\" in payload)) continue;\n const entries = toolRecords.get(payload.toolCallId) ?? [];\n\n entries.push(entry);\n toolRecords.set(payload.toolCallId, entries);\n }\n const commands = yield* reader.commands(admission.submissionId);\n const approvals = commands.approvals.map((intent) => ApprovalDecisionIntent.make(intent));\n const resolutions = commands.resolutions.map((intent) => UnknownResolutionIntent.make(intent));\n const acceptedAbort = commands.aborts[0];\n\n if (commands.aborts.length > 1) return yield* invalid(\"Duplicate accepted abort\", threadId);\n const canonicalAbort = yield* reader.record(submissionAbortRecordId(admission.submissionId));\n\n if (canonicalAbort !== undefined && acceptedAbort === undefined)\n return yield* invalid(\"Canonical abort has no immutable accepted command\", threadId);\n\n const abort =\n canonicalAbort?.record.payload._tag === \"AbortRequested\"\n ? AbortIntent.make({\n ...canonicalAbort.record.payload,\n requestedAt: acceptedAbort?.requestedAt ?? canonicalAbort.record.createdAt,\n canonicalRecordId: canonicalAbort.record.recordId,\n })\n : acceptedAbort === undefined\n ? undefined\n : AbortIntent.make(acceptedAbort);\n\n if (\n acceptedAbort !== undefined &&\n abort !== undefined &&\n (acceptedAbort.author !== abort.author || acceptedAbort.reason !== abort.reason)\n )\n return yield* invalid(\"Accepted abort conflicts with the canonical command\", threadId);\n for (const command of [...approvals, ...resolutions]) {\n if (operationCounts.get(command.toolCallId) !== 1)\n return yield* invalid(\n \"Accepted tool command has no unambiguous canonical declaration\",\n threadId,\n );\n }\n for (const command of approvals) {\n const requested = (toolRecords.get(command.toolCallId) ?? []).filter(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalRequested\" && payload.toolCallId === command.toolCallId,\n );\n\n const decided = (toolRecords.get(command.toolCallId) ?? []).filter(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === command.toolCallId,\n );\n\n if (\n requested.length !== 1 ||\n decided.length > 1 ||\n decided.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" &&\n (payload.decision !== command.decision ||\n payload.resolver !== command.resolver ||\n payload.reason !== command.reason),\n )\n )\n return yield* invalid(\n \"Accepted approval conflicts with its canonical request or decision\",\n threadId,\n );\n }\n for (const command of resolutions) {\n if (command.resolution._tag === \"AbortSubmission\" && abort === undefined)\n return yield* invalid(\n \"AbortSubmission resolution has no accepted or canonical abort\",\n threadId,\n );\n\n const resolved = (toolRecords.get(command.toolCallId) ?? []).filter(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallResolved\" &&\n payload.toolCallId === command.toolCallId &&\n (payload.resolution === \"safe-retry\" ? \"execution\" : \"factual\") ===\n unknownResolutionKind(command.resolution),\n );\n\n const expected =\n command.resolution._tag === \"CompletedWithResult\"\n ? command.resolution.isFailure\n ? \"failed-with-error\"\n : \"completed-with-result\"\n : command.resolution._tag === \"NeverHappened\"\n ? \"never-started\"\n : command.resolution._tag === \"SafeToRetry\"\n ? \"safe-retry\"\n : undefined;\n\n if (\n resolved.length > 1 ||\n resolved.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallResolved\" &&\n (payload.resolution !== expected ||\n payload.author !== command.author ||\n payload.reason !== command.reason),\n )\n )\n return yield* invalid(\"Accepted resolution conflicts with its canonical audit\", threadId);\n if (command.resolution._tag === \"CompletedWithResult\") {\n const result = command.resolution;\n\n const outcomes = (toolRecords.get(command.toolCallId) ?? []).filter(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallSettled\" && payload.toolCallId === command.toolCallId,\n );\n\n if (\n outcomes.length > 1 ||\n outcomes.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallSettled\" &&\n (payload.isFailure !== result.isFailure ||\n canonicalJson(payload.result) !== canonicalJson(result.result)),\n )\n )\n return yield* invalid(\n \"Accepted resolution conflicts with the canonical tool result\",\n threadId,\n );\n }\n }\n\n const unknown = operations\n .filter(\n (state) =>\n !state.settled &&\n !state.resolved &&\n (state.unknown ||\n (!state.dispatchBlocked &&\n state.operation.executionKind === \"ordinary\" &&\n state.operation.executionClass !== \"readonly\")),\n )\n .map((state) => state.operation.toolCallId);\n\n const acceptedApprovals = new Set(approvals.map((intent) => intent.toolCallId));\n\n const pendingApprovals = runRecords\n .filter(({ record: { payload } }) => payload._tag === \"ToolApprovalRequested\")\n .flatMap(({ record }) => {\n if (record.payload._tag !== \"ToolApprovalRequested\") return [];\n const id = record.payload.toolCallId;\n\n return acceptedApprovals.has(id) ||\n (toolRecords.get(id) ?? []).some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === id,\n )\n ? []\n : [id];\n });\n\n const suspension =\n pendingApprovals.length === 0\n ? undefined\n : SuspensionSnapshot.make({\n reason: ApprovalPendingSuspension.make({\n toolCallIds: [pendingApprovals[0], ...pendingApprovals.slice(1)],\n }),\n suspendedAt: runRecords.at(-1)?.record.createdAt ?? admission.createdAt,\n });\n\n // An admitted input need not have reached the log. Its immutable fact is the work;\n // recovery materializes an admitted Thread before it becomes ready.\n const state =\n settlement !== undefined\n ? \"settled\"\n : joined !== undefined\n ? \"joined\"\n : unknown.length > 0\n ? \"unknown\"\n : suspension !== undefined\n ? \"suspended\"\n : inputEntry !== undefined\n ? \"input-applied\"\n : (yield* reader.hasAgent(admission.agentId))\n ? \"ready\"\n : \"admitted\";\n\n return RebuiltSubmission.make({\n admission,\n state,\n ...(inputEntry === undefined\n ? {}\n : {\n inputApplied: InputAppliedMarker.make({\n recordId: inputEntry.record.recordId,\n sequence: inputEntry.sequence,\n }),\n }),\n ...(joined === undefined ? {} : { joinedHostSubmissionId: joined }),\n ...(settlement === undefined ? {} : { settlement }),\n ...(state !== \"suspended\" || suspension === undefined ? {} : { suspension }),\n unknownToolCallIds: unknown,\n ...(abort === undefined ? {} : { abort }),\n approvals,\n resolutions,\n });\n});\n\n/** Immediate persistent history has no ledger/checkpoint owner, but still needs a terminal Run fact. */\nexport const validateClosedRun = Effect.fnUntraced(function* (threadId: ThreadId, runId: RunId) {\n const reader = yield* ThreadImportReader;\n const records = yield* reader.runRecords(runId);\n\n const opened = records.some(\n ({ record: { payload } }) =>\n (payload._tag === \"UserInputRecorded\" ||\n payload._tag === \"RunStarted\" ||\n payload._tag === \"ModelResponseRecorded\") &&\n payload.runId === runId,\n );\n\n const closed = records.some(\n ({ record: { payload } }) =>\n (payload._tag === \"RunCompleted\" ||\n payload._tag === \"RunFailed\" ||\n payload._tag === \"SubmissionSettled\") &&\n payload.runId === runId,\n );\n\n if (opened && !closed) return yield* invalid(\"Transfer contains an unfinished Run\", threadId);\n});\n\n/** Idle transfer keeps closed receipts, never the authority to finish their former work. */\nexport const rebuildClosedSubmission = Effect.fnUntraced(function* (admission: ThreadAdmission) {\n if (admission.settledAt === undefined)\n return yield* invalid(\n \"Closed admission is missing its stable settlement timestamp\",\n admission.threadId,\n );\n const rebuilt = yield* rebuildImportedSubmission(admission);\n const reader = yield* ThreadImportReader;\n\n if (\n rebuilt.state !== \"settled\" ||\n rebuilt.unknownToolCallIds.length > 0 ||\n rebuilt.suspension !== undefined\n )\n return yield* invalid(\"Transfer contains unfinished accepted work\", admission.threadId);\n if (rebuilt.abort !== undefined && rebuilt.abort.canonicalRecordId === undefined)\n return yield* invalid(\"Transfer contains an unapplied abort\", admission.threadId);\n const records = yield* reader.runRecords(runIdForSubmission(admission.submissionId));\n\n const decidedApprovals = new Set(\n records.flatMap(({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" ? [payload.toolCallId] : [],\n ),\n );\n\n if (\n records.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalRequested\" && !decidedApprovals.has(payload.toolCallId),\n )\n )\n return yield* invalid(\"Transfer contains an unresolved approval\", admission.threadId);\n for (const approval of rebuilt.approvals)\n if (\n !records.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolApprovalDecided\" && payload.toolCallId === approval.toolCallId,\n )\n )\n return yield* invalid(\"Transfer contains an unapplied approval\", admission.threadId);\n for (const resolution of rebuilt.resolutions)\n if (\n resolution.resolution._tag !== \"AbortSubmission\" &&\n !records.some(\n ({ record: { payload } }) =>\n payload._tag === \"ToolCallResolved\" &&\n payload.toolCallId === resolution.toolCallId &&\n (payload.resolution === \"safe-retry\" ? \"execution\" : \"factual\") ===\n unknownResolutionKind(resolution.resolution),\n )\n )\n return yield* invalid(\"Transfer contains an unapplied resolution\", admission.threadId);\n yield* verifyImportedInputOrder(admission);\n\n return rebuilt;\n});\n\n/** Encode one page at a time and retain upstream stream errors and requirements. */\nexport const reencodeThread = Effect.fnUntraced(function* <E, R>(\n source: Stream.Stream<ThreadExport, E, R>,\n) {\n const target = yield* ThreadImport;\n\n return yield* target.import(\n source.pipe(\n Stream.mapEffect((page) =>\n Schema.encodeEffect(ThreadExport)(page).pipe(\n Effect.flatMap(Schema.decodeUnknownEffect(ThreadArchive)),\n Effect.mapError(() => invalid(\"Unable to encode source page\", page.threadId)),\n ),\n ),\n ),\n );\n});\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAgBA,IAAa,qBAAb,MAAa,2BAA2B,QAAQ,QA4B9C,CAAC,CAAC,yCAAyC,CAAC,CAAC;;CAE7C,OAAO,MAAM,QAAuC;EAClD,OAAO,MAAM,eACX,QAAQ,KAAK,oBAAoB,MAAM,CAAC,CAAC,KACvC,QAAQ,IAAI,kBAAkB;GAC5B,QAAQ,OAAO;GACf,OAAO,YACL,OAAO,KAAK;IACV,UAAU,QAAQ;IAClB,WAAW;KAAE,MAAM;KAAkB,iBAAiB,QAAQ;IAAgB;IAC9E,MAAM;KACJ,OAAO,QAAQ;KACf,GAAI,QAAQ,kBAAkB,KAAA,IAC1B,CAAC,IACD,EAAE,eAAe,QAAQ,cAAc;IAC7C;GACF,CAAC;EACL,CAAC,CACH,CACF;CACF;AACF;;AAGA,IAAa,6BAAb,cAAgD,QAAQ,QAYtD,CAAC,CAAC,iDAAiD,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;ACpBxD,MAAM,mBAAmB,OAAO,cAAc,YAAY;;;AAI1D,MAAa,gBAAgB,OAAO,OAAO;CACzC,GAAG,aAAa;CAChB,SAAS,OAAO,MACd,OAAO,OAAO;EAAE,GAAG,wBAAwB;EAAQ,QAAQ;CAAW,CAAC,CACzE,CAAC,CAAC,MAAM,OAAO,YAAA,GAA0C,CAAC;AAC5D,CAAC;AAID,MAAM,wBAAwB,sBAAsB,eAAe;AACnE,MAAM,oBAAoB,sBAAsB,eAAe;AAC/D,MAAM,uBAAuB,sBAAsB,kBAAkB;AACrE,MAAM,yBAAyB,sBAAsB,oBAAoB;AACzE,MAAM,uBAAuB,sBAAsB,qBAAqB;AAExE,IAAa,qBAAb,cAAwC,OAAO,MAC7C,yCACF,CAAC,CAAC;CACA,UAAU;CACV,QAAQ,OAAO;CACf,cAAc;CACd,aAAa,OAAO;CACpB,iBAAiB,OAAO;AAC1B,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,uBAAb,cAA0C,OAAO,YAAkC,CAAC,CAClF,wBACA;CACE,UAAU,OAAO,YAAY,QAAQ;CACrC,QAAQ,OAAO,SAAS;EACtB;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF,CAAC;CACD,SAAS,OAAO;AAClB,CACF,CAAC,CAAC,CAAC;;AAGH,IAAa,eAAb,cAAkC,QAAQ,QAOxC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC;AAE1C,IAAa,oBAAb,cAAuC,OAAO,MAC5C,wCACF,CAAC,CAAC;CACA,WAAW;CACX,OAAO;CACP,cAAc,OAAO,YAAY,kBAAkB;CACnD,wBAAwB,OAAO,YAAY,YAAY;CACvD,YAAY,OAAO,YAAY,cAAc;CAC7C,YAAY,OAAO,YAAY,kBAAkB;CACjD,oBAAoB,OAAO,MAAM,UAAU;CAC3C,OAAO,OAAO,YAAY,WAAW;CACrC,WAAW,OAAO,MAAM,sBAAsB;CAC9C,aAAa,OAAO,MAAM,uBAAuB;AACnD,CAAC,CAAC,CAAC,CAAC;;AAiBJ,MAAa,2BAA2B,OAAO,WAAW,WACxD,OACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,UAAU,OAAO;CACvB,MAAM,UAAU,MAAM,OAAO;CAE7B,IAAI,QAAQ,SAAS,wBAAwB;EAC3C,MAAM,cAAc,OAAO,QAAQ,QAAQ,aAAa;EAExD,IACE,gBAAgB,KAAA,KAChB,YAAY,aAAa,MAAM,YAC/B,YAAY,YAAY,MAAM,YAC9B,MAAM,OAAO,aAAa,0BAA0B,QAAQ,iBAE5D,OAAO,OAAO,QAAQ,4CAA4C,MAAM,QAAQ;EAGlF,IACE,EAAC,OAHoB,iBAAiB,aAAa,MAAM,EAAA,CAGhD,MACN,WACC,OAAO,SAAS,SAChB,OAAO,MAAM,MAAM,SAAS,aAC5B,OAAO,MAAM,OAAO,QAAQ,OAChC,GAEA,OAAO,OAAO,QACZ,mEACA,MAAM,QACR;CACJ;CAEA,IAAI,QAAQ,SAAS,sBAAsB;EACzC,MAAM,QAAQ,OAAO,OAAO,SAAS,QAAQ,KAAK;EAElD,MAAM,WACJ,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,QAAQ,wBAAwB,MAAM,YAAY,CAAC;EAE9F,IACE,aAAa,KAAA,KACb,SAAS,aAAa,MAAM,YAC5B,SAAS,YAAY,MAAM,UAE3B,OAAO,OAAO,QAAQ,gDAAgD,MAAM,QAAQ;EACtF,OAAO,wBAAwB,SAAS,QAAQ,CAAC,CAAC,KAChD,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,MAAM,QAAQ,CAAC,CACnE;CACF;CAEA,MAAM,aACJ,QAAQ,SAAS,uBACb,CAAC,QAAQ,aAAa,QAAQ,IAAI,IAClC,QAAQ,SAAS,uBACf,QAAQ,WACR,QAAQ,SAAS,oBACf;EACE,QAAQ;EACR,QAAQ;EACR,QAAQ;EACR,QAAQ;EACR,QAAQ;CACV,CAAC,CAAC,QAAQ,QAAQ,QAAQ,KAAA,CAAS,IACnC,CAAC;CAEX,KAAK,MAAM,OAAO,YAAY;EAC5B,MAAM,WAAW,OAAO,QAAQ,IAAI,QAAQ;EAE5C,IACE,aAAa,KAAA,KACb,SAAS,aAAa,MAAM,YAC5B,SAAS,YAAY,MAAM,YAC1B,cAAc,OAAO,SAAS,aAAa,IAAI,UAEhD,OAAO,OAAO,QAAQ,oDAAoD,MAAM,QAAQ;CAC5F;CACA,IAAI,QAAQ,SAAS,sBAAsB;EACzC,MAAM,WAAW,OAAO,QAAQ,QAAQ,YAAY,QAAQ,EAAA,CAAI,OAAO;EACvE,MAAM,QAAQ,OAAO,QAAQ,QAAQ,KAAK,QAAQ,EAAA,CAAI,OAAO;EAC7D,MAAM,WAAW,OAAO,OAAO,SAAS,QAAQ,SAAS;EAEzD,IACE,aAAa,KAAA,KACb,SAAS,IAAI,kBAAkB,MAAM,YACrC,SAAS,IAAI,cAAc,QAAQ,aACnC,SAAS,WAAW,aACpB,SAAS,YAAY,QACrB,SAAS,eAAe,QACxB,SAAS,YAAY,QAAQ,mBAC7B,SAAS,mBAAmB,QAAQ,kBACpC,SAAS,SAAS,aAAa,QAAQ,kBACvC,SAAS,SAAS,sBAAsB,QAAQ,SAAS,aACzD,SAAS,SAAS,iBAAiB,QAAQ,SAAS,kBACpD,SAAS,SAAS,gBAAgB,QAAQ,SAAS,eACnD,SAAS,SAAS,oBAAoB,KAAA,KACtC,SAAS,SAAS,gBAAgB,cAAc,QAAQ,aACxD,SAAS,SAAS,gBAAgB,OAAO,OAAO,aAAa,MAAM,YACnE,KAAK,SAAS,yBACd,CAAC,OAAO,cAAc,SAAS,CAAC,CAC9B,KAAK,QAAQ,QACb,SAAS,SAAS,gBAAgB,OAAO,MAC3C,GAEA,OAAO,OAAO,QACZ,sEACA,MAAM,QACR;EACF,IAAI,QAAQ,SAAS,wBAEjB;OAAA,QAAQ,gBAAgB,SAAS,SAAS,eAC1C,CAAC,OAAO,cAAc,sBAAsB,OAAO,SAAS,OAAO,eAAe,CAAC,CACjF,QAAQ,WACR,SAAS,SAAS,eACpB,GAEA,OAAO,OAAO,QACZ,6DACA,MAAM,QACR;EAAA,OACG,IACL,QAAQ,SAAS,2BACjB,QAAQ,kBAAkB,QAAQ,kBAClC,QAAQ,kBAAkB,QAAQ,aAClC,QAAQ,aAAa,gBACrB,QAAQ,mBAAmB,SAAS,SAAS,gBAAgB,kBAC7D,QAAQ,uBAAuB,SAAS,SAAS,gBAAgB,sBACjE,QAAQ,UAAU,SAAS,SAAS,gBAAgB,OAAO,SAC3D,CAAC,OAAO,cAAc,sBAAsB,OAAO,MAAM,CAAC,CACxD,QAAQ,QACR,SAAS,SAAS,gBAAgB,OAAO,MAC3C,KACA,CAAC,OAAO,cAAc,sBAAsB,OAAO,KAAK,CAAC,CACvD,QAAQ,OACR,SAAS,SAAS,gBAAgB,OAAO,KAC3C,KACA,CAAC,OAAO,cAAc,sBAAsB,OAAO,MAAM,CAAC,CACxD,QAAQ,QACR,SAAS,SAAS,gBAAgB,OAAO,MAC3C,GAEA,OAAO,OAAO,QAAQ,kDAAkD,MAAM,QAAQ;CAC1F;AACF,CAAC;AAED,MAAM,WAAW,OAAO,WAAW,iBAAiB;AAEpD,MAAM,UAAU,UACd,WAAW,KAAK,CAAC,CAAC,KAAK,OAAO,eAAe,QAAQ,iCAAiC,CAAC,CAAC;AAE1F,MAAa,wBAAwB,SAAiB,aACpD,qBAAqB,KAAK;CACxB,QAAQ;CACR;CACA,GAAI,aAAa,KAAA,IAAY,CAAC,IAAI,EAAE,SAAS;AAC/C,CAAC;AAEH,MAAM,UAAU;;AAGhB,MAAa,4BAA4B,OAAO,WAAW,WACzD,UACA,YACA,cACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,WAAW,WAAW;CAC5B,MAAM,YAAY,OAAO,OAAO,UAAU,SAAS,YAAY;CAE/D,MAAM,OAAO,OAAO,OAAO,WAAW,SAAS,KAAK,EAAA,CAAG,QAAQ,UAC7D,gBAAgB,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,CACvD;CAEA,MAAM,QAAQ,IAAI,IAAI,WAAW,YAAY,KAAK,WAAW,CAAC,OAAO,UAAU,MAAM,CAAC,CAAC;CAEvF,IACE,cAAc,KAAA,KACd,UAAU,aAAa,YACvB,mBAAmB,UAAU,YAAY,MAAM,SAAS,SACxD,WAAW,eAAe,aACxB,KAAK,UAAU;EAAC;EAAkB,SAAS;EAAO,WAAW;CAAO,CAAC,KACvE,WAAW,kBAAkB,gBAC7B,WAAW,mBAAmB,WAAW,mBACzC,MAAM,SAAS,WAAW,YAAY,UACtC,WAAW,YAAY,MACpB,WAAW,CAAC,oBAAoB,MAAM,KAAK,CAAC,gBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,CAC9F,KACA,IAAI,QAAQ,UAAU,MAAM,YAAY,WAAW,eAAe,CAAC,CAAC,WAClE,WAAW,oBACb,CAAC,eAAe,KAAK,WAAW,eAAe,GAE/C,OAAO,OAAO,QACZ,sEACA,QACF;CACF,KAAK,MAAM,MAAM,MAAM,KAAK,GAC1B,KAAK,OAAO,OAAO,OAAO,EAAE,OAAO,KAAA,GACjC,OAAO,OAAO,QAAQ,uDAAuD,QAAQ;CAEzF,MAAM,UAAU,OAAO,WAAW,WAAW,KAAoC;EAC/E,MAAM,WAAW,OAAO,OAAO,OAAO,IAAI,QAAQ;EAClD,MAAM,SAAS,MAAM,IAAI,IAAI,QAAQ,KAAK,UAAU;EAEpD,IACE,WAAW,KAAA,KACV,aAAa,KAAA,MACX,SAAS,aAAa,YAAY,SAAS,WAAW,WAAW,oBACpE,CAAC,gBAAgB,MAAM,CAAC,CAAC,SAAS,SAAS,KAAK,GAEhD,OAAO,OAAO,QAAQ,6DAA6D,QAAQ;EAE7F,OAAO;CACT,CAAC;CAED,MAAM,WAAW,OAAO,OAAO,OAAO,SAAS,cAAc,QAAQ;CACrE,MAAM,SAAS,OAAO,QAAQ,SAAS,aAAa,EAAA,CAAG;CAEvD,IACE,aAAa,KAAA,KACb,SAAS,aAAa,WAAW,oBACjC,MAAM,SAAS,uBACf,MAAM,SAAS,UACf,MAAM,UAAU,SAAS,SACzB,MAAM,iBAAiB,SAAS,cAEhC,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;CACzF,OAAO,QAAQ,SAAS,QAAQ;CAChC,IAAI,SAAS,iBAAiB,KAAA,GAAW;EACvC,MAAM,UAAU,OAAO,QAAQ,SAAS,YAAY;EAEpD,IAAI,QAAQ,QAAQ,SAAS,wBAAwB,CAAC,MAAM,IAAI,QAAQ,QAAQ,GAC9E,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;EAC3E,OAAO,wBAAwB,QAAQ,SAAS,QAAQ,CAAC,CAAC,KACxD,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,QAAQ,CAAC,CAC7D;EACA,OAAO,eAAe,QAAQ,SAAS,UAAU,SAAS,aAAa,QAAQ,CAAC,CAAC,KAC/E,OAAO,UAAU,UAAU,QAAQ,MAAM,SAAS,QAAQ,CAAC,CAC7D;CACF;CACA,IAAI,SAAS,mBAAmB,KAAA,GAAW;EACzC,MAAM,YAAY,OAAO,QAAQ,SAAS,cAAc,EAAA,CAAG;EAE3D,IACE,SAAS,SAAS,2BAClB,SAAS,SAAS,SAAS,WAAW,kBACtC,SAAS,iBAAiB,KAAA,GAE1B,OAAO,OAAO,QAAQ,4DAA4D,QAAQ;CAC9F,OAAO,IAAI,SAAS,WAAW,mBAAmB,GAChD,OAAO,OAAO,QAAQ,mDAAmD,QAAQ;CACnF,IAAI,SAAS,aAAa,KAAA,GAAW;EACnC,MAAM,YAAY,OAAO,QAAQ,SAAS,QAAQ,EAAA,CAAG;EAErD,IACE,SAAS,SAAS,kBAClB,SAAS,SAAS,eAClB,SAAS,SAAS,qBAElB,OAAO,OAAO,QAAQ,gDAAgD,QAAQ;EAChF,IAAI,SAAS,aAAa,aAAa,SAAS,SAAS,qBACvD,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;CAC5F;AACF,CAAC;;AAGD,MAAa,+BAA+B,OAAO,WAAW,WAC5D,UACA,OACA,cACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,aAAa,OAAO,OAAO,UAAU,KAAK;CAEhD,IAAI,eAAe,KAAA,GACjB,OAAO,OAAO,0BAA0B,UAAU,YAAY,YAAY;CAC5E,MAAM,UAAU,OAAO,OAAO,WAAW,KAAK;CAE9C,IACE,QAAQ,MACL,EAAE,aACD,OAAO,QAAQ,SAAS,uBACxB,OAAO,QAAQ,SAAS,UACxB,OAAO,QAAQ,iBAAiB,KAAA,CACpC,KACA,CAAC,QAAQ,MACN,EAAE,aAAa,OAAO,QAAQ,SAAS,uBAAuB,OAAO,QAAQ,UAAU,KAC1F,KACA,QAAQ,MAAM,EAAE,aAAa,CAAC,sBAAsB,MAAM,CAAC,GAE3D,OAAO,OAAO,QAAQ,gEAAgE,QAAQ;AAClG,CAAC;;AAGD,MAAa,uBACX,OACA,QAEA,OAAO,OACL,OAAO,cAAc;CACnB,MAAM,QAAQ,EAAE,SAAS,MAAM;CAE/B,OAAO,OAAO,IAAI,aAAa;EAC7B,MAAM,OAAO,OAAO,OAAO,OAAO,OAAO,QAAQ,OAAO,CAAC,CAAC;EAE1D,MAAM,QAAQ,OAAO,KAAK,UAAU,YAClC,OAAO,KAAK,QAAQ,wBAAwB,CAAC,CAC/C;EAEA,MAAM,QAAQ,OAAO,eAAe,aAAa;EAEjD,MAAM,OAAO,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KACvD,OAAO,UAAU,UAAU,QAAQ,kCAAkC,MAAM,SAAS,CAAC,CACvF;EAEA,IAAI,eAAe,IAAI,IAAA,UACrB,OAAO,OAAO,QAAQ,8BAA8B;EAEtD,MAAM,QAAQ,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KACpD,OAAO,UAAU,UAAU,QAAQ,kCAAkC,MAAM,SAAS,CAAC,CACvF;EAEA,MAAM,UAAU;EAEhB,OAAO,OAAO,IACZ,OAAO,QAAQ,KAAK,CAAC,CAAC,KAAK,OAAO,OAAO,OAAO,SAAS,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CACjF;CACF,CAAC,CAAC,CAAC,KAAK,OAAO,eAAe,mBAAmB,KAAK,CAAC;AACzD,CAAC,CACH;AAiBF,MAAa,kCAAwD;CACnE,UAAU,KAAA;CACV,UAAU;CACV,OAAO;CACP,QAAQ,KAAA;CACR,QAAQ;EAAE,YAAY;EAAG,QAAQ;EAAG,WAAW;EAAG,aAAa;EAAG,YAAY;CAAE;AAClF;;AAGA,MAAa,oBAAoB,OAAO,WAAW,WACjD,OACA,OACA,SACA;CACA,MAAM,QAAQ,OAAO,eAAe,aAAa;CAEjD,MAAM,OAAO,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,KACpD,OAAO,eAAe,QAAQ,yBAAyB,CAAC,CAC1D;CAEA,IAAI,eAAe,IAAI,IAAA,UACrB,OAAO,OAAO,QAAQ,8BAA8B;CAEtD,MAAM,UAAU,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KACtD,OAAO,eAAe,QAAQ,yBAAyB,CAAC,CAC1D;CAEA,MAAM,EAAE,aAAa;CAIrB,IACE,CAAC,iBAAiB,QAAQ,KAC1B,QAAQ,WAAW,MAAM,SAAS,CAAC,sBAAsB,UAAU,IAAI,CAAC,KACxE,QAAQ,SAAS,OAAO,MAAM,SAAS,CAAC,kBAAkB,UAAU,IAAI,CAAC,KACzE,QAAQ,SAAS,UAAU,MAAM,SAAS,CAAC,qBAAqB,UAAU,IAAI,CAAC,KAC/E,QAAQ,SAAS,YAAY,MAAM,SAAS,CAAC,uBAAuB,UAAU,IAAI,CAAC,KACnF,QAAQ,WAAW,MAAM,SAAS,CAAC,qBAAqB,UAAU,IAAI,CAAC,GAEvE,OAAO,OAAO,qBAAqB,KAAK;EACtC;EACA,QAAQ;EACR,SAAS;CACX,CAAC;CAEH,IAAI,MAAM,OAAO,OAAO,OAAO,QAAQ,sCAAsC,QAAQ;CACrF,IAAI,QAAQ,WAAA,yBACV,OAAO,OAAO,qBAAqB,KAAK;EACtC;EACA,QAAQ;EACR,SAAS,QAAQ,sBAAsB;CACzC,CAAC;CACH,IAAI,MAAM,aAAa,KAAA,KAAa,CAAC,qBAAqB,MAAM,UAAU,OAAO,GAC/E,OAAO,OAAO,QAAQ,6BAA6B,QAAQ;CAC7D,IACE,QAAQ,iBAAiB,MAAM,WAAW,KACzC,QAAQ,WAAW,KAAA,KAAa,QAAQ,WAAW,MAAM,QAE1D,OAAO,OAAO,QAAQ,qCAAqC,QAAQ;CACrE,IAAI,QAAQ,QAAQ,SAAS,KAAK,iBAAiB,MAAM,YAAY,MAAM,OAAO,WAAW,CAAC,GAC5F,OAAO,OAAO,QAAQ,oDAAoD,QAAQ;CACpF,IACE,QAAQ,WAAW,SAAS,KAC5B,MAAM,OAAO,SACX,MAAM,OAAO,YACb,MAAM,OAAO,cACb,MAAM,OAAO,aACb,GAEF,OAAO,OAAO,QAAQ,+CAA+C,QAAQ;CAC/E,MAAM,UAA0C,CAAC;CACjD,MAAM,WAAuC,CAAC;CAC9C,IAAI,QAAQ;CAEZ,KAAK,MAAM,SAAS,QAAQ,SAAS;EACnC,MAAM,UAAiC,CAAC;EACxC,MAAM,UAA6B,CAAC;EACpC,MAAM,gBAAgB,SAAS,MAAM,WAAW,CAAC;EAEjD,OAAO,QAAQ,QAAQ,MAAM,EAAE,YAAY,MAAM,SAAS;GACxD,MAAM,QAAQ,QAAQ,QAAQ;GAE9B,IAAI,MAAM,aAAa,YAAY,MAAM,aAAa,MAAM,WAAW,GACrE,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;GAE3E,MAAM,SAAS,OAAO,mBAAmB,QAAQ,QAAQ,MAAM,MAAM,CAAC,CAAC,KACrE,OAAO,UAAU,MAAM,QAAQ,EAAE,SAAS,QAAQ,CAAC,CACrD;GAEA,IAAI,OAAO,QAAQ,SAAS,mBAC1B,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;GAEzF,QAAQ,KAAK,wBAAwB,KAAK;IAAE,GAAG;IAAO;GAAO,CAAC,CAAC;GAC/D,QAAQ,KAAK,MAAM;GACnB,QAAQ,KAAK,MAAM,MAAM;GACzB;GACA,MAAM;EACR;EAEA,MAAM,YAAY,OAAO,OAAO,oBAC9B,OAAO,OAAO,OAAO,OAAO,eAAe,MAAM,CAAC,CACpD,CAAC,CAAC;GAAE,GAAG;GAAO,SAAS;EAAQ,CAAC,CAAC,CAAC,KAChC,OAAO,eAAe,QAAQ,sCAAsC,QAAQ,CAAC,GAC7E,OAAO,KAAK,UAAU,eAAe,KAAK,KAAK,CAAC,CAClD;EAEA,MAAM,YAAY,cAAc;GAAE,GAAG;GAAO,SAAS;EAAQ,CAAC;EAE9D,IAAI,eAAe,SAAS,IAAI,UAC9B,OAAO,OAAO,QAAQ,kCAAkC,QAAQ;EAClE,SAAS,KAAK;GACZ,OAAO;GACP;GACA,YAAY,QAAQ,IAAI,aAAa;GACrC;GACA,cAAc,SAAS,MAAM,QAAQ;EACvC,CAAC;CACH;CACA,IAAI,UAAU,QAAQ,QAAQ,UAAU,MAAM,WAAW,QAAQ,cAC/D,OAAO,OAAO,QACZ,iEACA,QACF;CACF,IACE,QAAQ,WAAW,SACjB,QAAQ,SAAS,OAAO,SACxB,QAAQ,SAAS,UAAU,SAC3B,QAAQ,SAAS,YAAY,SAC7B,QAAQ,WAAW,SACnB,KACF,MAAM,aAAa,QAAQ,cAE3B,OAAO,OAAO,QAAQ,4DAA4D,QAAQ;CAC5F,IACE,QAAQ,SAAS,OAAO,SACtB,QAAQ,SAAS,UAAU,SAC3B,QAAQ,SAAS,YAAY,SAC7B,KACF,MAAM,OAAO,aAAa,QAAQ,WAAW,WAAW,QAAQ,SAAS,YAEzE,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAE9F,MAAM,iBAAiB,YACrB,YAAY,eACR,QAAQ,WAAW,SACnB,YAAY,eACV,QAAQ,WAAW,SACnB,QAAQ,SAAS,QAAQ,CAAC;CAElC,KAAK,IAAI,QAAQ,GAAG,QAAQ,iBAAiB,QAAQ,SAAS;EAC5D,MAAM,UAAU,iBAAiB;EAEjC,IAAI,cAAc,OAAO,MAAM,GAAG;EAClC,IACE,iBACG,MAAM,GAAG,KAAK,CAAC,CACf,MAAM,UAAU,MAAM,OAAO,SAAS,cAAc,KAAK,MAAM,QAAQ,SAAS,MAAM,KACzF,iBAAiB,MAAM,QAAQ,CAAC,CAAC,CAAC,MAAM,UAAU,MAAM,OAAO,WAAW,CAAC,GAE3E,OAAO,OAAO,QAAQ,2CAA2C,QAAQ;CAC7E;CACA,MAAM,WAAW,qBAAqB,OAAO;CAE7C,IAAI,cAAc,QAAQ,MAAM,cAAc,CAAC,GAAG,QAAQ,YAAY,CAAC,CAAC,KAAK,CAAC,GAC5E,OAAO,OAAO,QAAQ,+DAA+D,QAAQ;CAC/F,KAAK,MAAM,WAAW,kBAAkB;EACtC,MAAM,OAAO,YAAY,cAAc,OAAO;EAC9C,IAAI,MAAM,OAAO,WAAW,QAAQ,SAAS,UAC3C,OAAO,OAAO,QAAQ,YAAY,QAAQ,SAAS,QAAQ;CAC/D;CACA,KAAK,MAAM,aAAa,QAAQ,YAAY;EAC1C,IAAI,CAAC,SAAS,gBAAgB,UAAU,cAAc,KAAA,GACpD,OAAO,OAAO,QACZ,+DACA,QACF;EACF,IACE,UAAU,aAAa,aACtB,OAAO,OAAO,UAAU,YAAY,OAAO,UAAU,aAEtD,OAAO,OAAO,QAAQ,+CAA+C,QAAQ;CACjF;CACA,KAAK,MAAM,YAAY,QAAQ,YAAY;EACzC,MAAM,UAAU,OAAO,OAAO,aAAa,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,KAC1E,OAAO,eAAe,QAAQ,yBAAyB,QAAQ,CAAC,CAClE;EAEA,IACE,SAAS,IAAI,kBAAkB,YAC9B,CAAC,SAAS,iBACR,SAAS,qBAAqB,QAC7B,CAAC,CAAC,aAAa,SAAS,CAAC,CAAC,SAAS,SAAS,MAAM,OACrD,OAAO,OAAO,QAAQ,QAAQ,OAAO,SAAS,gBAE/C,OAAO,OAAO,QAAQ,yDAAyD,QAAQ;CAC3F;CACA,MAAM,WAAW;EACf,GAAG;EACH,SAAS,CAAC;EACV,SAAS,CAAC;EACV,YAAY,CAAC;EACb,UAAU;GAAE,QAAQ,CAAC;GAAG,WAAW,CAAC;GAAG,aAAa,CAAC;EAAE;EACvD,YAAY,CAAC;EACb,cAAc,CAAC;CACjB;CACA,MAAM,SAAS,QAAQ;CACvB,MAAM,QAAQ,QAAQ,WAAW,KAAA;CAEjC,OAAO;EAAE;EAAS;EAAS,SAAS;CAAS;AAC/C,CAAC;AAED,MAAa,qBAAqB,OAAO,WAAW,WAAW,OAA6B;CAC1F,MAAM,OAAO,MAAM;CAEnB,IACE,SAAS,KAAA,KACT,CAAC,MAAM,SACP,MAAM,aAAa,KAAK,gBACxB,iBAAiB,MAAM,YAAY,MAAM,OAAO,aAAa,KAAK,SAAS,QAAQ,GAEnF,OAAO,OAAO,QACZ,gFACF;CAEF,OAAO,mBAAmB,KAAK;EAC7B,UAAU,KAAK;EACf,QAAQ,KAAK;EACb,cAAc,KAAK;EACnB,aAAa,MAAM;EACnB,iBAAiB,MAAM,OAAO;CAChC,CAAC;AACH,CAAC;;AAGD,MAAa,2BAA2B,OAAO,WAAW,WACxD,WACA;CACA,MAAM,SAAS,OAAO;CACtB,MAAM,aAAa,OAAO,OAAO,OAAO,6BAA6B,UAAU,YAAY,CAAC;CAE5F,IAAI,eAAe,KAAA,GAAW;CAC9B,MAAM,UAAU,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CACpF,MAAM,UAAU,WAAW,OAAO;CAElC,IACE,YAAY,KAAA,KACZ,QAAQ,SAAS,uBACjB,QAAQ,YAAY,WAEpB;CACF,IAAI,YAAY,KAAA,KAAa,QAAQ,YAAY,WAAW,UAC1D,OAAO,OAAO,QACZ,wDACA,UAAU,QACZ;AACJ,CAAC;;AAGD,MAAa,4BAA4B,OAAO,WAAW,WAAW,WAA4B;CAChG,MAAM,SAAS,OAAO;CACtB,MAAM,WAAW,UAAU;CAC3B,MAAM,aAAa,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CACvF,MAAM,UAAU,YAAY,OAAO;CAEnC,IACE,eAAe,KAAA,MACd,SAAS,SAAS,uBACjB,QAAQ,iBAAiB,UAAU,gBAClC,QAAQ,SAAS,UAAU,QAAQ,SAAS,eAC5C,QAAQ,qBAAqB,KAAA,IAC1B,UAAU,qBAAqB,KAAA,IAC/B,UAAU,qBAAqB,KAAA,KAC/B,CAAC,iBAAiB,QAAQ,kBAAkB,UAAU,gBAAgB,MAC1E,cAAc,QAAQ,KAAK,MAAM,cAAc,UAAU,YAAY,IAEvE,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;CAC1F,MAAM,QAAQ,SAAS,SAAS,sBAAsB,QAAQ,QAAQ,KAAA;CACtE,MAAM,OAAO,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO,OAAO,SAAS,KAAK;CAE3E,IAAI,eAAe,KAAA,KAAa,SAAS,KAAA,GACvC,OAAO,OAAO,QAAQ,uCAAuC,QAAQ;CAEvE,MAAM,SACJ,SAAS,KAAA,KAAa,KAAK,iBAAiB,UAAU,eAClD,KAAK,eACL,KAAA;CAEN,IACE,SAAS,SAAS,uBAClB,QAAQ,UAAU,WAAW,KAAA,IAAY,SAAS,aAElD,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAE9F,IAAI,WAAW,KAAA,KAAa,SAAS,KAAA,KAAa,KAAK,iBAAiB,UAAU,eAChF,OAAO,OAAO,QAAQ,4CAA4C,QAAQ;CAE5E,MAAM,cAAc,OAAO,OAAO,OAAO,6BAA6B,UAAU,YAAY,CAAC,EAAA,EACzF;CAEJ,IAAI,eAAe,KAAA,GAAW;EAC5B,OAAO,4BAA4B,YAAY,SAAS,CAAC,CAAC,KACxD,OAAO,eAAe,QAAQ,mDAAmD,QAAQ,CAAC,CAC5F;EACA,IAAI,WAAW,QAAQ,SAAS,uBAAuB,WAAW,QAAQ,UAAU,OAClF,OAAO,OAAO,QAAQ,mDAAmD,QAAQ;EACnF,IAAI,WAAW,KAAA,GAAW;GACxB,MAAM,kBAAkB,OAAO,OAAO,OAAO,6BAA6B,MAAM,CAAC,EAAA,EAAI,OAClF;GAEH,IAAI,gBAAgB,SAAS,qBAC3B,OAAO,OAAO,QAAQ,4CAA4C,QAAQ;GAC5E,OAAO,yBAAyB,WAAW,SAAS,cAAc,CAAC,CAAC,KAClE,OAAO,eAAe,QAAQ,6CAA6C,QAAQ,CAAC,CACtF;EACF;CACF;CACA,MAAM,SAAS,mBAAmB,UAAU,YAAY;CAExD,MAAM,aAAa,OAAO,OAAO,WAAW,MAAM;CAElD,IAAI,eAAe,KAAA,KAAa,WAAW,MAAM,EAAE,aAAa,CAAC,sBAAsB,MAAM,CAAC,GAC5F,OAAO,OAAO,QAAQ,8DAA8D,QAAQ;CAC9F,MAAM,aAAa,oBAAoB,YAAY,MAAM;CACzD,MAAM,kCAAkB,IAAI,IAAwB;CAEpD,KAAK,MAAM,SAAS,YAClB,gBAAgB,IACd,MAAM,UAAU,aACf,gBAAgB,IAAI,MAAM,UAAU,UAAU,KAAK,KAAK,CAC3D;CACF,MAAM,8BAAc,IAAI,IAAgD;CAExE,KAAK,MAAM,SAAS,YAAY;EAC9B,MAAM,UAAU,MAAM,OAAO;EAE7B,IAAI,EAAE,gBAAgB,UAAU;EAChC,MAAM,UAAU,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC;EAExD,QAAQ,KAAK,KAAK;EAClB,YAAY,IAAI,QAAQ,YAAY,OAAO;CAC7C;CACA,MAAM,WAAW,OAAO,OAAO,SAAS,UAAU,YAAY;CAC9D,MAAM,YAAY,SAAS,UAAU,KAAK,WAAW,uBAAuB,KAAK,MAAM,CAAC;CACxF,MAAM,cAAc,SAAS,YAAY,KAAK,WAAW,wBAAwB,KAAK,MAAM,CAAC;CAC7F,MAAM,gBAAgB,SAAS,OAAO;CAEtC,IAAI,SAAS,OAAO,SAAS,GAAG,OAAO,OAAO,QAAQ,4BAA4B,QAAQ;CAC1F,MAAM,iBAAiB,OAAO,OAAO,OAAO,wBAAwB,UAAU,YAAY,CAAC;CAE3F,IAAI,mBAAmB,KAAA,KAAa,kBAAkB,KAAA,GACpD,OAAO,OAAO,QAAQ,qDAAqD,QAAQ;CAErF,MAAM,QACJ,gBAAgB,OAAO,QAAQ,SAAS,mBACpC,YAAY,KAAK;EACf,GAAG,eAAe,OAAO;EACzB,aAAa,eAAe,eAAe,eAAe,OAAO;EACjE,mBAAmB,eAAe,OAAO;CAC3C,CAAC,IACD,kBAAkB,KAAA,IAChB,KAAA,IACA,YAAY,KAAK,aAAa;CAEtC,IACE,kBAAkB,KAAA,KAClB,UAAU,KAAA,MACT,cAAc,WAAW,MAAM,UAAU,cAAc,WAAW,MAAM,SAEzE,OAAO,OAAO,QAAQ,uDAAuD,QAAQ;CACvF,KAAK,MAAM,WAAW,CAAC,GAAG,WAAW,GAAG,WAAW,GACjD,IAAI,gBAAgB,IAAI,QAAQ,UAAU,MAAM,GAC9C,OAAO,OAAO,QACZ,kEACA,QACF;CAEJ,KAAK,MAAM,WAAW,WAAW;EAC/B,MAAM,aAAa,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC3D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,2BAA2B,QAAQ,eAAe,QAAQ,UAC/E;EAEA,MAAM,WAAW,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QACzD,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,QAAQ,UAC7E;EAEA,IACE,UAAU,WAAW,KACrB,QAAQ,SAAS,KACjB,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,0BAChB,QAAQ,aAAa,QAAQ,YAC5B,QAAQ,aAAa,QAAQ,YAC7B,QAAQ,WAAW,QAAQ,OACjC,GAEA,OAAO,OAAO,QACZ,sEACA,QACF;CACJ;CACA,KAAK,MAAM,WAAW,aAAa;EACjC,IAAI,QAAQ,WAAW,SAAS,qBAAqB,UAAU,KAAA,GAC7D,OAAO,OAAO,QACZ,iEACA,QACF;EAEF,MAAM,YAAY,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC1D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBACjB,QAAQ,eAAe,QAAQ,eAC9B,QAAQ,eAAe,eAAe,cAAc,eACnD,sBAAsB,QAAQ,UAAU,CAC9C;EAEA,MAAM,WACJ,QAAQ,WAAW,SAAS,wBACxB,QAAQ,WAAW,YACjB,sBACA,0BACF,QAAQ,WAAW,SAAS,kBAC1B,kBACA,QAAQ,WAAW,SAAS,gBAC1B,eACA,KAAA;EAEV,IACE,SAAS,SAAS,KAClB,SAAS,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,uBAChB,QAAQ,eAAe,YACtB,QAAQ,WAAW,QAAQ,UAC3B,QAAQ,WAAW,QAAQ,OACjC,GAEA,OAAO,OAAO,QAAQ,0DAA0D,QAAQ;EAC1F,IAAI,QAAQ,WAAW,SAAS,uBAAuB;GACrD,MAAM,SAAS,QAAQ;GAEvB,MAAM,YAAY,YAAY,IAAI,QAAQ,UAAU,KAAK,CAAC,EAAA,CAAG,QAC1D,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,qBAAqB,QAAQ,eAAe,QAAQ,UACzE;GAEA,IACE,SAAS,SAAS,KAClB,SAAS,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBAChB,QAAQ,cAAc,OAAO,aAC5B,cAAc,QAAQ,MAAM,MAAM,cAAc,OAAO,MAAM,EACnE,GAEA,OAAO,OAAO,QACZ,gEACA,QACF;EACJ;CACF;CAEA,MAAM,UAAU,WACb,QACE,UACC,CAAC,MAAM,WACP,CAAC,MAAM,aACN,MAAM,WACJ,CAAC,MAAM,mBACN,MAAM,UAAU,kBAAkB,cAClC,MAAM,UAAU,mBAAmB,WAC3C,CAAC,CACA,KAAK,UAAU,MAAM,UAAU,UAAU;CAE5C,MAAM,oBAAoB,IAAI,IAAI,UAAU,KAAK,WAAW,OAAO,UAAU,CAAC;CAE9E,MAAM,mBAAmB,WACtB,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,QAAQ,SAAS,uBAAuB,CAAC,CAC7E,SAAS,EAAE,aAAa;EACvB,IAAI,OAAO,QAAQ,SAAS,yBAAyB,OAAO,CAAC;EAC7D,MAAM,KAAK,OAAO,QAAQ;EAE1B,OAAO,kBAAkB,IAAI,EAAE,MAC5B,YAAY,IAAI,EAAE,KAAK,CAAC,EAAA,CAAG,MACzB,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,EACrE,IACE,CAAC,IACD,CAAC,EAAE;CACT,CAAC;CAEH,MAAM,aACJ,iBAAiB,WAAW,IACxB,KAAA,IACA,mBAAmB,KAAK;EACtB,QAAQ,0BAA0B,KAAK,EACrC,aAAa,CAAC,iBAAiB,IAAI,GAAG,iBAAiB,MAAM,CAAC,CAAC,EACjE,CAAC;EACD,aAAa,WAAW,GAAG,EAAE,CAAC,EAAE,OAAO,aAAa,UAAU;CAChE,CAAC;CAIP,MAAM,QACJ,eAAe,KAAA,IACX,YACA,WAAW,KAAA,IACT,WACA,QAAQ,SAAS,IACf,YACA,eAAe,KAAA,IACb,cACA,eAAe,KAAA,IACb,mBACC,OAAO,OAAO,SAAS,UAAU,OAAO,KACvC,UACA;CAEhB,OAAO,kBAAkB,KAAK;EAC5B;EACA;EACA,GAAI,eAAe,KAAA,IACf,CAAC,IACD,EACE,cAAc,mBAAmB,KAAK;GACpC,UAAU,WAAW,OAAO;GAC5B,UAAU,WAAW;EACvB,CAAC,EACH;EACJ,GAAI,WAAW,KAAA,IAAY,CAAC,IAAI,EAAE,wBAAwB,OAAO;EACjE,GAAI,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;EACjD,GAAI,UAAU,eAAe,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;EAC1E,oBAAoB;EACpB,GAAI,UAAU,KAAA,IAAY,CAAC,IAAI,EAAE,MAAM;EACvC;EACA;CACF,CAAC;AACH,CAAC;;AAGD,MAAa,oBAAoB,OAAO,WAAW,WAAW,UAAoB,OAAc;CAE9F,MAAM,UAAU,QAAO,OADD,mBAAA,CACQ,WAAW,KAAK;CAE9C,MAAM,SAAS,QAAQ,MACpB,EAAE,QAAQ,EAAE,iBACV,QAAQ,SAAS,uBAChB,QAAQ,SAAS,gBACjB,QAAQ,SAAS,4BACnB,QAAQ,UAAU,KACtB;CAEA,MAAM,SAAS,QAAQ,MACpB,EAAE,QAAQ,EAAE,iBACV,QAAQ,SAAS,kBAChB,QAAQ,SAAS,eACjB,QAAQ,SAAS,wBACnB,QAAQ,UAAU,KACtB;CAEA,IAAI,UAAU,CAAC,QAAQ,OAAO,OAAO,QAAQ,uCAAuC,QAAQ;AAC9F,CAAC;;AAGD,MAAa,0BAA0B,OAAO,WAAW,WAAW,WAA4B;CAC9F,IAAI,UAAU,cAAc,KAAA,GAC1B,OAAO,OAAO,QACZ,+DACA,UAAU,QACZ;CACF,MAAM,UAAU,OAAO,0BAA0B,SAAS;CAC1D,MAAM,SAAS,OAAO;CAEtB,IACE,QAAQ,UAAU,aAClB,QAAQ,mBAAmB,SAAS,KACpC,QAAQ,eAAe,KAAA,GAEvB,OAAO,OAAO,QAAQ,8CAA8C,UAAU,QAAQ;CACxF,IAAI,QAAQ,UAAU,KAAA,KAAa,QAAQ,MAAM,sBAAsB,KAAA,GACrE,OAAO,OAAO,QAAQ,wCAAwC,UAAU,QAAQ;CAClF,MAAM,UAAU,OAAO,OAAO,WAAW,mBAAmB,UAAU,YAAY,CAAC;CAEnF,MAAM,mBAAmB,IAAI,IAC3B,QAAQ,SAAS,EAAE,QAAQ,EAAE,gBAC3B,QAAQ,SAAS,wBAAwB,CAAC,QAAQ,UAAU,IAAI,CAAC,CACnE,CACF;CAEA,IACE,QAAQ,MACL,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,2BAA2B,CAAC,iBAAiB,IAAI,QAAQ,UAAU,CACxF,GAEA,OAAO,OAAO,QAAQ,4CAA4C,UAAU,QAAQ;CACtF,KAAK,MAAM,YAAY,QAAQ,WAC7B,IACE,CAAC,QAAQ,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,yBAAyB,QAAQ,eAAe,SAAS,UAC9E,GAEA,OAAO,OAAO,QAAQ,2CAA2C,UAAU,QAAQ;CACvF,KAAK,MAAM,cAAc,QAAQ,aAC/B,IACE,WAAW,WAAW,SAAS,qBAC/B,CAAC,QAAQ,MACN,EAAE,QAAQ,EAAE,gBACX,QAAQ,SAAS,sBACjB,QAAQ,eAAe,WAAW,eACjC,QAAQ,eAAe,eAAe,cAAc,eACnD,sBAAsB,WAAW,UAAU,CACjD,GAEA,OAAO,OAAO,QAAQ,6CAA6C,UAAU,QAAQ;CACzF,OAAO,yBAAyB,SAAS;CAEzC,OAAO;AACT,CAAC;;AAGD,MAAa,iBAAiB,OAAO,WAAW,WAC9C,QACA;CAGA,OAAO,QAAO,OAFQ,aAAA,CAED,OACnB,OAAO,KACL,OAAO,WAAW,SAChB,OAAO,aAAa,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,KACtC,OAAO,QAAQ,OAAO,oBAAoB,aAAa,CAAC,GACxD,OAAO,eAAe,QAAQ,gCAAgC,KAAK,QAAQ,CAAC,CAC9E,CACF,CACF,CACF;AACF,CAAC"}
|
|
@@ -4,10 +4,10 @@ import { a as Receipt, t as IdempotencyKey } from "./Receipt-BkM21Qiu.mjs";
|
|
|
4
4
|
import { r as Update } from "./AgentUpdates-DksV4D0A.mjs";
|
|
5
5
|
import { r as Diagnostic } from "./FailureDiagnostic-DvHruCSJ.mjs";
|
|
6
6
|
import { t as AgentPolicy } from "./AgentPolicy-B4lbCU2T.mjs";
|
|
7
|
-
import { $ as RecordEnvelope, b as DefinitionDigests, d as CanonicalRecordEnvelope, et as RecordId, l as CanonicalBatch, p as CanonicalSequence } from "./Records-
|
|
8
|
-
import { $r as ExecutionCheckpoint, Ct as ApprovalDecisionIntent, Ki as ThreadStoreError, On as UnknownResolutionIntent, Ri as ThreadReadRequest, Si as ThreadExport, Vt as InputAppliedMarker, _i as ThreadAdmission, an as ResolutionSafeToRetry, in as ResolutionNeverHappened, lt as AbortIntent, nn as ResolutionAbortSubmission, rn as ResolutionCompletedWithResult, sn as Settlement, wn as SuspensionSnapshot, xi as ThreadCommands } from "./Admin-
|
|
9
|
-
import { p as MessageDeliveryRecord } from "./MessageDelivery-
|
|
10
|
-
import { t as RunContextReader } from "./run-context-reader-
|
|
7
|
+
import { $ as RecordEnvelope, b as DefinitionDigests, d as CanonicalRecordEnvelope, et as RecordId, l as CanonicalBatch, p as CanonicalSequence } from "./Records-BP67Yz6n.mjs";
|
|
8
|
+
import { $r as ExecutionCheckpoint, Ct as ApprovalDecisionIntent, Ki as ThreadStoreError, On as UnknownResolutionIntent, Ri as ThreadReadRequest, Si as ThreadExport, Vt as InputAppliedMarker, _i as ThreadAdmission, an as ResolutionSafeToRetry, in as ResolutionNeverHappened, lt as AbortIntent, nn as ResolutionAbortSubmission, rn as ResolutionCompletedWithResult, sn as Settlement, wn as SuspensionSnapshot, xi as ThreadCommands } from "./Admin-BgCHCGSl.mjs";
|
|
9
|
+
import { p as MessageDeliveryRecord } from "./MessageDelivery-rlLpakO8.mjs";
|
|
10
|
+
import { t as RunContextReader } from "./run-context-reader-DEU4REfD.mjs";
|
|
11
11
|
import { Context, Effect, Layer, Schema, Scope, Stream } from "effect";
|
|
12
12
|
//#region src/durable/internal/thread-import-reader.d.ts
|
|
13
13
|
declare const ThreadImportReader_base: Context.ServiceClass<ThreadImportReader, "@effect-agent/thread/ThreadImportReader", {
|
|
@@ -840,4 +840,4 @@ declare const rebuildClosedSubmission: (admission: ThreadAdmission) => Effect.Ef
|
|
|
840
840
|
declare const reencodeThread: <E, R>(source: Stream.Stream<ThreadExport, E, R>) => Effect.Effect<ThreadImportResult, E | ThreadImportRejected | ThreadStoreError, R | ThreadImport>;
|
|
841
841
|
//#endregion
|
|
842
842
|
export { ThreadDeliveryImportReader as C, verifyImportedReferences as S, reencodeThread as _, ThreadImport as a, validateImportedRunExecution as b, ThreadImportResult as c, finishThreadImport as d, invalidThreadArchive as f, rebuildImportedSubmission as g, rebuildClosedSubmission as h, ThreadArchive as i, ThreadImport_d_exports as l, prepareImportPage as m, PreparedImportPage as n, ThreadImportProgress as o, makeThreadImportProgress as p, RebuiltSubmission as r, ThreadImportRejected as s, PreparedImportBatch as t, captureImportSource as u, validateClosedRun as v, ThreadImportReader as w, verifyImportedInputOrder as x, validateImportedExecution as y };
|
|
843
|
-
//# sourceMappingURL=ThreadImport-
|
|
843
|
+
//# sourceMappingURL=ThreadImport-DtRNoHIr.d.mts.map
|
|
@@ -3,11 +3,11 @@ import { ReceiptId, RunId, SubmissionId, ThreadId, ToolCallId } from "./core/Ide
|
|
|
3
3
|
import { n as utf8ByteLength } from "./utf8-B5pAmhTo.mjs";
|
|
4
4
|
import { QueueSequence } from "./core/Receipt.mjs";
|
|
5
5
|
import { n as AssignmentTerminal } from "./Worker-CtuUwYOK.mjs";
|
|
6
|
-
import { B as ObservationOffset, C as MAX_CANONICAL_RECORD_BYTES, D as MAX_PERSISTED_JSON_NODES, P as MAX_RUN_TOOL_CALL_IDENTITIES, T as MAX_PERSISTED_JSON_COLLECTION_LENGTH, U as PersistedJson, V as PROMPT_EVIDENCE_TAGS, W as ProducerId, X as RecordEnvelope, Z as RecordId, b as Digest, f as CanonicalSequence, i as BatchId, o as CURRENT_RECORD_FORMAT, u as CanonicalRecordEnvelope } from "./Records-
|
|
7
|
-
import { c as boundedCanonicalJson, l as canonicalJson } from "./Digest-
|
|
6
|
+
import { B as ObservationOffset, C as MAX_CANONICAL_RECORD_BYTES, D as MAX_PERSISTED_JSON_NODES, P as MAX_RUN_TOOL_CALL_IDENTITIES, T as MAX_PERSISTED_JSON_COLLECTION_LENGTH, U as PersistedJson, V as PROMPT_EVIDENCE_TAGS, W as ProducerId, X as RecordEnvelope, Z as RecordId, b as Digest, f as CanonicalSequence, i as BatchId, o as CURRENT_RECORD_FORMAT, u as CanonicalRecordEnvelope } from "./Records-bbGVHprv.mjs";
|
|
7
|
+
import { c as boundedCanonicalJson, l as canonicalJson } from "./Digest-CzLJcsWv.mjs";
|
|
8
8
|
import { AbortIntent, AdmissionRequest, ApprovalDecisionIntent, UnknownResolutionIntent } from "./durable/SubmissionLedger.mjs";
|
|
9
9
|
import { ExportRecord, ExportedRecord } from "./durable/RecordFormat.mjs";
|
|
10
|
-
import { O as subagentLineageRecordId, S as runIdForSubmission, X as workerOriginRecordId } from "./RunJournal-
|
|
10
|
+
import { O as subagentLineageRecordId, S as runIdForSubmission, X as workerOriginRecordId } from "./RunJournal-DQr2dUgg.mjs";
|
|
11
11
|
import { ScheduleInstant } from "./durable/Schedule.mjs";
|
|
12
12
|
import { MessageDeliveryRecord } from "./durable/MessageDelivery.mjs";
|
|
13
13
|
import { MAX_CANONICAL_BATCH_BYTES } from "./durable/ThreadArchiveRange.mjs";
|
|
@@ -994,4 +994,4 @@ var ThreadReader = class ThreadReader extends Context.Service()("@effect-agent/t
|
|
|
994
994
|
//#endregion
|
|
995
995
|
export { ThreadTail as $, ThreadExportRecord as A, ThreadPeerCountRequest as B, ThreadAdmission as C, ThreadExport as D, ThreadCommands as E, ThreadIdentity as F, ThreadRecordRequest as G, ThreadRead as H, ThreadIdentityRequest as I, ThreadSelection as J, ThreadResolutionFact as K, ThreadMaterialization as L, ThreadExportRequest as M, ThreadExportSnapshot as N, ThreadExportBatch as O, ThreadExportSource as P, ThreadStore_exports as Q, ThreadNotMaterialized as R, ThreadAbortFact as S, ThreadCheckpoint as T, ThreadReadRequest as U, ThreadPromptRead as V, ThreadReader as W, ThreadStoreDiagnostic as X, ThreadStore as Y, ThreadStoreError as Z, PromptCheckpoint as _, executionRunIds as _t, CommitBatch as a, ThreadWorkerStateRequest as at, SaveCheckpointRequest as b, isWorkHandoff as bt, ExecutionUpdate as c, getRunInput as ct, MAX_PROMPT_CHECKPOINT_BYTES as d, streamExport as dt, ThreadTailRequest as et, MAX_PROMPT_CHECKPOINT_RUNS as f, transferPageFits as ft, PreparedAppend as g, canonicalRunIds as gt, MAX_THREAD_EXPORT_PAGE_RECORDS as h, recordEncoding as ht, CheckpointRejected as i, ThreadWorkerSeal as it, ThreadExportRejected as j, ThreadExportCursor as k, FreshRunRead as l, makeTransferFactCheck as lt, MAX_THREAD_EXPORT_PAGE_BYTES as m, captureRecord as mt, AppendRequest as n, ThreadWorkerCapacity as nt, ExecutionCheckpoint as o, canonicalBatchFitsTransfer as ot, MAX_THREAD_EXPORT_CURSOR_CHARS as p, transferRecordDependencies as pt, ThreadRunInputRequest as q, AppendResult as r, ThreadWorkerCapacityRequest as rt, ExecutionRead as s, getRecord as st, AppendConflict as t, ThreadVerificationRequest as tt, LoadCheckpointRequest as u, readWorkerState as ut, PromptCheckpointHead as v, isPreContinuationFact as vt, ThreadApprovalFact as w, SelectedThreadRead as x, terminalUsageCharge as xt, PromptCheckpointRead as y, isTerminalBudgetFact as yt, ThreadObservation as z };
|
|
996
996
|
|
|
997
|
-
//# sourceMappingURL=ThreadStore-
|
|
997
|
+
//# sourceMappingURL=ThreadStore-C_ofHc7h.mjs.map
|