Claims

Every claim on the site, one line each: name, tier, verifier. 288 claims at this build, indexed by section.

By tier: property 14 · observation 31 · pattern 6 · rule 195 · criterion 11 · theorem 31

• Object — the definition, the tower table, and what is born along the rungs · 28 claims
• Growth — the self-growing tower: its laws and the three fates · 84 claims
• Computation — growth read as a machine, and the knife edge at the deleted borrow · 19 claims
• Observatory — the readout family and its irreducibility clocks · 8 claims
• Walls — what deleting the archimedean place costs, and whether the deletion was forced · 39 claims
• Reading — the reading geometry: windows, gates, and what a cover buys · 27 claims
• Measure — measurement without size: the graded logic and its quantifiers · 18 claims
• Learning — monotone exact descent in reader space · 64 claims

Home

• The blueprint property — crt.py, explore_genesis_ladder.py