@eco-incorp/sauce 0.99.5 → 0.99.7

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

@@ -1 +1 @@
-{"version":3,"file":"ambient.js","sourceRoot":"","sources":["../../src/routes/ambient.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAQ5C,SAAS,eAAe,CAAC,KAAmB;IAC1C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAqB,EACrB,OAA8B,EAAE;IAEhC,MAAM,OAAO,GAA8C;QACzD,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;KAC3B,CAAC;IAEF,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC;IAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5C,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS;YACpC,MAAM,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACxD,OAAO,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzC,OAAO,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;IAC5B,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,YAAY,CAAC,MAAsB;IACjD,OAAO,UAAU,EAAE,CAAC,OAAO,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"ambient.js","sourceRoot":"","sources":["../../src/routes/ambient.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAQ5C,SAAS,eAAe,CAAC,KAAmB;IAC1C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAqB,EACrB,OAA8B,EAAE;IAEhC,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS;QAC9B,CAAC,CAAC,EAAE,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE;QAClC,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AACrC,CAAC;AAED;qFACqF;AACrF,MAAM,aAAa,GAAG,IAAI,GAAG,EAA+D,CAAC;AAE7F;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAqB;IAErB,IAAI,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QACtD,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAqB,EACrB,IAA2B;IAE3B,MAAM,OAAO,GAA8C;QACzD,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;KAC3B,CAAC;IAEF,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC;IAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5C,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS;YACpC,MAAM,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACxD,OAAO,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzC,OAAO,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;IAC5B,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,YAAY,CAAC,MAAsB;IACjD,OAAO,UAAU,EAAE,CAAC,OAAO,CAAC;AAC9B,CAAC"}

package/sdk/dist/routes/ast-walk.d.ts

@@ -1,6 +1,6 @@
 /**
- * Shared acorn-AST plumbing for the routes/ source-rewrite passes (`token-rewrite.ts`,
- * `protocol-rewrite.ts`). Extracted verbatim from `token-rewrite.ts` (U4) so the two passes' whole-
+ * Shared AST plumbing for the routes/ source-rewrite passes (`token-rewrite.ts`,
+ * `protocol-rewrite.ts`), over the tree `parse.ts` produces. Extracted verbatim from `token-rewrite.ts` (U4) so the two passes' whole-
  * program shadow semantics can never drift apart — see `token-rewrite.ts`'s own module doc for the
  * shadowing rationale (SauceScript shares scope across `if`/`while`/bare-block bodies, so this is
  * deliberately a coarser, whole-program-conservative check, not real lexical scoping).
@@ -11,11 +11,25 @@ export interface AstNode {
     end: number;
     [key: string]: unknown;
 }
+/** The properties of a node (`parse.ts`'s TypeScript AST) that hold a TYPE rather than a value. */
+export declare const TYPE_KEYS: ReadonlySet<string>;
+/** A declaration that introduces only a type — `interface Leg { ... }` — and no value. */
+export declare function isTypeDeclaration(type: string): boolean;
 /** Generic recursive descent over every object/array-shaped property -- deliberately not a
  *  hand-maintained per-node-type visitor table, since SauceScript's supported grammar surface is
  *  itself the only thing that can appear here, and a generic walk needs no per-type maintenance as
- *  that surface grows. */
+ *  that surface grows.
+ *
+ *  Types are stepped over: an annotation (`amount: Uint256`, `): Leg`) and a type-only declaration
+ *  (`interface Leg`) name types, not values, so no rewrite may claim an identifier in one, and a
+ *  walk collecting reads must not see `Uint256` as one. */
 export declare function walk(node: unknown, visit: (n: AstNode) => void): void;
+/** Every name a binding PATTERN introduces -- an identifier, or any nesting of object/array
+ *  destructuring, defaults and rest. Collecting only the `Identifier` case would miss
+ *  `const { Token } = x` and `function f({ Token })`, which bind the name just as plainly. */
+export declare function collectPatternNames(pattern: unknown, names: {
+    add(name: string): void;
+}): void;
 /** Every name the program introduces that could shadow a rewritten global, anywhere in the tree --
  *  deliberately whole-program, not scope-sensitive (see the module doc's shadowing note).
  *
@@ -26,4 +40,8 @@ export declare function walk(node: unknown, visit: (n: AstNode) => void): void;
  *  meant their call was silently redirected to an ERC20 they never named. Fail closed on all of
  *  them: over-collecting only ever declines a rewrite, which is the safe direction. */
 export declare function collectDeclaredNames(program: AstNode): ReadonlySet<string>;
+/** How many times each name is BOUND anywhere in the program, over the same binding forms
+ *  `collectDeclaredNames` covers. A count of one is what lets a rewrite treat a name as a single
+ *  binding: two declarations of it, in any scopes, and it is not one value any more. */
+export declare function countDeclarations(program: AstNode): ReadonlyMap<string, number>;
 //# sourceMappingURL=ast-walk.d.ts.map

package/sdk/dist/routes/ast-walk.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ast-walk.d.ts","sourceRoot":"","sources":["../../src/routes/ast-walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED;;;0BAG0B;AAC1B,wBAAgB,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,IAAI,GAAG,IAAI,CAerE;AAsCD;;;;;;;;uFAQuF;AACvF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAkC1E"}
+{"version":3,"file":"ast-walk.d.ts","sourceRoot":"","sources":["../../src/routes/ast-walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,mGAAmG;AACnG,eAAO,MAAM,SAAS,EAAE,WAAW,CAAC,MAAM,CAQxC,CAAC;AAEH,0FAA0F;AAC1F,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEvD;AAED;;;;;;;2DAO2D;AAC3D,wBAAgB,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,IAAI,GAAG,IAAI,CAiBrE;AAED;;8FAE8F;AAC9F,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE;IAAE,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GAAG,IAAI,CA+B9F;AAED;;;;;;;;uFAQuF;AACvF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAE1E;AAED;;wFAEwF;AACxF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAmC/E"}

package/sdk/dist/routes/ast-walk.js

@@ -1,7 +1,25 @@
+/** The properties of a node (`parse.ts`'s TypeScript AST) that hold a TYPE rather than a value. */
+export const TYPE_KEYS = new Set([
+    "typeAnnotation",
+    "returnType",
+    "typeParameters",
+    "typeArguments",
+    "superTypeParameters",
+    "superTypeArguments",
+    "implements",
+]);
+/** A declaration that introduces only a type — `interface Leg { ... }` — and no value. */
+export function isTypeDeclaration(type) {
+    return type.startsWith("TS") && (type.endsWith("Declaration") || type === "TSDeclareFunction");
+}
 /** Generic recursive descent over every object/array-shaped property -- deliberately not a
  *  hand-maintained per-node-type visitor table, since SauceScript's supported grammar surface is
  *  itself the only thing that can appear here, and a generic walk needs no per-type maintenance as
- *  that surface grows. */
+ *  that surface grows.
+ *
+ *  Types are stepped over: an annotation (`amount: Uint256`, `): Leg`) and a type-only declaration
+ *  (`interface Leg`) name types, not values, so no rewrite may claim an identifier in one, and a
+ *  walk collecting reads must not see `Uint256` as one. */
 export function walk(node, visit) {
     if (node === null || typeof node !== "object")
         return;
@@ -12,18 +30,22 @@ export function walk(node, visit) {
     }
     const rec = node;
     if (typeof rec.type === "string") {
+        if (isTypeDeclaration(rec.type))
+            return;
         visit(rec);
     }
     for (const key of Object.keys(rec)) {
         if (key === "type" || key === "start" || key === "end" || key === "loc" || key === "range")
             continue;
+        if (TYPE_KEYS.has(key))
+            continue;
         walk(rec[key], visit);
     }
 }
 /** Every name a binding PATTERN introduces -- an identifier, or any nesting of object/array
  *  destructuring, defaults and rest. Collecting only the `Identifier` case would miss
  *  `const { Token } = x` and `function f({ Token })`, which bind the name just as plainly. */
-function collectPatternNames(pattern, names) {
+export function collectPatternNames(pattern, names) {
     if (pattern === null || typeof pattern !== "object")
         return;
     const node = pattern;
@@ -63,7 +85,14 @@ function collectPatternNames(pattern, names) {
  *  meant their call was silently redirected to an ERC20 they never named. Fail closed on all of
  *  them: over-collecting only ever declines a rewrite, which is the safe direction. */
 export function collectDeclaredNames(program) {
-    const names = new Set();
+    return new Set(countDeclarations(program).keys());
+}
+/** How many times each name is BOUND anywhere in the program, over the same binding forms
+ *  `collectDeclaredNames` covers. A count of one is what lets a rewrite treat a name as a single
+ *  binding: two declarations of it, in any scopes, and it is not one value any more. */
+export function countDeclarations(program) {
+    const counts = new Map();
+    const names = { add: (name) => counts.set(name, (counts.get(name) ?? 0) + 1) };
     walk(program, (n) => {
         switch (n.type) {
             case "VariableDeclarator":
@@ -95,6 +124,6 @@ export function collectDeclaredNames(program) {
                 return;
         }
     });
-    return names;
+    return counts;
 }
 //# sourceMappingURL=ast-walk.js.map

package/sdk/dist/routes/ast-walk.js.map

@@ -1 +1 @@
-{"version":3,"file":"ast-walk.js","sourceRoot":"","sources":["../../src/routes/ast-walk.ts"],"names":[],"mappings":"AAcA;;;0BAG0B;AAC1B,MAAM,UAAU,IAAI,CAAC,IAAa,EAAE,KAA2B;IAC7D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,KAAK,CAAC,GAAyB,CAAC,CAAC;IACnC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,OAAO;YACxF,SAAS;QACX,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IACxB,CAAC;AACH,CAAC;AAED;;8FAE8F;AAC9F,SAAS,mBAAmB,CAAC,OAAgB,EAAE,KAAkB;IAC/D,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO;IAC5D,MAAM,IAAI,GAAG,OAAkB,CAAC;IAChC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,KAAK,CAAC,GAAG,CAAE,IAAoC,CAAC,IAAI,CAAC,CAAC;YACtD,OAAO;QACT,KAAK,eAAe;YAClB,KAAK,MAAM,QAAQ,IAAK,IAAmC,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBAC7E,iFAAiF;gBACjF,+BAA+B;gBAC/B,mBAAmB,CAChB,QAAgC,CAAC,KAAK,IAAK,QAAmC,CAAC,QAAQ,EACxF,KAAK,CACN,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,cAAc;YACjB,KAAK,MAAM,OAAO,IAAK,IAAiC,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACxE,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACtC,CAAC;YACD,OAAO;QACT,KAAK,mBAAmB;YACtB,mBAAmB,CAAE,IAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9D,OAAO;QACT,KAAK,aAAa;YAChB,mBAAmB,CAAE,IAA+B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACtE,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC;AAED;;;;;;;;uFAQuF;AACvF,MAAM,UAAU,oBAAoB,CAAC,OAAgB;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,oBAAoB;gBACvB,mBAAmB,CAAE,CAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACvD,OAAO;YACT,KAAK,qBAAqB,CAAC;YAC3B,KAAK,oBAAoB,CAAC;YAC1B,KAAK,yBAAyB;gBAC5B,oFAAoF;gBACpF,mBAAmB,CAAE,CAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACvD,KAAK,MAAM,KAAK,IAAK,CAA4B,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;oBAC/D,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACpC,CAAC;gBACD,OAAO;YACT,KAAK,kBAAkB,CAAC;YACxB,KAAK,iBAAiB;gBACpB,mBAAmB,CAAE,CAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACvD,OAAO;YACT,KAAK,aAAa;gBAChB,mBAAmB,CAAE,CAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC7D,OAAO;YACT,KAAK,iBAAiB,CAAC;YACvB,KAAK,wBAAwB,CAAC;YAC9B,KAAK,0BAA0B;gBAC7B,kFAAkF;gBAClF,mBAAmB,CAAE,CAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC7D,OAAO;YACT;gBACE,OAAO;QACX,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"ast-walk.js","sourceRoot":"","sources":["../../src/routes/ast-walk.ts"],"names":[],"mappings":"AAcA,mGAAmG;AACnG,MAAM,CAAC,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC;IACpD,gBAAgB;IAChB,YAAY;IACZ,gBAAgB;IAChB,eAAe;IACf,qBAAqB;IACrB,oBAAoB;IACpB,YAAY;CACb,CAAC,CAAC;AAEH,0FAA0F;AAC1F,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,IAAI,KAAK,mBAAmB,CAAC,CAAC;AACjG,CAAC;AAED;;;;;;;2DAO2D;AAC3D,MAAM,UAAU,IAAI,CAAC,IAAa,EAAE,KAA2B;IAC7D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjC,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QACxC,KAAK,CAAC,GAAyB,CAAC,CAAC;IACnC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,OAAO;YACxF,SAAS;QACX,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QACjC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IACxB,CAAC;AACH,CAAC;AAED;;8FAE8F;AAC9F,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,KAAkC;IACtF,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO;IAC5D,MAAM,IAAI,GAAG,OAAkB,CAAC;IAChC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,KAAK,CAAC,GAAG,CAAE,IAAoC,CAAC,IAAI,CAAC,CAAC;YACtD,OAAO;QACT,KAAK,eAAe;YAClB,KAAK,MAAM,QAAQ,IAAK,IAAmC,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBAC7E,iFAAiF;gBACjF,+BAA+B;gBAC/B,mBAAmB,CAChB,QAAgC,CAAC,KAAK,IAAK,QAAmC,CAAC,QAAQ,EACxF,KAAK,CACN,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,cAAc;YACjB,KAAK,MAAM,OAAO,IAAK,IAAiC,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACxE,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACtC,CAAC;YACD,OAAO;QACT,KAAK,mBAAmB;YACtB,mBAAmB,CAAE,IAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9D,OAAO;QACT,KAAK,aAAa;YAChB,mBAAmB,CAAE,IAA+B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACtE,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC;AAED;;;;;;;;uFAQuF;AACvF,MAAM,UAAU,oBAAoB,CAAC,OAAgB;IACnD,OAAO,IAAI,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACpD,CAAC;AAED;;wFAEwF;AACxF,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,KAAK,GAAG,EAAE,GAAG,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;IACvF,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,oBAAoB;gBACvB,mBAAmB,CAAE,CAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACvD,OAAO;YACT,KAAK,qBAAqB,CAAC;YAC3B,KAAK,oBAAoB,CAAC;YAC1B,KAAK,yBAAyB;gBAC5B,oFAAoF;gBACpF,mBAAmB,CAAE,CAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACvD,KAAK,MAAM,KAAK,IAAK,CAA4B,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;oBAC/D,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACpC,CAAC;gBACD,OAAO;YACT,KAAK,kBAAkB,CAAC;YACxB,KAAK,iBAAiB;gBACpB,mBAAmB,CAAE,CAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACvD,OAAO;YACT,KAAK,aAAa;gBAChB,mBAAmB,CAAE,CAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC7D,OAAO;YACT,KAAK,iBAAiB,CAAC;YACvB,KAAK,wBAAwB,CAAC;YAC9B,KAAK,0BAA0B;gBAC7B,kFAAkF;gBAClF,mBAAmB,CAAE,CAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC7D,OAAO;YACT;gBACE,OAAO;QACX,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/sdk/dist/routes/available.d.ts

@@ -0,0 +1,43 @@
+/**
+ * `available(<name>)` — whether the chain a program is compiled for has a registry contract or
+ * token, decided at compile time. One program can then use a venue only where the chain has it:
+ *
+ *   if (available(UniswapV3.Factory)) { pool = UniswapV3.Factory.getPool(USDC, WETH, 500n); }
+ *
+ * `<name>` is a contract reference — `UniswapV3.Factory`, a family's `Uniswap.UniversalRouter`, a
+ * chain-qualified `Arbitrum.UniswapV3.Factory` — or a token symbol, `USDC`. A contract is available
+ * where the registry has its address on that chain; a token where the chain's token map (the
+ * registry plus the caller's `tokens`) names it. A name the registry does not know at all, on any
+ * chain, is an error rather than `false`, so a typo cannot quietly drop a branch; so is an
+ * interface, which no chain deploys, and an ambiguous family name.
+ *
+ * WHY THIS RUNS BEFORE EVERYTHING ELSE. The compiler folds `if (false)` away, but it resolves every
+ * name in the dead branch first — so a branch naming a contract the chain lacks would still fail.
+ * This pass therefore removes such a branch from the SOURCE before any other pass sees it:
+ *   - `if (available(X)) A else B` keeps `if (true) A` or `if (false) {} else B`, which the
+ *     compiler folds (a bare block is not in the language, so the statement stays an `if`);
+ *   - `available(X) ? a : b` keeps `(a)` or `(b)`;
+ *   - `available(X) && e` keeps `(e)` or `false`, and `available(X) || e` keeps `true` or `(e)`;
+ *   - `!`, `&&`, `||` over `available(...)` and `true`/`false` fold first.
+ * and a decided `if` that always returns or throws — the guard `if (!available(X)) return 0n;` —
+ * is replaced by the statements of the branch it takes, and the rest of its statement list goes. Anywhere else, `available(X)` is replaced by `true` or
+ * `false`. A branch reached only through a runtime value (`const has = available(X); if (has) ...`)
+ * is NOT removed: it is live code.
+ *
+ * A closure body inside the program (`Arbitrum(() => { ... })`) is left alone: it is compiled for
+ * its own chain, and this pass runs again there with that chain's registry.
+ */
+import type { CanonicalChain } from "../chains/canonical.js";
+export interface AvailabilityResult {
+    readonly source: string;
+    readonly rewrote: boolean;
+    /** How many `available(...)` calls were decided. */
+    readonly sites: number;
+}
+/**
+ * Decides every `available(...)` in `source` for `chain` and removes the branches it rules out.
+ * `tokens` is the chain's resolved token map (`resolveTokenMap`). A program that declares its own
+ * `available` keeps it, untouched.
+ */
+export declare function rewriteAvailability(source: string, chain: CanonicalChain, tokens: ReadonlyMap<string, bigint>): AvailabilityResult;
+//# sourceMappingURL=available.d.ts.map

package/sdk/dist/routes/available.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"available.d.ts","sourceRoot":"","sources":["../../src/routes/available.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAQ7D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oDAAoD;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AA4FD;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,cAAc,EACrB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAClC,kBAAkB,CA+JpB"}

package/sdk/dist/routes/available.js

@@ -0,0 +1,230 @@
+import { addressOn } from "../descriptors/query.js";
+import { collectDeclaredNames } from "./ast-walk.js";
+import { parseSauce } from "./parse.js";
+import { isChainKey, resolveNamespace } from "./accessor-index.js";
+import { resolveContractReference } from "./protocol-rewrite.js";
+import { SVM_TOKEN_REGISTRY, TOKEN_REGISTRY } from "./token-registry.js";
+const NAME = "available";
+function fail(message) {
+    throw new Error(`available(): ${message}`);
+}
+/** Every token symbol the registry has on any chain, EVM or Solana: a symbol outside this set is
+ *  a typo. */
+let knownSymbols;
+function registrySymbols() {
+    knownSymbols ??= new Set([...Object.values(TOKEN_REGISTRY), ...Object.values(SVM_TOKEN_REGISTRY)]
+        .flat()
+        .map((row) => row.symbol));
+    return knownSymbols;
+}
+/** `a.b.c` -> ["a", "b", "c"]; anything but a plain member chain of identifiers -> undefined. */
+function memberPath(node) {
+    if (node.type === "Identifier")
+        return [node.name];
+    if (node.type !== "MemberExpression" || node.computed)
+        return undefined;
+    const object = memberPath(node.object);
+    const property = node.property;
+    if (object === undefined || property.type !== "Identifier")
+        return undefined;
+    return [...object, property.name];
+}
+function decide(call, source, chain, tokens) {
+    const args = call.arguments ?? [];
+    const shown = source.slice(call.start, call.end);
+    if (args.length !== 1)
+        fail(`'${shown}' takes one name: a contract or a token symbol`);
+    const path = memberPath(args[0]);
+    if (path === undefined) {
+        fail(`'${shown}' takes a registry name — '<Protocol>.<Contract>' or a token symbol — not an expression`);
+    }
+    const [head, ...rest] = path;
+    if (rest.length === 0) {
+        if (tokens.has(head))
+            return true;
+        if (registrySymbols().has(head))
+            return false;
+        if (resolveNamespace(head) !== undefined) {
+            fail(`'${shown}' names a protocol; name one of its contracts: '${head}.<Contract>'`);
+        }
+        fail(`'${head}' is not a contract or token in the registry`);
+    }
+    if (!isChainKey(head) && resolveNamespace(head) === undefined) {
+        fail(`'${path.join(".")}' is not a contract or token in the registry`);
+    }
+    if (rest.length !== (isChainKey(head) ? 2 : 1)) {
+        fail(`'${shown}' -- expected available(<Protocol>.<Contract>) or available(<Chain>.<Protocol>.<Contract>)`);
+    }
+    const reference = resolveContractReference(head, rest, chain, undefined, `'${shown}'`, "");
+    if (reference.descriptor.kind === "interface") {
+        fail(`${reference.protocol}.${reference.contract} is an interface — no chain deploys it, so there is ` +
+            "nothing to check; it is called at an address the program supplies");
+    }
+    return addressOn(reference.descriptor, reference.chain) !== undefined;
+}
+/** Child nodes of `node` in source order. */
+function childrenOf(node) {
+    const out = [];
+    for (const [key, value] of Object.entries(node)) {
+        if (key === "type" || key === "start" || key === "end" || key === "loc" || key === "range") {
+            continue;
+        }
+        for (const item of Array.isArray(value) ? value : [value]) {
+            if (item !== null && typeof item === "object" && typeof item.type === "string") {
+                out.push(item);
+            }
+        }
+    }
+    return out.sort((a, b) => a.start - b.start);
+}
+const isFunctionExpression = (node) => node.type === "ArrowFunctionExpression" || node.type === "FunctionExpression";
+/**
+ * Decides every `available(...)` in `source` for `chain` and removes the branches it rules out.
+ * `tokens` is the chain's resolved token map (`resolveTokenMap`). A program that declares its own
+ * `available` keeps it, untouched.
+ */
+export function rewriteAvailability(source, chain, tokens) {
+    if (!source.includes(NAME))
+        return { source, rewrote: false, sites: 0 };
+    const program = parseSauce(source);
+    if (collectDeclaredNames(program).has(NAME))
+        return { source, rewrote: false, sites: 0 };
+    // Every call is decided, dead branch or not, so a typo anywhere fails.
+    const decided = new Map();
+    const visit = (node) => {
+        if (isFunctionExpression(node))
+            return;
+        if (node.type === "CallExpression" &&
+            node.callee.type === "Identifier" &&
+            node.callee.name === NAME) {
+            decided.set(node, decide(node, source, chain, tokens));
+        }
+        for (const child of childrenOf(node))
+            visit(child);
+    };
+    visit(program);
+    if (decided.size === 0)
+        return { source, rewrote: false, sites: 0 };
+    /** The value of an expression built from `available(...)`, literals, `!`, `&&`, `||`. */
+    const valueOf = (node) => {
+        if (decided.has(node))
+            return decided.get(node);
+        if (node.type === "Literal" && typeof node.value === "boolean") {
+            return node.value;
+        }
+        if (node.type === "UnaryExpression" && node.operator === "!") {
+            const inner = valueOf(node.argument);
+            return inner === undefined ? undefined : !inner;
+        }
+        if (node.type === "LogicalExpression") {
+            const { operator, left, right } = node;
+            const l = valueOf(left);
+            if (operator === "&&")
+                return l === false ? false : l === true ? valueOf(right) : undefined;
+            if (operator === "||")
+                return l === true ? true : l === false ? valueOf(right) : undefined;
+        }
+        return undefined;
+    };
+    /** Whether control never continues past `node`: it returns or throws on every path that a
+     *  decided `available(...)` leaves. */
+    const exits = (node) => {
+        if (node === null || node === undefined)
+            return false;
+        if (node.type === "ReturnStatement" || node.type === "ThrowStatement")
+            return true;
+        if (node.type === "BlockStatement") {
+            return (node.body ?? []).some(exits);
+        }
+        if (node.type === "IfStatement") {
+            const { test, consequent, alternate } = node;
+            const taken = valueOf(test);
+            if (taken === true)
+                return exits(consequent);
+            if (taken === false)
+                return exits(alternate);
+            return exits(consequent) && exits(alternate);
+        }
+        return false;
+    };
+    /** The branch a decided `if` takes (`null` when it takes an absent `else`). */
+    const taken = (node) => {
+        const { test, consequent, alternate } = node;
+        return valueOf(test) ? consequent : alternate;
+    };
+    /** A statement rendered in place of the `if` that held it: a block's statements, unwrapped. */
+    const renderInline = (node) => {
+        if (node === null)
+            return "";
+        if (node.type !== "BlockStatement")
+            return render(node);
+        const rendered = render(node);
+        return rendered.slice(rendered.indexOf("{") + 1, rendered.lastIndexOf("}"));
+    };
+    const render = (node) => {
+        if (isFunctionExpression(node))
+            return source.slice(node.start, node.end);
+        const value = valueOf(node);
+        if (value !== undefined && (decided.has(node) || node.type !== "Literal"))
+            return String(value);
+        // A statement list: after a decided `if` that always returns or throws (the guard
+        // `if (!available(X)) return 0n;`), the rest of the list cannot run, and is removed with it.
+        if (node.type === "Program" || node.type === "BlockStatement") {
+            const body = node.body ?? [];
+            let out = "";
+            let cursor = node.start;
+            for (const statement of body) {
+                const test = statement.test;
+                if (statement.type === "IfStatement" && valueOf(test) !== undefined && exits(statement)) {
+                    // The branch taken is the list's last word: its statements stand in for the `if`, so the
+                    // compiler sees every path return (it does not count `if (true) { return … }` as one).
+                    out += source.slice(cursor, statement.start) + renderInline(taken(statement));
+                    cursor = body[body.length - 1].end;
+                    break;
+                }
+                out += source.slice(cursor, statement.start) + render(statement);
+                cursor = statement.end;
+            }
+            return out + source.slice(cursor, node.end);
+        }
+        if (node.type === "IfStatement") {
+            const { test, consequent, alternate } = node;
+            const taken = valueOf(test);
+            if (taken === true)
+                return `if (true) ${render(consequent)}${alternate ? " else {}" : ""}`;
+            if (taken === false) {
+                return `if (false) {}${alternate ? ` else ${render(alternate)}` : ""}`;
+            }
+        }
+        if (node.type === "ConditionalExpression") {
+            const { test, consequent, alternate } = node;
+            const taken = valueOf(test);
+            if (taken !== undefined)
+                return `(${render(taken ? consequent : alternate)})`;
+        }
+        if (node.type === "LogicalExpression") {
+            const { operator, left, right } = node;
+            const l = valueOf(left);
+            // The left side decided, the right one not: the right is what remains, or nothing does.
+            if (l !== undefined && (operator === "&&" || operator === "||")) {
+                if ((operator === "&&") === l)
+                    return `(${render(right)})`;
+                return String(l);
+            }
+        }
+        let out = "";
+        let cursor = node.start;
+        for (const child of childrenOf(node)) {
+            // A shorthand property's key and value are one span: render it once.
+            if (child.start < cursor)
+                continue;
+            out += source.slice(cursor, child.start) + render(child);
+            cursor = child.end;
+        }
+        return out + source.slice(cursor, node.end);
+    };
+    // `render(program)` covers [program.start, program.end); keep anything outside it verbatim.
+    const rewritten = source.slice(0, program.start) + render(program) + source.slice(program.end);
+    return { source: rewritten, rewrote: true, sites: decided.size };
+}
+//# sourceMappingURL=available.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"available.js","sourceRoot":"","sources":["../../src/routes/available.ts"],"names":[],"mappings":"AA8BA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAgB,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AASzE,MAAM,IAAI,GAAG,WAAW,CAAC;AAEzB,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,KAAK,CAAC,gBAAgB,OAAO,EAAE,CAAC,CAAC;AAC7C,CAAC;AAED;cACc;AACd,IAAI,YAA6C,CAAC;AAClD,SAAS,eAAe;IACtB,YAAY,KAAK,IAAI,GAAG,CACtB,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;SACrE,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAC5B,CAAC;IACF,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,iGAAiG;AACjG,SAAS,UAAU,CAAC,IAAa;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAE,IAAoC,CAAC,IAAI,CAAC,CAAC;IACpF,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAK,IAA+B,CAAC,QAAQ;QAC/E,OAAO,SAAS,CAAC;IACnB,MAAM,MAAM,GAAG,UAAU,CAAE,IAA6B,CAAC,MAAO,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAI,IAA+B,CAAC,QAAS,CAAC;IAC5D,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO,CAAC,GAAG,MAAM,EAAG,QAAwC,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,MAAM,CACb,IAAa,EACb,MAAc,EACd,KAAqB,EACrB,MAAmC;IAEnC,MAAM,IAAI,GAAI,IAAkC,CAAC,SAAS,IAAI,EAAE,CAAC;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,IAAI,KAAK,gDAAgD,CAAC,CAAC;IACvF,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,CACF,IAAI,KAAK,yFAAyF,CACnG,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,IAAI,MAAM,CAAC,GAAG,CAAC,IAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACnC,IAAI,eAAe,EAAE,CAAC,GAAG,CAAC,IAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,IAAI,gBAAgB,CAAC,IAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,KAAK,mDAAmD,IAAI,cAAc,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,IAAI,IAAI,8CAA8C,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,IAAK,CAAC,IAAI,gBAAgB,CAAC,IAAK,CAAC,KAAK,SAAS,EAAE,CAAC;QAChE,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,UAAU,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,IAAI,CACF,IAAI,KAAK,4FAA4F,CACtG,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5F,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9C,IAAI,CACF,GAAG,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,QAAQ,sDAAsD;YAC/F,mEAAmE,CACtE,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC;AACxE,CAAC;AAED,6CAA6C;AAC7C,SAAS,UAAU,CAAC,IAAa;IAC/B,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YAC3F,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAQ,IAAgB,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC5F,GAAG,CAAC,IAAI,CAAC,IAAe,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,oBAAoB,GAAG,CAAC,IAAa,EAAW,EAAE,CACtD,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,CAAC;AAEhF;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAc,EACd,KAAqB,EACrB,MAAmC;IAEnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACxE,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAEzF,uEAAuE;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO;QACvC,IACE,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAC7B,IAA6B,CAAC,MAAO,CAAC,IAAI,KAAK,YAAY;YAC1D,IAA6B,CAAC,MAAuC,CAAC,IAAI,KAAK,IAAI,EACrF,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,CAAC;IACf,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAEpE,yFAAyF;IACzF,MAAM,OAAO,GAAG,CAAC,IAAa,EAAuB,EAAE;QACrD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAQ,IAA4B,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACxF,OAAQ,IAAsC,CAAC,KAAK,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAK,IAA8B,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YACxF,MAAM,KAAK,GAAG,OAAO,CAAE,IAA+B,CAAC,QAAS,CAAC,CAAC;YAClE,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAClD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAIjC,CAAC;YACF,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5F,IAAI,QAAQ,KAAK,IAAI;gBAAE,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7F,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF;2CACuC;IACvC,MAAM,KAAK,GAAG,CAAC,IAAgC,EAAW,EAAE;QAC1D,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,IAAI,CAAC;QACnF,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACnC,OAAO,CAAE,IAA6B,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAIvC,CAAC;YACF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC;YAC7C,IAAI,KAAK,KAAK,KAAK;gBAAE,OAAO,KAAK,CAAC,SAAS,CAAC,CAAC;YAC7C,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,+EAA+E;IAC/E,MAAM,KAAK,GAAG,CAAC,IAAa,EAAkB,EAAE;QAC9C,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAIvC,CAAC;QACF,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IAChD,CAAC,CAAC;IAEF,+FAA+F;IAC/F,MAAM,YAAY,GAAG,CAAC,IAAoB,EAAU,EAAE;QACpD,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CAAC,IAAa,EAAU,EAAE;QACvC,IAAI,oBAAoB,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;QAEhG,kFAAkF;QAClF,6FAA6F;QAC7F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC9D,MAAM,IAAI,GAAI,IAA6B,CAAC,IAAI,IAAI,EAAE,CAAC;YACvD,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;YACxB,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAI,SAAgC,CAAC,IAAI,CAAC;gBACpD,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,CAAC,IAAK,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;oBACzF,yFAAyF;oBACzF,uFAAuF;oBACvF,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;oBAC9E,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,GAAG,CAAC;oBACpC,MAAM;gBACR,CAAC;gBACD,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;gBACjE,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC;YACzB,CAAC;YACD,OAAO,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAIvC,CAAC;YACF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,aAAa,MAAM,CAAC,UAAU,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC3F,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;gBACpB,OAAO,gBAAgB,SAAS,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACzE,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YAC1C,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAIvC,CAAC;YACF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;QAChF,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAIjC,CAAC;YACF,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,wFAAwF;YACxF,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;gBAChE,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;gBAC3D,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QAED,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,qEAAqE;YACrE,IAAI,KAAK,CAAC,KAAK,GAAG,MAAM;gBAAE,SAAS;YACnC,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACzD,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC;QACrB,CAAC;QACD,OAAO,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CAAC;IAEF,4FAA4F;IAC5F,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/F,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;AACnE,CAAC"}

package/sdk/dist/routes/builtins.generated.d.ts

@@ -0,0 +1,180 @@
+import type { SauceBytes } from "./source-globals.generated.js";
+/** A bytes argument: a text literal, `hex`…``, or a bytes value. */
+export type SauceBytesLike = string | SauceBytes;
+/** A scalar argument: a number, an address or a bool. */
+export type SauceScalar = bigint | number | boolean;
+/** A field of `abi.decode`'s result, typed from its shape string. */
+export type SauceDecoded<Shape> = Shape extends "bool" | "boolean" ? boolean : Shape extends "bytes" | "string" ? SauceBytes : Shape extends `${string}[]` | `{${string}}` ? unknown : bigint;
+/** An account the transaction attaches (SVM), or an address (EVM). */
+export interface SauceAccount {
+    /** `account.address: Uint256` — EVM and SVM. */
+    readonly address: bigint;
+    /** `account.owner: Uint256` — SVM only. */
+    readonly owner: bigint;
+    /** `account.dataLen: Uint256` — SVM only. */
+    readonly dataLen: bigint;
+}
+/** `ctx`: context reads. */
+export interface SauceContext {
+    /** `ctx.msgSender(): Uint256` — EVM and SVM. */
+    msgSender(): bigint;
+    /** `ctx.self(): Uint256` — EVM and SVM. */
+    self(): bigint;
+    /** `ctx.chainId(): Uint256` — EVM and SVM. */
+    chainId(): bigint;
+    /** `ctx.blockNumber(): Uint256` — EVM and SVM. */
+    blockNumber(): bigint;
+    /** `ctx.timestamp(): Uint256` — EVM and SVM. */
+    timestamp(): bigint;
+    /** `ctx.selfBalance(): Uint256` — EVM and SVM. */
+    selfBalance(): bigint;
+    /** `ctx.msgData(): bytes` — EVM and SVM. */
+    msgData(): SauceBytes;
+    /** `ctx.balance(address: Uint256): Uint256` — EVM and SVM. */
+    balance(address: bigint): bigint;
+    /** `ctx.msgValue(): Uint256` — EVM only. */
+    msgValue(): bigint;
+    /** `ctx.gasLeft(): Uint256` — EVM only. */
+    gasLeft(): bigint;
+    /** `ctx.codeSize(address: Uint256): Uint256` — EVM only. */
+    codeSize(address: bigint): bigint;
+    /** `ctx.codeHash(address: Uint256): Uint256` — EVM only. */
+    codeHash(address: bigint): bigint;
+    /** `ctx.isContract(address: Uint256): bool` — EVM only. */
+    isContract(address: bigint): boolean;
+    /** `ctx.isEOA(address: Uint256): bool` — EVM only. */
+    isEOA(address: bigint): boolean;
+}
+/** `abi`: Solidity ABI encoding. */
+export interface SauceAbi {
+    /** `abi.encode(...values: value[]): bytes` — EVM only. */
+    encode(...values: unknown[]): SauceBytes;
+    /** `abi.decode(data: bytes, shape: string[]): record` — EVM only. */
+    decode<const Shape extends readonly string[]>(data: SauceBytesLike, shape: Shape): {
+        -readonly [K in keyof Shape]: SauceDecoded<Shape[K]>;
+    };
+}
+/** `evm`: raw calls and storage on the EVM. */
+export interface SauceEvm {
+    /** `evm.call(address: Uint256, value: Uint256, data: bytes): bytes` — EVM only. */
+    call(address: bigint, value: bigint, data: SauceBytesLike): SauceBytes;
+    /** `evm.static(address: Uint256, data: bytes): bytes` — EVM only. */
+    static(address: bigint, data: SauceBytesLike): SauceBytes;
+    /** `evm.delegate(address: Uint256, data: bytes): bytes` — EVM only. */
+    delegate(address: bigint, data: SauceBytesLike): SauceBytes;
+    /** `evm.sload(slot: Uint256): Uint256` — EVM only. */
+    sload(slot: bigint): bigint;
+    /** `evm.sstore(slot: Uint256, value: Uint256): void` — EVM only. */
+    sstore(slot: bigint, value: bigint): void;
+    /** `evm.tload(key: Uint256): Uint256` — EVM only. */
+    tload(key: bigint): bigint;
+    /** `evm.tstore(key: Uint256, value: Uint256): void` — EVM only. */
+    tstore(key: bigint, value: bigint): void;
+}
+/** `svm`: accounts and cross-program calls on the SVM. */
+export interface SauceSvm {
+    /** `svm.sload(account: Account, offset: Uint256, length: Uint256): bytes` — SVM only. */
+    sload(account: SauceAccount, offset: bigint, length: bigint): SauceBytes;
+    /** `svm.sstore(account: Account<Writable, Signer>, offset: Uint256, data: bytes): void` — SVM only. */
+    sstore(account: SauceAccount, offset: bigint, data: SauceBytesLike): void;
+    /** `svm.call(program: Account, accounts: Account[], data: bytes): bytes` — SVM only. */
+    call(program: SauceAccount, accounts: readonly (SauceAccount)[], data: SauceBytesLike): SauceBytes;
+    /** `svm.remainingAccount(index: Uint256): Account` — SVM only. */
+    remainingAccount(index: bigint): SauceAccount;
+    /** `svm.remainingAccounts(): Account[]` — SVM only. */
+    remainingAccounts(): SauceAccount[];
+}
+declare module "./source-globals.generated.js" {
+    interface SauceBytes {
+        /** `bytes.slice(start: Uint256, end: Uint256): bytes` — EVM and SVM. */
+        slice(start: bigint, end: bigint): SauceBytes;
+        /** `bytes.concat(...parts: bytes[]): bytes` — EVM and SVM. */
+        concat(...parts: SauceBytesLike[]): SauceBytes;
+        /** `bytes.toBe(): Uint256` — EVM and SVM. */
+        toBe(): bigint;
+        /** `bytes.toLe(): Uint256` — EVM and SVM. */
+        toLe(): bigint;
+        /** `(bytes | T[]).length: Uint256` — EVM and SVM. */
+        readonly length: bigint;
+    }
+}
+/** `crypto`: hashes, signatures and program addresses. */
+export interface SauceCrypto {
+    /** `crypto.keccak256(data: bytes): Uint256` — EVM and SVM. */
+    keccak256(data: SauceBytesLike): bigint;
+    /** `crypto.ecdsaVerify(hash: Uint256, signature: bytes, signer: Uint256): bool` — EVM and SVM. */
+    ecdsaVerify(hash: bigint, signature: SauceBytesLike, signer: bigint): boolean;
+    /** `crypto.findPDA(programId: Uint256, seeds: bytes[]): [Uint256, Uint256]` — EVM and SVM. */
+    findPDA(programId: bigint, seeds: readonly (SauceBytesLike)[]): [bigint, bigint];
+}
+declare module "crypto" {
+    namespace webcrypto {
+        interface Crypto extends SauceCrypto {
+        }
+    }
+}
+declare global {
+    const ctx: SauceContext;
+    const abi: SauceAbi;
+    const evm: SauceEvm;
+    const svm: SauceSvm;
+    /** The DOM's `crypto`. The host declares the variable: the DOM, a worker or Node. Declaring it
+     *  here too would clash with Node's own declaration of it. */
+    interface Crypto extends SauceCrypto {
+    }
+    /** SauceScript's integer functions, merged into the host's `Math`. */
+    interface Math {
+        /** `Math.sqrt(x: Uint256): Uint256` — EVM and SVM. */
+        sqrt(x: bigint): bigint;
+        /** `Math.mulDiv(x: Uint256, y: Uint256, d: Uint256): Uint256` — EVM and SVM. */
+        mulDiv(x: bigint, y: bigint, d: bigint): bigint;
+        /** `Math.addMod(a: Uint256, b: Uint256, n: Uint256): Uint256` — EVM and SVM. */
+        addMod(a: bigint, b: bigint, n: bigint): bigint;
+        /** `Math.mulMod(a: Uint256, b: Uint256, n: Uint256): Uint256` — EVM and SVM. */
+        mulMod(a: bigint, b: bigint, n: bigint): bigint;
+        /** `Math.sDiv(a: Uint256, b: Uint256): Uint256` — EVM and SVM. */
+        sDiv(a: bigint, b: bigint): bigint;
+        /** `Math.sMod(a: Uint256, b: Uint256): Uint256` — EVM and SVM. */
+        sMod(a: bigint, b: bigint): bigint;
+        /** `Math.sShr(value: Uint256, bits: Uint256): Uint256` — EVM and SVM. */
+        sShr(value: bigint, bits: bigint): bigint;
+        /** `Math.signExtend(value: Uint256, byte: Uint256): Uint256` — EVM and SVM. */
+        signExtend(value: bigint, byte: bigint): bigint;
+        /** `Math.sLt(a: Uint256, b: Uint256): Uint256` — EVM and SVM. */
+        sLt(a: bigint, b: bigint): bigint;
+        /** `Math.sGt(a: Uint256, b: Uint256): Uint256` — EVM and SVM. */
+        sGt(a: bigint, b: bigint): bigint;
+        /** `Math.sLte(a: Uint256, b: Uint256): Uint256` — EVM and SVM. */
+        sLte(a: bigint, b: bigint): bigint;
+        /** `Math.sGte(a: Uint256, b: Uint256): Uint256` — EVM and SVM. */
+        sGte(a: bigint, b: bigint): bigint;
+    }
+    /** Methods on a number. */
+    interface BigInt {
+        /** `value.toBytesBe(width: Uint256): bytes` — EVM and SVM. */
+        toBytesBe(width: bigint): SauceBytes;
+        /** `value.toBytesLe(width: Uint256): bytes` — EVM and SVM. */
+        toBytesLe(width: bigint): SauceBytes;
+    }
+    interface ArrayConstructor {
+        /** `new Array(length: Uint256): Uint256[]` — EVM and SVM. */
+        new (length: bigint): bigint[];
+    }
+    /** `revert(data?: bytes): void` — EVM and SVM. */
+    function revert(data?: SauceBytesLike): void;
+    /** `log(data: bytes, ...topics: scalar[]): void` — EVM and SVM. */
+    function log(data: SauceBytesLike, ...topics: SauceScalar[]): void;
+    /** `eval(program: bytes, ...args: scalar[]): bytes` — EVM and SVM. */
+    function eval(program: SauceBytesLike, ...args: SauceScalar[]): SauceBytes;
+    /** `hex`digits`: bytes` — EVM and SVM. */
+    function hex(strings: TemplateStringsArray): SauceBytes;
+    namespace NodeJS {
+        /** `require(condition, message?)`, merged into the host's `require`. */
+        interface Require {
+            /** `require(condition: scalar, message?: bytes): void` — EVM and SVM. */
+            (condition: SauceScalar, message?: SauceBytesLike): void;
+        }
+    }
+    var require: NodeJS.Require;
+}
+//# sourceMappingURL=builtins.generated.d.ts.map

package/sdk/dist/routes/builtins.generated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtins.generated.d.ts","sourceRoot":"","sources":["../../src/routes/builtins.generated.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,oEAAoE;AACpE,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,UAAU,CAAC;AAEjD,yDAAyD;AACzD,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEpD,qEAAqE;AACrE,MAAM,MAAM,YAAY,CAAC,KAAK,IAAI,KAAK,SAAS,MAAM,GAAG,SAAS,GAC9D,OAAO,GACP,KAAK,SAAS,OAAO,GAAG,QAAQ,GAC9B,UAAU,GACV,KAAK,SAAS,GAAG,MAAM,IAAI,GAAG,IAAI,MAAM,GAAG,GACzC,OAAO,GACP,MAAM,CAAC;AAEf,sEAAsE;AACtE,MAAM,WAAW,YAAY;IAC3B,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,4BAA4B;AAC5B,MAAM,WAAW,YAAY;IAC3B,gDAAgD;IAChD,SAAS,IAAI,MAAM,CAAC;IACpB,2CAA2C;IAC3C,IAAI,IAAI,MAAM,CAAC;IACf,8CAA8C;IAC9C,OAAO,IAAI,MAAM,CAAC;IAClB,kDAAkD;IAClD,WAAW,IAAI,MAAM,CAAC;IACtB,gDAAgD;IAChD,SAAS,IAAI,MAAM,CAAC;IACpB,kDAAkD;IAClD,WAAW,IAAI,MAAM,CAAC;IACtB,4CAA4C;IAC5C,OAAO,IAAI,UAAU,CAAC;IACtB,8DAA8D;IAC9D,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,4CAA4C;IAC5C,QAAQ,IAAI,MAAM,CAAC;IACnB,2CAA2C;IAC3C,OAAO,IAAI,MAAM,CAAC;IAClB,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IAClC,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;IAClC,2DAA2D;IAC3D,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;IACrC,sDAAsD;IACtD,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAED,oCAAoC;AACpC,MAAM,WAAW,QAAQ;IACvB,0DAA0D;IAC1D,MAAM,CAAC,GAAG,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC;IACzC,qEAAqE;IACrE,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,GAAG;QAAE,CAAC,UAAU,CAAC,IAAI,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC;CAC7I;AAED,+CAA+C;AAC/C,MAAM,WAAW,QAAQ;IACvB,mFAAmF;IACnF,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,GAAG,UAAU,CAAC;IACvE,qEAAqE;IACrE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,GAAG,UAAU,CAAC;IAC1D,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,GAAG,UAAU,CAAC;IAC5D,sDAAsD;IACtD,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5B,oEAAoE;IACpE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,qDAAqD;IACrD,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,mEAAmE;IACnE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1C;AAED,0DAA0D;AAC1D,MAAM,WAAW,QAAQ;IACvB,yFAAyF;IACzF,KAAK,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC;IACzE,uGAAuG;IACvG,MAAM,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI,CAAC;IAC1E,wFAAwF;IACxF,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,cAAc,GAAG,UAAU,CAAC;IACnG,kEAAkE;IAClE,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAAC;IAC9C,uDAAuD;IACvD,iBAAiB,IAAI,YAAY,EAAE,CAAC;CACrC;AAED,OAAO,QAAQ,+BAA+B,CAAC;IAC7C,UAAU,UAAU;QAClB,wEAAwE;QACxE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,CAAC;QAC9C,8DAA8D;QAC9D,MAAM,CAAC,GAAG,KAAK,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC;QAC/C,6CAA6C;QAC7C,IAAI,IAAI,MAAM,CAAC;QACf,6CAA6C;QAC7C,IAAI,IAAI,MAAM,CAAC;QACf,qDAAqD;QACrD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB;CACF;AAED,0DAA0D;AAC1D,MAAM,WAAW,WAAW;IAC1B,8DAA8D;IAC9D,SAAS,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAAC;IACxC,kGAAkG;IAClG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9E,8FAA8F;IAC9F,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClF;AAID,OAAO,QAAQ,QAAQ,CAAC;IACtB,UAAU,SAAS,CAAC;QAClB,UAAU,MAAO,SAAQ,WAAW;SAAG;KACxC;CACF;AAED,OAAO,CAAC,MAAM,CAAC;IACb,MAAM,GAAG,EAAE,YAAY,CAAC;IACxB,MAAM,GAAG,EAAE,QAAQ,CAAC;IACpB,MAAM,GAAG,EAAE,QAAQ,CAAC;IACpB,MAAM,GAAG,EAAE,QAAQ,CAAC;IAEpB;kEAC8D;IAC9D,UAAU,MAAO,SAAQ,WAAW;KAAG;IAEvC,sEAAsE;IACtE,UAAU,IAAI;QACZ,sDAAsD;QACtD,IAAI,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QACxB,gFAAgF;QAChF,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QAChD,gFAAgF;QAChF,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QAChD,gFAAgF;QAChF,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QAChD,kEAAkE;QAClE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QACnC,kEAAkE;QAClE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QACnC,yEAAyE;QACzE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;QAC1C,+EAA+E;QAC/E,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;QAChD,iEAAiE;QACjE,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QAClC,iEAAiE;QACjE,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QAClC,kEAAkE;QAClE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QACnC,kEAAkE;QAClE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;KACpC;IAED,2BAA2B;IAC3B,UAAU,MAAM;QACd,8DAA8D;QAC9D,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC;QACrC,8DAA8D;QAC9D,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC;KACtC;IAED,UAAU,gBAAgB;QACxB,6DAA6D;QAC7D,KAAK,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;KAChC;IAED,kDAAkD;IAClD,SAAS,MAAM,CAAC,IAAI,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC;IAC7C,mEAAmE;IACnE,SAAS,GAAG,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IACnE,sEAAsE;IACtE,SAAS,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC;IAC3E,0CAA0C;IAC1C,SAAS,GAAG,CAAC,OAAO,EAAE,oBAAoB,GAAG,UAAU,CAAC;IAExD,UAAU,MAAM,CAAC;QACf,wEAAwE;QACxE,UAAU,OAAO;YACf,yEAAyE;YACzE,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC;SAC1D;KACF;IACD,IAAI,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;CAC7B"}