Toetsprotocol en open werk

1. Effect en doelgrootheid: wat wordt bereikt, hoelang, met welke tolerantie? Welke mislukkingen zijn mogelijk? Leg vooraf vast welke grootheid f moet worden voorspeld.
2. Kandidaten en context: toestanden, trajecten, voorbereiding, systeemgrens, omgeving en equivalenties.
3. Voorwaarden: wat komt uit onafhankelijke metingen, bestaande theorie en nieuwe aannames? Geef bij een kosten-/actiefamilie ook de fysische herkomst van tekens en verhoudingen, conventies, renormalisatievoorwaarden, geldige schaal en onzekerheden. Houd alle nog toelaatbare leden bij; een kunstmatig kleine klasse is geen extra bewijs.
4. Inzet en gewicht: kostenvector, eventuele omzetting, maat, weegregel, normalisatie en ε. Geen verborgen keuze van een gewenste winnaar.
5. Proces: overgangswet, tijdschaal, aandrijving, barrières, geheugen en aanpassing. Controleer opgegeven stationaire gewichten met de dynamica.
6. Zoek simultane verzadiging: verzamel bewezen grenzen en hun hypotheses; controleer onderlinge afhankelijkheid; schrijf de gelijkheidsvoorwaarden uit; onderzoek of zij samen realiseerbaar zijn; bepaal alle gelijkheidsgevallen. Een infimum dat niet wordt bereikt telt niet als een gerealiseerd minimum. Benoem afzonderlijk of verzadiging wordt afgeleid uit het model of als extra selectiehypothese wordt opgelegd.
7. Bepaal closure: verwijder uitsluitend fysisch equivalente beschrijvingen; rapporteer dimensie per component, aantallen waar discreet, en de verzameling mogelijke f-waarden. Dimensie nul is niet hetzelfde als één uitkomst. Controleer ook of resterende vrije richtingen de doelgrootheid beïnvloeden.
8. Ablatie: bepaal minimaal sluitende deelverzamelingen voor diezelfde f. Test ook welke voorwaarden nodig zijn voor existentie en voor verzadiging. ‘Minimaal’ hangt af van wat als één voorwaarde telt. Volledige enumeratie kan exponentieel veel werk vragen.
9. Negatieve controles: noteer wat het pakket niet bepaalt. Nieuwe hypotheses mogen een negatieve controle alleen na zichtbare registratie in een testgeval veranderen.
10. Onafhankelijke toets: gebruik niet dezelfde uitkomst voor modelkeuze, afstelling en bevestiging. Een retrodictie die al voor het ontwerp is gebruikt is geen onafhankelijke voorspelling.
11. Beslisregel: verwachte effectgrootte, onzekerheid, vergelijkingsmodel, falsificatiecriterium en onderscheidingsvermogen. ‘Onbeslist’ blijft een geldige uitkomst.
12. Zelftoepassing: controleer ook of EEML extra aannames introduceert, het effect achteraf herdefinieert of bekende theorie alleen hernoemt. Closure binnen een klasse is geen afleiding dat de natuur die klasse realiseert.

Herkomst en opnamedatum: beoordeling van 28 september 2026; opgenomen op 28 september 2026. Volgens de laatste verduidelijking is EEML-C1 een operationeel voorstel uit die beoordeling, geen externe preregistratie. CPH-ν blijft de eerder op 28-09-2026 gedateerde aanvullende kandidaat-hypothese. De datum bij een voorstel, de reproduceerbaarheid van een berekening, de registratie van een beslisregel en de uitvoering van een toets zijn verschillende zaken.

EEML-C1: vastgelegde proxy. De aangeleverde linearisatie van de absolute-stabiliteitsgrens is:

Oplossen naar de kritische topmassa geeft:

Dit is de door de auteur gekozen proxy, overeenkomstig de expliciete linearisatie in Buttazzo e.a., Investigating the near-criticality of the Higgs boson, vergelijking (64). Het gebruik ervan is geen nieuwe NNLO-fit of nieuwe analyse van experimentele gebeurtenissen.

De aangeleverde inputs, vastgezet voor dit voorstel, zijn:

Deze waarden zijn invoer uit de beoordeling, geen hier opnieuw vastgestelde actuele wereldgemiddelden. De statistiek is:

De massa-interpretatie blijft expliciet. De directe massameting is niet zonder meer een precieze poolmassameting. Schrijf \(M_t^{\rm pole}=M_t^{\rm direct}+b_{\rm map}\). Voor de centrale getallen hieronder is \(b_{\rm map}=0\) als referentie gekozen en wordt zijn onzekerheid afzonderlijk gevarieerd. Dat is een scenario-aanname, geen afleiding dat de omzetting exact nul is. Een niet-nulle centrale omzetting verschuift ook de teller van de statistiek.

Invullen geeft:

Foutbudget: gecontroleerde rekenconventie. Voor de volgende gevoeligheidsberekening worden de bijdragen als onafhankelijk behandeld en kwadratisch gecombineerd. De interpretatie van theorie- en omzettingsonzekerheden als standaardafwijkingen is daarbij een aanvullende statistische aanname.

Daarmee:

Zichtbare rekenkundige correctie: de aangeleverde samenvatting ‘ongeveer 1,5–2σ’ was een grove aanduiding. De volledige band uit dit foutbudget is afgerond 1,41–2,24. Dit is een band over twee gekozen onzekerheidsscenario's, geen betrouwbaarheidsinterval voor één geschatte parameter. De getallen bewijzen evenmin dat 0,5–1,0 GeV de juiste omzettingsonzekerheid is; die schaal is hier ingevoerde modelinformatie.

Bij beschikbare correlaties moet de berekening worden vervangen door de overeenkomstige covariantiepropagatie. Met \(f=M_t^{\rm crit}\), \(v=(1,-\partial_{M_H}f,-\partial_{\alpha_s}f)\) en inputcovariantie Σ is de lineaire vorm \(v^{\mathsf T}\Sigma v\), plus alleen de werkelijk afzonderlijke extra bijdragen. Niet-Gaussische systeemfouten vragen een passend model. Er is zonder zo'n statistische onderbouwing geen omzetting van deze genormaliseerde afstand naar een p-waarde of ontdekkingssignificantie.

