Machine certificates
Same results, this runtime.
Every identity on this page is evaluated in the browser from the finite SU(2) sector table. No screenshots. No pasted residuals. If a row is green, the integer closed in this session.
15/15
pass · live TypeScript engine
- passE0
Carrier dimension dim V = 5³
expected 125
observed 125
- passE0
Casimir multiplicities sum
expected 1+9+25+28+27+22+13 = 125
observed 125
- passE0
dim ker K = dim E₆ ⊕ E₃₀
expected 25 + 22 = 47
observed 47
- passE0
Ωc = rank P₄₇ / 125
expected 47/125 = 0.376
observed 47/125 = 0.376
- passE0
κ_J = (C−6)(C−30)
expected 180, 112, 0, −108, −140, 0, 432
observed 180, 112, 0, -108, -140, 0, 432
- passE0
K² spectrum
expected 32400, 12544, 0, 11664, 19600, 0, 186624
observed 32400, 12544, 0, 11664, 19600, 0, 186624
- passE0
μ⁺_min = 108²
expected 11664
observed 11664
- passE0
μ_max = 432²
expected 186624
observed 186624
- passE0
ε* = 2 / (μmin + μmax)
expected 1/99144
observed 0.000010086339062373921
- passE0
ρ* = (μmax − μmin) / (μmax + μmin)
expected 15/17
observed 0.8823529411764706
- passE0
P₄₇(C) = 1 on kernel
expected 1 at C = 6, 30
observed 0.000, 0.000, 1.000, 0.000, 0.000, 1.000, 0.000
- passE0
P₄₇(C) = 0 on complement
expected 0 at C ∈ {0,2,12,20,42}
observed 0
- passE1
Γ^n residual decay (50 cycles)
expected <(15/17)⁵⁰ ≈ 1.915e-3 relative
observed r = 1.2111e-3, w = 99.999520%
- passE0
7-qubit minimum embedding
expected 2⁶ < 125 ≤ 2⁷
observed 64 < 125 ≤ 128
- passE0
Contiguous CG addresses
expected J=2: 10–34; J=5: 90–111
observed J=2: 10–34; J=5: 90–111