Computing fresh generalized-Hopf interval certificate and all input ranks.
stable period 28.691242741624432 range 2.3459339732732474 leading nontrivial multiplier 0.9298626626726679
unstable period 26.509979771442666 range 1.0276042081078458 leading nontrivial multiplier 1.0160413081288544
Switching final readout ranges: 2.345921198012501 0.00030471730745729175
All rates and totals remain fixed between pulses; one rate alone is modulated during each pulse. Generalized-Hopf and rank certificates freshly replayed. Finite-orbit proof imported; switching numerical; Lean not rerun.
