← 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
β€”