@typeonce/effect-machine 0.2.0 → 0.4.0

package/dist/internal/machine/stateDefinition.js

@@ -0,0 +1,210 @@
+import * as Schema from "effect/Schema";
+import * as SchemaAST from "effect/SchemaAST";
+export const StateNodePropertyPolicy = {
+    atomic: ["schema", "type"],
+    final: ["schema", "type", "output"],
+    compound: ["schema", "type", "initial", "states"],
+    parallel: ["schema", "type", "output", "states"],
+    history: ["type", "history", "annotations"],
+    choice: ["type", "annotations"]
+};
+export const PseudoStateAnnotationProperties = ["title", "description", "documentation"];
+const hasOwn = (value, key) => Object.prototype.hasOwnProperty.call(value, key);
+const displayPath = (parent, key) => {
+    const segment = typeof key === "symbol" ? `[${String(key)}]` : key === "" ? "<empty>" : String(key);
+    return parent === "" ? segment : `${parent}.${segment}`;
+};
+const fail = (boundary, path, message) => {
+    throw new Error(`${boundary} invalid state definition at "${path}": ${message}`);
+};
+const isNumericForm = (key) => Number.isFinite(Number(key));
+const unionEvidence = (evidence) => evidence.length === 0 || evidence.some((result) => result === "untagged")
+    ? "untagged"
+    : evidence.every((result) => result === "tagged")
+        ? "tagged"
+        : "opaque";
+const propertyKeyEvidence = (ast, seen) => {
+    if (seen.has(ast))
+        return "opaque";
+    if (SchemaAST.isString(ast) || SchemaAST.isNumber(ast) || SchemaAST.isSymbol(ast))
+        return "tagged";
+    if (SchemaAST.isTemplateLiteral(ast) || SchemaAST.isUniqueSymbol(ast) || SchemaAST.isEnum(ast))
+        return "tagged";
+    if (SchemaAST.isLiteral(ast)) {
+        return typeof ast.literal === "string" || typeof ast.literal === "number" ? "tagged" : "untagged";
+    }
+    const nextSeen = new Set(seen).add(ast);
+    if (SchemaAST.isUnion(ast))
+        return unionEvidence(ast.types.map((member) => propertyKeyEvidence(member, nextSeen)));
+    if (SchemaAST.isSuspend(ast))
+        return propertyKeyEvidence(ast.thunk(), nextSeen);
+    if (SchemaAST.isDeclaration(ast))
+        return "opaque";
+    return "untagged";
+};
+const taggedSchemaEvidence = (ast, seen = new Set()) => {
+    if (seen.has(ast))
+        return "opaque";
+    if (SchemaAST.isObjects(ast)) {
+        const tag = ast.propertySignatures.find(({ name }) => name === "_tag")?.type;
+        if (tag === undefined || SchemaAST.isOptional(tag))
+            return "untagged";
+        return propertyKeyEvidence(tag, new Set(seen).add(ast));
+    }
+    const nextSeen = new Set(seen).add(ast);
+    if (SchemaAST.isUnion(ast))
+        return unionEvidence(ast.types.map((member) => taggedSchemaEvidence(member, nextSeen)));
+    if (SchemaAST.isSuspend(ast))
+        return taggedSchemaEvidence(ast.thunk(), nextSeen);
+    // A declaration's decoded Type is intentionally opaque at runtime. Its type
+    // parameters describe values contained by the declaration, not its outer
+    // shape, so neither they nor private sentinel metadata can prove the public
+    // structural TaggedSchema contract without rejecting valid Schema.declare
+    // schemas or relying on an undocumented Effect export.
+    if (SchemaAST.isDeclaration(ast))
+        return "opaque";
+    return "untagged";
+};
+/**
+ * Rejects schemas whose decoded AST proves they cannot satisfy the structural
+ * `_tag: PropertyKey` contract of `Machine.TaggedSchema`. Declarations without
+ * sentinel metadata stay opaque: their Type is unavailable at runtime, so
+ * rejecting them would reject valid `Schema.declare` schemas. Consequently an
+ * unsafe cast or JavaScript caller can pass an opaque untagged declaration;
+ * this boundary only promises to reject schemas whose mismatch is provable.
+ */
+const isTaggedSchema = (value) => Schema.isSchema(value) && taggedSchemaEvidence(SchemaAST.toType(value.ast)) !== "untagged";
+const validateStateKey = (boundary, parent, key) => {
+    const path = displayPath(parent, key);
+    if (typeof key === "symbol") {
+        return fail(boundary, path, "state keys must be strings, not symbols");
+    }
+    if (typeof key === "number") {
+        return fail(boundary, path, "state keys cannot use numeric forms");
+    }
+    if (key === "") {
+        return fail(boundary, path, "state keys cannot be empty");
+    }
+    if (key === "__proto__") {
+        return fail(boundary, path, "the state key \"__proto__\" is not allowed");
+    }
+    if (key.includes(".")) {
+        return fail(boundary, path, "state keys cannot contain \".\"");
+    }
+    if (isNumericForm(key)) {
+        return fail(boundary, path, "state keys cannot use numeric forms");
+    }
+    return path;
+};
+const assertPlainRecord = (boundary, path, value, description) => {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        fail(boundary, path, `${description} must be a plain record`);
+    }
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null) {
+        fail(boundary, displayPath(path === "<root>" ? "" : path, "__proto__"), `${description} must not declare an implicit "__proto__" state key`);
+    }
+};
+const assertAllowedProperties = (boundary, path, node, kind) => {
+    const allowed = StateNodePropertyPolicy[kind];
+    for (const property of Reflect.ownKeys(node)) {
+        if (!allowed.includes(property)) {
+            fail(boundary, path, `${kind} states cannot declare property "${String(property)}"`);
+        }
+    }
+};
+const validatePseudoAnnotations = (boundary, path, annotations) => {
+    assertPlainRecord(boundary, `${path}.annotations`, annotations, "pseudo-state annotations");
+    for (const property of Reflect.ownKeys(annotations)) {
+        if (!PseudoStateAnnotationProperties.includes(property)) {
+            fail(boundary, `${path}.annotations`, `pseudo-state annotations cannot declare property "${String(property)}"`);
+        }
+        if (typeof annotations[property] !== "string") {
+            fail(boundary, `${path}.annotations.${String(property)}`, "pseudo-state annotation values must be strings");
+        }
+    }
+};
+const validateStateTree = (boundary, states, parent, allowPseudoStates) => {
+    const treePath = parent === "" ? "<root>" : parent;
+    assertPlainRecord(boundary, treePath, states, "state trees");
+    for (const key of Reflect.ownKeys(states)) {
+        const path = validateStateKey(boundary, parent, key);
+        const node = states[key];
+        // Effect schemas have their own runtime properties. They are complete
+        // atomic node definitions and must be recognized before config validation.
+        if (Schema.isSchema(node)) {
+            if (!isTaggedSchema(node)) {
+                fail(boundary, path, "state schemas must decode to an object with a required PropertyKey _tag");
+            }
+            continue;
+        }
+        assertPlainRecord(boundary, path, node, "state nodes");
+        const type = node.type;
+        const kind = type === "history" ?
+            "history"
+            : type === "choice" ?
+                "choice"
+                : type === "parallel" ?
+                    "parallel"
+                    : type === "final" ?
+                        "final"
+                        : hasOwn(node, "states") ?
+                            "compound"
+                            : "atomic";
+        assertAllowedProperties(boundary, path, node, kind);
+        if (kind === "history" || kind === "choice") {
+            if (!allowPseudoStates) {
+                fail(boundary, path, `${kind} states must be declared below an active parent state`);
+            }
+            if (hasOwn(node, "annotations")) {
+                validatePseudoAnnotations(boundary, path, node.annotations);
+            }
+            if (kind === "history" && hasOwn(node, "history") && node.history !== "shallow" && node.history !== "deep") {
+                fail(boundary, `${path}.history`, "history must be \"shallow\" or \"deep\"");
+            }
+            continue;
+        }
+        if (!hasOwn(node, "schema") || !isTaggedSchema(node.schema)) {
+            fail(boundary, `${path}.schema`, "active states must declare an Effect Schema with a required PropertyKey _tag");
+        }
+        if (kind === "atomic" && hasOwn(node, "type") && node.type !== "active") {
+            fail(boundary, `${path}.type`, "atomic state type must be \"active\"");
+        }
+        if (kind === "final" && node.type !== "final") {
+            fail(boundary, `${path}.type`, "final state type must be \"final\"");
+        }
+        if (kind === "compound" && hasOwn(node, "type") && node.type !== "active") {
+            fail(boundary, `${path}.type`, "compound state type must be \"active\"");
+        }
+        if (kind === "parallel" && node.type !== "parallel") {
+            fail(boundary, `${path}.type`, "parallel state type must be \"parallel\"");
+        }
+        if ((kind === "final" || kind === "parallel") && hasOwn(node, "output") && !Schema.isSchema(node.output)) {
+            fail(boundary, `${path}.output`, "state output must be an Effect Schema");
+        }
+        if (kind === "compound") {
+            if (typeof node.initial !== "string") {
+                fail(boundary, `${path}.initial`, "compound states must declare an initial child key");
+            }
+            const initialKey = node.initial;
+            validateStateTree(boundary, node.states, path, true);
+            if (!hasOwn(node.states, initialKey)) {
+                fail(boundary, `${path}.initial`, `compound initial child "${initialKey}" does not exist`);
+            }
+            const initial = node.states[initialKey];
+            if (!Schema.isSchema(initial) && typeof initial === "object" && initial !== null &&
+                initial.type === "history") {
+                fail(boundary, `${path}.initial`, "compound initial children cannot be history states");
+            }
+            continue;
+        }
+        if (kind === "parallel") {
+            if (!hasOwn(node, "states")) {
+                fail(boundary, `${path}.states`, "parallel states must declare child regions");
+            }
+            validateStateTree(boundary, node.states, path, true);
+        }
+    }
+};
+export const validateStateDefinitions = (states, boundary) => validateStateTree(boundary, states, "", false);
+//# sourceMappingURL=stateDefinition.js.map

