EEML v0.26 · 28 September 2026
Reproduceerbare modelcontroles / Reproducible model checks

Status: synthetische berekeningen. Geen nieuwe natuurmetingen, externe
preregistratie, volledige één-lusdeterminant of afleiding van alpha.
Status: synthetic computations. No new physical measurements, external
preregistration, complete one-loop determinant or derivation of alpha.

Run from this directory with Python 3 and NumPy:

  python3 proces_gewicht.py
  python3 negatieve_controles.py
  python3 procestopologie.py
  python3 hawking_page.py

Each program writes a JSON file beside its source. They use no downloaded
data, private paths or credentials. Float-level residuals may differ slightly
between numerical libraries; the explicit tolerances are in the programs.
The first three programs require NumPy; hawking_page.py uses the standard
library only. The website integrity check uses the standard library:

  python3 check_site.py

SCOPE

proces_gewicht:
  A rotating Ornstein-Uhlenbeck model. The stationary covariance is epsilon I
  with noise sqrt(2 epsilon), regardless of rotation speed. The probability
  current changes. Stationary weights do not uniquely determine dynamics.

negatieve_controles:
  Alternative Yukawa magnitudes and mixing matrices share the same charge
  constraints. Theta and Lambda remain unspecified by the examined package.
  Also checks conditional replicator examples, exploration without a cycle,
  and the quadratic-invariant basis change. This does not prove a universal
  impossibility of deriving these quantities from an extended theory.

procestopologie:
  Three labelled nodes, four connected graphs, hard-core excitations.
  The one-excitation sector has dimension 12; the full connected sector 32.
  Link cost Delta_b, hopping J and switching g are model inputs.
  An edge may switch only when its endpoints have a common neighbour.
  The line/loop ground energies cross at J/Delta_b=1+1/sqrt(2) for g=0.
  At exactly g=0 a prepared graph is frozen, even above that crossing.
  Equilibrium weights at g tending to zero require mixing/equilibration
  first. The factor of three for lines counts physically labelled graphs.
  These graphs do not represent K3 or a derived spacetime.

hawking_page:
  Conditional first-order shift delta T=Delta F_1/Delta S_0.
  Checks slopes and numerical roots for synthetic constant corrections of
  both signs in spherical AdS4 and AdS5 benchmarks. The local logarithmic
  coefficient 11/6 follows from the cited minimal AdS4 multiplet at r_+=L.
  It is NOT the full Delta F_1 or a numerical temperature prediction.
  The AdS4 synthetic G=1/N^2 check does not assert an AdS4 duality dictionary.
  A coefficient in T_c/sqrt(sigma) combines corrections to both T_c and sigma.

PRIMARY REFERENCES

  https://arxiv.org/abs/1404.0105
  https://arxiv.org/abs/0801.0861
  https://arxiv.org/abs/2212.03168
  https://arxiv.org/abs/2112.09444
  https://arxiv.org/abs/1202.6684
  https://arxiv.org/abs/2605.10943
  https://arxiv.org/abs/2510.05479

Historical mathematical checks remain in ../2026-09-16/ and ../2026-09-27/.
The September 16 Lean projects and K3-spectrum computation were not rebuilt
for this website revision. Earlier numerical error reports remain visible.