@eco-incorp/sauce 0.99.6 → 0.99.8

package/docs/guides/actions.md

@@ -2,44 +2,30 @@
 
 [Documentation](../README.md) · [Intents](intents.md) · [Nested intents](nested-intents.md) · [Compiling](compiling.md)
 
-An **action** is one protocol operation written as data: swap on a Uniswap V3 pool, supply to Aave, bridge through Across, wrap ETH. An **action program** is an ordered list of actions for one chain. `@eco-incorp/sauce/actions` compiles it into one Sauce program that executes, atomically, in a Pot on that chain — directly, or as the destination route of an Eco intent.
+An **action** is one protocol operation written as data: swap on a Uniswap V3 pool, supply to Aave, bridge through Across, wrap ETH. An **action program** is an ordered list of actions. `@eco-incorp/sauce/actions` compiles it, for a chain, into one Sauce program that executes, atomically, in a Pot on that chain — directly, or as the destination route of an Eco intent.
 
-A program is plain JSON. You can write it by hand, store it, sign it, generate it from a service in any language, and validate it against the published [JSON Schema](../../actions/action-program.schema.json) before it reaches TypeScript.
+A program is plain JSON. You can write it by hand, store it, sign it, generate it from a service in any language, and validate it against the published [JSON Schema](../../actions/action-program.schema.json) before it reaches TypeScript. It names tokens and contracts the way a hand-written Sauce program does — `"USDC"`, `"UniswapV3.Factory"` — so one document compiles for every chain where those names exist:
 
 ```json
 {
   "version": 1,
-  "chainId": 1,
   "actions": [
+    { "type": "wrapETH", "amount": "1000000000000000000", "weth": "WETH" },
     {
-      "type": "wrapETH",
-      "amount": "1000000000000000000",
-      "weth": "0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2"
-    },
-    {
-      "type": "approve",
-      "token": "0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2",
-      "spender": "0x68b3465833fb72A70ecDF485E0e4C7bD8665Fc45"
-    },
-    {
-      "type": "uniswapV3ExactInput",
-      "router": "0x68b3465833fb72A70ecDF485E0e4C7bD8665Fc45",
-      "tokenIn": "0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2",
-      "tokenOut": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+      "type": "uniswapV3Swap",
+      "tokenIn": "WETH",
+      "tokenOut": "USDC",
+      "factory": "UniswapV3.Factory",
       "fee": 500,
       "amountOutMin": "3000000000",
       "recipient": "self",
       "saveOutputAs": "usdc"
     },
-    {
-      "type": "approve",
-      "token": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
-      "spender": "0x87870Bca3F3fD6335C3F4ce8392D69350B4fA4E2"
-    },
+    { "type": "approve", "token": "USDC", "spender": "AaveV3.Pool" },
     {
       "type": "aaveV3Supply",
-      "pool": "0x87870Bca3F3fD6335C3F4ce8392D69350B4fA4E2",
-      "token": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+      "pool": "AaveV3.Pool",
+      "token": "USDC",
       "onBehalfOf": "0x3000000000000000000000000000000000000001",
       "amountRef": "usdc"
     }
@@ -47,7 +33,9 @@ A program is plain JSON. You can write it by hand, store it, sign it, generate i
 }
 ```
 