Claim en beslisregel: de canonieke EEML-kern bevat geen generiek mechanisme voor exacte criticaliteit. Dit is de eerder begrensde theoretische conclusie; C1 voorspelt geen toekomstige waarde of band voor de afstand. Beslisregel: geen. Een verandering van \(\delta_{\rm crit}\) weerlegt dus niet vanzelf EEML. Een latere hypothese over nabijheid tot de grens vereist vooraf haar definitie, onzekerheidsbehandeling en uitsluitingsgrens. Een later gewijzigde proxy, massaomzetting of foutbegroting moet als zichtbare protocolwijziging worden geboekt.

De vergelijking met de sterkere MPP-eis \(\lambda(\mu_\star)=\beta_\lambda(\mu_\star)=0\) blijft open. Deze eis en de stabiliteitslijnproxy zijn niet dezelfde uitgevoerde toets. Het voorstel start geen automatische monitoring en bevat geen nieuwe empirische dataset.

CPH-ν: Majorana als aanvullende hypothese. De oorspronkelijke gedachte is dat bij gelijk waargenomen effect minder resterende continue ladingsvrijheid de voorkeur krijgt, zodat een leptongetalschendende/Majoranabeschrijving boven een exact Dirac-scenario wordt verwacht. Dat is extra modelinhoud. Een Majoranaterm kan één ladingsvrijheid verwijderen en tegelijk andere parameters toevoegen; andere interacties kunnen eveneens vrijheid verwijderen. De te minimaliseren vrijheid en een noodzakelijke of kwantitatieve voorspelling moeten dus nog worden vastgelegd.

Een beperkte toets kan wel precies worden omschreven. Onder drie lichte Majorananeutrino's, dominantie van hun standaard uitwisseling en vastgelegde overige interactie- en kernfysische aannames:

Met \(a_i=|U_{ei}|^2m_i\) is het minimum over de vrije Majoranafasen \(\max(0,2\max_i a_i-\sum_i a_i)\). Een vastgestelde inverse ordening plus uitsluiting van de hele vooraf vastgelegde band, inclusief experimentele en theoretische onzekerheden, zou dit beperkte modelpakket weerleggen. De gevoeligheid moet kwantitatief worden opgegeven; ‘ton-schaal’ alleen volstaat niet.

Dit criterium weerlegt niet automatisch alle Majoranatheorieën, algemene CPH of EEML. Bij normale ordening kunnen onderlinge opheffing en blinde gebieden bestaan. Alternatieve mechanismen of interferentie mogen niet achteraf in hetzelfde geteste model worden toegevoegd. Een ontdekking van neutrinoloos dubbel-bètaverval ondersteunt onder de gebruikelijke voorwaarden leptongetalschending en een Majoranabijdrage, maar identificeert niet automatisch het dominante massamechanisme of CPH als oorzaak. Zie Duerr, Lindner en Merle.

Operationeel protocol nog onvolledig: er is nog geen vastgezette combinatie van isotopen, gevoeligheden, parameterintervallen, kernmatrixelementen, statistische beslisregel en kwantitatieve CPH-kansclaim. De kern van EEML voorspelt evenmin een unieke neutrino-massavolgorde. De onafhankelijke toetsdekking moet worden gerapporteerd; een niet-gekwantificeerde ‘voorkeur’ kan niet door een enkele uitkomst scherp worden weerlegd.

De formulering ‘risico laag zolang de normale ordening standhoudt’ blijft in de registratiehistorie herkenbaar als een kwalitatieve inschatting van beperkte toetsdekking. Zij is geen berekende kans op ontdekking, uitsluiting of een foutieve verwerping. Normale ordening laat blinde gebieden toe; inverse ordening kan voor het beperkte standaarduitwisselingsmodel een volledig te bestrijken band geven. Daarvoor blijven de genoemde aannames en onzekerheden nodig.

#Overige onderdelen: registratie en uitvoering afzonderlijk

‘Nog niet geregistreerd’ betekent niet dat er nooit inhoudelijk over is gerekend; ‘al besproken of berekend’ betekent evenmin dat er vooraf een toetsprotocol bestond. Deze inventaris bewaart dat onderscheid zonder extra resultaten te claimen.

Uitvoering: 28 september 2026; constructieve modelcontroles, geen empirische toets of vooraf geregistreerde voorspelling. De vraag is of het huidige pakket structurele voorwaarden de bedoelde grootheid vastlegt. Voor iedere controle zijn twee toegelaten invoeren geconstrueerd die verschillende uitkomsten geven. Dat weerlegt uniciteit binnen dat pakket; het zegt niet dat beide modellen alle natuurmetingen reproduceren.

Voor de deeltjescontroles gebruiken we drie families met de vastgelegde representaties en Yukawa-invariante hyperladingen, zonder CPH, opgelegde CP-symmetrie, axionmechanisme of aanvullende smaakwet. In de links-chirale conventie: \[ (q,u,d,l,e,h)=(1/3,-4/3,2/3,-1,2,1). \] De zeven residuen \(q+u+h,\ q+d-h,\ l+e-h,\ 2q+u+d,\ 3q+l,\ 6q+3u+3d+2l+e\) en \(6q^3+3u^3+3d^3+2l^3+e^3\) zijn met rationale rekenkunde alle exact nul. Yukawa-invariantie legt ladingen vast, niet de coëfficiënten van de toegelaten interacties. De drie-familiekeuze heeft ook een even aantal SU(2)-dublets. Dit is geen volledige UV-consistentietoets.

De mengmatrixcontrole geeft een maximale unitariteitsfout van \(2{,}22\cdot10^{-16}\); de singuliere waarden en determinant zijn numeriek gecontroleerd. De Λ-residuen zijn exact rationaal nul. Bij Λ is dus de bijbehorende oplossing gewijzigd, niet de constante in dezelfde vlakke oplossing. De gekozen eenheden en getallen dienen als tegenvoorbeeld, niet als kosmologische schatting.

