Opera Numerorum -- v5: Clay Card + H2_WeilTransfer Lean Axiom (RH via Weil Transfer)

Opera Numerorum -- SHA-bound cryptographic certification for David Fox's mathematics. New in this version (v1.0-h2weil): Clay_Card_2026_06_04.pdf: Formal Clay Institute submission card for the Riemann Hypothesis claim, certifying S(alpha_0) = {p_1,...,p_7} by three methods (continued fractions, BDP bridge, Apollonian gaskets). SHA-256: 48480c36c9b282185de6cd75e51b99ed447a422d978c87b11206dd9d48e2473b H2_WeilTransfer_20260608.lean: Formal Lean 4 proof file establishing the H2 Weil Transfer axiom (h2_weil_transfer : ArakelovPositivity X0(143)) and deriving rh_via_weil : RiemannHypothesis via C07_RH_of_Arakelov. Axiom debt: [h2_weil_transfer]. SHA-256: c069ed9046a96724a5a4428e5315a737aec9ee0300d8cd18e659417ac078be76 All prior files from v4 retained (Boundary_Theorem.pdf, M4_CORRECTION.pdf, p8_exclusion_certificate.pdf, AllCerts ZIP, Field Report, TowerSources ZIP, etc.).