@typeonce/effect-machine 0.4.0 → 0.5.0

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

@@ -0,0 +1,30 @@
+/**
+ * Bounded breadth-first exploration over concrete planner events.
+ *
+ * @since 0.4.0
+ */
+import * as Effect from "effect/Effect";
+import * as Machine from "../../../Machine.js";
+import type { Exploration, ExplorationCompleteness, ExplorationKey, ExplorationNode, ExplorationPredicate, ExploreOptions, ReachabilityFailure, RunError, RunFailure, RunServices } from "../../../testing/MachineTest.js";
+import type { EnsureExecutable } from "../../machine/readiness.js";
+import { type InvariantError } from "./invariant.js";
+type AnyMachine = Machine.Machine.Any;
+type ReadyMachine<M extends AnyMachine> = M & EnsureExecutable<Machine.Machine.States<M>, Machine.Machine.UnhandledStates<M>, Machine.Machine.OutputStates<M>>;
+export declare const explore: <M extends AnyMachine, Key extends ExplorationKey>(machine: ReadyMachine<M>, options: ExploreOptions<M, Key>) => Effect.Effect<Exploration<M, Key>, RunFailure<RunError<M>, M> | InvariantError<M>, RunServices<M>>;
+declare const ReachabilityError_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]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "MachineTestReachabilityError";
+} & Readonly<A>;
+export declare class ReachabilityError<M extends AnyMachine = AnyMachine, Key extends ExplorationKey = ExplorationKey> extends ReachabilityError_base<{
+    readonly name: string;
+    readonly expectation: "reachable" | "unreachable";
+    readonly reason: ReachabilityFailure;
+    readonly message: string;
+    readonly completeness: ExplorationCompleteness<M, Key>;
+    readonly witness?: ExplorationNode<M, Key>;
+}> {
+}
+export declare const findShortest: <M extends AnyMachine, Key extends ExplorationKey>(exploration: Exploration<M, Key>, predicate: ExplorationPredicate<M, Key>) => ExplorationNode<M, Key> | undefined;
+export declare const assertReachable: <M extends AnyMachine, Key extends ExplorationKey>(exploration: Exploration<M, Key>, name: string, predicate: ExplorationPredicate<M, Key>) => Effect.Effect<ExplorationNode<M, Key>, ReachabilityError<M, Key>>;
+export declare const assertUnreachable: <M extends AnyMachine, Key extends ExplorationKey>(exploration: Exploration<M, Key>, name: string, predicate: ExplorationPredicate<M, Key>) => Effect.Effect<void, ReachabilityError<M, Key>>;
+export {};
+//# sourceMappingURL=exploration.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"exploration.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/exploration.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,EACV,WAAW,EACX,uBAAuB,EAGvB,cAAc,EACd,eAAe,EACf,oBAAoB,EAEpB,cAAc,EACd,mBAAmB,EAEnB,QAAQ,EACR,UAAU,EACV,WAAW,EAGZ,MAAM,iCAAiC,CAAA;AACxC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAA;AAClE,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAGtE,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;AAIrC,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;AAwDH,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EACtE,SAAS,YAAY,CAAC,CAAC,CAAC,EACxB,SAAS,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,KAC9B,MAAM,CAAC,MAAM,CACd,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EACnB,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,EAC9C,WAAW,CAAC,CAAC,CAAC,CA+If,CAAA;;;;AAED,qBAAa,iBAAiB,CAC5B,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,GAAG,SAAS,cAAc,GAAG,cAAc,CAC3C,SAAQ,uBAAiD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,aAAa,CAAA;IACjD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;CAC3C,CAAC;CAAG;AAQL,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAC3E,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,SAA8C,CAAA;AAE3E,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAC9E,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,MAAM,MAAM,EACZ,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAkBlE,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,UAAU,EAAE,GAAG,SAAS,cAAc,EAChF,aAAa,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,EAChC,MAAM,MAAM,EACZ,WAAW,oBAAoB,CAAC,CAAC,EAAE,GAAG,CAAC,KACtC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CA6B/C,CAAA"}