Deze vrijheid sluit aan bij de parameterstructuur van het Standaardmodel, PDG. De controle betreft de hier expliciet genoemde pakketten, niet twee volledig geconstrueerde snaarvacua die tegelijkertijd aan iedere voorwaarde in dit dossier voldoen. De laag-III-maat, een processelectie of een nieuwe aanvullende wet kan later extra informatie geven, maar is hier niet beschikbaar.

Conclusie van de vier controles: het huidige pakket sluit hyperladingen onder voorwaarden, maar niet Yukawa-grootten, menghoeken, sterke CP of Λ. Dit is een uitgevoerd resultaat van het protocol. Het is geen mislukte numerieke fit en ook geen natuurkundige weerlegging van een vooraf gedane EEML-voorspelling: voor deze grootheden was juist geen gesloten voorspelling afgeleid.

Begin met een proces waarvan gebeurtenissen, wachttijden, ondersteuning en effect afzonderlijk meetbaar zijn. Voor een volledig waargenomen tijdshomogene Markovketen kunnen overgangsaantallen \(N_{ij}\) en totale verblijftijden \(T_i\) rates schatten:

Dit vereist dat observatie en model deze schatting rechtvaardigen. Een niet-geobserveerde overgang is bij beperkte data niet bewezen onmogelijk.

Controleer of één gereconstrueerde wet tegelijk bezetting, stromen en wachttijden beschrijft. Voorspel vervolgens een vooraf vastgelegde nieuwe blokkade of belasting zonder opnieuw afstellen. Houd alternatieven bij die dezelfde bestaande gegevens verklaren. Een geslaagde reconstructie steunt eerst dat procesmodel; voor een eigen EEML-resultaat moet vooraf duidelijk zijn welke extra relatie EEML voorspelt.

H1a, H1b en H2 uit deel V blijven aparte hypotheses. Quasipotentiaalovereenstemming is iets anders dan reversibiliteit. Minimale dissipatie over alle generatoren is geen bewezen algemene wet. Een kost achteraf gelijkstellen aan \(-\varepsilon\log\pi\) maakt overeenstemming tautologisch en levert geen onafhankelijke toets.

Herzien toetsvoorstel, 28 september 2026. D1 operationaliseert een voorwaardelijke eliminatieclaim, geen universeel verbod en geen automatische tweedeling op basis van de uitkomst. Physarum is het gekozen ontwikkelvoorbeeld. Literatuur en al bekeken uitkomsten zijn ontwikkelinformatie. De registratie wordt pas bevroren na invulling van de meet- en kalibratievelden en vóór inzage in onafhankelijke toetsgegevens.

#Herziene status: voorwaarden toetsen, geen uitslag als klassebewijs

De sterke H_D-formulering blijft hierboven als geschiedenis staan. D1 onderzoekt nu welke vooraf vastgelegde procesvoorwaarden eliminatie rechtvaardigen, en toetst vervolgens hun kwantitatieve gevolg. Overleving alleen identificeert de dynamica niet. Bij een mislukte voorspelling worden procesmodel, koppeling aan de meetgrootheden en hypothese onderzocht; de voorwaarden worden niet achteraf aangepast om de uitkomst alsnog passend te maken.

De aansluiting op evolutionaire speltheorie is nuttig maar niet letterlijk identiek:

• Pareto-dominantie vergelijkt verschillende kostencomponenten voor hetzelfde effect.
• Strikte dominantie in een spel vergelijkt één opbrengst voor iedere mogelijke tegenspelersamenstelling: \(f_Y(z)>f_X(z)\) voor alle relevante z.
• De omzetting van een kostenvector naar die opbrengst is extra domeininvoer. “Overal niet slechter en ergens beter” over tegenspelers is zwakke dominantie, waarvoor eliminatie niet algemeen volgt.
• Een alternatief dat aanvankelijk een positief aandeel heeft is meer dan een alternatief dat slechts bereikbaar is. Zuivere replicatordynamica ontdekt geen strategie met beginaandeel nul.

Voor regelmatige dynamica \(\dot x_i=x_i g_i(x)\) betekent opbrengstmonotonie dat \(f_i>f_j\) ook \(g_i>g_j\) geeft. Convexe monotonie verlangt de sterkere vergelijking met gemengde strategieën: \(\sum_i p_i f_i>f_j\Rightarrow\sum_i p_i g_i>g_j\). Binnen die klasse bewijst Hofbauer–Weibull (1996) eliminatie van iteratief strikt gedomineerde zuivere strategieën vanuit een inwendige begintoestand. De verschillende dominantie-/monotonieklassen zijn expliciet onderscheiden door Viossat. “Iedere benedengemiddelde strategie krimpt” is geen volledige vervanging voor deze voorwaarden; imitatief betekent evenmin gradiëntachtig.

Ook de negatieve literatuurclaim wordt begrensd. Hofbauer–Sandholm (2011) geeft onder continuïteit, positieve correlatie, Nash-stationariteit en innovatie een bestaanresultaat voor spelen met overlevende strikt gedomineerde strategieën. Dit betekent niet dat zij in ieder innovatief proces overleven. Bovendien bestaan imitatiedynamica's met zulke overleving: Mertikopoulos–Viossat (2022). De tweedeling “imitatie elimineert, innovatie circuleert” wordt daarom ingetrokken.

#Een exacte, eindig toetsbare referentie

Voor de replicatorwet \(\dot x_i=x_i(f_i-\bar f)\), positieve beginsteun van X en Y en een uniform voordeel \(f_Y-f_X\ge\delta>0\), in de gekozen tijdseenheid:

Daarmee volgt voor detectietolerantie \(\tau>0\) een gegarandeerde bovengrens \(x_X\le\tau\) zodra \[ t\ge \max\!\left(0,\frac1\delta \log\frac{x_X(0)}{\tau x_Y(0)}\right). \] Als X aanvankelijk afwezig is, blijft zijn aandeel in deze replicatorreferentie nul. Dit is een voorwaardelijk modelresultaat, geen universele EEML-klok. De opbrengstnormalisatie bepaalt de tijdschaal. Bij een tijdafhankelijk voordeel is de integraal van het voordeel bepalend. Met constante opbrengsten \(f_Y=1,f_X=0\) en gelijke beginaandelen is exact \(x_X(5)=1/(1+e^5)=0{,}006693\), onder de grens \(e^{-5}=0{,}006738\).

Twee uitgevoerde tegencontroles:

1. Voor de replicator met opbrengstmatrix \[ A=\begin{pmatrix}0&0&1\\0&0&0\\-1&-1&-1\end{pmatrix} \] domineert strategie 1 strategie 2 slechts zwak. Vanuit \(x=(1,1,1)/3\) is \(f_2=0\) en \(\bar f=-x_3(1-x_1)\le0\), dus \(x_2\) daalt niet. Numeriek is \(x_2(30)=0{,}408248\). Halvering van de integratiestap verandert de eindverdeling met minder dan \(2{,}4\cdot10^{-12}\). Een strikt-dominantietheorema hier toepassen zou fout zijn.
2. Voeg bij een constant voordeel voor Y symmetrische instroom toe: \[ \dot x=x(1-x)+\mu(1-2x),\qquad x=x_Y. \] Bij \(\mu=0{,}1\) is het stabiele evenwicht \(x=0{,}909902\). X behoudt dus \(9{,}01\%\), zonder kring: dit is een autonome eendimensionale dynamica. Dit voorbeeld verklaart instroom, maar claimt niet aan alle voorwaarden van het Hofbauer–Sandholm-theorema te voldoen.

#Wat wordt daadwerkelijk gemeten?

De classificatie heeft dus meerdere assen. Selectiemonotonie ordent groei naar opbrengst. H1b vraagt detailed balance van een gespecificeerde stochastische proceswet. Replicatordynamica kan in niet-potentiaalspelen circuleren; omgekeerd kan een reversibel ruisproces slechtere toestanden blijven bezoeken. Geen van beide assen wordt uit alleen een stationaire verdeling afgelezen. Beperkte meetgegevens kunnen een klasse uitsluiten of ermee overeenstemmen, maar bewijzen niet alle globale voorwaarden van een theorema.

#Kramers: een gemiddelde wachttijd, geen harde eindtijd

