standard-model
Certified mathematical identities of the K₇ framework: E₈×E₈ gauge theory on a G₂-holonomy manifold, 460+ relations, 0 sorry, Lean 4. Formerly gift-framework/core (GIFT Core). Distinct from Arithmon/Lean, the Sieve methodology layer.
Universal Measurement Contract Protocol (UMCP) — a contract-first validation framework implementing Generative Collapse Dynamics. 23 domains · 746 proven theorems · 20k+ tests · 44 structural identities · Python + C++17 accelerator.
Feynman diagram generation and cross section calculations
Web frontend for building and exporting Feynman diagrams.
