A proof of an identity for the critical exponents of jamming

arXiv:2606.03300: Within fullRSB solution of dense hard spheres, exponents a,b,c govern jamming transition matching region. Relation a+b=1 observed numerically but unproven for decade. Proof obtained through interaction with Claude Sonnet 4.6 and Opus 4.7, verified by authors. Yields scaling relations matching Wyart mechanical-marginal-stability predictions.