@eco-incorp/sauce 0.99.4 → 0.99.6

package/sdk/src/skills/spookyswap.md

@@ -37,7 +37,7 @@ function main(
 }
 ```
 
-- `routerAddress`: SpookySwap Router on Fantom (`0xa6AD18C2aC47803E193F75c3677b14BF19B94883`)
+- `routerAddress`: SpookySwap Router on Fantom (`0xF491e7B69E4244ad4002BC14e878a34207E38c29`)
 - `path`: Ordered token address array for the swap route
 - `amountIn`: Exact input amount (in wei)
 - `amountOutMin`: Minimum output for slippage protection
@@ -107,7 +107,7 @@ function main(
 
 | Chain  | Contract  | Address                                      |
 | ------ | --------- | -------------------------------------------- |
-| Fantom | V2 Router | `0xa6AD18C2aC47803E193F75c3677b14BF19B94883` |
+| Fantom | V2 Router | `0xF491e7B69E4244ad4002BC14e878a34207E38c29` |
 
 ## ABI Methods
 

package/sdk/src/skills/squid.md

@@ -17,24 +17,32 @@ import { SquidRouterABI as ISquidRouter } from "./abis";
 
 function main(
   routerAddress: Address,
-  token: Address,
   amount: Uint256,
   bridgedTokenSymbol: string,
   destinationChain: string,
   destinationAddress: string,
+  gasRefundRecipient: Address,
 ): Uint256 {
   const router = ISquidRouter.at(routerAddress);
-  router.callBridge(token, amount, bridgedTokenSymbol, destinationChain, destinationAddress, 0x00);
+  router.bridgeCall(
+    bridgedTokenSymbol,
+    amount,
+    destinationChain,
+    destinationAddress,
+    "",
+    gasRefundRecipient,
+    false,
+  );
   return 1;
 }
 ```
 
-- `token`: ERC-20 token address to bridge on source chain
 - `amount`: Amount of tokens to bridge
-- `bridgedTokenSymbol`: Symbol of the bridged token on Axelar (e.g. "axlUSDC", "WETH")
+- `bridgedTokenSymbol`: Symbol of the Axelar gateway token to bridge (e.g. "axlUSDC", "WETH"); it selects the token
 - `destinationChain`: Axelar chain name string (e.g. "ethereum", "arbitrum", "Polygon")
 - `destinationAddress`: Recipient address on the destination chain (as string)
-- `payload`: Optional calldata to execute on destination. `0x00` for simple transfers
+- `payload` (5th argument): Optional calldata to execute on destination; empty for simple transfers
+- `gasRefundRecipient`: receives unused Axelar gas; `enableExpress` (last) opts into express delivery
 - Requires ERC-20 approval to the Squid Router
 
 ## Deployed Addresses
