@eco-incorp/sauce 0.99.5 → 0.99.7

package/sdk/dist/routes/token-rewrite.js

@@ -1,84 +1,215 @@
 /**
- * ERC20 token member rewrite -- two rewrites sharing one acorn parse, one shadow computation, and
- * one reverse-ordered textual splice over the ORIGINAL source (U4's own technique):
+ * ERC-20 token syntax in a route body, lowered before the compiler sees it.
  *
- *   U4  (call position):  `<Sym>.transfer/.approve/.balanceOf(...)`  -> `IERC20.at(<Sym>).<method>(...)`
- *   sugar (value position): `<holder>.<Sym>`                          -> `IERC20.at(<addr>n).balanceOf(<holder>)`
+ * Two passes, each one parse (`parse.ts`) and one reverse-ordered textual splice over its input:
  *
- * `<Sym>` in both is a name in `tokens` (the chain's resolved token-address map -- see
- * `token-registry.ts#resolveTokenMap`, the DEFAULT source; a caller may still pass a bare
- * `ReadonlySet<string>` of symbols with no addresses, which runs U4 only -- see the signature doc).
+ *   `rewriteTokenMembers` — a registry token SYMBOL:
+ *     writes (call position):  `<Sym>.transfer/.approve/.transferFrom(...)` -> `@sauce/token`'s function
+ *     read (call position):    `<Sym>.balanceOf(...)`                       -> `IERC20.at(<Sym>).balanceOf(...)`
+ *     sugar (value position):  `<holder>.<Sym>`                             -> `IERC20.at(<addr>n).balanceOf(<holder>)`
  *
- * RECOGNITION IS DISJOINT BY CONSTRUCTION, not by priority ordering: U4 needs `<Sym>` as the member
- * chain's HEAD with a REWRITABLE_METHODS member under a CALL parent; the sugar needs `<Sym>` as the
- * MEMBER with a non-call, non-lvalue parent and an authorized HOLDER as the object. A token symbol
- * can never simultaneously satisfy both shapes for the same node, so the two passes' site lists
- * never overlap and can be spliced together with a single reverse-ordered pass. `USDC.balanceOf(x)`
- * is U4's (and `token-registry.ts`'s module-eval guard -- no registry symbol may equal a
- * REWRITABLE_METHODS name -- is what keeps that permanent); `x.USDC` is the sugar's; `USDC.WETH` is
- * neither's (left untouched -- see the sugar's holder-rejection rule below).
+ *   `rewriteTokenFactory` — the `Token(<addr>)` wrapper, for any address:
+ *     `Token(<addr>).<write>(...)`, and `t.<write>(...)` on `const t = Token(<addr>)` -> `@sauce/token`
+ *     `Token(<addr>).<read>(...)`, and `t.<read>(...)` likewise                    -> `IERC20.at(...)`
  *
- * Shadowing-aware, CONSERVATIVELY, on the TOKEN name only (both rewrites): SauceScript shares scope
- * across `if`/`while`/bare-block bodies (the real compiler's `processIfStatement`/
- * `processWhileStatement` never push a new scope -- see this repo's CLAUDE.md's repeated shadow-fix
- * notes), so a name first `let`/`const`-declared inside a branch is NOT block-scoped away once the
- * branch ends. Rather than re-deriving that exact position-sensitive rule, this pass is
- * deliberately coarser and still sound: if a name anywhere in the WHOLE program is
- * `let`/`const`-declared or is a function parameter, EVERY occurrence of that name anywhere in the
- * program is left un-rewritten. The sugar's HOLDER name is deliberately NOT shadow-checked -- a
- * local variable IS the intended holder.
+ * EVERY WRITE IS OPENZEPPELIN `SafeERC20`. A write lowers to the `@sauce/token` library function
+ * of the same name, with the token moved to the front: `USDC.transfer(to, amount)` becomes
+ * `transfer(USDC, to, amount)`. That function is the SDK's one implementation of a token write —
+ * empty returndata accepted only from an address with code, anything else decoded as a word that
+ * must equal 1, and `approve` as `forceApprove` (see `std/token/token.evm.js`). The typed
+ * `IERC20.at(t).transfer(...)` this used to emit decodes the ABI's declared `bool`, so it reverted
+ * the whole program on a token that returns nothing (USDT) and accepted one that returns `false`.
+ * The reads keep the typed binding: a `uint256` is always returned, so there is nothing to check.
  *
- * A method name outside the three-op allowlist (U4), or an unresolvable/rejected holder (sugar), is
- * left completely untouched -- it fails closed at compile (an ordinary compile error), never a new
- * failure mode this pass introduces. This is the isolation half of the design: a token symbol in
- * MEMBER position is indistinguishable from an ordinary struct-field read, so this pass does not
- * OWN it and must never clobber a genuine member access.
+ * The library is imported under the names in `SAFE_WRITES` (`import { transfer as
+ * __sauce_transfer } from "@sauce/token"`), never its own, so a program that declares its own
+ * `transfer` keeps it. `tokenImportLines` renders the imports a rewrite needs; the caller prepends
+ * them, because both passes run over one source and must share one import block. `@sauce/token`
+ * resolves inside the SDK (`embedded/resolve.ts`), so no caller resolver has to serve it.
+ *
+ * An explicit `IERC20.at(addr).transfer(...)` is NOT this syntax and is left alone: it is the raw
+ * ABI call, the escape hatch for a caller who wants exactly that, and it is not `SafeERC20`.
+ *
+ * RECOGNITION IS DISJOINT BY CONSTRUCTION, not by priority ordering: a symbol write or read needs
+ * `<Sym>` as the member chain's HEAD with a REWRITABLE_METHODS member under a CALL parent; the
+ * balance sugar needs `<Sym>` as the MEMBER with a non-call, non-lvalue parent and an authorized
+ * HOLDER as the object. A token symbol can never satisfy both shapes for the same node, so the site
+ * lists never overlap. `USDC.balanceOf(x)` is the read's (and `token-registry.ts`'s module-eval
+ * guard -- no registry symbol may equal a REWRITABLE_METHODS name -- keeps that permanent);
+ * `x.USDC` is the sugar's; `USDC.WETH` is neither's (left untouched -- see the holder rule below).
+ *
+ * Shadowing-aware, CONSERVATIVELY, on the TOKEN name only: if a name anywhere in the WHOLE program
+ * is bound (`let`/`const`, a parameter, an import, ...), EVERY occurrence of it is left un-rewritten,
+ * rather than re-deriving the compiler's own scoping rules. A user who declares `USDC` or `Token`
+ * owns the name. The sugar's HOLDER name is deliberately NOT shadow-checked -- a local variable IS
+ * the intended holder.
+ *
+ * A symbol method outside REWRITABLE_METHODS, or an unresolvable holder, is left untouched and fails
+ * closed at compile. A `Token(...)` call in any position this module cannot lower is REFUSED with an
+ * error naming the spellings that work — never passed through as the typed binding, which would
+ * quietly be the unchecked write again.
  */
