EEML v0.25 example checks / voorbeeldcontroles
27 September 2026

Run from the website repository:
  python3 research/2026-09-27/checks.py
  python3 research/2026-09-27/check_site.py

Python 3 standard library only. No network, fitting or experimental input.
results.json records the first command's output for this revision.

The eight groups cover finite log-sum-exp and tied minima, exact hidden-spin
marginalisation against full enumeration, the four-body coefficient, the
KL/free-energy identity, a finite-difference static response check, a linear
memory example checked against a full RK4 trajectory, joint feasibility,
and Kummer Euler bookkeeping conditional on the stated geometric facts.

Tolerances and model inputs are explicit in checks.py. Negative comparisons
include simply deleting the hidden spin and omitting memory. Numerical
agreement is not a machine-checked proof. Kummer bookkeeping does not prove
the geometric construction; see the cited mathematical source.

check_site.py validates current content and the new readable archive,
local links, language pairs, required correction topics, archive hashes,
metadata, navigation entries and the changelog structure.

Scope: bounded mathematical examples and website integrity. No new empirical
validation of EEML. Earlier Lean proofs, spectra, alpha calculations and the
historical prediction register were not rerun by these checks.

Context and primary sources are linked in the pages:
Huybrechts, Lectures on K3 Surfaces:
https://www.math.uni-bonn.de/people/huybrech/K3Global.pdf
Witten, String Theory Dynamics in Various Dimensions:
https://arxiv.org/abs/hep-th/9503124
Gouasmi, Parish and Duraisamy, memory effects in reduced models:
https://arxiv.org/abs/1611.06277
Bilal, Lectures on Anomalies:
https://arxiv.org/abs/0802.0634
Golkar and Sethi, Global Anomalies and Effective Field Theory:
https://arxiv.org/abs/1512.02607