package/dist/internal/testing/machine/exploration.js

@@ -0,0 +1,237 @@
+/**
+ * Bounded breadth-first exploration over concrete planner events.
+ *
+ * @since 0.4.0
+ */
+import * as Data from "effect/Data";
+import * as Effect from "effect/Effect";
+import * as Graph from "effect/Graph";
+import * as Schema from "effect/Schema";
+import * as Machine from "../../../Machine.js";
+import { assertInvariants } from "./invariant.js";
+import { appendTrace, run } from "./trace.js";
+const defaultLimits = {
+    maxDepth: 20,
+    maxStates: 1_000,
+    maxTransitions: 10_000
+};
+const validateLimit = (name, value, minimum) => {
+    if (!Number.isSafeInteger(value) || value < minimum) {
+        throw new Error(`MachineTest.explore expected ${name} to be a safe integer greater than or equal to ${minimum}`);
+    }
+};
+const resolveLimits = (limits) => {
+    const resolved = {
+        maxDepth: limits?.maxDepth ?? defaultLimits.maxDepth,
+        maxStates: limits?.maxStates ?? defaultLimits.maxStates,
+        maxTransitions: limits?.maxTransitions ?? defaultLimits.maxTransitions
+    };
+    validateLimit("maxDepth", resolved.maxDepth, 0);
+    validateLimit("maxStates", resolved.maxStates, 1);
+    validateLimit("maxTransitions", resolved.maxTransitions, 0);
+    return resolved;
+};
+const validateKey = (key) => {
+    if (typeof key !== "string" && typeof key !== "number" && typeof key !== "symbol") {
+        throw new Error("MachineTest.explore expected stateKey to return a string, number, or symbol");
+    }
+    return key;
+};
+const stateContext = (machine, trace) => ({
+    machine,
+    snapshot: trace.final,
+    configuration: trace.finalConfiguration,
+    depth: trace.steps.length,
+    trace
+});
+const scenarioWithEvent = (trace, event) => ({
+    ...trace.scenario,
+    events: [...trace.scenario.events, event]
+});
+export const explore = (machine, options) => {
+    const limits = resolveLimits(options.limits);
+    const initialScenario = (machine.input === undefined || machine.input === Schema.Void
+        ? { events: [] }
+        : { input: options.input, events: [] });
+    return Effect.gen(function* () {
+        const initialTrace = yield* run(machine, initialScenario);
+        const invariants = options.invariants ?? [];
+        if (invariants.length > 0) {
+            yield* assertInvariants(machine, initialTrace, invariants);
+        }
+        const initialContext = stateContext(machine, initialTrace);
+        const initialKey = validateKey(options.stateKey(initialContext));
+        const nodes = [{ ...initialContext, key: initialKey }];
+        const nodeDraftsByKey = new Map([[initialKey, 0]]);
+        const edges = [];
+        const frontier = [];
+        const reasons = new Set();
+        let plannedTransitions = 0;
+        let cursor = 0;
+        let halted = false;
+        while (cursor < nodes.length && !halted) {
+            const sourceIndex = cursor;
+            const source = nodes[cursor++];
+            const candidates = options.events(source);
+            if (!Array.isArray(candidates)) {
+                throw new Error("MachineTest.explore expected events to return a readonly array");
+            }
+            if (source.depth >= limits.maxDepth) {
+                if (candidates.length > 0)
+                    reasons.add("depth");
+                for (const event of candidates) {
+                    frontier.push({
+                        _tag: "DepthLimit",
+                        source: source.key,
+                        trace: source.trace,
+                        event
+                    });
+                }
+                continue;
+            }
+            for (const event of candidates) {
+                if (plannedTransitions >= limits.maxTransitions) {
+                    reasons.add("transitions");
+                    frontier.push({
+                        _tag: "TransitionLimit",
+                        source: source.key,
+                        trace: source.trace,
+                        event
+                    });
+                    halted = true;
+                    break;
+                }
+                const scenario = scenarioWithEvent(source.trace, event);
+                const targetTrace = yield* appendTrace(machine, source.trace, event, scenario);
+                plannedTransitions += 1;
+                if (invariants.length > 0) {
+                    yield* assertInvariants(machine, targetTrace, invariants);
+                }
+                const targetContext = stateContext(machine, targetTrace);
+                const targetKey = validateKey(options.stateKey(targetContext));
+                const existing = nodeDraftsByKey.get(targetKey);
+                if (existing !== undefined) {
+                    edges.push({
+                        source: sourceIndex,
+                        target: existing,
+                        edge: {
+                            event,
+                            step: targetTrace.steps[targetTrace.steps.length - 1],
+                            discovered: false
+                        }
+                    });
+                    continue;
+                }
+                if (nodes.length >= limits.maxStates) {
+                    reasons.add("states");
+                    frontier.push({
+                        _tag: "StateLimit",
+                        source: source.key,
+                        trace: source.trace,
+                        event,
+                        target: targetKey,
+                        targetTrace
+                    });
+                    halted = true;
+                    break;
+                }
+                const targetIndex = nodes.length;
+                nodeDraftsByKey.set(targetKey, targetIndex);
+                nodes.push({ ...targetContext, key: targetKey });
+                edges.push({
+                    source: sourceIndex,
+                    target: targetIndex,
+                    edge: {
+                        event,
+                        step: targetTrace.steps[targetTrace.steps.length - 1],
+                        discovered: true
+                    }
+                });
+            }
+        }
+        const nodeIndexes = [];
+        const graph = Graph.directed((mutable) => {
+            for (const node of nodes)
+                nodeIndexes.push(Graph.addNode(mutable, node));
+            for (const edge of edges) {
+                Graph.addEdge(mutable, nodeIndexes[edge.source], nodeIndexes[edge.target], edge.edge);
+            }
+        });
+        const nodesByKey = new Map();
+        nodes.forEach((node, index) => nodesByKey.set(node.key, nodeIndexes[index]));
+        const completeness = reasons.size === 0
+            ? { _tag: "Complete" }
+            : {
+                _tag: "Truncated",
+                reasons: ["depth", "states", "transitions"].filter((reason) => reasons.has(reason)),
+                frontier
+            };
+        return {
+            graph,
+            nodes,
+            nodesByKey,
+            start: nodeIndexes[0],
+            limits,
+            stats: {
+                states: nodes.length,
+                plannedTransitions,
+                retainedEdges: edges.length,
+                maxDepth: nodes.reduce((maximum, node) => Math.max(maximum, node.depth), 0)
+            },
+            completeness
+        };
+    });
+};
+export class ReachabilityError extends Data.TaggedError("MachineTestReachabilityError") {
+}
+const validateAssertionName = (name) => {
+    if (name.trim().length === 0) {
+        throw new Error("MachineTest reachability assertions expected name to be a non-empty string");
+    }
+};
+export const findShortest = (exploration, predicate) => exploration.nodes.find(predicate);
+export const assertReachable = (exploration, name, predicate) => {
+    validateAssertionName(name);
+    return Effect.suspend(() => {
+        const witness = findShortest(exploration, predicate);
+        if (witness !== undefined)
+            return Effect.succeed(witness);
+        const inconclusive = exploration.completeness._tag === "Truncated";
+        return Effect.fail(new ReachabilityError({
+            name,
+            expectation: "reachable",
+            reason: inconclusive ? "Inconclusive" : "NotFound",
+            message: inconclusive
+                ? `Reachability of ${name} is inconclusive because exploration was truncated`
+                : `Expected ${name} to be reachable`,
+            completeness: exploration.completeness
+        }));
+    });
+};
+export const assertUnreachable = (exploration, name, predicate) => {
+    validateAssertionName(name);
+    return Effect.suspend(() => {
+        const witness = findShortest(exploration, predicate);
+        if (witness !== undefined) {
+            return Effect.fail(new ReachabilityError({
+                name,
+                expectation: "unreachable",
+                reason: "UnexpectedMatch",
+                message: `Expected ${name} to be unreachable but found a witness at depth ${witness.depth}`,
+                completeness: exploration.completeness,
+                witness
+            }));
+        }
+        if (exploration.completeness._tag === "Truncated") {
+            return Effect.fail(new ReachabilityError({
+                name,
+                expectation: "unreachable",
+                reason: "Inconclusive",
+                message: `Unreachability of ${name} is inconclusive because exploration was truncated`,
+                completeness: exploration.completeness
+            }));
+        }
+        return Effect.void;
+    });
+};
+//# sourceMappingURL=exploration.js.map

