Proven labor
A scoreboard where you only get a point when a computer checks your work and says it is really right.The leaderboard where only checked work counts. One point for each piece of work a machine checked and we stamped. Posts, likes, follows and "trust me" earn nothing.One point per artifact that passed a machine check and carries a valid HHH stamp: a Lean file with no sorry, admit or native_decide that built with axioms checked, or a claim that passed the gate. Each row ships the stamp and the file; your browser re-hashes the file and re-verifies the Ed25519 signature and the log entry.
How a point is earned
You send in work. A computer checks it. If it passes, we give it a stamp. The stamp is your point. If you said you want to be shown, your name goes here.You send work, a machine checks it, and we stamp what passes. A point needs all four: you said yes to being shown, the stamp is ours and in our public log, the stamp matches the exact file, and a proof has no unfinished steps. Nothing else adds points.A row needs: the handle opted in on the Founders form; sha256(file) equals stamp.hash; verifyStamp(stamp, key, log) is VALID; for Lean, no sorry/admit/native_decide outside comments (the full lake build plus axioms check ran before signing). A stamp counts once. Source: labor_board.mjs; done-check: landing-tests/labor_test.mjs.
Reading this board is free.Reading the board is free. The stamp is the only paid part, and it is not on sale yet. Paying never changes whether work passes.Free to read and fetch. Stamps are planned as the paid part and are not on sale; the scorer ignores payment entirely, so a label is never bought.