@eco-incorp/sauce 0.99.6 → 0.99.8

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

@@ -4,20 +4,19 @@ Fractional-algorithmic stablecoin protocol with FRAX stablecoin, sFRAX staking,
 
 ## Category
 
-cdp | Chains: Ethereum
+cdp | Chains and addresses: [registry/frax.md](registry/frax.md)
 
 ## Key Operations
 
 - **transfer**: Transfer FRAX tokens
 - **approve**: Approve FRAX token spender
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/frax";
-```
-
-## 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 FRAX
@@ -35,19 +34,11 @@ function main(fraxAddress: Address, spender: Address, amount: Uint256): Uint256
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract | Address                                      |
-| -------- | -------- | -------------------------------------------- |
-| Ethereum | frax     | `0x853d955aCEf822Db058eb8505911ED77F175b99e` |
-
-## ABI Methods
-
-### FraxERC20ABI
+## Deployments and ABI
 
-- `transfer(address,uint256)` - Transfer FRAX. 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/frax.md](registry/frax.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ Decentralized leveraged trading platform (gTrade) supporting crypto, forex, and
 
 ## Category
 
-perpetuals | Chains: Arbitrum, Polygon
+perpetuals | Chains and addresses: [registry/gains-network.md](registry/gains-network.md)
 
 ## Key Operations
 
@@ -12,17 +12,12 @@ perpetuals | Chains: Arbitrum, Polygon
 - **updateStopLoss**: Update stop loss on an open trade
 - **updateTakeProfit**: Update take profit on an open trade
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import {
-  protocolInfo,
-  deployments,
-  sauceFunctions,
-} from "@eco-incorp/sauce/protocols/gains-network";
-```
-
-## 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 trade at market price
@@ -50,24 +45,11 @@ function main(diamondAddress: Address, index: Uint256, newTp: Uint256): Uint256
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract | Address                                      |
-| -------- | -------- | -------------------------------------------- |
-| Arbitrum | diamond  | `0xFF162c694eAA571f685030649814282eA457f169` |
-| Arbitrum | gns      | `0x18c11FD286C5EC11c3b683Caa813B77f5163A122` |
-| Polygon  | diamond  | `0x209A9A01980377916851af2cA075C2b170452018` |
-
-## ABI Methods
-
-### DiamondABI
-
-These are the multi-collateral Diamond's (v8+) signatures. A trade is addressed by the trader's own `index` (their Nth trade), not by `(pairIndex, index)`.
+## Deployments and ABI
 
-- `openTrade(Trade trade, uint16 maxSlippageP, address referrer)` - Open a trade. Trade: `(address user, uint32 index, uint16 pairIndex, uint24 leverage, bool long, bool isOpen, uint8 collateralIndex, uint8 tradeType, uint120 collateralAmount, uint64 openPrice, uint64 tp, uint64 sl, bool isCounterTrade, uint160 positionSizeToken, uint24 __placeholder)`
-- `closeTradeMarket(uint32 index, uint64 expectedPrice)` - Close at market
-- `updateSl(uint32 index, uint64 newSl)` - Update stop loss
-- `updateTp(uint32 index, uint64 newTp)` - Update take profit
+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/gains-network.md](registry/gains-network.md).
 
 ## Notes
 
@@ -76,3 +58,4 @@ These are the multi-collateral Diamond's (v8+) signatures. A trade is addressed
 - pairIndex identifies the trading pair (0=BTC/USD, 1=ETH/USD, etc.)
 - index identifies one of the trader's trades (a trader can have several)
 - openTrade uses complex tuple param for trade parameters
+- These are the multi-collateral Diamond's (v8+) signatures. A trade is addressed by the trader's own `index` (their Nth trade), not by `(pairIndex, index)`.

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

