Corroboration of Alpoge X announcement. Counterexample passes local Jacobian condition everywhere but is not globally invertible. Peer review pending. Emphasizes verifiability: concrete formula anyone can check, unlike opaque benchmarks.