Two short recordings of the venue in use: open a protected perp, buy an option, close everything and take the dollars back to the wallet. Each step below is a link to that moment in the video.
Recorded on testnet with real signed transactions, on deploy 192 on 2026-10-08, on elysium-testnet-21. The numbers on screen and in the captions are what the tickets printed at that moment. Stretches where the page only waits for a transaction are played sped up and say so. For what each ticket does, see section 3 and section 9.
Sign in, open a protected perp, buy a call, then close everything and take the dollars back to the wallet.
Everything above is the short form. The canon — every ruling, every rejected alternative with the reason it was rejected, and the measurements behind each number — is the design spec, and the corroboration procedure is the audit protocol. Both live in the repository this venue is built from.