One transition, not five pages
Closed loop
Solver, mempool, governance, stake, finality, verify, and restore run as one measurement. A coupling that only changes R is not a coupling that changes discovery.
Measuring the closed transition on a fork of this kernel.
Waiting for a tip.
Persisted comparisons
One row per height. No database write for this kernel has returned. Memory is not that write.
Paired λ₃, alone
Same queued transactions. One arm keeps λ_mempool. The other sets it to 0. Formula and discovery are reported separately, because a constant term can change R without changing the nonce.
No paired λ₃ result on this kernel yet.