@eco-incorp/sauce 0.99.5 → 0.99.7

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

@@ -0,0 +1,48 @@
+# EigenLayer
+
+Restaking protocol that enables staked ETH to secure additional protocols (AVS). Deposit LSTs into strategies to earn restaking rewards on top of staking yield.
+
+## Category
+
+restaking | Chains and addresses: [registry/eigenlayer.md](registry/eigenlayer.md)
+
+## Key Operations
+
+- **depositIntoStrategy**: Deposit LSTs (stETH, rETH, cbETH) into a restaking strategy
+- **delegateTo**: Delegate restaked assets to an operator (via DelegationManager)
+- **undelegate**: Undelegate from an operator, initiating withdrawal
+
+## 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`).
+
+```typescript
+// Deposit LST into restaking strategy
+import { StrategyManagerABI as IStrategyManager } from "./abis";
+function main(
+  strategyManagerAddress: Address,
+  strategy: Address,
+  token: Address,
+  amount: Uint256,
+): Uint256 {
+  const sm = IStrategyManager.at(strategyManagerAddress);
+  return sm.depositIntoStrategy(strategy, token, amount);
+}
+```
+
+## 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/eigenlayer.md](registry/eigenlayer.md).
+
+## Notes
+
+- TVL: $13B+. Foundation of the restaking ecosystem
+- Approve LST token to StrategyManager before depositing
+- Each LST has its own strategy contract (stETH, rETH, cbETH listed above)
+- Withdrawal has a 7-day delay period after undelegating
+- delegateTo requires approverSignatureAndExpiry tuple - use empty bytes + far-future expiry for typical cases

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

@@ -4,20 +4,19 @@ Ethereum Name Service - the decentralized naming system for wallets, websites, a
 
 ## Category
 
-infrastructure | Chains: Ethereum
+infrastructure | Chains and addresses: [registry/ens.md](registry/ens.md)
 
 ## Key Operations
 
 - **setResolver**: Set the resolver contract for an ENS name
 - **setOwner**: Transfer ownership of an ENS name
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/ens";
-```
-
-## 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
 // Set resolver for ENS name
@@ -37,26 +36,11 @@ function main(registryAddress: Address, node: Uint256, owner: Address): Uint256
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract      | Address                                      |
-| -------- | ------------- | -------------------------------------------- |
-| Ethereum | registry      | `0x00000000000C2E074eC69A0dFb2997BA6C7d2e1e` |
-| Ethereum | baseRegistrar | `0x57f1887a8BF19b14fC0dF6Fd9B2acc9Af147eA85` |
-
-## ABI Methods
-
-### ENSRegistryABI
-
-- `owner(bytes32)` - Query owner of a name node. Params: node (namehash). Returns owner address
-- `resolver(bytes32)` - Query resolver of a name node. Params: node. Returns resolver address
-- `setOwner(bytes32,address)` - Transfer name ownership. Params: node, owner (new owner)
-- `setResolver(bytes32,address)` - Set resolver contract. Params: node, resolver (new resolver)
-
-### BaseRegistrarABI
+## Deployments and ABI
 
-- `nameExpires(uint256)` - Check when a .eth name expires. Params: id (label hash as uint256). Returns expiry timestamp
-- `reclaim(uint256,address)` - Reclaim ENS registry ownership. Params: id (label hash), owner. Only callable by registrant
+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/ens.md](registry/ens.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ The standard interface for fungible tokens on EVM chains (EIP-20). Defines trans
 
 ## Category
 
-infrastructure | Chains: (standard interface, any chain)
+infrastructure | Chains and addresses: [registry/erc20.md](registry/erc20.md)
 
 ## Key Operations
 
@@ -14,36 +14,32 @@ infrastructure | Chains: (standard interface, any chain)
 - **balanceOf**: Query token balance of an address
 - **allowance**: Query remaining approved amount for a spender
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/erc20";
-```
-
-## 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 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;
 }
 