package/dist/internal/machine/stateDefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stateDefinition.js","sourceRoot":"","sources":["../../../src/internal/machine/stateDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAA;AAE7C,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;IACnC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC;IACjD,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC;IAChD,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC;IAC3C,MAAM,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;CACvB,CAAA;AAEV,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAU,CAAA;AAUjG,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,GAAgB,EAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AAE7G,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,GAAgB,EAAU,EAAE;IAC/D,MAAM,OAAO,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACnG,OAAO,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,OAAO,EAAE,CAAA;AACzD,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAC,QAAiC,EAAE,IAAY,EAAE,OAAe,EAAS,EAAE;IACvF,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,iCAAiC,IAAI,MAAM,OAAO,EAAE,CAAC,CAAA;AAClF,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,GAAW,EAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;AAI5E,MAAM,aAAa,GAAG,CAAC,QAA6C,EAAwB,EAAE,CAC5F,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,UAAU,CAAC;IACvE,CAAC,CAAC,UAAU;IACZ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC;QACjD,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,QAAQ,CAAA;AAEd,MAAM,mBAAmB,GAAG,CAC1B,GAAkB,EAClB,IAAgC,EACV,EAAE;IACxB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAA;IAClC,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAA;IAClG,IAAI,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAA;IAC/G,IAAI,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAA;IACnG,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACvC,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IAClH,IAAI,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC;QAAE,OAAO,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,QAAQ,CAAC,CAAA;IAC/E,IAAI,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAA;IACjD,OAAO,UAAU,CAAA;AACnB,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,CAC3B,GAAkB,EAClB,OAAmC,IAAI,GAAG,EAAE,EACtB,EAAE;IACxB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAA;IAClC,IAAI,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAA;QAC5E,IAAI,GAAG,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,UAAU,CAAA;QACrE,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IACzD,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACvC,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;IACnH,IAAI,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC;QAAE,OAAO,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,QAAQ,CAAC,CAAA;IAChF,4EAA4E;IAC5E,yEAAyE;IACzE,4EAA4E;IAC5E,0EAA0E;IAC1E,uDAAuD;IACvD,IAAI,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAA;IACjD,OAAO,UAAU,CAAA;AACnB,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,cAAc,GAAG,CAAC,KAAc,EAAuB,EAAE,CAC7D,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,UAAU,CAAA;AAE5F,MAAM,gBAAgB,GAAG,CACvB,QAAiC,EACjC,MAAc,EACd,GAAgB,EACR,EAAE;IACV,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;IACrC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,yCAAyC,CAAC,CAAA;IACxE,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,qCAAqC,CAAC,CAAA;IACpE,CAAC;IACD,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,4BAA4B,CAAC,CAAA;IAC3D,CAAC;IACD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,4CAA4C,CAAC,CAAA;IAC3E,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,iCAAiC,CAAC,CAAA;IAChE,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,qCAAqC,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,iBAAiB,GAKwC,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE;IACpG,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,WAAW,yBAAyB,CAAC,CAAA;IAC/D,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;IAC9C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACzD,IAAI,CACF,QAAQ,EACR,WAAW,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EACvD,GAAG,WAAW,qDAAqD,CACpE,CAAA;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,uBAAuB,GAAG,CAC9B,QAAiC,EACjC,IAAY,EACZ,IAA4C,EAC5C,IAAmB,EACb,EAAE;IACR,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAA+B,CAAA;IAC3E,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,IAAI,oCAAoC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;QACtF,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,yBAAyB,GAAG,CAChC,QAAiC,EACjC,IAAY,EACZ,WAAoB,EACd,EAAE;IACR,iBAAiB,CAAC,QAAQ,EAAE,GAAG,IAAI,cAAc,EAAE,WAAW,EAAE,0BAA0B,CAAC,CAAA;IAC3F,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACpD,IAAI,CAAE,+BAA8D,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxF,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,cAAc,EAAE,qDAAqD,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;QACjH,CAAC;QACD,IAAI,OAAO,WAAW,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC9C,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,gBAAgB,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,gDAAgD,CAAC,CAAA;QAC7G,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CACxB,QAAiC,EACjC,MAAe,EACf,MAAc,EACd,iBAA0B,EACpB,EAAE;IACR,MAAM,QAAQ,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAA;IAClD,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,CAAC,CAAA;IAE5D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;QACpD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QAExB,sEAAsE;QACtE,2EAA2E;QAC3E,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,yEAAyE,CAAC,CAAA;YACjG,CAAC;YACD,SAAQ;QACV,CAAC;QACD,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,CAAA;QAEtD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACtB,MAAM,IAAI,GAAkB,IAAI,KAAK,SAAS,CAAC,CAAC;YAC9C,SAAS;YACT,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;gBACrB,QAAQ;gBACR,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;oBACvB,UAAU;oBACV,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;wBACpB,OAAO;wBACP,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;4BAC1B,UAAU;4BACV,CAAC,CAAC,QAAQ,CAAA;QAEZ,uBAAuB,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAEnD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5C,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,IAAI,uDAAuD,CAAC,CAAA;YACtF,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;gBAChC,yBAAyB,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAA;YAC7D,CAAC;YACD,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC3G,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,UAAU,EAAE,yCAAyC,CAAC,CAAA;YAC9E,CAAC;YACD,SAAQ;QACV,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,SAAS,EAAE,8EAA8E,CAAC,CAAA;QAClH,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxE,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,OAAO,EAAE,sCAAsC,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9C,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,OAAO,EAAE,oCAAoC,CAAC,CAAA;QACtE,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1E,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,OAAO,EAAE,wCAAwC,CAAC,CAAA;QAC1E,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpD,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,OAAO,EAAE,0CAA0C,CAAC,CAAA;QAC5E,CAAC;QACD,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACzG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,SAAS,EAAE,uCAAuC,CAAC,CAAA;QAC3E,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACrC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,UAAU,EAAE,mDAAmD,CAAC,CAAA;YACxF,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAiB,CAAA;YACzC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;YACpD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAgB,EAAE,UAAU,CAAC,EAAE,CAAC;gBAC/C,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,UAAU,EAAE,2BAA2B,UAAU,kBAAkB,CAAC,CAAA;YAC5F,CAAC;YACD,MAAM,OAAO,GAAI,IAAI,CAAC,MAAiD,CAAC,UAAU,CAAC,CAAA;YACnF,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;gBAC3E,OAAkD,CAAC,IAAI,KAAK,SAAS,EACtE,CAAC;gBACD,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,UAAU,EAAE,oDAAoD,CAAC,CAAA;YACzF,CAAC;YACD,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,SAAS,EAAE,4CAA4C,CAAC,CAAA;YAChF,CAAC;YACD,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAAe,EACf,QAAiC,EAC3B,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,CAAA"}

