modality-ts 0.0.7 → 0.0.9

package/dist/{modality → cli}/features/export/command.js

@@ -1,6 +1,6 @@
 import { mkdir, readFile, writeFile } from "node:fs/promises";
 import { dirname } from "node:path";
-import { enumerateDomain, initialValues, parseModelArtifact, validateModel } from "modality-ts/kernel";
+import { enumerateDomain, initialValues, parseModelArtifact, validateModel, } from "modality-ts/core";
 export async function runExportTlaCommand(options) {
     const model = parseModelArtifact(await readFile(options.modelPath, "utf8"));
     const source = generateTlaModule(model, options.moduleName ?? tlaModuleName(model.id));
@@ -23,16 +23,20 @@ export function generateTlaModule(model, moduleName = tlaModuleName(model.id)) {
         `VARIABLES ${vars.join(", ")}`,
         ``,
         `Init ==`,
-        indent(model.vars.map((decl) => tlaInitial(decl.id, initialValues(decl.domain, decl.initial))).join(" /\\\n")),
+        indent(model.vars
+            .map((decl) => tlaInitial(decl.id, initialValues(decl.domain, decl.initial)))
+            .join(" /\\\n")),
         ``,
         ...actions.flatMap((action) => [action, ``]),
         `Next ==`,
-        indent(model.transitions.map((transition) => tlaName(transition.id)).join(" \\/\n")),
+        indent(model.transitions
+            .map((transition) => tlaName(transition.id))
+            .join(" \\/\n")),
         ``,
         `Spec == Init /\\ [][Next]_<<${vars.join(", ")}>>`,
         ``,
         `====`,
-        ``
+        ``,
     ].join("\n");
 }
 export function generateTlaStructuredModel(model, moduleName = tlaModuleName(model.id)) {
@@ -50,7 +54,7 @@ export function generateTlaStructuredModel(model, moduleName = tlaModuleName(mod
                 id: decl.id,
                 name: tlaName(decl.id),
                 values,
-                predicate: tlaInitial(decl.id, values)
+                predicate: tlaInitial(decl.id, values),
             };
         }),
         transitions: model.transitions.map((transition) => ({
@@ -61,19 +65,18 @@ export function generateTlaStructuredModel(model, moduleName = tlaModuleName(mod
                 assumptions: branch.assumptions,
                 exists: branch.exists,
                 next: Object.fromEntries(model.vars.map((decl) => [decl.id, envValue(branch, decl.id)])),
-                relation: branchRelation(model, branch)
-            }))
-        }))
+                relation: branchRelation(model, branch),
+            })),
+        })),
     };
 }
 function tlaAction(model, transition) {
     const relation = effectRelation(model, transition.effect, currentEnv(model));
     return [
         `${tlaName(transition.id)} ==`,
-        indent([
-            tlaExpr(transition.guard),
-            relation
-        ].filter((line) => Boolean(line)).join(" /\\\n"))
+        indent([tlaExpr(transition.guard), relation]
+            .filter((line) => Boolean(line))
+            .join(" /\\\n")),
     ].join("\n");
 }
 function effectRelation(model, effect, env) {
@@ -92,26 +95,39 @@ function effectBranches(model, effect, env) {
             const decl = model.vars.find((candidate) => candidate.id === effect.var);
             if (!decl)
                 throw new Error(`TLA export cannot havoc unknown var ${effect.var}`);
-            return [withExistentialValue(env, effect.var, tlaSet(enumerateDomain(decl.domain)))];
+            return [
+                withExistentialValue(env, effect.var, tlaSet(enumerateDomain(decl.domain))),
+            ];
         }
         case "choose":
             return effect.among.map((expr) => withValue(env, effect.var, tlaExpr(expr, env)));
         case "if":
             return [
                 ...effectBranches(model, effect.then, envWithAssumption(env, tlaExpr(effect.cond, env))),
-                ...effectBranches(model, effect.else, envWithAssumption(env, `~(${tlaExpr(effect.cond, env)})`))
+                ...effectBranches(model, effect.else, envWithAssumption(env, `~(${tlaExpr(effect.cond, env)})`)),
             ];
         case "seq":
             return effect.effects.reduce((branches, next) => branches.flatMap((branch) => effectBranches(model, next, branch)), [env]);
         case "enqueue": {
             const pending = envValue(env, "sys:pending");
-            const args = tlaRecord(Object.fromEntries(Object.entries(effect.args).map(([key, expr]) => [key, tlaExpr(expr, env)])));
-            const op = tlaRecord({ opId: tlaValue(effect.op), continuation: tlaValue(effect.continuation), args });
-            return [withValue(envWithAssumption(env, `(Len(${pending}) < ${model.bounds.maxPending})`), "sys:pending", `Append(${pending}, ${op})`)];
+            const args = tlaRecord(Object.fromEntries(Object.entries(effect.args).map(([key, expr]) => [
+                key,
+                tlaExpr(expr, env),
+            ])));
+            const op = tlaRecord({
+                opId: tlaValue(effect.op),
+                continuation: tlaValue(effect.continuation),
+                args,
+            });
+            return [
+                withValue(envWithAssumption(env, `(Len(${pending}) < ${model.bounds.maxPending})`), "sys:pending", `Append(${pending}, ${op})`),
+            ];
         }
         case "dequeue": {
             const pending = envValue(env, "sys:pending");
-            return [withValue(env, "sys:pending", `SubSeq(${pending}, 1, ${effect.index}) \\o SubSeq(${pending}, ${effect.index + 2}, Len(${pending}))`)];
+            return [
+                withValue(env, "sys:pending", `SubSeq(${pending}, 1, ${effect.index}) \\o SubSeq(${pending}, ${effect.index + 2}, Len(${pending}))`),
+            ];
         }
         case "navigate":
             return navigateBranches(model, effect, env);
@@ -132,7 +148,9 @@ function navigateBranches(model, effect, env) {
     else {
         const to = effect.to ? tlaExpr(effect.to, env) : route;
         const historyDecl = model.vars.find((decl) => decl.id === "sys:history");
-        const historyCap = historyDecl?.domain.kind === "boundedList" ? historyDecl.domain.maxLen : undefined;
+        const historyCap = historyDecl?.domain.kind === "boundedList"
+            ? historyDecl.domain.maxLen
+            : undefined;
         if (effect.mode === "push" && historyCap !== undefined) {
             next = envWithAssumption(next, `(Len(${history}) < ${historyCap})`);
         }
@@ -159,22 +177,39 @@ function opaqueBranches(model, effect, env) {
 function branchRelation(model, env) {
     const assumptions = env.assumptions.length > 0 ? env.assumptions.join(" /\\\n") : undefined;
     const assignments = model.vars.map((decl) => `${tlaName(decl.id)}' = ${envValue(env, decl.id)}`);
-    const relation = [assumptions, ...assignments].filter((item) => Boolean(item)).join(" /\\\n");
+    const relation = [assumptions, ...assignments]
+        .filter((item) => Boolean(item))
+        .join(" /\\\n");
     if (env.exists.length === 0)
         return relation;
     return `\\E ${env.exists.map((item) => `${item.name} \\in ${item.set}`).join(", ")}:\n${indent(relation)}`;
 }
 function currentEnv(model) {
-    return { values: new Map(model.vars.map((decl) => [decl.id, tlaName(decl.id)])), assumptions: [], exists: [], nextId: 0 };
+    return {
+        values: new Map(model.vars.map((decl) => [decl.id, tlaName(decl.id)])),
+        assumptions: [],
+        exists: [],
+        nextId: 0,
+    };
 }
 function emptyEnv() {
     return { values: new Map(), assumptions: [], exists: [], nextId: 0 };
 }
 function envWithAssumption(env, assumption) {
-    return { ...env, values: new Map(env.values), assumptions: [...env.assumptions, assumption], exists: [...env.exists] };
+    return {
+        ...env,
+        values: new Map(env.values),
+        assumptions: [...env.assumptions, assumption],
+        exists: [...env.exists],
+    };
 }
 function cloneEnv(env) {
-    return { values: new Map(env.values), assumptions: [...env.assumptions], exists: [...env.exists], nextId: env.nextId };
+    return {
+        values: new Map(env.values),
+        assumptions: [...env.assumptions],
+        exists: [...env.exists],
+        nextId: env.nextId,
+    };
 }
 function withValue(env, id, value) {
     const next = cloneEnv(env);
@@ -191,7 +226,7 @@ function withExistentialValue(env, id, set) {
 }
 function withFreshToken(model, env, target, domainOf) {
     const decl = model.vars.find((candidate) => candidate.id === domainOf);
-    if (!decl || decl.domain.kind !== "tokens")
+    if (decl?.domain.kind !== "tokens")
         throw new Error(`TLA export cannot freshToken non-token var ${domainOf}`);
     const next = cloneEnv(env);
     const name = `${tlaName(target)}_fresh_${next.nextId + 1}`;
@@ -287,7 +322,10 @@ function tlaValue(value) {
 }
 function validateTlaIdentifiers(model) {
     const seen = new Map();
-    for (const id of [...model.vars.map((decl) => decl.id), ...model.transitions.map((transition) => transition.id)]) {
+    for (const id of [
+        ...model.vars.map((decl) => decl.id),
+        ...model.transitions.map((transition) => transition.id),
+    ]) {
         const name = tlaName(id);
         const previous = seen.get(name);
         if (previous && previous !== id) {
@@ -318,7 +356,11 @@ function tlaRead(base, path) {
     return tlaRead(`${base}.${tlaName(segment)}`, rest);
 }
 function tlaPath(path) {
-    return path.map((segment) => (/^\d+$/.test(segment) ? `![${Number(segment) + 1}]` : `!.${tlaName(segment)}`)).join("");
+    return path
+        .map((segment) => /^\d+$/.test(segment)
+        ? `![${Number(segment) + 1}]`
+        : `!.${tlaName(segment)}`)
+        .join("");
 }
 function tlaRecord(fields) {
     const entries = Object.entries(fields);
@@ -331,6 +373,9 @@ function tlaModuleName(value) {
     return name ? `${name}_Model` : "ModalityModel";
 }
 function indent(value) {
-    return value.split("\n").map((line) => `  ${line}`).join("\n");
+    return value
+        .split("\n")
+        .map((line) => `  ${line}`)
+        .join("\n");
 }
 //# sourceMappingURL=command.js.map

package/dist/cli/features/export/command.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command.js","sourceRoot":"","sources":["../../../../src/cli/features/export/command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EACL,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,aAAa,GACd,MAAM,kBAAkB,CAAC;AAgD1B,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAgC;IAEhC,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,iBAAiB,CAC9B,KAAK,EACL,OAAO,CAAC,UAAU,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAC9C,CAAC;IACF,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,UAAU,OAAO,CAAC,OAAO,EAAE,EAAE,YAAY,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAAY,EACZ,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;IAEpC,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,gCAAgC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/D,CAAC;IACJ,CAAC;IACD,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACnD,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAC7B,CAAC;IACF,OAAO;QACL,eAAe,UAAU,OAAO;QAChC,kCAAkC;QAClC,EAAE;QACF,aAAa,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC9B,EAAE;QACF,SAAS;QACT,MAAM,CACJ,KAAK,CAAC,IAAI;aACP,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACZ,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAC9D;aACA,IAAI,CAAC,QAAQ,CAAC,CAClB;QACD,EAAE;QACF,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC5C,SAAS;QACT,MAAM,CACJ,KAAK,CAAC,WAAW;aACd,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;aAC3C,IAAI,CAAC,QAAQ,CAAC,CAClB;QACD,EAAE;QACF,+BAA+B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAClD,EAAE;QACF,MAAM;QACN,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAY,EACZ,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;IAEpC,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,gCAAgC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC/D,CAAC;IACJ,CAAC;IACD,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC9B,OAAO;QACL,UAAU;QACV,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC5B,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACxD,OAAO;gBACL,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM;gBACN,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC;aACvC,CAAC;QACJ,CAAC,CAAC;QACF,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAClD,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;YAChC,QAAQ,EAAE,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CACvE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACX,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,WAAW,CACtB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAC/D;gBACD,QAAQ,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC;aACxC,CAAC,CACH;SACF,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAY,EAAE,UAAsB;IACrD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,OAAO;QACL,GAAG,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK;QAC9B,MAAM,CACJ,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;aAClC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;aAC/C,IAAI,CAAC,QAAQ,CAAC,CAClB;KACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AASD,SAAS,cAAc,CAAC,KAAY,EAAE,MAAgB,EAAE,GAAW;IACjE,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IACtE,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;AAC9F,CAAC;AAED,SAAS,cAAc,CAAC,KAAY,EAAE,MAAgB,EAAE,GAAW;IACjE,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;gBACnC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI;gBACP,MAAM,IAAI,KAAK,CAAC,uCAAuC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YACvE,OAAO;gBACL,oBAAoB,CAClB,GAAG,EACH,MAAM,CAAC,GAAG,EACV,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CACrC;aACF,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/B,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAC/C,CAAC;QACJ,KAAK,IAAI;YACP,OAAO;gBACL,GAAG,cAAc,CACf,KAAK,EACL,MAAM,CAAC,IAAI,EACX,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAClD;gBACD,GAAG,cAAc,CACf,KAAK,EACL,MAAM,CAAC,IAAI,EACX,iBAAiB,CAAC,GAAG,EAAE,KAAK,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAC1D;aACF,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAC1B,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CACjB,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EACnE,CAAC,GAAG,CAAC,CACN,CAAC;QACJ,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CACpB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;gBAC/C,GAAG;gBACH,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;aACnB,CAAC,CACH,CACF,CAAC;YACF,MAAM,EAAE,GAAG,SAAS,CAAC;gBACnB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzB,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC;gBAC3C,IAAI;aACL,CAAC,CAAC;YACH,OAAO;gBACL,SAAS,CACP,iBAAiB,CACf,GAAG,EACH,QAAQ,OAAO,OAAO,KAAK,CAAC,MAAM,CAAC,UAAU,GAAG,CACjD,EACD,aAAa,EACb,UAAU,OAAO,KAAK,EAAE,GAAG,CAC5B;aACF,CAAC;QACJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;YAC7C,OAAO;gBACL,SAAS,CACP,GAAG,EACH,aAAa,EACb,UAAU,OAAO,QAAQ,MAAM,CAAC,KAAK,gBAAgB,OAAO,KAAK,MAAM,CAAC,KAAK,GAAG,CAAC,SAAS,OAAO,IAAI,CACtG;aACF,CAAC;QACJ,CAAC;QACD,KAAK,UAAU;YACb,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9C,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5C;YACE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAY,EACZ,MAA+C,EAC/C,GAAW;IAEX,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IAC7C,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACzB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,GAAG,SAAS,CACd,IAAI,EACJ,WAAW,EACX,UAAU,OAAO,cAAc,KAAK,SAAS,OAAO,QAAQ,OAAO,IAAI,CACxE,CAAC;QACF,IAAI,GAAG,SAAS,CACd,IAAI,EACJ,aAAa,EACb,UAAU,OAAO,cAAc,OAAO,gBAAgB,OAAO,YAAY,OAAO,QAAQ,CACzF,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACvD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,aAAa,CAAC,CAAC;QACzE,MAAM,UAAU,GACd,WAAW,EAAE,MAAM,CAAC,IAAI,KAAK,aAAa;YACxC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM;YAC3B,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YACvD,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,OAAO,OAAO,UAAU,GAAG,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,GAAG,SAAS,CACd,IAAI,EACJ,aAAa,EACb,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,OAAO,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAClE,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;YAAE,SAAS;QAChD,IAAI,GAAG,SAAS,CACd,IAAI,EACJ,IAAI,CAAC,EAAE,EACP,MAAM,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,QAAQ,CAAC,IAAI,CAAC,OAAgB,CAAC,SAAS,QAAQ,CAAC,wBAAwB,CAAC,EAAE,CACvJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,KAAY,EACZ,MAA6C,EAC7C,GAAW;IAEX,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACjE,IAAI,CAAC,IAAI;YACP,MAAM,IAAI,KAAK,CAAC,gDAAgD,EAAE,EAAE,CAAC,CAAC;QACxE,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,KAAY,EAAE,GAAW;IAC/C,MAAM,WAAW,GACf,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAChC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAC7D,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,WAAW,EAAE,GAAG,WAAW,CAAC;SAC3C,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;SAC/C,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClB,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC7C,OAAO,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;AAC7G,CAAC;AAED,SAAS,UAAU,CAAC,KAAY;IAC9B,OAAO;QACL,MAAM,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtE,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,CAAC;KACV,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ;IACf,OAAO,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,UAAkB;IACxD,OAAO;QACL,GAAG,GAAG;QACN,MAAM,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC;QAC7C,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW;IAC3B,OAAO;QACL,MAAM,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC;QACjC,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;QACvB,MAAM,EAAE,GAAG,CAAC,MAAM;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,GAAW,EAAE,EAAU,EAAE,KAAa;IACvD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAW,EAAE,EAAU,EAAE,GAAW;IAChE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,WAAW,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;IACxD,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;IACjB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CACrB,KAAY,EACZ,GAAW,EACX,MAAc,EACd,QAAgB;IAEhB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;IACvE,IAAI,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,QAAQ;QAChC,MAAM,IAAI,KAAK,CAAC,8CAA8C,QAAQ,EAAE,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;IAC3D,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;IACjB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAY,EACZ,GAAW,EACX,SAAiB;IAEjB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACtC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAChE,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,eAAe,CACtB,MAAuC,EACvC,SAAiB,EACjB,SAAiB;IAEjB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,IAAI,SAAS,MAAM,SAAS,GAAG,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,KAAK,SAAS,kBAAkB,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC;QAChG,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAC/C,CAAC,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,CACvB,eAAe,CACb,WAAW,EACX,GAAG,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,EAChC,SAAS,CACV,CACJ,CAAC;YACF,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;QACtE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;YACrC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;oBAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;wBAC7C,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;YACD,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBAC5C,MAAM,WAAW,GACf,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;qBAC3B,MAAM,CACL,CACE,OAAO,EACiD,EAAE,CAC1D,OAAO,CAAC,IAAI,KAAK,QAAQ,CAC5B;qBACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;qBACvC,IAAI,CAAC,CAAC,SAAS,EAAgD,EAAE,CAChE,OAAO,CAAC,SAAS,CAAC,CACnB,IAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAY,CAAC;gBACjD,OAAO,eAAe,CACpB,WAAW,EACX,GAAG,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,EAChC,SAAS,CACV,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;QACtE,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,sBAAsB,SAAS,MAAM,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,SAAS,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC;QAC7G;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW,EAAE,EAAU;IACvC,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,MAAc,QAAQ,EAAE;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC3D,KAAK,IAAI;YACP,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;QAC3E,KAAK,KAAK;YACR,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;QAC3E,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjE,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjE,KAAK,KAAK;YACR,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;QAC5C,KAAK,MAAM;YACT,OAAO,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;QACpH,KAAK,aAAa;YAChB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;QACrG,KAAK,OAAO;YACV,OAAO,0BAA0B,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,aAAa,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACvH,KAAK,QAAQ;YACX,OAAO,WAAW,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,8BAA8B,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,6BAA6B,CAAC;QAC5H,KAAK,YAAY;YACf,MAAM,IAAI,KAAK,CACb,iEAAiE,CAClE,CAAC;QACJ;YACE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAY;IAC5B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IACpC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,OAAO,CAAC;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACzE,OAAO,SAAS,CACd,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAClE,CACF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAY;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI;QACf,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;KACxD,EAAE,CAAC;QACF,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,QAAQ,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,oCAAoC,QAAQ,QAAQ,EAAE,gBAAgB,IAAI,EAAE,CAC7E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,EAAU,EAAE,MAAwB;IACtD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,MAAM,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;IAC3E,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,MAAM,CAAC,MAAwB;IACtC,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAChD,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,IAAuB;IACpD,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAClC,OAAO,WAAW,IAAI,QAAQ,KAAK,SAAS,OAAO,CAAC,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,IAAI,CAAC,2BAA2B,CAAC;IAC5G,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,OAAO,CAAC,IAAuB;IACtC,OAAO,IAAI;SACR,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACf,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QACnB,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG;QAC7B,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,EAAE,CAC5B;SACA,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,MAA8B;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,oBAAoB,CAAC;IACtD,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACvF,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC;AAClD,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,KAAK;SACT,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;SAC1B,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC"}

package/dist/{modality → cli}/features/export/index.d.ts

@@ -1,3 +1,3 @@
-export { generateTlaModule, generateTlaStructuredModel, runExportTlaCommand } from "./command.js";
-export type { ExportTlaCommandOptions, ExportTlaCommandResult, TlaInitialAssignment, TlaStructuredBranch, TlaStructuredModel, TlaStructuredTransition } from "./command.js";
+export { generateTlaModule, generateTlaStructuredModel, runExportTlaCommand, } from "./command.js";
+export type { ExportTlaCommandOptions, ExportTlaCommandResult, TlaInitialAssignment, TlaStructuredBranch, TlaStructuredModel, TlaStructuredTransition, } from "./command.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/cli/features/export/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/export/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,uBAAuB,EACvB,sBAAsB,EACtB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,cAAc,CAAC"}

package/dist/cli/features/export/index.js

@@ -0,0 +1,2 @@
+export { generateTlaModule, generateTlaStructuredModel, runExportTlaCommand, } from "./command.js";
+//# sourceMappingURL=index.js.map

package/dist/cli/features/export/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/cli/features/export/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,cAAc,CAAC"}

package/dist/{modality → cli}/features/extract/command.d.ts

@@ -1,6 +1,6 @@
-import { type ExtractionReport, type Model } from "modality-ts/kernel";
-import type { Bounds } from "modality-ts/kernel";
-import type { RouterPlugin, StateSourcePlugin } from "modality-ts/extraction/spi";
+import { type ExtractionReport, type Model } from "modality-ts/core";
+import type { Bounds } from "modality-ts/core";
+import type { RouterPlugin, StateSourcePlugin } from "modality-ts/extract/engine/spi";
 export interface ModalityConfig {
     route?: string;
     effectApis?: readonly string[];

package/dist/cli/features/extract/command.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../../../src/cli/features/extract/command.ts"],"names":[],"mappings":"AAMA,OAAO,EAKL,KAAK,gBAAgB,EACrB,KAAK,KAAK,EAGX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EAClB,MAAM,gCAAgC,CAAC;AAMxC,MAAM,WAAW,cAAc;IAC7B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,OAAO,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvC,YAAY,CAAC,EAAE,YAAY,GAAG,KAAK,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,aAAa,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC7C,YAAY,CAAC,EAAE,YAAY,GAAG,KAAK,CAAC;IACpC,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACzB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,gBAAgB,CAAC;IACzB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,qBAAqB,GAC7B,OAAO,CAAC,oBAAoB,CAAC,CAgK/B"}