<b>Effective Metronic Geometrodynamics: A Computable Field-Theoretic and Variational Modernization of Burkhard Heim’s Unified Physics</b>

EMG presents a computable effective-field-theory and variational extension of Burkhard Heim’s unified geometrodynamic program, with particular reference to <i>Elementarstrukturen der Materie</i> and the 1976 MBB Lectures.</p><p dir="ltr">The mathematical framework reformulates selected elements of Heim’s discrete geometrodynamics using modern <b>Discrete Exterior Calculus (DEC)</b>, simplicial geometry, effective field theory, higher-derivative and non-local operators, Kaluza–Klein reduction, topological soliton constructions, and tensor-network methods.

The archive includes an 11-chapter EMG monograph, formal reconstructions of Heim’s Physics volumes and MBB lectures, a Python mass-calculation engine, and a Julia DMRG/MPO soliton solver.</p><p dir="ltr">The <code>/proofs</code> directory contains a <b>Lean 4 / Mathlib formalization</b> of selected mathematical claims, including positivity of the metronic area scale, the non-Leibniz product-rule defect, Faulhaber shell polynomials, mass-ordering relations, nucleon mass-splitting bounds, and the formal treatment of fermion doubling on the metronic lattice.