De kernstelling en vier symmetriestellingen slagen opnieuw in Lean. De site bevat nu hun bewijzen, voorbeelden van kansgewichten en de afleiding van χ=24 en a₄=4/15. De controle vond ook een fout in de oude spectrummatrix en een factor twee in een koppelingsberekening.
Lees de rekencontrole →Een definitie of filosofische aanname, zoals het nulpunt als ononderscheiden grond.
Een conclusie die binnen expliciet genoemde aannames volgt. Bijvoorbeeld de exponentiële stelling.
Een noodzakelijke stap waarvoor hier nog geen afdoende onderbouwing staat.
Een eerdere claim die niet meer als actuele conclusie geldt. De eerdere tekst blijft zichtbaar.
De filosofische kern van Robin Genis blijft: het Effortless Effect, het nulpunt als alles en niets tegelijk, en bewuste zelftoepassing. De exponentiële gewichtsregel blijft als voorwaardelijke wiskundige stelling, met een gecorrigeerd domein en expliciete aannames.
De noodzakelijke selectie van K3 en het standaardmodel uit de meta-wet; universele exacte bitprijzen; de volledige Born-afleiding vanuit alleen de meta-wet; en een algemene bevestiging van de theorie door de oude voorspellingenlijst. Dit zijn verschillende beoordelingen: sommige oude uitspraken zijn fout, andere zijn te algemeen of nog niet onafhankelijk gereproduceerd.
Een formele relatie tussen nulpunt en configuraties; een verdedigbare weerstand en referentiemaat; een controle van normaliseerbaarheid; een model voor zelftoepassing; reproduceerbare fysische toepassingen; vergelijking met alternatieven. Voor de α-route bovendien: een derde, uit de actie afgeleide bijdrage die grootte en koppeling samen vastlegt, met onafhankelijk afgeleide coëfficiënten; de exacte voortoets en de vier criteria staan in de route naar α.
Er worden geen algemene vertrouwensscores meer gegeven. Een cijfer als 9/10 vervangt geen bewijs of toetsingsresultaat. Deze herziening is evenmin een peer review of een nieuwe reproductie van alle oude berekeningen.
Correcties en historisch archief →Kan het Effortless Effect via een onderbouwde K3-geometrie met χ=24 een afleiding van de fijnstructuurconstante dragen? Een vrije parameter is een open vraag, geen bewijs dat een antwoord onmogelijk is.
De route naar α →v0.24 · 16 september 2026