identity failures at 500 random rational points: 0
max rel error of claimed g', g'' vs finite differences: 2.136e-31
Lemma 6 direct check: 3721 grid points (s,r in [1e-3,1e3]), violations 94, min second derivative -5.000e-49
