The Logarithmic Curvature Is the Prüfer Connection Whose Holonomy Counts Newman Collisions
For the native collision section
the phase connection has components
Thus the recurring logarithmic curvature and derivative Wronskian are the two components of one Prüfer connection. It is flat away from collisions and has quantized negative curvature at every generic collision. Its four-edge holonomy equals minus the collision count.
Pointwise curvature positivity is therefore stronger than needed. The actual RH target is zero complete holonomy on the nonnegative Newman strip, with the height-wall infinity ports retained.
Research packet:
research/grothendieck/the-logarithmic-curvature-is-the-prufer-connection-whose-holonomy-counts-newman-collisions.md
Checker:
research/grothendieck/checkers/check_newman_prufer_connection_curvature_identity.py
The dependency-free checker passes 16/16 gates.