Oscillation Is a Compact Torus

The Infinite-Zeros Barrier — the line between functions you can write as a finite EML tree and ones you can't — turns out to be the compact (rotational) factor of a differential Galois group. We connect the two, turn 'is this function representable?' into a computation from a differential equation, validate the special-function registry against it, and machine-check the core in Lean. Honest scope…