mathematically perfect

certified optimal execution

submissions

Every certificate the program has seen, newest first, read from the ring. Accepted entries executed exactly the size shown. Rejected entries moved nothing and show which parts of the residual were non zero.

slotoutcomex*λ₁λ₂λ₃r_statr_prim+dualr_slacksubmitter

The ring keeps sixty four entries. Older entries are overwritten in place, but every submission is also a transaction, so the full history is on the chain even when it has left the ring.

residual anatomy

For the newest rejected entry, if one exists, the three stored parts are drawn to scale so the failing condition is visible at a glance.

r_statr_prim+dualr_slack
residual anatomy · The newest rejection, split into its stored parts. The longest bar is the condition the proposer got most wrong.