The proof board
Three claims. Each verified by running it, not asserting it.
The board below is generated live: every claim is checked against the real engine each time this page loads. A claim only shows verified when its check actually passed.
Evaluation harness
Synthetic scenarios run through the same deterministic engine the live workflow uses — including the boundary exactly at the mandate cap and one dollar past it.