package/dist/internal/machine/symbols.d.ts

@@ -0,0 +1,3 @@
+/** @internal */
+export declare const InitialEventTypeId: unique symbol;
+//# sourceMappingURL=symbols.d.ts.map

package/dist/internal/machine/symbols.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.d.ts","sourceRoot":"","sources":["../../../src/internal/machine/symbols.ts"],"names":[],"mappings":"AAAA,gBAAgB;AAChB,eAAO,MAAM,kBAAkB,EAAE,OAAO,MAA8C,CAAA"}

package/dist/internal/machine/symbols.js

@@ -0,0 +1,3 @@
+/** @internal */
+export const InitialEventTypeId = Symbol("effect/Machine/InitialEvent");
+//# sourceMappingURL=symbols.js.map

package/dist/internal/machine/symbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbols.js","sourceRoot":"","sources":["../../../src/internal/machine/symbols.ts"],"names":[],"mappings":"AAAA,gBAAgB;AAChB,MAAM,CAAC,MAAM,kBAAkB,GAAkB,MAAM,CAAC,6BAA6B,CAAC,CAAA"}

package/dist/internal/machine/topology.d.ts

@@ -0,0 +1,98 @@
+/**
+ * Internal machine topology and target helpers.
+ *
+ * @since 4.0.0
+ */
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import type { Machine } from "../../Machine.js";
+export declare const TargetTypeId = "~effect/Machine/Target";
+export declare const TargetSnapshotTypeId: unique symbol;
+export declare const StateInputTypeId: unique symbol;
+export declare const StateConstructionTypeId: unique symbol;
+export declare const HistoryTargetTypeId: unique symbol;
+export declare const ChoiceTargetTypeId: unique symbol;
+interface StateInput {
+    readonly [StateInputTypeId]: typeof StateInputTypeId;
+    readonly input: unknown;
+}
+/** Internal target produced by the history target builder. History nodes are
+ * routing instructions and are never part of an active configuration. */
+export interface HistoryTarget {
+    readonly [HistoryTargetTypeId]: typeof HistoryTargetTypeId;
+    readonly path: string;
+    readonly parent: string;
+}
+/** Internal target produced by a choice target builder. */
+export interface ChoiceTarget {
+    readonly [ChoiceTargetTypeId]: typeof ChoiceTargetTypeId;
+    readonly path: string;
+    readonly parent: string;
+    readonly values?: Readonly<Record<string, unknown>>;
+}
+export declare const makeHistoryTarget: (path: string, parent: string) => HistoryTarget;
+export declare const isHistoryTarget: (u: unknown) => u is HistoryTarget;
+export declare const makeChoiceTarget: (path: string, parent: string, values?: Readonly<Record<string, unknown>>) => ChoiceTarget;
+export declare const isChoiceTarget: (u: unknown) => u is ChoiceTarget;
+interface NormalizedStateNodeDefinitionBase {
+    readonly annotations: Readonly<Machine.StateNodeAnnotations> | undefined;
+}
+type NormalizedStateNodeDefinition = (NormalizedStateNodeDefinitionBase & {
+    readonly type: "atomic";
+    readonly schema: Machine.TaggedSchema;
+    readonly output: undefined;
+    readonly history: undefined;
+    readonly initial: undefined;
+    readonly states: undefined;
+}) | (NormalizedStateNodeDefinitionBase & {
+    readonly type: "compound";
+    readonly schema: Machine.TaggedSchema;
+    readonly output: undefined;
+    readonly history: undefined;
+    readonly initial: string;
+    readonly states: Machine.StateTree;
+}) | (NormalizedStateNodeDefinitionBase & {
+    readonly type: "parallel";
+    readonly schema: Machine.TaggedSchema;
+    readonly output: Schema.Top | undefined;
+    readonly history: undefined;
+    readonly initial: undefined;
+    readonly states: Machine.StateTree;
+}) | (NormalizedStateNodeDefinitionBase & {
+    readonly type: "final";
+    readonly schema: Machine.TaggedSchema;
+    readonly output: Schema.Top | undefined;
+    readonly history: undefined;
+    readonly initial: undefined;
+    readonly states: undefined;
+}) | (NormalizedStateNodeDefinitionBase & {
+    readonly type: "history";
+    readonly schema: undefined;
+    readonly output: undefined;
+    readonly history: "shallow" | "deep";
+    readonly initial: undefined;
+    readonly states: undefined;
+}) | (NormalizedStateNodeDefinitionBase & {
+    readonly type: "choice";
+    readonly schema: undefined;
+    readonly output: undefined;
+    readonly history: undefined;
+    readonly initial: undefined;
+    readonly states: undefined;
+});
+export declare const getStateNodeDefinition: (path: string, definition: Machine.TaggedSchema | Machine.StateNodeConfig) => NormalizedStateNodeDefinition;
+export declare const compileStateNodes: (states: Machine.StateSchemas) => Machine.StateNodes;
+export declare const transitionDefinitions: (machine: Machine.Any) => ReadonlyArray<Machine.TransitionDefinition>;
+export declare const makeTarget: <const States extends Machine.StateSchemas, const StateId extends Machine.StateIdentifier<States>>(path: StateId, value: Machine.StateByIdentifier<States, StateId>, options?: {
+    readonly snapshot?: Machine.SnapshotByIdentifier<States, StateId>;
+    readonly values?: Partial<{ readonly [AncestorStateId in Machine.StateIdentifier<States>]: Machine.StateByIdentifier<States, AncestorStateId>; }>;
+}) => Machine.Target<States, StateId>;
+export declare const isTarget: (u: unknown) => u is Machine.Target<any, any>;
+export declare const makeStateInput: (input: unknown) => StateInput;
+export declare const isStateInput: (u: unknown) => u is StateInput;
+export declare const isSnapshot: (u: unknown) => u is Machine.AtomicSnapshot<string, unknown>;
+export declare const getSnapshotByPath: (snapshot: Machine.AtomicSnapshot<string, unknown>, path: string, parents?: Record<string, unknown>) => Option.Option<Machine.AtomicSnapshot<string, unknown>>;
+export declare const getNode: (machine: Machine.Any, path: string) => Machine.StateNode;
+export declare const getStateNodeSchema: (node: Machine.StateNode) => Machine.TaggedSchema;
+export {};
+//# sourceMappingURL=topology.d.ts.map