@@ -71,24 +67,11 @@ function main(to: Address, amount: Uint256): Uint256 {
 }
 ```
 
-## ABI Methods
-
-### ERC20ABI
-
-- `transfer(address,uint256)` - Transfer tokens. Params: to (recipient), amount (token amount). Returns bool success
-- `approve(address,uint256)` - Approve spender. Params: spender (authorized address), amount (max transfer amount). Returns bool success
-- `transferFrom(address,address,uint256)` - Transfer from approved address. Params: from (source), to (destination), amount. Returns bool success
-- `balanceOf(address)` - Query balance. Params: account. Returns uint256 balance
-- `allowance(address,address)` - Query allowance. Params: owner, spender. Returns uint256 remaining allowance
-- `totalSupply()` - Total token supply. Returns uint256
-- `name()` - Token name. Returns string
-- `symbol()` - Token symbol. Returns string
-- `decimals()` - Token decimals. Returns uint8 (typically 18; USDC/USDT use 6)
-
-### Events
+## Deployments and ABI
 
-- `Transfer(address indexed from, address indexed to, uint256 value)` - Emitted on transfer and transferFrom
-- `Approval(address indexed owner, address indexed spender, uint256 value)` - Emitted on approve
+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/erc20.md](registry/erc20.md).
 
 ## Notes
 
@@ -97,5 +80,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 → skills/sauce-protocols/references}/erc3156.md

@@ -4,7 +4,7 @@ Standard interface for flash loans (EIP-3156). Provides flashLoan, flashFee, and
 
 ## Category
 
-infrastructure | Chains: (standard interface, any chain)
+infrastructure | Chains and addresses: [registry/erc3156.md](registry/erc3156.md)
 
 ## Key Operations
 
@@ -12,13 +12,12 @@ infrastructure | Chains: (standard interface, any chain)
 - **maxFlashLoan**: Query the maximum flash loan amount for a token
 - **flashLoan**: Execute a flash loan (borrow and repay in same transaction)
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/erc3156";
-```
-
-## 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
 // Query flash loan fee
@@ -36,13 +35,11 @@ function main(lenderAddress: Address, token: Address): Uint256 {
 }
 ```
 
-## ABI Methods
-
-### FlashLenderABI
+## Deployments and ABI
 
-- `flashLoan(address,address,uint256,bytes)` - Execute flash loan. Params: receiver (contract that receives tokens and implements IERC3156FlashBorrower), token (ERC-20 to borrow), amount (borrow amount), data (arbitrary data passed to receiver callback). Returns bool success
-- `flashFee(address,uint256)` - Query fee for flash loan. Params: token, amount. Returns fee in token units
-- `maxFlashLoan(address)` - Query max borrowable amount. Params: token. Returns max amount (0 if token not supported)
+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/erc3156.md](registry/erc3156.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ Standard interface for tokenized vaults (EIP-4626). Provides deposit, withdraw,
 
 ## Category
 
-yield | Chains: (standard interface, any chain)
+yield | Chains and addresses: [registry/erc4626.md](registry/erc4626.md)
 
 ## Key Operations
 
@@ -17,13 +17,12 @@ yield | Chains: (standard interface, any chain)
 - **convertToShares**: Convert asset amount to equivalent shares
 - **convertToAssets**: Convert share amount to equivalent assets
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/erc4626";
-```
-
-## 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 assets into vault
@@ -62,26 +61,11 @@ function main(vaultAddress: Address, assets: Uint256): Uint256 {
 }
 ```
 
-## ABI Methods
-
-### VaultABI
-
-- `deposit(uint256,address)` - Deposit assets. Params: assets (underlying token amount), receiver (share recipient). Returns shares minted
-- `mint(uint256,address)` - Mint exact shares. Params: shares (exact shares to mint), receiver. Returns assets required
-- `withdraw(uint256,address,address)` - Withdraw by asset amount. Params: assets (amount to withdraw), receiver, owner (share owner). Returns shares burned
-- `redeem(uint256,address,address)` - Redeem shares. Params: shares (to burn), receiver, owner. Returns assets received
-- `totalAssets()` - Total assets managed by vault. Returns uint256
-- `convertToShares(uint256)` - Convert assets to shares (current rate). Params: assets. Returns shares
-- `convertToAssets(uint256)` - Convert shares to assets (current rate). Params: shares. Returns assets
-- `previewDeposit(uint256)` - Preview deposit (includes fees). Params: assets. Returns shares
-- `previewMint(uint256)` - Preview mint cost. Params: shares. Returns assets needed
-- `previewWithdraw(uint256)` - Preview withdrawal. Params: assets. Returns shares to burn
-- `previewRedeem(uint256)` - Preview redemption. Params: shares. Returns assets received
-- `maxDeposit(address)` - Max deposit allowed. Params: receiver. Returns max assets
-- `maxMint(address)` - Max mint allowed. Params: receiver. Returns max shares
-- `maxWithdraw(address)` - Max withdrawal allowed. Params: owner. Returns max assets
-- `maxRedeem(address)` - Max redemption allowed. Params: owner. Returns max shares
-- `asset()` - Underlying asset address. Returns address
+## 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/erc4626.md](registry/erc4626.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ Synthetic dollar protocol providing USDe, a crypto-native dollar backed by delta
 
 ## Category
 
-cdp | Chains: Ethereum
+cdp | Chains and addresses: [registry/ethena.md](registry/ethena.md)
 
 ## Key Operations
 
@@ -13,13 +13,12 @@ cdp | Chains: Ethereum
 - **cooldownShares**: Start cooldown period to unstake (by share amount)
 - **unstake**: Complete unstake after cooldown period
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/ethena";
-```
-
-## 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
 // Stake USDe for sUSDe
