— P = e^−S via Cauchy-Ostrowski uit A2 + A4 + codomein (A3 overbodig bewezen, augustus 2026: het stelsel comprimeert van drie axioma's naar twee); machinaal geverifieerd in Lean 4 (13 augustus)
— δS = 0 als gevolg van P = e^−S
— Born-regel P = |ψ|² als derde output van dezelfde machine (compositie + vertakkings-consistentie; voorwaarden expliciet benoemd)
— Padintegraal Z = ∫Dx·e^−S als kwantumuitbreiding
— Equivalentie met Boltzmann, Feynman, Jaynes (structureel)

— χ ∈ 24ℤ via Rokhlin's theorema
— χ = 24 via modulaire invariantie (η(τ)²⁴ uniek)
— K3 uniciteit via Kodaira-Enriques-classificatie
— Betti-getallen K3: (1,0,22,0,1), χ=24 bevestigd

— N ≥ 3 via CKM + Jarlskog (CP-schending vereist)
— N = 3 als K-minimum onder CP-ondergrens (ingetrokken 2026: K-minimum geeft N = 1; het getal 3 is adres, 10 bits — zie toetsing)
— Higgs-stabiliteit breekt bij N ≥ 4 (I-straf)

— SM + ν_R uniek binnen het onderzochte universum van eindige geometrieën, onder vooraf bevroren poorten en de metingen als scheidsrechter
— Hyperladingen uit de consistentie-eisen zelf
— Stelling S′: eerste-orde-conditie dwingt moduulafbeeldingen, ingebedde leptonen dwingen y_d = y_e: Pati-Salam en SU(5) geëlimineerd door de gemeten bottom-tau-verhouding
— Seesaw-venster klopt: M_R uit de gemeten neutrinomassa valt midden in het onafhankelijk voorspelde venster

— E = S + K + I decompositie-lemma (orthogonaliteit bewezen én machinaal geverifieerd, 13 augustus; de identificatie van de termen blijft gemotiveerd)
— α_K = ln 2 en α_I = ½ afgedwongen (Levin-maximaliteit resp. Laplace-integraal; voorwaarden benoemd, 12 augustus): nul vrije wegingsparameters
— Zelfconsistentie f(EE) = EE operationeel (Einstein-Hilbert + MDL + Hessiaan zijn unieke keuzes in hun eigen domein)

— Radiatieve stabiliteit van Λ via 4-form sequestering (structureel argument, geen numerieke meV⁴)
— χ/8 = 3 topologische suggestie voor N_gen (suggestief, formele sluiting via ∫c₃ open)

— Waarnemer-poorten gereduceerd tot één kern G* (stabiele herschrijfbare zelfrepresentatie), zelf-waarmakend; neutronenster-achterdeur drievoudig vergrendeld
— Tijdpijl als maat-voorkeur voor comprimeerbare begincondities
— Anarchie-lezing van de neutrinosector (ordening, massasom, m_ββ, δ_CP met bevroren getallen)
— Lokaal/a-lokaal-onderscheid: de maat weegt a-lokaal over structuren, de wet werkt lokaal per stap; de vier eigen missers deelden precies deze niveauverwarring

Beslist in 2026. Het getal: niet afleidbaar; drie vooraf vastgelegde pogingen (unificatie-matching 11% mis; selectie-route verkeerde ijkgroep; gewichtsfunctie-route factor 9 mis), afleiding ingetrokken; α is een adres-coördinaat, typisch binnen het waarnemer-venster. De structuur: sterker dan gedacht; waarnemer-geconditioneerde K-minimalisatie selecteert uniek SM + ν_R, met Majorana-neutrino's als valbijl-voorspelling. Status: getal ingetrokken, structuur afgeleid; zie toetsing, sectie 2. Aanvulling (12 augustus, nacht): de delegatie-inzet begrenst het venster van onderen via lokale vastpunt-consistentie (α⁻¹ ≳ 75-90); zie toetsing.

Patroon volgt uit K3-topologie: ≤ 42 modes, Casimir-verhoudingen, tensor-polarisatie, spectrale gap. Absolute frequentie hangt af van stabilisatiemechanisme (KKLT/LVS/uplift), dat zelf geen unieke EEML-voorspelling is. Status: patroon falsifieerbaar, schaal scenario-afhankelijk.

— Strikt bewijs van orthogonaliteit in decompositie-lemma (voltooid 13 augustus: drie stellingen plus gevolg in Lean, Orthogonaliteit.lean; zie wiskunde, Stelling 4.2)
— Formele dynamica W=0 → W>0 (ontbonden augustus 2026: open probleem 11.2 opgelost via tijdloosheid + maat-voorkeur; zie wiskunde)
— Exacte numerieke waardes α_K, α_I (afgedwongen 12 augustus: ln 2 en ½; zie wiskunde)
— Machinale verificatie van de kernstelling in Lean (voltooid 13 augustus: Kern.lean, nul fouten; monotonie afgeleid in plaats van aangenomen)
— Expliciete berekening a₆ op Fermat K3 (gemeten juli 2026: a₆ = −0,71 ± 0,02, drie seeds, gevalideerde krommingsmotor)
— Yukawa-hiërarchie: de wet-adres-analyse is gedaan (13 augustus: ~95 bits als kaal adres tegen 39-49 bits voor een textuur-mechanisme: het raamwerk zet in op structuur; zie toetsing). De concrete textuur binnen K3 blijft open: die vergt een generatie-bundel-keuze die niet vastligt

Het levende register staat op de toetsingspagina: ruim twintig bevroren inzetten met faalcondities, waaronder de valbijl (Majorana), de anarchie-reeks (ordening, massasom, m_ββ, δ_CP met getallen), drie structuurinzetten (geen protonverval, geen lichte sterielen, geen Lorentz-schending), de kwantum- en kosmologie-inzetten, en één meta-inzet die de wet-adres-grens zelf falsifieerbaar maakt: een aanvaarde eerste-principes-afleiding van α zou de adres-lezing breken. Daarnaast de delegatie-inzet: lokale vastpunt-consistentie (asymptotische veiligheid) begrenst adres-coördinaten in plaats van ze te fixeren; voor α: α⁻¹ ≳ 75-90, winst 0,15-0,27 bits. Beide inzetten dekken elkaars flanken.

Erbij horen een verwachtingskalender 2026-2030 (per experiment: wat EEML zegt en wat de andere uitkomst betekent) en externe verifieerbaarheid: SHA-256-vingerafdrukken in de changelog plus snapshots bij het Internet Archive. Het track record telt ook de missers: drie α-falsificaties en één Zipf-mis staan gedocumenteerd.