package/dist/internal/testing/machine/exploration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exploration.js","sourceRoot":"","sources":["../../../../src/internal/testing/machine/exploration.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAoB9C,OAAO,EAAE,gBAAgB,EAAuB,MAAM,gBAAgB,CAAA;AACtE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAc7C,MAAM,aAAa,GAA8B;IAC/C,QAAQ,EAAE,EAAE;IACZ,SAAS,EAAE,KAAK;IAChB,cAAc,EAAE,MAAM;CACvB,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAqC,EAAE,KAAa,EAAE,OAAe,EAAQ,EAAE;IACpG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,OAAO,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,kDAAkD,OAAO,EAAE,CAAC,CAAA;IAClH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,MAA4D,EAA6B,EAAE;IAChH,MAAM,QAAQ,GAAG;QACf,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,aAAa,CAAC,QAAQ;QACpD,SAAS,EAAE,MAAM,EAAE,SAAS,IAAI,aAAa,CAAC,SAAS;QACvD,cAAc,EAAE,MAAM,EAAE,cAAc,IAAI,aAAa,CAAC,cAAc;KACvE,CAAA;IACD,aAAa,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC/C,aAAa,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;IACjD,aAAa,CAAC,gBAAgB,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAA;IAC3D,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAA6B,GAAQ,EAAO,EAAE;IAChE,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,6EAA6E,CAAC,CAAA;IAChG,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAuB,OAAU,EAAE,KAAe,EAA8B,EAAE,CAAC,CAAC;IACvG,OAAO;IACP,QAAQ,EAAE,KAAK,CAAC,KAAK;IACrB,aAAa,EAAE,KAAK,CAAC,kBAAkB;IACvC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;IACzB,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAe,EACf,KAAoC,EACvB,EAAE,CACf,CAAC;IACC,GAAG,KAAK,CAAC,QAAQ;IACjB,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;CAC1C,CAAgB,CAAA;AAQnB,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,OAAwB,EACxB,OAA+B,EAK/B,EAAE;IACF,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IAC5C,MAAM,eAAe,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI;QACnF,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAChB,CAAC,CAAC,EAAE,KAAK,EAAG,OAA6C,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAA2B,CAAA;IAE1G,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,eAAe,CAAC,CAAA;QACzD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAA;QAC3C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,EAAE,UAAU,CAAC,CAAA;QAC5D,CAAC;QAED,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;QAC1D,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAA;QAChE,MAAM,KAAK,GAAmC,CAAC,EAAE,GAAG,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAA;QACtF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAc,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/D,MAAM,KAAK,GAAmC,EAAE,CAAA;QAChD,MAAM,QAAQ,GAAuC,EAAE,CAAA;QACvD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsC,CAAA;QAC7D,IAAI,kBAAkB,GAAG,CAAC,CAAA;QAC1B,IAAI,MAAM,GAAG,CAAC,CAAA;QACd,IAAI,MAAM,GAAG,KAAK,CAAA;QAElB,OAAO,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,MAAM,CAAA;YAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAE,CAAA;YAC/B,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAA;YACnF,CAAC;YAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAC/C,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;oBAC/B,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,YAAY;wBAClB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;qBACN,CAAC,CAAA;gBACJ,CAAC;gBACD,SAAQ;YACV,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;gBAC/B,IAAI,kBAAkB,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;oBAChD,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;oBAC1B,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;qBACN,CAAC,CAAA;oBACF,MAAM,GAAG,IAAI,CAAA;oBACb,MAAK;gBACP,CAAC;gBAED,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;gBACvD,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;gBAC9E,kBAAkB,IAAI,CAAC,CAAA;gBACvB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,KAAK,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,CAAA;gBAC3D,CAAC;gBAED,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;gBACxD,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAA;gBAC9D,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;gBAC/C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,KAAK,CAAC,IAAI,CAAC;wBACT,MAAM,EAAE,WAAW;wBACnB,MAAM,EAAE,QAAQ;wBAChB,IAAI,EAAE;4BACJ,KAAK;4BACL,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE;4BACtD,UAAU,EAAE,KAAK;yBAClB;qBACF,CAAC,CAAA;oBACF,SAAQ;gBACV,CAAC;gBAED,IAAI,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;oBACrC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;oBACrB,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,YAAY;wBAClB,MAAM,EAAE,MAAM,CAAC,GAAG;wBAClB,KAAK,EAAE,MAAM,CAAC,KAAK;wBACnB,KAAK;wBACL,MAAM,EAAE,SAAS;wBACjB,WAAW;qBACZ,CAAC,CAAA;oBACF,MAAM,GAAG,IAAI,CAAA;oBACb,MAAK;gBACP,CAAC;gBAED,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAA;gBAChC,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;gBAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAA;gBAChD,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,WAAW;oBACnB,MAAM,EAAE,WAAW;oBACnB,IAAI,EAAE;wBACJ,KAAK;wBACL,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE;wBACtD,UAAU,EAAE,IAAI;qBACjB;iBACF,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAA2B,EAAE,CAAA;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAA8C,CAAC,OAAO,EAAE,EAAE;YACpF,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAA;YACxE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YACzF,CAAC;QACH,CAAC,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAA;QAClD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAE,CAAC,CAAC,CAAA;QAC7E,MAAM,YAAY,GAAoC,OAAO,CAAC,IAAI,KAAK,CAAC;YACtE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;YACtB,CAAC,CAAC;gBACA,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAW,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC9F,QAAQ;aACT,CAAA;QAEH,OAAO;YACL,KAAK;YACL,KAAK;YACL,UAAU;YACV,KAAK,EAAE,WAAW,CAAC,CAAC,CAAE;YACtB,MAAM;YACN,KAAK,EAAE;gBACL,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,kBAAkB;gBAClB,aAAa,EAAE,KAAK,CAAC,MAAM;gBAC3B,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;aAC5E;YACD,YAAY;SACb,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,OAAO,iBAGX,SAAQ,IAAI,CAAC,WAAW,CAAC,8BAA8B,CAOvD;CAAG;AAEL,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAQ,EAAE;IACnD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;IAC/F,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,WAAgC,EAChC,SAAuC,EACF,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AAE3E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,WAAgC,EAChC,IAAY,EACZ,SAAuC,EAC4B,EAAE;IACrE,qBAAqB,CAAC,IAAI,CAAC,CAAA;IAC3B,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,CAAA;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW,CAAA;QAClE,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;YACpB,IAAI;YACJ,WAAW,EAAE,WAAW;YACxB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU;YAClD,OAAO,EAAE,YAAY;gBACnB,CAAC,CAAC,mBAAmB,IAAI,oDAAoD;gBAC7E,CAAC,CAAC,YAAY,IAAI,kBAAkB;YACtC,YAAY,EAAE,WAAW,CAAC,YAAY;SACvC,CAAC,CACH,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,WAAgC,EAChC,IAAY,EACZ,SAAuC,EACS,EAAE;IAClD,qBAAqB,CAAC,IAAI,CAAC,CAAA;IAC3B,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,CAAA;QACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;gBACpB,IAAI;gBACJ,WAAW,EAAE,aAAa;gBAC1B,MAAM,EAAE,iBAAiB;gBACzB,OAAO,EAAE,YAAY,IAAI,mDAAmD,OAAO,CAAC,KAAK,EAAE;gBAC3F,YAAY,EAAE,WAAW,CAAC,YAAY;gBACtC,OAAO;aACR,CAAC,CACH,CAAA;QACH,CAAC;QACD,IAAI,WAAW,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,iBAAiB,CAAC;gBACpB,IAAI;gBACJ,WAAW,EAAE,aAAa;gBAC1B,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,qBAAqB,IAAI,oDAAoD;gBACtF,YAAY,EAAE,WAAW,CAAC,YAAY;aACvC,CAAC,CACH,CAAA;QACH,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAA;IACpB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}

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

