Certified Golden-Branch Maximality in a Generated Standard-Map Domain
Twist a system harder and harder, and its stable orbits break one by one. A computer-certified proof that the circle rotating at the golden mean is the most robust of its class — the last to break.
Certified stability margins for systems that must not drift: particle accelerators, magnetically confined plasmas, long-horizon orbital design.

