@eco-incorp/sauce 0.99.6 → 0.99.7

package/{sdk/src/skills → skills/sauce-protocols/references}/circle-gateway.md

@@ -4,9 +4,14 @@ Circle's chain-abstracted USDC balance. Deposit USDC into the GatewayWallet on o
 
 ## Category
 
-cross-chain | Chains: Ethereum (1), Optimism (10), Polygon (137), Unichain (130), Sonic (146), Sei (1329), Base (8453), Arbitrum (42161), Avalanche (43114), Arc (5042)
+cross-chain | Chains and addresses: [registry/circle-gateway.md](registry/circle-gateway.md)
 
-## SauceScript Functions
+## Typed templates for the raw compiler (not for `sauce compile`)
+
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ### deposit
 
@@ -53,42 +58,11 @@ function main(minterAddress: Address, attestationPayload: bytes, signature: byte
 }
 ```
 
-## Deployed Addresses
-
-| Chain             | Contract      | Address                                      |
-| ----------------- | ------------- | -------------------------------------------- |
-| Every chain above | GatewayWallet | `0x77777777Dcc4d5A8B6E418Fd04D8997ef11000eE` |
-| Every chain above | GatewayMinter | `0x2222222d7164433c4C09B0b0D809a9b52C04C205` |
-
-| Chain     | Circle domain |
-| --------- | ------------- |
-| Ethereum  | 0             |
-| Avalanche | 1             |
-| Optimism  | 2             |
-| Arbitrum  | 3             |
-| Base      | 6             |
-| Polygon   | 7             |
-| Unichain  | 10            |
-| Sonic     | 13            |
-| Sei       | 16            |
-| Arc       | 26            |
-
-## ABI Reference
-
-### GatewayWalletABI
-
-- `deposit(address token, uint256 value)` - Deposit into the caller's own Gateway balance
-- `depositFor(address token, address depositor, uint256 value)` - Deposit into another depositor's balance
-- `totalBalance(address token, address depositor) returns (uint256)` - Available plus withdrawing (view)
-- `availableBalance(address token, address depositor) returns (uint256)` - Spendable balance (view)
-- `isTokenSupported(address token) returns (bool)` (view)
-- `domain() returns (uint32)` - This chain's Circle domain, as in the table above (view)
-
-### GatewayMinterABI
-
-- `gatewayMint(bytes attestationPayload, bytes signature)` - Mint from a Circle-signed attestation
-- `isTokenSupported(address token) returns (bool)` (view)
-- `domain() returns (uint32)` (view)
+## Deployments and ABI
+
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/circle-gateway.md](registry/circle-gateway.md).
 
 ## Notes
 

package/{sdk/src/skills → skills/sauce-protocols/references}/compound-v2.md

@@ -4,9 +4,14 @@ Legacy algorithmic money market protocol on Ethereum. Pioneered cToken model whe
 
 ## Category
 
-lending | Chains: Ethereum (1)
+lending | Chains and addresses: [registry/compound-v2.md](registry/compound-v2.md)
 
-## SauceScript Functions
+## Typed templates for the raw compiler (not for `sauce compile`)
+
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ### supply
 
@@ -74,30 +79,11 @@ function main(cTokenAddress: Address, amount: Uint256): Uint256 {
 - `amount`: Amount to repay. Use `type(uint256).max` to repay full debt
 - Requires ERC-20 approval of the underlying token to the cToken
 
-## Deployed Addresses
-
-| Chain    | Contract    | Address                                      |
-| -------- | ----------- | -------------------------------------------- |
-| Ethereum | comptroller | `0x3d9819210A31b4961b30EF54bE2aeD79B9c9Cd3B` |
-| Ethereum | cETH        | `0x4Ddc2D193948926D02f9B1fE9e1daa0718270ED5` |
-| Ethereum | cUSDC       | `0x39AA39c021dfbaE8faC545936693aC917d5E7563` |
-
-## ABI Reference
-
-### CErc20ABI
-
-- `mint(uint256 mintAmount) returns (uint256)` - Supply underlying, receive cTokens. Returns 0 on success
-- `redeem(uint256 redeemTokens) returns (uint256)` - Redeem cTokens for underlying (specify cToken amount)
-- `redeemUnderlying(uint256 redeemAmount) returns (uint256)` - Redeem for exact underlying amount
-- `borrow(uint256 borrowAmount) returns (uint256)` - Borrow underlying tokens
-- `repayBorrow(uint256 repayAmount) returns (uint256)` - Repay borrow debt
-- `balanceOfUnderlying(address owner) returns (uint256)` - Get underlying balance including accrued interest. Not a view: it accrues interest first, so it cannot be STATICCALLed
-- `borrowBalanceCurrent(address account) returns (uint256)` - Get current borrow balance with interest. Not a view: it accrues interest first
-
-### ComptrollerABI
+## Deployments and ABI
 
-- `enterMarkets(address[] cTokens) returns (uint256[])` - Enable cTokens as collateral. Must call before borrowing
-- `exitMarket(address cToken) returns (uint256)` - Remove cToken from collateral (fails if would cause shortfall)
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/compound-v2.md](registry/compound-v2.md).
 
 ## Notes
 

package/{sdk/src/skills → skills/sauce-protocols/references}/compound-v3.md

@@ -2,11 +2,47 @@
 
 Single-asset lending protocol (Comet) with isolated markets per base asset. Each market has one borrowable asset and multiple collateral assets.
 
+## When to use it
+
+- Each market (a Comet) has one base asset you can supply for interest or borrow, and a list of
+  collateral assets you supply to borrow it. The namespace names each Comet by its base asset
+  (`CUSDCv3`, `CWETHv3`).
+- Choose it when you only need to borrow the base asset; for several borrowable assets against
+  shared collateral, Aave V3.
+
+## Pitfalls for a program
+
+- Approve the Comet before `supply`.
+- Supplying the base asset while you have a borrow repays the borrow first.
+- Withdrawing more base asset than you supplied **borrows** the rest, if your collateral allows:
+  check `balanceOf` and `borrowBalanceOf` before and after.
+- Collateral earns no interest, and each collateral asset has a supply cap.
+- `balanceOf` is the base supply with interest: it grows on its own.
+
+## In a Sauce program
+
+Supply the Pot's USDC to the USDC market and check it was credited:
+
+```sauce chain=base,arbitrum
+function main(amount: Uint256) {
+  const self = ctx.self();
+  const before = CompoundV3.CUSDCv3.balanceOf(self);
+  USDC.approve(CompoundV3.CUSDCv3, amount);
+  CompoundV3.CUSDCv3.supply(USDC, amount);
+  require(CompoundV3.CUSDCv3.balanceOf(self) > before, "supply not credited");
+}
+```
+
 ## Category
 
-lending | Chains: Ethereum (1), Arbitrum (42161), Base (8453), Polygon (137), Optimism (10), Scroll (534352)
+lending | Chains and addresses: [registry/compound-v3.md](registry/compound-v3.md)
 
-## SauceScript Functions
+## Typed templates for the raw compiler (not for `sauce compile`)
+
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ### supply
 
@@ -74,31 +110,11 @@ function main(cometAddress: Address, to: Address, asset: Address, amount: Uint25
 
 - `to`: Address that receives the withdrawn tokens
 
-## Deployed Addresses
-
-| Chain    | Contract | Address                                      |
-| -------- | -------- | -------------------------------------------- |
-| Ethereum | cUSDCv3  | `0xc3d688B66703497DAA19211EEdff47f25384cdc3` |
-| Ethereum | cWETHv3  | `0xA17581A9E3356d9A858b789D68B4d866e593aE94` |
-| Ethereum | cUSDTv3  | `0x3Afdc9BCA9213A35503b077a6072F3D0d5AB0840` |
-| Arbitrum | cUSDCv3  | `0x9c4ec768c28520B50860ea7a15bd7213a9fF58bf` |
-| Arbitrum | cUSDTv3  | `0x6f7D514bbD4aFf3BcD1140B7344b32f063dEe486` |
-| Base     | cUSDCv3  | `0xb125E6687d4313864e53df431d5425969c15Eb2F` |
-| Base     | cWETHv3  | `0x46e6b214b524310239732D51387075E0e70970bf` |
-| Polygon  | cUSDCv3  | `0xF25212E676D1F7F89Cd72fFEe66158f541246445` |
-| Optimism | cUSDCv3  | `0x2e44e174f7D53F0212823acC11C01A11d58c5bCB` |
-| Scroll   | cUSDCv3  | `0xB2f97c1Bd3bf02f5e74d13f02E3e26F93D77CE44` |
-
-## ABI Reference
-
-### CometABI
-
-- `supply(address asset, uint256 amount)` - Supply base asset (earns interest) or collateral asset
-- `supplyTo(address dst, address asset, uint256 amount)` - Supply on behalf of another address
-- `withdraw(address asset, uint256 amount)` - Withdraw base or collateral. Excess withdrawal borrows automatically
-- `withdrawTo(address to, address asset, uint256 amount)` - Withdraw to specific recipient address
-- `balanceOf(address account) returns (uint256)` - Get base asset supply balance (view)
-- `borrowBalanceOf(address account) returns (uint256)` - Get outstanding borrow balance (view)
+## Deployments and ABI
+
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/compound-v3.md](registry/compound-v3.md).
 
 ## Notes
 

package/{sdk/src/skills → skills/sauce-protocols/references}/connext.md

@@ -4,9 +4,14 @@ Cross-chain liquidity protocol rebranded as Everclear. Uses intents and a cleari
 
 ## Category
 
-bridge | Direction: any-to-any (L2-to-L2, L1-to-L2, L2-to-L1) | Chains: Ethereum (1), Arbitrum (42161), Optimism (10), Base (8453)
+bridge | Direction: any-to-any (L2-to-L2, L1-to-L2, L2-to-L1) | Chains and addresses: [registry/connext.md](registry/connext.md)
 
-## SauceScript Functions
+## Typed templates for the raw compiler (not for `sauce compile`)
+
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ### bridge
 
@@ -47,20 +52,11 @@ function main(
 - `ttl`: Time-to-live in seconds (86400 = 24 hours). Intent expires if unfilled
 - Requires ERC-20 approval to the EverclearSpoke
 
-## Deployed Addresses
-
-| Chain    | Contract       | Address                                      |
-| -------- | -------------- | -------------------------------------------- |
-| Ethereum | everclearSpoke | `0xa05A3380889115bf313f1Db9d5f335157Be4D816` |
-| Arbitrum | everclearSpoke | `0xa05A3380889115bf313f1Db9d5f335157Be4D816` |
-| Optimism | everclearSpoke | `0xa05A3380889115bf313f1Db9d5f335157Be4D816` |
-| Base     | everclearSpoke | `0xa05A3380889115bf313f1Db9d5f335157Be4D816` |
-
-## ABI Reference
-
-### EverclearSpokeABI
+## Deployments and ABI
 
-- `newIntent(uint32[] destinations, address receiver, address inputAsset, address outputAsset, uint256 amount, uint256 amountOutMin, uint48 ttl, bytes data) returns (bytes32 intentId, Intent intent)` - Create a cross-chain transfer intent. Solvers compete to fill the intent on the destination chain. A `bytes32`-typed overload takes non-EVM receivers and assets
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/connext.md](registry/connext.md).
 
 ## Notes
 

package/{sdk/src/skills → skills/sauce-protocols/references}/convex.md

@@ -4,7 +4,7 @@ Yield optimizer for Curve Finance LP tokens. Deposit Curve LP tokens to earn boo
 
 ## Category
 
-yield | Chains: Ethereum
+yield | Chains and addresses: [registry/convex.md](registry/convex.md)
 
 ## Key Operations
 
@@ -12,13 +12,12 @@ yield | Chains: Ethereum
 - **withdraw**: Withdraw Curve LP tokens from Convex pool
 - **getReward**: Claim accumulated CRV + CVX + extra rewards
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/convex";
-```
-
-## SauceScript Examples
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ```typescript
 // Deposit Curve LP into Convex (auto-stake in reward pool)
@@ -46,28 +45,11 @@ function main(rewardPoolAddress: Address, account: Address): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract      | Address                                      |
-| -------- | ------------- | -------------------------------------------- |
-| Ethereum | booster       | `0xF403C135812408BFbE8713b5A23a04b3D48AAE31` |
-| Ethereum | cvxRewardPool | `0xCF50b810E57Ac33B91dCF525C6ddd9881B139332` |
-
-## ABI Methods
-
-### BoosterABI
-
-- `deposit(uint256,uint256,bool)` - Deposit LP tokens. Params: pool ID (pid), amount, stake in reward pool (true recommended)
-- `withdraw(uint256,uint256)` - Withdraw LP tokens. Params: pool ID, amount
-- `poolLength()` - Total number of pools
-- `poolInfo(uint256)` - Get pool info: (lptoken, token, gauge, crvRewards, stash, shutdown)
-
-### BaseRewardPoolABI
+## Deployments and ABI
 
-- `getReward(address,bool)` - Claim rewards. Params: account, claimExtras (true = claim extra reward tokens too)
-- `earned(address)` - Query pending CRV rewards
-- `balanceOf(address)` - Query staked balance in reward pool
-- `withdrawAndUnwrap(uint256,bool)` - Withdraw and unwrap in one tx. Params: amount, claim rewards
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/convex.md](registry/convex.md).
 
 ## Notes
 

package/{sdk/src/skills → skills/sauce-protocols/references}/cowswap.md

@@ -1,23 +1,24 @@
 # CoW Swap
 
+> **In a Sauce program**, swap through the Sauce Router wherever it services the pool, with a price limit, a minimum output and the unspent input returned (`sauce-swaps`; several pools under one limit, `sauce-distributed-swap`). The templates below call the protocol's own contracts.
+
 MEV-protected DEX aggregator using batch auctions and Coincidence of Wants (CoW) to find optimal prices while protecting users from frontrunning.
 
 ## Category
 
-aggregator | Chains: Ethereum, Arbitrum
+aggregator | Chains and addresses: [registry/cowswap.md](registry/cowswap.md)
 
 ## Key Operations
 
 - **preSignOrder**: Pre-sign an order on-chain for execution by solvers
 - **invalidateOrder**: Cancel/invalidate a pending order
 
-## SDK Usage
-
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/cowswap";
-```
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-## SauceScript Examples
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ```typescript
 // Pre-sign order on-chain
@@ -37,19 +38,11 @@ function main(settlementAddress: Address, orderUid: bytes): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract       | Address                                      |
-| -------- | -------------- | -------------------------------------------- |
-| Ethereum | gpv2Settlement | `0x9008D19f58AAbD9eD0D60971565AA8510560ab41` |
-| Arbitrum | gpv2Settlement | `0x9008D19f58AAbD9eD0D60971565AA8510560ab41` |
-
-## ABI Methods
-
-### GPv2SettlementABI
+## Deployments and ABI
 
-- `setPreSignature(bytes,bool)` - Pre-sign order on-chain. Params: orderUid (unique order identifier bytes), signed (true to sign, false to unsign). Used for smart contract wallets that cannot sign off-chain
-- `invalidateOrder(bytes)` - Invalidate/cancel a pending order. Params: orderUid (order to cancel)
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/cowswap.md](registry/cowswap.md).
 
 ## Notes
 

package/{sdk/src/skills → skills/sauce-protocols/references}/crvusd.md

@@ -4,20 +4,19 @@ Curve Finance native stablecoin using LLAMMA (Lending-Liquidating AMM Algorithm)
 
 ## Category
 
-cdp | Chains: Ethereum
+cdp | Chains and addresses: [registry/crvusd.md](registry/crvusd.md)
 
 ## Key Operations
 
 - **transfer**: Transfer crvUSD tokens
 - **approve**: Approve crvUSD token spender
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/crvusd";
-```
-
-## SauceScript Examples
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ```typescript
 // Transfer crvUSD
@@ -35,19 +34,11 @@ function main(crvusdAddress: Address, spender: Address, amount: Uint256): Uint25
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract | Address                                      |
-| -------- | -------- | -------------------------------------------- |
-| Ethereum | crvusd   | `0xf939E0A03FB07F59A73314E73794Be0E57ac1b4E` |
-
-## ABI Methods
-
-### CrvUSDERC20ABI
+## Deployments and ABI
 
-- `transfer(address,uint256)` - Transfer crvUSD. Params: to, amount. Returns bool
-- `approve(address,uint256)` - Approve spender. Params: spender, amount. Returns bool
-- `balanceOf(address)` - Query balance. Params: account. Returns uint256
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/crvusd.md](registry/crvusd.md).
 
 ## Notes
 

package/skills/sauce-protocols/references/curve.md

@@ -0,0 +1,98 @@
+# Curve Finance
+
+> **In a Sauce program**, swap through the Sauce Router wherever it services the pool, with a price limit, a minimum output and the unspent input returned (`sauce-swaps`; several pools under one limit, `sauce-distributed-swap`). The templates below call the protocol's own contracts.
+
+StableSwap AMM optimized for low-slippage swaps between pegged assets (stablecoins, wrapped tokens). Uses a specialized invariant that provides near-zero slippage for like-kind assets while maintaining AMM properties.
+
+## Category
+
+dex | Chains and addresses: [registry/curve.md](registry/curve.md)
+
+## Key Operations
+
+- **swap**: Exchange tokens within a pool using index-based routing
+- **addLiquidity**: Add liquidity with flexible token amounts (can be imbalanced)
+- **removeLiquidity**: Remove liquidity proportionally or single-sided
+
+## Typed templates for the raw compiler (not for `sauce compile`)
+
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
+
+### swap
+
+```typescript
+import { CurveStableSwapABI as IStableSwap } from "./abis";
+
+function main(
+  poolAddress: Address,
+  i: Uint256,
+  j: Uint256,
+  amountIn: Uint256,
+  minAmountOut: Uint256,
+): Uint256 {
+  const pool = IStableSwap.at(poolAddress);
+  return pool.exchange(i, j, amountIn, minAmountOut);
+}
+```
+
+- `poolAddress`: The specific Curve pool contract address (each pool is a separate contract)
+- `i`: Index of the input token within the pool (0-based)
+- `j`: Index of the output token within the pool (0-based)
+- `amountIn`: Exact amount of input token (in wei)
+- `minAmountOut`: Minimum output for slippage protection
+- Token indices vary per pool
+- For StableSwap-NG pools. 3pool's `exchange` returns nothing, so reading back a `uint256` reverts there: use `CurveThreePoolABI` for 3pool
+
+### addLiquidity
+
+```typescript
+import { CurveStableSwapABI as IStableSwap } from "./abis";
+
+function main(poolAddress: Address, amounts: Uint256[], minMintAmount: Uint256): Uint256 {
+  const pool = IStableSwap.at(poolAddress);
+  return pool.add_liquidity(amounts, minMintAmount);
+}
+```
+
+- `amounts`: Array of deposit amounts for each token in pool order (can include zeros for imbalanced deposits)
+- `minMintAmount`: Minimum LP tokens to receive (slippage protection)
+- All deposited tokens must be approved to the pool contract
+
+### removeLiquidity
+
+```typescript
+import { CurveStableSwapABI as IStableSwap } from "./abis";
+
+function main(poolAddress: Address, amount: Uint256, minAmounts: Uint256[]): Uint256[] {
+  const pool = IStableSwap.at(poolAddress);
+  return pool.remove_liquidity(amount, minAmounts);
+}
+```
+
+- `amount`: Amount of LP tokens to burn
+- `minAmounts`: Minimum amounts of each token to receive (array in pool token order)
+
+## Deployments and ABI
+
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/curve.md](registry/curve.md).
+
+## Notes
+
+- Pool tokens are indexed (i, j) not addressed; you must know the token order for each pool
+- Common pool token orders: 3pool = [DAI(0), USDC(1), USDT(2)]
+- `exchange_underlying` is used for metapools or lending pools where tokens wrap underlying assets
+- `remove_liquidity_one_coin` is useful for single-sided withdrawal (higher slippage than proportional)
+- Each pool is a separate contract; use the AddressProvider or registry to discover pools
+- RouterNG enables cross-pool routing for multi-hop swaps across different pools
+- Curve excels at stablecoin swaps (much lower slippage than Uniswap for like-kind pairs)
+- The `get_virtual_price` never decreases and represents the LP token value growth over time
+- Tokens must be ERC20-approved to the pool contract (not a router) for direct pool swaps
+- For Router NG swaps, approve tokens to the Router NG contract
+- The StableSwap-NG pool interface (plain and meta pools). Classic pools such as 3pool have their own shape: see `CurveThreePoolABI` below.
+- 3pool (`threePool` in the addresses), a classic StableSwap pool. Its liquidity arrays are fixed-size, and its state-changing functions return nothing: read amounts as balance changes.
+- From a Pot program, `@sauce/router` swaps at the pool directly: `curve(pool, tokenIn, tokenOut, amountIn, i, j, uint256Indices, minOut, recipient)`, with `uint256Indices` `false` for StableSwap and NG pools (`int128` indices) and `true` for CryptoSwap, approves the pool for exactly `amountIn` and calls the 4-argument `exchange` with `minOut` as `min_dy`, without decoding a return (3pool-era pools have none); the allowance ends at zero, and it returns the Pot's balance change, forwarded when the recipient is not the Pot. `tryCurve` catches a failed `exchange`, resets the approval and returns `0n`. The `curveSwap` action is the same call. The Sauce Router's own Curve handler cannot trade a pool whose `exchange` returns nothing, nor a uint256-index pool

package/{sdk/src/skills → skills/sauce-protocols/references}/debridge.md

@@ -4,9 +4,14 @@ Cross-chain trading infrastructure with DLN (DeBridge Liquidity Network). Suppor
 
 ## Category
 
-bridge + cross-chain trading | Direction: any-to-any | Chains: Ethereum (1), Arbitrum (42161), Optimism (10), Base (8453), Polygon (137), BSC (56), Avalanche (43114), Arc (5042)
+bridge + cross-chain trading | Direction: any-to-any | Chains and addresses: [registry/debridge.md](registry/debridge.md)
 
-## SauceScript Functions
+## Typed templates for the raw compiler (not for `sauce compile`)
+
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ### bridge
 
@@ -59,38 +64,11 @@ function main(
 - `allowedCancelBeneficiarySrc`: Restrict who receives refund on cancellation (empty `0x00` = order creator)
 - Requires ERC-20 approval to DlnSource
 
-## Deployed Addresses
-
-| Chain     | Contract       | Address                                      |
-| --------- | -------------- | -------------------------------------------- |
-| Ethereum  | dlnSource      | `0xeF4fB24aD0916217251F553c0596F8Edc630EB66` |
-| Ethereum  | dlnDestination | `0xE7351Fd770A37282b91D153Ee690B63579D6dd7f` |
-| Arbitrum  | dlnSource      | `0xeF4fB24aD0916217251F553c0596F8Edc630EB66` |
-| Arbitrum  | dlnDestination | `0xE7351Fd770A37282b91D153Ee690B63579D6dd7f` |
-| Optimism  | dlnSource      | `0xeF4fB24aD0916217251F553c0596F8Edc630EB66` |
-| Optimism  | dlnDestination | `0xE7351Fd770A37282b91D153Ee690B63579D6dd7f` |
-| Base      | dlnSource      | `0xeF4fB24aD0916217251F553c0596F8Edc630EB66` |
-| Base      | dlnDestination | `0xE7351Fd770A37282b91D153Ee690B63579D6dd7f` |
-| Polygon   | dlnSource      | `0xeF4fB24aD0916217251F553c0596F8Edc630EB66` |
-| Polygon   | dlnDestination | `0xE7351Fd770A37282b91D153Ee690B63579D6dd7f` |
-| BSC       | dlnSource      | `0xeF4fB24aD0916217251F553c0596F8Edc630EB66` |
-| BSC       | dlnDestination | `0xE7351Fd770A37282b91D153Ee690B63579D6dd7f` |
-| Avalanche | dlnSource      | `0xeF4fB24aD0916217251F553c0596F8Edc630EB66` |
-| Avalanche | dlnDestination | `0xE7351Fd770A37282b91D153Ee690B63579D6dd7f` |
-
-## ABI Reference
-
-### DlnSourceABI
-
-- `createOrder(OrderCreation _orderCreation, bytes _affiliateFee, uint32 _referralCode, bytes _permitEnvelope) returns (bytes32 orderId)` [payable] - Create a cross-chain limit order. Market makers compete to fill on destination
-
-OrderCreation tuple: `(address giveTokenAddress, uint256 giveAmount, bytes takeTokenAddress, uint256 takeAmount, uint256 takeChainId, bytes receiverDst, address givePatchAuthoritySrc, bytes orderAuthorityAddressDst, bytes allowedTakerDst, bytes externalCall, bytes allowedCancelBeneficiarySrc)`
-
-### DlnDestinationABI
-
-- `fulfillOrder(Order _order, uint256 _fulFillAmount, bytes32 _orderId, bytes _permitEnvelope, address _unlockAuthority)` [payable] - Fill an order on the destination chain (called by market makers/solvers)
+## Deployments and ABI
 
-Order tuple: `(uint64 makerOrderNonce, bytes makerSrc, uint256 giveChainId, bytes giveTokenAddress, uint256 giveAmount, uint256 takeChainId, bytes receiverDst, address takeTokenAddress, uint256 takeAmount, bytes givePatchAuthoritySrc, address orderAuthorityAddressDst, bytes allowedTakerDst, bytes allowedCancelBeneficiarySrc, bytes externalCall)`
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/debridge.md](registry/debridge.md).
 
 ## Notes
 

package/{sdk/src/skills → skills/sauce-protocols/references}/dodo.md

@@ -1,22 +1,23 @@
 # DODO
 
+> **In a Sauce program**, swap through the Sauce Router wherever it services the pool, with a price limit, a minimum output and the unspent input returned (`sauce-swaps`; several pools under one limit, `sauce-distributed-swap`). The templates below call the protocol's own contracts.
+
 Proactive Market Maker (PMM) DEX with capital-efficient liquidity provision. Unlike constant product AMMs, DODO uses oracle-guided pricing to concentrate liquidity near market price. Features single-token LP, customizable price curves, and smart routing across DODO pools.
 
 ## Category
 
-dex | Chains: Ethereum, BSC
+dex | Chains and addresses: [registry/dodo.md](registry/dodo.md)
 
 ## Key Operations
 
 - **swap**: Swap tokens via DODO V2 Proxy with pair-based routing
 
-## SDK Usage
-
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/dodo";
-```
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-## SauceScript Examples
+These import the protocol's ABI from `./abis`, the way the registry compiles them with the raw
+compiler; `sauce compile` has no such module. In a program for a chain, name the contract by its
+namespace, or import its ABI from `./protocols/<slug>/<Export>.json` as the registry file at the
+top of this document shows, and write SauceScript's values (`~0n`, not `type(uint256).max`).
 
 ### swap
 