@@ -0,0 +1,57 @@
+# Gamma Strategies
+
+Active concentrated liquidity management protocol. Manages Uniswap V3, Algebra, and other CL DEX positions with automated rebalancing via Hypervisor vaults.
+
+## Category
+
+yield | Chains and addresses: [registry/gamma.md](registry/gamma.md)
+
+## Key Operations
+
+- **deposit**: Deposit token pair into Gamma Hypervisor via UniProxy
+- **withdraw**: Withdraw liquidity from Hypervisor
+
+## 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 into Gamma Hypervisor
+import { UniProxyABI as IUniProxy } from "./abis";
+function main(
+  uniProxyAddress: Address,
+  deposit0: Uint256,
+  deposit1: Uint256,
+  to: Address,
+  pos: Address,
+): Uint256 {
+  const proxy = IUniProxy.at(uniProxyAddress);
+  return proxy.deposit(deposit0, deposit1, to, pos, [0, 0, 0, 0]);
+}
+
+// Withdraw from Hypervisor
+import { HypervisorABI as IHypervisor } from "./abis";
+function main(hypervisorAddress: Address, shares: Uint256, to: Address, from: Address): Uint256 {
+  const hv = IHypervisor.at(hypervisorAddress);
+  hv.withdraw(shares, to, from, [0, 0, 0, 0]);
+  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/gamma.md](registry/gamma.md).
+
+## Notes
+
+- TVL: $200M+. Each Hypervisor is a vault for a specific token pair
+- Deposit via UniProxy (not directly on Hypervisor) - UniProxy handles deposit ratio enforcement
+- Use getDepositAmount() to find correct token1 amount for your token0 deposit
+- The uint256[4] minIn/minAmounts array provides slippage protection (use zeros for no limit)
+- Approve both token0 and token1 to UniProxy before depositing
+- The Ethereum UniProxy is an older deployment; its `deposit` has no `minIn` (the `depositLegacy` template calls it).

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

@@ -4,20 +4,19 @@ Web3 automation network for scheduling and executing smart contract functions an
 
 ## Category
 
-infrastructure | Chains: Ethereum, Arbitrum, Optimism, Polygon, BSC, Avalanche, Base
+infrastructure | Chains and addresses: [registry/gelato.md](registry/gelato.md)
 
 ## Key Operations
 
 - **createTask**: Create an automated task for scheduled execution
 - **cancelTask**: Cancel an existing automated task
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/gelato";
-```
-
-## 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
 // Create automated task
@@ -42,20 +41,11 @@ function main(automateAddress: Address, taskId: Uint256): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain        | Contract | Address                                      |
-| ------------ | -------- | -------------------------------------------- |
-| All 7 chains | automate | `0x2A6C106ae13B558BB9E2Ec64Bd2f1f7BEFF3A5E0` |
-
-## ABI Methods
-
-### GelatoAutomateABI
+## Deployments and ABI
 
-- `createTask(address,bytes,tuple,address)` - Create automated task. Params: execAddress (contract to call), execDataOrSelector (function calldata or selector), moduleData (tuple: {modules uint8[], args bytes[]} - configures trigger conditions), feeToken (payment token, address(0) for ETH). Returns taskId
-  - Module types: 0=Resolver (custom check), 1=Time (interval), 2=Proxy, 3=SingleExec
-  - args[] contains encoded config for each module
-- `cancelTask(bytes32)` - Cancel a task. Params: taskId (returned from createTask)
+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/gelato.md](registry/gelato.md).
 
 ## Notes
 
@@ -64,3 +54,5 @@ function main(automateAddress: Address, taskId: Uint256): Uint256 {
 - Gelato bots execute tasks when conditions are met, paid via prepaid balance or task fee
 - moduleData configures when the task should execute (time interval, resolver function, etc.)
 - feeToken: use address(0) for ETH, or an ERC-20 address for token payment
+- Module types: 0=Resolver (custom check), 1=Time (interval), 2=Proxy, 3=SingleExec
+- args[] contains encoded config for each module

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

@@ -4,20 +4,19 @@ Aave-native decentralized stablecoin minted against Aave V3 collateral. Multi-co
 
 ## Category
 
-cdp | Chains: Ethereum
+cdp | Chains and addresses: [registry/gho.md](registry/gho.md)
 
 ## Key Operations
 
 - **transfer**: Transfer GHO tokens
 - **approve**: Approve GHO token spender
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/gho";
-```
-
-## 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 GHO
@@ -35,19 +34,11 @@ function main(ghoAddress: Address, spender: Address, amount: Uint256): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract | Address                                      |
-| -------- | -------- | -------------------------------------------- |
-| Ethereum | gho      | `0x40D16FC0246aD3160Ccc09B8D0D3A2cD28aE6C2f` |
-
-## ABI Methods
-
-### GhoTokenABI
+## Deployments and ABI
 
-- `transfer(address,uint256)` - Transfer GHO. 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/gho.md](registry/gho.md).
 
 ## Notes
 

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

@@ -1,10 +1,12 @@
 # GMX V1
 
+> **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.
+
 Decentralized perpetual exchange with multi-asset liquidity pool (GLP). Supports leverage trading up to 50x with low swap fees and zero price impact trades.
 
 ## Category
 
