arithmon

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

An 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 (convergent, divergent, orthogonal), and the precise delta. A living document, growing with every reading and every contact.

Certified analytic geometry on an explicit K3 surface: a finite holomorphic atlas whose chart domains, transitions and branch continuations are machine-checked rather than asserted. Sixty chart types, exact transitions over Q, outward-rounded arithmetic elsewhere. No Ricci-flat metric claimed. One command verifies fourteen certificates.

The hypothesis: the dimensionless constants of physics are counts, arithmetic and topological invariants of a compact geometry, with no continuously adjustable parameter. This repository is the program's charter and its list of open problems.