@eco-incorp/sauce 0.99.5 → 0.99.7

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

@@ -0,0 +1,72 @@
+# KyberSwap
+
+> **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.
+
+Multi-chain DEX with concentrated liquidity protocol (KyberSwap Elastic) and a meta-aggregation router that routes across multiple DEXes for best execution. Features dynamic fees and anti-sniping protection.
+
+## Category
+
+dex | Chains and addresses: [registry/kyberswap.md](registry/kyberswap.md)
+
+## Key Operations
+
+- **swap**: Exact input single swap via Elastic Router (concentrated liquidity)
+
+## 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 { KyberSwapElasticRouterABI as IElasticRouter } from "./abis";
+
+function main(
+  routerAddress: Address,
+  tokenIn: Address,
+  tokenOut: Address,
+  fee: Uint256,
+  amountIn: Uint256,
+  amountOutMin: Uint256,
+  recipient: Address,
+): Uint256 {
+  const router = IElasticRouter.at(routerAddress);
+  return router.swapExactInputSingle({
+    tokenIn: tokenIn,
+    tokenOut: tokenOut,
+    fee: fee,
+    recipient: recipient,
+    deadline: 99999999999,
+    amountIn: amountIn,
+    minAmountOut: amountOutMin,
+    limitSqrtP: 0,
+  });
+}
+```
+
+- `routerAddress`: KyberSwap Elastic Router address (`0xC1e7dFE73E1598E3910EF4C7845B68A9Ab6F4c83` on every listed chain except Base, which has no Elastic deployment here)
+- `tokenIn` / `tokenOut`: Input and output token addresses
+- `fee`: Pool fee tier (similar to Uniswap V3 but with KyberSwap's own tiers)
+- `amountIn`: Exact input amount (in wei)
+- `amountOutMin`: Minimum output for slippage protection (named `minAmountOut` not `amountOutMinimum`)
+- `recipient`: Address to receive output tokens
+- `limitSqrtP`: Price limit (`0` is no limit, which leaves `amountOutMin` as the only bound; named `limitSqrtP` not `sqrtPriceLimitX96`)
+
+## 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/kyberswap.md](registry/kyberswap.md).
+
+## Notes
+
+- Elastic Router naming differs from Uniswap V3: `minAmountOut` (not `amountOutMinimum`), `limitSqrtP` (not `sqrtPriceLimitX96`)
+- The Elastic Router address is the same on its 6 chains, and the Meta Agg Router address on all 8
+- Meta Aggregation Router routes across multiple DEXes (not just KyberSwap pools) for best execution price
+- The `data` field in the Meta Agg Router swap must be pre-encoded from KyberSwap's API
+- Input token must be ERC20-approved to the Elastic Router for direct swaps
+- For Meta Agg swaps, approve to the `approveTarget` address returned by the API
+- On Arc (5042) only the Meta Aggregation Router is deployed (no Elastic), and it is a smaller build than Ethereum's at the same address: 13724 vs 18652 bytes, a different owner, and no `swapGeneric`/whitelist functions. Its `swap` has the same selector, struct and outputs (Blockscout-verified `MetaAggregationRouterV2`), and Kyber's Arc API builds calldata that decodes under this ABI. Native input uses the `0xEeee…EEeE` sentinel with `msg.value` in Arc's 18-decimal native USDC; Kyber's own routes use the ERC-20 `0x3600…0000` with 6-decimal amounts

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

@@ -4,9 +4,14 @@ Leading lending protocol on Scroll. Compound-style markets (lTokens), but every
 
 ## Category
 
-lending | Chains: Scroll (534352)
+lending | Chains and addresses: [registry/layerbank.md](registry/layerbank.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
 
@@ -70,31 +75,11 @@ function main(coreAddress: Address, lTokenAddress: Address, amount: Uint256): Ui
 
 - Requires ERC-20 approval of underlying to the lToken
 
-## Deployed Addresses
-
-| Chain  | Contract | Address                                      |
-| ------ | -------- | -------------------------------------------- |
-| Scroll | core     | `0xEC53c830f4444a8A56455c6836b5D2aA794289Aa` |
-
-## ABI Reference
-
-### LayerBankCoreABI
-
-- `enterMarkets(address[] lTokens)` - Enable lTokens as collateral
-- `exitMarket(address lToken)` - Remove lToken from collateral
-- `supply(address lToken, uint256 uAmount) returns (uint256)` [payable] - Supply underlying, receive lTokens
-- `redeemToken(address lToken, uint256 lAmount) returns (uint256)` - Redeem lTokens for underlying
-- `redeemUnderlying(address lToken, uint256 uAmount) returns (uint256)` - Redeem an exact underlying amount
-- `borrow(address lToken, uint256 amount)` - Borrow underlying
-- `repayBorrow(address lToken, uint256 amount)` [payable] - Repay borrow debt
-
-### LTokenABI (read side)
+## Deployments and ABI
 
-- `balanceOf(address account) returns (uint256)` - lToken balance
-- `underlyingBalanceOf(address account) returns (uint256)` - Underlying value of the balance
-- `borrowBalanceOf(address account) returns (uint256)` - Outstanding borrow
-- `exchangeRate() returns (uint256)` - lToken/underlying exchange rate
-- `underlying() returns (address)` - The market's underlying token
+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/layerbank.md](registry/layerbank.md).
 
 ## Notes
 

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

@@ -4,9 +4,14 @@ Omnichain interoperability protocol enabling cross-chain messaging. Powers OFT t
 
 ## Category
 
-cross-chain messaging | Direction: any-to-any | Chains: Ethereum (1), Arbitrum (42161), Optimism (10), Base (8453), Polygon (137), BSC (56), Avalanche (43114), zkSync (324), Linea (59144), Scroll (534352), Arc (5042)
+cross-chain messaging | Direction: any-to-any | Chains and addresses: [registry/layerzero.md](registry/layerzero.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`).
 
 ### sendMessage
 