-perpetuals | Chains: Arbitrum, Avalanche
+perpetuals | Chains and addresses: [registry/gmx-v1.md](registry/gmx-v1.md)
 
 ## Key Operations
 
@@ -12,13 +14,12 @@ perpetuals | Chains: Arbitrum, Avalanche
 - **closePosition**: Close/decrease leveraged position
 - **swap**: Swap tokens via GMX Router
 
-## SDK Usage
-
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/gmx-v1";
-```
+## 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
 // Open leveraged long position
@@ -90,34 +91,11 @@ function main(
 }
 ```
 
-## Key Addresses
-
-| Chain     | Contract       | Address                                      |
-| --------- | -------------- | -------------------------------------------- |
-| Arbitrum  | vault          | `0x489ee077994B6658eAfA855C308275EAd8097C4A` |
-| Arbitrum  | router         | `0xaBBc5F99639c9B6bCb58544ddf04EFA6802F4064` |
-| Arbitrum  | positionRouter | `0xb87a436B93fFE9D75c5cFA7bAcFff96430b09868` |
-| Arbitrum  | glp            | `0x4277f8F2c384827B5273592FF7CeBd9f2C1ac258` |
-| Avalanche | vault          | `0x9ab2De34A33fB459b538c43f251eB825645e8595` |
-| Avalanche | router         | `0x5F719c2F1095F7B9fc68a68e35B51194f4b6abe8` |
-
-## ABI Methods
-
-### PositionRouterABI
-
-- `createIncreasePosition(address[],address,uint256,uint256,uint256,bool,uint256,uint256,bytes32,address) returns (bytes32)` - Open/increase. Params: path, indexToken, amountIn, minOut, sizeDelta, isLong, acceptablePrice, executionFee, referralCode, callbackTarget (zero for none). Returns the request key
-- `createDecreasePosition(address[],address,uint256,uint256,bool,address,uint256,uint256,uint256,bool,address) returns (bytes32)` - Close/decrease. Params: path, indexToken, collateralDelta, sizeDelta, isLong, receiver, acceptablePrice, minOut, executionFee, withdrawETH, callbackTarget (zero for none). Returns the request key
-
-### RouterABI
-
-- `approvePlugin(address)` - Approve PositionRouter as plugin (required once)
-- `swap(address[],uint256,uint256,address)` - Swap tokens. Params: path, amountIn, minOut, receiver
-
-### VaultABI
+## Deployments and ABI
 
-- `swap(address,address,address)` - Direct swap (internal)
-- `increasePosition(address,address,address,uint256,bool)` - Direct increase (internal)
-- `decreasePosition(address,address,address,uint256,uint256,bool,address)` - Direct decrease (internal)
+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/gmx-v1.md](registry/gmx-v1.md).
 
 ## Notes
 

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

@@ -4,7 +4,7 @@ Next generation of GMX perpetual exchange with isolated markets, improved risk m
 
 ## Category
 
-perpetuals | Chains: Arbitrum
+perpetuals | Chains and addresses: [registry/gmx-v2.md](registry/gmx-v2.md)
 
 ## Key Operations
 
