Opera Numerorum -- v4: The Boundary Theorem (S(a0) certified at p7) + M4 Correction + 120-cell PCB Tower

Opera Numerorum -- SHA-bound cryptographic certification for David Fox's mathematics. New in this version (v1.0-pi113-p7): Boundary_Theorem.pdf: Formal certificate proving S(alpha_0) = {p_1,...,p_7} by three methods (continued fractions, BDP bridge, Apollonian geometry). 76 proved Lean theorems + 37 boundary definitions = 113 = denominator(355/113 ~ pi). QED. M4_CORRECTION.pdf: Retracts S_14[7:14]; certifies S(alpha_0) complete at {p_1..p_7}. p8_exclusion_certificate.pdf: ||p_8 * alpha_0|| = 0.1214 >> 1/p_8. p_8 not in S(alpha_0). M7 manifest FROZEN: 5b80b84d... Author: David J. Fox | ORCID: 0009-0008-1290-6105 GitHub: https://github.com/DavidFox998/opera-numerorum