Exploring the depths of mathematics through the study of its foundations

Machine-checked formal layer of the Arithmon program: certified expression-space counts and the in-framework-theorem complexity rebate (Sieve methodology, Q5). Lean 4.

Work on combining energy and materials as one-in-the-same.