@typeonce/effect-machine 0.1.0

package/dist/ClusterMachine.d.ts

@@ -0,0 +1,250 @@
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import * as Machine from "./Machine.js";
+import { Rpc } from "effect/unstable/rpc";
+import { ClusterError, Entity, EntityAddress, MessageStorage, type Sharding, Snowflake } from "effect/unstable/cluster";
+type EntityAddress = EntityAddress.EntityAddress;
+type PersistenceError = ClusterError.PersistenceError;
+type Snowflake = Snowflake.Snowflake;
+/**
+ * Persisted machine checkpoint owned by the Cluster bridge.
+ *
+ * **Details**
+ *
+ * Machine identity and deployment version are stored around the generic
+ * encoded snapshot. The request id records the request that produced the
+ * checkpoint.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Checkpoint {
+    readonly machineId: string;
+    readonly version: string;
+    readonly requestId: Snowflake;
+    readonly snapshot: Machine.Machine.EncodedSnapshot;
+}
+/**
+ * Result of loading a checkpoint for a Cluster machine request.
+ *
+ * **Details**
+ *
+ * `processed` reports whether the exact Cluster request id was already
+ * committed. Storage implementations must retain enough request ids to detect
+ * redelivery even after later requests have advanced the checkpoint.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface LoadResult {
+    readonly checkpoint: Option.Option<Checkpoint>;
+    readonly processed: boolean;
+}
+/**
+ * Result of atomically committing a Cluster machine request.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type CommitResult = CommitResult.Committed | CommitResult.Duplicate;
+/**
+ * Constructors and types for Cluster machine commit results.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export declare const CommitResult: {
+    Committed: () => CommitResult.Committed;
+    Duplicate: () => CommitResult.Duplicate;
+};
+/**
+ * Types for Cluster machine commit results.
+ *
+ * @since 4.0.0
+ */
+export declare namespace CommitResult {
+    /**
+     * Indicates that the request id and checkpoint were committed atomically.
+     *
+     * @category models
+     * @since 4.0.0
+     */
+    interface Committed {
+        readonly _tag: "Committed";
+    }
+    /**
+     * Indicates that the request id was already committed.
+     *
+     * @category models
+     * @since 4.0.0
+     */
+    interface Duplicate {
+        readonly _tag: "Duplicate";
+    }
+}
+declare const Storage_base: Context.ServiceClass<Storage, "effect/cluster/ClusterMachine/Storage", {
+    readonly load: (address: EntityAddress, requestId: Snowflake) => Effect.Effect<LoadResult, PersistenceError>;
+    readonly commit: (address: EntityAddress, checkpoint: Checkpoint) => Effect.Effect<CommitResult, PersistenceError>;
+}>;
+/**
+ * Checkpoint persistence service used by Cluster machines.
+ *
+ * **When to use**
+ *
+ * Use to connect `ClusterMachine` to a durable checkpoint store that can
+ * atomically deduplicate request ids and replace the current checkpoint.
+ *
+ * **Gotchas**
+ *
+ * For checkpoint and emitted-message persistence to commit atomically, this
+ * service must join the transaction opened through the configured
+ * `MessageStorage`. The reply is persisted after that transaction; storing the
+ * request id with the checkpoint makes a redelivery recover that reply without
+ * applying the transition again. A separate transaction or database cannot
+ * provide checkpoint-and-emission atomicity.
+ *
+ * @category services
+ * @since 4.0.0
+ */
+export declare class Storage extends Storage_base {
+}
+declare const Accepted_base: Schema.Class<Accepted, Schema.TaggedStruct<"Accepted", {}>, {}>;
+/**
+ * Successful result returned after a Cluster machine request is committed or
+ * recognized as a redelivery.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export declare class Accepted extends Accepted_base {
+}
+/**
+ * Schema for reasons a Cluster machine request can be rejected without
+ * advancing its checkpoint.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export declare const RejectionReason: Schema.Literals<readonly ["MachineIdMismatch", "VersionMismatch", "InvalidCheckpoint", "UnsupportedProcessLocal", "TransitionFailure", "PersistenceFailure", "EmissionFailure"]>;
+/**
+ * Type of {@link RejectionReason}.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type RejectionReason = typeof RejectionReason.Type;
+declare const Rejected_base: Schema.Class<Rejected, Schema.TaggedStruct<"Rejected", {
+    readonly reason: Schema.Literals<readonly ["MachineIdMismatch", "VersionMismatch", "InvalidCheckpoint", "UnsupportedProcessLocal", "TransitionFailure", "PersistenceFailure", "EmissionFailure"]>;
+    readonly message: Schema.String;
+}>, {}>;
+/**
+ * Rejected Cluster machine request. Transaction-participating durable storage
+ * leaves the previous checkpoint in place and suppresses emitted events.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export declare class Rejected extends Rejected_base {
+}
+/**
+ * Schema for Cluster machine request outcomes.
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export declare const SendResult: Schema.Union<readonly [typeof Accepted, typeof Rejected]>;
+type SendRpc<Events extends ReadonlyArray<Machine.Machine.TaggedSchema>> = Rpc.Rpc<"send", Schema.Union<Events>, typeof SendResult>;
+type MachineEvents<M extends Machine.Machine.Any> = M extends Machine.Machine<any, infer Events, any, any, any, any, any, any, any, any, any, any> ? Events & ReadonlyArray<Machine.Machine.TaggedSchema> : never;
+type MachineEmits<M extends Machine.Machine.Any> = M extends Machine.Machine<any, any, any, any, any, any, any, any, any, any, infer Emits, any> ? Emits & ReadonlyArray<Machine.Machine.TaggedSchema> : never;
+/**
+ * Cluster adapter for one machine definition and entity type.
+ *
+ * **Details**
+ *
+ * The adapter exposes one persisted `send` RPC. Entity requests are serialized
+ * by the normal Cluster entity concurrency and every accepted request advances
+ * the checkpoint at most once.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface ClusterMachine<in out Type extends string, in out M extends Machine.Machine.Any, out Services = MachineServices<M>> {
+    readonly machine: M;
+    readonly entity: Entity.Entity<Type, SendRpc<MachineEvents<M>>>;
+    /**
+     * Creates the Cluster entity layer for this machine.
+     *
+     * **Gotchas**
+     *
+     * `enqueue` runs after the checkpoint write in the same `MessageStorage`
+     * transaction. It must durably enqueue emitted events in that transaction;
+     * arbitrary external effects are not atomic with the checkpoint. The reply
+     * is persisted after commit and recovered through request-id deduplication if
+     * delivery is interrupted. Machines that never emit may omit `enqueue`.
+     */
+    readonly toLayer: <R = never>(options?: {
+        readonly enqueue?: (event: Machine.Machine.EmitOf<MachineEmits<M>>) => Effect.Effect<void, unknown, R>;
+    }) => Layer.Layer<never, never, Storage | MessageStorage.MessageStorage | Sharding.Sharding | R | Services>;
+}
+type MachineServices<M extends Machine.Machine.Any> = M extends Machine.Machine<infer States, infer Events, any, any, any, infer R, any, infer InitialR, any, any, infer Emits, any> ? ExcludeCompatibleRuntime<Machine.ExecutionServices<R | InitialR>, Machine.Machine.EventOf<Events & ReadonlyArray<Machine.Machine.TaggedSchema>>, Machine.Machine.EmitOf<Emits & ReadonlyArray<Machine.Machine.TaggedSchema>>> | Machine.Machine.SnapshotDecodingServices<States & Machine.Machine.StateSchemas> | Machine.Machine.SnapshotEncodingServices<States & Machine.Machine.StateSchemas> : never;
+type IsAny<A> = 0 extends (1 & A) ? true : false;
+type ExcludeCompatibleRuntime<Requirements, Events, Emits> = Requirements extends Machine.Runtime.Requirement<infer RequiredEvents, infer RequiredEmits> ? IsAny<Requirements> extends true ? Requirements : [RequiredEvents] extends [Events] ? [RequiredEmits] extends [Emits] ? never : Requirements : Requirements : Requirements;
+/**
+ * Creates an in-memory Cluster machine checkpoint store.
+ *
+ * **When to use**
+ *
+ * Use when you test or run a local process that does not require checkpoints
+ * to survive a restart.
+ *
+ * **Gotchas**
+ *
+ * This store is not durable and does not provide rollback with the in-memory
+ * `MessageStorage` transaction marker.
+ *
+ * @category constructors
+ * @since 4.0.0
+ */
+export declare const makeMemory: Effect.Effect<Storage["Service"]>;
+/**
+ * Layer providing the in-memory Cluster machine checkpoint store.
+ *
+ * @category layers
+ * @since 4.0.0
+ */
+export declare const layerMemory: Layer.Layer<Storage>;
+/**
+ * Creates a persisted Cluster entity adapter for a machine.
+ *
+ * **When to use**
+ *
+ * Use when each Cluster entity id should own one durable machine snapshot and
+ * accept schema-validated machine events through a persisted `send` RPC.
+ *
+ * **Details**
+ *
+ * A missing checkpoint runs initial planning before the first event. Existing
+ * checkpoints are identity-checked, version-checked, decoded, and resumed
+ * without rerunning initial entry behavior. Final checkpoints accept later
+ * requests as no-ops. The stable bridge identity is `machine.id` when present,
+ * otherwise the Cluster entity type.
+ *
+ * **Gotchas**
+ *
+ * Invoked processes, spawned children, action-time `runtime.raise`, timers,
+ * subscriptions, and other process-local state are not durable and are
+ * rejected. Planning-time raised events remain part of the current macrostep.
+ * Arbitrary action effects may run again after a crash before checkpoint
+ * commit, so the bridge does not provide exactly-once external effects.
+ *
+ * @category constructors
+ * @since 4.0.0
+ */
+export declare const make: <const Type extends string, States extends Machine.Machine.StateSchemas, Events extends ReadonlyArray<Machine.Machine.TaggedSchema>, Input extends Schema.Top, UnhandledStates extends Machine.Machine.StateIdentifier<States>, E, R, InitialE, InitialR, FinalStates extends Machine.Machine.StateIdentifier<States>, Output, Emits extends ReadonlyArray<Machine.Machine.TaggedSchema>, OutputStates extends Machine.Machine.StateIdentifier<States>>(type: Type, machine: Machine.Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates>, options: {
+    readonly version: string;
+}, ...input: [...Machine.Machine.InputArgs<Input>]) => ClusterMachine<Type, Machine.Machine<States, Events, Input, UnhandledStates, E, R, InitialE, InitialR, FinalStates, Output, Emits, OutputStates>, ExcludeCompatibleRuntime<Machine.ExecutionServices<R | InitialR>, Machine.Machine.EventOf<Events>, Machine.Machine.EmitOf<Emits>> | Machine.Machine.SnapshotDecodingServices<States> | Machine.Machine.SnapshotEncodingServices<States>>;
+export {};
+//# sourceMappingURL=ClusterMachine.d.ts.map

