@eco-incorp/sauce 0.99.4 → 0.99.6

package/sdk/dist/routes/template.js

@@ -0,0 +1,338 @@
+/**
+ * Byte TEMPLATING — a precompiled payload with runtime-computed values spliced into it.
+ *
+ * This is the mechanism that makes an intent whose amounts are only known DURING execution
+ * expressible at all. `nest.ts` can only build a STATIC child: its `publishAndFund` is fully
+ * pre-encoded off-chain, which is impossible for an amount nobody has measured yet (the output of a
+ * swap that runs in the same fulfillment, say). The fix is not to encode the child on-chain — a
+ * Sauce program has no ABI encoder for an arbitrary struct — but to encode it off-chain ONCE with
+ * placeholders, cut the result at the placeholder boundaries, and have the program re-CONCATENATE
+ * literal byte runs around values it computes:
+ *
+ * ```
+ * const d0_s0 = hex`…`;                                   // everything before the first slot
+ * const d0_data = d0_s0.concat(d0_out.toBytesBe(32)).concat(d0_s1)…;
+ * evm.call(portal, 0n, d0_data);
+ * ```
+ *
+ * This is the same shape as `../eco-routes/contracts/chain/IntentTemplate.sol`
+ * (`struct Template { bytes[] segments; Item[] items; }`, `render()` concatenating segments around
+ * rendered items) — READ AS A REFERENCE DESIGN, not depended on. Nothing here calls that contract or
+ * any other: the concatenation happens inside the Sauce program itself, so there is no chainer in
+ * the path and nothing new to deploy. `segments.length === slots.length + 1` is the same invariant
+ * its `validateShape` asserts, for the same reason.
+ *
+ * WHY THIS WORKS AT ALL — the splice must not move anything after it. ABI encoding is what makes
+ * that true: every value is a 32-byte word at a static offset, and a dynamic `bytes`/array carries
+ * its own length and offset words which an AMOUNT never appears in. So writing a different 32-byte
+ * word over an amount changes no offset, no length, and no other field. (Borsh is the same for a
+ * FIXED-width integer field — a `u64` amount is 8 bytes wherever it sits — which is why `width`/
+ * `littleEndian` exist here rather than 32-byte-big-endian being hardcoded; see `nest-dynamic.ts`
+ * for the SVM-destination child that needs them.) The one encoding this CANNOT template is the
+ * compiler's own `compact-v1` argument payload, whose scalars are minimally encoded so both the
+ * width and the length prefix move with the value — see `../compact-arguments.ts`'s `scalarWidth`
+ * option, which exists precisely to give that format a fixed-offset form too.
+ *
+ * Pure: no compiler import, no chain knowledge, no `Intent` knowledge — matching `nest.ts`'s
+ * posture. `nest-dynamic.ts` is the layer that knows what a child intent is.
+ */
+import { bytesToHex, hexToBytes } from "viem";
+/** Fixed-point denominator for every `scale` here, matching `IntentChainer.WAD`. Decimal rather
+ *  than binary so every power-of-ten decimals conversion (6 -> 18 is `1e30`, 18 -> 6 is `1e6`) is
+ *  exact in both directions. */
+export const WAD = 10n ** 18n;
+const MAX_UINT256 = 2n ** 256n - 1n;
+function assertWidth(width, label) {
+    if (!Number.isInteger(width) || width < 1 || width > 32) {
+        throw new Error(`${label}: width must be an integer in 1..32, got ${width}`);
+    }
+}
+/** `value` as exactly `width` bytes, zero-padded, in the requested endianness. Throws rather than
+ *  truncating — a truncated amount is a plausible-looking wrong number. */
+export function encodeFixedWidth(value, width, littleEndian) {
+    assertWidth(width, "encodeFixedWidth");
+    if (value < 0n) {
+        throw new Error(`encodeFixedWidth: negative value ${value} has no fixed-width encoding here`);
+    }
+    if (value >= 1n << BigInt(8 * width)) {
+        throw new Error(`encodeFixedWidth: ${value} does not fit ${width} byte(s)`);
+    }
+    const bytes = new Uint8Array(width);
+    let rest = value;
+    for (let i = 0; i < width; i++) {
+        bytes[littleEndian ? i : width - 1 - i] = Number(rest & 0xffn);
+        rest >>= 8n;
+    }
+    return bytes;
+}
+/** `ceil(value * scale / WAD)` — the exact integer `IntentChainer._calculateAmountOut` computes
+ *  with `Math.mulDiv(..., Rounding.Ceil)`. Rounds toward the party owed the number. */
+export function scaleAmount(value, scale) {
+    if (scale <= 0n) {
+        throw new Error(`scaleAmount: scale must be positive (a zero scale obliges nothing), got ${scale}`);
+    }
+    if (value < 0n)
+        throw new Error(`scaleAmount: negative value ${value}`);
+    if (scale === WAD)
+        return value;
+    return (value * scale + (WAD - 1n)) / WAD;
+}
+/**
+ * The largest `base` for which the SauceScript form of `scaleAmount` — `(base * scale + WAD - 1) /
+ * WAD` — cannot wrap. The engine's arithmetic is 256-bit modular (EVM `MUL`), so unlike the
+ * Solidity reference this has no 512-bit intermediate to hide behind: `IntentChainer` uses
+ * `Math.mulDiv` specifically to avoid the boundary its own NatSpec calls out in the hand-rolled
+ * form. A Sauce program cannot do 512-bit math cheaply, so the bound is checked at RUNTIME instead
+ * (`emitTemplate` emits the guard), which is exact and costs one comparison.
+ */
+export function maxScalableBase(scale) {
+    if (scale <= 0n)
+        throw new Error(`maxScalableBase: scale must be positive, got ${scale}`);
+    if (scale === WAD)
+        return MAX_UINT256;
+    return (MAX_UINT256 - (WAD - 1n)) / scale;
+}
+function slotOf(spec) {
+    const scale = spec.scale ?? WAD;
+    if (scale <= 0n) {
+        throw new Error(`splitByPlaceholders: placeholder scale must be positive, got ${scale}`);
+    }
+    // A zero sentinel is not a sentinel: ABI padding is zero bytes, so it would match at hundreds of
+    // offsets in any real payload and the overlap/occurrence checks below would be reporting on
+    // padding rather than on fields. Rejected here so the diagnostic names the cause.
+    if (spec.value === 0n) {
+        throw new Error("splitByPlaceholders: a zero placeholder value cannot work — zero bytes are what ABI padding is " +
+            "made of, so it would match everywhere. Use a distinctive sentinel (see nest-dynamic.ts's " +
+            "AMOUNT_IN_PLACEHOLDER).");
+    }
+    return {
+        source: spec.source,
+        scale,
+        width: spec.width ?? 32,
+        littleEndian: spec.littleEndian ?? false,
+    };
+}
+function findAll(haystack, needle) {
+    const hits = [];
+    outer: for (let i = 0; i + needle.length <= haystack.length; i++) {
+        for (let j = 0; j < needle.length; j++) {
+            if (haystack[i + j] !== needle[j])
+                continue outer;
+        }
+        hits.push(i);
+    }
+    return hits;
+}
+/**
+ * Cuts `payload` at every occurrence of every placeholder, producing the literal segments the
+ * program concatenates and the slot descriptors that say what goes between them.
+ *
+ * Fails closed on every way a sentinel search can be wrong: a placeholder that matched NOTHING (the
+ * caller encoded a different value than they declared, or the encoder normalized it away), a
+ * declared `occurrences` that disagrees with what was found, two placeholders sharing the same
+ * on-wire bytes (which of them owns a hit is then undecidable), and two hits that OVERLAP (a
+ * shorter sentinel landing inside a longer one). None of these is recoverable by guessing, and each
+ * one silently produces a valid-looking intent carrying a wrong number.
+ */
+export function splitByPlaceholders(payload, placeholders) {
+    if (placeholders.length === 0) {
+        throw new Error("splitByPlaceholders: no placeholders — a template with no slot is just bytes");
+    }
+    const bytes = hexToBytes(payload);
+    const needles = placeholders.map((spec, i) => {
+        const slot = slotOf(spec);
+        try {
+            return encodeFixedWidth(spec.value, slot.width, slot.littleEndian);
+        }
+        catch (cause) {
+            throw new Error(`splitByPlaceholders: placeholder[${i}] (${spec.source}) value ${spec.value} does not fit its ` +
+                `declared ${slot.width}-byte width`, { cause });
+        }
+    });
+    // Two placeholders with identical wire bytes make every hit ambiguous -- reject rather than
+    // assign hits by declaration order, which would be an arbitrary and silent choice.
+    const seen = new Map();
+    needles.forEach((needle, i) => {
+        const key = bytesToHex(needle);
+        const previous = seen.get(key);
+        if (previous !== undefined) {
+            throw new Error(`splitByPlaceholders: placeholder[${i}] and placeholder[${previous}] encode to the same bytes ` +
+                `(${key}) — give each placeholder a distinct sentinel value.`);
+        }
+        seen.set(key, i);
+    });
+    const matches = [];
+    needles.forEach((needle, specIndex) => {
+        const hits = findAll(bytes, needle);
+        const expected = placeholders[specIndex].occurrences;
+        if (hits.length === 0) {
+            throw new Error(`splitByPlaceholders: placeholder[${specIndex}] (${placeholders[specIndex].source}, sentinel ` +
+                `${placeholders[specIndex].value}) does not occur in the ${bytes.length}-byte payload — the ` +
+                `structure was encoded without it, or with a different value.`);
+        }
+        if (expected !== undefined && hits.length !== expected) {
+            throw new Error(`splitByPlaceholders: placeholder[${specIndex}] (${placeholders[specIndex].source}) occurs ` +
+                `${hits.length} time(s), but occurrences: ${expected} was declared — a miscount templates the ` +
+                `wrong field (too many) or leaves a sentinel in a real intent (too few).`);
+        }
+        for (const start of hits)
+            matches.push({ start, end: start + needle.length, specIndex });
+    });
+    matches.sort((a, b) => a.start - b.start);
+    for (let i = 1; i < matches.length; i++) {
+        if (matches[i].start < matches[i - 1].end) {
+            throw new Error(`splitByPlaceholders: placeholder hits overlap at byte ${matches[i].start} ` +
+                `(placeholder[${matches[i - 1].specIndex}] and placeholder[${matches[i].specIndex}]) — one ` +
+                `sentinel's bytes appear inside another's.`);
+        }
+    }
+    const segments = [];
+    const slots = [];
+    let cursor = 0;
+    for (const match of matches) {
+        segments.push(bytesToHex(bytes.slice(cursor, match.start)));
+        slots.push(slotOf(placeholders[match.specIndex]));
+        cursor = match.end;
+    }
+    segments.push(bytesToHex(bytes.slice(cursor)));
+    return { segments, slots };
+}
+/**
+ * The OFF-CHAIN twin of what the emitted program concatenates at runtime — the same role
+ * `IntentTemplate.render` plays on-chain, and the only way to check the codegen without an engine:
+ * given a measurement, this produces the exact bytes the program would, so a test can compare them
+ * against an independently built concrete intent.
+ */
+export function renderTemplate(template, amountIn, amountOut) {
+    return renderTemplateWith(template, { amountIn, amountOut });
+}
+/**
+ * `renderTemplate` for a template whose slots name arbitrary sources — one entry in `values` per
+ * distinct `slot.source`. A slot naming a source `values` does not carry throws rather than
+ * rendering a zero, which would be a valid-looking payload with a missing number in it.
+ */
+export function renderTemplateWith(template, values) {
+    assertShape(template, "renderTemplate");
+    const parts = [hexToBytes(template.segments[0])];
+    template.slots.forEach((slot, i) => {
+        const base = values[slot.source];
+        if (base === undefined) {
+            throw new Error(`renderTemplate: slot[${i}] renders '${slot.source}', which has no value — every source a ` +
+                `template names must be supplied (got ${Object.keys(values).join(", ") || "nothing"}).`);
+        }
+        if (base > maxScalableBase(slot.scale)) {
+            throw new Error(`renderTemplate: slot[${i}] base ${base} exceeds ${maxScalableBase(slot.scale)}, the largest ` +
+                `value the program's own 256-bit \`(base * scale + WAD - 1) / WAD\` can compute without wrapping.`);
+        }
+        const value = scaleAmount(base, slot.scale);
+        try {
+            parts.push(encodeFixedWidth(value, slot.width, slot.littleEndian));
+        }
+        catch (cause) {
+            throw new Error(`renderTemplate: slot[${i}] value ${value} does not fit its ${slot.width}-byte width`, { cause });
+        }
+        parts.push(hexToBytes(template.segments[i + 1]));
+    });
+    const total = parts.reduce((sum, part) => sum + part.length, 0);
+    const out = new Uint8Array(total);
+    let cursor = 0;
+    for (const part of parts) {
+        out.set(part, cursor);
+        cursor += part.length;
+    }
+    return bytesToHex(out);
+}
+function assertShape(template, helper) {
+    if (template.segments.length !== template.slots.length + 1) {
+        throw new Error(`${helper}: malformed template — ${template.segments.length} segment(s) for ` +
+            `${template.slots.length} slot(s); segments must be exactly slots + 1.`);
+    }
+}
+function literal(value) {
+    return `${value.toString()}n`;
+}
+/**
+ * Emits the SauceScript that renders this template at runtime, leaving the result in one local.
+ *
+ * Three kinds of statement come out, in this order:
+ *
+ *  1. one `const` per DISTINCT non-identity `(source, scale)` pair, each preceded by the overflow
+ *     guard `maxScalableBase` describes — the engine's `*` wraps, so an unguarded scale silently
+ *     renders a tiny number for a huge measurement;
+ *  2. one fit guard per distinct `(value, width)` where `width < 32`, mirroring
+ *     `IntentTemplate.AmountDoesNotFit`: `.toBytesBe(8)` of a value over `2^64` would otherwise
+ *     truncate into a plausible wrong amount;
+ *  3. one `const` per NON-EMPTY segment, then the single concat chain.
+ *
+ * Each segment is bound to its own `const` before `.concat` is called on it: a method call directly
+ * on a `hex` literal is outside the compiler's M1 subset (the same reason
+ * `deposit/templates.ts#calldataLines` and `nest.ts`'s native leg bind theirs). An EMPTY segment
+ * contributes nothing to the concatenation and is skipped entirely rather than bound and appended —
+ * except at index 0, which is the chain's base and must exist even when empty.
+ */
+export function emitTemplate(template, options) {
+    assertShape(template, "emitTemplate");
+    const { prefix, amountInVar, amountOutVar, locals } = options;
+    const statements = [];
+    /** The SauceScript local holding a slot's UNSCALED source value. */
+    const baseLocal = (source) => {
+        const named = locals?.[source];
+        if (named !== undefined)
+            return named;
+        if (source === "amountIn" && amountInVar !== undefined)
+            return amountInVar;
+        if (source === "amountOut" && amountOutVar !== undefined)
+            return amountOutVar;
+        throw new Error(`emitTemplate: no local was given for the source '${source}' — every source the template's ` +
+            `slots name needs one, via \`locals\` or the two measurement options.`);
+    };
+    // 1. Derived locals, one per distinct (source, scale). The identity scale needs no local at all —
+    // the base var IS the value — which also keeps the overwhelmingly common case free of arithmetic.
+    const derived = new Map();
+    const varFor = (slot) => {
+        const baseVar = baseLocal(slot.source);
+        if (slot.scale === WAD)
+            return baseVar;
+        const key = `${slot.source}:${slot.scale}`;
+        const existing = derived.get(key);
+        if (existing !== undefined)
+            return existing;
+        const name = `${prefix}v${derived.size}`;
+        statements.push(`if (${baseVar} > ${literal(maxScalableBase(slot.scale))}) { throw 'sauce: dynamic amount overflows scale'; }`, `const ${name} = (${baseVar} * ${literal(slot.scale)} + ${literal(WAD - 1n)}) / ${literal(WAD)};`);
+        derived.set(key, name);
+        return name;
+    };
+    const slotVars = template.slots.map(varFor);
+    // 2. Width guards, one per distinct (local, width) narrower than a full word.
+    const guarded = new Set();
+    template.slots.forEach((slot, i) => {
+        if (slot.width >= 32)
+            return;
+        const key = `${slotVars[i]}:${slot.width}`;
+        if (guarded.has(key))
+            return;
+        guarded.add(key);
+        statements.push(`if (${slotVars[i]} > ${literal((1n << BigInt(8 * slot.width)) - 1n)}) { throw 'sauce: dynamic amount does not fit'; }`);
+    });
+    // 3. Segment consts and the concat chain.
+    const segmentVar = (i) => `${prefix}s${i}`;
+    const used = new Set([0]);
+    template.slots.forEach((_, i) => {
+        if (hexToBytes(template.segments[i + 1]).length > 0)
+            used.add(i + 1);
+    });
+    for (const i of [...used].sort((a, b) => a - b)) {
+        statements.push(`const ${segmentVar(i)} = hex\`${template.segments[i].slice(2)}\`;`);
+    }
+    let expr = segmentVar(0);
+    template.slots.forEach((slot, i) => {
+        const encoder = slot.littleEndian ? "toBytesLe" : "toBytesBe";
+        expr += `.concat(${slotVars[i]}.${encoder}(${slot.width}))`;
+        if (used.has(i + 1))
+            expr += `.concat(${segmentVar(i + 1)})`;
+    });
+    const dataVar = `${prefix}data`;
+    statements.push(`const ${dataVar} = ${expr};`);
+    return { statements, dataVar, slotVars };
+}
+//# sourceMappingURL=template.js.map

