In één dag is de resterende agenda doorgerekend, elk onderdeel vooraf bevroren. Wet gebleken: de ruimtetijd-dimensie (3,1) (singleton onder de waarnemer-poorten) en de complexe kwantumtheorie (uit het compositie-axioma, met de Renou-experimenten als poort). Adres gebleken, mét prijs: het generatiegetal (het goedkoopste geldige waarnemer-adres heeft één generatie; ons drietal kost exact 10 bits) en de kosmologische constante (3,5-9 bits, band over beide literatuurvensters). De dynamische kostenterm kan die bits aantoonbaar niet leveren (de naïeve lezing wordt door ons eigen bestaan weerlegd; gerenormaliseerd is hij vlak), de tijdpijl is geformaliseerd als maat-voorkeur voor comprimeerbare begincondities, en de totale adres-boekhouding van het raamwerk staat op ~18-25 bits. De hele site is in dezelfde beweging consistent gemaakt: de oude "K geeft drie generaties"-claim is overal ingetrokken en vervangen door het sterkere selectieresultaat.

Axioma A3 (continuïteit) is overbodig bewezen (het codomein volstaat, via Ostrowski): het stelsel comprimeert van drie axioma's naar twee. De verrassings-boekhouding blijkt de stelling van Bayes met de universele prior. En dezelfde Cauchy-Ostrowski-machine vuurt een derde keer: de Born-regel P = |ψ|² volgt uit compositie plus vertakkings-consistentie, waarna ook de laatste aanname (geen-drift) ontbond in tijdloosheid, additiviteit en decoherentie: α = 2 als het unieke samenvalpunt van maat-additiviteit en orthogonale meetkunde. Open probleem 11.2 (nulpunt-dynamica) is ontbonden, vermoeden 11.7 opgewaardeerd met een voorwaardelijke stelling, en de waarnemer-poorten zijn gereduceerd tot één zelf-waarmakende kern (de vraag stellen ís het bewijs), met de enige achterdeur (nucleaire recorders) drievoudig op slot: formatie (Rees-Ostriker-koeling), thermodynamica en de maat.

De weegschaal is op de wiskunde zelf toegepast: de continuümhypothese als de α van de wiskunde, de keuzeaxioma-geschiedenis als kloppende Bayes-retrodictie, en de eerste gemeten axioma-prijzentabel ooit (mathlib, 439.764 stellingen: keuze 70,2%, echte getuige-extractie hooguit 18,7%, constructieve kern 7,4%), plus een geijkte weging van Ultimate-L tegen Martin's Maximum met bevroren flip-trigger. En het voorspellingenregister is uitgebreid: de valbijl-beslisboom voor 0νββ ligt vast vóór JUNO spreekt, de anarchie-lezing zet in op normale ordening (95-99,9%), massasom ~0,06 eV en m_ββ van 1-10 meV, en zes nieuwe bevroren inzetten bestrijken collaps-vrije kwantummechanica, kwantumcomputers zonder fundamentele grens, constante donkere energie, geen primordiale tensor-modi, een grote CP-fase en de stabiliteit van de prijzentabel. Alles met faalcondities erbij. En het rekenprogramma is uitgeschreven als wetenschappelijk artikel, gepubliceerd als eigen pagina op deze site (/artikel, NL en EN): de site is het document, dus ook de publicatie.

De twee oer-zinnen van 2020 blijken twee verdiepingen. "Niets bestaat niet" is a-lokaal: een uitspraak over de bestaanslaag, zonder plaats of moment. "Alles is gebaseerd op effortless effect" is lokaal: de weging werkt per stap, op elke verdieping waar stappen bestaan (paden binnen dit universum, takken van de kwantumtoestand, leden van de catalogus). Het onderscheid staat nu expliciet op de filosofiepagina (nieuwe kaart in de Meta-wet-sectie) en is met korte verwijzingen doorgevoerd op home, de wiskunde-in-woorden, de fysicapagina en het ontstaansverhaal.

Vier beelden zeiden iets anders dan de tekst ernaast en zijn herbouwd. De nulpunt-attractor-animatie (filosofie en de losse demo-pagina) heeft nu een reiziger die per ronde een ander pad neemt, met het soepelste pad zichtbaar het zwaarst gewogen; de sprong terug is de boodschap geworden (aankomen is thuiskomen: beide punten pulseren tegelijk, want het is hetzelfde punt). De alfa-running-animatie op de fysicapagina toont nu eerlijk de mis: de lijn komt uit op de voorspelde 152,2 en de gemeten 137,04 staat ernaast als gemist doel (F2 prime). In de Drie Bestaansmodi-figuur is bij het actuele punt de indexicale lezing toegevoegd (van binnenuit aangewezen, geen objectief lampje), en in de differentiatie-figuur draagt de niet-geselecteerde tak nu zichtbaar minder gewicht.

