Nine tests

Each tile is one test: the big number is its latest finished run, the pill is pass or fail by the test's own oracle. Click a tile for the run's log, rows and evidence; Run queues a fresh one.

Every program certified across the lab, the race and the replays. A breach is a realized loss above its certificate. Assumption violations are prints that moved more than the gap the proof assumed; they are counted, not hidden.

A certificate holds under these assumptions. When the market breaks one, the page counts it.

Send the agent a message. It writes a program; the verifier answers.