@eco-incorp/sauce 0.99.0

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

@@ -0,0 +1,247 @@
+/**
+ * Per-chain token symbol -> address registry, the DEFAULT source for U4's `rewriteTokenMembers`
+ * (`token-rewrite.ts`) and the balance sugar it now also implements — so a bare `USDC.transfer(to,
+ * amt)` inside a `Base.route(...)` compiles with NO `IntentOptions.tokenDefines`.
+ *
+ * DISCOVERY (measured, not assumed): this SDK has no existing per-chain token-address source to
+ * reuse. `protocols/erc20/addresses.ts` is deliberately empty ("ERC20 is a standard interface, not
+ * a specific deployment" -- `ambient.ts`'s own HARD FINDING, unchanged). `protocols/*\/addresses.ts`
+ * (127 protocols) are role-keyed CONTRACT maps -- a minority of role keys are genuinely tokens, but
+ * none is USDC/USDT/WETH, and the keys are roles, not tickers, sitting beside non-token roles in
+ * the same map -- not a derivable symbol table. `descriptors/registry.ts` only has Compound MARKETS
+ * (CometUSDC/CometWETH), not the tokens themselves. `chains/canonical.ts` is identity-only by
+ * design (no `nativeCurrency`). `svm/venues/**` addresses are SPL base58 mints, a different address
+ * space this registry (EVM-only) does not cover. The only in-repo pinned token addresses are
+ * `verify/vectors.ts`'s Base USDC/WETH (Tier 0 below).
+ *
+ * COVERAGE, tiered and self-describing (`knownTokenSymbols` derives from the rows below, so this
+ * module can never claim more coverage than the data actually committed here):
+ *
+ *   TIER 0 (already pinned in-repo, zero new trust): base USDC/WETH -- `verify/vectors.ts`.
+ *   TIER 1 (this cut, EACH ROW PROBE-VERIFIED before landing -- see the PROVENANCE GATE below):
+ *     ethereum, optimism, arbitrum, polygon, base -- USDC, WETH, plus USDT wherever the deployed
+ *     contract's OWN `symbol()` string-equals "USDT" (see the note below), plus the wrapped native
+ *     under whatever `symbol()` actually returns where it isn't WETH (polygon's WPOL).
+ *
+ *   NOT CLAIMED: every other canonical chain; DAI/WBTC/USDS/cbETH/LST symbols; bridged token
+ *   variants under a plain key (see below); SVM/SPL mints; decimals-aware amount sugar; anything
+ *   auto-derived from `protocols/*\/addresses.ts` role keys.
+ *
+ * PROVENANCE GATE: a row lands only if (a) already pinned in-repo (`verify/vectors.ts`), or (b)
+ * confirmed by a real RPC probe (via the paid Alchemy key in gitignored `sdk/.env`) checking
+ * `getCode !== "0x"`, `symbol()` string-equals the row's `symbol`, and `decimals()` equals the
+ * row's `decimals`. The probe itself is a one-time, network-dependent script -- never part of the
+ * jest gate -- so this committed table stays static and the suite stays offline.
+ *
+ * THE symbol() CHECK IS LOAD-BEARING: it is what stops a bridged/renamed variant from landing under
+ * a plain ticker key. Confirmed live during this cut's own probe: Arbitrum's and Polygon's
+ * Tether-migrated USDT deployments return `symbol() == "USD₮0"` / `"USDT0"`, NOT `"USDT"` -- so
+ * neither is registered under `USDT` here (a caller wanting that specific token still can, via
+ * `tokenDefines`, which always overrides this registry per-key). Base's USDT was not independently
+ * verified in this cut and is therefore also NOT claimed.
+ */
+import { getAddress, isAddress } from "viem";
+import { chainById } from "../chains/canonical.js";
+// Mirrors token-rewrite.ts's own `REWRITABLE_METHODS` -- duplicated here rather than imported.
+// token-rewrite.ts imports accessor-index.ts (for the balance-sugar holder-rejection checks),
+// which imports builder.ts, which imports intent-dsl.ts, which imports sauce-route.ts, which
+// imports THIS file (`resolveTokenMap`) -- so an import of token-rewrite.ts's export back here
+// would close a genuine module-eval cycle: this file's own top-level validation loop (below) runs
+// synchronously as part of resolving that cycle, before token-rewrite.ts's own top-level code has
+// reached its `export const REWRITABLE_METHODS = ...` line, tripping a TDZ `ReferenceError`
+// (confirmed reachable — this is not a hypothetical). Three well-known method names duplicated is
+// a far smaller cost than restructuring that import graph; token-rewrite.ts's own module doc cross-
+// references this list for anyone changing one who needs to remember the other.
+const REWRITABLE_METHODS = new Set(["transfer", "approve", "balanceOf"]);
+/** Keyed by canonical EVM chain id (`CanonicalChain.id`). */
+export const TOKEN_REGISTRY = {
+    // ethereum (1) -- probe-verified 2026-08-11 (getCode + symbol() + decimals(), via sdk/.env's ETH_RPC_URL).
+    1: [
+        {
+            symbol: "USDC",
+            address: "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+            decimals: 6,
+            source: "probe:ethereum@2026-08-11",
+        },
+        {
+            symbol: "USDT",
+            address: "0xdAC17F958D2ee523a2206206994597C13D831ec7",
+            decimals: 6,
+            source: "probe:ethereum@2026-08-11",
+        },
+        {
+            symbol: "WETH",
+            address: "0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2",
+            decimals: 18,
+            source: "probe:ethereum@2026-08-11",
+        },
+    ],
+    // optimism (10) -- probe-verified 2026-08-11.
+    10: [
+        {
+            symbol: "USDC",
+            address: "0x0b2C639c533813f4Aa9D7837CAf62653d097Ff85",
+            decimals: 6,
+            source: "probe:optimism@2026-08-11",
+        },
+        {
+            symbol: "USDT",
+            address: "0x94b008aA00579c1307B0EF2c499aD98a8ce58e58",
+            decimals: 6,
+            source: "probe:optimism@2026-08-11",
+        },
+        {
+            symbol: "WETH",
+            address: "0x4200000000000000000000000000000000000006",
+            decimals: 18,
+            source: "probe:optimism@2026-08-11",
+        },
+    ],
+    // polygon (137) -- probe-verified 2026-08-11. USDT deliberately excluded: the deployed contract's
+    // own symbol() returns "USDT0" (Tether-migrated), not "USDT" -- fails the provenance gate's
+    // symbol() check, so it does not land under the plain USDT key.
+    137: [
+        {
+            symbol: "USDC",
+            address: "0x3c499c542cEF5E3811e1192ce70d8cC03d5c3359",
+            decimals: 6,
+            source: "probe:polygon@2026-08-11",
+        },
+        {
+            symbol: "WETH",
+            address: "0x7ceB23fD6bC0adD59E62ac25578270cFf1b9f619",
+            decimals: 18,
+            source: "probe:polygon@2026-08-11",
+        },
+        {
+            symbol: "WPOL",
+            address: "0x0d500B1d8E8eF31E21C99d1Db9A6444d3ADf1270",
+            decimals: 18,
+            source: "probe:polygon@2026-08-11",
+        },
+    ],
+    // monad (143) -- probe-verified 2026-08-31 (getCode + symbol() + decimals(), via rpc-mainnet.monadinfra.com).
+    // Native Circle USDC (v2.2, per circle.com/multi-chain-usdc/monad) + the wrapped native WMON.
+    143: [
+        {
+            symbol: "USDC",
+            address: "0x754704Bc059F8C67012fEd69BC8A327a5aafb603",
+            decimals: 6,
+            source: "probe:monad@2026-08-31",
+        },
+        {
+            symbol: "WMON",
+            address: "0x3bd359C1119dA7Da1D913D1C4D2B7c461115433A",
+            decimals: 18,
+            source: "probe:monad@2026-08-31",
+        },
+    ],
+    // base (8453) -- USDC/WETH already pinned in verify/vectors.ts (Tier 0); re-probed 2026-08-11 to
+    // confirm the pinned constants still match a live symbol()/decimals() read.
+    8453: [
+        {
+            symbol: "USDC",
+            address: "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
+            decimals: 6,
+            source: "sdk:verify/vectors.ts",
+        },
+        {
+            symbol: "WETH",
+            address: "0x4200000000000000000000000000000000000006",
+            decimals: 18,
+            source: "sdk:verify/vectors.ts",
+        },
+    ],
+    // arbitrum (42161) -- probe-verified 2026-08-11. USDT deliberately excluded: symbol() returns
+    // "USD₮0" (Tether-migrated), not "USDT" -- same provenance-gate rejection as polygon above.
+    42161: [
+        {
+            symbol: "USDC",
+            address: "0xaf88d065e77c8cC2239327C5EDb3A432268e5831",
+            decimals: 6,
+            source: "probe:arbitrum@2026-08-11",
+        },
+        {
+            symbol: "WETH",
+            address: "0x82aF49447D8a07e3bd95BD0d56f35241523fBab1",
+            decimals: 18,
+            source: "probe:arbitrum@2026-08-11",
+        },
+    ],
+};
+// --- module-eval invariants (fail closed, mirroring accessor-index.ts's convention) --------------
+const SYMBOL_RE = /^[A-Z][A-Z0-9]{1,10}$/;
+for (const [idStr, rows] of Object.entries(TOKEN_REGISTRY)) {
+    const id = Number(idStr);
+    const chain = chainById(id);
+    if (chain === undefined || chain.kind !== "evm") {
+        throw new Error(`token-registry: key '${idStr}' is not a canonical EVM chain id`);
+    }
+    const seenSymbols = new Set();
+    const seenAddresses = new Set();
+    for (const row of rows) {
+        if (!SYMBOL_RE.test(row.symbol)) {
+            throw new Error(`token-registry: chain ${id} row '${row.symbol}' does not match ${SYMBOL_RE}`);
+        }
+        for (const method of REWRITABLE_METHODS) {
+            if (row.symbol.toUpperCase() === method.toUpperCase()) {
+                throw new Error(`token-registry: chain ${id} row '${row.symbol}' collides with U4's rewritable method ` +
+                    `'${method}' -- this would make the U4-vs-namespace recognition partition ambiguous`);
+            }
+        }
+        if (!isAddress(row.address, { strict: true }) || getAddress(row.address) !== row.address) {
+            throw new Error(`token-registry: chain ${id} symbol '${row.symbol}' address is not EIP-55 checksummed`);
+        }
+        if (seenSymbols.has(row.symbol)) {
+            throw new Error(`token-registry: chain ${id} has a duplicate symbol '${row.symbol}'`);
+        }
+        seenSymbols.add(row.symbol);
+        const addrKey = row.address.toLowerCase();
+        if (seenAddresses.has(addrKey)) {
+            throw new Error(`token-registry: chain ${id} has a duplicate address '${row.address}'`);
+        }
+        seenAddresses.add(addrKey);
+    }
+}
+// --- query surface ---------------------------------------------------------------------------
+function toBigIntAddress(input) {
+    return BigInt(input);
+}
+/** The registry's own address for `symbol` on `chain`, or `undefined` if unregistered. EVM-only --
+ *  an svm chain always returns `undefined` (no `TOKEN_REGISTRY` key exists for an svm chain id). */
+export function registryTokenAddress(chain, symbol) {
+    if (chain.kind !== "evm")
+        return undefined;
+    const rows = TOKEN_REGISTRY[chain.id];
+    const row = rows?.find((r) => r.symbol === symbol);
+    return row === undefined ? undefined : BigInt(row.address);
+}
+/** Every symbol this registry knows for `chain`, sorted for stable diagnostics/tests. */
+export function knownTokenSymbols(chain) {
+    if (chain.kind !== "evm")
+        return [];
+    const rows = TOKEN_REGISTRY[chain.id] ?? [];
+    return [...rows.map((r) => r.symbol)].sort();
+}
+/**
+ * THE one precedence resolver every token-address consumer goes through: registry rows for `chain`
+ * first (skipped entirely for a non-evm chain -- there are none to skip in practice, since no
+ * `TOKEN_REGISTRY` key is ever an svm chain id, but the `chain.kind` guard makes that explicit
+ * rather than incidental), then `callerTokens` merged PER KEY on top -- overriding one symbol (e.g.
+ * `USDC`) never drops an unrelated registry symbol (e.g. `WETH`) for the same chain.
+ */
+export function resolveTokenMap(chain, callerTokens) {
+    const map = new Map();
+    if (chain.kind === "evm") {
+        for (const row of TOKEN_REGISTRY[chain.id] ?? []) {
+            map.set(row.symbol, BigInt(row.address));
+        }
+    }
+    if (callerTokens) {
+        for (const [symbol, address] of Object.entries(callerTokens)) {
+            map.set(symbol, toBigIntAddress(address));
+        }
+    }
+    return map;
+}
+//# sourceMappingURL=token-registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"token-registry.js","sourceRoot":"","sources":["../../src/routes/token-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAG7C,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAGnD,+FAA+F;AAC/F,8FAA8F;AAC9F,6FAA6F;AAC7F,+FAA+F;AAC/F,kGAAkG;AAClG,kGAAkG;AAClG,4FAA4F;AAC5F,kGAAkG;AAClG,oGAAoG;AACpG,gFAAgF;AAChF,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;AAa9F,6DAA6D;AAC7D,MAAM,CAAC,MAAM,cAAc,GAA0D;IACnF,2GAA2G;IAC3G,CAAC,EAAE;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,2BAA2B;SACpC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,2BAA2B;SACpC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,2BAA2B;SACpC;KACF;IACD,8CAA8C;IAC9C,EAAE,EAAE;QACF;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,2BAA2B;SACpC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,2BAA2B;SACpC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,2BAA2B;SACpC;KACF;IACD,kGAAkG;IAClG,4FAA4F;IAC5F,gEAAgE;IAChE,GAAG,EAAE;QACH;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,0BAA0B;SACnC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,0BAA0B;SACnC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,0BAA0B;SACnC;KACF;IACD,8GAA8G;IAC9G,8FAA8F;IAC9F,GAAG,EAAE;QACH;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,wBAAwB;SACjC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,wBAAwB;SACjC;KACF;IACD,iGAAiG;IACjG,4EAA4E;IAC5E,IAAI,EAAE;QACJ;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,uBAAuB;SAChC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,uBAAuB;SAChC;KACF;IACD,8FAA8F;IAC9F,4FAA4F;IAC5F,KAAK,EAAE;QACL;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,2BAA2B;SACpC;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,2BAA2B;SACpC;KACF;CACF,CAAC;AAEF,oGAAoG;AAEpG,MAAM,SAAS,GAAG,uBAAuB,CAAC;AAE1C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IAC3D,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC5B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,wBAAwB,KAAK,mCAAmC,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,yBAAyB,EAAE,SAAS,GAAG,CAAC,MAAM,oBAAoB,SAAS,EAAE,CAC9E,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,kBAAkB,EAAE,CAAC;YACxC,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CACb,yBAAyB,EAAE,SAAS,GAAG,CAAC,MAAM,yCAAyC;oBACrF,IAAI,MAAM,0EAA0E,CACvF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;YACzF,MAAM,IAAI,KAAK,CACb,yBAAyB,EAAE,YAAY,GAAG,CAAC,MAAM,qCAAqC,CACvF,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,4BAA4B,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,6BAA6B,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC;QAC1F,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,gGAAgG;AAEhG,SAAS,eAAe,CAAC,KAAmB;IAC1C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;oGACoG;AACpG,MAAM,UAAU,oBAAoB,CAAC,KAAqB,EAAE,MAAc;IACxE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACnD,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IAC5C,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAqB,EACrB,YAAqD;IAErD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YACjD,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7D,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/sdk/dist/routes/token-rewrite.d.ts

