Climbing the Exponential Tower — a Machine-Checked Depth-3 Khovanskii Bound

The finite zero-count bound for iterated exponentials now reaches e^(e^(e^x)), unconditionally and with the Khovanskii-citation axiom removed. Proven from Rolle's theorem alone. Honest scope inside.