/a.riθ.mɔn/

The hypothesis that the constants of nature are counts.

↓

The hypothesis

The dimensionless constants of physics are arithmetic and topological invariants of a compact geometry. None of them is a free parameter.

One sentence, durable by design. Arithmon, from arithmos (number) and -on (particle): the number as particle, the particle as number. A direction of inquiry rather than a single conjecture; frameworks that implement it can be revised, sharpened or falsified, while the question they answer to remains.

The founding framework

GIFT is the program's first concrete, dated realization: a specific compact G₂-holonomy geometry, the manifold K₇ with Betti numbers (21, 77), carrying an E₈×E₈-motivated exceptional architecture. From it, a set of exact, parameter-free relations among Standard-Model and cosmological observables, with a machine-checked formal core.

0free parameters
33exact relations to observables
15stated axioms, 0 sorry in the Lean core
3named, dated, falsifiable bets

Numerical precision is reported as a secondary figure, not the headline. The idea and the physics: GIFT. The formal proofs: core.

The program

A research program in the sense of Lakatos: a hard core that does not move, a protective belt of implementations that can fall, and explicit rules for fair play. Never fit; never revise a frozen prediction; never add an undeclared constant; never claim beyond the register.

The program does not declare itself progressive. It publishes the scoreboard and lets the reader judge.

The atlas

An annotated map of adjacent work, from information geometry to structural realism. One entry per work: what it claims, how it relates (convergent, divergent, orthogonal), and the precise delta. A living document that grows with every reading and every contact.

Read & follow