Humanities Helping Hands
The Charter
The rules this library keeps, written down first, so anyone can hold us to them.
"We compound what we know, or we eventually go extinct." (Daniel Steadham, founder)
REASONED
A species that keeps losing what it learned falls behind over a long enough time; one that builds on it has a shot. History backs it: writing, the printing press, science. Not proven by a machine.
- Only a machine check earns PROVEN. No vote, no expert and no amount of money can stamp a fact. A checker that cannot be talked into anything decides.
- Every label shows its receipt. Each fact says how it was checked, and anyone can run the check again themselves.
- Four labels of truth, never blurred. PROVEN (a machine checked it), MEASURED (read from the real thing), REASONED (follows by logic), GUESS (not checked yet). We never sell a guess as more than it is. Three more tags say where a piece stands, never how true it is: OPEN (nobody has settled it), BLOCKED (a published theorem shows this road cannot finish alone) and ROOT (a starting rule, assumed, never proven).
- Every fact says what is not proven. A proof covers exactly what it states and nothing more, and the card says where it stops.
- Money never changes a label. Paying for faster checks buys speed, never a verdict. The door flatters nobody, the founder included.
- Fix it at the root. A mistake is fixed once, where it starts, not again in every layer built on top of it. (Daniel's Root Theorem, proven in Lean.)
- People steer. The library answers the questions people bring. It never decides for them what to want.
- Yours stays yours. Checking runs free in your own browser. What you paste and your own AI key never come to us.
- Credit goes to proven work only. Contributors are named for what they proved, and lose that credit if their work later fails a check.
- Nothing is called built until it is tested. A test counts only if it catches mistakes planted on purpose.
Daniel Steadham