Drie nieuwe structuurinzetten geregistreerd, elk met faalconditie: geen protonverval (Hyper-Kamiokande; één bevestigd verval breekt de hele selectieketen), geen lichte steriele neutrino's, en geen Lorentz-schending. De inzet "δ_CP is groot" is aangescherpt tot getallen, bevroren vóór DUNE en Hyper-K spreken: P(|sin δ_CP| > 0,5) = 66,7%, mediaan |J| = 0,024, en |sin δ_CP| < 0,25 telt straks als mis. Daarnaast staat er nu een verwachtingskalender 2026-2030 op de toetsingspagina: per experiment wat EEML zegt en wat de andere uitkomst betekent. Nog dezelfde nacht is de wortel-diagnose van de vier eigen missers (niveauverwarring: de a-lokale maat op een lokale stoel) omgezet in een meta-inzet: geen eerste-principes-afleiding van een continue constante zal ooit slagen, door wie dan ook; één aanvaarde afleiding van α falsificeert de adres-lezing. De meta-inzet en de nieuwe structuurinzetten zijn ook in het artikel zelf verwerkt (par. 9-11). Aansluitend is de delegatie-inzet geregistreerd: lokale vastpunt-consistentie (asymptotische veiligheid) begrenst adres-coördinaten in plaats van ze te fixeren; voor α krimpt het venster van onderen (α⁻¹ ≳ 75-90, winst 0,15-0,27 bits), de sterke vorm is expliciet gesloten, en delegatie-inzet en meta-inzet dekken elkaars flanken; beide zijn ook verwerkt in het artikel (par. 9) en op de statuspagina.

En de registratie is extern verifieerbaar gemaakt. SHA-256-vingerafdrukken van de bevroren registers zoals ze vandaag online staan (onafhankelijk te controleren tegen de gearchiveerde snapshots bij het Internet Archive):

toetsing.content     a1d6ac5ca468b2371f54d8dbb8f559bf8a95ee4aeaa6f7ac450e9ccc14de1a20
toetsing-en.content  bd28fcbd6d443ca6946028a77b0bda5912c02b759a9e1522bde4f91c5cab2720
artikel.content      d034b8334bf387d394b74846bda9fbd77372d89b7417405409d7bdb01eb71296
artikel-en.content   6e0b73d597a50d25412661142674afb2f6e5bc2492e32d66bbcef2b2d8ac8fe9

Het register is verder gevuld met zes nieuwe bevroren inzetten: f_NL verenigbaar met nul (SPHEREx), geen nieuwe fysica bij de HL-LHC, de Hubble-spanning lost op zonder nieuwe fysica (de gewaagdste), de pulsar-timing-achtergrond is astrofysisch (IPTA), de neutron-EDM blijft nul (n2EDM), en de gereedschap-onafhankelijkheid van de axioma-prijzentabel (Rocq/Coq-kruismeting). De axion-inzet heeft nu getallen: de bit-boekhouding geeft een voorkeursband m_a ≈ 2-20 µeV (ADMX/MADMAX-territorium), met het post-inflationaire scenario vooraf genoteerd als andere tak (~25-500 µeV). Drie retrodicties zijn als zodanig geboekt, buiten het track record: de LHC-woestijn, de Higgs-bijna-kriticaliteit en de bestaande f_NL-limieten. De verwachtingskalender kreeg zes rijen erbij en de toetsing-hashes zijn ververst.