@@ -45,27 +44,11 @@ function main(susdeAddress: Address, receiver: Address): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract | Address                                      |
-| -------- | -------- | -------------------------------------------- |
-| Ethereum | usde     | `0x4c9EDD5852cd905f086C759E8383e09bff1e68b3` |
-| Ethereum | susde    | `0x9D39A5DE30e57443BfF2A8307A4256c8797A3497` |
-
-## ABI Methods
-
-### StakedUSDeABI (ERC-4626 + cooldown)
-
-- `deposit(uint256,address)` - Stake USDe, receive sUSDe. Params: assets (USDe amount), receiver. Returns shares (sUSDe minted)
-- `withdraw(uint256,address,address)` - Withdraw by asset amount (after cooldown). Params: assets, receiver, owner. Returns shares burned
-- `redeem(uint256,address,address)` - Redeem by share amount (after cooldown). Params: shares, receiver, owner. Returns assets
-- `cooldownAssets(uint256)` - Start cooldown by specifying USDe amount. Params: assets. Returns shares that will be burned
-- `cooldownShares(uint256)` - Start cooldown by specifying sUSDe amount. Params: shares. Returns assets that will be received
-- `unstake(address)` - Complete unstake after cooldown. Params: receiver (address to receive USDe)
-
-### USDeABI
+## Deployments and ABI
 
-- `approve(address,uint256)` - Approve USDe spender. Params: spender, amount. Returns bool
+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/ethena.md](registry/ethena.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ Decentralized, non-custodial liquid restaking protocol. Stake ETH to receive eET
 
 ## Category
 
-restaking | Chains: Ethereum
+restaking | Chains and addresses: [registry/etherfi.md](registry/etherfi.md)
 
 ## Key Operations
 
@@ -12,13 +12,12 @@ restaking | Chains: Ethereum
 - **wrap**: Wrap eETH into weETH (non-rebasing)
 - **unwrap**: Unwrap weETH back to eETH
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/etherfi";
-```
-
-## 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 ETH for eETH
@@ -43,32 +42,11 @@ function main(weethAddress: Address, amount: Uint256): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract      | Address                                      |
-| -------- | ------------- | -------------------------------------------- |
-| Ethereum | eETH          | `0x35fA164735182de50811E8e2E824cFb9B6118ac2` |
-| Ethereum | weETH         | `0xCd5fE23C85820F7B72D0926FC9b05b43E359b7ee` |
-| Ethereum | liquidityPool | `0x308861A430be4cce5502d0A12724771Fc6DaF216` |
-
-## ABI Methods
-
-### LiquidityPoolABI
-
-- `deposit()` - Stake ETH (payable), receive eETH. Returns shares minted
-
-### WeETHABI
-
-- `wrap(uint256)` - Wrap eETH amount into weETH. Requires eETH approval
-- `unwrap(uint256)` - Unwrap weETH back to eETH
-- `getEETHByWeETH(uint256)` - Preview eETH for weETH amount
-- `getWeETHByeETH(uint256)` - Preview weETH for eETH amount (note the lower-case `e`)
-- `balanceOf(address)` - Query weETH balance
-
-### EETHABI
+## Deployments and ABI
 
-- `balanceOf(address)` - Query eETH balance
-- `approve(address,uint256)` - Approve eETH spending
+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/etherfi.md](registry/etherfi.md).
 
 ## Notes
 

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

@@ -4,9 +4,14 @@ Modular lending platform built on the Ethereum Vault Connector (EVC). Supports p
 
 ## Category
 
-lending | Chains: Ethereum (1)
+lending | Chains and addresses: [registry/euler-v2.md](registry/euler-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`).
 
 ### deposit
 
