EEML · Samenhang als onderzoeksvraag

Claimstatus
en open vragen

Elke belangrijke claim met haar eigen bewijslast.

Hoe de labels gelezen moeten worden Onderzoeksprotocol

Een label geldt voor de genoemde claim en haar voorwaarden, niet voor de hele theorie. Formele controle en fysische bevestiging zijn verschillende zaken.

Uitgangspunt
Filosofische positie of definitie; geen meetresultaat.
Formeel afgeleid
Gevolg van een exact statement met formeel gecontroleerd bewijs. De bestaande Lean-resultaten vallen hieronder, binnen hun aannames.
Voorwaardelijk afgeleid
Wiskundig of fysisch gevolg onder expliciete voorwaarden; niet noodzakelijk machine-gecontroleerd.
Modelinvoer
Gekozen toestanden, maat, velden, schaal, parameters of gegevens.
Open
Onderzoeksvraag zonder afgeronde afleiding of toets.
Historisch-herzien
Oude claim die is ingetrokken, beperkt of opnieuw geclassificeerd.
Experimenteel gemeten
Waarneming met bron en onzekerheid. Een meting als invoer is geen voorspelling van EEML.
Onderzoeksprotocol
Werkwijze met vooraf vastgelegde invoer, vergelijking en faalcriteria.

Expliciet correctieregister Historisch-herzien

ClaimEerdere lezingHuidige status
K3 / χ=24K3 als uniek geselecteerd of efficiëntst universumHistorisch-herzien K3 heeft χ=24; dat is geen universele EEML-score. Bestaan, gewicht en unieke selectie zijn afzonderlijke vragen. Toelichting →
ε≈1Een vaste schaal voor ontladingenHistorisch-herzien Historisch-herzien als vastgesteld feit. ε≈1 is hoogstens een modelkeuze of te toetsen schatting na keuze van eenheden, kosten en gegevens; er wordt hier geen universele meting geclaimd. Toelichting →
N_gen=χ/8=3Drie generaties afgeleid uit 24Historisch-herzien 24/8=3 is rekenkunde. De relatie tussen χ en generaties vereist een fysisch model met velden, bundels en indexberekening; zij volgt niet uit χ(K3) alleen. Toelichting →
24 → αEen directe afleiding van de koppelingHistorisch-herzien De directe sprong wordt niet als afleiding gehandhaafd. Actie, normalisatie, moduli, spectrum en schaalverloop ontbreken nog in de volledige keten. Toelichting →
25 regelsAlle regels als gelijkwaardige wettenHistorisch-herzien Vervangen door vier kernregels met onderscheiden rollen. Eerdere formuleringen blijven historisch leesbaar. Toelichting →

Deze herclassificaties wissen eerdere voorspellingen, missers en onderzoeksresultaten niet. Zie de changelog →.

Wat staat en wat is nog open? Open

De exponentiële kern en symmetriestellingen behouden hun beperkte formele status uit de controle van 16 september. De nieuwe lijmvoorbeelden zijn voorwaardelijke berekeningen en bekende theoretische context, geen nieuwe experimentele bevestiging. Open blijven: een fysische configuratieruimte en maat, de betekenis en schaal van kosten, een formele brug vanuit het nulpunt, een model voor zelftoepassing en onderscheidende retrodicties.

Voor α blijven de gevonden spectrum- en normalisatiefouten relevant, evenals de ontbrekende afleiding van coëfficiënten en elektromagnetische identificatie. Deze redactionele update herhaalt niet de volledige eerdere onderzoekscontrole.

Eerdere rekencontrole → · Open α-route →

v0.25 · 27 september 2026