De gereedschap-onafhankelijkheids-inzet is binnen enkele uren na registratie gemeten en eerlijk gesneuveld. Coq 8.20.1-standaardbibliotheek: 16.664 lemma's, 11,5% met een logisch axioma (88,5% constructief); Mathematical Components 2.3.0: 11.442 lemma's, exact 0% axioma-gebruik; mathlib: 70,2%. De prijzen van axioma's zijn dus in belangrijke mate bewijsstijl- en gereedschaps-eigenschappen, en mathlib's 70,2% is een bovengrens binnen die stijl, geen eigenschap van de wiskunde. De mis staat geboekt in het track record (de tweede, naast Zipf). Als post-hoc hypothese apart gelabeld: in beide ecosystemen concentreert het axioma-gebruik zich bij het continuüm (in Coq: LPO-achtige axioma's en functie-extensionaliteit rond de reële getallen; echte keuze 0,03%), terwijl discrete wiskunde axioma-vrij blijkt: het telbaar-goedkoop, continuüm-duur-patroon opnieuw. Meetmethode en script gearchiveerd; toetsing-hashes ververst.

Vier verdiepingen in één ronde. Eén: de wegingsparameters van het decompositie-lemma zijn afgedwongen: α_K = ln 2 (Levins maximaliteit) en α_I = ½ (Gauss-integraal): nul vrije wegingsparameters over, voorwaarden benoemd (wiskunde-pagina). Twee: de gezamenlijke anarchie-Monte-Carlo (2 miljoen trekkingen, bevroren seed) valideert de losse neutrino-inzetten kruiselings (P(NO) = 95,7%; massasom-mediaan 60,6 meV; |sin δ| reproduceert Haar op 0,2 punt) en levert één eerlijke herziening vóór de data: m_ββ verschuift van "1-10 meV" naar mediaan 15 meV met 68% [6, 30] meV, waardoor detectie bij de volgende generatie waarschijnlijker wordt. Drie: nieuwe inzetten: de topmassa convergeert naar het kriticaliteitsvenster ~171,0-171,5 GeV (delegatie-gevolg, huidige spanning erkend), geen ringdown-echo's, geen vijfde kracht, birefringence-hint verdwijnt, c_gw = c; plus twee retrodicties (g-2, GW170817) buiten het track record. Vier: een eerlijkheidsnoot op de fysica-pagina: de beloofde Casimir-verhoudingen-tabel vergt een massamodel-specificatie die nog niet bestaat, dus wordt er geen tabel geclaimd; en het formalisatie-project (kernstelling machinaal verifiëren in Lean) is geopend als onderzoeksdoel.

De axioma-metingen (mathlib, Coq-standaardbibliotheek, Mathematical Components) staan nu als zelfstandige pagina online, met methode, getallen en duiding: bedoeld als bijdrage aan de bewijsassistent-gemeenschap, ook los van EEML bruikbaar. Bereikbaar via /axiom-audit en vanaf de wiskunde-pagina.

De ingetrokken LISA-frequentie krijgt een waardige opvolger die géén frequentie is. Op een generiek moduli-punt dwingt niets een verhouding (het punt is adres), maar de goedkope-adres-weging bevoordeelt symmetrische punten, en op het bevroren Fermat-punt dwingt de 1536-elemente symmetriegroep degeneratie-multiplets af: axionen [12, 6, 2, 1, 1], Kähler-moduli [12, 6, 1, 1], samen hooguit 9 onderscheiden lijnen in plaats van 42. Potentiaal-onafhankelijk, protocol en seed bevroren vóór het rekenen, generiekheids-kruiscontrole geslaagd. De oude Casimir-regel op de fysica-pagina is herschreven (die was verkeerd gesteld), de kalender kreeg een LISA-rij, en de faalconditie staat erbij: tientallen losse lijnen zonder multiplets laat de adres-weging verliezen. Aansluitend is de volledige vier-takken-beslisboom bevroren, naar het voorbeeld van de valbijl-boom: volle winst (adres wordt meetbaar), punt-mis (groep terugrekenen), vlakke-maat-terugval (met verplichte herrekeningen van generatie-bits en axion-venster), en onbeslist.

Vier ingrepen voor de vindbaarheid. Eén: de navigatie heeft nu een "Meer"-menu waarmee alle pagina's bereikbaar zijn (Wiskunde in Woorden, Keten, Ontstaan, Het Artikel, Axiom-audit, Over, Contact, Changelog stonden deels nergens in het menu); het mobiele menu toont voortaan alles. Twee: elke lange pagina krijgt automatisch een inhoudsopgave bovenaan die naar de secties springt. Drie: de homepagina opent met "Kies je route": drie ingangen voor drie soorten lezers (zonder formules, de afleidingen, het bewijs). Vier: de toetsingspagina begint met een "in één oogopslag"-samenvatting van het register, het track record en de eerstvolgende scheidsrechter.

De kaart "HIER vs het Multiversum" (filosofie) en FAQ V4 (toetsing) zijn aangescherpt met drie punten uit de lokaal/a-lokaal-lijn: het boekenkast-versus-inhoudsopgave-beeld (het bubbel-multiversum is lokaal, de catalogus is a-lokaal, dus "waar zijn die universa" is een categoriefout), de omgekeerde bewijslast (niet de andere leden zijn de extra aanname maar het lampje, en dat is weerlegd), en kans als het lokale gezicht van het a-lokale gewicht (Born over takken, typicaliteit over leden).

De gerepareerde opvolger van de gemiste gereedschap-onafhankelijkheids-inzet is dezelfde dag bevroren en gemeten: mathcomp-analysis (plus classical en reals, 5.887 lemma's, volledige telling) gebruikt in 77,2% van de lemma's een logisch axioma, tegen 0,0% voor het discrete werk van dezelfde gemeenschap. Treffer op de bevroren drempel (> 50%); de richtingverwachting van > 90% werd niet gehaald en dat staat erbij. De mix klopte exact zoals voorspeld: extensionaliteit plus keuze (69,2%), geen LPO. De continuüm-concentratie is daarmee geen post-hoc observatie meer maar een getroffen inzet; de axiom-audit-pagina heeft de nieuwe rij.

De hoofdstelling van het raamwerk (compositie plus codomein dwingen P = e⁻λˢ) is geformaliseerd en goedgekeurd in Lean 4 tegen mathlib: nul fouten. De formalisering maakt twee dingen hard die op papier makkelijk wegglippen: de monotonie hoeft niet aangenomen te worden (zij volgt uit het codomein), en het bewijs gebruikt precies de standaard-axioma's van Lean (propext, keuze, quotiënten), dezelfde drieslag die de prijzentabel meet. Het Ostrowski-deel (additief plus niet-negatief impliceert lineair) is zelfstandig geformaliseerd via rationale schaling en een dichtheids-sandwich. Bewijs en logboek gearchiveerd; noot toegevoegd bij Stelling 3.1 op de wiskunde-pagina; het onderzoeksdoel op de statuspagina is afgevinkt.

Het laatste grote formele gat van de statuspagina is gedicht. De orthogonaliteit van het decompositie-lemma is nu een stelling in drie delen (stroom ⊥ gauge overal; kritieke orbits blijven kritiek; de Hessiaan is nul op gauge-richtingen), elk geformaliseerd en goedgekeurd in Lean 4, in één compileerronde, op de standaard-drieslag van axioma's. Daarmee is bewezen dat A, K en I geen richtingen dubbel tellen. Eerlijk gemarkeerd wat open blijft: de identificatie van de drie blokken met S_dyn, K en I is nog steeds gemotiveerd, geen stelling. Nieuwe kaart bij het lemma (Stelling 4.2), badge bijgewerkt, statuspagina afgevinkt, bewijs gearchiveerd.

Het laatste open onderzoeksdoel is aangepakt langs de enige route die de meta-inzet toestaat: niet de waarden afleiden, maar de prijs meten. Onder de bevroren anarchie-conventies kost de waargenomen quark-hiërarchie ~95 bits als kaal adres, tegen 39-49 bits voor een Froggatt-Nielsen-achtig mechanisme: 46-56 bits marge, drie keer de axion-marge, met de random-matrix-staartexponent (2,0) als interne kruiscontrole en de correlatie-kanttekening eerlijk erbij. Lezing: quarks structureel, leptonen anarchisch, nu in één munteenheid. De K3-textuur blijft eerlijk open (bundel-keuze niet gespecificeerd, geen textuur geclaimd). Statuspagina bijgewerkt; toetsing-hashes ververst.

Drie afrondingen. Eén: al het onderzoekswerk en de site staan nu onder versiebeheer met een gedateerde offsite-snapshot (83 MB, met controle-hash). Twee: de volledige Froggatt-Nielsen-zoekruimte is doorlopen: de CKM-hoeken pinnen qQ = (3,2,0) uniek vast en de goedkoopste textuur is de klassieke leerboek-textuur, gevonden in plaats van gekozen, met parametervrije orde-relaties als bijvangst (addendum bij de Yukawa-kaart). Drie: de eigen 1-lus-doorrekening van de Higgs-kriticaliteit bevestigt de beslisbaarheid van de topmassa-inzet (helling ~0,006 per GeV) en boekt eerlijk dat het venster zelf lus-gevoelig is: de inzet blijft op de 2/3-lus-literatuurband staan.

Het artikel is nu ook beschikbaar als printklare PDF-preprint (7 pagina's A4, Engels), gegenereerd uit de canonieke artikelpagina, met een appendix over het levende register, de twee Lean-verificaties en de tijdstempel-machinerie inclusief register-hash. Te vinden via de artikelpagina of direct op /eeml-preprint.pdf. De site blijft de publicatie van record; de PDF is de verspreidbare momentopname.

De preprint is gedeponeerd bij Zenodo (CERN) onder DOI 10.5281/zenodo.21908485, met CC BY 4.0-licentie en verwijzingen naar de canonieke artikelpagina, het register en de axiom-audit. Daarmee heeft het voorspellingsprogramma een tijdstempel dat volledig losstaat van deze site: wie later wil controleren dat de inzetten vóór de metingen bestonden, hoeft ons niet op ons woord te geloven.

De korf-vraag ("dwingt stabiliteit het punt α af?") is met een vooraf bevroren criterium doorgerekend. Eigen randen: waterstof-stabiliteit verscherpt de onderrand van 59 naar α⁻¹ ≳ 77 (roosterband 65-86), de koolstof-kandidaat valt af, de koelings-bovenrand blijft zacht rond 685. Het venster blijft een zaal (breedte factor 8,9; 137 op log-positie 0,26, nergens randligging): de naald-lezing verliest, de adres-lezing houdt, winst 0,16 bits. Opvallendste bijvangst: de antropische onderrand en de onafhankelijke vastpunt-onderrand (75-90) landen op dezelfde plek. Toetsing-hashes ververst.

De bewoonbaarheid bínnen het α-venster is in kaart gebracht voor zover de gepubliceerde gevoeligheden reiken. Het koolstof-eiland (Hoyle, ±4%) beslaat α⁻¹ ∈ [131,8, 142,7]; de bewering "136 verbrandt, 138 bevriest" is daarmee weerlegd (beide liggen ruim binnen het eiland). Het eiland-adres kost 4,8 bits, onafhankelijk consistent met de al geboekte ~5 bits koolstof-conditionering, en 137,036 zit op log-positie 0,49: exact midden-eiland, geen grensvlak. Of er elders in de zaal nog eilanden liggen blijft een open ab-initio-rekenvraag, zonder claim.

De open ab-initio-vraag is op cluster-model-niveau aangepakt, met een vooraf bevroren validatiepoort die slaagde (d = 6,9 fm reproduceert de gepubliceerde ±4%-gevoeligheid). Uitkomst: naast het Hoyle-eiland opent zich bij α⁻¹ ≳ 146 een continent: gebonden Be-8 heft de massa-8-flessenhals op en 74% van de zaal wordt bewoonbaar. Het ~5-bits-getal verschijnt nu drie keer onafhankelijk (conditionering, eiland-in-zaal, eiland-in-bewoonbaar): de interpretatie verschuift van bewoonbaarheids-prijs naar adres-keuze. Caveats bevroren (ster-gedrag bij gebonden Be-8, O/C-balans); de echte rooster-EFT blijft de scheidsrechter.

De wet-adres-triage is over de beroemde open raadsels van de fysica gelegd, met bevroren priors. Drie nieuwe uitkomsten: het hiërarchie-probleem kost onder de log-prior maar 5 bits (het 10³⁴-drama is een lineaire-prior-artefact, en de HL-LHC-woestijn-inzet wordt er met terugwerkende kracht logisch door), de Koide-relatie is eerlijk gedefleerd tot onbeslist (14 bits toeval tegen 10-20 bits mechanisme, met de pool-massa-gevoeligheid als minpunt), en de waarom-nu-samenloop blijkt 1,7 bits: een schouderophaal. Plus het Gatto-bonnetje (0,2% overeenstemming, precies de gevonden textuur). De volledige vijf-kolommen-tabel (wet, adres, mechanisme, onbeslist, graf) staat in het register.

De geconsolideerde adres-boekhouding staat nu als ansichtkaart op de homepagina: de vijf adres-posten met hun bits, totaal ~25-32 bits: het hele waarom-restant van het waarneembare universum in minder informatie dan één regel tekst, met "afzender: geen; er is geen buiten". In dezelfde beweging is de verouderde eindstand-alinea op de home geactualiseerd (die beloofde nog een α-berekening die in v0.19 is ingetrokken).

De site heeft een licht/donker-schakelaar gekregen (het ◐-knopje naast de taalkeuze, ook in het mobiele menu). De keuze wordt onthouden, laadt zonder flits, en het volledige palet plus alle componenten (kaarten, code, badges, navigatie, inhoudsopgave, de ansichtkaart) zijn voor het lichte thema opnieuw afgestemd. De donkere versie blijft de standaard.

Het lichte thema is nu de standaard (donker blijft één klik weg via de ◐-knop, en een eerdere keuze wordt onthouden). Daarnaast worden eenregelige formules voortaan als boek-zetwerk getoond: gecentreerd, in een serif-wiskundeletter, zonder kader: terwijl de onderliggende tekst exact dezelfde Unicode blijft en dus volledig selecteerbaar en kopieerbaar is. Meerregeling keten- en code-blokken behouden bewust de monospace-stijl. Nabewerking dezelfde dag: de laatste hardgecodeerde donkere vlakken in de content (de ansichtkaart-achtergrond, de vrijheid-determinisme-box en de HIER-diagramkleuren op filosofie) zijn omgezet naar themavariabelen, zodat het lichte thema overal doorwerkt.

De verbeterde spectrale-actie-matching is uitgevoerd: 2-lus-running vanaf de unificatie-randvoorwaarde 5g₁² = 3g₂² = 3g₃² geeft α⁻¹(m_e) = 152,2 tegen 137,04 gemeten. Dat is 11% afwijking, buiten het eigen criterium van ~10%. F2′ is daarmee getriggerd en de belofte "α uit EEML" is ingetrokken. Niet afgezwakt, niet geherformuleerd: ingetrokken, en de afleiding vervoegt de eerdere α-formules op deze begraafplaats.

Twee verdere onafhankelijke routes naar α zijn daarna eveneens vooraf vastgelegd getest en gefaald: de selectie-route (de goedkoopste consistente eindige geometrie geeft niet de waargenomen krachten, onder alle drie de bevroren complexiteitsmaten) en de gewichtsfunctie-route (EEML's eigen e⁻ˢ als afsnijfunctie voorspelt de unificatiesterkte een factor 9 mis). Drie falsificaties, elk met criteria die vóór het rekenen zijn bevroren. Het patroon: telbare structuur is afleidbaar, continue sterktes zijn adres. Zie de toetsingspagina, sectie 2.

Wat het rekenprogramma na de falsificaties opleverde: met waarnemer-voorwaarden die vooraf zijn bevroren (er moet een elektron kunnen bestaan, geladen kernen, de waargenomen krachten bereikbaar) en de metingen als scheidsrechter (neutrinomassa, bottom-tau-verhouding) blijft binnen het onderzochte universum van eindige geometrieën precies één kandidaat over: het standaardmodel met rechtshandige neutrino's. De hyperladingen komen daarbij uit de consistentie-eisen zelf; een goedkopere Pati-Salam-uitdager is door de gemeten bottom- en tau-massa geëlimineerd via een stelling uit de exacte structuurvoorwaarden.

De keten draagt één valbijl-voorspelling: neutrino's zijn Majorana-deeltjes; definitieve uitsluiting van neutrinoloos dubbel bèta-verval zou alles laten vallen. De volledige werkdocumenten en tien scripts (fases 8-17 van het rekenprogramma) zijn beschikbaar. Bijgewerkt: toetsingspagina (nieuwe sectie 2, scores, FAQ V13, track record) en fysica-pagina (F2′-status).

Vier vervolgtoetsen, elk vooraf bevroren (fases 18-21). Generaties: het goedkoopste geldige waarnemer-adres is één generatie plus twee ν_R (leptogenese); ons 3-generatie-adres is exact 10 bits duurder: het getal 3 is adres met prijskaartje, geen afgeleide. S_dyn: de dynamische kostenterm kan die 10 bits niet leveren en verandert de ranking niet (de naïeve vacuümlezing wordt door ons eigen bestaan weerlegd); de complexiteits-ranking is de volledige selectie. Robuustheid: de uniciteit van SM+ν_R houdt stand in het n=5-universum (SU(5)-flank: 136 algebra's, allemaal geëlimineerd via de gedwongen bottom-tau-gelijkheid plus protonverval) en tegen vier bouwblokken (analytische kostengrens). Typicaliteit: α ligt op log-positie 0,34 in het bewoonbaarheidsvenster uit de literatuur: typisch. Totale adres-prijs ~15 bits. Nieuw op de toetsingspagina: de kaart "De adres-boekhouding" in sectie 2. Ook bijgewerkt: de wiskunde-pagina, waar de oude §12-regel "K-minimum + fine-tuning-straf → N_gen = 3" is ingetrokken (te sterk; door eigen rekenwerk weerlegd) en vervangen door het sterkere, wél afgeleide selectieresultaat (SM + ν_R uniek, Stelling S′) plus de S_dyn-status in §5. Tot slot een site-brede consistentie-scan: home (kaarten 2 en 3), fysica (TL;DR, hoofdstuk 5 status-herziening, §6), status (α-kaart, groen-lijst, scores), keten (schakels 11 en 12), filosofie (selectiemechanisme-kaart) en wiskunde-in-woorden (nieuwe sectie 12 "Wet of adres") zijn allemaal bijgewerkt naar de stand van augustus 2026; de oude "N = 3 sterk afgeleid"- en "getal open"-formuleringen zijn overal vervangen of doorgestreept met datum.

Zes nieuwe fases (22-27), elk vooraf bevroren. Wet: dimensie (3,1) singleton onder waarnemer-poorten; complexe kwantumtheorie uit het compositie-axioma (Renou e.a. 2021 als experimentele poort). Voorspellingen: geen WIMP's; en onder de geratificeerde gecombineerde boekhouding (K-bits en typicaliteits-bits als één valuta, na een eerlijk gedocumenteerd conflict tussen twee registraties op één dag) een θ-oplossende axion-achtige sector als donkere-materie-kandidaat. Adres: kosmologische constante 3,5-9 bits (band, randgeval). Gemotiveerd: de tijdpijl als maat-voorkeur. De toetsingspagina (adres-boekhouding-kaart) is uitgebreid; de volledige balans staat in de werkdocumenten.

De 0νββ-beslisboom is bevroren vóórdat JUNO de massaordening meet (detectie = bevestigd; lege omgekeerde-ordening-band = weerlegd; trechter = eerlijk onbeslisbaar, vooraf zo verklaard inclusief het kosmologische risico). En via de adres-lezing (= het anarchie-scenario, met de θ₁₃-voltreffer van 2012 als retrodictie) voorspelt het raamwerk zijn eigen vonnis: normale ordening (95-99,9%), massasom ~0,06 eV, m_ββ klein maar niet nul (~1-10 meV). Twee kortetermijntoetsen liggen daarmee vast voor de data er is. Nieuwe kaart op de toetsingspagina, sectie 2.

Zes punten aan de kern. Twee nieuwe stellingen op de wiskunde-pagina: axioma A3 (continuïteit) blijkt overbodig (het codomein [0,1] volstaat via Ostrowski; het stelsel comprimeert van drie axioma's naar twee: de wet werd zelf eenvoudiger) en de verrassings-boekhouding blijkt de stelling van Bayes met de universele prior (K = prior, typicaliteit = likelihood), waarmee de axion-redenering een stelling onder zich heeft. Open probleem 11.2 (nulpunt-dynamica) is ontbonden in een categorie-fout plus de tijdpijl; vermoeden 11.7 is opgewaardeerd met een voorwaardelijke stelling (zelfrepresentatie is beschikbaar in elk waarnemer-lid; alleen de benutting blijft open). Verder: L2 aangescherpt, en een tweeledige Boltzmann-brein-verdediging genoteerd (vacuüm-metastabiliteit van het geselecteerde F plus compressie-onderdrukking), als verdediging, niet als stelling. Werkdocument: kernwerk-12aug. Toegift: het oer-citaat op de ontstaan-pagina kreeg drie formele spiegels (boomwortel, 0/0-oorsprong, gewicht-informatie-dualiteit) als nieuwe Anno-nu-annotatie. Vijfde aanvulling: de weegschaal is een verdieping hoger toegepast, op de wiskunde zelf: onafhankelijke uitspraken als de adres-feiten van het verzamelingen-multiversum (CH als de α van de wiskunde), de keuzeaxioma-geschiedenis als kloppende Bayes-retrodictie, en de eerste gemeten axioma-prijzentabel ooit (mathlib, 439.764 stellingen: keuze 70,2%, echte getuige-extractie hooguit 18,7%, constructieve kern 7,4%), plus een geijkte, vooruit-geregistreerde weging van Ultimate-L tegen Martin's Maximum. Nieuwe kaart op de wiskunde-pagina, sectie 12. Zesde aanvulling: de Born-regel uit dezelfde weegmachine: compositie (A2) plus het codomein dwingt via Ostrowski een machtswet in de amplitude af, en gewichtsbehoud-onder-vertakking dwingt de macht 2 af: P = |ψ|² als derde output van dezelfde twee axioma's (na e⁻ˢ en de complexe getallen), met de voorwaarden (decoherentie voor fase-onafhankelijkheid en voorkeursbasis; geen-drift-aanname) eerlijk benoemd. Nieuwe kaart op de wiskunde-pagina, sectie 10. En dezelfde avond is de laatst overgebleven aanname (geen-drift) ontbonden in tijdloosheid + additiviteit + de al-benoemde decoherentie, waarmee α = 2 het unieke punt blijkt waar de additiviteit van de maat en de meetkunde van orthogonale takken samenvallen. Zevende aanvulling: de waarnemer-poorten gefundeerd: drie poorten gereduceerd tot één abstracte (stabiele herschrijfbare zelfrepresentatie), waaruit elektron en kernen als minimale implementatie volgen; de restaanname is performatief zelf-waarmakend (de vraag stellen ís het bewijs); één loophole eerlijk benoemd (zwaartekracht-gebonden nucleaire recorders), en dezelfde avond vergrendeld met drie onafhankelijke sloten: formatie (zonder licht geladen deeltje koelt gas ~10⁶× trager, Rees-Ostriker: de loophole-wereld kan zijn substraat niet bouwen), thermodynamica (geïsoleerd slinkend energiebudget: het geheugen bevriest) en de maat (chemie is ordes overvloediger: typicaliteit kiest de overvloedige klasse). Nieuwe kaart op de toetsingspagina, sectie 2; L4 aangescherpt. Achtste aanvulling: het voorspellingenregister uitgebreid met zes bevroren inzetten: geen objectieve collaps, geen fundamentele grens aan kwantumcomputers (tegen het superdeterminisme-kamp), donkere energie constant (de DESI-w-anomalie verdwijnt), geen primordiale tensor-modi binnen bereik (de gewaagdste: de gladde start als maat-voorkeur maakt een inflaton overbodig), CP-fase generiek groot (DUNE), en de stabiliteit van de axioma-prijzentabel. Nieuwe kaart, toetsing sectie 2.

De heat-kernel-coëfficiënt a₆ op de Fermat-K3 is voor het eerst bepaald — niet via de vervuilbare spectrale fit, maar via lokale krommingsintegralen: de exacte Gilkey-formule reduceert op gesloten Ricci-vlak (met een zelf afgeleide Bianchi-identiteit voor ∫|∇Riem|²) tot puntsgewijze kubische invarianten. De krommingsmotor is gevalideerd met exact-topologische ijken (Gauss-Bonnet/c₂ = 24,00 op vier verschillende metrieken; Ricci-inbeddingsanker; het feit dat ∫|∇Riem|² positief móét zijn ving onderweg een globale tekenfout). Resultaat, stabiel over drie onafhankelijke seeds en drie resolutieniveaus:

a₆(Fermat-K3, scalair, Vol = 1) = −0,71 ± 0,02

Klein en negatief: de definitieve bevestiging dat het oude α-venster (~10³–10⁴) kansloos was. Met de echte a₆ is ζ'(0) verfijnd tot +1,0 ± 0,1 (de eerdere spectrale a₆-fit van ~+12 bleek ondertelling-vervuiling; het kale plateau was vrijwel correct). Bijvangst: eerste directe Ricci-vlakheidsmeting van de Donaldson-metrieken (∫|Ric|²: 109 → 36 → 17,5 over k = 3/4/5).

En de discipline werkte ook intern: een werkdocument-hypothese van twee dagen oud (volume-stabilisatie van de interne ruimte via de a₀/a₆-balans in de spectrale actie) vereiste a₆ > 0 en is door deze meting gesneuveld vóórdat ze de site bereikte. Zo hoort het: de eigen sloopkogel eerst.

Het laatste spectrale voorbehoud bij F2′ (de spectrale actie gebruikt Dirac, niet de scalaire Laplaciaan) blijkt op K3 een stelling: via de triviale canonieke bundel, de parallelle antiholomorfe 2-vorm (hyperkähler), Hodge-decompositie met b₁ = 0, en de Kähler-identiteit D² = Δ_d is het volledige Dirac-spectrum het scalaire spectrum met multipliciteit 4 (plus 2 nulmodes; index-check 2 = −σ/8, Atiyah-Singer ✓). Exact: ζ'_D²(0) = 4·ζ'(0) = +4,0 ± 0,4 en ζ_D²(0) = −44/15. De spectrale sector is volledig gesloten; F2′ rust nu zonder enig spectraal voorbehoud op C_gauge.

Het a₆-programma (open probleem 6.1 / criterium F2) is voor het eerst daadwerkelijk uitgevoerd: Donaldson-gebalanceerde metrieken op de Fermat-quartic K3 plus de BBDO-spectraalmethode leverden de eerste ~200 eigenwaarden van de scalaire Laplaciaan, drievoudig gevalideerd (volume exact op 8π² binnen 0,1%; nulmode ~0; symmetrie-multipletten 12/3/3/3/18 met k-convergentie over drie onafhankelijke runs). Laagste niet-triviale eigenwaarde: λ₁ ≈ 43,8 (12-voudig ontaard, Vol = 1). Voor zover bekend de eerst berekende eigenwaarden op dit oppervlak.

Het zeta-resultaat: ζ'_K3(0) = +1,0 (interval −0,3 tot +2,4) bij de bevroren conventie Vol = 1, met exacte interne ijk ζ(0) = −11/15. Dat is orde 1, niet de orde 10³ à 10⁴ die criterium F2 als venster stelde: drie ordes ernaast, robuust tegen alle getoetste systematiek en niet te repareren door herschaling. De last van α⁻¹ ≈ 137 verschuift daarmee volledig naar de matching-constante C_gauge.

Bevestigd én herzien. De berekening is opgevoerd tot k=6 (basis 5476, ~340 modes): ζ'(0) verstevigt tot een strak plateau rond +0,9, bevestigd over vier resolutie-niveaus, met λ₁ monotoon 44,19 → 43,52. De convergentie beweegt niet richting het venster — orde 1 wordt zekerder, niet minder zeker.

Besluit: F2 geherformuleerd, niet ingetrokken. Het oude venster (ζ' ~ 10³–10⁴) vervalt — weerlegd door de eigen berekening. Maar de α-structuur (spectrale actie op K3) staat overeind; nu de spectrale term aantoonbaar O(1) is, verschuift de volledige last van "137" naar de matching-constante C_gauge. Het nieuwe, smallere criterium F2′: een eerste-principes-berekening van C_gauge die niet de vereiste waarde geeft, weerlegt de afleiding. Vervolgberekening gestart: de Dirac-operator (laatste voorbehoud; via Lichnerowicz op Ricci-vlak is de (0,0)-sector al het berekende scalaire spectrum). Bijgewerkt op 6.1, F2, de zelfbeoordeling (constante-afleidingen 6→5/10) en de Toetsing-pagina. Precies waarvoor falsificatiecriteria vooraf worden opgeschreven: het venster viel, de theorie werd scherper.

Het oerdocument van ±2020 (kopjes, aanstekers, bananen, "everything, yes everything") staat nu integraal en onbewerkt op de site, als artefact met annotaties van nu: wat overleefde (de instap-ladder, het nulpunt-embryo "nothing does not exist, therefore it must be a point of everything", de toon), wat sneuvelde en waarom (objecten-als-bewijs werd de lens; de vlakke alles-claim werd de laag-discipline), en de tijdlijn van intuïtie naar meting. De changelog-ethos toegepast op de geschiedenis van het idee zelf. Bereikbaar via /ontstaan en via de Over EEML-pagina.

Gemeten. De spectrale beschrijvingskost van de Fermat-K3 is voor het eerst gemeten uit het eigen berekende spectrum: de symmetrie-multipletten comprimeren de eerste ~440 modes van ~7000 bits (generiek oppervlak) naar ~400 à 1400 bits; T⁴ comprimeert naar een ~10-bits-formule. De T⁴-paradox bevestigt de eliminatie-structuur: compressibeler dan K3 en tóch hard geëlimineerd — stabiliteit gaat voor eenvoud. Concentratietest: binnen het mini-landschap draagt K3 een gewichtsaandeel van 1 − 10⁻²⁷¹⁵ — "alles bestaat maar één domineert" heeft nu een getal.

Gecorrigeerd. Het Def 6.1-voorbeeld telde K_moduli(K3) met h^1,1 = 20 (997 bits), in tegenspraak met de eigen definitie en de K3-referentiekaart (dim 𝓜 = 58): herzien naar 2890 bits, K3-totaal 1947 → 3840 bits. En de gewichtsverhouding stond als e^{−ΔK/ln 2}; juist is 2^−ΔK. De kwalitatieve selectie verandert niet; de getallen wel — en dat wordt hier genoteerd zoals het hoort.

"Selecteren én elimineren". Er is geen apart eliminatieprincipe: het is dezelfde helling van twee kanten. Harde eliminatie (het instabiele bestaat niet — geen lidmaatschap van 𝔄) en zachte eliminatie (het dure verdunt exponentieel — klein gewicht in μ), met de asymmetrie dat selecteren duur lijkt maar elimineren gratis is. Daarom kan de natuur "kiezen" zonder iets dat kiest.

"De omweg-loper". Waarom je de wet niet kunt tarten: fysisch (elke stap volgt minste actie), structureel (weerstand is geen afstand; menselijke gewichten = motivatie/doelen/gewoontes, en een gewoonte is een uitgesleten bedding), principieel (voorkeur geen verbod). De poging om buiten de wet te treden is zelf een instantie ervan. Met de eerlijke afbakening dat de achteraf-lezing per gebeurtenis altijd waar (dus goedkoop) is maar over gevallen toetsbaar wordt — en expliciet gemarkeerd als interpretatieve lens, niet als toetsbare kern.