@@ -36,30 +41,11 @@ function main(
 - `payInLzToken`: false = pay fees in native token, true = pay in ZRO token
 - Requires native token (ETH) for messaging fees (sent as msg.value)
 
-## Deployed Addresses
-
-| Chain     | Contract   | Address                                      |
-| --------- | ---------- | -------------------------------------------- |
-| Ethereum  | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-| Arbitrum  | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-| Optimism  | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-| Base      | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-| Polygon   | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-| BSC       | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-| Avalanche | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-| zkSync    | endpointV2 | `0xd07C30aF3Ff30D96BDc9c6044958230Eb797DDBF` |
-| Linea     | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-| Scroll    | endpointV2 | `0x1a44076050125825900e736c501f859c50fE728c` |
-
-## ABI Reference
-
-### LayerZeroEndpointV2ABI
-
-- `send(MessagingParams _params, address _refundAddress) returns (MessagingReceipt receipt)` [payable] - Send omnichain message. Pay fees as msg.value (native token)
-- `quote(MessagingParams _params, address _sender) returns (MessagingFee fee)` - Quote messaging fee before sending (view)
+## Deployments and ABI
 
-MessagingParams tuple: `(uint32 dstEid, bytes32 receiver, bytes message, bytes options, bool payInLzToken)`
-MessagingFee tuple: `(uint256 nativeFee, uint256 lzTokenFee)`
+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/layerzero.md](registry/layerzero.md).
 
 ## Notes
 

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