-import * as acorn from "acorn";
-import { walk, collectDeclaredNames } from "./ast-walk.js";
+import { walk, collectDeclaredNames, countDeclarations } from "./ast-walk.js";
 import { formatBigint } from "../deposit/format.js";
+import { ERC20_IMPORT_LINE } from "../token/evm.js";
 import { isChainKey, resolveNamespace } from "./accessor-index.js";
+import { parseSauce } from "./parse.js";
+/**
+ * The ERC-20 writes the token syntax offers: each lowers to the `@sauce/token` function of the same
+ * name, imported under `local`, with the token as its first argument ahead of `params`.
+ */
+export const SAFE_WRITES = {
+    transfer: { local: "__sauce_transfer", params: ["to", "amount"] },
+    approve: { local: "__sauce_approve", params: ["spender", "amount"] },
+    transferFrom: { local: "__sauce_transferFrom", params: ["from", "to", "amount"] },
+};
+/** Every method the SYMBOL syntax lowers: the writes, plus the one read it has always offered. */
 export const REWRITABLE_METHODS = new Set([
     "transfer",
     "approve",
+    "transferFrom",
     "balanceOf",
 ]);
+const isSafeWrite = (method) => Object.hasOwn(SAFE_WRITES, method);
+/** The package every write is lowered to. */
+const STD_TOKEN = "@sauce/token";
+/**
+ * The import lines a rewritten source needs, for the caller to prepend. The order is fixed, so a
+ * given program always gets the same text and so the same bytecode.
+ */
+export function tokenImportLines({ writes, erc20 }) {
+    const lines = [];
+    if (erc20)
+        lines.push(ERC20_IMPORT_LINE);
+    const used = Object.keys(SAFE_WRITES).filter((write) => writes.has(write));
+    if (used.length > 0) {
+        const names = used.map((write) => `${write} as ${SAFE_WRITES[write].local}`).join(", ");
+        lines.push(`import { ${names} } from "${STD_TOKEN}";`);
+    }
+    return lines;
+}
+/** Splice from the end backward so earlier offsets stay valid. The ranges never overlap: a write
+ *  only replaces the text BEFORE its first argument, so a site nested inside the arguments is
+ *  spliced independently. */
+function applySplices(source, splices) {
+    let out = source;
+    for (const site of [...splices].sort((a, b) => b.start - a.start)) {
+        out = out.slice(0, site.start) + site.replacement + out.slice(site.end);
+    }
+    return out;
+}
+/** A child node the node's type guarantees is there (`id` on a declarator, `left` on an
+ *  assignment, ...). */
+function child(node, key) {
+    return node[key];
+}
 function tokenAddressOf(tokens, symbol) {
     return tokens instanceof Map ? tokens.get(symbol) : undefined;
 }
