Polygon

function main() {
  // `USDC` is Polygon's USDC: `0x3c499c542cEF5E3811e1192ce70d8cC03d5c3359`.
  const held = USDC.balanceOf(pot);
  // `Token(address)` is any other ERC-20, and works for a symbol's address too.
  require(Token(USDC).balanceOf(pot) == held);
  // `AaveV2.LendingPool` is Polygon's lendingPool: `0x8dFf5E27EA6b7AC08EbFdf9eB090F32ee9a30fcf`.
  require(AaveV2.LendingPool != 0);
  // The same contract, qualified by the chain's name, from a program on any chain.
  require(Polygon.AaveV2.LendingPool == AaveV2.LendingPool);
}

sauce tx: building the cook transaction is refused: it involves polygon (Polygon, chain id 137), a preview chain. The sauce command and its MCP server build and send transactions only on Ethereum, Base, Arc and Solana, and the testnets Arc Testnet, Base Sepolia, Ethereum Sepolia, Solana Devnet and Solana Testnet. On a preview chain they build and send none. A program still compiles there and globals, price, pools and pot's prediction still read; simulate runs wherever the release is deployed on the chain, and says so where it is not.