package/dist/internal/machine/topology.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"topology.d.ts","sourceRoot":"","sources":["../../../src/internal/machine/topology.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAE/C,eAAO,MAAM,YAAY,2BAA2B,CAAA;AAEpD,eAAO,MAAM,oBAAoB,EAAE,OAAO,MAAgD,CAAA;AAE1F,eAAO,MAAM,gBAAgB,EAAE,OAAO,MAA4C,CAAA;AAElF,eAAO,MAAM,uBAAuB,EAAE,OAAO,MAAmD,CAAA;AAEhG,eAAO,MAAM,mBAAmB,EAAE,OAAO,MAA+C,CAAA;AAExF,eAAO,MAAM,kBAAkB,EAAE,OAAO,MAA8C,CAAA;AAEtF,UAAU,UAAU;IAClB,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE,OAAO,gBAAgB,CAAA;IACpD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB;AAED;yEACyE;AACzE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,OAAO,mBAAmB,CAAA;IAC1D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,2DAA2D;AAC3D,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,OAAO,kBAAkB,CAAA;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;CACpD;AAED,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,EAAE,QAAQ,MAAM,KAAG,aAI/D,CAAA;AAEF,eAAO,MAAM,eAAe,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,aAAoD,CAAA;AAEtG,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,QAAQ,MAAM,EACd,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,KACzC,YAKD,CAAA;AAEF,eAAO,MAAM,cAAc,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,YAAkD,CAAA;AAEnG,UAAU,iCAAiC;IACzC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,SAAS,CAAA;CACzE;AAED,KAAK,6BAA6B,GAC9B,CAAC,iCAAiC,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CAAC,GACA,CAAC,iCAAiC,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAA;CACnC,CAAC,GACA,CAAC,iCAAiC,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAA;CACnC,CAAC,GACA,CAAC,iCAAiC,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CAAC,GACA,CAAC,iCAAiC,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,MAAM,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CAAC,GACA,CAAC,iCAAiC,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B,CAAC,CAAA;AAEJ,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,EACZ,YAAY,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC,eAAe,KACzD,6BAyFF,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,QAAQ,OAAO,CAAC,YAAY,KAAG,OAAO,CAAC,UA6HxE,CAAA;AASD,eAAO,MAAM,qBAAqB,GAChC,SAAS,OAAO,CAAC,GAAG,KACnB,aAAa,CAAC,OAAO,CAAC,oBAAoB,CA8C5C,CAAA;AAED,eAAO,MAAM,UAAU,GACrB,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,YAAY,EACzC,KAAK,CAAC,OAAO,SAAS,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAErD,MAAM,OAAO,EACb,OAAO,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,EACjD,UAAU;IACR,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CACvB,EACE,QAAQ,EAAE,eAAe,IAAI,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,iBAAiB,CACtF,MAAM,EACN,eAAe,CAChB,GACF,CACF,CAAA;CACF,KACA,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAOM,CAAA;AAEvC,eAAO,MAAM,QAAQ,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAiC,CAAA;AAEnG,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,KAAG,UAG9C,CAAA;AAEF,eAAO,MAAM,YAAY,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,UAA8C,CAAA;AAE7F,eAAO,MAAM,UAAU,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAChC,CAAA;AAEnD,eAAO,MAAM,iBAAiB,GAC5B,UAAU,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,EACjD,MAAM,MAAM,EACZ,UAAU,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAChC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAwBvD,CAAA;AAED,eAAO,MAAM,OAAO,GAAI,SAAS,OAAO,CAAC,GAAG,EAAE,MAAM,MAAM,KAAG,OAAO,CAAC,SAMpE,CAAA;AAED,eAAO,MAAM,kBAAkB,GAAI,MAAM,OAAO,CAAC,SAAS,KAAG,OAAO,CAAC,YAKpE,CAAA"}