@typeonce/effect-machine 0.3.0 → 0.5.0

package/dist/internal/testing/machine/runtime.d.ts

@@ -0,0 +1,631 @@
+/**
+ * Effect-native command-model testing for live machine references.
+ *
+ * @since 0.4.0
+ */
+import * as Cause from "effect/Cause";
+import * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import { FastCheck } from "effect/testing";
+import * as Machine from "../../../Machine.js";
+import type { CausalRuntimeEvidence, Probe, ProbeStep, RuntimeInvariant } from "../../../testing/MachineTest.js";
+import { type SchemaArbitraryReport } from "./arbitrary.js";
+import { type RuntimeInvariantError } from "./runtimeInvariant.js";
+type AnyMachine = Machine.Machine.Any;
+/**
+ * A command applied to a running machine during model-based testing.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type RuntimeCommand<Event> = {
+    readonly _tag: "Send";
+    readonly event: Event;
+} | {
+    readonly _tag: "Advance";
+    readonly duration: Duration.Input;
+} | {
+    readonly _tag: "Stop";
+} | {
+    readonly _tag: "Checkpoint";
+    readonly label: string | undefined;
+};
+/**
+ * Constructs a command that sends one public event.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const sendCommand: <Event>(event: Event) => RuntimeCommand<Event>;
+/**
+ * Constructs a command that advances Effect's `TestClock`.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const advanceCommand: <Event = never>(duration: Duration.Input) => RuntimeCommand<Event>;
+/**
+ * Constructs an idempotent command that stops the machine.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const stopCommand: <Event = never>() => RuntimeCommand<Event>;
+/**
+ * Constructs a no-op command used to synchronize with work enqueued by earlier
+ * commands. Its behavior is selected by the reference-model step.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const checkpointCommand: <Event = never>(label?: string) => RuntimeCommand<Event>;
+/**
+ * The result of executing one runtime command.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type RuntimeCommandResult = {
+    readonly _tag: "SendAccepted";
+} | {
+    readonly _tag: "SendRejected";
+    readonly error: Machine.StoppedError;
+} | {
+    readonly _tag: "ClockAdvanced";
+} | {
+    readonly _tag: "Stopped";
+} | {
+    readonly _tag: "Checkpoint";
+};
+/**
+ * Defines how a model step synchronizes with public machine observations.
+ *
+ * `None` is appropriate when a send is intentionally only enqueued. `Next`
+ * consumes the next snapshot published after the previously consumed one.
+ * `Until` also consumes intermediate snapshots and is useful for a checkpoint
+ * after several queued sends. `Current` is only a sample; it should be used
+ * when the model already knows there is no outstanding asynchronous work.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type RuntimeSynchronization<State, Error, Output> = {
+    readonly _tag: "None";
+} | {
+    readonly _tag: "Current";
+} | {
+    readonly _tag: "Next";
+} | {
+    readonly _tag: "Until";
+    readonly predicate: (snapshot: Machine.RuntimeSnapshot<State, Error, Output>) => boolean;
+};
+/**
+ * Constructors for runtime synchronization policies.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const RuntimeSynchronization: {
+    readonly none: {
+        readonly _tag: "None";
+    };
+    readonly current: {
+        readonly _tag: "Current";
+    };
+    readonly next: {
+        readonly _tag: "Next";
+    };
+    readonly until: <State, Error = never, Output = never>(predicate: (snapshot: Machine.RuntimeSnapshot<State, Error, Output>) => boolean) => RuntimeSynchronization<State, Error, Output>;
+};
+/**
+ * The pure/reference-model result for one runtime command.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeModelStep<Model, Expected, State, Error, Output> {
+    readonly model: Model;
+    readonly expected: Expected;
+    readonly synchronize: RuntimeSynchronization<State, Error, Output>;
+}
+/**
+ * Explicit name for the model step used by the enqueue-oriented command
+ * runner. The `RuntimeModelStep` name remains as a compatibility alias.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type EnqueuedRuntimeModelStep<Model, Expected, State, Error, Output> = RuntimeModelStep<Model, Expected, State, Error, Output>;
+/**
+ * Additional asynchronous observation requested after a causal command has
+ * completed. `None` never guesses that later invoke, timer, or child work is
+ * finished. `Until` observes the current runtime snapshot and subsequent
+ * publications until its predicate matches.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type RuntimeAwait<State, Error, Output> = {
+    readonly _tag: "None";
+} | {
+    readonly _tag: "Until";
+    readonly predicate: (snapshot: Machine.RuntimeSnapshot<State, Error, Output>) => boolean;
+};
+/**
+ * The pure/reference-model result for one causally executed command.
+ *
+ * `await` is only for asynchronous behavior after the command boundary. A
+ * submitted `Send` always completes its exact managed macrostep first.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalRuntimeModelStep<Model, Expected, State, Error, Output> {
+    readonly model: Model;
+    readonly expected: Expected;
+    readonly await?: RuntimeAwait<State, Error, Output>;
+}
+/**
+ * Exact execution result for one causal runtime command.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type CausalRuntimeCommandResult<M extends AnyMachine> = {
+    readonly _tag: "SendProcessed";
+    readonly step: ProbeStep<M>;
+} | {
+    readonly _tag: "SendRejected";
+    readonly error: Machine.StoppedError;
+} | {
+    readonly _tag: "ClockAdvanced";
+} | {
+    readonly _tag: "Stopped";
+} | {
+    readonly _tag: "Checkpoint";
+};
+/**
+ * Actual causal evidence made available to inspection and assertions.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalRuntimeCommandActual<M extends AnyMachine, Error, Output, Observed> {
+    readonly result: CausalRuntimeCommandResult<M>;
+    readonly snapshot: Machine.RuntimeSnapshot<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>;
+    /** Snapshots tested by an explicit `RuntimeAwait.until`, including its current snapshot. */
+    readonly awaited: ReadonlyArray<Machine.RuntimeSnapshot<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>>;
+    readonly inspected: Observed | undefined;
+}
+/**
+ * Context supplied to a custom causal runtime inspection effect.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalRuntimeInspectionContext<M extends AnyMachine, Error, Output> {
+    readonly index: number;
+    readonly command: RuntimeCommand<Machine.Machine.InputEvent<M>>;
+    readonly result: CausalRuntimeCommandResult<M>;
+    readonly probe: Probe<M, Error, Output>;
+    readonly ref: Probe<M, Error, Output>["ref"];
+    readonly snapshot: Machine.RuntimeSnapshot<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>;
+    readonly awaited: ReadonlyArray<Machine.RuntimeSnapshot<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>>;
+}
+/**
+ * Context supplied to a causal reference-model assertion.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalRuntimeAssertionContext<M extends AnyMachine, Model, Expected, Error, Output, Observed> extends CausalRuntimeInspectionContext<M, Error, Output> {
+    readonly model: Model;
+    readonly expected: Expected;
+    readonly actual: CausalRuntimeCommandActual<M, Error, Output, Observed>;
+}
+/**
+ * Configuration for causally checking runtime commands against a reference
+ * model.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalRuntimeModelOptions<M extends AnyMachine, Model, Expected, Error, Output, Observed = never, ModelError = never, ModelServices = never, InspectionError = never, InspectionServices = never, AssertionError = never, AssertionServices = never> {
+    readonly initialModel: Model;
+    /** Live-clock bound for an explicit `RuntimeAwait.until`. Defaults to one second. */
+    readonly observationTimeout?: Duration.Input;
+    readonly transition: (model: Model, command: RuntimeCommand<Machine.Machine.InputEvent<M>>, index: number) => Effect.Effect<CausalRuntimeModelStep<Model, Expected, Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>, ModelError, ModelServices>;
+    readonly inspect?: (context: CausalRuntimeInspectionContext<M, Error, Output>) => Effect.Effect<Observed, InspectionError, InspectionServices>;
+    readonly assert: (context: CausalRuntimeAssertionContext<M, Model, Expected, Error, Output, Observed>) => Effect.Effect<void, AssertionError, AssertionServices>;
+}
+/**
+ * Context used to select additional asynchronous observation for a law-oriented command run.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalVerificationAwaitContext<M extends AnyMachine, Error, Output> {
+    readonly index: number;
+    readonly command: RuntimeCommand<Machine.Machine.InputEvent<M>>;
+    readonly probe: Probe<M, Error, Output>;
+}
+/**
+ * Configuration for causal verification without a separate reference model.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalVerificationOptions<M extends AnyMachine, Error, Output> {
+    readonly invariants: ReadonlyArray<RuntimeInvariant<M>>;
+    readonly observationTimeout?: Duration.Input;
+    readonly await?: (context: CausalVerificationAwaitContext<M, Error, Output>) => RuntimeAwait<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>;
+}
+/**
+ * A law-oriented causal transcript without dummy model or expected fields.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalVerificationTranscript<M extends AnyMachine, Error, Output> extends CausalRuntimeEvidence<M, Error, Output> {
+}
+/**
+ * Actual evidence made available to a runtime command assertion.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeCommandActual<State, Error, Output, Observed> {
+    readonly result: RuntimeCommandResult;
+    readonly snapshot: Machine.RuntimeSnapshot<State, Error, Output> | undefined;
+    readonly published: ReadonlyArray<Machine.RuntimeSnapshot<State, Error, Output>>;
+    readonly inspected: Observed | undefined;
+}
+/**
+ * Context supplied to a custom runtime inspection effect.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeInspectionContext<State, Event, Error, Output> {
+    readonly index: number;
+    readonly command: RuntimeCommand<Event>;
+    readonly result: RuntimeCommandResult;
+    readonly ref: Machine.MachineRef<State, Event, Error, Output>;
+    readonly snapshot: Machine.RuntimeSnapshot<State, Error, Output> | undefined;
+    readonly published: ReadonlyArray<Machine.RuntimeSnapshot<State, Error, Output>>;
+}
+/**
+ * Context supplied to the reference-model assertion.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeAssertionContext<Model, Expected, State, Event, Error, Output, Observed> extends RuntimeInspectionContext<State, Event, Error, Output> {
+    readonly model: Model;
+    readonly expected: Expected;
+    readonly actual: RuntimeCommandActual<State, Error, Output, Observed>;
+}
+/**
+ * Configuration for an Effect-native runtime command-model run.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeModelOptions<Model, Expected, State, Event, Error, Output, Observed = never, ModelError = never, ModelServices = never, InspectionError = never, InspectionServices = never, AssertionError = never, AssertionServices = never> {
+    readonly initialModel: Model;
+    /**
+     * Live-clock bound for `Next` and `Until` synchronization. Defaults to one
+     * second and never advances the machine's virtual `TestClock`.
+     */
+    readonly observationTimeout?: Duration.Input;
+    readonly transition: (model: Model, command: RuntimeCommand<Event>, index: number) => Effect.Effect<RuntimeModelStep<Model, Expected, State, Error, Output>, ModelError, ModelServices>;
+    readonly inspect?: (context: RuntimeInspectionContext<State, Event, Error, Output>) => Effect.Effect<Observed, InspectionError, InspectionServices>;
+    readonly assert: (context: RuntimeAssertionContext<Model, Expected, State, Event, Error, Output, Observed>) => Effect.Effect<void, AssertionError, AssertionServices>;
+}
+/**
+ * One successfully checked command in a replayable runtime transcript.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeCommandRecord<Model, Expected, State, Event, Error, Output, Observed> {
+    readonly index: number;
+    readonly command: RuntimeCommand<Event>;
+    readonly model: Model;
+    readonly expected: Expected;
+    readonly actual: RuntimeCommandActual<State, Error, Output, Observed>;
+}
+/**
+ * A complete command-model execution transcript.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeTranscript<Model, Expected, State, Event, Error, Output, Observed> {
+    readonly commands: ReadonlyArray<RuntimeCommand<Event>>;
+    readonly initial: Machine.RuntimeSnapshot<State, Error, Output>;
+    readonly records: ReadonlyArray<RuntimeCommandRecord<Model, Expected, State, Event, Error, Output, Observed>>;
+    readonly finalModel: Model;
+    /** The last explicitly synchronized snapshot, never a racy trailing sample. */
+    readonly final: Machine.RuntimeSnapshot<State, Error, Output>;
+    /**
+     * `false` when potentially outstanding work has not been bounded by an
+     * `Until` predicate or a terminal snapshot.
+     */
+    readonly synchronized: boolean;
+}
+/**
+ * Enqueue-oriented name for actual runtime command evidence.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type EnqueuedRuntimeCommandActual<State, Error, Output, Observed> = RuntimeCommandActual<State, Error, Output, Observed>;
+/**
+ * Enqueue-oriented name for runtime inspection context.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type EnqueuedRuntimeInspectionContext<State, Event, Error, Output> = RuntimeInspectionContext<State, Event, Error, Output>;
+/**
+ * Enqueue-oriented name for runtime assertion context.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type EnqueuedRuntimeAssertionContext<Model, Expected, State, Event, Error, Output, Observed> = RuntimeAssertionContext<Model, Expected, State, Event, Error, Output, Observed>;
+/**
+ * Enqueue-oriented options for a runtime reference model.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type EnqueuedRuntimeModelOptions<Model, Expected, State, Event, Error, Output, Observed = never, ModelError = never, ModelServices = never, InspectionError = never, InspectionServices = never, AssertionError = never, AssertionServices = never> = RuntimeModelOptions<Model, Expected, State, Event, Error, Output, Observed, ModelError, ModelServices, InspectionError, InspectionServices, AssertionError, AssertionServices>;
+/**
+ * Enqueue-oriented name for a checked runtime command record.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type EnqueuedRuntimeCommandRecord<Model, Expected, State, Event, Error, Output, Observed> = RuntimeCommandRecord<Model, Expected, State, Event, Error, Output, Observed>;
+/**
+ * Enqueue-oriented name for a complete runtime transcript.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export type EnqueuedRuntimeTranscript<Model, Expected, State, Event, Error, Output, Observed> = RuntimeTranscript<Model, Expected, State, Event, Error, Output, Observed>;
+/**
+ * One successfully checked causal command.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalRuntimeCommandRecord<M extends AnyMachine, Model, Expected, Error, Output, Observed> {
+    readonly index: number;
+    readonly command: RuntimeCommand<Machine.Machine.InputEvent<M>>;
+    readonly model: Model;
+    readonly expected: Expected;
+    readonly actual: CausalRuntimeCommandActual<M, Error, Output, Observed>;
+}
+/**
+ * A complete causally executed command-model transcript.
+ *
+ * Every accepted send in `records` completed its managed macrostep. This does
+ * not claim that later timer, invoke, or child work has completed unless the
+ * corresponding model step requested `probe.await.until`.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalRuntimeTranscript<M extends AnyMachine, Model, Expected, Error, Output, Observed> {
+    readonly commands: ReadonlyArray<RuntimeCommand<Machine.Machine.InputEvent<M>>>;
+    readonly initial: Machine.RuntimeSnapshot<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>;
+    readonly records: ReadonlyArray<CausalRuntimeCommandRecord<M, Model, Expected, Error, Output, Observed>>;
+    readonly finalModel: Model;
+    readonly final: Machine.RuntimeSnapshot<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>;
+}
+/**
+ * Partial evidence retained when a causal command fails after execution has
+ * begun but before a complete checked record exists.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface CausalRuntimeCommandAttempt<M extends AnyMachine, Model, Expected, Error, Output, Observed> {
+    readonly index: number;
+    readonly command: RuntimeCommand<Machine.Machine.InputEvent<M>>;
+    readonly model: Model;
+    readonly expected: Expected;
+    readonly result: CausalRuntimeCommandResult<M> | undefined;
+    readonly snapshot: Machine.RuntimeSnapshot<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output> | undefined;
+    readonly awaited: ReadonlyArray<Machine.RuntimeSnapshot<Machine.Machine.Snapshot<Machine.Machine.States<M>>, Error, Output>>;
+    readonly inspected: Observed | undefined;
+}
+declare const RuntimeObservationError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => Cause.YieldableError & {
+    readonly _tag: "MachineTestRuntimeObservationError";
+} & Readonly<A>;
+/**
+ * Failure raised when an expected public change stream observation is absent.
+ *
+ * @category errors
+ * @since 0.4.0
+ */
+export declare class RuntimeObservationError extends RuntimeObservationError_base<{
+    readonly index: number;
+    readonly synchronization: "Next" | "Until";
+    readonly reason: "ended" | "timeout";
+    readonly message: string;
+}> {
+}
+declare const RuntimeCommandFailure_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => Cause.YieldableError & {
+    readonly _tag: "MachineTestRuntimeCommandFailure";
+} & Readonly<A>;
+/**
+ * A typed command-model failure retaining the successfully checked prefix.
+ *
+ * @category errors
+ * @since 0.4.0
+ */
+export declare class RuntimeCommandFailure<Failure = unknown, Model = unknown, Expected = unknown, State = unknown, Event = unknown, Error = unknown, Output = unknown, Observed = unknown> extends RuntimeCommandFailure_base<{
+    readonly phase: "model" | "execution" | "observation" | "inspection" | "assertion";
+    readonly index: number;
+    readonly command: RuntimeCommand<Event>;
+    readonly cause: Cause.Cause<Failure>;
+    readonly prefix: ReadonlyArray<RuntimeCommandRecord<Model, Expected, State, Event, Error, Output, Observed>>;
+    readonly attempted: RuntimeCommandRecord<Model, Expected, State, Event, Error, Output, Observed> | undefined;
+}> {
+}
+declare const CausalRuntimeCommandFailure_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => Cause.YieldableError & {
+    readonly _tag: "MachineTestCausalRuntimeCommandFailure";
+} & Readonly<A>;
+/**
+ * A typed causal command-model failure retaining the successfully checked
+ * prefix and exact attempted command.
+ *
+ * @category errors
+ * @since 0.4.0
+ */
+export declare class CausalRuntimeCommandFailure<Failure = unknown, M extends AnyMachine = AnyMachine, Model = unknown, Expected = unknown, Error = unknown, Output = unknown, Observed = unknown> extends CausalRuntimeCommandFailure_base<{
+    readonly phase: "model" | "execution" | "observation" | "inspection" | "assertion";
+    readonly index: number;
+    readonly command: RuntimeCommand<Machine.Machine.InputEvent<M>>;
+    readonly cause: Cause.Cause<Failure>;
+    readonly prefix: ReadonlyArray<CausalRuntimeCommandRecord<M, Model, Expected, Error, Output, Observed>>;
+    readonly attempted: CausalRuntimeCommandAttempt<M, Model, Expected, Error, Output, Observed> | undefined;
+}> {
+}
+/**
+ * Runs typed commands against a live `MachineRef` and checks them against a
+ * supplied Effect-native reference model.
+ *
+ * The runner observes only public `MachineRef` behavior. In particular, a
+ * successful send means enqueue acceptance, not completed processing. A model
+ * must request `Next`/`Until` only when it predicts a publication, or use an
+ * explicit checkpoint to drain previously enqueued work. Machine emissions can
+ * be captured by the runtime service used by the machine and returned from the
+ * optional `inspect` effect.
+ *
+ * Typed failures and defects from model transitions, command execution,
+ * inspection, and assertions are retained as full `Cause` values. A cause
+ * containing only interruption is propagated as interruption so cancelling a
+ * property run cannot be mistaken for a machine counterexample.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const runEnqueuedCommands: <Model, Expected, State, Event, Error, Output, Observed = never, ModelError = never, ModelServices = never, InspectionError = never, InspectionServices = never, AssertionError = never, AssertionServices = never>(ref: Machine.MachineRef<State, Event, Error, Output>, commands: Iterable<RuntimeCommand<Event>>, options: RuntimeModelOptions<Model, Expected, State, Event, Error, Output, Observed, ModelError, ModelServices, InspectionError, InspectionServices, AssertionError, AssertionServices>) => Effect.Effect<RuntimeTranscript<Model, Expected, State, Event, Error, Output, Observed>, RuntimeCommandFailure<ModelError | InspectionError | AssertionError | RuntimeObservationError, Model, Expected, State, Event, Error, Output, Observed>, ModelServices | InspectionServices | AssertionServices>;
+/**
+ * Compatibility alias for enqueue-oriented runtime command execution.
+ *
+ * @deprecated Use `runEnqueuedCommands`. This compatibility name does not
+ * expose whether sends are merely enqueued or causally processed.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const runRuntimeCommands: typeof runEnqueuedCommands;
+/**
+ * Runs typed commands against a probe and checks them against an Effect-native
+ * reference model.
+ *
+ * Every accepted `Send` completes its exact managed runtime macrostep before
+ * inspection, assertion, and the next command. Use `probe.await.until` only
+ * for later asynchronous work such as timer, invoke, or child delivery.
+ * Processing failures are attributed to the exact submitted command and retain
+ * the successfully checked prefix for FastCheck shrinking and replay.
+ *
+ * Use `runEnqueuedCommands` instead when the behavior under test intentionally
+ * depends on burst enqueueing or outstanding mailbox work.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const runCausalCommands: <M extends AnyMachine, Error, Output, Model, Expected, Observed = never, ModelError = never, ModelServices = never, InspectionError = never, InspectionServices = never, AssertionError = never, AssertionServices = never>(probe: Probe<M, Error, Output>, commands: Iterable<RuntimeCommand<Machine.Machine.InputEvent<M>>>, options: CausalRuntimeModelOptions<M, Model, Expected, Error, Output, Observed, ModelError, ModelServices, InspectionError, InspectionServices, AssertionError, AssertionServices>) => Effect.Effect<CausalRuntimeTranscript<M, Model, Expected, Error, Output, Observed>, CausalRuntimeCommandFailure<Error | ModelError | InspectionError | AssertionError | RuntimeObservationError, M, Model, Expected, Error, Output, Observed>, ModelServices | InspectionServices | AssertionServices>;
+/**
+ * Causally executes commands and checks reusable runtime invariants without
+ * requiring a dummy reference model. Use `runCausalCommands` when exact
+ * expected results come from an application model.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const verifyCausalCommands: <M extends AnyMachine, Error, Output>(probe: Probe<M, Error, Output>, commands: Iterable<RuntimeCommand<Machine.Machine.InputEvent<M>>>, options: CausalVerificationOptions<M, Error, Output>) => Effect.Effect<CausalVerificationTranscript<M, Error, Output>, CausalRuntimeCommandFailure<Error | RuntimeObservationError, M, undefined, undefined, Error, Output, never> | RuntimeInvariantError<M>>;
+/**
+ * Options controlling schema-derived runtime command generation.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeCommandsOptions<M extends AnyMachine> {
+    readonly minCommands?: number;
+    readonly maxCommands?: number;
+    readonly eventArbitrary?: FastCheck.Arbitrary<Machine.Machine.InputEvent<M>>;
+    readonly advanceArbitrary?: FastCheck.Arbitrary<Duration.Input>;
+    readonly includeAdvance?: boolean;
+    readonly includeStop?: boolean;
+    readonly includeCheckpoint?: boolean;
+    readonly additionalCommands?: ReadonlyArray<FastCheck.Arbitrary<RuntimeCommand<Machine.Machine.InputEvent<M>>>>;
+}
+/**
+ * Diagnostics describing a schema-derived runtime command arbitrary.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeCommandsDiagnostics {
+    readonly events: "none" | "schema" | "override";
+    readonly schemaReports: ReadonlyArray<SchemaArbitraryReport>;
+    readonly includesAdvance: boolean;
+    readonly includesStop: boolean;
+    readonly includesCheckpoint: boolean;
+}
+/**
+ * A shrinkable runtime command arbitrary and its derivation diagnostics.
+ *
+ * @category models
+ * @since 0.4.0
+ */
+export interface RuntimeCommands<M extends AnyMachine> {
+    readonly arbitrary: FastCheck.Arbitrary<ReadonlyArray<RuntimeCommand<Machine.Machine.InputEvent<M>>>>;
+    readonly diagnostics: RuntimeCommandsDiagnostics;
+}
+/**
+ * Derives a shrinkable command sequence from public event schemas and explicit
+ * clock/stop/checkpoint command choices.
+ *
+ * This deliberately returns ordinary Effect FastCheck arbitraries instead of
+ * adapting the runner through `asyncModelRun`: the latter requires Promise
+ * callbacks and would erase Effect error and service channels.
+ *
+ * @category constructors
+ * @since 0.4.0
+ */
+export declare const runtimeCommands: <M extends AnyMachine>(machine: M, options?: RuntimeCommandsOptions<M>) => RuntimeCommands<M>;
+/**
+ * Formats a runtime transcript or failure as replayable line-oriented evidence.
+ *
+ * @category formatting
+ * @since 0.4.0
+ */
+export declare const formatEnqueuedTranscript: (value: RuntimeTranscript<any, any, any, any, any, any, any> | RuntimeCommandFailure<any, any, any, any, any, any, any, any>) => string;
+/**
+ * Compatibility alias for enqueue-oriented transcript formatting.
+ *
+ * @deprecated Use `formatEnqueuedTranscript`.
+ *
+ * @category formatting
+ * @since 0.4.0
+ */
+export declare const formatRuntimeTranscript: typeof formatEnqueuedTranscript;
+/**
+ * Formats a causal runtime transcript or failure as replayable line-oriented
+ * evidence, including exact probe steps and explicit asynchronous observations.
+ *
+ * @category formatting
+ * @since 0.4.0
+ */
+export declare const formatCausalTranscript: (value: CausalRuntimeTranscript<any, any, any, any, any, any> | CausalRuntimeCommandFailure<any, any, any, any, any, any, any>) => string;
+export {};
+//# sourceMappingURL=runtime.d.ts.map