package/sdk/dist/routes/template.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.js","sourceRoot":"","sources":["../../src/routes/template.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAY,MAAM,MAAM,CAAC;AAExD;;gCAEgC;AAChC,MAAM,CAAC,MAAM,GAAG,GAAG,GAAG,IAAI,GAAG,CAAC;AAE9B,MAAM,WAAW,GAAG,EAAE,IAAI,IAAI,GAAG,EAAE,CAAC;AAiEpC,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa;IAC/C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,4CAA4C,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,KAAa,EAAE,YAAqB;IAClF,WAAW,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IACvC,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,oCAAoC,KAAK,mCAAmC,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,KAAK,IAAI,EAAE,IAAI,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,iBAAiB,KAAK,UAAU,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;QAC/D,IAAI,KAAK,EAAE,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;uFACuF;AACvF,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,KAAa;IACtD,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,2EAA2E,KAAK,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,GAAG,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,EAAE,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC;AAC5C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,IAAI,KAAK,IAAI,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,KAAK,EAAE,CAAC,CAAC;IAC1F,IAAI,KAAK,KAAK,GAAG;QAAE,OAAO,WAAW,CAAC;IACtC,OAAO,CAAC,WAAW,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;AAC5C,CAAC;AAED,SAAS,MAAM,CAAC,IAAqB;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC;IAChC,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,gEAAgE,KAAK,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,iGAAiG;IACjG,4FAA4F;IAC5F,kFAAkF;IAClF,IAAI,IAAI,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,iGAAiG;YAC/F,2FAA2F;YAC3F,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,KAAK;QACL,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE;QACvB,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,KAAK;KACzC,CAAC;AACJ,CAAC;AAQD,SAAS,OAAO,CAAC,QAAoB,EAAE,MAAkB;IACvD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,EAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;gBAAE,SAAS,KAAK,CAAC;QACpD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAY,EACZ,YAAwC;IAExC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC;YACH,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CACb,oCAAoC,CAAC,MAAM,IAAI,CAAC,MAAM,WAAW,IAAI,CAAC,KAAK,oBAAoB;gBAC7F,YAAY,IAAI,CAAC,KAAK,aAAa,EACrC,EAAE,KAAK,EAAE,CACV,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,4FAA4F;IAC5F,mFAAmF;IACnF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACb,oCAAoC,CAAC,qBAAqB,QAAQ,6BAA6B;gBAC7F,IAAI,GAAG,sDAAsD,CAChE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAE,CAAC,WAAW,CAAC;QACtD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CACb,oCAAoC,SAAS,MAAM,YAAY,CAAC,SAAS,CAAE,CAAC,MAAM,aAAa;gBAC7F,GAAG,YAAY,CAAC,SAAS,CAAE,CAAC,KAAK,2BAA2B,KAAK,CAAC,MAAM,sBAAsB;gBAC9F,8DAA8D,CACjE,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CACb,oCAAoC,SAAS,MAAM,YAAY,CAAC,SAAS,CAAE,CAAC,MAAM,WAAW;gBAC3F,GAAG,IAAI,CAAC,MAAM,8BAA8B,QAAQ,2CAA2C;gBAC/F,yEAAyE,CAC5E,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,GAAG,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,yDAAyD,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG;gBAC3E,gBAAgB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,SAAS,qBAAqB,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,WAAW;gBAC9F,2CAA2C,CAC9C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAU,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,CAAE,CAAC,CAAC,CAAC;QACnD,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC;IACrB,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAE/C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,QAAsB,EAAE,QAAgB,EAAE,SAAiB;IACxF,OAAO,kBAAkB,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,QAAsB,EACtB,MAAwC;IAExC,WAAW,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACxC,MAAM,KAAK,GAAiB,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,wBAAwB,CAAC,cAAc,IAAI,CAAC,MAAM,yCAAyC;gBACzF,wCAAwC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,IAAI,CAC1F,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CACb,wBAAwB,CAAC,UAAU,IAAI,YAAY,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB;gBAC5F,kGAAkG,CACrG,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CACb,wBAAwB,CAAC,WAAW,KAAK,qBAAqB,IAAI,CAAC,KAAK,aAAa,EACrF,EAAE,KAAK,EAAE,CACV,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtB,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC;IACxB,CAAC;IACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,WAAW,CAAC,QAAsB,EAAE,MAAc;IACzD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CACb,GAAG,MAAM,0BAA0B,QAAQ,CAAC,QAAQ,CAAC,MAAM,kBAAkB;YAC3E,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,+CAA+C,CAC1E,CAAC;IACJ,CAAC;AACH,CAAC;AA0BD,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC;AAChC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAsB,EACtB,OAA4B;IAE5B,WAAW,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACtC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC9D,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,oEAAoE;IACpE,MAAM,SAAS,GAAG,CAAC,MAAkB,EAAU,EAAE;QAC/C,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,MAAM,KAAK,UAAU,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QAC3E,IAAI,MAAM,KAAK,WAAW,IAAI,YAAY,KAAK,SAAS;YAAE,OAAO,YAAY,CAAC;QAC9E,MAAM,IAAI,KAAK,CACb,oDAAoD,MAAM,kCAAkC;YAC1F,sEAAsE,CACzE,CAAC;IACJ,CAAC,CAAC;IAEF,kGAAkG;IAClG,kGAAkG;IAClG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,IAAkB,EAAU,EAAE;QAC5C,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG;YAAE,OAAO,OAAO,CAAC;QACvC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACzC,UAAU,CAAC,IAAI,CACb,OAAO,OAAO,MAAM,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,sDAAsD,EAC9G,SAAS,IAAI,OAAO,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC,OAAO,OAAO,CAAC,GAAG,CAAC,GAAG,CAClG,CAAC;QACF,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAE5C,8EAA8E;IAC9E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACjC,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE;YAAE,OAAO;QAC7B,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,UAAU,CAAC,IAAI,CACb,OAAO,QAAQ,CAAC,CAAC,CAAE,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,mDAAmD,CACzH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,0CAA0C;IAC1C,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC9B,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAChD,UAAU,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,WAAW,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACxF,CAAC;IAED,IAAI,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC;QAC9D,IAAI,IAAI,WAAW,QAAQ,CAAC,CAAC,CAAE,IAAI,OAAO,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC;QAC7D,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAAE,IAAI,IAAI,WAAW,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,GAAG,MAAM,MAAM,CAAC;IAChC,UAAU,CAAC,IAAI,CAAC,SAAS,OAAO,MAAM,IAAI,GAAG,CAAC,CAAC;IAE/C,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC3C,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"token-registry.d.ts","sourceRoot":"","sources":["../../src/routes/token-registry.ts"],"names":[],"mappings":"AA4CA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAE7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAc/C,MAAM,WAAW,gBAAgB;IAC/B,uFAAuF;IACvF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,KAAK,MAAM,EAAE,CAAC;IAChC,kGAAkG;IAClG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,6DAA6D;AAC7D,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAkHhF,CAAC;AAmDF;oGACoG;AACpG,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAK9F;AAED,yFAAyF;AACzF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,SAAS,MAAM,EAAE,CAI1E;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,YAAY,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,GACpD,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAa7B"}
+{"version":3,"file":"token-registry.d.ts","sourceRoot":"","sources":["../../src/routes/token-registry.ts"],"names":[],"mappings":"AA4CA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAE7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAmB/C,MAAM,WAAW,gBAAgB;IAC/B,uFAAuF;IACvF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,KAAK,MAAM,EAAE,CAAC;IAChC,kGAAkG;IAClG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,6DAA6D;AAC7D,eAAO,MAAM,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAqJhF,CAAC;AAmDF;oGACoG;AACpG,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAK9F;AAED,yFAAyF;AACzF,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,SAAS,MAAM,EAAE,CAI1E;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,YAAY,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,GACpD,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAa7B"}

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