@@ -75,26 +80,11 @@ function main(vaultAddress: Address, amount: Uint256, receiver: Address): Uint25
 - Requires ERC-20 approval of the underlying to the vault
 - Returns the number of debt shares burned
 
-## Deployed Addresses
-
-| Chain    | Contract               | Address                                      |
-| -------- | ---------------------- | -------------------------------------------- |
-| Ethereum | ethereumVaultConnector | `0x0C9a3dd6b8F28529d72d7f9cE918D493519EE383` |
-
-## ABI Reference
-
-### EVaultABI
-
-- `deposit(uint256 amount, address receiver) returns (uint256 shares)` - Deposit underlying, receive vault shares
-- `withdraw(uint256 amount, address receiver, address owner) returns (uint256 shares)` - Withdraw underlying by amount
-- `borrow(uint256 amount, address receiver) returns (uint256 shares)` - Borrow underlying tokens
-- `repay(uint256 amount, address receiver) returns (uint256 shares)` - Repay borrowed debt
-- `redeem(uint256 shares, address receiver, address owner) returns (uint256 amount)` - Redeem vault shares for underlying
-
-### EVCABI
+## Deployments and ABI
 
-- `enableCollateral(address account, address vault)` - Enable an EVault as collateral for an account
-- `enableController(address account, address vault)` - Enable an EVault as debt controller for an account
+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/euler-v2.md](registry/euler-v2.md).
 
 ## Notes
 

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

@@ -1,22 +1,23 @@
 # Fenix
 
+> **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.
+
 Blast-native ve(3,3) DEX and liquidity hub. Solidly-fork with concentrated liquidity and gauge voting, leveraging Blast's native yield on ETH and USDB for enhanced LP returns.
 
 ## Category
 
-dex | Chains: Blast
+dex | Chains and addresses: [registry/fenix.md](registry/fenix.md)
 
 ## Key Operations
 
 - **swap**: Swap tokens with route-based routing specifying stable or volatile pool type
 
-## SDK Usage
-
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/fenix";
-```
+## 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
 
@@ -52,18 +53,11 @@ function main(
 - Routes support multi-hop: `[{from: A, to: B, stable: false}, {from: B, to: C, stable: true}]`
 - Note: Fenix routes do NOT include a `factory` field (unlike Velodrome/Aerodrome)
 
-## Key Addresses
-
-| Chain | Contract | Address                                      |
-| ----- | -------- | -------------------------------------------- |
-| Blast | Router   | `0xbD571125856975DBfC2E9b6d1DE496D614D7BAEE` |
-
-## ABI Methods
-
-### FenixRouterABI
+## Deployments and ABI
 
-- `swapExactTokensForTokens(uint256 amountIn, uint256 amountOutMin, tuple[](address from, address to, bool stable) routes, address to, uint256 deadline) -> uint256[] amounts` - Swap with route tuples specifying pool type per hop
-- `addLiquidity(address tokenA, address tokenB, bool stable, uint256 amountADesired, uint256 amountBDesired, uint256 amountAMin, uint256 amountBMin, address to, uint256 deadline) -> (uint256 amountA, uint256 amountB, uint256 liquidity)` - Add liquidity to a stable or volatile pool
+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/fenix.md](registry/fenix.md).
 
 ## Notes
 

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

@@ -4,9 +4,14 @@ Liquidity layer that unifies lending and DEX liquidity. Deposited assets simulta
 
 ## Category
 
-lending | Chains: Ethereum (1), Arbitrum (42161)
+lending | Chains and addresses: [registry/fluid.md](registry/fluid.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`).
 
 The Liquidity layer (`liquidity` below) has no user-level deposit or borrow function: its only entry point, `operate`, is restricted to Fluid's own protocols. Users lend through **fTokens** (ERC-4626 vaults such as fUSDC) and borrow through **Vaults**.
 