-// -- U4: <Sym>.transfer/.approve/.balanceOf(...) in CALL position ---------------------------------
-function collectMemberCallSites(program, tokens, shadowed) {
+/** `<object>.<method>(...)`, non-computed and non-optional, or `undefined` for any other node. */
+function methodCall(node) {
+    if (node.type !== "CallExpression" || node.optional)
+        return undefined;
+    const callee = node.callee;
+    if (!callee || callee.type !== "MemberExpression")
+        return undefined;
+    if (callee.computed)
+        return undefined;
+    if (callee.optional)
+        return undefined;
+    const object = callee.object;
+    const property = callee.property;
+    if (!object || property?.type !== "Identifier")
+        return undefined;
+    return {
+        call: node,
+        callee,
+        object,
+        method: property.name,
+    };
+}
+/** Every call that is a whole statement on its own — the only place a write can stand. */
+function statementCalls(program) {
+    const calls = new Set();
+    walk(program, (n) => {
+        if (n.type === "ExpressionStatement")
+            calls.add(child(n, "expression"));
+    });
+    return calls;
+}
+/**
+ * A write's arguments, checked against the ERC-20 signature so a wrong count is reported in the
+ * terms the caller wrote rather than as the library function's arity.
+ *
+ * Also refuses a write whose result is read. The typed call returned the ABI's `bool`; a SafeERC20
+ * write returns nothing, because it reverts the program unless the token accepted it — there is no
+ * `false` left to report. Left to the compiler, this would fail on a `: void` function the caller
+ * never wrote.
+ */
+function writeArguments(call, method, receiver, statements) {
+    const spelling = `\`${receiver}.${method}(...)\``;
+    if (!statements.has(call)) {
+        throw new Error(`${spelling} returns nothing, so its result cannot be used: a token write has SafeERC20 ` +
+            "semantics and reverts the program unless the token accepted it. Call it as a statement.");
+    }
+    const args = call.arguments ?? [];
+    const { params } = SAFE_WRITES[method];
+    if (args.length !== params.length || args.some((arg) => arg.type === "SpreadElement")) {
+        throw new Error(`${spelling} takes ${params.length} arguments (${params.join(", ")}), got ${args.length}.`);
+    }
+    return args;
+}
+/** A name the lowering imports under is the SDK's; a program that declares it cannot also get it. */
+function assertLocalsFree(declared, writes) {
+    for (const write of writes) {
+        const { local } = SAFE_WRITES[write];
+        if (declared.has(local)) {
+            throw new Error(`\`${local}\` is reserved: a token's \`.${write}(...)\` is lowered to \`${STD_TOKEN}\`'s ` +
+                `\`${write}\`, imported under that name. Rename your \`${local}\`.`);
+        }
+    }
+}
+/** `<receiver>.<write>(a, b)` -> `<local>(<receiver>, a, b)`, for a receiver that is a name. */
+function nameWriteSplice(site, name, statements) {
+    const method = site.method;
+    const [first] = writeArguments(site.call, method, name, statements);
+    return {
+        start: site.callee.start,
+        end: first.start,
+        replacement: `${SAFE_WRITES[method].local}(${name}, `,
+    };
+}
+// -- <Sym>.<method>(...) in CALL position --------------------------------------------------------
+/** The symbol call sites, split by what they lower to: `writes` records each `@sauce/token` write
+ *  used, and `reads` counts the sites left on the typed `IERC20` binding. */
+function collectMemberCallSites(program, tokens, shadowed, writes) {
     const sites = [];
+    const statements = statementCalls(program);
+    let reads = 0;
     walk(program, (n) => {
-        if (n.type !== "CallExpression")
-            return;
-        const callee = n.callee;
-        if (!callee || callee.type !== "MemberExpression")
-            return;
-        const object = callee.object;
-        const property = callee.property;
-        const computed = callee.computed;
-        if (computed)
-            return; // `TOKEN["transfer"]` is out of scope for this narrow rewrite
-        if (!object || object.type !== "Identifier")
+        const site = methodCall(n);
+        if (!site || site.object.type !== "Identifier")
             return;
-        if (!property || property.type !== "Identifier")
-            return;
-        const symbol = object.name;
-        const method = property.name;
+        const symbol = site.object.name;
         if (!tokens.has(symbol))
             return;
         if (shadowed.has(symbol))
             return;
-        if (!REWRITABLE_METHODS.has(method))
+        if (!REWRITABLE_METHODS.has(site.method))
+            return;
+        if (isSafeWrite(site.method)) {
+            sites.push(nameWriteSplice(site, symbol, statements));
+            writes.add(site.method);
             return;
+        }
         sites.push({
-            start: callee.start,
-            end: callee.end,
-            replacement: `IERC20.at(${symbol}).${method}`,
+            start: site.callee.start,
+            end: site.callee.end,
+            replacement: `IERC20.at(${symbol}).${site.method}`,
         });
+        reads++;
     });
-    return sites;
+    return { sites, reads };
 }
 // -- balance sugar: <holder>.<Sym> in VALUE position -----------------------------------------------
 const HEX_ADDRESS_LITERAL_RE = /^0x[0-9a-fA-F]{40}n?$/;
@@ -174,101 +305,234 @@ function collectBalanceSites(program, tokens, shadowed, excluded, source) {
     });
     return sites;
 }
-// -- Token(addr) factory: Token(<expr>) -> IERC20.at(<expr>) in ANY position ----------------------
+// -- Token(addr): the wrapper, in call-receiver and binding position ------------------------------
 /** The DSL's global token WRAPPER name. */
 export const TOKEN_FACTORY_NAME = "Token";