Voor de afzonderlijke referentie \[ dX=-V'(X)\,dt+\sqrt{2\varepsilon}\,dW \] met kleine ruis, een geschikte gladde potentiaal, een niet-ontaard lokaal minimum \(x_m\) en een scheidend maximum \(x_s\), geeft de eendimensionale Eyring–Kramers-benadering bij mobiliteit één: \[ \mathbb E\tau_{\rm ontsnapping}\sim \frac{2\pi}{\sqrt{V''(x_m)|V''(x_s)|}}\, e^{[V(x_s)-V(x_m)]/\varepsilon}. \] Zie Berglund, Kramers' law.

Dit is een asymptotische gemiddelde tijd voor de gekozen overgang; geen bovengrens voor iedere realisatie. Barrière, ruis en prefactor moeten onafhankelijk worden bepaald. Een lagere bestemming bewijst geen lage barrière. Terugkeer blijft mogelijk; bij eindige ruis kan een hogere-kostentoestand positieve stationaire bezetting hebben, zelfs bij detailed balance. De limieten \(\varepsilon\to0\) en \(t\to\infty\) zijn niet zonder voorwaarden verwisselbaar: eerst de ruis wegnemen kan een lokaal minimum blijvend vastzetten. D1 rapporteert daarom zowel verblijftijden als terugkeer en bezetting.

#Het algemene vergelijkingsformulier

Dit formulier bepaalt effect, kosten, dominantie en bereikbaarheid. Een daaropvolgende eliminatieclaim vereist daarnaast de hierboven beschreven, onafhankelijk getoetste procesvoorwaarden. “Schending” betekent schending van die vooraf benoemde claim, niet automatisch dat iedere overlevende gedomineerde kandidaat een natuurwet breekt.

Startvoorwaarde: proceskeuze alleen is niet voldoende om deze velden numeriek in te vullen. De meetopstelling en onafhankelijke kalibratie bepalen resolutie en foutmarges. Die mogen niet uit de gewenste D1-uitkomst worden gekozen.

#Ingevuld Physarum-ontwerp D1-P (vóór een nieuwe meting)

Status: concreet ontwerp, geen bevroren meetregistratie. De keuzes hieronder zijn protocolinvoer. De literatuurgegevens zijn eerst beoordeeld op bruikbaarheid; er is nog geen passende volledige dataset geverifieerd. Daarom worden geen metingen, fysiologische constanten of aantallen organismen verzonnen.

Een eindige bibliotheek van bereikbare Y's kan een dominantiegetuige opleveren, maar kan niet bewijzen dat X globaal ongedomineerd is. Voor de replicatorreferentie wordt een conservatieve voordeelgrens uit kalibratie gebruikt om de tijdsvoorspelling vast te leggen. Een Kramers-voorspelling vraagt een afzonderlijk gevalideerd ruis-/barrièremodel; de exponent wordt niet uit dezelfde hersteltijd teruggefit en daarna “voorspeld” genoemd.

Datapoort vóór uitvoering: de volledige tijdreeksen van geometrie, stroom of tracer, aandrijving, voorbereiding en toegelaten ingrepen moeten beschikbaar zijn, met onafhankelijke replicaten en foutschattingen. De gecontroleerde beschrijvingen van Dryad leveren niet al die gegevens. De mediaTUM-repository bleef bij hercontrole ontoegankelijk. Daarmee is de literatuurverkenning uitgevoerd, maar de literatuurdata-analyse nog niet mogelijk gebleken. Aantallen organismen, numerieke materiaalgrens, meettoleranties en statistisch onderscheidingsvermogen worden pas uit onafhankelijke kalibratie vastgezet. Daarna volgt versiebevriezing; tot dan blijft dit een ontwerp.

#Kosten: wat de √k-term werkelijk betekent

Voor een ronde buis met lengte L, straal r en viscositeit μ:

D is de geleidbaarheidsfactor vóór deling door lengte; k is de volledige hydraulische geleiding van de buis. Het materiaal-/vloeistofvolume van deze cilinder is:

“√k-kosten” vereisen dus een gespecificeerde k-conventie en de juiste lengtefactor. Dit geeft een volumeproxy. De aanname dat metabolisch onderhoud daaraan evenredig is, vraagt een afzonderlijke rechtvaardiging. Een modelmatige kostenvergelijking is geen meting van onderhoudsenergie. Watanabe en Takamatsu (2014) gebruiken verlies, bouw-/onderhoudskosten en kwetsbaarheid als verschillende prestatiematen in een Physarum-geïnspireerd algoritme.

In de stationaire of gerechtvaardigde quasi-statische Poiseuille-benadering kan de eerste component worden gekozen als \[ R_{\rm diss}=\frac1T\int_0^T\sum_e\frac{Q_e(t)^2}{k_e(t)}\,dt. \] Bij veranderende buisvolumes en actieve contracties moet de volledige aandrijvings-, opslag- en dissipatieboekhouding worden gecontroleerd. Afgeleide stroming uit een buismodel mag niet als onafhankelijk gemeten stroom worden voorgesteld. Voor herstel is “niet teruggekeerd binnen het meetvenster” een gecensureerde uitkomst; zij wordt niet stilzwijgend als herstel precies op de eindtijd ingevoerd.

#Bereikbaarheid zonder cirkelredenering

Een puur geoptimaliseerd netwerk Y is nog geen fysisch bereikbaar Y. Een getuige kan een onafhankelijk gevalideerd traject of een gerepliceerde realisatie binnen dezelfde vooraf omschreven begin- en omgevingsklasse zijn. Voorbereidingsverschillen, meetonzekerheid en benodigde sturing worden expliciet geboekt.

Een deterministische proceswet met één volledige beginconditie en één vaste invoer levert doorgaans één traject. Een verzameling alternatieven ontstaat pas door vooraf toegestane variaties, ruis of sturing. Die variaties moeten in C en z₀ staan. De bereikbaarheidswet mag ook niet al aannemen dat alle gedomineerde eindtoestanden verdwijnen: dan zou de toets haar eigen uitkomst veronderstellen.

Als het procesmodel zowel Y’s bereikbaarheid als diens lage kosten uitsluitend berekent, is de conclusie voorwaardelijk op dat model. Voor een natuurkundige weerlegging moet dit gezamenlijke meet- en modelpakket onafhankelijk voldoende zijn onderbouwd.

#Dominantie en voortbestaan apart beoordelen

Schrijf \(\Delta_a=R_a(Y)-R_a(X)\). Laat \([L_a,U_a]\) gezamenlijke onzekerheidsgrenzen zijn, met de vooraf vastgezette behandeling van gedeelde meetfouten en het aantal onderzochte kandidaten. Een conservatieve getuige van dominantie voldoet aan:

\[ U_a\le0\quad\text{voor iedere component }a,\qquad U_b<-\delta_b\quad\text{voor minstens één component }b, \] met vooraf vastgelegde \(\delta_b>0\). Effect, voorwaarden en bereikbaarheid moeten tegelijk voldoende zeker zijn. Niet significant duurder zijn is geen bewijs van niet-duurder zijn. Een kleine toegestane verslechtering invoeren betekent een expliciete, versoepelde dominantievariant en mag niet achteraf gebeuren.

Een gevonden, bevestigde Y is voldoende om dominantie aan te tonen. Geen Y vinden met een onvolledige zoekprocedure bewijst niet dat er geen Y bestaat. Registreer daarom ook de dekking van de zoekruimte; zonder voldoende dekking blijft “geen gevonden schending” een beperkte uitkomst.

“X blijft bestaan” krijgt een eigen graaf-/capaciteitstolerantie, observatieduur en beslisregel. De replicatorreferentie levert onder haar voorwaarden de hierboven afgeleide tijdsgrens; de Kramers-referentie een asymptotische gemiddelde tijd. Waar zo'n afleiding ontbreekt, is een eindige termijn extra hypothese-invoer. Een getoetste \(H_D(T)\) wordt niet achteraf gelijkgesteld aan het onbegrensde “ooit verdwijnt X”. Bij statistische claims wordt ook de toegestane overlevingskans vooraf vastgelegd.

#Negatieve én positieve controle

De negatieve controle bevat een goedkoop Y dat aantoonbaar buiten de vooraf vastgelegde bereikbare verzameling ligt. Dat Y mag niet als getuige van een schending meetellen. De positieve controle bevat een aantoonbaar bereikbaar Y met hetzelfde effect en lagere kosten; de methode moet dit Y herkennen.

Correctie op de aangeleverde formulering: dat de methode nergens een schending vindt, bewijst niet op zichzelf dat bereikbaarheid te nauw is. Het kan ook een juiste uitkomst, onvoldoende zoekdekking of onvoldoende meetprecisie zijn. De positieve controle toetst of de methode een bekende dominantie kan vinden. Een verkeerd controleantwoord kan bovendien aan implementatie of meetmodel liggen, niet uitsluitend aan de bereikbaarheidsdefinitie.

Zes synthetische controles zijn uitgevoerd: onbereikbaar Y, bereikbaar dominerend Y, een kostenafweging, onzekerheid over niet-duurder zijn, een Y buiten de tijdgrens en een Y met het verkeerde effect. Zij geven respectievelijk niet-toelaatbaar, dominantie aangetoond, niet-dominerend, onbeslist, niet-toelaatbaar en niet-toelaatbaar. Ook de volume-identiteiten zijn op 36 combinaties van straal, lengte en viscositeit gecontroleerd. Dit valideert alleen die rekenstappen en beslislogica.

#Welke literatuurgegevens kunnen helpen?

Deze literatuurverkenning gebruikt artikelinhoud en gegevensbeschrijvingen. Er zijn geen ruwe datasets gedownload of opnieuw geanalyseerd. Gepubliceerde resultaten zijn al bekend en tellen voor dit dossier als ontwikkeling/retrodictie. Een onafhankelijke toets vraagt vooraf gescheiden, ongebruikte gegevens of een nieuwe meting. De uitspraak dat het volledige formulier met bestaande gegevens direct kan worden ingevuld is nog niet aangetoond.

Bewijskracht van een uitkomst: een geldig tegenvoorbeeld weerlegt de universele verbodsformulering voor zover die dit geval daadwerkelijk uitsluit. Het maakt niet automatisch alle andere EEML-modellen en wiskundige resultaten onjuist. Een achteraf beperkte domeinclaim is een zichtbare herziening, geen redding van dezelfde universele claim. Een geslaagde domeintoets bewijst de universaliteit niet; zij ondersteunt alleen de vooraf getoetste formulering binnen haar bereik.

Actuele D1-status: de wetenschappelijke status is herzien, de klassekenmerken en referentievoorspellingen zijn uitgewerkt, het Physarum-ontwerp en de gegevenspoort zijn ingevuld. De synthetische controles zijn uitgevoerd. Meetkalibratie, aantallen onafhankelijke organismen en voldoende volledige gegevens ontbreken nog voor een bevroren natuurtoets. Een misser wordt niet automatisch omgedoopt tot “andere klasse”: eerst worden de onafhankelijk getoetste premissen en meetfouten onderzocht.

Herkomst: aangeleverd voorstel van 28 september 2026, in deze masterversie gecontroleerd en aangescherpt. Status: voorstel plus algebraïsche en synthetische controles; nog geen volledige preregistratie, nieuwe dataset of fysische bevestiging. De bestaande T 0.3-stelling blijft behouden. De experimentele identificatie van haar variabelen en de keuze van een organisme of proefopstelling zijn aanvullende hypotheses.

De centrale vraag is concreet: kan één vooraf gekalibreerde proceswet het verloop na een nieuwe blokkade voorspellen, inclusief routegebruik en structureel geheugen, zonder nieuwe afstelling? Physarum is een kandidaat. Het onderstaande model geldt eerst voor drie parallelle routes met positief, eenduidig gedefinieerd transport. Een werkelijk Physarum-netwerk moet aan die reductie worden getoetst.

#P1.1. Meetgrootheden en effect niet verwarren

Meet \(Q_i(t)\), \(Q_{\rm tot}(t)=\sum_iQ_i(t)>0\), routecapaciteiten \(D_i(t)>0\), en een vooraf vastgelegde transportprestatie over een tijdvenster. Definieer, waar de gemeten stromen niet-negatief zijn:

Wat D meet (bijvoorbeeld een hydraulische geleidbaarheidsfactor) moet vooraf vaststaan. Gebruik geen uit x teruggerekende D om vervolgens de relatie tussen x en h te toetsen. D, routegeometrie, druk/aandrijving en stroom moeten waar mogelijk afzonderlijk worden gemeten; gedeelde meetfouten blijven in de onzekerheidsrekening.

Aandelen voorspellen geen totale prestatie. Dezelfde x en h passen zowel bij totale doorvoer 1 als 10. Het T 0.3-model bevat geen vergelijking voor \(Q_{\rm tot}\), uitvalkansen of de absolute capaciteitsomvang. P1 toetst aanvankelijk de verdeling en geheugenontwikkeling, voorwaardelijk op de gespecificeerde aandrijving. Totale doorvoer en effect worden apart gecontroleerd. Een voorspelling van effectslagingskans vraagt eerst een uitbreiding met absolute capaciteit, aandrijving, ruis en mogelijke mislukkingen. Uitgevallen proeven mogen niet stilzwijgend worden weggefilterd.

Physarum kent bovendien heen-en-weergaande, door contracties aangedreven stroming. Een ruwe momentane stroom is daardoor niet automatisch een kansaandeel. Richting, meetdoorsnede, tijdmiddeling en eventueel tracertransport moeten vooraf worden gekozen. \(|Q_i|\) optellen meet activiteit en is niet vanzelf netto vervoer van bron naar doel. Zie Alim e.a., Random network peristalsis in Physarum polycephalum organizes fluid flows across an individual.

#P1.2. Model en blokkade volledig specificeren

Kies voor deze eerste kandidaat vaste, onafhankelijk bepaalde kosten \(c_i\) en \(\Phi(x)=\sum_i c_ix_i\). Kosten en ε hebben dezelfde eenheden. De kosten mogen niet achteraf worden gekozen om gemeten aandelen te reproduceren. Vaste lengte kan een routekenmerk zijn; werkelijke hydraulische weerstand kan tijdens structurele aanpassing veranderen en is daarmee niet zonder meer een constante c.

Laat A de verzameling open routes binnen één fase zijn. Definieer:

x ligt op het simplex van A; h blijft op het simplex van alle drie routes. Op de afgesloten route is x=0 en vervalt het geheugen als \(h_i(t)=h_i(t_b)e^{-\eta(t-t_b)}\). Dat geheugen wordt niet op nul gezet.

Als expliciete ideale interventiewet bij afsluiting kiezen we \(x_i^+=0\) buiten A en \(x_i^+=x_i^-/\sum_{j\in A}x_j^-\) binnen A, mits de noemer positief is; \(h^+=h^-\). Dit is een opgelegde onmiddellijke herverdeling, geen afgeleide wet van vloeistofstroming. Een echte opstelling die opslag, een ander stroomantwoord of een veranderende doorvoer heeft, vraagt een andere vooraf beschreven interventiewet. Bij heropening verandert alleen A en worden x en h niet gereset.

Met de conventie \(0\log(0/h)=0\) blijft \(\Psi=c\cdot x+\varepsilon D_{\rm KL}(x\|h)\). Binnen een vaste fase met positieve aandelen op A:

De KL-termen tussen x en p worden over hun gemeenschappelijke steun A genomen; de laatste som omvat alle drie routes. Dezelfde afleiding werkt omdat de constante normalisatieterm wegvalt tegen \(\sum_{i\in A}\dot x_i=0\). De sprong bij afsluiting is toegestaan. Bij heropening is Ψ voor deze interventiewet continu, terwijl een heropende route met x=0 en p>0 een eenzijdig oneindige entropiehelling geeft. Gebruik daar eindige tijdsverschillen; voeg geen kunstmatige kleine stroom toe.

Hernormaliseren van geheugen verandert de vergelijking. Voor \(H_A=\sum_{i\in A}h_i\) en \(z_i=h_i/H_A\) op A geldt:

Het vervangen van h door z met ongewijzigde η is dus een ander model. Bij tijdafhankelijke kosten komt \(\dot c\cdot x\) bij \(\dot\Psi\); bij kosten die van structuur afhangen komt de overeenkomstige kettingregelterm erbij. “Binnen een fase” betekent daarom ook dat deze hypotheses werkelijk gelden.

#P1.3. Wanneer is capaciteit werkelijk het T 0.3-geheugen?

Normaliseren van een capaciteit maakt haar evolutiewet niet automatisch \(\dot h=\eta(x-h)\). Voor de expliciet gekozen versterkingswet \(\dot D_i=aQ_i^\mu-\gamma D_i\), met niet-negatieve \(Q_i=Q_{\rm tot}x_i\), volgt:

Bij μ=1 wordt dat de T 0.3-vorm, maar met \(\eta_{\rm eff}=aQ_{\rm tot}/D_{\rm tot}\). Een constante η vereist een constante verhouding of een onderbouwde benadering. Bij vaste Q en voorbereiding \(D_{\rm tot}=aQ/\gamma\) is die verhouding inderdaad constant en η=γ. Dit is een voorwaardelijke aansluiting bij bekende adaptieve stromingsmodellen, geen bewijs dat ieder gemeten capaciteitsgeheugen deze wet volgt.

Er is bovendien een exacte overlap met gewone stromingsfysica. Voor drie passieve parallelle kanalen met dezelfde drukval en geleidbaarheidsfactor D geldt: \[ Q_i=\frac{D_i}{L_i}\Delta P,\qquad x_i=\frac{h_i/L_i}{\sum_jh_j/L_j}. \] De algebraïsche logitdoelverdeling heeft dezelfde vorm als men \(c_i=\varepsilon\log(L_i/L_0)\) kiest. Dat is een demonstratie van mogelijke ononderscheidbaarheid, geen toestemming om deze kost na inzage van data in te voeren. De traagheid, capaciteitswet en onafhankelijk vastgelegde kost blijven toetsbaar. Als D al de volledige kanaalgeleiding inclusief lengte is, geeft deze eenvoudige hydraulica juist x=h.

Daarom is een hydraulisch adaptatiemodel een noodzakelijke referentie zodra P1 op echte buizen wordt toegepast. Ito, Johansson, Nakagaki en Tero beschrijven een bestaande combinatie van Kirchhoff-stroming en stroomversterkte geleidbaarheid. Het herkennen van een verwante geheugenwet is op zichzelf geen nieuw natuurresultaat.

#P1.4. Kalibratie vraagt verandering, geen uitsluitend rustige baseline

In een evenwicht van T 0.3 geldt x=h=p. Voor iedere gebruikte route zijn de constante c_i dan gelijk. Bij een strikt goedkoopste route kan de limiet op de rand liggen. Bij gelijke kosten en x=h zijn alle positieve κ, η en ε verenigbaar met exact dezelfde rustmeting. Een stille baseline identificeert deze parameters dus niet; inwendige evenwichten met verschillende constante kosten bestaan hier niet.

Gebruik daarom een vooraf gescheiden kalibratiefase met voldoende transiënten: bekende voorbereidingen of kleine, vooraf bepaalde verstoringen. Bewaar de latere blokkade-/heropeningsproeven als toetsgegevens. Controleer vóór die toets of de tijdresolutie κ en η kan onderscheiden en de kostencontrasten ε kunnen bepalen. Rapporteer gezamenlijke parameteronzekerheid; bevries de schattingsmethode en onzekerheidsverdeling, niet alleen drie afgeronde getallen.

Twee aanvullende relaties maken de inhoud concreet:

\[ h_i(t_2)-h_i(t_1)=\eta\int_{t_1}^{t_2}(x_i-h_i)\,dt, \] \[ \log\frac{(x_i+\dot x_i/\kappa)h_j} {(x_j+\dot x_j/\kappa)h_i} =-\frac{c_i-c_j}{\varepsilon}\qquad(i,j\in A). \]

De tweede relatie geldt waar de gereconstrueerde p-aandelen positief zijn; numeriek differentiëren van ruis vraagt een vooraf vastgelegd meetmodel. De eerste kan direct met integralen worden getoetst. Beide vragen dezelfde parameters voor alle routes en toetsfasen. Eerder is in T 0.3 een niet-lineaire Φ gebruikt; de daar gevonden inwendige evenwichten zijn geen rechtvaardiging voor een vlakke baseline in deze nieuwe lineaire variant.

#P1.5. Referenties moeten even concreet zijn als EEML

“Een vrijer geheugenmodel” specificeert nog geen toetsbare rivaal. Een afgebakende kandidaatfamilie is: \[ p_i^{A,\rho}\propto\mathbf1_{i\in A}h_i^\rho e^{-c_i/\varepsilon}, \qquad \dot x=\kappa(p^{A,\rho}-x),\qquad \dot h=\eta(x-h). \]

M0 krijgt hier een passieve structurele variabele om dezelfde metingen te kunnen beoordelen; h stuurt zijn routekeuze niet. Een zuiver statische formule zonder tijdwet is geen volwaardige rivaal voor hersteltempo.

M1 bevat M2. Daarom is “M2 moet altijd beter voorspellen dan M1” geen noodzakelijke consequentie van M2. Gelijkwaardige voorspelling kan juist betekenen dat de extra vrijheid niet nodig is, of dat de proef hen onvoldoende onderscheidt. Vergelijk voorspellingsfouten en onzekerheid op ongebruikte gegevens, met een vooraf bepaalde gelijkwaardigheidsmarge. Een vereiste statistische overwinning op elk ruimer model is geen geldige automatische falsificatieregel.

De ablaties zijn eveneens precies: η=0 schakelt leren uit maar bewaart vaste routevoorkeur; ρ=0 schakelt terugwerking van h op keuze uit; gelijke kosten verwijderen kostencontrast. “h constant” en “η=0” zijn binnen deze wet dezelfde ablatie, geen twee onafhankelijke bewijsstukken.

#P1.6. Beslisregels: de daling is noodzakelijk, maar niet voldoende

Een andere positieve tijdschaal kan dezelfde Ψ laten dalen en toch het verkeerde hersteltempo geven. De controle hieronder verdubbelt uitsluitend na heropening beide snelheden: ook dan daalt Ψ, maar de routeaandelen wijken af van de vooraf bevroren voorspelling. Beoordeel daarom het volledige verloop van x én h, met Ψ als aanvullende modelcontrole. Alleen de eindbezetting telt niet als procestoets.

De voorgestelde toetsstatistiek \[ V_+=\sum_k\max\{0,\Psi(t_{k+1})-\Psi(t_k)-\delta_k\} \] kan bruikbaar zijn, maar “ongeveer nul” is geen beslisgrens. Meetmomenten, vensters, δ_k, gedeelde meetfouten, parameteronzekerheid en een grens voor V_+ moeten vóór toetsdata vaststaan. Puntgewijze foutmarges beschermen niet automatisch tegen een vals alarm over vele tijdstappen. Kalibreer de totale beslisregel met het vooraf gekozen meetmodel en rapporteer haar onderscheidingsvermogen.

De dalingsstelling geldt voor de deterministische modeltoestand. Meetruis of fysieke fluctuaties hoeven geen monotoon gemeten traject te geven. Een stochastische uitbreiding vraagt een eigen afleiding; ruis mag niet onbeperkt achteraf worden ingezet om elke afwijking te verklaren. Bereken Ψ uit onafhankelijke waarnemingen met hun meetmodel, niet alleen uit de door M2 voorspelde curve.

Voor de experimentele registratie ontbreken nog: concrete opstelling, operationele D en c, richting-/middelingsregel, interventierespons, aantal onafhankelijke netwerken, kalibratie- en toetsvensters, blokkadeduren, meetfrequentie, detectiegrenzen, foutenmodel, parameterbereiken, voorspellingsscore en numerieke beslisgrenzen. Meerdere blokkadeduren zijn zinvol om mechanismen te onderscheiden, maar hun keuze moet vóór de toets worden bevroren. Een herstelcriterium moet ook “niet hersteld binnen het meetvenster” kunnen rapporteren.

Voorlopige toetsclaim: één vastgezette M2-parameterverdeling voorspelt na nieuwe interventies de routeaandelen en het meetbaar gedefinieerde geheugen, binnen vooraf bepaalde foutgrenzen en naast expliciete rivalen. Een gecontroleerde schending verwerpt dit M2-plus-meetmodel in het benoemde domein. Een geslaagde toets steunt dat procesmodel; een gelijkspel met bekende hydraulica levert nog geen onderscheidende EEML-natuurwet op.

#P1.7. Wat nu daadwerkelijk is gecontroleerd

Zonder nieuwe meetdata zijn uitgevoerd: 1.000 toestanden voor de Lyapunovidentiteit, verdeeld over open en geblokkeerde fasen; de omzetting naar genormaliseerd actief geheugen; 27 parametercombinaties die dezelfde rustige baseline geven; 300 normalisaties van capaciteitswetten; 300 voorbeelden van hydraulisch-logitoverlap; en een driedelig synthetisch traject met blokkade en heropening, inclusief halvering van de integratiestap.

De grootste numerieke afwijking in de Lyapunovidentiteit is \(1{,}78\times10^{-15}\). Halvering van de tijdstap verandert het berekende traject met maximaal \(1{,}74\times10^{-12}\). De twee processen met verschillende snelheden na heropening hebben beide dalende Ψ, maar verschillen maximaal 0,239 in totale-variatieafstand van de routeaandelen. Dit zijn controles van gekozen, dimensieloze voorbeelden; geen meetprecisie of effectgrootte uit een organisme.

Verder zijn tegenvoorbeelden gecontroleerd voor “daling bepaalt het hersteltempo”, “dezelfde dalingsidentiteit geldt voor een vrijere geheugenkoppeling”, “veranderende kosten bewaren automatisch daling” en “aandelen bepalen totale doorvoer”. De resultaten toetsen het voorstel op interne samenhang. Het experiment zelf is niet uitgevoerd.

• Een onafhankelijke fysische afleiding van relevante kosten, maat, ruisschaal en proceswet per domein.
• Een extra relatie tussen de vier lagen die empirisch verschilt van bestaande domeinmodellen.
• Onafhankelijke meetkalibratie en uitvoering van D1-P, met vooraf gemeten klassevoorwaarden en de bijbehorende kwantitatieve voorspelling; daarnaast een concreet experimenteel modelpakket voor H_R.
• Het geldigheidsregime van een EEML-selectie- of aanpassingswet; een universeel minimum is niet bewezen.
• Een nieuwe onafhankelijke dataset met voldoende onderscheidingsvermogen.
• Topologieselectie en kosmologie: de K3-grens vervangt het ontbrekende fysische selectieproces niet.

Voor wie hierop verder werkt, onderzoeker of AI, is de prioriteit: behandel EEML als een voorgestelde theorie van hoe processen werken; behoud de correcties, kies één afgebakend proces en formuleer één nieuwe onderscheidende toets. Materiaalwetten en constanten mogen expliciete invoer zijn. K3, 24, 137, een uniek kosmisch nulpunt of een verplichte winnaar mogen niet vooraf als uitkomst vaststaan.