package/dist/ClusterMachine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ClusterMachine.d.ts","sourceRoot":"","sources":["../src/ClusterMachine.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAA;AACzC,OAAO,EACL,YAAY,EAEZ,MAAM,EACN,aAAa,EACb,cAAc,EACd,KAAK,QAAQ,EACb,SAAS,EACV,MAAM,yBAAyB,CAAA;AAEhC,KAAK,aAAa,GAAG,aAAa,CAAC,aAAa,CAAA;AAChD,KAAK,gBAAgB,GAAG,YAAY,CAAC,gBAAgB,CAAA;AACrD,KAAK,SAAS,GAAG,SAAS,CAAC,SAAS,CAAA;AAEpC;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,eAAe,CAAA;CACnD;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IAC9C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,YAAY,CAAC,SAAS,GAAG,YAAY,CAAC,SAAS,CAAA;AAE1E;;;;;GAKG;AACH,eAAO,MAAM,YAAY;qBACR,YAAY,CAAC,SAAS;qBACtB,YAAY,CAAC,SAAS;CACtC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,OAAO,WAAW,YAAY,CAAC;IACpC;;;;;OAKG;IACH,UAAiB,SAAS;QACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;KAC3B;IAED;;;;;OAKG;IACH,UAAiB,SAAS;QACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;KAC3B;CACF;;mBAuBgB,CACb,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,SAAS,KACjB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC;qBAC/B,CACf,OAAO,EAAE,aAAa,EACtB,UAAU,EAAE,UAAU,KACnB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,gBAAgB,CAAC;;AA5BpD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,qBAAa,OAAQ,SAAQ,YASgB;CAAG;;AAEhD;;;;;;GAMG;AACH,qBAAa,QAAS,SAAQ,aAG7B;CAAG;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,kLAQ1B,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;;;;;AAEzD;;;;;;GAMG;AACH,qBAAa,QAAS,SAAQ,aAM7B;CAAG;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,UAAU,2DAAqC,CAAA;AAE5D,KAAK,OAAO,CAAC,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,GAAG,CAChF,MAAM,EACN,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EACpB,OAAO,UAAU,CAClB,CAAA;AAED,KAAK,aAAa,CAAC,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,OAAO,CAAC,OAAO,CAC3E,GAAG,EACH,MAAM,MAAM,EACZ,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,CACJ,GAAG,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,GACtD,KAAK,CAAA;AAEP,KAAK,YAAY,CAAC,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,OAAO,CAAC,OAAO,CAC1E,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,MAAM,KAAK,EACX,GAAG,CACJ,GAAG,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,GACrD,KAAK,CAAA;AAEP;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,cAAc,CAC7B,EAAE,CAAC,GAAG,CAAC,IAAI,SAAS,MAAM,EAC1B,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,EACpC,GAAG,CAAC,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC;IAEjC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAE/D;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,KAAK,EAAE,OAAO,CAAC,EAAE;QACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,CACjB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAC3C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;KACrC,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,GAAG,cAAc,CAAC,cAAc,GAAG,QAAQ,CAAC,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAA;CAC5G;AAED,KAAK,eAAe,CAAC,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,OAAO,CAAC,OAAO,CAC7E,MAAM,MAAM,EACZ,MAAM,MAAM,EACZ,GAAG,EACH,GAAG,EACH,GAAG,EACH,MAAM,CAAC,EACP,GAAG,EACH,MAAM,QAAQ,EACd,GAAG,EACH,GAAG,EACH,MAAM,KAAK,EACX,GAAG,CACJ,GACK,wBAAwB,CACxB,OAAO,CAAC,iBAAiB,CAAC,CAAC,GAAG,QAAQ,CAAC,EACvC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,EAC7E,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAC5E,GACC,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,GAC/E,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,GACjF,KAAK,CAAA;AAET,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAEhD,KAAK,wBAAwB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,IAAI,YAAY,SAAS,OAAO,CAAC,OAAO,CAAC,WAAW,CAC3G,MAAM,cAAc,EACpB,MAAM,aAAa,CACpB,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,IAAI,GAAG,YAAY,GAC/C,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,YAAY,GAC1F,YAAY,GACZ,YAAY,CAAA;AA4BhB;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAiCvD,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAqC,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,OAAO,CAAC,OAAO,CAAC,YAAY,EAC3C,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,EAC1D,KAAK,SAAS,MAAM,CAAC,GAAG,EACxB,eAAe,SAAS,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAC/D,CAAC,EACD,CAAC,EACD,QAAQ,EACR,QAAQ,EACR,WAAW,SAAS,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAC3D,MAAM,EACN,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,EACzD,YAAY,SAAS,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAE5D,MAAM,IAAI,EACV,SAAS,OAAO,CAAC,OAAO,CACtB,MAAM,EACN,MAAM,EACN,KAAK,EACL,eAAe,EACf,CAAC,EACD,CAAC,EACD,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,MAAM,EACN,KAAK,EACL,YAAY,CACb,EACD,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,EACD,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAC9C,cAAc,CACf,IAAI,EACJ,OAAO,CAAC,OAAO,CACb,MAAM,EACN,MAAM,EACN,KAAK,EACL,eAAe,EACf,CAAC,EACD,CAAC,EACD,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,MAAM,EACN,KAAK,EACL,YAAY,CACb,EACC,wBAAwB,CACxB,OAAO,CAAC,iBAAiB,CAAC,CAAC,GAAG,QAAQ,CAAC,EACvC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAC/B,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAC9B,GACC,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,CAAC,GAChD,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,CAAC,CA6JnD,CAAA"}

