Arithmon
Repositories list
11 repositories
K7
PublicK₇ (formerly GIFT), the founding framework of the Arithmon program. Standard Model parameters as topological invariants of a G₂ manifold. Zero free parameters, …Program
PublicThe hypothesis: the dimensionless constants of physics are counts, arithmetic and topological invariants of a compact geometry, with no continuously adjustable ….github
PublicK7-Lean
PublicCertified mathematical identities of the K₇ framework: E₈×E₈ gauge theory on a G₂-holonomy manifold, 460+ relations, 0 sorry, Lean 4. Formerly gift-framework/co…MATH-AI
PublicSieve
PublicThe methodology arm of the Arithmon program: how surprising is a claimed exact relation between mathematical invariants and measured physical constants? Frozen …Prevol
PublicAudit the declarations a computational result carries, and check they are still true. Producer freshness, counter coherence, provenance pins, partial runs. Read…Lean
PublicMachine-checked formal layer of the Arithmon program: certified expression-space counts and the in-framework-theorem complexity rebate (Sieve methodology, Q5). …K3
PublicCertified analytic geometry on an explicit K3 surface: a finite holomorphic atlas whose chart domains, transitions and branch continuations are machine-checked …Atlas
PublicAn annotated map of work adjacent to the Arithmon program, from information geometry to structural realism. One entry per work: what it claims, how it relates (…
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.