@typeonce/effect-machine 0.2.0 → 0.4.0

package/dist/testing/MachineTest.d.ts

@@ -0,0 +1,606 @@
+/**
+ * Property-based scenario generation and planner trace utilities.
+ *
+ * @since 4.0.0
+ */
+import type * as Effect from "effect/Effect";
+import type * as Graph from "effect/Graph";
+import type * as Schema from "effect/Schema";
+import type { FastCheck } from "effect/testing";
+import type { EnsureExecutable } from "../internal/machine/readiness.js";
+import type { SchemaArbitraryReport } from "../internal/testing/machine/arbitrary.js";
+import type { FiniteModel } from "../internal/testing/machine/finiteModel.js";
+import type * as ReferenceModel from "../internal/testing/machine/referenceModel.js";
+import type { VerificationError } from "../internal/testing/machine/verification.js";
+import type * as Machine from "../Machine.js";
+export { advanceCommand, checkpointCommand, formatRuntimeTranscript, runRuntimeCommands, type RuntimeAssertionContext, type RuntimeCommand, type RuntimeCommandActual, RuntimeCommandFailure, type RuntimeCommandRecord, type RuntimeCommandResult, type RuntimeCommands, runtimeCommands, type RuntimeCommandsDiagnostics, type RuntimeCommandsOptions, type RuntimeInspectionContext, type RuntimeModelOptions, type RuntimeModelStep, RuntimeObservationError, RuntimeSynchronization, type RuntimeTranscript, sendCommand, stopCommand } from "../internal/testing/machine/verification.js";
+export type { SchemaArbitraryOpaqueFilterWarning, SchemaArbitraryReport, SchemaArbitraryWarning } from "../internal/testing/machine/verification.js";
+export { compileModel, type FiniteAtomicState, type FiniteAutomaticTransition, type FiniteCompoundState, type FiniteEventTransition, type FiniteFinalState, type FiniteHistoryMutation, type FiniteHistoryScenario, type FiniteHistoryState, type FiniteHistoryTransfer, type FiniteModel, type FiniteModelDiagnostics, type FiniteModelOptions, type FiniteModels, finiteModels, type FiniteParallelState, type FiniteState, type FiniteTransition, type FiniteTransitionTrigger } from "../internal/testing/machine/verification.js";
+export { ModelVerificationError, type ModelVerificationField, type ModelVerificationLocation, type ModelVerificationMismatch, type ReferenceCompletion, type ReferenceHistoryRecord, type ReferenceInitialStep, type ReferenceMicrostep, type ReferenceState, type ReferenceStateValue, type ReferenceStep, type ReferenceTrace, type ReferenceTransition } from "../internal/testing/machine/verification.js";
+/**
+ * Purely interprets a finite hierarchical model without compiling a
+ * machine.
+ *
+ * @category verification
+ * @since 4.0.0
+ */
+export declare const interpretModel: (model: FiniteModel, events: ReadonlyArray<string>) => ReferenceModel.ReferenceTrace;
+type AnyMachine = Machine.Machine.Any;
+type InputValue<M extends AnyMachine> = Machine.Machine.Input<M>["Type"];
+type StatePath<M extends AnyMachine> = Machine.Machine.StateIdentifier<Machine.Machine.States<M>>;
+type StateNodePath<M extends AnyMachine> = Machine.Machine.StateNodeIdentifier<Machine.Machine.States<M>>;
+type IsAny<A> = 0 extends (1 & A) ? true : false;
+type ReadyMachine<M extends AnyMachine> = M & EnsureExecutable<Machine.Machine.States<M>, Machine.Machine.UnhandledStates<M>, Machine.Machine.OutputStates<M>>;
+/**
+ * A generated public-input scenario for a machine.
+ *
+ * Machines without an input schema omit `input`; machines with one retain its
+ * exact decoded type. Events use only the public input protocol.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type Scenario<M extends AnyMachine> = Machine.Machine.Input<M> extends typeof Schema.Void ? {
+    readonly events: ReadonlyArray<Machine.Machine.InputEvent<M>>;
+} : {
+    readonly input: InputValue<M>;
+    readonly events: ReadonlyArray<Machine.Machine.InputEvent<M>>;
+};
+/**
+ * Options for schema-derived scenario generation.
+ *
+ * `inputArbitrary` and `eventsArbitrary` replace their complete generated
+ * value. An events override therefore owns its own length distribution.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type ScenarioOptions<M extends AnyMachine> = {
+    readonly minEvents?: number;
+    readonly maxEvents?: number;
+    readonly eventsArbitrary?: FastCheck.Arbitrary<ReadonlyArray<Machine.Machine.InputEvent<M>>>;
+} & (Machine.Machine.Input<M> extends typeof Schema.Void ? {
+    readonly inputArbitrary?: never;
+} : {
+    readonly inputArbitrary?: FastCheck.Arbitrary<InputValue<M>>;
+});
+/**
+ * Diagnostics for one schema-derived arbitrary.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface SchemaArbitraryDiagnostic {
+    readonly boundary: "input" | "event";
+    readonly index: number | undefined;
+    readonly report: SchemaArbitraryReport;
+}
+/**
+ * Diagnostics describing how a scenario arbitrary was assembled.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface ScenarioDiagnostics {
+    readonly input: "none" | "schema" | "override";
+    readonly events: "empty" | "schema" | "override";
+    readonly schemas: ReadonlyArray<SchemaArbitraryDiagnostic>;
+}
+/**
+ * A scenario arbitrary together with schema-derivation diagnostics.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Scenarios<M extends AnyMachine> {
+    readonly arbitrary: FastCheck.Arbitrary<Scenario<M>>;
+    readonly diagnostics: ScenarioDiagnostics;
+}
+/**
+ * Derives valid machine inputs and public events from their schemas.
+ *
+ * Unsupported schema derivations fail immediately through `Schema.toArbitrary`.
+ * Non-fatal derivation warnings are returned instead of being hidden.
+ *
+ * @category constructors
+ * @since 4.0.0
+ */
+export declare const scenarios: <M extends AnyMachine>(machine: M, options?: ScenarioOptions<M>) => Scenarios<M>;
+/**
+ * Completion information retained by an initial or event plan.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type PlanCompletion<M extends AnyMachine> = {
+    readonly done: true;
+    readonly output: Machine.Machine.Output<M>;
+} | {
+    readonly done: false;
+    readonly output: undefined;
+};
+/**
+ * One public planned microstep, including retained post-conflict transitions.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Microstep<M extends AnyMachine, Requirements = Machine.Machine.Services<M>> {
+    readonly next: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly event: Machine.Machine.Event<M> | Machine.InitialEvent;
+    readonly transitions: ReadonlyArray<Machine.Machine.RetainedTransition<StatePath<M>, Machine.Machine.TagOf<Machine.Machine.Events<M>[number]>, StateNodePath<M>>>;
+    readonly commands: ReadonlyArray<Machine.Command>;
+    readonly raisedEvents: ReadonlyArray<Machine.Machine.Event<M>>;
+    readonly emittedEvents: ReadonlyArray<Machine.Machine.Emit<M>>;
+    readonly exitPaths: ReadonlyArray<string>;
+    readonly entryPaths: ReadonlyArray<string>;
+    readonly changed: boolean;
+}
+/**
+ * The complete data returned while planning machine startup.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type InitialPlan<M extends AnyMachine> = {
+    readonly startingState: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly initialEntryPaths: ReadonlyArray<StatePath<M>>;
+    readonly state: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly commands: ReadonlyArray<Machine.Command>;
+    readonly emittedEvents: ReadonlyArray<Machine.Machine.Emit<M>>;
+    readonly microsteps: ReadonlyArray<Microstep<M, Machine.Machine.InitialServices<M> | Machine.Machine.Services<M>>>;
+} & PlanCompletion<M>;
+/**
+ * The complete data returned while planning one public event.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type EventPlan<M extends AnyMachine> = {
+    readonly next: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly commands: ReadonlyArray<Machine.Command>;
+    readonly emittedEvents: ReadonlyArray<Machine.Machine.Emit<M>>;
+    readonly microsteps: ReadonlyArray<Microstep<M>>;
+} & PlanCompletion<M>;
+/**
+ * Startup portion of an executable planner trace.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface InitialTrace<M extends AnyMachine> {
+    readonly plan: InitialPlan<M>;
+    readonly startingState: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly startingConfiguration: ReadonlyArray<StatePath<M>>;
+    readonly initialEntryPaths: ReadonlyArray<StatePath<M>>;
+    readonly configuration: ReadonlyArray<StatePath<M>>;
+}
+/**
+ * One event portion of an executable planner trace.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface TraceStep<M extends AnyMachine> {
+    readonly index: number;
+    readonly before: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly beforeConfiguration: ReadonlyArray<StatePath<M>>;
+    readonly event: Machine.Machine.InputEvent<M>;
+    readonly plan: EventPlan<M>;
+    readonly after: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly afterConfiguration: ReadonlyArray<StatePath<M>>;
+}
+/**
+ * A scenario and every plan produced by executing it without running actions.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Trace<M extends AnyMachine> {
+    readonly scenario: Scenario<M>;
+    readonly initial: InitialTrace<M>;
+    readonly steps: ReadonlyArray<TraceStep<M>>;
+    readonly final: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly finalConfiguration: ReadonlyArray<StatePath<M>>;
+}
+/**
+ * Checks a real planner trace against the independent finite statechart model
+ * interpreter.
+ *
+ * The oracle does not import the machine compiler, planner, snapshot helpers,
+ * or target builders. It compares semantic projections of the public trace
+ * and accumulates every disagreement in one structured error.
+ *
+ * @category verification
+ * @since 4.0.0
+ */
+export declare const verifyModel: <M extends AnyMachine>(model: FiniteModel, actualTrace: Trace<M>) => Effect.Effect<void, ReferenceModel.ModelVerificationError>;
+/**
+ * A typed planning failure together with every successfully completed trace
+ * segment preceding it.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type RunFailure<Cause, M extends AnyMachine = AnyMachine> = {
+    readonly _tag: "MachineTestRunFailure";
+    readonly scenario: Scenario<M>;
+    readonly phase: "initial";
+    readonly eventIndex: undefined;
+    readonly event: undefined;
+    readonly initial: undefined;
+    readonly steps: readonly [];
+    readonly cause: Cause;
+} | {
+    readonly _tag: "MachineTestRunFailure";
+    readonly scenario: Scenario<M>;
+    readonly phase: "event";
+    readonly eventIndex: number;
+    readonly event: Machine.Machine.InputEvent<M>;
+    readonly initial: InitialTrace<M>;
+    readonly steps: ReadonlyArray<TraceStep<M>>;
+    readonly cause: Cause;
+};
+/**
+ * Errors that can be produced while planning a complete scenario.
+ *
+ * @category errors
+ * @since 4.0.0
+ */
+export type RunError<M extends AnyMachine> = Machine.Machine.InitialError<M> | Machine.Machine.Error<M> | Machine.InfiniteTransitionError | Machine.MachineSchemaDecodeError | Machine.StartupError;
+/**
+ * Services required while planning a complete scenario.
+ *
+ * Scenario execution delegates exclusively to the service-free `planInitial`
+ * and `plan` APIs. Invoke services and managed runtime capabilities belong to
+ * later execution, not synchronous planning.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type RunServices<M extends AnyMachine> = IsAny<Machine.PlanningServices<Machine.Machine.InitialServices<M> | Machine.Machine.Services<M>>> extends true ? Machine.PlanningServices<Machine.Machine.InitialServices<M> | Machine.Machine.Services<M>> : never;
+/**
+ * Executes a generated scenario exclusively through `planInitial` and `plan`.
+ *
+ * Staged actions are retained in each plan but are never executed. Every event
+ * is planned, including events that occur after a terminal configuration.
+ * Typed planning errors retain the scenario and successfully completed prefix
+ * in a `RunFailure`.
+ *
+ * @category constructors
+ * @since 4.0.0
+ */
+export declare const run: <M extends AnyMachine>(machine: ReadyMachine<M>, scenario: Scenario<M>) => Effect.Effect<Trace<M>, RunFailure<RunError<M>, M>, RunServices<M>>;
+/**
+ * A deterministic hit/miss summary for a finite set declared by a machine.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface CoverageSummary<Item> {
+    readonly total: number;
+    readonly hit: number;
+    readonly missing: number;
+    readonly hits: ReadonlyArray<Item>;
+    readonly misses: ReadonlyArray<Item>;
+}
+/**
+ * One active (non-history) state node in a state coverage summary.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface StateCoverageItem<Path extends string = string> {
+    readonly path: Path;
+    readonly type: Exclude<Machine.Machine.StateNode["type"], "history">;
+}
+/**
+ * State activation and lifecycle coverage.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface StateCoverage<Path extends string = string> {
+    readonly activation: CoverageSummary<StateCoverageItem<Path>>;
+    readonly entry: CoverageSummary<StateCoverageItem<Path>>;
+    readonly exit: CoverageSummary<StateCoverageItem<Path>>;
+}
+/**
+ * One stable transition-definition identity in definition order.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface TransitionCoverageItem<SourcePath extends string = string, EventTag extends PropertyKey = PropertyKey, TargetPath extends string = SourcePath> {
+    readonly id: string;
+    readonly index: number;
+    readonly source: SourcePath;
+    readonly trigger: Machine.Machine.TransitionTrigger<EventTag>;
+    readonly reenter: boolean;
+    readonly targets: Machine.Machine.TransitionTargets<TargetPath>;
+}
+/**
+ * One public event tag declared by the machine.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface EventCoverageItem<Tag extends PropertyKey = PropertyKey> {
+    readonly tag: Tag;
+    readonly count: number;
+}
+/**
+ * Public event coverage, including events that no transition retained.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type EventCoverage<Tag extends PropertyKey = PropertyKey> = {
+    readonly available: true;
+    readonly total: number;
+    readonly hit: number;
+    readonly missing: number;
+    readonly hits: ReadonlyArray<EventCoverageItem<Tag>>;
+    readonly misses: ReadonlyArray<EventCoverageItem<Tag>>;
+    readonly observed: ReadonlyArray<EventCoverageItem<Tag>>;
+    readonly diagnostics: readonly [];
+} | {
+    readonly available: false;
+    readonly total: undefined;
+    readonly hit: undefined;
+    readonly missing: undefined;
+    readonly hits: undefined;
+    readonly misses: undefined;
+    readonly observed: ReadonlyArray<EventCoverageItem<Tag>>;
+    readonly diagnostics: ReadonlyArray<{
+        readonly schemaIndex: number;
+        readonly message: string;
+    }>;
+};
+/**
+ * Trace-derived scenario counts. There is no finite declared scenario space.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface ScenarioCoverage {
+    readonly traces: number;
+    readonly events: number;
+    readonly empty: number;
+}
+/**
+ * Trace-derived logical configuration counts. There is no claimed exhaustive total.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface LogicalConfigurationCoverage {
+    readonly observations: number;
+    readonly hit: number;
+    readonly identities: ReadonlyArray<string>;
+}
+/**
+ * Directly observed startup and microstep evidence.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface MicrostepCoverageEvidence {
+    readonly total: number;
+    readonly changed: number;
+    readonly targetless: number;
+    readonly raised: number;
+    readonly emitted: number;
+    readonly eventTriggered: number;
+    readonly alwaysTriggered: number;
+    readonly doneTriggered: number;
+    readonly choiceTriggered: number;
+}
+/**
+ * Directly observed completion evidence.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface CompletionCoverageEvidence<Path extends string = string> {
+    readonly donePlans: number;
+    readonly recordObservations: number;
+    readonly paths: ReadonlyArray<Path>;
+}
+/**
+ * Directly observed history records and history-target transitions.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface HistoryCoverageEvidence<Path extends string = string> {
+    readonly recordObservations: number;
+    readonly recorded: ReadonlyArray<{
+        readonly path: Path;
+        readonly modes: ReadonlyArray<"shallow" | "deep">;
+    }>;
+    readonly targets: number;
+    readonly resolvedTargets: number;
+}
+/**
+ * Coverage computed only from observable machine definitions and planner traces.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface Coverage<M extends AnyMachine> {
+    readonly states: StateCoverage<StatePath<M>>;
+    readonly transitions: CoverageSummary<TransitionCoverageItem<StateNodePath<M>, Machine.Machine.TagOf<Machine.Machine.Events<M>[number]>, StateNodePath<M>>>;
+    readonly events: EventCoverage<Machine.Machine.TagOf<Machine.Machine.InputEvents<M>[number]>>;
+    readonly scenarios: ScenarioCoverage;
+    readonly logicalConfigurations: LogicalConfigurationCoverage;
+    readonly startup: {
+        readonly traces: number;
+        readonly withMicrosteps: number;
+    };
+    readonly microsteps: MicrostepCoverageEvidence;
+    readonly completion: CompletionCoverageEvidence<StatePath<M>>;
+    readonly history: HistoryCoverageEvidence<StateNodePath<M>>;
+}
+/**
+ * Computes deterministic, definition-aware coverage from completed planner
+ * traces. Finite declared sets report hits and misses; scenarios and logical
+ * configurations report observations only because their complete spaces are
+ * generally infinite.
+ *
+ * @category verification
+ * @since 4.0.0
+ */
+export declare const coverage: <M extends AnyMachine>(machine: M, traceOrTraces: Trace<M> | ReadonlyArray<Trace<M>>) => Coverage<M>;
+/**
+ * The observation roles summarized for one logical graph node.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface ObservedGraphNodeObservations {
+    readonly total: number;
+    readonly startup: number;
+    readonly event: number;
+    readonly microstep: number;
+}
+/**
+ * One full encoded logical snapshot stored in the observed Effect graph.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface ObservedGraphNode<M extends AnyMachine> {
+    readonly id: string;
+    readonly snapshot: Machine.Machine.Snapshot<Machine.Machine.States<M>>;
+    readonly encoded: Machine.Machine.EncodedSnapshot;
+    readonly configuration: ReadonlyArray<StatePath<M>>;
+    readonly observations: ObservedGraphNodeObservations;
+}
+/**
+ * Retained evidence for one microstep inside an observed graph edge.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface ObservedGraphMicrostep<M extends AnyMachine> {
+    readonly next: string;
+    readonly event: Machine.Machine.Event<M> | Machine.InitialEvent;
+    readonly transitions: Microstep<M, any>["transitions"];
+    readonly raisedEvents: ReadonlyArray<Machine.Machine.Event<M>>;
+    readonly emittedEvents: ReadonlyArray<Machine.Machine.Emit<M>>;
+    readonly exitPaths: ReadonlyArray<StatePath<M>>;
+    readonly entryPaths: ReadonlyArray<StatePath<M>>;
+    readonly changed: boolean;
+}
+/**
+ * A startup or public-event macrostep retained by the observed graph.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type ObservedGraphEdge<M extends AnyMachine> = {
+    readonly _tag: "Startup";
+    readonly traceIndex: number;
+    readonly microsteps: ReadonlyArray<ObservedGraphMicrostep<M>>;
+    readonly completion: PlanCompletion<M>;
+} | {
+    readonly _tag: "Event";
+    readonly traceIndex: number;
+    readonly eventIndex: number;
+    readonly event: Machine.Machine.InputEvent<M>;
+    readonly microsteps: ReadonlyArray<ObservedGraphMicrostep<M>>;
+    readonly completion: PlanCompletion<M>;
+};
+/**
+ * An Effect directed graph plus stable indexes useful to graph algorithms.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface ObservedGraph<M extends AnyMachine> {
+    readonly graph: Graph.DirectedGraph<ObservedGraphNode<M>, ObservedGraphEdge<M>>;
+    readonly nodesById: ReadonlyMap<string, Graph.NodeIndex>;
+    /** Settled post-startup nodes from which public event paths begin. */
+    readonly starts: ReadonlyArray<Graph.NodeIndex>;
+    /** Pre-settled startup sources connected to `starts` by `Startup` edges. */
+    readonly startupSources: ReadonlyArray<Graph.NodeIndex>;
+}
+/**
+ * Converts concrete planner traces into an observed logical-state graph.
+ * Nodes are deduplicated by the public snapshot encoding and every edge is a
+ * concrete startup or public-event macrostep. This intentionally does not
+ * claim to be a static or exhaustive graph of the machine.
+ *
+ * @category verification
+ * @since 4.0.0
+ */
+export declare const observedGraph: <M extends AnyMachine>(machine: M, traceOrTraces: Trace<M> | ReadonlyArray<Trace<M>>) => Effect.Effect<ObservedGraph<M>, Machine.MachineSchemaEncodeError, Machine.Machine.SnapshotEncodingServices<Machine.Machine.States<M>>>;
+/**
+ * Independently checked families of planner laws.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type VerificationLawGroup = "configuration" | "microsteps" | "completion" | "history" | "targetBounds";
+/**
+ * Stable identifiers for individual planner laws.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export type VerificationLaw = "configuration.shape" | "configuration.path" | "configuration.schema" | "configuration.hierarchy" | "configuration.compound" | "configuration.parallel" | "configuration.duplicate" | "configuration.trace" | "microsteps.unique" | "microsteps.order" | "microsteps.activeBefore" | "microsteps.activeAfter" | "microsteps.changed" | "microsteps.continuity" | "microsteps.reentry" | "completion.record" | "completion.output" | "completion.done" | "history.record" | "history.mode" | "history.path" | "history.value" | "history.shallow" | "history.deep" | "targetBounds.definition" | "targetBounds.target";
+/**
+ * One independently observed violation in a planner trace.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface VerificationViolation {
+    readonly law: VerificationLaw;
+    /** `undefined` identifies startup; otherwise this is the scenario event index. */
+    readonly eventIndex: number | undefined;
+    readonly microstepIndex?: number;
+    readonly path?: string;
+    readonly message: string;
+}
+/**
+ * All violations found while checking one trace.
+ *
+ * @category errors
+ * @since 4.0.0
+ */
+export { VerificationError } from "../internal/testing/machine/verification.js";
+/**
+ * Selects law families for the single canonical verifier. All run by default.
+ *
+ * @category models
+ * @since 4.0.0
+ */
+export interface VerifyOptions {
+    readonly laws?: ReadonlyArray<VerificationLawGroup>;
+}
+/**
+ * Verifies an executed trace using only public machine inspection and raw
+ * snapshot data. The verifier deliberately does not reuse planner
+ * normalization, encoding, finality, or other internal helpers.
+ *
+ * Every selected law is evaluated and returned in one structured error so a
+ * shrunk property-test counterexample retains all relevant evidence.
+ *
+ * @category verification
+ * @since 4.0.0
+ */
+export declare const verify: <M extends AnyMachine>(machine: M, trace: Trace<M>, options?: VerifyOptions) => Effect.Effect<void, VerificationError>;
+/**
+ * Formats a trace as deterministic, line-oriented counterexample evidence.
+ *
+ * Object keys and map/set entries are canonicalized. Deferred effects are
+ * represented by counts so formatting never evaluates or inspects actions.
+ * Failures include their original cause and every available successful prefix.
+ *
+ * @category formatting
+ * @since 4.0.0
+ */
+export declare const formatTrace: <M extends AnyMachine, Cause>(trace: Trace<M> | RunFailure<Cause, M>) => string;
+//# sourceMappingURL=MachineTest.d.ts.map