package/dist/ClusterMachine.js

@@ -0,0 +1,280 @@
+/**
+ * Runs Effect machines as persisted Cluster entities.
+ *
+ * @since 4.0.0
+ */
+import * as Cause from "effect/Cause";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import * as Machine from "./Machine.js";
+import { Rpc } from "effect/unstable/rpc";
+import { ClusterError, ClusterSchema, Entity, EntityAddress, MessageStorage, Snowflake } from "effect/unstable/cluster";
+/**
+ * Constructors and types for Cluster machine commit results.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export const CommitResult = {
+    Committed: () => ({ _tag: "Committed" }),
+    Duplicate: () => ({ _tag: "Duplicate" })
+};
+/**
+ * Checkpoint persistence service used by Cluster machines.
+ *
+ * **When to use**
+ *
+ * Use to connect `ClusterMachine` to a durable checkpoint store that can
+ * atomically deduplicate request ids and replace the current checkpoint.
+ *
+ * **Gotchas**
+ *
+ * For checkpoint and emitted-message persistence to commit atomically, this
+ * service must join the transaction opened through the configured
+ * `MessageStorage`. The reply is persisted after that transaction; storing the
+ * request id with the checkpoint makes a redelivery recover that reply without
+ * applying the transition again. A separate transaction or database cannot
+ * provide checkpoint-and-emission atomicity.
+ *
+ * @category services
+ * @since 4.0.0
+ */
+export class Storage extends Context.Service()("effect/cluster/ClusterMachine/Storage") {
+}
+/**
+ * Successful result returned after a Cluster machine request is committed or
+ * recognized as a redelivery.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export class Accepted extends Schema.TaggedClass("effect/cluster/ClusterMachine/Accepted")("Accepted", {}) {
+}
+/**
+ * Schema for reasons a Cluster machine request can be rejected without
+ * advancing its checkpoint.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export const RejectionReason = Schema.Literals([
+    "MachineIdMismatch",
+    "VersionMismatch",
+    "InvalidCheckpoint",
+    "UnsupportedProcessLocal",
+    "TransitionFailure",
+    "PersistenceFailure",
+    "EmissionFailure"
+]);
+/**
+ * Rejected Cluster machine request. Transaction-participating durable storage
+ * leaves the previous checkpoint in place and suppresses emitted events.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export class Rejected extends Schema.TaggedClass("effect/cluster/ClusterMachine/Rejected")("Rejected", {
+    reason: RejectionReason,
+    message: Schema.String
+}) {
+}
+/**
+ * Schema for Cluster machine request outcomes.
+ *
+ * @category schemas
+ * @since 4.0.0
+ */
+export const SendResult = Schema.Union([Accepted, Rejected]);
+const hasInvokes = (machine) => Reflect.ownKeys(machine.handlers).some((key) => machine.handlers[key]?.invoke !== undefined);
+const reject = (reason, message) => new Rejected({ reason, message });
+const fail = (reason, message) => Effect.fail(reject(reason, message));
+const messageFromCause = (cause) => {
+    const squashed = Cause.squash(cause);
+    return squashed instanceof globalThis.Error ? squashed.message : String(squashed);
+};
+const rejectionFromCause = (cause) => {
+    const error = Cause.findErrorOption(cause);
+    if (Option.isSome(error) && error.value instanceof Rejected) {
+        return error.value;
+    }
+    if (Option.isSome(error) && error.value instanceof Machine.ProcessLocalError) {
+        return reject("UnsupportedProcessLocal", `${error.value.operation} is process-local and is not supported`);
+    }
+    return reject("TransitionFailure", messageFromCause(cause));
+};
+const addressKey = (address) => `${address.entityType}\u0000${address.entityId}`;
+/**
+ * Creates an in-memory Cluster machine checkpoint store.
+ *
+ * **When to use**
+ *
+ * Use when you test or run a local process that does not require checkpoints
+ * to survive a restart.
+ *
+ * **Gotchas**
+ *
+ * This store is not durable and does not provide rollback with the in-memory
+ * `MessageStorage` transaction marker.
+ *
+ * @category constructors
+ * @since 4.0.0
+ */
+export const makeMemory = Effect.sync(() => {
+    const entries = new Map();
+    return Storage.of({
+        load: (address, requestId) => Effect.sync(() => {
+            const entry = entries.get(addressKey(address));
+            return {
+                checkpoint: Option.fromNullishOr(entry?.checkpoint),
+                processed: entry?.requests.has(requestId) ?? false
+            };
+        }),
+        commit: (address, checkpoint) => Effect.sync(() => {
+            const key = addressKey(address);
+            const entry = entries.get(key);
+            if (entry?.requests.has(checkpoint.requestId)) {
+                return CommitResult.Duplicate();
+            }
+            if (entry === undefined) {
+                entries.set(key, {
+                    checkpoint,
+                    requests: new Set([checkpoint.requestId])
+                });
+            }
+            else {
+                entry.checkpoint = checkpoint;
+                entry.requests.add(checkpoint.requestId);
+            }
+            return CommitResult.Committed();
+        })
+    });
+});
+/**
+ * Layer providing the in-memory Cluster machine checkpoint store.
+ *
+ * @category layers
+ * @since 4.0.0
+ */
+export const layerMemory = Layer.effect(Storage, makeMemory);
+/**
+ * Creates a persisted Cluster entity adapter for a machine.
+ *
+ * **When to use**
+ *
+ * Use when each Cluster entity id should own one durable machine snapshot and
+ * accept schema-validated machine events through a persisted `send` RPC.
+ *
+ * **Details**
+ *
+ * A missing checkpoint runs initial planning before the first event. Existing
+ * checkpoints are identity-checked, version-checked, decoded, and resumed
+ * without rerunning initial entry behavior. Final checkpoints accept later
+ * requests as no-ops. The stable bridge identity is `machine.id` when present,
+ * otherwise the Cluster entity type.
+ *
+ * **Gotchas**
+ *
+ * Invoked processes, spawned children, action-time `runtime.raise`, timers,
+ * subscriptions, and other process-local state are not durable and are
+ * rejected. Planning-time raised events remain part of the current macrostep.
+ * Arbitrary action effects may run again after a crash before checkpoint
+ * commit, so the bridge does not provide exactly-once external effects.
+ *
+ * @category constructors
+ * @since 4.0.0
+ */
+export const make = (type, machine, options, ...input) => {
+    const eventSchema = Schema.Union(machine.events);
+    const rpc = Rpc.make("send", {
+        payload: eventSchema,
+        success: SendResult
+    })
+        .annotate(ClusterSchema.Persisted, true);
+    const entity = Entity.make(type, [rpc]);
+    const machineId = machine.id ?? type;
+    const toLayer = (layerOptions) => entity.toLayer(Effect.gen(function* () {
+        const storage = yield* Storage;
+        const messageStorage = yield* MessageStorage.MessageStorage;
+        const handle = Effect.fnUntraced(function* (request) {
+            if (hasInvokes(machine)) {
+                return yield* fail("UnsupportedProcessLocal", "Machine invoke configurations are process-local and cannot be restored");
+            }
+            const loaded = yield* storage.load(request.address, request.requestId).pipe(Effect.mapError((error) => reject("PersistenceFailure", String(error.cause))));
+            let current;
+            const emitted = [];
+            if (Option.isSome(loaded.checkpoint)) {
+                const checkpoint = loaded.checkpoint.value;
+                if (loaded.processed) {
+                    return new Accepted({});
+                }
+                if (checkpoint.machineId !== machineId) {
+                    return yield* fail("MachineIdMismatch", `Expected machine id ${machineId}, received ${checkpoint.machineId}`);
+                }
+                if (checkpoint.version !== options.version) {
+                    return yield* fail("VersionMismatch", `Expected version ${options.version}, received ${checkpoint.version}`);
+                }
+                current = yield* Machine.decodeSnapshot(machine, checkpoint.snapshot).pipe(Effect.mapError((error) => reject("InvalidCheckpoint", String(error.cause))));
+            }
+            else if (loaded.processed) {
+                return yield* fail("InvalidCheckpoint", "The request was recorded without a checkpoint");
+            }
+            const runtime = {
+                raise: () => Effect.die(new Machine.ProcessLocalError({ operation: "runtime.raise" })),
+                sendParent: (event) => Effect.sync(() => {
+                    emitted.push(event);
+                })
+            };
+            if (current === undefined) {
+                const initial = yield* Machine.planInitial(machine, ...input);
+                yield* Machine.runActions(initial.actions, runtime);
+                current = initial.state;
+                emitted.push(...initial.emittedEvents);
+            }
+            if (!Machine.isFinal(machine, current)) {
+                const planned = yield* Machine.plan(machine, current, request.payload);
+                yield* Machine.runActions(planned.actions, runtime);
+                current = planned.next;
+                emitted.push(...planned.emittedEvents);
+            }
+            const encoded = yield* Machine.encodeSnapshot(machine, current);
+            if (emitted.length > 0 && layerOptions?.enqueue === undefined) {
+                return yield* fail("EmissionFailure", "No durable enqueue handler was configured");
+            }
+            const committed = yield* storage.commit(request.address, {
+                machineId,
+                version: options.version,
+                requestId: request.requestId,
+                snapshot: encoded
+            }).pipe(Effect.mapError((error) => reject("PersistenceFailure", String(error.cause))));
+            if (committed._tag === "Duplicate") {
+                return new Accepted({});
+            }
+            if (layerOptions?.enqueue !== undefined) {
+                yield* Effect.forEach(emitted, layerOptions.enqueue, { discard: true }).pipe(Effect.mapError((error) => reject("EmissionFailure", String(error))));
+            }
+            return new Accepted({});
+        });
+        return entity.of({
+            send: (request) => messageStorage.withTransaction(handle(request).pipe(Effect.catchCause((cause) => Cause.hasInterrupts(cause)
+                ? Effect.failCause(cause)
+                : Effect.fail(rejectionFromCause(cause))))).pipe(Effect.catchCause((cause) => {
+                if (Cause.hasInterrupts(cause)) {
+                    return Effect.failCause(cause);
+                }
+                const error = Cause.findErrorOption(cause);
+                return Effect.succeed(Option.isSome(error) && error.value instanceof Rejected
+                    ? error.value
+                    : reject("PersistenceFailure", messageFromCause(cause)));
+            }))
+        });
+    }));
+    return {
+        machine,
+        entity,
+        toLayer
+    };
+};
+//# sourceMappingURL=ClusterMachine.js.map