@@ -0,0 +1,50 @@
+export declare const REWRITABLE_METHODS: ReadonlySet<string>;
+/** Either the full registry-resolved `symbol -> address` map (enables BOTH rewrites), or a bare set
+ *  of symbols with no addresses (U4 only -- the sugar has no address to inline, so it yields no
+ *  sites; documented, not a silent surprise -- see the module doc). */
+export type TokenSymbols = ReadonlyMap<string, bigint> | ReadonlySet<string>;
+export interface TokenRewriteResult {
+    readonly source: string;
+    /** True if at least one site (U4 or sugar) was rewritten -- tells the caller whether to prepend
+     *  the ERC20 import line and union in `TOKEN_BASE_DIRS`. */
+    readonly rewrote: boolean;
+    /** Count of U4 (`<Sym>.transfer/.approve/.balanceOf(...)`) call sites rewritten. */
+    readonly memberSites: number;
+    /** Count of `<holder>.<Sym>` balance-sugar sites rewritten. */
+    readonly balanceSites: number;
+}
+/** The DSL's global token WRAPPER name. */
+export declare const TOKEN_FACTORY_NAME = "Token";
+export interface TokenFactoryResult {
+    readonly source: string;
+    readonly rewrote: boolean;
+    /** Count of `Token(...)` call sites rewritten. */
+    readonly sites: number;
+}
+/**
+ * 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.
+ *
+ * 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.
+ */
+export declare function rewriteTokenFactory(source: string): TokenFactoryResult;
+/**
+ * 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.
+ */
+export declare function rewriteTokenMembers(source: string, tokens: TokenSymbols): TokenRewriteResult;
+//# sourceMappingURL=token-rewrite.d.ts.map