@@ -55,18 +56,11 @@ function main(
 - `direction`: Bitmask encoding which side of each pool to use. Each bit represents a pool: `0` = sell base token, `1` = sell quote token. For a single pool, use `0` or `1`. For multi-pool, combine bits (e.g., `0b01` = first pool sell quote, second pool sell base)
 - `isIncentive`: Set to `false` (incentive mining flag, usually disabled)
 
-## Key Addresses
-
-| Chain    | Contract | Address                                      |
-| -------- | -------- | -------------------------------------------- |
-| Ethereum | V2 Proxy | `0xa356867fDCeA8e71AEaf87805808803806231FDc` |
-| BSC      | V2 Proxy | `0x8F8Dd7DB1bDA5eD3da8C9dAf3bFA471c12d58486` |
-
-## ABI Methods
-
-### DODOV2ProxyABI
+## Deployments and ABI
 
-- `dodoSwapV2TokenToToken(address fromToken, address toToken, uint256 fromTokenAmount, uint256 minReturnAmount, address[] dodoPairs, uint256 directions, bool isIncentive, uint256 deadLine) -> uint256 returnAmount` - Execute a token-to-token swap through one or more DODO pools
+The registry's addresses per chain, how a program names each contract there (a namespace, or
+an ABI import bound to the address), and the ABI functions are generated in
+[registry/dodo.md](registry/dodo.md).
 
 ## Notes
 
@@ -78,3 +72,4 @@ function main(
 - Pool discovery requires off-chain lookup via DODO's API or subgraph to find the right pool addresses
 - Input token must be ERC20-approved to the V2 Proxy contract
 - DODO also supports single-token LP (provide only one side of liquidity) which is unique among AMMs
+- From a Pot program, `@sauce/router` swaps at a DODO V2 pool (DVM, DPP or DSP) directly, with no proxy and no approval: `dodoV2(pool, tokenIn, tokenOut, amountIn, baseToken, quoteToken, minOut, recipient)` transfers the input to the pool and calls `sellBase(to)` when `tokenIn` is the base, `sellQuote(to)` when it is the quote, returning the amount out. The side cannot come from address order, and the wrong one reverts nothing and donates the input, so the function takes the pool's `_BASE_TOKEN_()` and `_QUOTE_TOKEN_()` and reverts unless `tokenIn` and `tokenOut` are those two. The pool books its whole balance as its reserve, so the swap consumes its input or reverts; name a `minOut`, since a thin pool pays out at most its quote reserve for any input. There is no `try` form: no capacity check guarantees the fill. The `dodoV2Swap` action is the same call; legacy V1 pairs are the `dodoV1Swap` action's, through the proxy