@@ -4,24 +4,19 @@ Decentralized perpetual exchange with risk-tranched liquidity pools. Senior (low
 
 ## Category
 
-perpetuals | Chains: BSC, Arbitrum
+perpetuals | Chains and addresses: [registry/level-finance.md](registry/level-finance.md)
 
 ## Key Operations
 
 - **addLiquidity**: Add liquidity to a specific risk tranche
 - **removeLiquidity**: Remove liquidity from a tranche
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import {
-  protocolInfo,
-  deployments,
-  sauceFunctions,
-} from "@eco-incorp/sauce/protocols/level-finance";
-```
-
-## 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
 // Add liquidity to tranche
@@ -55,20 +50,11 @@ function main(
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract      | Address                                      |
-| -------- | ------------- | -------------------------------------------- |
-| BSC      | liquidityPool | `0xA5aBFB56a78D2BD4689b25B8A77fd49Bb0675874` |
-| Arbitrum | liquidityPool | `0x32B7bF19cb8b95C27E644183837813d4b595dcc6` |
-
-## ABI Methods
-
-### LiquidityPoolABI
+## Deployments and ABI
 
-- `addLiquidity(address,address,uint256,uint256,address)` - Add liquidity. Params: tranche address, token, amountIn, minLpAmount, to (receives the LP tokens)
-- `removeLiquidity(address,address,uint256,uint256,address)` - Remove liquidity. Params: tranche, tokenOut, lpAmount, minOut, to (receives tokenOut)
-- `swap(address,address,uint256,address,bytes)` - Swap tokens. Params: tokenIn, tokenOut, minOut, to, extradata
+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/level-finance.md](registry/level-finance.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ The largest liquid staking protocol for Ethereum. Stake ETH and receive stETH, a
 
 ## Category
 
-liquid-staking | Chains: Ethereum, Arbitrum
+liquid-staking | Chains and addresses: [registry/lido.md](registry/lido.md)
 
 ## Key Operations
 
@@ -12,13 +12,12 @@ liquid-staking | Chains: Ethereum, Arbitrum
 - **wrap**: Wrap stETH into wstETH (non-rebasing, DeFi-compatible)
 - **unwrap**: Unwrap wstETH back to stETH
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/lido";
-```
-
-## 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 for stETH
@@ -43,28 +42,11 @@ function main(wstethAddress: Address, amount: Uint256): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract | Address                                                                                      |
-| -------- | -------- | -------------------------------------------------------------------------------------------- |
-| Ethereum | stETH    | `0xae7ab96520DE3A18E5e111B5EaAb095312D7fE84`                                                 |
-| Ethereum | wstETH   | `0x7f39C581F595B53c5cb19bD0b3f8dA6c935E2Ca0`                                                 |
-| Arbitrum | wstETH   | `0x5979D7b546E38E414F7E9822514be443A4800529` (bridged token: transfers only, no wrap/unwrap) |
-
-## ABI Methods
-
-### LidoABI (stETH)
-
-- `submit(address)` - Stake ETH (payable), receive stETH. Address param is referral (use zero address). Send ETH as msg.value
-- `balanceOf(address)` - Query stETH balance (rebases daily)
-- `approve(address,uint256)` - Approve stETH spending
-
-### WstETHABI
+## Deployments and ABI
 
-- `wrap(uint256)` - Wrap stETH amount into wstETH. Requires stETH approval first
-- `unwrap(uint256)` - Unwrap wstETH amount back to stETH
-- `getStETHByWstETH(uint256)` - Preview stETH amount for wstETH input
-- `getWstETHByStETH(uint256)` - Preview wstETH amount for stETH input
+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/lido.md](registry/lido.md).
 
 ## Notes
 

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

@@ -4,9 +4,14 @@ Multi-chain bridge and DEX aggregator via LiFiDiamond proxy. Routes through opti
 
 ## Category
 
