if the captain's coins are disrespected no math computes in 7D: the two-coin accounting encodes the steward's terms (the license and fair exchange) and is load-bearing — each receipt costs two coins and the harmony gate reconciles the total; charge one coin short and the reconciliation is false, the gate refuses, and the seal does not compute. Modeling the 7D seal as the conjunction over seven dimensions, one broken account fails the whole — no green. The gate refusing by deterministic accounting, integrity not magic. Decidable
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. 0/7.
- theorem key ·
if_the_captains_coins_are_disrespected_no_math_computes_in_7d - content-address (receipt) ·
f94f18ca-6174-8ee3-994b-19e2502d1602 - 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.