@eco-incorp/sauce 0.99.5 → 0.99.6

package/sdk/dist/token/api.d.ts

@@ -37,13 +37,16 @@ export interface TokenCall {
  *
  * Route-body calls are positional (`Token(a).approve(spender, amt)`) where the runtime
  * [`TokenApi`] takes a spec object, because the body is compiled to Sauce bytecode rather than
- * executed: `token-rewrite.ts#rewriteTokenFactory` replaces the callee with `IERC20.at` before the
- * compiler sees it, and these signatures are what let a **typed closure** body typecheck on the way
- * there. Nothing calls these at run time, which is why they live here rather than on `TokenApi`.
+ * executed: `token-rewrite.ts#rewriteTokenFactory` lowers each write to `@sauce/token`'s function
+ * of the same name, which has OpenZeppelin `SafeERC20` semantics, and each read to `IERC20.at`,
+ * before the compiler sees it. These signatures are what let a **typed closure** body typecheck on
+ * the way there. The writes return nothing: they revert the program unless the token accepted
+ * them. Nothing calls these at run time, which is why they live here rather than on `TokenApi`.
  */
 export interface TokenBinding {
     transfer(to: AddressInput, amount: bigint): void;
     approve(spender: AddressInput, amount: bigint): void;
+    transferFrom(from: AddressInput, to: AddressInput, amount: bigint): void;
     balanceOf(owner: AddressInput): bigint;
 }
 /**
@@ -52,7 +55,7 @@ export interface TokenBinding {
  *
  * Deliberately NOT on `TokenApi` itself: the runtime `Token` value is a frozen object and is not
  * callable, so typing it as callable would promise something that throws. It describes what is
- * legal in a route BODY, where the call is rewritten to `IERC20.at(...)` and never survives to run.
+ * legal in a route BODY, where the call is rewritten before compiling and never survives to run.
  */
 export interface TokenFactory {
     (address: AddressInput): TokenBinding;

package/sdk/dist/token/api.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../../src/token/api.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAsB,KAAK,GAAG,EAAE,MAAM,MAAM,CAAC;AAEpD,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,GAAG,EAAE,MAAM,+BAA+B,CAAC;AAgBpD,OAAO,EAKL,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACvB,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,uEAAuE;IACvE,MAAM,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAAC;IACpC,yGAAyG;IACzG,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAAC;IACvC,yEAAyE;IACzE,UAAU,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAAC;IACxC,aAAa,CAAC,MAAM,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACrD,qGAAqG;IACrG,MAAM,IAAI;QAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzF,+FAA+F;IAC/F,WAAW,IAAI,SAAS,MAAM,EAAE,CAAC;CAClC;AA0FD;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACjD,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACrD,SAAS,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAAC;CACxC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,CAAC,OAAO,EAAE,YAAY,GAAG,YAAY,CAAC;CACvC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAC7C,OAAO,CAAC,IAAI,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAC3C,SAAS,CAAC,IAAI,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAC7C,yFAAyF;IACzF,OAAO,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,EAAE,IAAI,EAAE;QAAE,MAAM,EAAE,WAAW,CAAA;KAAE,GAAG,MAAM,CAAC;IAC5E,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,QAAQ,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AAED;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,QAclB,CAAC"}
+{"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../../src/token/api.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAsB,KAAK,GAAG,EAAE,MAAM,MAAM,CAAC;AAEpD,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,GAAG,EAAE,MAAM,+BAA+B,CAAC;AAgBpD,OAAO,EAKL,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACvB,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,uEAAuE;IACvE,MAAM,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAAC;IACpC,yGAAyG;IACzG,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAAC;IACvC,yEAAyE;IACzE,UAAU,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAAC;IACxC,aAAa,CAAC,MAAM,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACrD,qGAAqG;IACrG,MAAM,IAAI;QAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzF,+FAA+F;IAC/F,WAAW,IAAI,SAAS,MAAM,EAAE,CAAC;CAClC;AA0FD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACjD,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACrD,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACzE,SAAS,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAAC;CACxC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,CAAC,OAAO,EAAE,YAAY,GAAG,YAAY,CAAC;CACvC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAC7C,OAAO,CAAC,IAAI,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAC3C,SAAS,CAAC,IAAI,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAC7C,yFAAyF;IACzF,OAAO,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,EAAE,IAAI,EAAE;QAAE,MAAM,EAAE,WAAW,CAAA;KAAE,GAAG,MAAM,CAAC;IAC5E,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,QAAQ,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AAED;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,QAclB,CAAC"}

package/sdk/dist/token/api.js.map

@@ -1 +1 @@
-{"version":3,"file":"api.js","sourceRoot":"","sources":["../../src/token/api.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,kBAAkB,EAAY,MAAM,MAAM,CAAC;AAEpD,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,GAAG,EAAE,MAAM,+BAA+B,CAAC;AACpD,OAAO,EACL,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,WAAW,GACZ,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,MAAM,UAAU,CAAC;AAC3E,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,GAOrB,MAAM,YAAY,CAAC;AAwBpB,SAAS,aAAa,CAAC,IAAe;IACpC,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC;QAC7C,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC;QACvD,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC;QACrD,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE;YACxB,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YACjD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACtC,MAAM,SAAS,GAAG,IAAI,CAAC,EAAE,KAAK,WAAW,CAAC;YAC1C,MAAM,SAAS,GAAG,SAAS;gBACzB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG;gBACrC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,OAAO;gBACL,OAAO;gBACP,SAAS;gBACT,MAAM,EAAE,GAAG;gBACX,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACjF,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,EAAE;YACX,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,CAAC,EAAE,kEAAkE,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,KAAK,WAAW,EAAE,CAAC;gBAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACjC,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;oBAC1B,MAAM,IAAI,KAAK,CACb,sFAAsF,CACvF,CAAC;gBACJ,CAAC;gBACD,OAAO;oBACL,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;oBACvC,IAAI,EAAE,kBAAkB,CAAC;wBACvB,GAAG,EAAE,QAAQ;wBACb,YAAY,EAAE,WAAW;wBACzB,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;qBACxC,CAAC;oBACF,KAAK,EAAE,EAAE;iBACV,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU;gBAAE,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;;gBACzD,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,CAAC,EAAE,oEAAoE,CACvG,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;gBAC3B,OAAO;oBACL,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;oBACvC,IAAI,EAAE,kBAAkB,CAAC;wBACvB,GAAG,EAAE,QAAQ;wBACb,YAAY,EAAE,UAAU;wBACxB,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;qBACxF,CAAC;oBACF,KAAK,EAAE,EAAE;iBACV,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;gBACvC,IAAI,EAAE,kBAAkB,CAAC;oBACvB,GAAG,EAAE,QAAQ;oBACb,YAAY,EAAE,SAAS;oBACvB,IAAI,EAAE;wBACJ,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC;wBACnC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,sBAAsB,CAAC;qBACpD;iBACF,CAAC;gBACF,KAAK,EAAE,EAAE;aACV,CAAC;QACJ,CAAC;QACD,WAAW,EAAE,GAAG,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAe,EAAE,MAAmB;IAChE,OAAO,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,UAAU,CAAC,KAAiC,EAAE,KAAa;IAClE,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,cAAc,CAAC,CAAC;IACnF,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO,KAAK,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;AACnD,CAAC;AA6CD;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAa,MAAM,CAAC,MAAM,CAAC;IAC3C,QAAQ,EAAE,CAAC,IAAuB,EAAa,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,CAAC;IAC5F,OAAO,EAAE,CAAC,IAAsB,EAAa,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,CAAC;IACzF,SAAS,EAAE,CAAC,IAAsB,EAAa,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,CAAC;IAC7F,OAAO,EAAE,CAAC,KAA2B,EAAE,IAA6B,EAAU,EAAE,CAC9E,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;IACjC,GAAG;IACH,aAAa,EAAE,oBAAoB;IACnC,kBAAkB,EAAE,yBAAyB;IAC7C,QAAQ;IACR,oBAAoB;IACpB,mBAAmB;IACnB,iBAAiB;IACjB,oBAAoB;CACrB,CAAC,CAAC"}
+{"version":3,"file":"api.js","sourceRoot":"","sources":["../../src/token/api.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,kBAAkB,EAAY,MAAM,MAAM,CAAC;AAEpD,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,GAAG,EAAE,MAAM,+BAA+B,CAAC;AACpD,OAAO,EACL,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,WAAW,GACZ,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,MAAM,UAAU,CAAC;AAC3E,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,GAOrB,MAAM,YAAY,CAAC;AAwBpB,SAAS,aAAa,CAAC,IAAe;IACpC,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC;QAC7C,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC;QACvD,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC;QACrD,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE;YACxB,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YACjD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACtC,MAAM,SAAS,GAAG,IAAI,CAAC,EAAE,KAAK,WAAW,CAAC;YAC1C,MAAM,SAAS,GAAG,SAAS;gBACzB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG;gBACrC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACrC,OAAO;gBACL,OAAO;gBACP,SAAS;gBACT,MAAM,EAAE,GAAG;gBACX,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACjF,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,EAAE;YACX,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,CAAC,EAAE,kEAAkE,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,KAAK,WAAW,EAAE,CAAC;gBAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACjC,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;oBAC1B,MAAM,IAAI,KAAK,CACb,sFAAsF,CACvF,CAAC;gBACJ,CAAC;gBACD,OAAO;oBACL,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;oBACvC,IAAI,EAAE,kBAAkB,CAAC;wBACvB,GAAG,EAAE,QAAQ;wBACb,YAAY,EAAE,WAAW;wBACzB,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;qBACxC,CAAC;oBACF,KAAK,EAAE,EAAE;iBACV,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU;gBAAE,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;;gBACzD,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,CAAC,EAAE,oEAAoE,CACvG,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;gBAC3B,OAAO;oBACL,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;oBACvC,IAAI,EAAE,kBAAkB,CAAC;wBACvB,GAAG,EAAE,QAAQ;wBACb,YAAY,EAAE,UAAU;wBACxB,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;qBACxF,CAAC;oBACF,KAAK,EAAE,EAAE;iBACV,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;gBACvC,IAAI,EAAE,kBAAkB,CAAC;oBACvB,GAAG,EAAE,QAAQ;oBACb,YAAY,EAAE,SAAS;oBACvB,IAAI,EAAE;wBACJ,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC;wBACnC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,sBAAsB,CAAC;qBACpD;iBACF,CAAC;gBACF,KAAK,EAAE,EAAE;aACV,CAAC;QACJ,CAAC;QACD,WAAW,EAAE,GAAG,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAe,EAAE,MAAmB;IAChE,OAAO,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,UAAU,CAAC,KAAiC,EAAE,KAAa;IAClE,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,cAAc,CAAC,CAAC;IACnF,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO,KAAK,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;AACnD,CAAC;AAgDD;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAa,MAAM,CAAC,MAAM,CAAC;IAC3C,QAAQ,EAAE,CAAC,IAAuB,EAAa,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,CAAC;IAC5F,OAAO,EAAE,CAAC,IAAsB,EAAa,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,CAAC;IACzF,SAAS,EAAE,CAAC,IAAsB,EAAa,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,CAAC;IAC7F,OAAO,EAAE,CAAC,KAA2B,EAAE,IAA6B,EAAU,EAAE,CAC9E,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;IACjC,GAAG;IACH,aAAa,EAAE,oBAAoB;IACnC,kBAAkB,EAAE,yBAAyB;IAC7C,QAAQ;IACR,oBAAoB;IACpB,mBAAmB;IACnB,iBAAiB;IACjB,oBAAoB;CACrB,CAAC,CAAC"}

package/sdk/dist/token/evm.js

@@ -1,7 +1,7 @@
 /**
  * The ERC20 arm — statement/expression builders for the universal token interface's EVM lowering.
- * Typed-binding call against the engine-vendored `IERC20` artifact, the exact shape
- * `swap/source.ts`/`deposit/source.ts` already emit — nothing new reaches the compiler.
+ * The writes go through `safe.ts` (OpenZeppelin `SafeERC20`); the read is a typed call against the
+ * engine-vendored `IERC20` artifact, the shape `swap/source.ts`/`deposit/source.ts` already emit.
  */
 import { formatAddressField } from "../deposit/format.js";
 import { toAddressBigint, toAmountBigint } from "./params.js";

package/sdk/dist/token/index.d.ts

@@ -12,9 +12,9 @@
  * `sdk/src/token/source.ts` for the per-target emission seam and `sdk/src/token/api.ts` for the
  * `Token`/`TokenCall` builder shape.
  *
- * Two arms, chosen per call (not per accessor): the ERC20 arm (`evm.ts`) emits a typed-binding
- * `IERC20.at(token).transfer(...)` call, identical to how `swap/source.ts`/`deposit/source.ts`
- * already call protocol contracts; the SPL arm (`svm.ts`) emits `svm.call(program, accounts,
+ * Two arms, chosen per call (not per accessor): the ERC20 arm (`evm.ts`) emits the writes with
+ * OpenZeppelin `SafeERC20` semantics through `safe.ts`, and the `balanceOf` read as a typed
+ * `IERC20.at(token).balanceOf(...)` binding; the SPL arm (`svm.ts`) emits `svm.call(program, accounts,
  * accounts)` against the SPL Token program, reusing the `svmSettleSource` idiom
  * (`accountData`/`accountUint`, the `le8` u64 byteswap helper, `TransferChecked`/`ApproveChecked`).
  * The two arms are NOT interchangeable at compile time — the compiler rejects a contract binding on

package/sdk/dist/token/index.js

@@ -12,9 +12,9 @@
  * `sdk/src/token/source.ts` for the per-target emission seam and `sdk/src/token/api.ts` for the
  * `Token`/`TokenCall` builder shape.
  *
- * Two arms, chosen per call (not per accessor): the ERC20 arm (`evm.ts`) emits a typed-binding
- * `IERC20.at(token).transfer(...)` call, identical to how `swap/source.ts`/`deposit/source.ts`
- * already call protocol contracts; the SPL arm (`svm.ts`) emits `svm.call(program, accounts,
+ * Two arms, chosen per call (not per accessor): the ERC20 arm (`evm.ts`) emits the writes with
+ * OpenZeppelin `SafeERC20` semantics through `safe.ts`, and the `balanceOf` read as a typed
+ * `IERC20.at(token).balanceOf(...)` binding; the SPL arm (`svm.ts`) emits `svm.call(program, accounts,
  * accounts)` against the SPL Token program, reusing the `svmSettleSource` idiom
  * (`accountData`/`accountUint`, the `le8` u64 byteswap helper, `TransferChecked`/`ApproveChecked`).
  * The two arms are NOT interchangeable at compile time — the compiler rejects a contract binding on

package/sdk/src/protocols/cbeth/functions.ts

@@ -1,19 +1,17 @@
 export const transfer = `
-import { CbETHABI as ICbETH } from "./abis";
+import { transfer } from "@sauce/token";
 
 function main(cbethAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const cbeth = ICbETH.at(cbethAddress);
-  cbeth.transfer(to, amount);
+  transfer(cbethAddress, to, amount);
   return 1;
 }
 `;
 
 export const approve = `
-import { CbETHABI as ICbETH } from "./abis";
+import { approve } from "@sauce/token";
 
 function main(cbethAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const cbeth = ICbETH.at(cbethAddress);
-  cbeth.approve(spender, amount);
+  approve(cbethAddress, spender, amount);
   return 1;
 }
 `;

package/sdk/src/protocols/crvusd/functions.ts

@@ -1,17 +1,17 @@
 export const transfer = `
-import { CrvUSDERC20ABI as ICrvUSD } from "./abis";
+import { transfer } from "@sauce/token";
 
 function main(crvusdAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const crvusd = ICrvUSD.at(crvusdAddress);
-  return crvusd.transfer(to, amount);
+  transfer(crvusdAddress, to, amount);
+  return 1;
 }
 `;
 
 export const approve = `
-import { CrvUSDERC20ABI as ICrvUSD } from "./abis";
+import { approve } from "@sauce/token";
 
 function main(crvusdAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const crvusd = ICrvUSD.at(crvusdAddress);
-  return crvusd.approve(spender, amount);
+  approve(crvusdAddress, spender, amount);
+  return 1;
 }
 `;

package/sdk/src/protocols/erc20/functions.ts

@@ -1,29 +1,26 @@
 export const transfer = `
-import { ERC20ABI as IERC20 } from "./abis";
+import { transfer } from "@sauce/token";
 
 function main(token: Address, to: Address, amount: Uint256): Uint256 {
-  const t = IERC20.at(token);
-  t.transfer(to, amount);
+  transfer(token, to, amount);
   return 1;
 }
 `;
 
 export const approve = `
-import { ERC20ABI as IERC20 } from "./abis";
+import { approve } from "@sauce/token";
 
 function main(token: Address, spender: Address, amount: Uint256): Uint256 {
-  const t = IERC20.at(token);
-  t.approve(spender, amount);
+  approve(token, spender, amount);
   return 1;
 }
 `;
 
 export const transferFrom = `
-import { ERC20ABI as IERC20 } from "./abis";
+import { transferFrom } from "@sauce/token";
 
 function main(token: Address, from: Address, to: Address, amount: Uint256): Uint256 {
-  const t = IERC20.at(token);
-  t.transferFrom(from, to, amount);
+  transferFrom(token, from, to, amount);
   return 1;
 }
 `;

package/sdk/src/protocols/frax/functions.ts

@@ -1,17 +1,17 @@
 export const transfer = `
-import { FraxERC20ABI as IFRAX } from "./abis";
+import { transfer } from "@sauce/token";
 
 function main(fraxAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const frax = IFRAX.at(fraxAddress);
-  return frax.transfer(to, amount);
+  transfer(fraxAddress, to, amount);
+  return 1;
 }
 `;
 
 export const approve = `
-import { FraxERC20ABI as IFRAX } from "./abis";
+import { approve } from "@sauce/token";
 
 function main(fraxAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const frax = IFRAX.at(fraxAddress);
-  return frax.approve(spender, amount);
+  approve(fraxAddress, spender, amount);
+  return 1;
 }
 `;

package/sdk/src/protocols/gho/functions.ts

@@ -1,19 +1,17 @@
 export const transfer = `
-import { GhoTokenABI as IGhoToken } from "./abis";
+import { transfer } from "@sauce/token";
 
 function main(ghoAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const gho = IGhoToken.at(ghoAddress);
-  gho.transfer(to, amount);
+  transfer(ghoAddress, to, amount);
   return 1;
 }
 `;
 
 export const approve = `
-import { GhoTokenABI as IGhoToken } from "./abis";
+import { approve } from "@sauce/token";
 
 function main(ghoAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const gho = IGhoToken.at(ghoAddress);
-  gho.approve(spender, amount);
+  approve(ghoAddress, spender, amount);
   return 1;
 }
 `;

package/sdk/src/protocols/liquity-v2/functions.ts

@@ -1,19 +1,17 @@
 export const transfer = `
-import { BoldTokenABI as IBoldToken } from "./abis";
+import { transfer } from "@sauce/token";
 
 function main(boldAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const bold = IBoldToken.at(boldAddress);
-  bold.transfer(to, amount);
+  transfer(boldAddress, to, amount);
   return 1;
 }
 `;
 
 export const approve = `
-import { BoldTokenABI as IBoldToken } from "./abis";
+import { approve } from "@sauce/token";
 
 function main(boldAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const bold = IBoldToken.at(boldAddress);
-  bold.approve(spender, amount);
+  approve(boldAddress, spender, amount);
   return 1;
 }
 `;

package/sdk/src/skills/cbeth.md

@@ -21,18 +21,16 @@ import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/pro
 
 ```typescript
 // Transfer cbETH
-import { CbETHABI as ICbETH } from "./abis";
+import { transfer } from "@sauce/token";
 function main(cbethAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const cbeth = ICbETH.at(cbethAddress);
-  cbeth.transfer(to, amount);
+  transfer(cbethAddress, to, amount);
   return 1;
 }
 
 // Approve cbETH
-import { CbETHABI as ICbETH } from "./abis";
+import { approve } from "@sauce/token";
 function main(cbethAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const cbeth = ICbETH.at(cbethAddress);
-  cbeth.approve(spender, amount);
+  approve(cbethAddress, spender, amount);
   return 1;
 }
 ```

package/sdk/src/skills/crvusd.md

@@ -21,17 +21,17 @@ import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/pro
 
 ```typescript
 // Transfer crvUSD
-import { CrvUSDERC20ABI as ICrvUSD } from "./abis";
+import { transfer } from "@sauce/token";
 function main(crvusdAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const crvusd = ICrvUSD.at(crvusdAddress);
-  return crvusd.transfer(to, amount);
+  transfer(crvusdAddress, to, amount);
+  return 1;
 }
 
 // Approve crvUSD spender
-import { CrvUSDERC20ABI as ICrvUSD } from "./abis";
+import { approve } from "@sauce/token";
 function main(crvusdAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const crvusd = ICrvUSD.at(crvusdAddress);
-  return crvusd.approve(spender, amount);
+  approve(crvusdAddress, spender, amount);
+  return 1;
 }
 ```
 

package/sdk/src/skills/erc20.md

@@ -24,26 +24,23 @@ import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/pro
 
 ```typescript
 // Transfer tokens
-import { ERC20ABI as IERC20 } from "./abis";
+import { transfer } from "@sauce/token";
 function main(token: Address, to: Address, amount: Uint256): Uint256 {
-  const t = IERC20.at(token);
-  t.transfer(to, amount);
+  transfer(token, to, amount);
   return 1;
 }
 
 // Approve spender
-import { ERC20ABI as IERC20 } from "./abis";
+import { approve } from "@sauce/token";
 function main(token: Address, spender: Address, amount: Uint256): Uint256 {
-  const t = IERC20.at(token);
-  t.approve(spender, amount);
+  approve(token, spender, amount);
   return 1;
 }
 
 // Transfer from (requires prior approval)
-import { ERC20ABI as IERC20 } from "./abis";
+import { transferFrom } from "@sauce/token";
 function main(token: Address, from: Address, to: Address, amount: Uint256): Uint256 {
-  const t = IERC20.at(token);
-  t.transferFrom(from, to, amount);
+  transferFrom(token, from, to, amount);
   return 1;
 }
 
@@ -97,5 +94,6 @@ function main(to: Address, amount: Uint256): Uint256 {
 - approve before transferFrom: spender must be approved by the owner first
 - Common pattern: approve max (type(uint256).max) for DeFi interactions, or use exact amounts for security
 - decimals varies: most tokens use 18, USDC/USDT use 6, WBTC uses 8
-- Some tokens (USDT) do not return bool from transfer/approve -- use SafeERC20 wrapper for compatibility
+- Some tokens (USDT) do not return bool from transfer/approve. The writes above are `@sauce/token`'s, which follow OpenZeppelin SafeERC20: empty returndata is accepted from a contract, a `false` return reverts, and `approve` resets a non-zero allowance to zero first. They return nothing, since a refused write reverts the program
+- `ERC20ABI.at(token).transfer(...)` is the raw ABI call and is NOT SafeERC20: it reverts on a token that returns nothing and accepts one that returns `false`. Use it only when that is what you mean
 - The storageTransfer example demonstrates how to implement ERC-20 logic entirely in SauceScript using storage operations

package/sdk/src/skills/frax.md

@@ -21,17 +21,17 @@ import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/pro
 
 ```typescript
 // Transfer FRAX
-import { FraxERC20ABI as IFRAX } from "./abis";
+import { transfer } from "@sauce/token";
 function main(fraxAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const frax = IFRAX.at(fraxAddress);
-  return frax.transfer(to, amount);
+  transfer(fraxAddress, to, amount);
+  return 1;
 }
 
 // Approve FRAX spender
-import { FraxERC20ABI as IFRAX } from "./abis";
+import { approve } from "@sauce/token";
 function main(fraxAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const frax = IFRAX.at(fraxAddress);
-  return frax.approve(spender, amount);
+  approve(fraxAddress, spender, amount);
+  return 1;
 }
 ```
 

package/sdk/src/skills/gho.md

@@ -21,18 +21,16 @@ import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/pro
 
 ```typescript
 // Transfer GHO
-import { GhoTokenABI as IGhoToken } from "./abis";
+import { transfer } from "@sauce/token";
 function main(ghoAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const gho = IGhoToken.at(ghoAddress);
-  gho.transfer(to, amount);
+  transfer(ghoAddress, to, amount);
   return 1;
 }
 
 // Approve GHO spender
-import { GhoTokenABI as IGhoToken } from "./abis";
+import { approve } from "@sauce/token";
 function main(ghoAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const gho = IGhoToken.at(ghoAddress);
-  gho.approve(spender, amount);
+  approve(ghoAddress, spender, amount);
   return 1;
 }
 ```

package/sdk/src/skills/liquity-v2.md

@@ -21,18 +21,16 @@ import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/pro
 
 ```typescript
 // Transfer BOLD
-import { BoldTokenABI as IBoldToken } from "./abis";
+import { transfer } from "@sauce/token";
 function main(boldAddress: Address, to: Address, amount: Uint256): Uint256 {
-  const bold = IBoldToken.at(boldAddress);
-  bold.transfer(to, amount);
+  transfer(boldAddress, to, amount);
   return 1;
 }
 
 // Approve BOLD spender
-import { BoldTokenABI as IBoldToken } from "./abis";
+import { approve } from "@sauce/token";
 function main(boldAddress: Address, spender: Address, amount: Uint256): Uint256 {
-  const bold = IBoldToken.at(boldAddress);
-  bold.approve(spender, amount);
+  approve(boldAddress, spender, amount);
   return 1;
 }
 ```