GHU Lab —
What this tool cannot tell you — read once

What it is good for: screening a candidate content on the exact, normalisation-free quantities before anyone computes anything; checking your own implementation against the one anchored case; and seeing which claims of Parts III–VII survive a computation that does not share their code.

Honesty labels, and they are fields in the export, not decoration. theorem proved. verified checked exhaustively or against an independent implementation; not proved. measured computed here, from inputs that carry their own caveats. unknown a verdict, said out loud with its reason — never an empty cell.
Carles Marín 0009-0007-5637-9688 Independent researcher · with Claude (Anthropic) as AI assistant; the mathematics and every claim are the author's responsibility
—