@@ -52,7 +52,12 @@ import { chainById } from "../chains/canonical.js";
 // (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"]);
+const REWRITABLE_METHODS = new Set([
+    "transfer",
+    "approve",
+    "transferFrom",
+    "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).
@@ -136,6 +141,41 @@ export const TOKEN_REGISTRY = {
             source: "probe:monad@2026-08-31",
         },
     ],
+    // arc (5042) -- probe-verified 2026-09-28 at block 23287436 (getCode + symbol() + decimals(),
+    // via an Arc mainnet RPC), addresses from docs.arc.io/arc/references/contract-addresses. USDC
+    // here is the 6-decimal ERC-20 INTERFACE to Arc's native gas token, not a separate token: the
+    // same balance reads 18 decimals natively (see chains/index.ts). There is no wrapped USDC. WETH
+    // here is BRIDGED ETH, not a wrapped native — as on Polygon (whose wrapped native is WPOL), and
+    // unlike Ethereum/Optimism/Base/Arbitrum, where WETH is WETH9. Arc has no canonical wrapped native,
+    // so nothing may treat this WETH as one (actions `wrapETH`, the deposit `weth` templates). USYC is
+    // allowlist-restricted (only eligible, allowlisted holders can transfer it). cirBTC is not
+    // registered: its symbol() is "cirBTC", which the uppercase ticker rule below rejects.
+    5042: [
+        {
+            symbol: "USDC",
+            address: "0x3600000000000000000000000000000000000000",
+            decimals: 6,
+            source: "probe:arc@2026-09-28",
+        },
+        {
+            symbol: "EURC",
+            address: "0xbEf5f6d51CB62b58e6A8f77868681825C6fe21c1",
+            decimals: 6,
+            source: "probe:arc@2026-09-28",
+        },
+        {
+            symbol: "USYC",
+            address: "0x8a5D989Bbb96929F689B0200f435f53dA42bF490",
+            decimals: 6,
+            source: "probe:arc@2026-09-28",
+        },
+        {
+            symbol: "WETH",
+            address: "0x128cC466B61f542da60c70e3aA11c10e19B84EDB",
+            decimals: 18,
+            source: "probe:arc@2026-09-28",
+        },
+    ],
     // 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: [

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

@@ -1 +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"}
+{"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;IACtD,UAAU;IACV,SAAS;IACT,cAAc;IACd,WAAW;CACZ,CAAC,CAAC;AAaH,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,8FAA8F;IAC9F,8FAA8F;IAC9F,8FAA8F;IAC9F,gGAAgG;IAChG,gGAAgG;IAChG,oGAAoG;IACpG,mGAAmG;IACnG,2FAA2F;IAC3F,uFAAuF;IACvF,IAAI,EAAE;QACJ;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,sBAAsB;SAC/B;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,sBAAsB;SAC/B;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,sBAAsB;SAC/B;QACD;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,sBAAsB;SAC/B;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

@@ -1,50 +1,85 @@
+/**
+ * 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 declare const SAFE_WRITES: {
+    readonly transfer: {
+        readonly local: "__sauce_transfer";
+        readonly params: readonly ["to", "amount"];
+    };
+    readonly approve: {
+        readonly local: "__sauce_approve";
+        readonly params: readonly ["spender", "amount"];
+    };
+    readonly transferFrom: {
+        readonly local: "__sauce_transferFrom";
+        readonly params: readonly ["from", "to", "amount"];
+    };
+};
+export type SafeWrite = keyof typeof SAFE_WRITES;
+/** Every method the SYMBOL syntax lowers: the writes, plus the one read it has always offered. */
 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). */
+/** What a rewritten source now needs imported. */
+export interface TokenImports {
+    /** The `@sauce/token` writes it calls, under their `SAFE_WRITES` names. */
+    readonly writes: ReadonlySet<SafeWrite>;
+    /** Whether it names the typed `IERC20` binding, which the reads keep. */
+    readonly erc20: boolean;
+}
+/**
+ * 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 declare function tokenImportLines({ writes, erc20 }: TokenImports): readonly string[];
+/** Either the full registry-resolved `symbol -> address` map (enables every rewrite), or a bare set
+ *  of symbols with no addresses (the call-position rewrites only -- the sugar has no address to
+ *  inline, so it yields no sites). */
 export type TokenSymbols = ReadonlyMap<string, bigint> | ReadonlySet<string>;
-export interface TokenRewriteResult {
+export interface TokenRewriteResult extends TokenImports {
     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`. */
+    /** True if at least one site was rewritten -- tells the caller to prepend `tokenImportLines`. */
     readonly rewrote: boolean;
-    /** Count of U4 (`<Sym>.transfer/.approve/.balanceOf(...)`) call sites rewritten. */
+    /** Count of `<Sym>.<method>(...)` 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 {
+export interface TokenFactoryResult extends TokenImports {
     readonly source: string;
     readonly rewrote: boolean;
-    /** Count of `Token(...)` call sites rewritten. */
+    /** Count of `Token(...)` calls 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.
+ * 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 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.
+ * 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 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.
+ * 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
+ * acorn 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 declare function rewriteTokenMembers(source: string, tokens: TokenSymbols): TokenRewriteResult;
 //# sourceMappingURL=token-rewrite.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"token-rewrite.d.ts","sourceRoot":"","sources":["../../src/routes/token-rewrite.ts"],"names":[],"mappings":"AAyDA;;;GAGG;AACH,eAAO,MAAM,WAAW;;;;;;;;;;;;;CAIyD,CAAC;AAElF,MAAM,MAAM,SAAS,GAAG,MAAM,OAAO,WAAW,CAAC;AAEjD,kGAAkG;AAClG,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAKjD,CAAC;AAOH,kDAAkD;AAClD,MAAM,WAAW,YAAY;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACxC,yEAAyE;IACzE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,CAUnF;AAED;;sCAEsC;AACtC,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,WAAW,kBAAmB,SAAQ,YAAY;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iGAAiG;IACjG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAiQD,2CAA2C;AAC3C,eAAO,MAAM,kBAAkB,UAAU,CAAC;AAE1C,MAAM,WAAW,kBAAmB,SAAQ,YAAY;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,6CAA6C;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AA2FD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,kBAAkB,CA0GtE;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,kBAAkB,CAgC5F"}