P1 generator identities: 81900 (state, lambda) pairs exhaustively (N <= 24), 500 large states;
   first integral and equilibrium curve of (5) at 500 random points; PRC/Friedman drifts
P2 identities behind (T) (polynomial identities, proved on the grid); (T) for X, Y <= 300;
   rate bound q(s) <= lambda + N on 20475 states (N <= 24); irreducibility on {N <= 8}
P3 Dg+, gamma identities (polynomial, proved on the grid); gamma(M/2) formula; derivative
   numerator; constants 3840/27636 and 1024/25947; (g1)-(g3) and monotonicity on 21373 (M, Y) pairs
P4 parameter inequalities for 9 values of Lambda; Lambda-free bounds on e1..e4 and on the
   small terms (<= 0.001); all constants of Propositions 5.1-5.3 (F2 constant = -0.71775)
P5/P6 master inequality, symmetry, jump bound, regional bounds (exact LV):
   lambda = 1/10: 10000 random states (worst interior -8227.8, worst face -1.2249); 500 corner states with A+B >= K; face sweep 3132 states, worst -1.1000
   lambda = 1: 10000 random states (worst interior -8251.7, worst face -0.9999); 500 corner states with A+B >= K; face sweep 3132 states, worst -0.8750
   lambda = 37/10: 10000 random states (worst interior -30434.1, worst face -0.8176); 500 corner states with A+B >= K; face sweep 3770 states, worst -0.7838
   lambda = 10: 10000 random states (worst interior -82406.9, worst face -0.7750); 500 corner states with A+B >= K; face sweep 3770 states, worst -0.7625
   lambda = 100: 10000 random states (worst interior -820348.0, worst face -0.7525); 500 corner states with A+B >= K; face sweep 3770 states, worst -0.7512
TOTAL FAILS 0
