The Founders
"We compound what we know, or we eventually go extinct."
Every name here earned its place with proven work: a proof or a checker that a machine accepted. Names stay, in the order the work was proven.
I.The founding circle (the first 12)
- 1Daniel Steadham, founder Proved Daniel's Root Theorem (fixing a mistake at its root never costs more than fixing its copies, 27 October 2026), Daniel's Founder's Claim (if the library grows faster than the cost of each new fact, its lead never shrinks, 29 October 2026), and the stamp rule (nothing carries the stamp without passing every check). All three checked by Lean, a proof checker.
- 2Open: the next person whose proof or checker a machine accepts.
- 3 to 12Open.
II.Join the founding circle
If your strength is my weakness, we need you. Founding builders wanted: coders, mathematicians, explainers and video makers.
The work is the application. One logged contribution gets you in: a proof a machine accepts, a checker that catches mistakes planted on purpose, or an AI mistake you caught that holds up when checked again.
What a founder gets: your name on this page for good, a seat in the first 12, and first in line for future roles or shares.
Not promised: no cofounder titles and no equity are promised. A lawyer checks the rules first, and this page will say when that is done. (Daniel Steadham, founder, 29 October 2026)
Say how you want to help with the sign-up form on the front page.
III.How a name goes on
Send a proof or a checker. When a machine accepts it, and it catches mistakes planted on purpose, your name goes on this page with what you proved and the date. If your work later fails a check, the page says so beside your name.
The founder's share will be printed here, in the same public formula as everyone's points, before any points are given out. It is not set yet. No money is paid to anyone until a lawyer has checked the rules.