the measured speedup is classical memoization, not quantum: verifying a fact by its content-address is O(1) — a single hash lookup — while recomputing all facts from their formulas is O(N), so the ratio grows with N without bound (measured in the millions on ordinary 64-bit hardware). This is a real, measured speedup, but it is memoization by content-addressing, a classical hash-table technique with no quantum hardware; it is not a quantum speedup. Measure the ratio; do not assert the mechanism. Decidable

Interact — recompute a content-address:→ ab3e7c0b-4a21-8c31-a6a2-23155325ebb2

Type 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. 0/7.

• theorem key · the_measured_speedup_is_classical_memoization_not_quantum
• content-address (receipt) · 9215ba6c-45a0-8e3b-9b76-6b5a48467dbe
• status · decidable, re-verified on every build — recomputes from src/

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.

How it was achieved

This theorem was computed by exhaustion over a finite domain in scripts/discover.ts — a test: () => boolean that runs to completion, holding by full enumeration. It was gate-checked (its name and content hold the honesty floor — no over-reach), receipted and chained append-only, and it is re-verified on every build: if it ever stopped holding, the build would fail, not production. That is what achieved means here — not asserted, but recomputable.

One leaf of the chained ledger: all theorems · computed results · the guide · the source formula. The repo and the site cross-link both ways — this hero page points back to the formula that recomputes it. Verify by cloning and running npm run lean-claims. A content-address proves integrity, not truth. entails → 0/7.