package/dist/testing/MachineTest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MachineTest.d.ts","sourceRoot":"","sources":["../../src/testing/MachineTest.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAA;AACxE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAA;AACrF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4CAA4C,CAAA;AAC7E,OAAO,KAAK,KAAK,cAAc,MAAM,+CAA+C,CAAA;AAEpF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AACpF,OAAO,KAAK,KAAK,OAAO,MAAM,eAAe,CAAA;AAE7C,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,uBAAuB,EACvB,kBAAkB,EAClB,KAAK,uBAAuB,EAC5B,KAAK,cAAc,EACnB,KAAK,oBAAoB,EACzB,qBAAqB,EACrB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,eAAe,EACpB,eAAe,EACf,KAAK,0BAA0B,EAC/B,KAAK,sBAAsB,EAC3B,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACrB,uBAAuB,EACvB,sBAAsB,EACtB,KAAK,iBAAiB,EACtB,WAAW,EACX,WAAW,EACZ,MAAM,6CAA6C,CAAA;AAEpD,YAAY,EACV,kCAAkC,EAClC,qBAAqB,EACrB,sBAAsB,EACvB,MAAM,6CAA6C,CAAA;AAEpD,OAAO,EACL,YAAY,EACZ,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC9B,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,kBAAkB,EACvB,KAAK,qBAAqB,EAC1B,KAAK,WAAW,EAChB,KAAK,sBAAsB,EAC3B,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,YAAY,EACZ,KAAK,mBAAmB,EACxB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,uBAAuB,EAC7B,MAAM,6CAA6C,CAAA;AAEpD,OAAO,EACL,sBAAsB,EACtB,KAAK,sBAAsB,EAC3B,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,EAC9B,KAAK,mBAAmB,EACxB,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACzB,MAAM,6CAA6C,CAAA;AAEpD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,cAAc,CAAC,cAC1E,CAAA;AAEzB,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;AAErC,KAAK,UAAU,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AAExE,KAAK,SAAS,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAEjG,KAAK,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAEzG,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAEhD,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,IAClC,CAAC,GACD,gBAAgB,CAChB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EACzB,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAClC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAChC,CAAA;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,OAAO,MAAM,CAAC,IAAI,GAAG;IAC/F,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;CAC9D,GACC;IACA,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;CAC9D,CAAA;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,UAAU,IAC5C;IACA,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;CAC7F,GACC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,OAAO,MAAM,CAAC,IAAI,GAAG;IACrD,QAAQ,CAAC,cAAc,CAAC,EAAE,KAAK,CAAA;CAChC,GACC;IACA,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;CAC7D,CAAC,CAAA;AAEN;;;;;GAKG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAA;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAA;CACvC;AAED;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAA;IAC9C,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,QAAQ,GAAG,UAAU,CAAA;IAChD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,yBAAyB,CAAC,CAAA;CAC3D;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,UAAU;IAC7C,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IACpD,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAA;CAC1C;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,SAAS,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CACnF,CAAA;AAEpB;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,UAAU,IAC3C;IACA,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CAC3C,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CAAA;AAEH;;;;;GAKG;AACH,MAAM,WAAW,SAAS,CACxB,CAAC,SAAS,UAAU,EACpB,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE1C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAClE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,YAAY,CAAA;IAC/D,QAAQ,CAAC,WAAW,EAAE,aAAa,CACjC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAChC,SAAS,CAAC,CAAC,CAAC,EACZ,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACxD,aAAa,CAAC,CAAC,CAAC,CACjB,CACF,CAAA;IACD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IACjD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,UAAU,IACxC;IACA,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3E,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACvD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IACjD,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,QAAQ,CAAC,UAAU,EAAE,aAAa,CAChC,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC/E,CAAA;CACF,GACC,cAAc,CAAC,CAAC,CAAC,CAAA;AAErB;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,UAAU,IACtC;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAClE,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IACjD,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CACjD,GACC,cAAc,CAAC,CAAC,CAAC,CAAA;AAErB;;;;;GAKG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,UAAU;IAChD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3E,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3D,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACvD,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CACpD;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,UAAU;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACpE,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACzD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;IAC7C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CACzD;AAED;;;;;GAKG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,UAAU;IACzC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3C,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,QAAQ,CAAC,kBAAkB,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;CACzD;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,SAAS,UAAU,EAC7C,KAAK,EAAE,WAAW,EAClB,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,sBAAsB,CAAwB,CAAA;AAEtF;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC,SAAS,UAAU,GAAG,UAAU,IAC3D;IACA,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAA;IACtC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAA;IACtC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;IAC7C,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB,CAAA;AAEH;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,IACrC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,GAC/B,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GACxB,OAAO,CAAC,uBAAuB,GAC/B,OAAO,CAAC,wBAAwB,GAChC,OAAO,CAAC,YAAY,CAAA;AAExB;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,UAAU,IAAI,KAAK,CACnD,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC3F,SAAS,IAAI,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;AAEnH;;;;;;;;;;GAUG;AACH,eAAO,MAAM,GAAG,EAAE,CAAC,CAAC,SAAS,UAAU,EACrC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,EACxB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,KAClB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAgB,CAAA;AAEvF;;;;;GAKG;AACH,MAAM,WAAW,eAAe,CAAC,IAAI;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACrC;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC7D,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAA;CACrE;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IACzD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAA;CACxD;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB,CACrC,UAAU,SAAS,MAAM,GAAG,MAAM,EAClC,QAAQ,SAAS,WAAW,GAAG,WAAW,EAC1C,UAAU,SAAS,MAAM,GAAG,UAAU;IAEtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IAC7D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAA;CAChE;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,GAAG,SAAS,WAAW,GAAG,WAAW;IACtE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;IACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,GAAG,SAAS,WAAW,GAAG,WAAW,IAC3D;IACA,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAA;IACpD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAA;IACtD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAA;CAClC,GACC;IACA,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KACzB,CAAC,CAAA;CACH,CAAA;AAEH;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAED;;;;;GAKG;AACH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC3C;AAED;;;;;GAKG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,0BAA0B,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IACtE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACpC;AAED;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IACnE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC/B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;QACnB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,GAAG,MAAM,CAAC,CAAA;KAClD,CAAC,CAAA;IACF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,UAAU;IAC5C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5C,QAAQ,CAAC,WAAW,EAAE,eAAe,CACnC,sBAAsB,CACpB,aAAa,CAAC,CAAC,CAAC,EAChB,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACxD,aAAa,CAAC,CAAC,CAAC,CACjB,CACF,CAAA;IACD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC7F,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAA;IACpC,QAAQ,CAAC,qBAAqB,EAAE,4BAA4B,CAAA;IAC5D,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;KAChC,CAAA;IACD,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAA;IAC9C,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;CAC5D;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,SAAS,UAAU,EAC1C,OAAO,EAAE,CAAC,EACV,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAC9C,QAAQ,CAAC,CAAC,CAAqB,CAAA;AAEpC;;;;;GAKG;AACH,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,UAAU;IACrD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACtE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,eAAe,CAAA;IACjD,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACnD,QAAQ,CAAC,YAAY,EAAE,6BAA6B,CAAA;CACrD;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB,CAAC,CAAC,SAAS,UAAU;IAC1D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,YAAY,CAAA;IAC/D,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,CAAA;IACtD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAChD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,IAC9C;IACA,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;CACvC,GACC;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;IAC7C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;CACvC,CAAA;AAEH;;;;;GAKG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,UAAU;IACjD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/E,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;IACxD,sEAAsE;IACtE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC/C,4EAA4E;IAC5E,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;CACxD;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa,EAAE,CAAC,CAAC,SAAS,UAAU,EAC/C,OAAO,EAAE,CAAC,EACV,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAC9C,MAAM,CAAC,MAAM,CAChB,aAAa,CAAC,CAAC,CAAC,EAChB,OAAO,CAAC,wBAAwB,EAChC,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC3C,CAAA;AAE1B;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAC5B,eAAe,GACf,YAAY,GACZ,YAAY,GACZ,SAAS,GACT,cAAc,CAAA;AAElB;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GACvB,qBAAqB,GACrB,oBAAoB,GACpB,sBAAsB,GACtB,yBAAyB,GACzB,wBAAwB,GACxB,wBAAwB,GACxB,yBAAyB,GACzB,qBAAqB,GACrB,mBAAmB,GACnB,kBAAkB,GAClB,yBAAyB,GACzB,wBAAwB,GACxB,oBAAoB,GACpB,uBAAuB,GACvB,oBAAoB,GACpB,mBAAmB,GACnB,mBAAmB,GACnB,iBAAiB,GACjB,gBAAgB,GAChB,cAAc,GACd,cAAc,GACd,eAAe,GACf,iBAAiB,GACjB,cAAc,GACd,yBAAyB,GACzB,qBAAqB,CAAA;AAEzB;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAA;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED;;;;;GAKG;AACH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAA;AAE/E;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAA;CACpD;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,UAAU,EACxC,OAAO,EAAE,CAAC,EACV,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,OAAO,CAAC,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAmB,CAAA;AAE7D;;;;;;;;;GASG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,MAC7E,CAAA"}