
Second demolition round — protón charge radius
Thanks to everyone who took a swing in the first round. u/NebulaPrudent1044 landed the cleanest hit: ε wasn't defined and Theorem 1 was floating on an undefined variable. That forced a structural fix.
Link to V2
In v2, ε is now part of the image definition from the start. The Pythagorean ambiguity is resolved — the harmonic depth fixes r_V, not the other way around. Binary differentiation remains a postulate (motivated, not derived). All remaining gaps are listed and discussed in Sec. 14, including the bridge hypothesis as a separate postulate.