+function isFactoryCall(node) {
+    if (node.type !== "CallExpression" || node.optional)
+        return false;
+    const callee = node.callee;
+    return (callee?.type === "Identifier" &&
+        callee.name === TOKEN_FACTORY_NAME);
+}
+/** The single address argument of a `Token(...)` call. */
+function factoryArgument(call) {
+    const args = call.arguments ?? [];
+    if (args.length !== 1 || args[0].type === "SpreadElement") {
+        throw new Error(`\`${TOKEN_FACTORY_NAME}(...)\` takes one argument, the token's address; got ${args.length}.`);
+    }
+    return args[0];
+}
+/** The refusal for a `Token(...)` this module cannot lower, naming the spellings that work. */
+function refuseFactory(what) {
+    return new Error(`${what}. \`${TOKEN_FACTORY_NAME}(addr)\` is supported as the receiver of a call ` +
+        `(\`${TOKEN_FACTORY_NAME}(addr).transfer(to, amount)\`) or bound once to a local that is only ` +
+        `ever called (\`const t = ${TOKEN_FACTORY_NAME}(addr); t.approve(spender, amount)\`). Those, ` +
+        `\`<SYMBOL>.transfer(...)\` and \`${STD_TOKEN}\`'s \`transfer(token, to, amount)\` are the ` +
+        "token writes with SafeERC20 semantics; `IERC20.at(addr).transfer(...)` is the raw, " +
+        "unchecked ABI call.");
+}
 /**
- * Rewrites every `Token(<expr>)` call to `IERC20.at(<expr>)` — the DSL's global token WRAPPER, the
- * `Token(addr)` sibling of the `<Sym>.transfer(...)` sugar above. This is what makes
- * `Token(addr).approve(spender, amt)` and `let t = Token(addr); t.approve(...)` compile in a route
- * body with no import: only the callee `Token` is replaced, so the result is the ordinary
- * `IERC20.at(addr)` binding the compiler already supports — it never sees a method call on a
- * `Token(...)` result (which the compiler's M1 subset rejects). Fires on ANY argument (a literal, a
- * variable, an ambient `USDC` define), so — unlike the symbol sugar — it does NOT depend on the
- * token-symbol map, and works on every EVM chain including registry-less ones.
+ * The `t.<method>(...)` calls of `const t = Token(...)`, or a refusal when `t` is anything other
+ * than one binding used only that way.
  *
- * Shadow-safe: a user who declares their own `Token` anywhere in the program owns the name, and
- * EVERY `Token(...)` call is then left untouched — the same conservative whole-program rule the
- * symbol rewrite applies. `collectDeclaredNames` decides that, and it covers every binding form,
- * `import { Token }` and `class Token` included: an imported `Token` is the user's own by any
- * reading, and rewriting past it would silently redirect their call to an ERC20 they never named.
- * Purely textual, acorn-range-driven, like the rest of this module.
+ * The conditions are what make replacing the binding's VALUE with the address sound: declared
+ * exactly once in the whole program (so every `t` is this `t`), never assigned, and never read
+ * except as a call receiver (so nothing sees the value change from a contract binding to an
+ * address). Whole-program, like the shadow rule, rather than scope-exact: over-refusing is an error
+ * a caller can act on, while under-refusing would lower a call on some other `t`.
+ */
+function bindingCalls(program, declarator, name, declarations) {
+    const at = `\`${name} = ${TOKEN_FACTORY_NAME}(...)\``;
+    if ((declarations.get(name) ?? 0) !== 1) {
+        throw refuseFactory(`${at}: \`${name}\` is declared more than once`);
+    }
+    const receivers = new Map();
+    // Identifiers that are a NAME rather than a read of the variable: the declaration itself, a
+    // member property (`x.t`), and a non-shorthand object key (`{ t: 1 }`).
+    const names = new Set([child(declarator, "id")]);
+    const assigned = new Set();
+    walk(program, (n) => {
+        const site = methodCall(n);
+        if (site?.object.type === "Identifier" && site.object.name === name) {
+            receivers.set(site.object, site);
+        }
+        if (n.type === "MemberExpression" && !n.computed) {
+            names.add(child(n, "property"));
+        }
+        if (n.type === "Property") {
+            const { computed, shorthand } = n;
+            if (!computed && !shorthand)
+                names.add(child(n, "key"));
+        }
+        if (n.type === "AssignmentExpression")
+            walk(child(n, "left"), (m) => assigned.add(m));
+        if (n.type === "UpdateExpression")
+            assigned.add(child(n, "argument"));
+    });
+    walk(program, (n) => {
+        if (n.type !== "Identifier" || n.name !== name)
+            return;
+        if (names.has(n) || receivers.has(n))
+            return;
+        throw refuseFactory(assigned.has(n)
+            ? `${at}: \`${name}\` is reassigned`
+            : `${at}: \`${name}\` is used other than as \`${name}.<method>(...)\``);
+    });
+    return [...receivers.values()];
+}
+/**
+ * Lowers every `Token(<expr>)` — the DSL's global token WRAPPER, the any-address sibling of the
+ * symbol syntax above. It fires on ANY argument (a literal, a variable, an ambient `USDC` define),
+ * so it does not depend on the token-symbol map and works on every EVM chain.
+ *
+ * Two positions are lowered, and the compiler never sees a method call on a `Token(...)` result
+ * (which its M1 subset rejects):
+ *
+ *  - `Token(a).<write>(x, y)` -> `<local>(a, x, y)`, the `@sauce/token` write; `Token(a).<read>(x)`
+ *    -> `IERC20.at(a).<read>(x)`.
+ *  - `const t = Token(a)` -> `const t = a`, with each `t.<method>(...)` lowered the same way, by
+ *    name. The binding now holds the ADDRESS, evaluated once where it was, so a later change to
+ *    whatever `a` read cannot reach the calls. See `bindingCalls` for when a binding qualifies.
+ *
+ * Any other `Token(...)` — an argument, a return value, a reassigned or passed-around binding — is
+ * refused rather than left as the typed binding, which would be the unchecked write again.
+ *
+ * Shadow-safe: a user who binds `Token` anywhere in the program owns the name, and EVERY
+ * `Token(...)` is then left untouched — the same whole-program rule the symbol rewrite applies,
+ * covering every binding form, `import { Token }` and `class Token` included.
  */
 export function rewriteTokenFactory(source) {
+    const none = {
+        source,
+        rewrote: false,
+        sites: 0,
+        writes: new Set(),
+        erc20: false,
+    };
     // Cheap bail before parsing: no `Token` token, nothing to do (a mention in a comment/string still
     // parses, but that is rare and the parse is cheap).
-    if (!source.includes(TOKEN_FACTORY_NAME)) {
-        return { source, rewrote: false, sites: 0 };
-    }
-    const program = acorn.parse(source, {
-        ecmaVersion: "latest",
-        sourceType: "module",
+    if (!source.includes(TOKEN_FACTORY_NAME))
+        return none;
+    const program = parseSauce(source);
+    const declarations = countDeclarations(program);
+    if (declarations.has(TOKEN_FACTORY_NAME))
+        return none;
+    const factories = new Set();
+    walk(program, (n) => {
+        if (isFactoryCall(n))
+            factories.add(n);
     });
-    // A locally-declared `Token` shadows the global wrapper — skip the whole program, conservatively.
-    // Every binding form counts, which is `collectDeclaredNames`'s whole job; this used to add its own
-    // `FunctionDeclaration` walk on top and still missed `import { Token }` and `class Token`.
-    if (collectDeclaredNames(program).has(TOKEN_FACTORY_NAME)) {
-        return { source, rewrote: false, sites: 0 };
-    }
-    const sites = [];
+    if (factories.size === 0)
+        return none;
+    const splices = [];
+    const writes = new Set();
+    let erc20 = false;
+    const lowered = new Set();
+    const statements = statementCalls(program);
+    // `Token(a).<method>(...)`.
     walk(program, (n) => {
-        if (n.type !== "CallExpression")
+        const site = methodCall(n);
+        if (!site || !factories.has(site.object))
             return;
-        const callee = n.callee;
-        if (!callee || callee.type !== "Identifier")
+        const address = factoryArgument(site.object);
+        lowered.add(site.object);
+        if (isSafeWrite(site.method)) {
+            const [first] = writeArguments(site.call, site.method, `${TOKEN_FACTORY_NAME}(...)`, statements);
+            // `Token(` -> `<local>(` and `).<method>(` -> `, `, leaving the address and the arguments in
+            // place so a rewrite inside either splices on its own.
+            splices.push({
+                start: site.object.start,
+                end: address.start,
+                replacement: `${SAFE_WRITES[site.method].local}(`,
+            }, { start: address.end, end: first.start, replacement: ", " });
+            writes.add(site.method);
             return;
-        if (callee.name !== TOKEN_FACTORY_NAME)
+        }
+        const callee = child(site.object, "callee");
+        splices.push({ start: callee.start, end: callee.end, replacement: "IERC20.at" });
+        erc20 = true;
+    });
+    // `const t = Token(a)`, then only `t.<method>(...)`.
+    walk(program, (n) => {
+        if (n.type !== "VariableDeclarator")
             return;
-        // Replace ONLY the callee identifier: `Token(<args>)` -> `IERC20.at(<args>)`. The args and the
-        // surrounding `.approve(...)`/binding are left for the compiler.
-        sites.push({ start: callee.start, end: callee.end, replacement: "IERC20.at" });
+        const init = n.init;
+        if (!init || !factories.has(init))
+            return;
+        const id = child(n, "id");
+        if (id.type !== "Identifier") {
+            throw refuseFactory(`A \`${TOKEN_FACTORY_NAME}(...)\` is destructured`);
+        }
+        const name = id.name;
+        const address = factoryArgument(init);
+        const calls = bindingCalls(program, n, name, declarations);
+        lowered.add(init);
+        splices.push({ start: init.start, end: address.start, replacement: "" }, { start: address.end, end: init.end, replacement: "" });
+        for (const site of calls) {
+            if (isSafeWrite(site.method)) {
+                splices.push(nameWriteSplice(site, name, statements));
+                writes.add(site.method);
+                continue;
+            }
+            splices.push({
+                start: site.object.start,
+                end: site.object.end,
+                replacement: `IERC20.at(${name})`,
+            });
+            erc20 = true;
+        }
     });
-    if (sites.length === 0)
-        return { source, rewrote: false, sites: 0 };
-    const ordered = [...sites].sort((a, b) => b.start - a.start);
-    let out = source;
-    for (const site of ordered) {
-        out = out.slice(0, site.start) + site.replacement + out.slice(site.end);
+    for (const call of factories) {
+        if (!lowered.has(call)) {
+            throw refuseFactory(`\`${source.slice(call.start, call.end)}\` is used as a value, not called or bound`);
+        }
     }
-    return { source: out, rewrote: true, sites: sites.length };
+    assertLocalsFree(new Set(declarations.keys()), writes);
+    return {
+        source: applySplices(source, splices),
+        rewrote: true,
+        sites: factories.size,
+        writes,
+        erc20,
+    };
 }
 /**
- * Rewrites every `<Sym>.transfer/.approve/.balanceOf(...)` call (U4) and every `<holder>.<Sym>`
- * value-position read (balance sugar) whose `<Sym>` is in `tokens` (and not shadowed anywhere in
- * `source`) — see the module doc for the full disjointness argument. Purely textual surgery over
- * the ORIGINAL source, driven by acorn ranges — never a re-print of the AST, so everything else
- * (formatting, comments, unrelated code) survives byte-for-byte.
+ * Rewrites every `<Sym>.<method>(...)` call and every `<holder>.<Sym>` value-position read whose
+ * `<Sym>` is in `tokens` (and not shadowed anywhere in `source`) — see the module doc for the
+ * lowering and the disjointness argument. Purely textual surgery over the ORIGINAL source, driven by
+ * parser ranges — never a re-print of the AST, so everything else (formatting, comments, unrelated
+ * code) survives byte-for-byte. Prepend `tokenImportLines(result)` before compiling the result.
  */
 export function rewriteTokenMembers(source, tokens) {
-    if (tokens.size === 0) {
-        return { source, rewrote: false, memberSites: 0, balanceSites: 0 };
-    }
-    // sourceType: "module" -- this pass now runs by DEFAULT (the registry provides addresses even
-    // with no caller-supplied tokens), so it must tolerate a source that already carries a leading
-    // `import { IERC20 } from "./artifacts/IERC20.json";` line, e.g. `nest.ts#nestedTransferProgram`.
-    const program = acorn.parse(source, {
-        ecmaVersion: "latest",
-        sourceType: "module",
-    });
+    const none = {
+        source,
+        rewrote: false,
+        memberSites: 0,
+        balanceSites: 0,
+        writes: new Set(),
+        erc20: false,
+    };
+    if (tokens.size === 0)
+        return none;
+    const program = parseSauce(source);
     const shadowed = collectDeclaredNames(program);
-    const memberSites = collectMemberCallSites(program, tokens, shadowed);
+    const writes = new Set();
+    const members = collectMemberCallSites(program, tokens, shadowed, writes);
     const exclusions = collectValuePositionExclusions(program);
     const balanceSites = collectBalanceSites(program, tokens, shadowed, exclusions, source);
-    const allSites = [...memberSites, ...balanceSites];
-    if (allSites.length === 0) {
-        return { source, rewrote: false, memberSites: 0, balanceSites: 0 };
-    }
-    // Splice from the end backward so earlier offsets stay valid.
-    const ordered = [...allSites].sort((a, b) => b.start - a.start);
-    let out = source;
-    for (const site of ordered) {
-        out = out.slice(0, site.start) + site.replacement + out.slice(site.end);
-    }
+    const allSites = [...members.sites, ...balanceSites];
+    if (allSites.length === 0)
+        return none;
+    assertLocalsFree(shadowed, writes);
     return {
-        source: out,
+        source: applySplices(source, allSites),
         rewrote: true,
-        memberSites: memberSites.length,
+        memberSites: members.sites.length,
         balanceSites: balanceSites.length,
+        writes,
+        // A symbol read and the balance sugar both name the typed binding; a write does not.
+        erc20: members.reads > 0 || balanceSites.length > 0,
     };
 }
 //# sourceMappingURL=token-rewrite.js.map

package/sdk/dist/routes/token-rewrite.js.map

@@ -1 +1 @@
-{"version":3,"file":"token-rewrite.js","sourceRoot":"","sources":["../../src/routes/token-rewrite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,OAAO,KAAK,KAAK,MAAM,OAAO,CAAC;AAC/B,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAgB,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAEnE,MAAM,CAAC,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC;IAC7D,UAAU;IACV,SAAS;IACT,WAAW;CACZ,CAAC,CAAC;AAwBH,SAAS,cAAc,CAAC,MAAoB,EAAE,MAAc;IAC1D,OAAO,MAAM,YAAY,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC;AAED,oGAAoG;AAEpG,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,MAAoB,EACpB,QAA6B;IAE7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO;QACxC,MAAM,MAAM,GAAI,CAA0B,CAAC,MAAM,CAAC;QAClD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB;YAAE,OAAO;QAC1D,MAAM,MAAM,GAAI,MAA+B,CAAC,MAAM,CAAC;QACvD,MAAM,QAAQ,GAAI,MAAqD,CAAC,QAAQ,CAAC;QACjF,MAAM,QAAQ,GAAI,MAAiC,CAAC,QAAQ,CAAC;QAC7D,IAAI,QAAQ;YAAE,OAAO,CAAC,8DAA8D;QACpF,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO;QACpD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO;QACxD,MAAM,MAAM,GAAI,MAAsC,CAAC,IAAI,CAAC;QAC5D,MAAM,MAAM,GAAI,QAAwC,CAAC,IAAI,CAAC;QAC9D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QAChC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QACjC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QAC5C,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,aAAa,MAAM,KAAK,MAAM,EAAE;SAC9C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qGAAqG;AAErG,MAAM,sBAAsB,GAAG,uBAAuB,CAAC;AAEvD;;mGAEmG;AACnG,SAAS,8BAA8B,CAAC,OAAgB;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAW,CAAC;IACpC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC9D,MAAM,MAAM,GAAI,CAA0B,CAAC,MAAM,CAAC;YAClD,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAClC,MAAM,MAAM,GAAI,CAA0B,CAAC,MAAM,CAAC;YAClD,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACtC,MAAM,IAAI,GAAI,CAAwB,CAAC,IAAI,CAAC;YAC5C,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAI,CAA4B,CAAC,QAAQ,CAAC;YACxD,IAAI,QAAQ;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;uFAEuF;AACvF,SAAS,aAAa,CACpB,MAA2B,EAC3B,MAAoB,EACpB,MAAc;IAEd,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,IAAI,GAAI,MAAsC,CAAC,IAAI,CAAC;QAC1D,IAAI,IAAI,KAAK,MAAM;YAAE,OAAO,YAAY,CAAC;QACzC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC,CAAC,2KAA2K;QACrN,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,CAAC,kDAAkD;QAC1F,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,CAAC,sDAAsD;QAC9F,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC,CAAC,sCAAsC;QAClG,OAAO,IAAI,CAAC,CAAC,oDAAoD;IACnE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACvD,yFAAyF;QACzF,4FAA4F;QAC5F,8DAA8D;QAC9D,OAAO,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,MAAoB,EACpB,QAA6B,EAC7B,QAA8B,EAC9B,MAAc;IAEd,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB;YAAE,OAAO;QAC1C,IAAK,CAA4B,CAAC,QAAQ;YAAE,OAAO;QACnD,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QAC5B,MAAM,QAAQ,GAAI,CAA4B,CAAC,QAAQ,CAAC;QACxD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO;QACxD,MAAM,MAAM,GAAI,QAAwC,CAAC,IAAI,CAAC;QAC9D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QAChC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QACjC,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,CAAC,iDAAiD;QACpF,MAAM,MAAM,GAAG,aAAa,CAAE,CAA0B,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACjF,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,WAAW,EAAE,aAAa,YAAY,CAAC,OAAO,CAAC,eAAe,MAAM,GAAG;SACxE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oGAAoG;AAEpG,2CAA2C;AAC3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAS1C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAc;IAChD,kGAAkG;IAClG,oDAAoD;IACpD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC9C,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE;QAClC,WAAW,EAAE,QAAQ;QACrB,UAAU,EAAE,QAAQ;KACrB,CAAuB,CAAC;IACzB,kGAAkG;IAClG,mGAAmG;IACnG,2FAA2F;IAC3F,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC9C,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO;QACxC,MAAM,MAAM,GAAI,CAA0B,CAAC,MAAM,CAAC;QAClD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO;QACpD,IAAK,MAAsC,CAAC,IAAI,KAAK,kBAAkB;YAAE,OAAO;QAChF,+FAA+F;QAC/F,iEAAiE;QACjE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAEpE,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,MAAoB;IACtE,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACrE,CAAC;IAED,8FAA8F;IAC9F,+FAA+F;IAC/F,kGAAkG;IAClG,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE;QAClC,WAAW,EAAE,QAAQ;QACrB,UAAU,EAAE,QAAQ;KACrB,CAAuB,CAAC;IACzB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,8BAA8B,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAExF,MAAM,QAAQ,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,YAAY,CAAC,CAAC;IACnD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACrE,CAAC;IAED,8DAA8D;IAC9D,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO;QACL,MAAM,EAAE,GAAG;QACX,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,WAAW,CAAC,MAAM;QAC/B,YAAY,EAAE,YAAY,CAAC,MAAM;KAClC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"token-rewrite.js","sourceRoot":"","sources":["../../src/routes/token-rewrite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,iBAAiB,EAAgB,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,QAAQ,EAAE,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE;IACjE,OAAO,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE;IACpE,YAAY,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE;CACF,CAAC;AAIlF,kGAAkG;AAClG,MAAM,CAAC,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC;IAC7D,UAAU;IACV,SAAS;IACT,cAAc;IACd,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,CAAC,MAAc,EAAuB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;AAEhG,6CAA6C;AAC7C,MAAM,SAAS,GAAG,cAAc,CAAC;AAUjC;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAgB;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzC,MAAM,IAAI,GAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAiB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxF,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,YAAY,SAAS,IAAI,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAuBD;;6BAE6B;AAC7B,SAAS,YAAY,CAAC,MAAc,EAAE,OAA0B;IAC9D,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAClE,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;wBACwB;AACxB,SAAS,KAAK,CAAC,IAAa,EAAE,GAAW;IACvC,OAAO,IAAI,CAAC,GAAG,CAAY,CAAC;AAC9B,CAAC;AAED,SAAS,cAAc,CAAC,MAAoB,EAAE,MAAc;IAC1D,OAAO,MAAM,YAAY,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC;AAUD,kGAAkG;AAClG,SAAS,UAAU,CAAC,IAAa;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAK,IAA+B,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClG,MAAM,MAAM,GAAI,IAA6B,CAAC,MAAM,CAAC;IACrD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IACpE,IAAK,MAAiC,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClE,IAAK,MAAiC,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClE,MAAM,MAAM,GAAI,MAA+B,CAAC,MAAM,CAAC;IACvD,MAAM,QAAQ,GAAI,MAAiC,CAAC,QAAQ,CAAC;IAC7D,IAAI,CAAC,MAAM,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAEjE,OAAO;QACL,IAAI,EAAE,IAAI;QACV,MAAM;QACN,MAAM;QACN,MAAM,EAAG,QAAwC,CAAC,IAAI;KACvD,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,SAAS,cAAc,CAAC,OAAgB;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAW,CAAC;IACjC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,cAAc,CACrB,IAAa,EACb,MAAiB,EACjB,QAAgB,EAChB,UAAgC;IAEhC,MAAM,QAAQ,GAAG,KAAK,QAAQ,IAAI,MAAM,SAAS,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,GAAG,QAAQ,8EAA8E;YACvF,yFAAyF,CAC5F,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAI,IAAkC,CAAC,SAAS,IAAI,EAAE,CAAC;IACjE,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CACb,GAAG,QAAQ,UAAU,MAAM,CAAC,MAAM,eAAe,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,GAAG,CAC3F,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qGAAqG;AACrG,SAAS,gBAAgB,CAAC,QAA6B,EAAE,MAA8B;IACrF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,KAAK,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,KAAK,KAAK,gCAAgC,KAAK,2BAA2B,SAAS,OAAO;gBACxF,KAAK,KAAK,+CAA+C,KAAK,KAAK,CACtE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,SAAS,eAAe,CAAC,IAAgB,EAAE,IAAY,EAAE,UAAgC;IACvF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAmB,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IAEpE,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;QACxB,GAAG,EAAE,KAAM,CAAC,KAAK;QACjB,WAAW,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI;KACtD,CAAC;AACJ,CAAC;AAED,mGAAmG;AAEnG;6EAC6E;AAC7E,SAAS,sBAAsB,CAC7B,OAAgB,EAChB,MAAoB,EACpB,QAA6B,EAC7B,MAAsB;IAEtB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO;QACvD,MAAM,MAAM,GAAI,IAAI,CAAC,MAAsC,CAAC,IAAI,CAAC;QACjE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QAChC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QACjC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO;QACjD,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;YACxB,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG;YACpB,WAAW,EAAE,aAAa,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE;SACnD,CAAC,CAAC;QACH,KAAK,EAAE,CAAC;IACV,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,qGAAqG;AAErG,MAAM,sBAAsB,GAAG,uBAAuB,CAAC;AAEvD;;mGAEmG;AACnG,SAAS,8BAA8B,CAAC,OAAgB;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAW,CAAC;IACpC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC9D,MAAM,MAAM,GAAI,CAA0B,CAAC,MAAM,CAAC;YAClD,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAClC,MAAM,MAAM,GAAI,CAA0B,CAAC,MAAM,CAAC;YAClD,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACtC,MAAM,IAAI,GAAI,CAAwB,CAAC,IAAI,CAAC;YAC5C,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAI,CAA4B,CAAC,QAAQ,CAAC;YACxD,IAAI,QAAQ;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;uFAEuF;AACvF,SAAS,aAAa,CACpB,MAA2B,EAC3B,MAAoB,EACpB,MAAc;IAEd,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,IAAI,GAAI,MAAsC,CAAC,IAAI,CAAC;QAC1D,IAAI,IAAI,KAAK,MAAM;YAAE,OAAO,YAAY,CAAC;QACzC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC,CAAC,2KAA2K;QACrN,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,CAAC,kDAAkD;QAC1F,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,CAAC,sDAAsD;QAC9F,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC,CAAC,sCAAsC;QAClG,OAAO,IAAI,CAAC,CAAC,oDAAoD;IACnE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACvD,yFAAyF;QACzF,4FAA4F;QAC5F,8DAA8D;QAC9D,OAAO,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAgB,EAChB,MAAoB,EACpB,QAA6B,EAC7B,QAA8B,EAC9B,MAAc;IAEd,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB;YAAE,OAAO;QAC1C,IAAK,CAA4B,CAAC,QAAQ;YAAE,OAAO;QACnD,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QAC5B,MAAM,QAAQ,GAAI,CAA4B,CAAC,QAAQ,CAAC;QACxD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO;QACxD,MAAM,MAAM,GAAI,QAAwC,CAAC,IAAI,CAAC;QAC9D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QAChC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO;QACjC,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,CAAC,iDAAiD;QACpF,MAAM,MAAM,GAAG,aAAa,CAAE,CAA0B,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACjF,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,WAAW,EAAE,aAAa,YAAY,CAAC,OAAO,CAAC,eAAe,MAAM,GAAG;SACxE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oGAAoG;AAEpG,2CAA2C;AAC3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAS1C,SAAS,aAAa,CAAC,IAAa;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAK,IAA+B,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9F,MAAM,MAAM,GAAI,IAA6B,CAAC,MAAM,CAAC;IAErD,OAAO,CACL,MAAM,EAAE,IAAI,KAAK,YAAY;QAC5B,MAAsC,CAAC,IAAI,KAAK,kBAAkB,CACpE,CAAC;AACJ,CAAC;AAED,0DAA0D;AAC1D,SAAS,eAAe,CAAC,IAAa;IACpC,MAAM,IAAI,GAAI,IAAkC,CAAC,SAAS,IAAI,EAAE,CAAC;IACjE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CACb,KAAK,kBAAkB,wDAAwD,IAAI,CAAC,MAAM,GAAG,CAC9F,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;AAClB,CAAC;AAED,+FAA+F;AAC/F,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,IAAI,KAAK,CACd,GAAG,IAAI,OAAO,kBAAkB,kDAAkD;QAChF,MAAM,kBAAkB,uEAAuE;QAC/F,4BAA4B,kBAAkB,gDAAgD;QAC9F,oCAAoC,SAAS,+CAA+C;QAC5F,qFAAqF;QACrF,qBAAqB,CACxB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,YAAY,CACnB,OAAgB,EAChB,UAAmB,EACnB,IAAY,EACZ,YAAyC;IAEzC,MAAM,EAAE,GAAG,KAAK,IAAI,MAAM,kBAAkB,SAAS,CAAC;IACtD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,aAAa,CAAC,GAAG,EAAE,OAAO,IAAI,+BAA+B,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,4FAA4F;IAC5F,wEAAwE;IACxE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAU,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAW,CAAC;IACpC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,YAAY,IAAK,IAAI,CAAC,MAA4B,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3F,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAE,CAA4B,CAAC,QAAQ,EAAE,CAAC;YAC7E,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1B,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAgD,CAAC;YACjF,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;gBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB;YAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB;YAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAK,CAAiC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO;QACxF,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QAC7C,MAAM,aAAa,CACjB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YACb,CAAC,CAAC,GAAG,EAAE,OAAO,IAAI,kBAAkB;YACpC,CAAC,CAAC,GAAG,EAAE,OAAO,IAAI,8BAA8B,IAAI,kBAAkB,CACzE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAc;IAChD,MAAM,IAAI,GAAuB;QAC/B,MAAM;QACN,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,KAAK,EAAE,KAAK;KACb,CAAC;IACF,kGAAkG;IAClG,oDAAoD;IACpD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,YAAY,CAAC,GAAG,CAAC,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAW,CAAC;IACrC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,aAAa,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAa,CAAC;IACpC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAW,CAAC;IACnC,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAE3C,4BAA4B;IAC5B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO;QACjD,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,KAAK,CAAC,GAAG,cAAc,CAC5B,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,MAAM,EACX,GAAG,kBAAkB,OAAO,EAC5B,UAAU,CACX,CAAC;YACF,6FAA6F;YAC7F,uDAAuD;YACvD,OAAO,CAAC,IAAI,CACV;gBACE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;gBACxB,GAAG,EAAE,OAAO,CAAC,KAAK;gBAClB,WAAW,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG;aAClD,EACD,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAM,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAC7D,CAAC;YACF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5C,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;QACjF,KAAK,GAAG,IAAI,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,qDAAqD;IACrD,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;YAAE,OAAO;QAC5C,MAAM,IAAI,GAAI,CAA+B,CAAC,IAAI,CAAC;QACnD,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC1C,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC7B,MAAM,aAAa,CAAC,OAAO,kBAAkB,yBAAyB,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,IAAI,GAAI,EAAkC,CAAC,IAAI,CAAC;QACtD,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;QAC3D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,OAAO,CAAC,IAAI,CACV,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,EAC1D,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,CACvD,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;gBACtD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;gBACxB,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG;gBACpB,WAAW,EAAE,aAAa,IAAI,GAAG;aAClC,CAAC,CAAC;YACH,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,aAAa,CACjB,KAAK,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,4CAA4C,CACpF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,gBAAgB,CAAC,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAEvD,OAAO;QACL,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC;QACrC,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,SAAS,CAAC,IAAI;QACrB,MAAM;QACN,KAAK;KACN,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,MAAoB;IACtE,MAAM,IAAI,GAAuB;QAC/B,MAAM;QACN,OAAO,EAAE,KAAK;QACd,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;QACf,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,KAAK,EAAE,KAAK;KACb,CAAC;IACF,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAE/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAa,CAAC;IACpC,MAAM,OAAO,GAAG,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,8BAA8B,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAExF,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,YAAY,CAAC,CAAC;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAEnC,OAAO;QACL,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC;QACtC,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;QACjC,YAAY,EAAE,YAAY,CAAC,MAAM;QACjC,MAAM;QACN,qFAAqF;QACrF,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;KACpD,CAAC;AACJ,CAAC"}