@@ -82,25 +87,11 @@ function main(
 - `negativeDebtDelta`: the repayment as a negative `int256`, passed in two's complement (`2**256 - amount`)
 - Requires ERC-20 approval of the debt token to the Vault
 
-## Deployed Addresses
-
-| Chain    | Contract  | Address                                      |
-| -------- | --------- | -------------------------------------------- |
-| Ethereum | liquidity | `0x52Aa899454998Be5b000Ad077a46Bbe360F4e497` |
-| Arbitrum | liquidity | `0x52Aa899454998Be5b000Ad077a46Bbe360F4e497` |
-
-## ABI Reference
-
-### FluidLendingABI (an fToken)
-
-- `deposit(uint256 assets, address receiver) returns (uint256 shares)` - ERC-4626 deposit
-- `withdraw(uint256 assets, address receiver, address owner) returns (uint256 shares)` - ERC-4626 withdraw
-- `redeem(uint256 shares, address receiver, address owner) returns (uint256 assets)` - ERC-4626 redeem
-- `asset() returns (address)` - The underlying token
-
-### FluidVaultABI (a Vault)
+## Deployments and ABI
 
-- `operate(uint256 nftId, int256 newCol, int256 newDebt, address to) returns (uint256, int256, int256)` [payable] - Change a position's collateral and debt in one call; positive deltas deposit/borrow, negative ones withdraw/repay
+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/fluid.md](registry/fluid.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ Frax Finance's liquid staking derivative. Two tokens: frxETH (pegged 1:1 to ETH)
 
 ## Category
 
-liquid-staking | Chains: Ethereum
+liquid-staking | Chains and addresses: [registry/frax-ether.md](registry/frax-ether.md)
 
 ## Key Operations
 
@@ -12,13 +12,12 @@ liquid-staking | Chains: Ethereum
 - **deposit**: Deposit frxETH into sfrxETH vault
 - **redeem**: Redeem sfrxETH shares for frxETH
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/frax-ether";
-```
-
-## 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
 // Stake ETH and get sfrxETH directly
@@ -48,26 +47,11 @@ function main(
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract     | Address                                      |
-| -------- | ------------ | -------------------------------------------- |
-| Ethereum | sfrxETH      | `0xac3E018457B222d93114458476f3E3416Abbe38F` |
-| Ethereum | frxETHMinter | `0xbAFA44EFE7901E04E39Dad13167D089C559c1138` |
-
-## ABI Methods
-
-### FrxETHMinterABI
-
-- `submitAndDeposit(address)` - Stake ETH (payable) and auto-deposit into sfrxETH vault. Returns sfrxETH shares
-
-### SfrxETHABI (ERC-4626)
+## Deployments and ABI
 
-- `deposit(uint256,address)` - Deposit frxETH, receive sfrxETH shares
-- `redeem(uint256,address,address)` - Redeem sfrxETH shares for frxETH. Params: shares, receiver, owner
-- `convertToShares(uint256)` - Preview shares for frxETH amount
-- `convertToAssets(uint256)` - Preview frxETH for sfrxETH amount
-- `balanceOf(address)` - Query sfrxETH balance
+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/frax-ether.md](registry/frax-ether.md).
 
 ## Notes