OPEN — skill — the key stretch: PBKDF2-HMAC-SHA256 is deterministic and iterati
skill — the key stretch: PBKDF2-HMAC-SHA256 is deterministic and iteration-sensitive, so more rounds cost more work — the organ that hardens a secret
ab3e7c0b-4a21-8c31-a6a2-23155325ebb2Type anything and watch its uuidna recompute — deterministic, reproducible by anyone, no key. A theorem is alive when you interact with it. A content-address proves integrity, not truth.
- theorem key ·
skill_key_stretch_pbkdf2 - content-address (receipt) ·
109bb14d-f750-898a-88ba-7d4d6db44c8e - status · WITHDRAWN — no longer stands, and must not be cited. The receipt above is still in the append-only record and still verifies as a link in the chain; the statement is not a live theorem of this deposit.
- why it was withdrawn · dirty: not backed by a Lean proof. Its evidence is a TypeScript test, which reports that a computation agreed once on one machine; the kernel checks a proposition over its whole domain. Its content has no stated decidable form yet.
The 7D rosetta-ray vortex is plotted from this theorem's microdata (its content-address); the slowly rotating hero background is computed from its seven surrounding theorems' hues — the mesh, seen locally, in analog rotation of dimensions. Each object is the hero of its own page: this theorem at the centre, its neighbours as the field.
Why this page still exists
This entry was withdrawn. It is kept, with its receipt, because the ledger is append-only: deleting a link would break the chain that lets anyone verify every other entry, and rewriting a receipt would be tamper. So the URL stays resolvable and the record stays honest about its own history — what changed is that this statement is no longer offered as a theorem, and nothing in the deposit may cite it.
The name above is shown without the Clay floor wording, removed at the author's order on 2026-09-14. The name as sealed is unchanged in the append-only ledger (src/proof/discovered.json), and the receipt addresses that sealed name.
The live record: the standing theorems · the ledger. Verify the chain yourself with npm run forensics. A content-address proves integrity, not truth.