Verification scripts

Five emblematic scripts from the PT monograph, runnable directly in your browser via Pyodide (Python 3.13 compiled to WebAssembly). No server round-trip; everything runs locally.

First "Run" click: download Pyodide (~10 MB) + numpy + scipy (~35 MB total). Allow 20 to 40 s the first time, a few seconds after that (browser cache).

ch08 · light

T5 — fixed point μ* = 15

Exhaustive verification by exact rational arithmetic that μ* = 3 + 5 + 7 = 15 is the unique fixed point of the sieve.

idle expected: 33 PASS

ch06 · light

T6 — holonomy identity

Verifies the algebraic identity sin²(θ_p) = δ_p(2 − δ_p) on all active and inactive primes up to p = 23.

idle expected: 24 PASS

ch10 · medium · scipy

α_EM — BA5 product + dressing

Reproduces α_EM = 1/137.036 from the bare product over {3, 5, 7} and the R51 dressing cascade, 0.004 ppb from CODATA.

idle expected: 17 PASS

ch09 · medium · scipy

Lemmas E, F, G — arithmetic → physics bridge

Verifies 113 conditions of the three uniqueness lemmas (spectral rigidity E, metric reconstruction F, Hilbert space G).

idle expected: 113 PASS

ch_math_structures · heavy (~30 s)

Mathematical structures — toolkit

Battery of tests for mathematical tools (algebra, group theory, spectral geometry). Largest file (2859 lines).

idle

Source code for the five scripts: see github.com/Igrekess/PersistenceTheory. Scripts served here are copied from the repo’s scripts/ folder.