I.R25 — Orthodox Foundations Under the Lens

Examination of three orthodox foundations under the diagonal resonance lens: ZFC (free contraction in FOL, extensional equality, Cartesian products), CIC/Lean (lambda contraction, definitional equality, Sigma-types), HoTT (structural rules in meta-theory, rich path identity, products). Each exhibits diagonal resonance at different levels.