The repositories of this account have moved to the Arithmon organisation. This page is a signpost. Everything current lives there.

The framework is now presented as the K₇ framework; GIFT remains the name of its founding phase.

GitHub redirects the old URLs, web and git clone / fetch / push alike. The published papers are immutable PDFs on Zenodo and they cite github.com/gift-framework/core dozens of times, so those redirects are load-bearing infrastructure: the old paths will never be reused.

One thing does not redirect: GitHub Pages. The documentation sites moved and the old addresses return 404 with no forwarding.

• The program: github.com/Arithmon. The whole of it on one page, charter, open problems, confrontations scoreboard, methodology and atlas, is at arithmon.com.
• The framework: Arithmon/K7 for the physics, Arithmon/K7-Lean for the machine-checked proofs and pip install giftpy.
• The publications: Zenodo concept DOI 10.5281/zenodo.16891489, which always resolves to the current version.

Everything else this page used to carry, the headline numbers, the paper list, who cites the work, is maintained in Arithmon/K7, where a cross-repository consistency check holds it to a single ledger. It was held to nothing here, and it had drifted.

K₇ (formerly GIFT) is the founding framework of the Arithmon program.