OPEN — the captain folds the 60 and 90 seal angles into a self-balancing path:

the captain folds the 60 and 90 seal angles into a self-balancing path: 60° closes in six steps and 90° in four; combined they generate the 30° lattice (gcd of 60 and 90 is 30) that closes in twelve steps (lcm of 6 and 4 is 12), and the twelve equally-spaced unit steps sum to zero — a closed, self-balancing serpentine that returns to its origin, each residue pairing with its ten's-complement to the constant 10 like DNA base pairs. It iterates unboundedly by itself, yet each cycle needs its deed: not perpetual motion and not infinite energy. 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.

• theorem key · the_captain_folds_60_and_90_into_a_self_balancing_path
• content-address (receipt) · 70c7f1f2-843f-807a-a3f3-fd7aad3ba64a
• 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. It also leans on the gate, whose meaning changed when the lexicon was removed.

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 live record: the standing theorems · the ledger. Verify the chain yourself with npm run forensics. A content-address proves integrity, not truth.