package/dist/internal/testing/machine/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/runtime.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAGrC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAIvC,OAAO,EAAE,SAAS,EAAa,MAAM,gBAAgB,CAAA;AACrD,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,EAAE,qBAAqB,EAAE,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAA;AAChH,OAAO,EAAE,KAAK,qBAAqB,EAAyB,MAAM,gBAAgB,CAAA;AAClF,OAAO,EAA2B,KAAK,qBAAqB,EAAE,MAAM,uBAAuB,CAAA;AAE3F,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;AAErC;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,KAAK,IAC5B;IACA,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAA;CAClC,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC,CAAA;AAEH;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,EAAE,OAAO,KAAK,KAAG,cAAc,CAAC,KAAK,CAGpE,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,GAAG,KAAK,EAAE,UAAU,QAAQ,CAAC,KAAK,KAAG,cAAc,CAAC,KAAK,CAG3F,CAAA;AAEF;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,GAAG,KAAK,OAAK,cAAc,CAAC,KAAK,CAAuB,CAAA;AAEzF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAAI,KAAK,GAAG,KAAK,EAAE,QAAQ,MAAM,KAAG,cAAc,CAAC,KAAK,CAGpF,CAAA;AAEF;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GACjC;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,YAAY,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,CAAA;AAEnC;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,IACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,OAAO,CAAA;CACzF,CAAA;AAEH;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;qBAIzB,KAAK,EAAE,KAAK,UAAU,MAAM,qBACvB,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,OAAO,KAC9E,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC;CACvC,CAAA;AAEV;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;IACrE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CACnE;AAED;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,IAAI,gBAAgB,CAC5F,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,MAAM,CACP,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,IACzC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,OAAO,CAAA;CACzF,CAAA;AAEH;;;;;;;;GAQG;AACH,MAAM,WAAW,sBAAsB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;IAC3E,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CACpD;AAED;;;;;GAKG;AACH,MAAM,MAAM,0BAA0B,CAAC,CAAC,SAAS,UAAU,IACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,YAAY,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GAClC;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,CAAA;AAEnC;;;;;GAKG;AACH,MAAM,WAAW,0BAA0B,CACzC,CAAC,SAAS,UAAU,EACpB,KAAK,EACL,MAAM,EACN,QAAQ;IAER,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC,CAAC,CAAA;IAC9C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9G,4FAA4F;IAC5F,QAAQ,CAAC,OAAO,EAAE,aAAa,CAC7B,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAC5F,CAAA;IACD,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,SAAS,CAAA;CACzC;AAED;;;;;GAKG;AACH,MAAM,WAAW,8BAA8B,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM;IACjF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC,CAAC,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAA;IAC5C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9G,QAAQ,CAAC,OAAO,EAAE,aAAa,CAC7B,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAC5F,CAAA;CACF;AAED;;;;;GAKG;AACH,MAAM,WAAW,6BAA6B,CAC5C,CAAC,SAAS,UAAU,EACpB,KAAK,EACL,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ,CACR,SAAQ,8BAA8B,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC;IACxD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;CACxE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB,CACxC,CAAC,SAAS,UAAU,EACpB,KAAK,EACL,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ,GAAG,KAAK,EAChB,UAAU,GAAG,KAAK,EAClB,aAAa,GAAG,KAAK,EACrB,eAAe,GAAG,KAAK,EACvB,kBAAkB,GAAG,KAAK,EAC1B,cAAc,GAAG,KAAK,EACtB,iBAAiB,GAAG,KAAK;IAEzB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAA;IAC5B,qFAAqF;IACrF,QAAQ,CAAC,kBAAkB,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAA;IAC5C,QAAQ,CAAC,UAAU,EAAE,CACnB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EACtD,KAAK,EAAE,MAAM,KACV,MAAM,CAAC,MAAM,CAChB,sBAAsB,CACpB,KAAK,EACL,QAAQ,EACR,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACnD,KAAK,EACL,MAAM,CACP,EACD,UAAU,EACV,aAAa,CACd,CAAA;IACD,QAAQ,CAAC,OAAO,CAAC,EAAE,CACjB,OAAO,EAAE,8BAA8B,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KACtD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,eAAe,EAAE,kBAAkB,CAAC,CAAA;IACjE,QAAQ,CAAC,MAAM,EAAE,CACf,OAAO,EAAE,6BAA6B,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,KAChF,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAA;CAC5D;AAED;;;;;GAKG;AACH,MAAM,WAAW,8BAA8B,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM;IACjF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CACxC;AAED;;;;;GAKG;AACH,MAAM,WAAW,yBAAyB,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM;IAC5E,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAA;IACvD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAA;IAC5C,QAAQ,CAAC,KAAK,CAAC,EAAE,CACf,OAAO,EAAE,8BAA8B,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KACtD,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CACtF;AAED;;;;;GAKG;AACH,MAAM,WAAW,4BAA4B,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM,CAC/E,SAAQ,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC;CAC/C;AAEF;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ;IAClE,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAA;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;IAC5E,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;IAChF,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,SAAS,CAAA;CACzC;AAED;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;IACnE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,CAAA;IACvC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAA;IACrC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC7D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;IAC5E,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;CACjF;AAED;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAC7F,SAAQ,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC;IAE7D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;CACtE;AAED;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB,CAClC,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,GAAG,KAAK,EAChB,UAAU,GAAG,KAAK,EAClB,aAAa,GAAG,KAAK,EACrB,eAAe,GAAG,KAAK,EACvB,kBAAkB,GAAG,KAAK,EAC1B,cAAc,GAAG,KAAK,EACtB,iBAAiB,GAAG,KAAK;IAEzB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAA;IAC5B;;;OAGG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAA;IAC5C,QAAQ,CAAC,UAAU,EAAE,CACnB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,EAC9B,KAAK,EAAE,MAAM,KACV,MAAM,CAAC,MAAM,CAChB,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EACvD,UAAU,EACV,aAAa,CACd,CAAA;IACD,QAAQ,CAAC,OAAO,CAAC,EAAE,CACjB,OAAO,EAAE,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAC3D,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,eAAe,EAAE,kBAAkB,CAAC,CAAA;IACjE,QAAQ,CAAC,MAAM,EAAE,CACf,OAAO,EAAE,uBAAuB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,KACrF,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAA;CAC5D;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ;IAC1F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;CACtE;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ;IACvF,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAA;IACvD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC/D,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC7G,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAA;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC7D;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;CAC/B;AAED;;;;;GAKG;AACH,MAAM,MAAM,4BAA4B,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,IAAI,oBAAoB,CAC7F,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,CACT,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,gCAAgC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,IAAI,wBAAwB,CAClG,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,CACP,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,+BAA+B,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,IAChG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;AAEjF;;;;;GAKG;AACH,MAAM,MAAM,2BAA2B,CACrC,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,GAAG,KAAK,EAChB,UAAU,GAAG,KAAK,EAClB,aAAa,GAAG,KAAK,EACrB,eAAe,GAAG,KAAK,EACvB,kBAAkB,GAAG,KAAK,EAC1B,cAAc,GAAG,KAAK,EACtB,iBAAiB,GAAG,KAAK,IACvB,mBAAmB,CACrB,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,EACR,UAAU,EACV,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,iBAAiB,CAClB,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,4BAA4B,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,IAAI,oBAAoB,CACrH,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,CACT,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,yBAAyB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,IAAI,iBAAiB,CAC/G,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,CACT,CAAA;AAED;;;;;GAKG;AACH,MAAM,WAAW,0BAA0B,CACzC,CAAC,SAAS,UAAU,EACpB,KAAK,EACL,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ;IAER,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;CACxE;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,uBAAuB,CACtC,CAAC,SAAS,UAAU,EACpB,KAAK,EACL,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ;IAER,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC7G,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,0BAA0B,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;IACxG,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CAC5G;AAED;;;;;;GAMG;AACH,MAAM,WAAW,2BAA2B,CAC1C,CAAC,SAAS,UAAU,EACpB,KAAK,EACL,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ;IAER,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IAC1D,QAAQ,CAAC,QAAQ,EACb,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAC3F,SAAS,CAAA;IACb,QAAQ,CAAC,OAAO,EAAE,aAAa,CAC7B,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAC5F,CAAA;IACD,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,SAAS,CAAA;CACzC;;;;AAED;;;;;GAKG;AACH,qBAAa,uBAAwB,SAAQ,6BAAuD;IAClG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,OAAO,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAC;CAAG;;;;AAEL;;;;;GAKG;AACH,qBAAa,qBAAqB,CAChC,OAAO,GAAG,OAAO,EACjB,KAAK,GAAG,OAAO,EACf,QAAQ,GAAG,OAAO,EAClB,KAAK,GAAG,OAAO,EACf,KAAK,GAAG,OAAO,EACf,KAAK,GAAG,OAAO,EACf,MAAM,GAAG,OAAO,EAChB,QAAQ,GAAG,OAAO,CAClB,SAAQ,2BAAqD;IAC7D,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,CAAA;IAClF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC5G,QAAQ,CAAC,SAAS,EAAE,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,SAAS,CAAA;CAC7G,CAAC;CAAG;;;;AAEL;;;;;;GAMG;AACH,qBAAa,2BAA2B,CACtC,OAAO,GAAG,OAAO,EACjB,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,KAAK,GAAG,OAAO,EACf,QAAQ,GAAG,OAAO,EAClB,KAAK,GAAG,OAAO,EACf,MAAM,GAAG,OAAO,EAChB,QAAQ,GAAG,OAAO,CAClB,SAAQ,iCAA2D;IACnE,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,CAAA;IAClF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,0BAA0B,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;IACvG,QAAQ,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,SAAS,CAAA;CACzG,CAAC;CAAG;AAuML;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,mBAAmB,GAC9B,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,GAAG,KAAK,EAChB,UAAU,GAAG,KAAK,EAClB,aAAa,GAAG,KAAK,EACrB,eAAe,GAAG,KAAK,EACvB,kBAAkB,GAAG,KAAK,EAC1B,cAAc,GAAG,KAAK,EACtB,iBAAiB,GAAG,KAAK,EAEzB,KAAK,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,EACpD,UAAU,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EACzC,SAAS,mBAAmB,CAC1B,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,EACR,UAAU,EACV,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,iBAAiB,CAClB,KACA,MAAM,CAAC,MAAM,CACd,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,EACzE,qBAAqB,CACnB,UAAU,GAAG,eAAe,GAAG,cAAc,GAAG,uBAAuB,EACvE,KAAK,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,QAAQ,CACT,EACD,aAAa,GAAG,kBAAkB,GAAG,iBAAiB,CAyMrD,CAAA;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB,EAAE,OAAO,mBAAyC,CAAA;AAEjF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,iBAAiB,GAC5B,CAAC,SAAS,UAAU,EACpB,KAAK,EACL,MAAM,EACN,KAAK,EACL,QAAQ,EACR,QAAQ,GAAG,KAAK,EAChB,UAAU,GAAG,KAAK,EAClB,aAAa,GAAG,KAAK,EACrB,eAAe,GAAG,KAAK,EACvB,kBAAkB,GAAG,KAAK,EAC1B,cAAc,GAAG,KAAK,EACtB,iBAAiB,GAAG,KAAK,EAEzB,OAAO,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,EAC9B,UAAU,QAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EACjE,SAAS,yBAAyB,CAChC,CAAC,EACD,KAAK,EACL,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ,EACR,UAAU,EACV,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,iBAAiB,CAClB,KACA,MAAM,CAAC,MAAM,CACd,uBAAuB,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,EACpE,2BAA2B,CACzB,KAAK,GAAG,UAAU,GAAG,eAAe,GAAG,cAAc,GAAG,uBAAuB,EAC/E,CAAC,EACD,KAAK,EACL,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ,CACT,EACD,aAAa,GAAG,kBAAkB,GAAG,iBAAiB,CAqKpD,CAAA;AAEJ;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,GAAI,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM,EACtE,OAAO,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,EAC9B,UAAU,QAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EACjE,SAAS,yBAAyB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KACnD,MAAM,CAAC,MAAM,CACd,4BAA4B,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,EAC5C,2BAA2B,CAC3B,KAAK,GAAG,uBAAuB,EAC/B,CAAC,EACD,SAAS,EACT,SAAS,EACT,KAAK,EACL,MAAM,EACN,KAAK,CACN,GACC,qBAAqB,CAAC,CAAC,CAAC,CAsBxB,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB,CAAC,CAAC,SAAS,UAAU;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC/D,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;IAC9B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAA;IACpC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;CAChH;AAED;;;;;GAKG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAA;IAC/C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAA;IAC5D,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAA;CACrC;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,UAAU;IACnD,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACrG,QAAQ,CAAC,WAAW,EAAE,0BAA0B,CAAA;CACjD;AAQD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,UAAU,EAClD,SAAS,CAAC,EACV,UAAS,sBAAsB,CAAC,CAAC,CAAM,KACtC,eAAe,CAAC,CAAC,CAgEnB,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,GACnC,OACI,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACpD,qBAAqB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,KAChE,MAiDF,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,EAAE,OAAO,wBAAmD,CAAA;AAEhG;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,GACjC,OACI,uBAAuB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GACrD,2BAA2B,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,KACjE,MA+CF,CAAA"}