Split-Zero Geometry and Common Deformation Registers: Working Papers, Formalization, and Checks | Synapse