-This wraps 1 ETH, approves the router for exactly what was wrapped, swaps it for USDC into the executing Pot, approves Aave for whatever the swap returned, and supplies it on the owner's behalf. Only the first action names an amount: each approve and the swap spend the previous action's output, and the supply spends the output saved as `usdc`.
+This wraps 1 ETH, swaps it for USDC in the pool Uniswap V3's factory keys at 0.05% — read from the factory while the program runs — into the executing Pot, approves Aave for whatever the swap returned, and supplies it on the owner's behalf. Only the first action names an amount: the swap spends the wrap's output, the approve the swap's, and the supply spends the output saved as `usdc`. The swap is a call into [`@sauce/router`](../api/router.md), the SauceScript library a hand-written program calls for the same swap.
+
+The document has no `chainId`, so it is not tied to a chain: compiled for Ethereum it trades Ethereum's WETH, USDC and pool, and compiled for Base, Arbitrum or Optimism, theirs. (On Polygon it is refused: the native coin there is not ETH, and the registry's `"WETH"` is bridged ETH, not a wrapper of it.) Compiled for a chain that lacks a name, it is refused, naming the chain, the name and where it is used (see [names](#names-tokens-contracts-and-the-chain)).
 
 ## Compile and run a program
 
@@ -56,9 +44,9 @@ import { compileProgram, parseProgram } from "@eco-incorp/sauce/actions";
 import { v12Pot } from "@eco-incorp/sauce/evm/engine";
 import { bytesToHex, type Address } from "viem";
 
-export function cookProgram(json: string, engine: Address) {
+export function cookProgram(json: string, chain: string, engine: Address) {
   const program = parseProgram(json); // throws, listing every problem with its path
-  const { bytecode, source } = compileProgram(program);
+  const { bytecode, source } = compileProgram(program, { chain }); // "base", "ethereum", 8453, …
   console.log(source); // the SauceScript that will execute
 
   return v12Pot.encodeCook(engine, bytesToHex(bytecode));
@@ -67,33 +55,62 @@ export function cookProgram(json: string, engine: Address) {
 
 Send the resulting calldata to the Pot from its owner, with the Kitchen's execution fee. The Pot is the account whose balances the program uses — its ETH pays for `wrapETH` above — so fund it before the program runs. See [compiling programs](compiling.md) for the execution boundary. The [action-program example](../examples/action-program.ts) runs end to end offline.
 
-| Export                              | Does                                                                                         |
-| ----------------------------------- | -------------------------------------------------------------------------------------------- |
-| `parseProgram(json)`                | Validates a program; throws a `ProgramError` listing every problem with its path             |
-| `serializeProgram(program, space?)` | Writes canonical JSON                                                                        |
-| `programSchema()`                   | Returns the JSON Schema                                                                      |
-| `compileProgram(program, options?)` | Compiles standalone: bytecode, source, and a payload for [runtime amounts](#runtime-amounts) |
-| `programIntent(program, options)`   | Opens the program as an [intent route](#turn-a-program-into-an-intent) on its chain          |
-| `quoteAction(action, quoters?)`     | Builds the `eth_call` that [prices a swap](#quotes-and-split-swaps)                          |
-| `compileSplitSwap(splitSwap)`       | Compiles a swap [split across venues](#quotes-and-split-swaps) by on-chain quotes            |
+| Export                              | Does                                                                                                                                            |
+| ----------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------- |
+| `parseProgram(json)`                | Validates a program; throws a `ProgramError` listing every problem with its path                                                                |
+| `serializeProgram(program, space?)` | Writes canonical JSON                                                                                                                           |
+| `programSchema()`                   | Returns the JSON Schema                                                                                                                         |
+| `compileProgram(program, options?)` | Compiles standalone for `options.chain` (else the program's `chainId`): bytecode, source, and a payload for [runtime amounts](#runtime-amounts) |
+| `programIntent(program, options)`   | Opens the program as an [intent route](#turn-a-program-into-an-intent) on `options.chain` (else its `chainId`)                                  |
+| `quoteAction(action, options?)`     | Builds the `eth_call` that [prices a swap](#quotes-and-split-swaps)                                                                             |
+| `compileSplitSwap(splitSwap)`       | Compiles a swap [split across venues](#quotes-and-split-swaps) by on-chain quotes                                                               |
+
+`compileProgram` and `programIntent` validate the program too, so a typed program that skipped `parseProgram` is held to the same rules — and they check every name it uses on the chain they compile for.
+
+### From the command line: `sauce actions`
+
+The [`sauce` command](cli.md) takes an actions document as it takes a program file. `sauce actions <file>` prints the SauceScript the document lowers to on a chain, `main`'s parameters, and the bytecode:
+
+```text
+$ sauce actions swap.json --chain base
+// swap.json, lowered for base (chain 8453)
+import { uniswapV3 } from "@sauce/router";
+
+function main(a_amount: Uint256): void {
+  let t_out0 = a_amount;
+  const pool0 = UniswapV3.Factory.getPool(USDC, WETH, 500n);
+  require(pool0 != 0n, "actions[1]: no pool under that key");
+  uniswapV3(pool0, USDC, WETH, t_out0, 0n, 1n, ctx.self());
+}
+
+// main(a_amount: Uint256): pass the arguments in this order
+// bytecode, 313 bytes: 0xa502…
+```
+
+`--chain` takes a slug or a chain id and defaults to the document's `chainId`; `--json` prints the report `sauce compile --json` does — `bytecode`, `size`, `entryParams`, the paired compiler and engine — with the parsed `document`, the `source`, the ABI bindings it calls through (`bindings`), beside the protocol contracts it calls (`contracts`, as `sauce compile --json` reports them) and the argument names (`parameters`); `--compact-args` compiles the arguments compact-v1. `sauce compile`, `sauce tx`, `sauce simulate` and `sauce run` take the same document wherever they take a `.sauce.ts` file, with the same flags: its `argument` actions are `main`'s parameters, passed with `--args`, and its cook runs on the Pot `--owner` or `--pot` names, funded by `--fund` if you like. `--define` is refused: a document's values are its own fields.
 
-`compileProgram` and `programIntent` validate the program too, so a typed program that skipped `parseProgram` is held to the same rules.
+```sh
+npx sauce simulate swap.json --chain base --owner <owner> --rpc-url <url> \
+  --assume-balance USDC:1000 --args 1000000000
+```
 
 ## The JSON format
 
-A program is `{ "version": 1, "chainId": <chain>, "actions": [ … ] }`. Every action runs in one transaction on `chainId`; a bridge's destination is one of its own fields, not a second place the program runs. Each action is an object whose `type` selects its fields; the [reference](#supported-actions) lists every type, and the schema lists every field with its documentation. A `$schema` key is allowed and ignored.
+A program is `{ "version": 1, "actions": [ … ] }`, with an optional `"chainId"`. Every action runs in one transaction on the chain the program is compiled for; a bridge's destination is one of its own fields, not a second place the program runs. Each action is an object whose `type` selects its fields; the [reference](#supported-actions) lists every type, and the schema lists every field with its documentation. A `$schema` key is allowed and ignored.
 
-| Value                                                         | Encoding                                                                     |
-| ------------------------------------------------------------- | ---------------------------------------------------------------------------- |
-| Amounts, prices, fees, strategy ids                           | Base-10 string: `"1000000"`. No sign, exponent, or leading zeros.            |
-| Addresses                                                     | `0x` + 40 hex digits. Mixed case must be a valid EIP-55 checksum.            |
-| Recipients on this chain (`recipient`, `onBehalfOf`, `owner`) | An address, or `"self"` for the executing Pot.                               |
-| Recipients on another chain (a bridge's `recipient`)          | An address, or a 32-byte account (`0x` + 64 hex digits) for a non-EVM chain. |
-| Byte strings (`path`, `message`)                              | `0x` + an even number of hex digits.                                         |
-| 32-byte values (`poolId`)                                     | `0x` + 64 hex digits.                                                        |
-| Fee tiers, indices, domains, endpoint ids, Unix-second times  | JSON integers.                                                               |
+| Value                                                         | Encoding                                                                                       |
+| ------------------------------------------------------------- | ---------------------------------------------------------------------------------------------- |
+| Amounts, prices, fees, strategy ids                           | Base-10 string: `"1000000"`. No sign, exponent, or leading zeros.                              |
+| Tokens (`tokenIn`, `token`, `assets`, `path`, …)              | A registry symbol, `"USDC"`, or an address; `"native"` where the venue trades the native coin. |
+| Protocol contracts (`pool`, `vault`, `factory`, `spender`, …) | A namespace reference, `"UniswapV3.Factory"`, or an address.                                   |
+| Addresses                                                     | `0x` + 40 hex digits. Mixed case must be a valid EIP-55 checksum.                              |
+| Recipients on this chain (`recipient`, `onBehalfOf`, `owner`) | An address, or `"self"` for the executing Pot.                                                 |
+| Recipients on another chain (a bridge's `recipient`)          | An address, or a 32-byte account (`0x` + 64 hex digits) for a non-EVM chain.                   |
+| Byte strings (`path`, `message`)                              | `0x` + an even number of hex digits.                                                           |
+| 32-byte values (`poolId`)                                     | `0x` + 64 hex digits.                                                                          |
+| Fee tiers, indices, domains, endpoint ids, Unix-second times  | JSON integers.                                                                                 |
 
-JSON numbers cannot represent integers above 2^53, so the parser rejects an amount written as a number instead of rounding it. Each amount must also fit the width of the field it becomes: a Uniswap V4 `amountOutMin` is a `uint128`, and a larger value is an error rather than a silently truncated one.
+JSON numbers cannot represent integers above 2^53, so the parser rejects an amount written as a number instead of rounding it. Each amount must also fit the width of the field it becomes: an Ambient `amountOutMin` is a `uint128`, and a larger value is an error rather than a silently truncated one.
 
 The same words mean the same thing on every action: `amount` is what it spends, `amountOutMin` is the least output it accepts before the venue reverts, and `recipient` receives its output.
 
@@ -102,18 +119,87 @@ The same words mean the same thing on every action: `amount` is what it spends,
 `parseProgram(input)` takes the JSON text or a parsed value, checks it, and returns a fresh program with its keys in canonical order. It fills in nothing: an optional field left out stays out. It throws a `ProgramError` whose `issues` list every problem, each with a path:
 
 ```text
-invalid action program (2 issues):
+invalid action program (9 issues):
+  actions[0].tokenIn: expected a registry token symbol ("USDC") or an address (0x + 40 hex digits), got "usdc" — symbols are upper case: did you mean "USDC"?
   actions[0].amount: expected a base-10 string, got the JSON number 1000000 — JSON numbers lose precision above 2^53, so amounts are strings: write "1000000"
-  actions[1].amuont: unknown field — did you mean `amount`? (allowed: type, amount, router, …)
+  actions[1].amuont: unknown field — did you mean `amount`? (allowed: router, route, swapParams, …)
+  actions[1].router: missing (the Curve RouterNG)
+  …
 ```
 
-`serializeProgram(program)` writes canonical JSON, so two equal programs serialize to the same text, and `parseProgram(serializeProgram(p))` equals `p`.
+`serializeProgram(program)` writes canonical JSON, so two equal programs serialize to the same text, and `parseProgram(serializeProgram(p))` equals `p`. Names are kept as written: parsing a document checks how a name is spelled, and whether it exists is the question of the chain it is compiled for.
 
 ### The schema
 
-The schema ships in the package as `@eco-incorp/sauce/actions/action-program.schema.json` (JSON Schema draft 2020-12), and `programSchema()` returns the same document. It is generated from the table the parser reads, so a document the schema rejects is always rejected by the parser.
+The schema ships in the package as `@eco-incorp/sauce/actions/action-program.schema.json` (JSON Schema draft 2020-12), and `programSchema()` returns the same document. It is generated from the table the parser reads, so a document the schema rejects is always rejected by the parser. It says, field by field, which take a token (`$defs/token`, `$defs/tokenOrNative`), which a protocol contract (`$defs/contract`) and which either (`$defs/tokenContract`), and it states each swap's pool alternatives as a `oneOf`.
+
+The schema cannot express four rules, which the parser and the compile enforce and the schema's description states: EIP-55 checksums, exact numeric ranges (the schema bounds digit counts), the chaining rules below, and whether a symbol or a namespace reference exists on the chain the program is compiled for. Validate with the schema at the edge of your system, and parse before compiling.
+
+## Names: tokens, contracts and the chain
+
+Wherever an action takes a token, it takes a **registry token symbol** as well as an address: `"USDC"`, `"WETH"`, `"USDT"`, or a tokenized stock's, which is its issuer's ticker (`"SPCXc"` on Base, `"TSLAon"` on Ethereum) — the symbols a Sauce program uses with no import. Wherever it takes a protocol contract — a pool, a vault, a router, a factory, a lending pool, a spender — it takes a **namespace reference**, `"Namespace.Contract"`, in the spelling a program uses: `"UniswapV3.Factory"`, `"UniswapV4.PoolManager"`, `"BalancerV2.Vault"`, `"AaveV3.Pool"`, `"Permit2.Permit2"`, a family alias such as `"Uniswap.PoolManager"`. A field whose contract is also a token — `weth`, `wstETH`, `stETH`, `rETH`, `eETH`, a Curve RouterNG `route` — takes either. `sauce globals --chain <chain> --tokens` and `--protocols` list the names a chain has; [protocols and tokens](protocols-and-tokens.md) explains them.
+
+A name lowers to the program global of that name. It is not resolved to an address while the program is generated: the compile for a chain resolves it there, exactly as it resolves the token in a hand-written program's `USDC.transfer(to, amount)`. That is what makes a document with no `chainId` chain-agnostic. A name stands for the same value its address would, so where it is a value — a call's target, an argument — it compiles to the same bytes; an ERC-20 write's spender or recipient given by name is encoded while the program runs rather than spliced into calldata ahead of time.
+
+`"native"` is the native currency, where a venue trades it itself and keys it as the zero address: `tokenIn` and `tokenOut` of `uniswapV4Swap`, an `ambientSwap`'s `base`, a `balancerV2BatchSwap`'s `assets`. Elsewhere it is refused; wrap the native coin with `wrapETH` and trade `"WETH"`.
+
+**Addresses still work everywhere**, and a document can mix the two. An address means the same address on every chain, which suits a contract deployed at one address everywhere (Permit2, the Sauce Router) and nothing else: a document that spells a token by address is a document for that token's chain.
+
+**`chainId` is optional.** Leave it out and the document compiles for whichever chain you name — `compileProgram(program, { chain: "base" })`, `programIntent(program, { ...options, chain: "base" })`, `sauce actions file.json --chain base`. Give it, and the document compiles for that chain alone: compiling it for another is refused, because its addresses are that chain's.
 
-The schema cannot express three rules, which the parser enforces and the schema's description states: EIP-55 checksums, exact numeric ranges (the schema bounds digit counts), and the chaining rules below. Validate with the schema at the edge of your system, and parse before compiling.
+```text
+invalid action program (1 issue):
+  chainId: the program is written for chain 8453, not Ethereum (ethereum, chain 1): its addresses are that chain's. Leave `chainId` out to compile it for other chains — with every token and contract named, it compiles for any chain that has them
+```
+
+Every name is checked on the chain being compiled for before anything is compiled, and a name the chain lacks is refused with its path, the chain and the name — every one at once:
+
+```text
+the action program does not compile for zkSync Era (zksync, chain 324) (2 issues):
+  actions[0].token: no token "USDC" on zkSync Era (chain 324), which registers no token symbols — give its address there instead
+  actions[0].spender: no "UniswapV4.PoolManager" on zkSync Era (chain 324): UniswapV4 is not deployed there (it is on ethereum, optimism, bsc, polygon, base, arbitrum, celo, arc, avalanche, blast, zora, unichain, …) — give the contract's address there instead
+```
+
+A chain's registry lists the tokens it has (`no token "USDT" on Arbitrum One (chain 42161), whose tokens are USDC, WETH`), a contract the namespace lacks names the ones it has, and a misspelt namespace gets its likely spelling. The error is a `ProgramError` whose `chain` is the chain it was compiled for. Once the names are resolved, the rules that compare tokens run again on the addresses: a swap of `"USDC"` for USDC's own address is refused as a swap of a token for itself.
+
+## Pools by key
+
+A swap may leave out `pool` and name its pool by the key its factory finds it under. The generated program reads the pool from the factory **while it runs** — no RPC is needed to build it — and reverts before anything moves if the factory has no pool under that key (`actions[1]: no pool under that key`). With the factory and the tokens named, the same document trades each chain's own pool.
+
+| Action            | Key                       | The program reads                                                       | Factories by name                                                                               |
+| ----------------- | ------------------------- | ----------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------- |
+| `uniswapV2Swap`   | `factory`                 | `factory.getPair(tokenIn, tokenOut)`                                    | `"UniswapV2.Factory"`, `"SushiswapV2.Factory"`, `"PancakeswapV2.Factory"` (with `feePpm: 2500`) |
+| `uniswapV3Swap`   | `factory` + `fee`         | `factory.getPool(tokenIn, tokenOut, fee)`                               | `"UniswapV3.Factory"`, `"PancakeswapV3.Factory"`, `"SynthraV3.Factory"`, `"UnitflowV3.Factory"` |
+| `uniswapV3Swap`   | `factory` + `tickSpacing` | `factory.getPool(tokenIn, tokenOut, tickSpacing)`, Slipstream's factory | `"AerodromeSlipstream.CLFactory"`                                                               |
+| `traderJoeLBSwap` | `factory` + `binStep`     | `factory.getLBPairInformation(tokenIn, tokenOut, binStep)`'s `.LBPair`  | `"TraderJoe.LBFactory"`                                                                         |
+| `uniswapV4Swap`   | the pool key (always)     | nothing: a V4 pool has no address, it is its key                        | `poolManager`: `"UniswapV4.PoolManager"`                                                        |
+
+```json
+{
+  "type": "uniswapV3Swap",
+  "amount": "1000000000",
+  "tokenIn": "USDC",
+  "tokenOut": "WETH",
+  "factory": "UniswapV3.Factory",
+  "fee": 500,
+  "amountOutMin": "1",
+  "recipient": "self"
+}
+```
+
+An action carries exactly one way of naming its pool: `pool`, or `factory` with its key. Both, neither, or a key beside a pool is a parse error that says which. A factory given by name is called through its namespace, with the registry's own ABI for it, and must declare the lookup its key reads — a `uniswapV3Swap` whose `factory` is `"UniswapV2.Factory"` is refused, naming the factories on that chain that fit. A factory given by address is called through the actions package's own binding of the same lookup. A `traderJoeLBSwap` may also leave out `tokenX` and `tokenY` (both, or neither): the program reads them from the pair. `uniswapV4Swap`'s `hooks` is optional, for a pool with none.
+
+Where a key is not used, and why:
+
+- **Curve** pools are not keyed by their tokens: several pools trade a pair, the registry carries no lookup keyed by the pair, and each pool has its own coin indices and index type, which the action states. Give the `pool`.
+- **Balancer V2 and V3** pools are named by their pool id or address, not by tokens; the Vault takes the `poolId` itself.
+- **DODO V2**'s factories return several pools for a pair, so a pair is no key.
+- **WOOFi** has one WooPPV2 per chain: give its address.
+- **Maverick V2**'s registry factory looks pools up by `factory.lookup(tokenA, tokenB, start, end)`, which returns every pool for the pair; the key that names one has five parameters (fees, tick spacing, lookback, kinds).
+- **Aerodrome and Velodrome V2** (Solidly) factories do look up `factory.getPool(tokenA, tokenB, stable)`, but a stable pool is not constant-product and a volatile pool's fee is the factory's per pool, so `uniswapV2Swap`'s math is not sound for them.
+- **Curve RouterNG, Balancer batches, Ambient, DODO V1, Carbon, Fraxswap and Fluid** actions name their route, path, strategies or pools already, or — Ambient — the pool is its key.
+
+`quoteAction` and `compileSplitSwap` price a pool at its address with an `eth_call` built off chain, so they refuse a pool given by key: read the pool first (the factory lookup above), then give `pool`.
 
 ## Chaining amounts
 
@@ -145,10 +231,10 @@ A source action whose value nothing reads is an error.
 
 ```json
 [
-  { "type": "balanceOf", "token": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48" },
+  { "type": "balanceOf", "token": "USDC" },
   {
     "type": "transfer",
-    "token": "0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48",
+    "token": "USDC",
     "recipient": "0x3000000000000000000000000000000000000001"
   }
 ]
@@ -156,7 +242,7 @@ A source action whose value nothing reads is an error.
 
 ## Turn a program into an intent
 
-`programIntent(program, options)` opens the program as the route of an Eco intent on the program's own `chainId`. It is `Base(body, options)` with the program as the body; its ABI bindings are merged into `options.compile.contracts`, and a caller binding of the same name with a different ABI is an error.
+`programIntent(program, options)` opens the program as the route of an Eco intent on `options.chain`, or on the program's `chainId` when it has one. It is `Base(body, options)` with the program as the body; its ABI bindings are merged into `options.compile.contracts`, and a caller binding of the same name with a different ABI is an error. The program's names resolve on the route's chain.
 
 ```ts
 import { programIntent, type ActionProgram } from "@eco-incorp/sauce/actions";
@@ -164,10 +250,11 @@ import type { routes } from "@eco-incorp/sauce";
 
 export function buildActionIntent(
   program: ActionProgram,
+  chain: string,
   options: routes.IntentOptions,
   reward: routes.RewardArg,
 ) {
-  return programIntent(program, options).reward(reward);
+  return programIntent(program, { ...options, chain }).reward(reward);
 }
 ```
 
@@ -189,8 +276,8 @@ import { encodeFunctionData, parseAbi, type Address } from "viem";
 const { AMOUNT_IN_PLACEHOLDER, AMOUNT_OUT_PLACEHOLDER } = routes;
 
 export function buildCascade(
-  parentProgram: ActionProgram, // e.g. a Base swap into USDC with "recipient": "self"
-  childProgram: ActionProgram, // e.g. balanceOf USDC on Arbitrum, an approve, then aaveV3Supply
+  parentProgram: ActionProgram, // e.g. a swap into USDC with "recipient": "self", run on Base
+  childProgram: ActionProgram, // e.g. balanceOf "USDC", an approve, then aaveV3Supply, on Arbitrum
   parentOptions: routes.IntentOptions,
   childOptions: routes.IntentOptions & { pot: Address },
   usdcBase: Address,
@@ -206,11 +293,12 @@ export function buildCascade(
   });
   const child = programIntent(childProgram, {
     ...childOptions,
+    chain: "arbitrum",
     tokens: [{ token: usdcArbitrum, amount: AMOUNT_OUT_PLACEHOLDER }],
     precalls: [{ target: usdcArbitrum, data: toPot }],
   }).reward({ ...childReward, tokens: [{ token: usdcBase, amount: AMOUNT_IN_PLACEHOLDER }] });
 
-  return programIntent(parentProgram, parentOptions)
+  return programIntent(parentProgram, { ...parentOptions, chain: "base" })
     .nest(child, {
       via: "dynamic",
       measure: { kind: "erc20Balance", token: usdcBase },
@@ -224,7 +312,7 @@ export function buildCascade(
 }
 ```
 
-The measurement is the Pot's balance after the parent program, not the program's own output figure: another action, or a donation, that leaves the same token in the Pot is measured too. The rest of the nested-intents guide — scale, floors, hash recovery — applies unchanged.
+The measurement is the Pot's balance after the parent program, not the program's own output figure: another action, or a donation, that leaves the same token in the Pot is measured too. The rest of the nested-intents guide — scale, floors, hash recovery — applies unchanged. The route's token amounts and precalls are TypeScript, outside the document, so they take addresses: `Base.USDC.address` and `Arbitrum.USDC.address` from the package root are the same tokens the documents' `"USDC"` names on each chain.
 
 ## Runtime amounts
 
@@ -233,79 +321,96 @@ An `argument` action makes an amount a parameter of the compiled program instead
 ```ts
 import { compileProgram } from "@eco-incorp/sauce/actions";
 
-export function reusableApproval(token: `0x${string}`, spender: `0x${string}`) {
-  const compiled = compileProgram({
-    version: 1,
-    chainId: 1,
-    actions: [
-      { type: "argument", name: "amount" },
-      { type: "approve", token, spender },
-    ],
-  });
+export function reusableApproval(chain: string) {
+  const compiled = compileProgram(
+    {
+      version: 1,
+      actions: [
+        { type: "argument", name: "amount" },
+        { type: "approve", token: "USDC", spender: "Permit2.Permit2" },
+      ],
+    },
+    { chain },
+  );
 
   // The `program` argument of Pot.cook, for two different amounts, from one compile.
   return [compiled.payload({ amount: 5n }), compiled.payload({ amount: "900000" })];
 }
 ```
 
-Arguments are ABI-v1 by default: each is a 32-byte word, and `argumentOffset(name)` is where it starts in the payload. With `compileProgram(program, { compactArgs: true })` they are compact-v1, which is smaller; pass `{ scalarWidth: 32 }` to `payload` to encode every number at a fixed width, so `argumentOffset(name, { scalarWidth: 32 })` locates it. A fixed offset is what lets a caller splice a number measured later into a payload built earlier. The [compiler guide](compiling.md#pass-arguments-with-compact-v1) describes both encodings.
+Arguments are ABI-v1 by default: each is a 32-byte word, and `argumentOffset(name)` is where it starts in the payload. With `compileProgram(program, { chain, compactArgs: true })` they are compact-v1, which is smaller; pass `{ scalarWidth: 32 }` to `payload` to encode every number at a fixed width, so `argumentOffset(name, { scalarWidth: 32 })` locates it. A fixed offset is what lets a caller splice a number measured later into a payload built earlier. The [compiler guide](compiling.md#pass-arguments-with-compact-v1) describes both encodings. On the command line, `sauce tx|simulate|run` take the arguments after `--args`, in the order the `argument` actions declare them.
 
 An intent route is compiled without arguments, so `programIntent` refuses a program that has them. Inside an intent, read a runtime amount on-chain with `balanceOf` instead.
 
 ## Quotes and split swaps
 
-`quoteAction(action, quoters)` returns the `eth_call` that prices a swap action at its own `amount` — `{ to, data, decode }`. Send it with a JSON-RPC client and pass the result to `decode` for the output amount. It needs no balance or allowance. Venues that price through a separate contract take its address in `quoters`: `uniswapV3Quoter` (QuoterV2), `uniswapV4Quoter`, `maverickQuoter`, `ambientImpact` (CrocImpact) and `fluidDexResolver`. Send the Balancer V3 quote from the zero address: its Vault answers a query only outside a transaction.
+`quoteAction(action, options)` returns the `eth_call` that prices a swap action at its own `amount` — `{ to, data, decode }`. Send it with a JSON-RPC client and pass the result to `decode` for the output amount. It needs no balance or allowance. An action that names a token or a contract needs `options.chain`, the chain to resolve the names on, because the quote is calldata built here; a pool given by key is refused (see [pools by key](#pools-by-key)). Venues that price through a separate contract take its address in `options`: `router`, the Sauce Router, which quotes `uniswapV3Swap` and `uniswapV4Swap` with the same code that swaps them (`v12RouterAddress()` from `@eco-incorp/sauce/deployments` is the release's), `maverickQuoter`, `ambientImpact` (CrocImpact) and `fluidDexResolver`. The rest price on the contract the action names: a Uniswap V2 pair's reserves, a Curve pool's `get_dy`, a DODO pool's `querySellBase`/`querySellQuote`, an LB pair's `getSwapOut` (zero when the pair cannot take the whole input, since the swap would revert), WooPPV2's `query`. Send the Balancer V3 quote from the zero address: its Vault answers a query only outside a transaction.
 
-`compileSplitSwap({ candidates, amount, buckets, amountOutMin, approvals, sweep, quoters })` compiles one program that divides `amount` into `buckets` equal slices and hands each, in turn, to the candidate whose on-chain quote pays most for it, then executes every candidate's share. Candidates are ordinary swap actions without an amount; each delivers to the Pot. `amountOutMin` bounds the total output, checked once after every leg, and `"0"` waives it explicitly. A candidate must have an on-chain quote with a runtime amount, which every swap has except Uniswap V4, Balancer and Carbon.
+`compileSplitSwap({ candidates, amount, buckets, amountOutMin, approvals, sweep, quoters, chain })` compiles one program that divides `amount` into `buckets` equal slices and hands each, in turn, to the candidate whose on-chain quote pays most for it, then executes every candidate's share. Candidates are ordinary swap actions without an amount, each with its `pool`; each delivers to the Pot. `chain` resolves the candidates', approvals' and sweep's names, and is needed only when they use any. `amountOutMin` bounds the total output, checked once after every leg, and `"0"` waives it explicitly. A candidate must have an on-chain quote with a runtime amount, which every swap has except the three Balancer swaps and Carbon. `approvals` run first, for a candidate that pulls through a periphery contract; a `@sauce/router` swap needs none.
 
 ## What the compiled program does
 
-Each action becomes an ABI-bound call, `IBinding.at(address).method(...)`, the same form an SDK route body compiles to; the compiler derives the selector and argument encoding from the ABI. Inspect the result with `compileProgram(program).source`:
+A swap at one of [`@sauce/router`](../api/router.md)'s venues becomes a call into that library, with the action's fields as its arguments; every other action becomes an ABI-bound call, `IBinding.at(address).method(...)`, the same form an SDK route body compiles to. The compiler derives each selector and argument encoding from the ABI. A name is emitted as the program global it is, and a pool by key as its factory's lookup. Inspect the result with `compileProgram(program, { chain }).source`, or `sauce actions`:
 
 ```js
-const amt1 = ISwapRouter02.at(0x68b3465833fb72a70ecdf485e0e4c7bd8665fc45n).exactInputSingle({
-  tokenIn: 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2n,
-  tokenOut: 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48n,
-  fee: 500n,
-  recipient: ctx.self(),
-  amountIn: t_out1,
-  amountOutMinimum: 3000000000n,
-  sqrtPriceLimitX96: 0n,
-});
-let v_usdc = amt1;
+import { uniswapV3 } from "@sauce/router";
+
+function main(): void {
+  // … the wrap, whose output is t_out0 …
+  const pool1 = UniswapV3.Factory.getPool(WETH, USDC, 500n); // the pool, read on chain
+  require(pool1 != 0n, "actions[1]: no pool under that key");
+  const amt2 = uniswapV3(
+    pool1, // pool
+    WETH, // tokenIn: the registry's WETH on the chain compiled for
+    USDC, // tokenOut
+    t_out0, // amountIn: the previous action's output
+    0n, // sqrtPriceLimitX96: none
+    3000000000n, // minOut
+    ctx.self(), // recipient: the Pot, because a later action spends the output
+  );
+  let v_usdc = amt2;
+  // … the approve and the supply, spending v_usdc: IAaveV3Pool.at(AaveV3.Pool).supply(USDC, …) …
+}
 ```
 
 - ABIs come from the SDK's protocol registry wherever it declares the exact function an action calls, and from a fragment in the actions package otherwise.
 - A binding decodes only the outputs an action reads.
-- ERC-20 `transfer` and `approve` follow OpenZeppelin `SafeERC20`, through the lowering every SDK token write uses. Tokens such as USDT return no `bool`, and decoding empty return data reverts, so the call is raw, with the amount spliced into calldata encoded ahead of time; its returndata must then be empty from a contract, or decode as an ABI word equal to `1`. A token that returns `false` or fewer than 32 bytes, or an address with no code, reverts the program. `approve` first reads the allowance and resets a non-zero one to zero, as `forceApprove` does, because USDT refuses to change one non-zero allowance to another.
+- ERC-20 `transfer` and `approve` follow OpenZeppelin `SafeERC20`, through the lowering every SDK token write uses. Tokens such as USDT return no `bool`, and decoding empty return data reverts, so the call is raw, its calldata encoded ahead of time where its values are literals; its returndata must then be empty from a contract, or decode as an ABI word equal to `1`. A token that returns `false` or fewer than 32 bytes, or an address with no code, reverts the program. `approve` first reads the allowance and resets a non-zero one to zero, as `forceApprove` does, because USDT refuses to change one non-zero allowance to another.
 - A call carrying native value (`wrapETH`, the staking deposits, the Stargate and Hyperlane fees) is a raw `evm.call`, because a bound call cannot attach value. Its selector comes from the same ABI fragment. The bridges' fees are quoted on-chain, just before the call that pays them, and come from the Pot's balance.
 - Binding names start with `I` and contain no underscore, so they cannot collide with the route compiler's protocol namespaces or its own `IERC20`.
 
 ## Supported actions
 
-Every action below is executed in CI against the deployed Ethereum contracts it names, through the released engine and a real Pot, replayed from mainnet state at a pinned block — and its calldata is compared byte for byte with the intended Solidity call. "Output" is what a later action spends; see [chaining amounts](#chaining-amounts).
+Every action below is executed in CI against the deployed contracts it names, through the released engine and a real Pot, replayed from chain state at a pinned block — Ethereum's, and Avalanche's for `traderJoeLBSwap` and Base's for `woofiSwap` — and every one that calls its contracts itself has its calldata compared byte for byte with the intended Solidity call. A chain-agnostic document, by names and pool keys, executes on Ethereum's, Base's and Avalanche's state too — Uniswap V3 and V2 pools found by their factories, an Aerodrome Slipstream pool by its tick spacing, a Trader Joe pair by its bin step — and delivers what the same trip with every address written out delivers. "Output" is what a later action spends; see [chaining amounts](#chaining-amounts).
 
 ### Swaps
 
-| Action                        | Calls                                                                             | Output   |
-| ----------------------------- | --------------------------------------------------------------------------------- | -------- |
-| `uniswapV3ExactInput`         | SwapRouter02 `exactInputSingle`                                                   | received |
-| `uniswapV3ExactInputMultiHop` | SwapRouter02 `exactInput`                                                         | received |
-| `uniswapV4ExactInput`         | ERC-20 `transfer` to the Universal Router, then `execute` (swap, settle, take)    | received |
-| `uniswapV4ExactInputMultiHop` | The same, along a path                                                            | received |
-| `curveSwap`                   | Pool `exchange(int128,int128,uint256,uint256)`                                    | received |
-| `curveRouterNGSwap`           | RouterNG `exchange(address[11],uint256[5][5],uint256,uint256,address[5],address)` | received |
-| `balancerV2Swap`              | Vault `swap`                                                                      | received |
-| `balancerV2BatchSwap`         | Vault `batchSwap`                                                                 | received |
-| `balancerV3Swap`              | Router `swapSingleTokenExactIn`, pulling through Permit2                          | received |
-| `uniswapV2Swap`               | Router `swapExactTokensForTokens`                                                 | received |
-| `ambientSwap`                 | CrocSwapDex `userCmd(1, …)`                                                       | received |
-| `dodoSwap`                    | DODO proxy `dodoSwapV2TokenToToken`, or `dodoSwapV1` with `"version": "v1"`       | received |
-| `maverickSwap`                | Maverick V2 router `exactInputSingle`                                             | received |
-| `maverickMultiHopSwap`        | Maverick V2 router `exactInputMultiHop`                                           | received |
-| `carbonSwap`                  | CarbonController `tradeBySourceAmount`                                            | received |
-| `fraxswapSwap`                | Router `swapExactTokensForTokens`                                                 | received |
-| `fluidDexT1Swap`              | Pool `swapIn`                                                                     | received |
+Each swap at one of `@sauce/router`'s nine venues is that library's function, so the action and a Sauce program calling it run the same code. The first three go through the Pot's Router, which answers their pools' callbacks; the others call the pool directly. See the [`@sauce/router` reference](../api/router.md) for what each does and refuses.
+
+| Action            | Calls                                                                           | Output   |
+| ----------------- | ------------------------------------------------------------------------------- | -------- |
+| `uniswapV3Swap`   | `@sauce/router` `uniswapV3`: the Router's `swapV3`                              | received |
+| `uniswapV4Swap`   | `@sauce/router` `uniswapV4`: the Router's `swapV4`                              | received |
+| `maverickV2Swap`  | `@sauce/router` `maverickV2`: the Router's `swap`                               | received |
+| `uniswapV2Swap`   | `@sauce/router` `uniswapV2`: the pair's reserves, a push, then `swap`           | received |
+| `curveSwap`       | `@sauce/router` `curve`: an exact approval, then `exchange(i, j, dx, min_dy)`   | received |
+| `balancerV2Swap`  | `@sauce/router` `balancerV2`: an exact approval of the Vault, then Vault `swap` | received |
+| `dodoV2Swap`      | `@sauce/router` `dodoV2`: a push, then `sellBase` or `sellQuote`                | received |
+| `traderJoeLBSwap` | `@sauce/router` `traderJoeLB`: a push, then `swap(swapForY, to)`                | received |
+| `woofiSwap`       | `@sauce/router` `woofi`: a push, then WooPPV2 `swap`                            | received |
+
+The venues the library does not cover, each through its own contract:
+
+| Action                | Calls                                                                             | Output   |
+| --------------------- | --------------------------------------------------------------------------------- | -------- |
+| `curveRouterNGSwap`   | RouterNG `exchange(address[11],uint256[5][5],uint256,uint256,address[5],address)` | received |
+| `balancerV2BatchSwap` | Vault `batchSwap`                                                                 | received |
+| `balancerV3Swap`      | Router `swapSingleTokenExactIn`, pulling through Permit2                          | received |
+| `ambientSwap`         | CrocSwapDex `userCmd(1, …)`                                                       | received |
+| `dodoV1Swap`          | DODO proxy `dodoSwapV1`, for legacy V1 (Classical) pairs                          | received |
+| `carbonSwap`          | CarbonController `tradeBySourceAmount`                                            | received |
+| `fraxswapSwap`        | Router `swapExactTokensForTokens`                                                 | received |
+| `fluidDexT1Swap`      | Pool `swapIn`                                                                     | received |
 
 ### Bridges
 
@@ -354,42 +459,47 @@ Every action below is executed in CI against the deployed Ethereum contracts it
 
 ### Notes
 
-- **Approvals.** A venue that pulls from the Pot needs an approval first; the field docs in the schema say which. DODO pulls through its DODOApprove contract, not the proxy. Balancer V3's router pulls through Permit2: `approve` the token to Permit2, then `permit2Approve` the router. A Hyperlane warp route that charges a fee pulls the amount plus the fee, so approve more than the amount.
-- **Uniswap V4** transfers the input to the Universal Router and settles from the router's balance, so the input must be an ERC-20; native ETH input is not supported.
-- **Curve `curveSwap`** calls the pool's 4-argument `exchange`, which older pools implement without a return value; the pool pays the Pot, which forwards the balance delta to `recipient`.
+- **Approvals.** A `@sauce/router` swap needs none: it pushes its input to the pool, or approves exactly its input itself (`curveSwap`, `balancerV2Swap`, leaving a zero allowance), or the Pot's Router pays the pool from the Pot. Any other venue that pulls from the Pot needs an approval first; the field docs in the schema say which. DODO V1 pulls through its DODOApprove contract, not the proxy. Balancer V3's router pulls through Permit2: `approve` the token to Permit2, then `permit2Approve` the router. A Hyperlane warp route that charges a fee pulls the amount plus the fee, so approve more than the amount.
+- **Paths.** A swap through several pools is several swap actions: each spends the previous one's output, which arrives in the Pot. The Uniswap and Maverick periphery routers' multi-hop entry points are not actions; Curve's RouterNG and Balancer's `batchSwap` are, because they reach swap types and Vault netting the per-pool functions do not.
+- **Direction and orientation** come from the action's own fields, and a trade that contradicts them is refused before anything moves: a Uniswap V2 or V4 direction is the sort order of `tokenIn` and `tokenOut`; `dodoV2Swap` must trade the `baseToken`/`quoteToken` it names, and `traderJoeLBSwap` the `tokenX`/`tokenY` it names or, when it names neither, the ones the program reads from the pair; the Router checks a V3 or Maverick pool's tokens itself. Where the tokens are names, the check runs once the compile has resolved them.
+- **Uniswap V4** takes the pool key as `tokenIn` and `tokenOut` in sort order with `fee`, `tickSpacing` and `hooks` (absent for none); `"native"` is the native currency, keyed as the zero address, which the Pot pays from its own balance.
+- **Curve `curveSwap`** calls the pool's 4-argument `exchange` in the pool's `indexType` (`int128` for StableSwap and NG pools, `uint256` for CryptoSwap), which older pools implement without a return value; the pool pays the Pot, which forwards the balance delta to `recipient`.
+- **WOOFi `woofiSwap`** trades at the WooPPV2 itself, not the WooRouterV2, and needs a positive `amountOutMin`: the pool prices from an oracle and passes it as its own `minToAmount`.
 - **Balancer V2 batch** amounts are per step: a later step's `"0"` spends the previous step's output.
 - **Across** deposits from the Pot, which is refunded if no relayer fills; the relayer keeps `relayerFee`, so the destination receives `amount - relayerFee`. `quoteTimestamp` must be within the SpokePool's quote buffer of the block time, and `fillDeadline` within its fill buffer.
 - **Stargate** sends in taxi mode and refunds the Pot. **CCTP** lets anyone relay the mint (`destinationCaller` is zero); `maxFee` defaults to `"0"` and `minFinalityThreshold` to 2000, a standard transfer.
 - **Lido withdrawals** mint the withdrawal NFT to `owner`, which claims the ETH once Lido finalizes it.
 - **Rocket Pool** upgrades move the deposit pool: read the live address from RocketStorage. rETH refuses to move in the block it was minted in, so a program cannot stake and then transfer or burn the same rETH.
-- **Maverick** V2's router is `0x62e31802c6145A2D5E842EeD8efe01fC224422fA` on Ethereum. A multi-hop `path` is, per hop, the pool's 20 bytes followed by one byte for `tokenAIn`.
 - **Fluid DEX T1** takes no native value from this action, so it sells the pool's ERC-20 side (for the wstETH/ETH pool, wstETH for ETH), pulling it by allowance.
 
 ### On Arc
 
 Arc (`chainId` 5042) pays gas in USDC, which is also the ERC-20 at
 `0x3600000000000000000000000000000000000000`: one balance, 18 decimals natively and 6 through the
-ERC-20 ([details](../api/coverage.md#arc-usdc-is-the-native-coin)). Actions take every address and
-domain as a field, so nothing here is per chain, but a program on Arc is checked for what that
-changes:
+ERC-20 ([details](../api/coverage.md#arc-usdc-is-the-native-coin)). A program compiled for Arc is
+checked for what that changes — a document with no `chainId` too, when Arc is the chain it is
+compiled for:
 
 - `wrapETH`, `unwrapETH`, `lidoStake`, `rocketPoolStake` and `etherFiStake` are rejected: Arc has no
   native ETH and no canonical wrapped native. Its registry `WETH` is bridged ETH. So is
   `balancerV3Swap` with `wethIsEth: true`.
 - A `nativeBalance` that a token action spends is rejected: it is 10¹² times the same balance read
-  by `balanceOf` of `0x3600…0000`. Read that instead.
+  by `balanceOf` of `0x3600…0000` — `"USDC"` on Arc. Read that instead.
 - The Hyperlane fee is native value, so on Arc it is USDC, paid from the balance the bridged USDC
   also comes from. A `hyperlaneBridge` of the Pot's whole USDC balance cannot also pay its fee:
   bridge less. Hyperlane's CCTP-backed USDC warp route on Arc,
   `0x16BF93e259ee7f7074453a2948379C35C6851b71`, quoted about 0.054 USDC to Base on 2026-09-28.
 
-What the registry has on Arc for these actions: Uniswap V2, V3 and V4 (`uniswapV2Swap`,
-`uniswapV3ExactInput`, `uniswapV4ExactInput` and their multi-hop forms), CCTP (`cctpBridge`; Arc is
-domain 26), Across (`acrossBridge`, ERC-20 deposits; Arc's SpokePool has no wrapped native token), and
-Permit2. It has no Arc deployment of Curve, Balancer, DODO, Maverick, Fluid, Carbon, Fraxswap,
-Ambient, Aave V3, Compound V3, Stargate, Lido, Rocket Pool or ether.fi. The CI runs above replay
-Ethereum; no action is executed against Arc.
+What the registry names on Arc for these actions: the tokens `USDC`, `EURC`, `USYC` and `WETH`;
+Uniswap V2, V3 and V4 (`uniswapV2Swap`, `uniswapV3Swap`, `uniswapV4Swap`, and pools by key through
+`UniswapV2.Factory` and `UniswapV3.Factory`), Synthra V3 and UnitFlow V3 (`uniswapV3Swap` by key),
+Aerodrome Slipstream (`uniswapV3Swap` by `tickSpacing`), CCTP (`cctpBridge`; Arc is domain 26),
+Across (`acrossBridge`, ERC-20 deposits; Arc's SpokePool has no wrapped native token), and Permit2.
+It has no Arc deployment of Curve, Balancer, DODO, Maverick, Fluid, Carbon, Fraxswap, Ambient,
+Aave V3, Compound V3, Stargate, Lido, Rocket Pool or ether.fi, so a document that names one of
+those is refused on Arc, naming it. The CI runs above replay Ethereum, Base and Avalanche; no action
+is executed against Arc.
 
 ## TypeScript types
 
-Every type is the JSON it describes. `ActionProgram` is the document, `Action` the union of every action, `ActionType` its `type`, and each action has its own interface (`UniswapV3ExactInputAction`, `AaveV3SupplyAction`, …), grouped as `SwapAction`, `BridgeAction`, `WrapAction`, `StakeAction`, `LendingAction`, `TokenAction` and `SourceAction`. A program typed in TypeScript is already valid input for `serializeProgram`, and `parseProgram` returns the same shape it accepts.
+Every type is the JSON it describes. `ActionProgram` is the document, `Action` the union of every action, `ActionType` its `type`, and each action has its own type (`UniswapV3SwapAction`, `AaveV3SupplyAction`, …), grouped as `SwapAction` (with `RouterSwapAction`, the nine `@sauce/router` swaps), `BridgeAction`, `WrapAction`, `StakeAction`, `LendingAction`, `TokenAction` and `SourceAction`. A field's type says what it takes: `Token` (a `TokenSymbol` or an address), `TokenOrNative`, `Contract` (a `ContractName`, `"Namespace.Contract"`, or an address) and `TokenContract`. A swap that names its pool by key is a union: `UniswapV3SwapAction` is a pool, or a factory with a fee, or a factory with a tick spacing, and TypeScript refuses the mix the parser refuses. `CompileOptions` carries `chain` and `compactArgs`, and `ProgramIntentOptions` is an intent's options with `chain`. A program typed in TypeScript is already valid input for `serializeProgram`, and `parseProgram` returns the same shape it accepts.