C-D15-ORBIT-IDENTITY
Exact projective orbit-mass identity, direction height = primitive relation height
In plain language
Repeated scalar copies of a relation are compressed into one projective direction, measured by a canonical height and an exact orbit mass.
Exact statement
Exact projective orbit-mass identity, direction height = primitive relation height