@@ -12,13 +12,12 @@ perpetuals | Chains: Arbitrum
 - **sendTokens**: Send tokens via ExchangeRouter (used before creating orders)
 - **cancelOrder**: Cancel a pending order by key
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/gmx-v2";
-```
-
-## 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
 // Create a market order
@@ -92,28 +91,11 @@ function main(exchangeRouterAddress: Address, orderKey: Uint256): Uint256 {
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract       | Address                                      |
-| -------- | -------------- | -------------------------------------------- |
-| Arbitrum | exchangeRouter | `0x7dE39FF2e232A2203196788d37e234cF8F1b83f1` |
-| Arbitrum | dataStore      | `0xFD70de6b91282D8017aA4E741e9Ae325CAb992d8` |
-
-## ABI Methods
+## Deployments and ABI
 
-### ExchangeRouterABI
-
-- `createOrder(tuple)` - Create order. Returns order key (bytes32). See CreateOrderParams struct below
-- `cancelOrder(bytes32)` - Cancel pending order by key
-- `sendTokens(address,address,uint256)` - Send tokens to vault. Must be called before createOrder
-
-### CreateOrderParams Struct
-
-- **addresses**: { receiver, cancellationReceiver, callbackContract, uiFeeReceiver, market, initialCollateralToken, swapPath[] }
-- **numbers**: { sizeDeltaUsd, initialCollateralDeltaAmount, triggerPrice, acceptablePrice, executionFee, callbackGasLimit, minOutputAmount, validFromTime }
-- **flags and extras**: orderType, decreasePositionSwapType, isLong, shouldUnwrapNativeToken, autoCancel, referralCode (bytes32), dataList (bytes32[])
-- **orderType**: 0=MarketSwap, 1=LimitSwap, 2=MarketIncrease, 3=LimitIncrease, 4=MarketDecrease, 5=LimitDecrease, 6=StopLossDecrease
-- **isLong**: true for long, false for short
+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/gmx-v2.md](registry/gmx-v2.md).
 
 ## Notes
 
@@ -123,3 +105,8 @@ function main(exchangeRouterAddress: Address, orderKey: Uint256): Uint256 {
 - executionFee is paid in ETH (msg.value) to cover keeper gas costs
 - sizeDeltaUsd is in USD with 30 decimals (1 USD = 1e30)
 - Each market has its own address - query dataStore for market info
+- **addresses**: { receiver, cancellationReceiver, callbackContract, uiFeeReceiver, market, initialCollateralToken, swapPath[] }
+- **numbers**: { sizeDeltaUsd, initialCollateralDeltaAmount, triggerPrice, acceptablePrice, executionFee, callbackGasLimit, minOutputAmount, validFromTime }
+- **flags and extras**: orderType, decreasePositionSwapType, isLong, shouldUnwrapNativeToken, autoCancel, referralCode (bytes32), dataList (bytes32[])
+- **orderType**: 0=MarketSwap, 1=LimitSwap, 2=MarketIncrease, 3=LimitIncrease, 4=MarketDecrease, 5=LimitDecrease, 6=StopLossDecrease
+- **isLong**: true for long, false for short

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

@@ -0,0 +1,41 @@
+# Harvest Finance
+
+Yield farming protocol that automatically compounds rewards across DeFi strategies via Vault+Strategy pattern.
+
+## Category
+
+yield | Chains and addresses: [registry/harvest.md](registry/harvest.md)
+
+## Key Operations
+
+- **deposit**: Deposit tokens into Harvest vault
+- **withdraw**: Withdraw tokens from vault
+- **getPricePerFullShare**: Query vault share price
+
+## 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 into Harvest vault
+import { VaultABI as IVault } from "./abis";
+
+function main(vaultAddress: Address, amount: Uint256): Uint256 {
+  const vault = IVault.at(vaultAddress);
+  vault.deposit(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/harvest.md](registry/harvest.md).
+
+## Notes
+
+- FARM token for governance. Auto-compounds strategy rewards.

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

@@ -4,19 +4,18 @@ On-chain options trading protocol allowing users to buy call and put options on
 
 ## Category
 
-options | Chains: Arbitrum
+options | Chains and addresses: [registry/hegic.md](registry/hegic.md)
 
 ## Key Operations
 
 - **exerciseOption**: Exercise an options position to claim profit
 
-## SDK Usage
+## Typed templates for the raw compiler (not for `sauce compile`)
 
-```typescript
-import { protocolInfo, deployments, sauceFunctions } from "@eco-incorp/sauce/protocols/hegic";
-```
-
-## 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
 // Exercise option: the OperationalTreasury pays off the position to `account`
@@ -28,18 +27,11 @@ function main(treasuryAddress: Address, optionId: Uint256, account: Address): Ui
 }
 ```
 
-## Key Addresses
-
-| Chain    | Contract            | Address                                                    |
-| -------- | ------------------- | ---------------------------------------------------------- |
-| Arbitrum | hegic               | `0x431402e8b9dE9aa016C743880e04E517074D8cEC` (HEGIC token) |
-| Arbitrum | operationalTreasury | `0xec096ea6eB9aa5ea689b0CF00882366E92377371`               |
-
-## ABI Methods
-
-### HegicABI
+## Deployments and ABI
 
-- `payOff(uint256 positionID, address account)` - Exercise an option by ID on the OperationalTreasury; the payout goes to `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/hegic.md](registry/hegic.md).
 
 ## Notes
 

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

@@ -4,9 +4,14 @@ Token bridge for rollups using bonders for fast withdrawals. Supports ETH, USDC,
 
 ## Category
 
-bridge | Direction: L1-to-L2 (sendToL2), L2-to-L2/L1 (swapAndSend) | Chains: Ethereum (1), Arbitrum (42161), Optimism (10), Polygon (137), Base (8453)
+bridge | Direction: L1-to-L2 (sendToL2), L2-to-L2/L1 (swapAndSend) | Chains and addresses: [registry/hop.md](registry/hop.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`).
 
 ### bridgeFromL1
 