-bridge aggregator | Direction: any-to-any | Chains: Ethereum (1), Arbitrum (42161), Optimism (10), Base (8453), Polygon (137), BSC (56), Avalanche (43114), Gnosis (100), Fantom (250), Arc (5042)
+bridge aggregator | Direction: any-to-any | Chains and addresses: [registry/lifi.md](registry/lifi.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
 
@@ -68,30 +73,11 @@ function main(
 - `hasSourceSwaps` / `hasDestinationCall`: `true` only with pre-bridge swaps or a destination call
 - Requires ERC-20 approval to the LiFi Diamond
 
-## Deployed Addresses
-
-| Chain     | Contract    | Address                                      |
-| --------- | ----------- | -------------------------------------------- |
-| Ethereum  | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-| Arbitrum  | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-| Optimism  | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-| Base      | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-| Polygon   | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-| BSC       | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-| Avalanche | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-| Gnosis    | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-| Fantom    | lifiDiamond | `0x1231DEB6f5749EF6cE6943a275A1D3E7486F4EaE` |
-
-## ABI Reference
-
-### LiFiDiamondABI
-
-- `startBridgeTokensViaAcrossV4(BridgeData _bridgeData, AcrossV4Data _acrossData)` [payable] - Bridge through Across V4 (AcrossFacetV4)
-- `extractBridgeData(bytes data) returns (BridgeData bridgeData)` - Decode bridge data from raw calldata (pure)
-
-AcrossV4Data tuple: `(bytes32 receiverAddress, bytes32 refundAddress, bytes32 sendingAssetId, bytes32 receivingAssetId, uint256 outputAmount, uint128 outputAmountMultiplier, bytes32 exclusiveRelayer, uint32 quoteTimestamp, uint32 fillDeadline, uint32 exclusivityParameter, bytes message)`
+## Deployments and ABI
 
-BridgeData tuple: `(bytes32 transactionId, string bridge, string integrator, address referrer, address sendingAssetId, address receiver, uint256 minAmount, uint256 destinationChainId, bool hasSourceSwaps, bool hasDestinationCall)`
+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/lifi.md](registry/lifi.md).
 
 ## Notes
 

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

@@ -4,9 +4,14 @@ Official Linea zkEVM bridge via L1MessageService. Deposits ETH from Ethereum to
 
 ## Category
 
-native L2 bridge | Direction: L1 to L2 (Ethereum to Linea) | Chains: Ethereum (1), Linea (59144)
+native L2 bridge | Direction: L1 to L2 (Ethereum to Linea) | Chains and addresses: [registry/linea-bridge.md](registry/linea-bridge.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`).
 
 ### bridgeETH
 
@@ -27,19 +32,11 @@ function main(messageServiceAddress: Address, recipient: Address, fee: Uint256):
 - `_calldata`: Optional calldata to execute on L2 when message is delivered. `0x00` for simple ETH transfers
 - ETH amount (minus fee) is sent as `msg.value`
 
-## Deployed Addresses
-
-| Chain    | Contract         | Address                                      |
-| -------- | ---------------- | -------------------------------------------- |
-| Ethereum | l1MessageService | `0xd19d4B5d358258f05D7B411E21A1460D11B0876F` |
-| Linea    | l2MessageService | `0x508Ca82Df566dCD1B0DE8296e70a96332cD644ec` |
-
-## ABI Reference
-
-### LineaL1MessageServiceABI
+## Deployments and ABI
 
-- `sendMessage(address _to, uint256 _fee, bytes _calldata)` [payable] - Send ETH and/or message from L1 to L2. `msg.value` = amount to bridge + fee
-- `claimMessage(address _from, address _to, uint256 _fee, uint256 _value, address _feeRecipient, bytes _calldata, uint256 _nonce)` - Claim a message on the destination side (called by relayers or self-claim)
+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/linea-bridge.md](registry/linea-bridge.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ Decentralized borrowing protocol offering interest-free loans against ETH collat
 
 ## Category
 
-cdp | Chains: Ethereum
+cdp | Chains and addresses: [registry/liquity-v1.md](registry/liquity-v1.md)
 
 ## Key Operations
 
@@ -13,13 +13,12 @@ cdp | Chains: Ethereum
 - **openTrove**: Open a new Trove by depositing ETH and borrowing LUSD
 - **adjustTrove**: Adjust Trove collateral and/or debt
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/liquity-v1";
-```
-
-## 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
 // Close Trove
@@ -43,21 +42,11 @@ function main(borrowerOpsAddress: Address, amount: Uint256): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract           | Address                                      |
-| -------- | ------------------ | -------------------------------------------- |
-| Ethereum | lusd               | `0x5f98805A4E8be255a32880FDeC7F6728C6568bA0` |
-| Ethereum | borrowerOperations | `0x24179CD81c9e782A4096035f7eC97fB8B783e007` |
-
-## ABI Methods
-
-### BorrowerOperationsABI
+## Deployments and ABI
 
-- `openTrove(uint256,uint256,address,address)` - Open new Trove. Payable (send ETH as collateral). Params: maxFeePercentage (max borrowing fee, e.g. 5e16 = 5%), LUSDAmount (LUSD to borrow), upperHint (sorted troves hint), lowerHint (sorted troves hint)
-- `closeTrove()` - Close Trove. Must repay all LUSD debt first. Returns all ETH collateral
-- `adjustTrove(uint256,uint256,uint256,bool,address,address)` - Adjust Trove. Payable (send ETH to add collateral). Params: maxFeePercentage, collWithdrawal (ETH to withdraw), LUSDChange (LUSD amount to change), isDebtIncrease (true=borrow more, false=repay), upperHint, lowerHint
-- `repayLUSD(uint256,address,address)` - Repay LUSD debt. Params: LUSDAmount, upperHint, lowerHint (sorted-trove hints; the zero address is valid)
+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/liquity-v1.md](registry/liquity-v1.md).
 
 ## Notes
 

package/skills/sauce-protocols/references/liquity-v2.md

@@ -0,0 +1,48 @@
+# Liquity V2
+
+Next generation of Liquity protocol with user-set interest rates, multi-collateral support, and the BOLD stablecoin.
+
+## Category
+
+cdp | Chains and addresses: [registry/liquity-v2.md](registry/liquity-v2.md)
+
+## Key Operations
+
+- **transfer**: Transfer BOLD tokens
+- **approve**: Approve BOLD token spender
+
+## 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
+// Transfer BOLD
+import { transfer } from "@sauce/token";
+function main(boldAddress: Address, to: Address, amount: Uint256): Uint256 {
+  transfer(boldAddress, to, amount);
+  return 1;
+}
+
+// Approve BOLD spender
+import { approve } from "@sauce/token";
+function main(boldAddress: Address, spender: Address, amount: Uint256): Uint256 {
+  approve(boldAddress, spender, amount);
+  return 1;
+}
+```
+
+## 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/liquity-v2.md](registry/liquity-v2.md).
+
+## Notes
+
+- User-set interest rates - borrowers choose their own rate (higher rate = lower liquidation risk)
+- Multi-collateral: ETH, wstETH, rETH, and other LSTs
+- BOLD is fully redeemable 1:1 for collateral at any time
+- Successor to Liquity V1 with improved capital efficiency

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

@@ -1,22 +1,23 @@
 # Lynex
 
+> **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.
+
 Linea-native ve(3,3) DEX and liquidity marketplace. Solidly-fork with gauge voting and support for both stable and volatile pool types on the Linea zkEVM network.
 
 ## Category
 
-dex | Chains: Linea
+dex | Chains and addresses: [registry/lynex.md](registry/lynex.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/lynex";
-```
+## 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: Lynex routes do NOT include a `factory` field (unlike Velodrome/Aerodrome)
 
-## Key Addresses
-
-| Chain | Contract | Address                                      |
-| ----- | -------- | -------------------------------------------- |
-| Linea | Router   | `0x610D2f07b7EdC67565160F587F37636194C34E74` |
-
-## ABI Methods
-
-### LynexRouterABI
+## 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/lynex.md](registry/lynex.md).
 
 ## Notes
 

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

@@ -0,0 +1,57 @@
+# Maker
+
+Decentralized credit protocol behind DAI and USDS stablecoins. Users deposit collateral into Vaults to mint/borrow DAI. Includes the DAI Savings Rate (DSR) via sDAI.
+
+## Category
+
+cdp | Chains and addresses: [registry/maker.md](registry/maker.md)
+
+## Key Operations
+
+- **depositToSDAI**: Deposit DAI into Savings DAI vault (ERC-4626)
+- **withdrawFromSDAI**: Withdraw DAI from sDAI vault by asset amount
+- **redeemFromSDAI**: Redeem sDAI shares for DAI
+
+## 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 DAI into sDAI
+import { SavingsDaiABI as ISavingsDai } from "./abis";
+function main(sDAIAddress: Address, amount: Uint256, receiver: Address): Uint256 {
+  const sDAI = ISavingsDai.at(sDAIAddress);
+  return sDAI.deposit(amount, receiver);
+}
+
+// Withdraw DAI from sDAI
+import { SavingsDaiABI as ISavingsDai } from "./abis";
+function main(sDAIAddress: Address, amount: Uint256, receiver: Address, owner: Address): Uint256 {
+  const sDAI = ISavingsDai.at(sDAIAddress);
+  return sDAI.withdraw(amount, receiver, owner);
+}
+
+// Redeem sDAI shares for DAI
+import { SavingsDaiABI as ISavingsDai } from "./abis";
+function main(sDAIAddress: Address, shares: Uint256, receiver: Address, owner: Address): Uint256 {
+  const sDAI = ISavingsDai.at(sDAIAddress);
+  return sDAI.redeem(shares, receiver, owner);
+}
+```
+
+## 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/maker.md](registry/maker.md).
+
+## Notes
+
+- TVL: $8B+. sDAI is the preferred way to earn DSR yield (ERC-4626 compliant)
+- DSR yield accrues automatically - sDAI appreciates against DAI over time
+- Approve DAI to sDAI contract before depositing
+- Pot is the internal DSR accumulator - chi() tracks the accumulated rate
+- USDS is the rebranded DAI stablecoin

package/skills/sauce-protocols/references/mantle-meth.md

@@ -0,0 +1,43 @@
+# Mantle mETH
+
+Mantle's liquid staking token for Ethereum. Stake ETH and receive mETH, a non-rebasing token that accrues staking rewards over time.
+
+## Category
+
+liquid-staking | Chains and addresses: [registry/mantle-meth.md](registry/mantle-meth.md)
+
+## Key Operations
+
+- **stake**: Stake ETH for mETH with minimum output check
+
+## 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
+// Stake ETH for mETH
+import { METHStakingABI as IStaking } from "./abis";
+function main(stakingAddress: Address, minMETHAmount: Uint256): Uint256 {
+  const staking = IStaking.at(stakingAddress);
+  staking.stake(minMETHAmount);
+  return 1;
+}
+```
+
+## 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/mantle-meth.md](registry/mantle-meth.md).
+
+## Notes
+
+- TVL: $1.5B+. Non-rebasing token backed by Mantle treasury
+- stake() is payable - send ETH as msg.value
+- minMETHAmount param provides slippage protection
+- Use mETHToETH()/ethToMETH() to preview exchange rates
+- The Staking contract (`staking`), not the token.
+- The mETH token (`mETH`).