Program verification so even your systems engineers can vibecode. Trade Theorem on Upround: a live price, the funding record, and markets on what happens...