package/dist/ClusterMachine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ClusterMachine.js","sourceRoot":"","sources":["../src/ClusterMachine.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAA;AACzC,OAAO,EACL,YAAY,EACZ,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EAEd,SAAS,EACV,MAAM,yBAAyB,CAAA;AAkDhC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,SAAS,EAAE,GAA2B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAChE,SAAS,EAAE,GAA2B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;CACjE,CAAA;AA6BD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,OAAO,OAAQ,SAAQ,OAAO,CAAC,OAAO,EASxC,CAAC,uCAAuC,CAAC;CAAG;AAEhD;;;;;;GAMG;AACH,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,CAAW,wCAAwC,CAAC,CAClG,UAAU,EACV,EAAE,CACH;CAAG;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC7C,mBAAmB;IACnB,iBAAiB;IACjB,mBAAmB;IACnB,yBAAyB;IACzB,mBAAmB;IACnB,oBAAoB;IACpB,iBAAiB;CAClB,CAAC,CAAA;AAUF;;;;;;GAMG;AACH,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,CAAW,wCAAwC,CAAC,CAClG,UAAU,EACV;IACE,MAAM,EAAE,eAAe;IACvB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;AA+G5D,MAAM,UAAU,GAAG,CAAC,OAA4B,EAAW,EAAE,CAC3D,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAa,CAAC,EAAE,MAAM,KAAK,SAAS,CAAC,CAAA;AAExG,MAAM,MAAM,GAAG,CAAC,MAAuB,EAAE,OAAe,EAAY,EAAE,CAAC,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;AAExG,MAAM,IAAI,GAAG,CAAC,MAAuB,EAAE,OAAe,EAAkC,EAAE,CACxF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAEtC,MAAM,gBAAgB,GAAG,CAAC,KAA2B,EAAU,EAAE;IAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACpC,OAAO,QAAQ,YAAY,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;AACnF,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,KAA2B,EAAY,EAAE;IACnE,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAA;IAC1C,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,YAAY,QAAQ,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC,KAAK,CAAA;IACpB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,YAAY,OAAO,CAAC,iBAAiB,EAAE,CAAC;QAC7E,OAAO,MAAM,CAAC,yBAAyB,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,wCAAwC,CAAC,CAAA;IAC5G,CAAC;IACD,OAAO,MAAM,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,OAAsB,EAAU,EAAE,CAAC,GAAG,OAAO,CAAC,UAAU,SAAS,OAAO,CAAC,QAAQ,EAAE,CAAA;AAEvG;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,UAAU,GAAsC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IAC5E,MAAM,OAAO,GAAG,IAAI,GAAG,EAGnB,CAAA;IACJ,OAAO,OAAO,CAAC,EAAE,CAAC;QAChB,IAAI,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;YAC9C,OAAO;gBACL,UAAU,EAAE,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC;gBACnD,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK;aACnD,CAAA;QACH,CAAC,CAAC;QACJ,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,CAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC9B,IAAI,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC9C,OAAO,YAAY,CAAC,SAAS,EAAE,CAAA;YACjC,CAAC;YACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE;oBACf,UAAU;oBACV,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;iBAC1C,CAAC,CAAA;YACJ,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,UAAU,GAAG,UAAU,CAAA;gBAC7B,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;YAC1C,CAAC;YACD,OAAO,YAAY,CAAC,SAAS,EAAE,CAAA;QACjC,CAAC,CAAC;KACL,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAyB,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAelB,IAAU,EACV,OAaC,EACD,OAEC,EACD,GAAG,KAA4C,EAwB/C,EAAE;IAeF,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAA0B,CAAC,CAAA;IACpE,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE;QAC3B,OAAO,EAAE,WAAW;QACpB,OAAO,EAAE,UAAU;KACpB,CAAC;SACC,QAAQ,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAA8B,CAAA;IACvE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,EAAE,IAAI,IAAI,CAAA;IAEpC,MAAM,OAAO,GAUE,CAAC,YAAY,EAAE,EAAE,CAC9B,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAA;QAC9B,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,cAAc,CAAA;QAE3D,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAC,OAAkD;YAC3F,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAC,CAAC,IAAI,CAChB,yBAAyB,EACzB,wEAAwE,CACzE,CAAA;YACH,CAAC;YAED,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CACzE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAC9E,CAAA;YACD,IAAI,OAAqD,CAAA;YACzD,MAAM,OAAO,GAAmD,EAAE,CAAA;YAElE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAA;gBAC1C,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;oBACrB,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAA;gBACzB,CAAC;gBACD,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;oBACvC,OAAO,KAAK,CAAC,CAAC,IAAI,CAChB,mBAAmB,EACnB,uBAAuB,SAAS,cAAc,UAAU,CAAC,SAAS,EAAE,CACrE,CAAA;gBACH,CAAC;gBACD,IAAI,UAAU,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC;oBAC3C,OAAO,KAAK,CAAC,CAAC,IAAI,CAChB,iBAAiB,EACjB,oBAAoB,OAAO,CAAC,OAAO,cAAc,UAAU,CAAC,OAAO,EAAE,CACtE,CAAA;gBACH,CAAC;gBACD,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CACxE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAC7E,CAAA;YACH,CAAC;iBAAM,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,mBAAmB,EAAE,+CAA+C,CAAC,CAAA;YAC1F,CAAC;YAED,MAAM,OAAO,GAA8B;gBACzC,KAAK,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC;gBACtF,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CACpB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;oBACf,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACrB,CAAC,CAAC;aACL,CAAA;YAED,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,KAAY,CAAC,CAAA;gBACpE,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;gBACnD,OAAO,GAAG,OAAO,CAAC,KAAK,CAAA;gBACvB,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,aAAoB,CAAC,CAAA;YAC/C,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;gBACtE,KAAK,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;gBACnD,OAAO,GAAG,OAAO,CAAC,IAAI,CAAA;gBACtB,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,aAAoB,CAAC,CAAA;YAC/C,CAAC;YAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;YAC/D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC9D,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,iBAAiB,EAAE,2CAA2C,CAAC,CAAA;YACpF,CAAC;YACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE;gBACvD,SAAS;gBACT,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAC9E,CAAA;YACD,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACnC,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAA;YACzB,CAAC;YAED,IAAI,YAAY,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;gBACxC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAC1E,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CACrE,CAAA;YACH,CAAC;YACD,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAA;QACzB,CAAC,CAAC,CAAA;QAEF,OAAO,MAAM,CAAC,EAAE,CAAC;YACf,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAChB,cAAc,CAAC,eAAe,CAC5B,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAClB,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC;gBACxB,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;gBACzB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAC3C,CACF,CACF,CAAC,IAAI,CACJ,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE;gBAC1B,IAAI,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC/B,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;gBAChC,CAAC;gBACD,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAA;gBAC1C,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,YAAY,QAAQ;oBACrD,CAAC,CAAC,KAAK,CAAC,KAAK;oBACb,CAAC,CAAC,MAAM,CAAC,oBAAoB,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAC1D,CAAA;YACH,CAAC,CAAC,CACI;SACX,CAAC,CAAA;IACJ,CAAC,CAAQ,CACH,CAAA;IAEV,OAAO;QACL,OAAO;QACP,MAAM;QACN,OAAO;KACR,CAAA;AACH,CAAC,CAAA"}