Devnet settlement evidence
The settlement program, read straight off the chain.
Two option contracts completed a full lifecycle on Solana devnet — one protective put, one covered call, both finishing in the money. Every number below, including the timestamps, is decoded in your browser from the escrow accounts as they exist right now. Nothing on this page is stored copy; if the chain disagrees with this page, the chain is right.
What this is, and what it is not
- This is devnet. The settlement token is devnet USDC, which has no market value. No mainnet funds are involved anywhere on this page.
- Season 0 paper trading is a separate, labeled simulation. It moves no funds, it settles nothing on chain, and it is not wired to this settlement path.
- Settle and claim are permissionless: anyone can send them once the price window closes. Anneal cannot choose the settlement price.
Program and build
Both commands print the same hash. The first builds from source, the second dumps what is actually deployed on devnet.
Settlement price source
Settlement price is the mean of price samples recorded into fixed buckets across the TWAP window ending at expiry, at Pyth verification level Full. Samples are written on chain before settlement, so the price cannot be picked after the fact.
Reading Solana devnet…
Reading Solana devnet…
Read it yourself
This page calls getMultipleAccounts against https://api.devnet.solana.com and decodes the account bytes. The same read from a terminal:
Known gap
The program has no refund or expire instruction. An escrow that cannot gather enough price samples inside its window locks premium and collateral permanently. That is survivable for SOL, where Pyth publishes every few seconds, and it is a hard blocker for any underlying with trading-hours gaps. It is listed here because it is the next thing to fix, not because it has been fixed.