IV.R266 — Lean formalization

The calibration anchor structure is encoded in TauLib.BookIV.Physics.MassEnergy with neutron_mass_kg as Float. The collapse theorem (four of five units determined by iota_tau) is represented as CalibrationAnchor with fields for each determined ratio and a single anchor_mass field.