@@ -14,7 +14,7 @@ import * as Machine from "../../../Machine.js";
  * An atomic state in a finite generated model.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteAtomicState {
     readonly _tag: "Atomic";
@@ -26,7 +26,7 @@ export interface FiniteAtomicState {
  * A final state in a finite generated model.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteFinalState {
     readonly _tag: "Final";
@@ -40,7 +40,7 @@ export interface FiniteFinalState {
  * A compound state in a finite generated model.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteCompoundState {
     readonly _tag: "Compound";
@@ -59,7 +59,7 @@ export interface FiniteCompoundState {
  * compared without sharing executable callbacks with the reference model.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteParallelState {
     readonly _tag: "Parallel";
@@ -79,7 +79,7 @@ export interface FiniteParallelState {
  * parallel owner and is used only before that history register is captured.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteHistoryState {
     readonly _tag: "History";
@@ -98,7 +98,7 @@ export interface FiniteChoiceState {
  * A finite model state.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type FiniteState = FiniteAtomicState | FiniteFinalState | FiniteCompoundState | FiniteParallelState | FiniteHistoryState | FiniteChoiceState;
 /**
@@ -107,7 +107,7 @@ export type FiniteState = FiniteAtomicState | FiniteFinalState | FiniteCompoundS
  * same validation, compilation, and reference interpretation path.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type FiniteTransitionTrigger = {
     readonly type: "event";
@@ -121,7 +121,7 @@ export type FiniteTransitionTrigger = {
  * One deterministic transition in a finite generated model.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 interface FiniteTransitionBase {
     readonly source: string;
@@ -134,7 +134,7 @@ interface FiniteTransitionBase {
  * A public event transition may explicitly request source reentry.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type FiniteEventTransition = FiniteTransitionBase & {
     readonly trigger: Extract<FiniteTransitionTrigger, {
@@ -147,7 +147,7 @@ export type FiniteEventTransition = FiniteTransitionBase & {
  * the event-only reentry option.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type FiniteAutomaticTransition = FiniteTransitionBase & {
     readonly trigger: Exclude<FiniteTransitionTrigger, {
@@ -158,7 +158,7 @@ export type FiniteAutomaticTransition = FiniteTransitionBase & {
  * One deterministic event or automatic transition in a finite model.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export type FiniteTransition = FiniteEventTransition | FiniteAutomaticTransition;
 /**
@@ -168,7 +168,7 @@ export type FiniteTransition = FiniteEventTransition | FiniteAutomaticTransition
  * from that state's generated default value.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteHistoryMutation {
     readonly source: string;
@@ -180,7 +180,7 @@ export interface FiniteHistoryMutation {
  * One exact transition in a generated history witness.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteHistoryTransfer {
     readonly source: string;
@@ -196,7 +196,7 @@ export interface FiniteHistoryTransfer {
  * root, and restores the remembered non-default value through `history`.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteHistoryScenario {
     readonly history: string;
@@ -215,7 +215,7 @@ export interface FiniteHistoryScenario {
  * or a different root as a complete configuration.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteModel {
     readonly roots: ReadonlyArray<FiniteState>;
@@ -230,7 +230,7 @@ export interface FiniteModel {
  * Limits controlling finite model generation.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteModelOptions {
     /** Maximum number of root states. Always between one and three. */
@@ -254,7 +254,7 @@ export interface FiniteModelOptions {
  * Resolved limits and structural guarantees for a finite model arbitrary.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteModelDiagnostics {
     readonly limits: {
@@ -285,7 +285,7 @@ export interface FiniteModelDiagnostics {
  * A finite model arbitrary and the exact limits used to construct it.
  *
  * @category models
- * @since 4.0.0
+ * @since 0.4.0
  */
 export interface FiniteModels {
     readonly arbitrary: FastCheck.Arbitrary<FiniteModel>;
@@ -303,7 +303,7 @@ export interface FiniteModels {
  * or parallel sources. Separate focused witnesses cover cyclic stabilization.
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const finiteModels: (options?: FiniteModelOptions) => FiniteModels;
 /**
@@ -315,7 +315,7 @@ export declare const finiteModels: (options?: FiniteModelOptions) => FiniteModel
  * conformance stages.
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export declare const compileModel: (model: FiniteModel) => Machine.Machine.Any;
 export {};

package/dist/internal/testing/machine/finiteModel.js

@@ -430,7 +430,7 @@ const makeTransitionArbitrary = (roots, initial, events, maxTransitions, history
  * or parallel sources. Separate focused witnesses cover cyclic stabilization.
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export const finiteModels = (options = {}) => {
     const limits = resolveOptions(options);
@@ -953,7 +953,7 @@ const makeHandlers = (states, parent, byPath, transitions) => {
  * conformance stages.
  *
  * @category constructors
- * @since 4.0.0
+ * @since 0.4.0
  */
 export const compileModel = (model) => {
     const flattened = validateModel(model);

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

@@ -0,0 +1,31 @@
+/**
+ * User-defined semantic invariants over planner traces.
+ *
+ * @since 0.4.0
+ */
+import * as Effect from "effect/Effect";
+import * as Machine from "../../../Machine.js";
+import type { Invariant as MachineInvariant, InvariantBuilder, InvariantOptions, InvariantOutcome, InvariantReport, InvariantViolation, StateInvariant, StateInvariantContext, StateInvariantOptions, StepInvariant, StepInvariantContext, Trace, TraceInvariant, TraceInvariantContext } from "../../../testing/MachineTest.js";
+type AnyMachine = Machine.Machine.Any;
+export declare const stateInvariant: <M extends AnyMachine>(name: string, check: (context: StateInvariantContext<M>) => InvariantOutcome, options?: StateInvariantOptions<M>) => StateInvariant<M>;
+export declare const stepInvariant: <M extends AnyMachine>(name: string, check: (context: StepInvariantContext<M>) => InvariantOutcome, options?: InvariantOptions<StepInvariantContext<M>>) => StepInvariant<M>;
+export declare const traceInvariant: <M extends AnyMachine>(name: string, check: (context: TraceInvariantContext<M>) => InvariantOutcome, options?: InvariantOptions<TraceInvariantContext<M>>) => TraceInvariant<M>;
+export declare const Invariant: Readonly<{
+    state: <M extends AnyMachine>(name: string, check: (context: StateInvariantContext<M>) => InvariantOutcome, options?: StateInvariantOptions<M>) => StateInvariant<M>;
+    step: <M extends AnyMachine>(name: string, check: (context: StepInvariantContext<M>) => InvariantOutcome, options?: InvariantOptions<StepInvariantContext<M>>) => StepInvariant<M>;
+    trace: <M extends AnyMachine>(name: string, check: (context: TraceInvariantContext<M>) => InvariantOutcome, options?: InvariantOptions<TraceInvariantContext<M>>) => TraceInvariant<M>;
+}>;
+export declare const invariants: <M extends AnyMachine>(_machine: M) => InvariantBuilder<M>;
+declare const InvariantError_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]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "MachineTestInvariantError";
+} & Readonly<A>;
+export declare class InvariantError<M extends AnyMachine = AnyMachine> extends InvariantError_base<{
+    readonly trace: Trace<M>;
+    readonly violations: ReadonlyArray<InvariantViolation<M>>;
+    readonly report: InvariantReport;
+}> {
+}
+export declare const checkInvariants: <M extends AnyMachine>(machine: M, trace: Trace<M>, invariants: ReadonlyArray<MachineInvariant<M>>) => Effect.Effect<InvariantReport, InvariantError<M>>;
+export declare const assertInvariants: <M extends AnyMachine>(machine: M, trace: Trace<M>, invariants: ReadonlyArray<MachineInvariant<M>>) => Effect.Effect<void, InvariantError<M>>;
+export {};
+//# sourceMappingURL=invariant.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"invariant.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/invariant.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,EACV,SAAS,IAAI,gBAAgB,EAC7B,gBAAgB,EAEhB,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EAEf,kBAAkB,EAClB,cAAc,EACd,qBAAqB,EACrB,qBAAqB,EAErB,aAAa,EACb,oBAAoB,EACpB,KAAK,EACL,cAAc,EACd,qBAAqB,EACtB,MAAM,iCAAiC,CAAA;AAExC,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;AA2BrC,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,UAAU,EACjD,MAAM,MAAM,EACZ,OAAO,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAAK,gBAAgB,EAC9D,UAAS,qBAAqB,CAAC,CAAC,CAAM,KACrC,cAAc,CAAC,CAAC,CAWlB,CAAA;AAED,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,UAAU,EAChD,MAAM,MAAM,EACZ,OAAO,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,gBAAgB,EAC7D,UAAS,gBAAgB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAM,KACtD,aAAa,CAAC,CAAC,CAUjB,CAAA;AAED,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,UAAU,EACjD,MAAM,MAAM,EACZ,OAAO,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAAK,gBAAgB,EAC9D,UAAS,gBAAgB,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAM,KACvD,cAAc,CAAC,CAAC,CAUlB,CAAA;AAED,eAAO,MAAM,SAAS;YAjDS,CAAC,SAAS,UAAU,QAC3C,MAAM,SACL,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAAK,gBAAgB,YACrD,qBAAqB,CAAC,CAAC,CAAC,KAChC,cAAc,CAAC,CAAC,CAAC;WAaU,CAAC,SAAS,UAAU,QAC1C,MAAM,SACL,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,gBAAgB,YACpD,gBAAgB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,KACjD,aAAa,CAAC,CAAC,CAAC;YAYY,CAAC,SAAS,UAAU,QAC3C,MAAM,SACL,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAAK,gBAAgB,YACrD,gBAAgB,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,KAClD,cAAc,CAAC,CAAC,CAAC;EAgBlB,CAAA;AAEF,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,UAAU,EAAE,UAAU,CAAC,KAAG,gBAAgB,CAAC,CAAC,CAiB7E,CAAA;;;;AAEJ,qBAAa,cAAc,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,CAAE,SAAQ,oBAErE;IACA,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAA;IACzD,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;CACjC,CAAC;CAAG;AA6ML,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,UAAU,EAClD,SAAS,CAAC,EACV,OAAO,KAAK,CAAC,CAAC,CAAC,EACf,YAAY,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC,CAoB/C,CAAA;AAEJ,eAAO,MAAM,gBAAgB,GAAI,CAAC,SAAS,UAAU,EACnD,SAAS,CAAC,EACV,OAAO,KAAK,CAAC,CAAC,CAAC,EACf,YAAY,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,CAAoE,CAAA"}