A Full Adam Theorem for Spectral Heavy-Tail Onset
Every step from Adam's momentum and denominator to the spectral hitting law is formalized inside the closed state-evolution model, and it is proved that a stronger arbitrary-gradient Adam theorem is impossible, and that exact two-step linear-network loss dynamics do not identify factor spectra or heavy-tail hitting tim...