package/sdk/dist/routes/token-rewrite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-rewrite.d.ts","sourceRoot":"","sources":["../../src/routes/token-rewrite.ts"],"names":[],"mappings":"AAyCA,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAIjD,CAAC;AAEH;;uEAEuE;AACvE,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;gEAC4D;IAC5D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oFAAoF;IACpF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAwID,2CAA2C;AAC3C,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAE1C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,kBAAkB,CAmCtE;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,kBAAkB,CAmC5F"}

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

@@ -0,0 +1,274 @@
+/**
+ * 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):
+ *
+ *   U4  (call position):  `<Sym>.transfer/.approve/.balanceOf(...)`  -> `IERC20.at(<Sym>).<method>(...)`
+ *   sugar (value position): `<holder>.<Sym>`                          -> `IERC20.at(<addr>n).balanceOf(<holder>)`
+ *
+ * `<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).
+ *
+ * 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).
+ *
+ * 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.
+ *
+ * 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.
+ */
+import * as acorn from "acorn";
+import { walk, collectDeclaredNames } from "./ast-walk.js";
+import { formatBigint } from "../deposit/format.js";
+import { isChainKey, resolveNamespace } from "./accessor-index.js";
+export const REWRITABLE_METHODS = new Set([
+    "transfer",
+    "approve",
+    "balanceOf",
+]);
+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) {
+    const sites = [];
+    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")
+            return;
+        if (!property || property.type !== "Identifier")
+            return;
+        const symbol = object.name;
+        const method = property.name;
+        if (!tokens.has(symbol))
+            return;
+        if (shadowed.has(symbol))
+            return;
+        if (!REWRITABLE_METHODS.has(method))
+            return;
+        sites.push({
+            start: callee.start,
+            end: callee.end,
+            replacement: `IERC20.at(${symbol}).${method}`,
+        });
+    });
+    return sites;
+}
+// -- balance sugar: <holder>.<Sym> in VALUE position -----------------------------------------------
+const HEX_ADDRESS_LITERAL_RE = /^0x[0-9a-fA-F]{40}n?$/;
+/** By node identity: every node that must never be claimed as a balance-sugar candidate because it
+ *  sits in one of the five excluded parent roles -- a call/new callee, the object of an outer member
+ *  chain, anywhere inside an assignment's left-hand subtree, or an update expression's operand. */
+function collectValuePositionExclusions(program) {
+    const excluded = new Set();
+    walk(program, (n) => {
+        if (n.type === "CallExpression" || n.type === "NewExpression") {
+            const callee = n.callee;
+            if (callee)
+                excluded.add(callee);
+        }
+        if (n.type === "MemberExpression") {
+            const object = n.object;
+            if (object)
+                excluded.add(object);
+        }
+        if (n.type === "AssignmentExpression") {
+            const left = n.left;
+            if (left)
+                walk(left, (m) => excluded.add(m));
+        }
+        if (n.type === "UpdateExpression") {
+            const argument = n.argument;
+            if (argument)
+                excluded.add(argument);
+        }
+    });
+    return excluded;
+}
+/** Resolves `object` (the `<holder>` in `<holder>.<Sym>`) to its emitted text, or `undefined` if
+ *  `object` is not one of the three authorized holder shapes (or is itself rejected -- an ambiguous
+ *  token-symbol holder, a namespace/chain key, or a name reserved by the compiler). */
+function resolveHolder(object, tokens, source) {
+    if (!object)
+        return undefined;
+    if (object.type === "Identifier") {
+        const name = object.name;
+        if (name === "self")
+            return "ctx.self()";
+        if (name === "address")
+            return undefined; // reserved defensively -- no longer a compiler namespace root (address.* was dropped for gated ctx.*), but a bare `address` holder is still excluded rather than re-opened
+        if (tokens.has(name))
+            return undefined; // ambiguous: USDC.WETH belongs to neither feature
+        if (isChainKey(name))
+            return undefined; // owned by a qualified-token spelling, not this sugar
+        if (resolveNamespace(name) !== undefined)
+            return undefined; // owned by the protocol-accessor pass
+        return name; // an ordinary program variable, dropped in verbatim
+    }
+    if (object.type === "Literal") {
+        const raw = source.slice(object.start, object.end);
+        if (!HEX_ADDRESS_LITERAL_RE.test(raw))
+            return undefined;
+        const hex = raw.endsWith("n") ? raw.slice(0, -1) : raw;
+        // Read from the literal's own RAW source text, never `.value` -- a 20-byte hex literal's
+        // `.value` is a lossy float64 round-trip (the same literal.raw-vs-Number() trap this repo's
+        // CLAUDE.md documents for the compiler's own const-eval fix).
+        return formatBigint(BigInt(hex));
+    }
+    return undefined;
+}
+function collectBalanceSites(program, tokens, shadowed, excluded, source) {
+    const sites = [];
+    walk(program, (n) => {
+        if (n.type !== "MemberExpression")
+            return;
+        if (n.computed)
+            return;
+        if (excluded.has(n))
+            return;
+        const property = n.property;
+        if (!property || property.type !== "Identifier")
+            return;
+        const symbol = property.name;
+        if (!tokens.has(symbol))
+            return;
+        if (shadowed.has(symbol))
+            return;
+        const address = tokenAddressOf(tokens, symbol);
+        if (address === undefined)
+            return; // Set form: no address to inline, sugar declines
+        const holder = resolveHolder(n.object, tokens, source);
+        if (holder === undefined)
+            return;
+        sites.push({
+            start: n.start,
+            end: n.end,
+            replacement: `IERC20.at(${formatBigint(address)}).balanceOf(${holder})`,
+        });
+    });
+    return sites;
+}
+// -- Token(addr) factory: Token(<expr>) -> IERC20.at(<expr>) in ANY position ----------------------
+/** The DSL's global token WRAPPER name. */
+export const TOKEN_FACTORY_NAME = "Token";
+/**
+ * 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.
+ *
+ * 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.
+ */
+export function rewriteTokenFactory(source) {
+    // 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",
+    });
+    // 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 = [];
+    walk(program, (n) => {
+        if (n.type !== "CallExpression")
+            return;
+        const callee = n.callee;
+        if (!callee || callee.type !== "Identifier")
+            return;
+        if (callee.name !== TOKEN_FACTORY_NAME)
+            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" });
+    });
+    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);
+    }
+    return { source: out, rewrote: true, sites: sites.length };
+}
+/**
+ * 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.
+ */
+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 shadowed = collectDeclaredNames(program);
+    const memberSites = collectMemberCallSites(program, tokens, shadowed);
+    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);
+    }
+    return {
+        source: out,
+        rewrote: true,
+        memberSites: memberSites.length,
+        balanceSites: balanceSites.length,
+    };
+}
+//# sourceMappingURL=token-rewrite.js.map

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

@@ -0,0 +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"}