@@ -53,19 +61,19 @@ function main(
 
 ### SquidRouterABI
 
-- `bridgeCall(address token, uint256 amount, ISquidMulticall.Call[] calls, string bridgedTokenSymbol, string destinationChain, string destinationAddress)` [payable] - Bridge with pre-bridge swap steps. `calls` is an array of swap operations to execute before bridging
-- `callBridge(address token, uint256 amount, string bridgedTokenSymbol, string destinationChain, string destinationAddress, bytes payload)` [payable] - Simple bridge without pre-bridge swaps. `payload` is optional calldata for destination execution
+- `bridgeCall(string bridgedTokenSymbol, uint256 amount, string destinationChain, string destinationAddress, bytes payload, address gasRefundRecipient, bool enableExpress)` [payable] - Bridge a gateway token by symbol, optionally executing `payload` on the destination
+- `callBridgeCall(address token, uint256 amount, ISquidMulticall.Call[] calls, string bridgedTokenSymbol, string destinationChain, string destinationAddress, bytes payload, address gasRefundRecipient, bool enableExpress)` [payable] - Run `calls` on the source chain (e.g. swap `token` into the bridged token), then bridge
 
 ISquidMulticall.Call tuple: `(uint8 callType, address target, uint256 value, bytes callData, bytes payload)`
 
 ## Notes
 
 - Built on Axelar GMP -- uses Axelar chain name strings for destination (e.g. "ethereum", "arbitrum", "Polygon")
-- `callBridge` for simple token bridges; `bridgeCall` for swap-then-bridge (includes pre-bridge DEX swaps)
+- `bridgeCall` for simple token bridges; `callBridgeCall` for swap-then-bridge (includes pre-bridge DEX swaps)
 - Same Router address (`0xce16F6...`) deployed across all supported chains
 - `bridgedTokenSymbol` must match the Axelar-registered symbol for the bridged asset
-- The `payload` parameter in `callBridge` enables post-bridge execution on the destination chain
-- `bridgeCall`'s `calls` array allows chaining multiple swap steps before the bridge
+- The `payload` parameter enables post-bridge execution on the destination chain
+- `callBridgeCall`'s `calls` array allows chaining multiple swap steps before the bridge
 - Requires ERC-20 approval to the Squid Router address
 - Finality: 2-5 minutes (depends on Axelar validator consensus)
 - TVL: $100M+. Audited

package/sdk/src/skills/stargate.md

@@ -67,7 +67,7 @@ function main(
 ### StargatePoolABI
 
 - `send(SendParam _sendParam, MessagingFee _fee, address _refundAddress) returns (MessagingReceipt msgReceipt, OFTReceipt oftReceipt)` [payable] - Bridge tokens to destination chain
-- `quoteOFT(SendParam _sendParam) returns (OFTLimit oftLimit)` - Quote bridge limits and fees (view)
+- `quoteOFT(SendParam _sendParam) returns (OFTLimit oftLimit, OFTFeeDetail[] oftFeeDetails, OFTReceipt oftReceipt)` - Quote bridge limits, fees and the amount received (view)
 
 SendParam tuple: `(uint32 dstEid, bytes32 to, uint256 amountLD, uint256 minAmountLD, bytes extraOptions, bytes composeMsg, bytes oftCmd)`
 MessagingFee tuple: `(uint256 nativeFee, uint256 lzTokenFee)`

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

@@ -128,7 +128,7 @@ function main(
 | Fantom    | Factory  | `0xc35DADB65012eC5796536bD9864eD8773aBc74C4` |
 | Fantom    | Router   | `0x1b02dA8Cb0d097eB8D57A175b88c7D8b47997506` |
 | Optimism  | Factory  | `0xFbc12984689e5f15626Bad03Ad60160Fe98B303C` |
-| Optimism  | Router   | `0x4C5D5234f232BD2D76B96aA33F5AE4FCF0E4BFAb` |
+| Optimism  | Router   | `0x2ABf469074dc0b54d793850807E6eb5Faf2625b1` |
 
 ## ABI Methods
 

package/sdk/src/skills/swell.md

@@ -24,14 +24,16 @@ import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/pro
 import { SwETHABI as ISwETH } from "./abis";
 function main(swethAddress: Address): Uint256 {
   const sweth = ISwETH.at(swethAddress);
-  return sweth.deposit();
+  sweth.deposit();
+  return 1;
 }
 
 // Stake ETH for rswETH (restaking)
 import { RswETHABI as IRswETH } from "./abis";
 function main(rswethAddress: Address): Uint256 {
   const rsweth = IRswETH.at(rswethAddress);
-  return rsweth.deposit();
+  rsweth.deposit();
+  return 1;
 }
 ```
 
@@ -46,13 +48,13 @@ function main(rswethAddress: Address): Uint256 {
 
 ### SwETHABI
 
-- `deposit()` - Stake ETH (payable), receive swETH. Returns shares
+- `deposit()` - Stake ETH (payable), receive swETH. Returns nothing: read the minted amount as a balance change
 - `swETHToETHRate()` - Current swETH/ETH exchange rate
 - `balanceOf(address)` - Query swETH balance
 
 ### RswETHABI
 
-- `deposit()` - Stake ETH (payable), receive rswETH. Returns shares
+- `deposit()` - Stake ETH (payable), receive rswETH. Returns nothing: read the minted amount as a balance change
 - `rswETHToETHRate()` - Current rswETH/ETH exchange rate
 - `balanceOf(address)` - Query rswETH balance
 

package/sdk/src/skills/synapse.md

@@ -41,7 +41,7 @@ function main(
 | Arbitrum  | synapseBridge | `0x6F4e8eba4d337f874AB57478AcC2Cb5BacDc19c9` |
 | Optimism  | synapseBridge | `0xAf41a65F786339e7911F4acDAD6BD49426F2Dc6b` |
 | Base      | synapseBridge | `0xf07d1C752fAb503E47FEF309bf14fbDD3E867089` |
-| Polygon   | synapseBridge | `0x8F5BBB2585b4009Ee16a8b589fE81B1A204aD9d7` |
+| Polygon   | synapseBridge | `0x8F5BBB2BB8c2Ee94639E55d5F41de9b4839C1280` |
 | Avalanche | synapseBridge | `0xC05e61d0E7a63D27546389B7aD62FdFf5A91aACE` |
 
 ## ABI Reference

package/sdk/src/skills/synthetix-v3.md

@@ -58,7 +58,7 @@ function main(
 
 | Chain | Contract         | Address                                      |
 | ----- | ---------------- | -------------------------------------------- |
-| Base  | coreProxy        | `0xffffffaEff0B96Ea8e4f94b2253f31abdD875847` |
+| Base  | coreProxy        | `0x32C222A9A159782aFD7529c87FA34b96CA72C696` |
 | Base  | perpsMarketProxy | `0x0A2AF931eFFd34b81ebcc57E3d3c9B1E1dE1C9Ce` |
 
 ## ABI Methods

package/sdk/src/skills/synthra-v3.md

@@ -0,0 +1,57 @@
+# Synthra V3
+
+Concentrated-liquidity spot DEX on Arc: a Uniswap V3 fork with renamed pool callbacks.
+
+## Category
+
+dex | Chains: Arc (5042)
+
+## SauceScript Functions
+
+### swap
+
+Exact-input single-hop swap through SwapRouter02.
+
+```typescript
+import { SynthraV3SwapRouter02ABI as ISwapRouter02 } from "./abis";
+
+function main(
+  routerAddress: Address,
+  tokenIn: Address,
+  tokenOut: Address,
+  fee: Uint256,
+  amountIn: Uint256,
+  amountOutMin: Uint256,
+  recipient: Address,
+): Uint256 {
+  const router = ISwapRouter02.at(routerAddress);
+  return router.exactInputSingle({
+    tokenIn: tokenIn,
+    tokenOut: tokenOut,
+    fee: fee,
+    recipient: recipient,
+    amountIn: amountIn,
+    amountOutMinimum: amountOutMin,
+    sqrtPriceLimitX96: 0,
+  });
+}
+```
+
+- SwapRouter02's params have no `deadline`
+- `tokenIn` must be `approve`d to the router
+
+## Deployed Addresses
+
+| Chain | Contract                   | Address                                      |
+| ----- | -------------------------- | -------------------------------------------- |
+| Arc   | Factory                    | `0x6307fc239C7964942c1BfFE51930E55606619c74` |
+| Arc   | SwapRouter02               | `0xa50eDe66a573eE5bB37E28AF5789B76aE5FEb828` |
+| Arc   | QuoterV2                   | `0x9c179A7335B3fc841F59Aa6a62daf6d5c61b65D7` |
+| Arc   | NonfungiblePositionManager | `0x2743b771659fD9CE13970d7367e7e84AF6a31049` |
+
+## Notes
+
+- The external ABIs are Uniswap V3's (`getPool`, `exactInputSingle`, `quoteExactInputSingle`, `mint`, …), and the Arc bytecode dispatches every one of them
+- Pools call back `synthraV3SwapCallback` (`0x13abb0ca`) and `synthraV3MintCallback`, not the `uniswapV3*` callbacks, so a contract that swaps or mints against a Synthra pool directly must implement the renamed callbacks
+- On Arc there is no wrapped native token; pools pair against USDC's ERC-20 interface `0x3600…0000`
+- Addresses come from docs.synthra.org's contract-addresses page

package/sdk/src/skills/thales.md

@@ -32,15 +32,14 @@ function main(
   slippage: Uint256,
 ): Uint256 {
   const amm = IThalesAMM.at(thalesAMMAddress);
-  amm.buyFromAMM(market, position, amount, expectedPayout, slippage);
-  return 1;
+  return amm.buyFromAMM(market, position, amount, expectedPayout, slippage);
 }
 
-// Exercise matured market
-import { ThalesAMMABI as IThalesAMM } from "./abis";
-function main(thalesAMMAddress: Address, market: Address): Uint256 {
-  const amm = IThalesAMM.at(thalesAMMAddress);
-  amm.exerciseMaturedMarket(market);
+// Exercise a matured market: on the market itself
+import { PositionalMarketABI as IPositionalMarket } from "./abis";
+function main(market: Address): Uint256 {
+  const positionalMarket = IPositionalMarket.at(market);
+  positionalMarket.exerciseOptions();
   return 1;
 }
 ```
@@ -56,12 +55,15 @@ function main(thalesAMMAddress: Address, market: Address): Uint256 {
 
 ### ThalesAMMABI
 
-- `buyFromAMM(address,uint8,uint256,uint256,uint256)` - Buy positional tokens. Params: market (market address), position (0=UP, 1=DOWN), amount (tokens to buy), expectedPayout (expected return), additionalSlippage (slippage tolerance)
-- `exerciseMaturedMarket(address)` - Exercise matured position. Params: market (address of matured market)
+- `buyFromAMM(address,uint8,uint256,uint256,uint256) returns (uint256)` - Buy positional tokens. Params: market (market address), position (0=UP, 1=DOWN), amount (tokens to buy), expectedPayout (expected return), additionalSlippage (slippage tolerance). Returns the amount paid
+
+### PositionalMarketABI
+
+- `exerciseOptions() returns (uint256)` - Exercise the caller's positions in a matured market (called on the market, not the AMM)
 
 ### SpeedMarketsAMMABI
 
-- `createNewMarket(bytes32,uint64,uint8,address,uint256,address)` - Create speed market. Params: asset (bytes32 identifier), strikeTime (expiry timestamp), direction (0=UP, 1=DOWN), collateral (payment token), buyinAmount (amount to bet), referrer
+- `createNewMarket(CreateMarketParams) returns (address)` - Create a speed market. One struct: `(address user, bytes32 asset, uint64 strikeTime, uint64 delta, int64 strikePrice, uint64 strikePricePublishTime, uint8 oracleSource, uint8 direction, address collateral, uint256 collateralAmount, address referrer, uint256 skewImpact)`. Returns the market address
 
 ## Notes
 

package/sdk/src/skills/trader-joe.md

@@ -58,7 +58,7 @@ function main(
 ### LBRouterABI
 
 - `swapExactTokensForTokens(uint256 amountIn, uint256 amountOutMin, tuple(uint256[] pairBinSteps, uint8[] versions, address[] tokenPath) path, address to, uint256 deadline) -> uint256 amountOut` - Swap exact input through LB path
-- `swapTokensForExactTokens(uint256 amountOut, uint256 amountInMax, tuple(uint256[] pairBinSteps, uint8[] versions, address[] tokenPath) path, address to, uint256 deadline) -> uint256 amountIn` - Swap to get exact output
+- `swapTokensForExactTokens(uint256 amountOut, uint256 amountInMax, tuple(uint256[] pairBinSteps, uint8[] versions, address[] tokenPath) path, address to, uint256 deadline) -> uint256[] amountsIn` - Swap to get exact output
 - `addLiquidity(tuple(address tokenX, address tokenY, uint256 binStep, uint256 amountX, uint256 amountY, uint256 amountXMin, uint256 amountYMin, uint256 activeIdDesired, uint256 idSlippage, int256[] deltaIds, uint256[] distributionX, uint256[] distributionY, address to, address refundTo, uint256 deadline)) -> (uint256 amountXAdded, uint256 amountYAdded, uint256 amountXLeft, uint256 amountYLeft, uint256[] depositIds, uint256[] liquidityMinted)` - Add liquidity with precise bin distribution control
 
 ### LBFactoryABI

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

@@ -4,7 +4,7 @@ Constant product AMM (x*y=k) with permissionless pair creation. The most forked
 
 ## Category
 
-dex | Chains: Ethereum, Arbitrum, Optimism, Polygon, Base, BSC, Avalanche, Blast, Zora
+dex | Chains: Ethereum, Arbitrum, Optimism, Polygon, Base, BSC, Avalanche, Blast, Zora, Arc
 
 ## Key Operations
 
@@ -156,3 +156,4 @@ function main(
 - LP tokens must be ERC20-approved to the Router before removeLiquidity
 - For tokens with transfer taxes (fee-on-transfer), use `swapExactTokensForTokensSupportingFeeOnTransferTokens` instead (not in SDK but available on-chain)
 - Uniswap V2 is the simplest and most battle-tested DEX model; prefer V3 for better capital efficiency, but V2 for maximum compatibility and simplicity
+- On Arc (5042) the router's `WETH()` is a stub that always reverts with `UnsupportedProtocolError()`, so the ETH paths (`swapExactETHForTokens`, `addLiquidityETH`, …) revert. Trade USDC's ERC-20 `0x3600000000000000000000000000000000000000`; Arc's native coin is USDC and it has no canonical wrapped native

package/sdk/src/skills/uniswap-v3.md

@@ -4,7 +4,7 @@ Concentrated liquidity AMM allowing LPs to allocate capital within custom price
 
 ## Category
 
-dex | Chains: Ethereum, Arbitrum, Optimism, Polygon, Base, BSC, Avalanche, Celo
+dex | Chains: Ethereum, Arbitrum, Optimism, Polygon, Base, BSC, Avalanche, Celo, Arc
 
 ## Key Operations
 
@@ -48,7 +48,7 @@ function main(
 }
 ```
 
-- `routerAddress`: Uniswap V3 SwapRouter address for the target chain
+- `routerAddress`: Uniswap V3 SwapRouter address for the target chain. This `swap` uses SwapRouter's params (with `deadline`); chains that only have SwapRouter02 (Base, BSC, Avalanche, Celo, Monad) need `UniswapV3SwapRouter02ABI`, whose params have no `deadline`
 - `tokenIn` / `tokenOut`: Input and output token addresses
 - `fee`: Pool fee tier in hundredths of a bip. Common values: `500` (0.05%), `3000` (0.3%), `10000` (1%)
 - `amountIn`: Exact amount of input token (in wei)
@@ -149,7 +149,7 @@ function main(
 | Base      | SwapRouter02 | `0x2626664c2603336E57B271c5C0b26F421741e481` |
 | Base      | NFPM         | `0x03a520b32C04BF3bEEf7BEb72E919cf822Ed34f1` |
 | BSC       | Factory      | `0xdB1d10011AD0Ff90774D0C6Bb92e5C5c8b4461F7` |
-| BSC       | SwapRouter02 | `0xB971eF87ede563556b2ED4b1652CB9cc5aA6f`    |
+| BSC       | SwapRouter02 | `0xB971eF87ede563556b2ED4b1C0b0019111Dd85d2` |
 | Avalanche | Factory      | `0x740b1c1de25031C31FF4fC9A62f554A55cdC1baD` |
 | Avalanche | SwapRouter02 | `0xbb00FF08d01D300023C629E8fFfFcb65A5a578cE` |
 | Celo      | Factory      | `0xAfE208a311B21f13EF87E33A90049fC17A7acDEc` |
@@ -164,6 +164,15 @@ function main(
 - `exactOutputSingle(tuple(address tokenIn, address tokenOut, uint24 fee, address recipient, uint256 deadline, uint256 amountOut, uint256 amountInMaximum, uint160 sqrtPriceLimitX96)) -> uint256 amountIn` - Single-hop swap specifying exact output desired
 - `exactOutput(tuple(bytes path, address recipient, uint256 deadline, uint256 amountOut, uint256 amountInMaximum)) -> uint256 amountIn` - Multi-hop swap specifying exact output desired
 
+### UniswapV3SwapRouter02ABI
+
+SwapRouter02's params structs drop `deadline` (wrap the call in a deadline check if needed).
+
+- `exactInputSingle(tuple(address tokenIn, address tokenOut, uint24 fee, address recipient, uint256 amountIn, uint256 amountOutMinimum, uint160 sqrtPriceLimitX96)) -> uint256 amountOut`
+- `exactInput(tuple(bytes path, address recipient, uint256 amountIn, uint256 amountOutMinimum)) -> uint256 amountOut`
+- `exactOutputSingle(tuple(address tokenIn, address tokenOut, uint24 fee, address recipient, uint256 amountOut, uint256 amountInMaximum, uint160 sqrtPriceLimitX96)) -> uint256 amountIn`
+- `exactOutput(tuple(bytes path, address recipient, uint256 amountOut, uint256 amountInMaximum)) -> uint256 amountIn`
+
 ### UniswapV3NonfungiblePositionManagerABI
 
 - `mint(tuple(address token0, address token1, uint24 fee, int24 tickLower, int24 tickUpper, uint256 amount0Desired, uint256 amount1Desired, uint256 amount0Min, uint256 amount1Min, address recipient, uint256 deadline)) -> (uint256 tokenId, uint128 liquidity, uint256 amount0, uint256 amount1)` - Create new liquidity position NFT
@@ -178,7 +187,7 @@ function main(
 
 ### UniswapV3QuoterV2ABI
 
-- `quoteExactInputSingle(tuple(address tokenIn, address tokenOut, uint256 amountIn, uint24 fee, uint160 sqrtPriceLimitX96)) -> (uint256 amountOut, uint160 sqrtPriceX96After, uint32 initializedTicksCrossed, uint256 gasEstimate)` - Simulate a swap to get expected output (view)
+- `quoteExactInputSingle(tuple(address tokenIn, address tokenOut, uint256 amountIn, uint24 fee, uint160 sqrtPriceLimitX96)) -> (uint256 amountOut, uint160 sqrtPriceX96After, uint32 initializedTicksCrossed, uint256 gasEstimate)` - Simulate a swap to get expected output. Not a view: it reverts internally to measure, so call it off-chain (eth_call)
 
 ## Notes
 
@@ -190,3 +199,4 @@ function main(
 - Input token must be ERC20-approved to the SwapRouter for swaps
 - Both tokens must be ERC20-approved to the NFPM for minting positions
 - Prefer V3 over V2 for major pairs to benefit from concentrated liquidity and lower effective slippage
+- On Arc (5042) `WETH9()` on SwapRouter02 and the position manager is a stub that always reverts with `UnsupportedProtocolError()`, so `unwrapWETH9`, `refundETH` and native-value swaps revert. Trade USDC's ERC-20 `0x3600000000000000000000000000000000000000`; Arc's native coin is USDC and it has no canonical wrapped native

package/sdk/src/skills/uniswap-v4.md

@@ -4,7 +4,7 @@ Singleton AMM with hooks architecture enabling custom pool logic, flash accounti
 
 ## Category
 
-dex | Chains: Ethereum, Arbitrum, Optimism, Base, Polygon, BSC, Avalanche, Blast
+dex | Chains: Ethereum, Arbitrum, Optimism, Base, Polygon, BSC, Avalanche, Blast, Arc
 
 ## Key Operations
 
@@ -105,6 +105,7 @@ function main(positionManagerAddress: Address, unlockData: bytes): Uint256 {
 ### UniswapV4UniversalRouterABI
 
 - `execute(bytes commands, bytes[] inputs, uint256 deadline)` - Execute a batch of commands (swap, settle, take, etc.) in sequence
+- `execute(bytes commands, bytes[] inputs)` - The same, with no deadline
 
 ### UniswapV4PositionManagerABI
 
@@ -121,3 +122,4 @@ function main(positionManagerAddress: Address, unlockData: bytes): Uint256 {
 - Flash accounting: V4 uses transient storage for balance tracking within a transaction, settling at the end
 - Commands/inputs for the UniversalRouter must be constructed off-chain; this is more complex than V3 but more powerful
 - V4 is the newest Uniswap version; use it for advanced pool logic (custom hooks) or when gas efficiency on multi-hop matters most
+- On Arc (5042) the PositionManager's `WETH9()` is a stub that always reverts with `UnsupportedProtocolError()`. Arc's native coin is USDC at 18 decimals, so a pool keyed on `address(0)` is native USDC, a different currency from the 6-decimal ERC-20 `0x3600000000000000000000000000000000000000` over the same balance

package/sdk/src/skills/unitflow-v3.md

@@ -0,0 +1,62 @@
+# UnitFlow V3
+
+Concentrated-liquidity AMM on Arc, forked from Uniswap V3 with native USDC in place of WETH9.
+
+## Category
+
+dex | Chains: Arc (5042)
+
+## SauceScript Functions
+
+### swap
+
+Exact-input single-hop swap through UnitFlowV3Router.
+
+```typescript
+import { UnitFlowV3RouterABI as IRouter } from "./abis";
+
+function main(
+  routerAddress: Address,
+  tokenIn: Address,
+  tokenOut: Address,
+  fee: Uint256,
+  amountIn: Uint256,
+  amountOutMin: Uint256,
+  recipient: Address,
+  deadline: Uint256,
+): Uint256 {
+  const router = IRouter.at(routerAddress);
+  return router.exactInputSingle({
+    tokenIn: tokenIn,
+    tokenOut: tokenOut,
+    fee: fee,
+    recipient: recipient,
+    deadline: deadline,
+    amountIn: amountIn,
+    amountOutMinimum: amountOutMin,
+    sqrtPriceLimitX96: 0,
+  });
+}
+```
+
+- The router has Uniswap V3 SwapRouter's shape: its params include `deadline`
+- `tokenIn` must be `approve`d to the router
+
+## Deployed Addresses
+
+| Chain | Contract          | Address                                      |
+| ----- | ----------------- | -------------------------------------------- |
+| Arc   | UnitFlowV3Factory | `0x5bfBCeb73d39F722B1cB83fD2F11736b28c1Be6d` |
+| Arc   | UnitFlowV3Router  | `0x6fD8351b9596C1F0b2f2479BfA6A171cb3d0f410` |
+| Arc   | Quoter            | `0x5AF6E89F0960Ff375AF84d9911D8153ef6240E34` |
+
+## ABI Reference
+
+- `UnitFlowV3FactoryABI`: `getPool(address tokenA, address tokenB, uint24 fee) returns (address)`, `feeAmountTickSpacing(uint24 fee) returns (int24)`
+- `UnitFlowV3RouterABI`: `exactInputSingle(ExactInputSingleParams) returns (uint256 amountOut)`, `factory() returns (address)`
+- `UnitFlowV3QuoterABI`: `quoteExactInputSingle(address tokenIn, address tokenOut, uint24 fee, uint256 amountIn, uint160 sqrtPriceLimitX96) returns (uint256 amountOut)`; call it with `eth_call`
+
+## Notes
+
+- Pools call back `unitFlowV3SwapCallback`, not `uniswapV3SwapCallback`, so a contract that swaps against a pool directly must implement the renamed callback
+- The GitHub README lists testnet addresses; these mainnet addresses are the defaults in UnitFlow's own app build

package/sdk/src/skills/velodrome.md

@@ -49,7 +49,7 @@ function main(
 - `routerAddress`: Velodrome RouterV2 address on Optimism
 - `tokenIn` / `tokenOut`: Input and output token addresses
 - `stable`: `true` for stable pools (pegged assets like USDC/USDT), `false` for volatile pools (uncorrelated like ETH/USDC)
-- `factory`: Pool factory address (`0x8134a2fdc127549480865fb8e5a9e8a8a95a54c5` on Optimism)
+- `factory`: Pool factory address (`0xF1046053aa5682b4F9a81b5481394DA16BE5FF5a` on Optimism)
 - `amountIn`: Exact input amount (in wei)
 - `amountOutMin`: Minimum output for slippage protection
 - `recipient`: Address to receive output tokens
@@ -126,7 +126,7 @@ function main(
 | Chain    | Contract    | Address                                      |
 | -------- | ----------- | -------------------------------------------- |
 | Optimism | RouterV2    | `0xa062aE8A9c5e11aaA026fc2670B0D65cCc8B2858` |
-| Optimism | PoolFactory | `0x8134a2fdc127549480865fb8e5a9e8a8a95a54c5` |
+| Optimism | PoolFactory | `0xF1046053aa5682b4F9a81b5481394DA16BE5FF5a` |
 
 ## ABI Methods
 

package/sdk/src/skills/venus.md

@@ -21,7 +21,7 @@ function main(vTokenAddress: Address, amount: Uint256): Uint256 {
 }
 ```
 
-- `vTokenAddress`: The vToken market contract (each asset has its own vToken, e.g. vBNB)
+- `vTokenAddress`: A BEP-20 vToken market (each asset has its own vToken, e.g. vUSDC). vBNB takes native BNB instead: see `VBNBABI`
 - Returns 0 on success, error code on failure
 - Requires ERC-20 approval of underlying to the vToken
 
@@ -84,7 +84,15 @@ function main(vTokenAddress: Address, amount: Uint256): Uint256 {
 - `redeemUnderlying(uint256 redeemAmount) returns (uint256)` - Redeem exact underlying amount
 - `borrow(uint256 borrowAmount) returns (uint256)` - Borrow underlying
 - `repayBorrow(uint256 repayAmount) returns (uint256)` - Repay borrow debt
-- `balanceOfUnderlying(address owner) returns (uint256)` - Get underlying balance including accrued interest (view)
+- `balanceOfUnderlying(address owner) returns (uint256)` - Get underlying balance including accrued interest. Not a view: it accrues interest first, so it cannot be STATICCALLed
+
+### VBNBABI
+
+vBNB (`vBNB`) takes native BNB, so its `mint` and `repayBorrow` take no amount: the BNB sent with the call is the amount.
+
+- `mint()` - Supply BNB (payable), receive vBNB. Returns nothing; reverts on failure
+- `repayBorrow()` - Repay BNB borrow debt (payable). Returns nothing; reverts on failure
+- `redeem`, `redeemUnderlying`, `borrow`, `balanceOfUnderlying` - As on `VTokenABI`
 
 ### VenusComptrollerABI
 

package/sdk/src/skills/vertex.md

@@ -44,7 +44,7 @@ function main(endpointAddress: Address, productId: Uint256, amount: Uint256): Ui
 
 ### ClearinghouseABI
 
-- `withdrawCollateral(bytes12,uint32,uint128)` - Withdraw collateral. Same params as depositCollateral
+- `withdrawCollateral((bytes32 sender, uint32 productId, uint128 amount, uint64 nonce))` - Apply a sequenced WithdrawCollateral transaction; users submit withdrawals through the Endpoint's `submitSlowModeTransaction`
 
 ## Notes
 

package/sdk/src/skills/wormhole.md

@@ -4,7 +4,7 @@ Generic cross-chain messaging protocol with guardian-based attestation. Supports
 
 ## Category
 
-cross-chain messaging + bridge | Direction: any-to-any | Chains: Ethereum (1), Arbitrum (42161), Optimism (10), Base (8453), Polygon (137), Avalanche (43114)
+cross-chain messaging + bridge | Direction: any-to-any | Chains: Ethereum (1), Arbitrum (42161), Optimism (10), Base (8453), Polygon (137), Avalanche (43114), Arc (5042)
 
 ## SauceScript Functions
 

package/sdk/src/skills/zerolend.md

@@ -89,7 +89,7 @@ function main(
 
 | Chain  | Contract | Address                                      |
 | ------ | -------- | -------------------------------------------- |
-| zkSync | pool     | `0x4d9429246EA989C9CeE203B43F6d1D7D83e3B8F8` |
+| zkSync | pool     | `0x4d9429246EA989C9CeE203B43F6d1C7D83e3B8F8` |
 
 ## ABI Reference
 

package/sdk/src/skills/zerox.md

@@ -29,7 +29,7 @@ import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/pro
 | --------- | ------------- | -------------------------------------------- |
 | Ethereum  | exchangeProxy | `0xDef1C0ded9bec7F1a1670819833240f027b25EfF` |
 | Arbitrum  | exchangeProxy | `0xDef1C0ded9bec7F1a1670819833240f027b25EfF` |
-| Optimism  | exchangeProxy | `0xDef1C0ded9bec7F1a1670819833240f027b25EfF` |
+| Optimism  | exchangeProxy | `0xDEF1ABE32c034e558Cdd535791643C58a13aCC10` |
 | Polygon   | exchangeProxy | `0xDef1C0ded9bec7F1a1670819833240f027b25EfF` |
 | BSC       | exchangeProxy | `0xDef1C0ded9bec7F1a1670819833240f027b25EfF` |
 | Avalanche | exchangeProxy | `0xDef1C0ded9bec7F1a1670819833240f027b25EfF` |

package/sdk/src/skills/zksync-bridge.md

@@ -49,7 +49,7 @@ function main(diamondProxyAddress: Address, recipient: Address, l2GasLimit: Uint
 
 ### ZkSyncDiamondProxyABI
 
-- `requestL2Transaction(address _contractL2, uint256 _l2Value, bytes _calldata, uint256 _l2GasLimit, uint256 _l2GasPerPubdataByteLimit, bytes[] _factoryDeps, address _refundRecipient) returns (uint256 canonicalTxHash)` [payable] - Request an L2 transaction from L1. Used for ETH deposits, contract calls, and contract deployments
+- `requestL2Transaction(address _contractL2, uint256 _l2Value, bytes _calldata, uint256 _l2GasLimit, uint256 _l2GasPerPubdataByteLimit, bytes[] _factoryDeps, address _refundRecipient) returns (bytes32 canonicalTxHash)` [payable] - Request an L2 transaction from L1. Used for ETH deposits, contract calls, and contract deployments
 - `l2TransactionBaseCost(uint256 _gasPrice, uint256 _l2GasLimit, uint256 _l2GasPerPubdataByteLimit) returns (uint256)` - Estimate the base cost of an L2 transaction (view). Use to calculate required msg.value
 
 ## Notes

package/actions/dist/megas-swap.d.ts

@@ -1,97 +0,0 @@
-import { type QuoteOpts } from "./to-quote.js";
-import type { ApproveAction, SwapAction } from "./types.js";
-export interface MegasSwapOpts extends QuoteOpts {
-    /**
-     * Approvals to emit in main *before* the split-swap logic. Each approval
-     * runs at its own `amount` (no chaining, no runtime slot references).
-     *
-     * Restricted to `ApproveAction[]` so adding a new RoutingAction type with a
-     * differently-named amount field can't silently break the prepend path.
-     * If you need richer setup actions, run them in a separate `cook` segment.
-     */
-    prepend?: ApproveAction[];
-    /**
-     * Aggregate minimum output, enforced ONCE after every leg has executed.
-     *
-     * Required, because per-leg `amountOutMin` cannot express it and never could: `swap_any` receives
-     * the runtime expression `amount`, so a leg's share is `used[k] * bucket` — a fraction of
-     * `amountIn` decided during the greedy loop — while `amountOutMin` is baked in as a compile-time
-     * literal. A floor sized for the whole trade would be applied to a fraction and revert the leg;
-     * the only per-leg value that composes with runtime allocation is dust, which is why every
-     * candidate here ships `"1"`. So the bound has to live at the end, over the sum.
-     *
-     * Pass `"0"` to waive it deliberately. There is no default: a silent default would be the same
-     * unbounded trade this exists to prevent.
-     */
-    minTotalOut: string;
-    /**
-     * Token and recipient for the final sweep, emitted after the aggregate floor.
-     *
-     * Every leg is built with `needsOutput`, which makes the swap deliver to Sauce so its realized
-     * amount is measurable as a balance delta — so a candidate's own `recipient` never receives
-     * anything and the whole output accumulates on Sauce. Omit this to leave it there deliberately.
-     */
-    sweep?: {
-        token: Addr;
-        to: Addr;
-    };
-}
-/**
- * Emit the SauceScript for a greedy split-routing across `candidates`.
- *
- * Declared functions:
- *   quote_i(amount)        One per candidate; invokes the protocol quoter with a runtime amount.
- *   quote_any(idx, amount) if/else dispatch to the matching quote_i.
- *   swap_any(idx, amount)  Same dispatch, but executing the swap.
- *   main()                 The three passes below.
- *
- * Main algorithm (all three passes are real `for` loops — the per-candidate state lives in
- * transient storage keyed by `i`):
- *   1. Init:    for i in 0..N-1 { marg[i] = quote_any(i, bucket); }
- *               used[i] and total[i] default to 0 (TLOAD of untouched keys).
- *   2. Greedy:  for iter in 0..n-1 {
- *                 for i in 0..N-1 argmax → (bestMarg, bestIdx);
- *                 used[bestIdx]  += 1;
- *                 total[bestIdx] += marg[bestIdx];          // cached, no call
- *                 marg[bestIdx]   = quote_any(bestIdx, (used[bestIdx]+1)*bucket)
- *                                    - total[bestIdx];
- *               }
- *   3. Execute: for i in 0..N-1 if (used[i] > 0) swap_any(i, used[i]*bucket);
- *
- * SIZE, CHANGED: the retired compiler kept every main-level pass a fixed-size loop, so the program
- * was O(N). The Rust compiler's constant folder UNROLLS a loop whose bound it knows, and `N`/`n`
- * are compile-time constants here, so the emitted main is O(N + n·N) instructions. Behaviour is
- * identical; only the byte count grows. Reach for a runtime bound if that ever matters.
- *
- * Requirements:
- * - n >= 1. n=1 reduces to "pick the single best pool at full size".
- * - Every candidate's quote must expose `toSauceDynamic` (fixed amount offset).
- * - Swap builders must accept a runtime amountIn expression; UniswapV4 does
- *   not and will embed a stale compile-time amount.
- */
-export declare function megasSwapToSauceSource(candidates: SwapAction[], amountIn: bigint, n: number, opts: MegasSwapOpts): string;
-export declare function megasSwapToSauce(candidates: SwapAction[], amountIn: bigint, n: number, opts: MegasSwapOpts): Uint8Array[];
-type Addr = `0x${string}`;
-/**
- * Pre-configured greedy split router for USDC → USDT on Ethereum mainnet.
- *
- * Candidates (all pre-populated, caller never picks addresses or pool IDs):
- *   - UniswapV3 at 1 bps (pool 0x38…)
- *   - UniswapV3 at 5 bps (pool 0x7858…)
- *   - Curve stableswap 3pool (DAI/USDC/USDT, indices 1→2)
- *   - Uniswap V2 router via [USDC, USDT] pair
- *
- * The returned bytecode is self-contained and can be fed straight into
- * `Sauce.cook(bytes[])`: it approves all 3 spenders for `amountIn`, runs the
- * split-swap loop for `n` buckets, and sends the USDT output to `recipient`.
- *
- * Candidates whose pools are thin (UniV3 5 bps, shallow UniV2 pair) are still included — the
- * greedy algorithm handles them by never routing buckets that direction. That costs `N + n` extra
- * quoter CALLs worth of gas; drop them manually if you want to save.
- *
- * Balancer V2 is NOT a candidate: its only quote is `queryBatchSwap`, which mutates state and
- * reverts to return, so it cannot be called on-chain at all.
- */
-export declare function megasUsdcUsdtSwapToSauce(amountIn: bigint, n: number, recipient: Addr, minTotalOut: string): Uint8Array[];
-export {};
-//# sourceMappingURL=megas-swap.d.ts.map

package/actions/dist/megas-swap.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"megas-swap.d.ts","sourceRoot":"","sources":["../src/megas-swap.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAiB,KAAK,SAAS,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,KAAK,EACV,aAAa,EAEb,UAAU,EAGX,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,aAAc,SAAQ,SAAS;IAC9C;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,aAAa,EAAE,CAAC;IAC1B;;;;;;;;;;;;OAYG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;OAMG;IACH,KAAK,CAAC,EAAE;QAAE,KAAK,EAAE,IAAI,CAAC;QAAC,EAAE,EAAE,IAAI,CAAA;KAAE,CAAC;CACnC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,UAAU,EAAE,EACxB,QAAQ,EAAE,MAAM,EAChB,CAAC,EAAE,MAAM,EACT,IAAI,EAAE,aAAa,GAClB,MAAM,CA+DR;AAED,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,UAAU,EAAE,EACxB,QAAQ,EAAE,MAAM,EAChB,CAAC,EAAE,MAAM,EACT,IAAI,EAAE,aAAa,GAClB,UAAU,EAAE,CAEd;AA0JD,KAAK,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;AAY1B;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,MAAM,EAChB,CAAC,EAAE,MAAM,EACT,SAAS,EAAE,IAAI,EACf,WAAW,EAAE,MAAM,GAClB,UAAU,EAAE,CAwEd"}