EEML alpha route, 16 September 2026, website v0.24

NL
Dit dossier hoort bij sectie 7 van /artikel (De route naar alpha): het
schaallemma, het tegenvoorbeeld, het exacte criterium voor positieve
machtsommen en het drietermenmodel. De teksten staan in schaallemma.md,
positieve-machtsommen.md en onderzoek.md. De controles gebruiken de gemeten
alpha niet en passen geen coefficienten aan haar waarde aan. Dit is geen
afleiding van alpha: de derde bijdrage, haar coefficient en de
elektromagnetische identificatie blijven open.

EN
This bundle belongs to section 7 of /artikel (The route to alpha): the
scaling lemma, the counterexample, the exact criterion for positive
posynomials and the three-term model. Texts: schaallemma.md,
positieve-machtsommen.md, onderzoek.md (Dutch). The checks do not use the
measured alpha and do not tune coefficients to it. This is not a derivation
of alpha: the third contribution, its coefficient and the electromagnetic
identification remain open.

PYTHON REPRODUCTION (from the extracted bundle directory)
Tested: Python 3.14, SymPy 1.14.0. No numerical tolerances are used.

python -m venv .venv
.venv/bin/python -m pip install sympy==1.14.0
.venv/bin/python checks.py > checks.log          # 16 symbolic check groups -> results.json
.venv/bin/python posynomial_check.py             # 12 test cases -> posynomial-results.json
.venv/bin/python posynomial_check.py three-term-example.json

Scripts overwrite only their local output files.