Het nieuwe publieke dossier scheidt drie eindige modelcontroles: een stroom bij onveranderde stationaire gewichten, een lijn–kringenergiekruising met geblokkeerde dynamica als tegenvoorbeeld, en de lineaire Hawking–Page-verschuiving met haar lokale logcoëfficiënt. Ze gebruiken synthetische invoer. Ze berekenen geen K3-spectrum, volledige één-lusdeterminant of nieuwe experimentele uitkomst.
Instructies, aannames en afbakening. De gedateerde controle van 16 september hieronder behoudt haar eigen reikwijdte; de Lean-projecten zijn voor deze site-update niet opnieuw gebouwd.
De resultaten en logs hieronder horen bij de eerdere controle. De inhoudelijke uitbreiding van 27 september voegt de lijmrichting en expliciete claimlabels toe. De nieuwe voorbeelden hebben aparte controles; daarmee zijn de oude Lean-bewijzen, spectra of experimentele inzetten niet opnieuw uitgevoerd.
Labels en correcties → · Nieuwe voorbeeldcontrolesDe oude hoofdstellingen zijn naast hun bewijs gelegd. Twee oorspronkelijke Lean-bestanden zijn opnieuw gebouwd. Vijf oude rekenscripts zijn ongewijzigd uitgevoerd. Daarnaast zijn algebra, quadraturen, modulaire producten, schaalverloop en de scalaire energiematrix met afzonderlijke controles nagegaan. Dit is geen volledige reproductie van ieder oud experiment en geen externe peer review.
| Onderdeel | Beoordeling | Precieze reikwijdte |
|---|---|---|
| Exponentiële kern | Formeel geslaagd | Kern.lean opnieuw gebouwd. Halfas s≥0; λ≥0. |
| Vier symmetriestellingen | Formeel geslaagd | Kettingregel, kritieke orbit en Hessiaannulrichtingen. Geen bewijs voor S=A+K+I. |
| Kraft, Bayes en Pareto | Voorwaardelijk afgeleid | Bewijzen en voorbeelden hersteld; code, prior en positieve gewichten expliciet. |
| Laplace-gewichten | Afgeleid en nagerekend | Niet-ontaarde minima plus maat- en staartvoorwaarden; voorbeeld convergeert naar 0,6339745962. |
| Born-exponent p=2 | Voorwaardelijk afgeleid | Normbehoudende splitsing en optelbare takgewichten zijn invoer. |
| K3: χ, σ, a₄, ζ(0) | Exact binnen de geometrie | 24, −16, 4/15 en −11/15. Scalariteit en Ricci-vlakheid waar nodig. |
| Modulaire η-kern | Numeriek gereproduceerd | Modulaire invariantie uitgelegd; geen volledige α-matching. |
| 56 constante-j-patronen | Telling gereproduceerd | Patroontypen, geen eindige lijst van individuele metrieken. |
| Oude spectra en ζ′(0) | Niet betrouwbaar bevestigd | Constante nulmode faalt in de energiematrix; nieuwe convergentiecontrole nodig. |
| α-normalisatie | Interne fout gevonden | Factor twee tussen de opgeschreven vergelijking en de functie. |
| Schaalverloop | Modelberekening gereproduceerd | Onafhankelijke oplosser bevestigt mismatch; gemeten koppelingen zijn invoer. |
| 42 modes / 9 LISA-lijnen | Niet als voorspelling hersteld | Het oude groepsscript draait, maar een fysisch spectrum vraagt velden, massa’s en koppelingen. |
| Standaardmodelselectie en exacte bitprijzen | Niet volledig gereproduceerd | Zoekruimte, codeertaal en waarnemervoorwaarden blijven apart te verantwoorden. |
| EEML ⇒ K3 ⇒ α(0) | Open | De bovenstaande geldige deelresultaten sluiten de fysische keten niet. |
De controle gebruikte Lean 4.34.0-rc1 en Mathlib-commit e2d86c683b522c3f887029ed2335a0838cb71b8c. Beide bestanden eindigden met exitcode 0. De afgedrukte axioma-afhankelijkheden zijn propext, Classical.choice en Quot.sound. Er zijn geen sorry-bewijsgaten of nieuwe axiomadeclaraties in deze bronnen.
Lean controleert wat er in het theorem-statement staat. Het controleert geen natuurkundige interpretatie in commentaren. De extra stap van symmetrie naar een universele kostenopsplitsing is daarom niet mee bewezen. De kernbron beperkte haar claim al correct tot niet-negatieve waarden, ook toen de oude webtekst ruimer sprak.
De herberekening gebruikt NumPy, SciPy, SymPy en mpmath. De modulaire producten zijn op hoge werkprecisie berekend. De integraalvoorbeelden en ODE-controle gebruiken onafhankelijke numerieke routines. Dat zijn controles, geen gecertificeerde intervalbewijzen.
De opgeslagen k=3,…,6-spectra zijn geïnspecteerd; de volledige dure spectra zijn niet opnieuw gegenereerd. Hun warmtekern-fit geeft in het gekozen venster a₄≈−3,56,…,−1,02 tegenover exact 4/15 voor de doelmetriek. Dit kan truncatie, model- en discretisatiefouten vermengen. Samen met de afzonderlijk aangetoonde matrixfout is er geen basis om de oude kleine foutmarge op ζ′(0) opnieuw te bevestigen.
Het hoge-orde-krommingsproject voor a₆, alle classificatiezoektochten en het volledige voorspellingenregister zijn niet integraal gereproduceerd. Het slagen van een script is geen bewijs dat zijn ruimere conclusie klopt. De onafhankelijke spectrummatrixcontrole deelt de oorspronkelijke punt- en metriekdata, maar bouwt de energie opnieuw op via reële gradiënten.
Een korte beschrijving of zelfrepresentatie bewijst op zichzelf geen fysische waarheid, uniciteit of lage complexiteit van de hele werkelijkheid. Een mogelijke beschrijving geeft hoogstens een bovengrens die van haar eigen lengte afhangt. Frequenties van axioma-gebruik in een softwarebibliotheek bepalen evenmin welke axioma's metafysisch waar zijn.
Het dossier bevat de geselecteerde oorspronkelijke bronnen, opgeslagen spectra, nieuwe controles, ruwe resultaten, compilatielogs, versiegegevens en SHA-256-hashes. Oude code is herkenbaar als historisch materiaal, inclusief gevonden fouten. De README beschrijft hoe de controles opnieuw draaien.
Download het controledossier · Uitvoeren en afbakening
Algebra en numeriek: ruwe uitkomsten · Nulmodecontrole: ruwe uitkomsten · Bestandshashes
De volledige oude sitebackup blijft buiten de publieke webroot bewaard. De historische wiskundepagina is nog steeds woordelijk te lezen.
Lees de teruggeplaatste wiskunde →v0.26 · 28 september 2026