@@ -43,26 +48,11 @@ function main(
 - `relayer`/`relayerFee`: Set to zero for standard transfers
 - Requires ERC-20 approval to the L1Bridge for ERC-20 tokens, or send ETH as msg.value
 
-## Deployed Addresses
-
-| Chain    | Contract              | Address                                      |
-| -------- | --------------------- | -------------------------------------------- |
-| Ethereum | l1EthBridge           | `0xb8901acb165ed027e32754e0ffe830802919727f` |
-| Ethereum | l1UsdcBridge          | `0x3666f603Cc164936C1b87e207F36BEBa4AC5f18a` |
-| Arbitrum | l2AmmWrapper (WETH)   | `0x33ceb27b39d2Bb7D2e61F7564d3Df29344020417` |
-| Optimism | l2AmmWrapper (WETH)   | `0x86cA30bEF97fB651b8d866D45503684b90cb3312` |
-| Polygon  | l2AmmWrapper (USDC.e) | `0x76b22b8C1079A44F1211D867D68b1eda76a635A7` |
-| Base     | l2AmmWrapper (WETH)   | `0x10541b07d8Ad2647Dc6cD67abd4c03575dade261` |
-
-## ABI Reference
-
-### HopL1BridgeABI
-
-- `sendToL2(uint256 chainId, address recipient, uint256 amount, uint256 amountOutMin, uint256 deadline, address relayer, uint256 relayerFee)` [payable] - Bridge tokens from L1 to L2
-
-### HopL2AmmWrapperABI
+## Deployments and ABI
 
-- `swapAndSend(uint256 chainId, address recipient, uint256 amount, uint256 bonderFee, uint256 amountOutMin, uint256 deadline, uint256 destinationAmountOutMin, uint256 destinationDeadline)` [payable] - Bridge tokens from L2 to another L2 or back to L1. Swaps canonical token to hToken, sends via bonder
+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/hop.md](registry/hop.md).
 
 ## Notes
 

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

@@ -4,9 +4,14 @@ Permissionless interchain messaging protocol. Supports modular security with ISM
 
 ## Category
 
-cross-chain messaging | Direction: any-to-any | Chains: Ethereum (1), Arbitrum (42161), Optimism (10), Base (8453), Polygon (137), Avalanche (43114), BSC (56), Arc (5042)
+cross-chain messaging | Direction: any-to-any | Chains and addresses: [registry/hyperlane.md](registry/hyperlane.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`).
 
 ### dispatch
 
@@ -32,26 +37,11 @@ function main(
 - Requires native token (ETH) as msg.value for interchain gas payment
 - Use `quoteDispatch()` to estimate fees before sending
 
-## Deployed Addresses
-
-| Chain     | Contract | Address                                      |
-| --------- | -------- | -------------------------------------------- |
-| Ethereum  | mailbox  | `0xc005dc82818d67AF737725bD4bf75435d065D239` |
-| Arbitrum  | mailbox  | `0x979Ca5202784112f4738403dBec5D0F3B9daabB9` |
-| Optimism  | mailbox  | `0xd4C1905BB1D26BC93DAC913e13CaCC278CdCC80D` |
-| Base      | mailbox  | `0xeA87ae93Fa0019a82A727bfd3eBd1cFCa8f64f1D` |
-| Polygon   | mailbox  | `0x5d934f4e2f797775e53561bB72aca21ba36B96BB` |
-| Avalanche | mailbox  | `0xFf06aFcaABaDDd1fb08371f9ccA15D73D51FeBD6` |
-| BSC       | mailbox  | `0x2971b9Aec44bE4eb673DF1B88cDB57b96eefe8a4` |
-
-## ABI Reference
-
-### HyperlaneMailboxABI
+## Deployments and ABI
 
-- `dispatch(uint32 _destinationDomain, bytes32 _recipientAddress, bytes _messageBody) returns (bytes32)` [payable] - Send interchain message. Returns message ID
-- `quoteDispatch(uint32 _destinationDomain, bytes32 _recipientAddress, bytes _messageBody) returns (uint256)` - Quote fee for dispatching a message (view)
-- `process(bytes _metadata, bytes _message)` [payable] - Process an inbound message on the destination chain (called by relayers)
-- `delivered(bytes32 _id) returns (bool)` - Check if a message has been delivered (view)
+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/hyperlane.md](registry/hyperlane.md).
 
 ## Notes