OPT Red Team — Standing Objection Log
v1.0 — April 30, 2026
Rauða teymi OPT
Tilgangur. Heilbrigði heiðarlegs milligönguaðila fyrir Kenningin um raðaðan patch (OPT). Þetta skjal safnar saman sterkustu andmælunum gegn rammanum — núverandi, fyrirséðum og áður fram settum — með hreinskilnu mati fremur en vörnum. Það er birt sem fylgiskjal með formlegu greinunum en er vísvitandi ekki sniðið að tilvitnunum eða mælskubrögðum: hlutverk þess er að gera veikleika sýnilega, ekki að vinna rökræður.
Notkunarregla. Uppfærið þessa skrá með því að bæta við andmælum; ekki stytta hana. Sokal-prófið á því hvort andmæli hafi verið tekin alvarlega: einhver sem er fjandsamlegur rammanum ætti að lesa færsluna og segja „já, þetta er í raun punkturinn minn.“ Ef viðkomandi myndi segja „þið hafið mildað þetta,“ þarf að endurskrifa færsluna.
Krosstilvísanir. Skuldbindingar um afsönnun eru í
opt-theory.md §6.8 (F1–F5). Kenningar sem OPT er
raunverulega ósamrýmanleg við eru í opt-theory.md §7.12.
Þessi skrá gengur dýpra en hvort tveggja: hún skráir hin sértæku rök og
hreinskilið mat á því hvernig OPT stendur sig eins og er gagnvart
þeim.
R1. Mótmælin um algildi (strengjakenningar-gildran)
Fullyrðing. Solomonoff \xi er svo víðtæk að sérhver reiknanleg formgerð getur verið felld inn sem posterior. „OPT er formgerðarlega samrýmanlegt X“ er því nærri því merkingarlaust: ramminn getur ekki útilokað neitt, aðeins tekið það upp. Sérhver árangursrík „formgerðarleg samsvörun“ í §7 / §IV er því vísbending um víðtækni, ekki innsýn. Mynstrið minnir á strengjakenningu: innra með sér auðuga stærðfræðilega formgerð sem rúmar allt og spáir engu.
Heiðarlegt mat. Þetta eru dýpstu mótmælin sem nú liggja á borðinu, og varnir OPT eru formgerðarlegs eðlis fremur en reynslubundnar. Birta svarið (§7.12 færsla 6) nefnir áhyggjuefnið en hrindir því ekki úr vegi. Það eina sem breytir OPT úr heimsmynd í rannsóknaráætlun eru fyrirfram skráðar skuldbindingar í §6.8 — og þær hafa enn ekki verið prófaðar. Þar til F1–F5 skila að minnsta kosti einni megindlegri staðfestingu á tölu sem var tilgreind fyrir mælingu standa mótmælin um algildi ósigruð.
Hvað myndi breyta matinu. Árangursrík fyrirfram skráð spá með tölu sem er þrengri en forbil samkeppniskenninga. Þangað til eru kaflarnir um formgerðarlega samsvörun skraut.
R2. Valbjögun í samanburðargreiningunni
Fullyrðing. Í §7 (opt-theory) og §IV (opt-philosophy) er vísað til ramma sem falla að kenningunni, en rammar sem gera það ekki eru ekki teknir alvarlega til umfjöllunar. Husserl, Merleau-Ponty, Gell-Mann, Van Raamsdonk og Wheeler eru allir með. Strangir eliminatívistar (Frankish), sterkir reduktífir efnishyggjumenn, andvirknisinnar og þeir hugvísindamenn sem telja flöskuhálsinn tilfallandi eru að mestu fjarverandi eða þjappaðir niður í andsvör sem ná aðeins yfir eina málsgrein. Hver rammi sem bætt er við í §7 styrkir ásýnd samleitni; ósamhverfan sjálf er vísbending um bjögunina.
Heiðarlegt mat. Þetta er að verulegu leyti rétt. §7.12 var bætt við til að bregðast að hluta við þessu, en það er enn aðeins einn undirkafli á móti ellefu undirköflum um samleitni. Taflan í §IV í opt-philosophy hallar með svipuðum hætti í átt að samræmi. Samræðumynstrið sem leiddi til §7.5 til §7.11 í 2026-04 var: greina gloppur → fylla þær → endurtaka — án jafnmargra færslna af gerðinni „og hér er ástæðan fyrir því að þessi nálæga kenning er ósammála“.
Hvað myndi breyta matinu. Útvíkkun á §7.12 þannig að þar sé fjallað um að minnsta kosti jafn margar afstöður, með sömu dýpt, og í undirköflunum um samleitni. Önnur yfirferð yfir §7.1–§7.11 þar sem tekið er fram hvar samleitna kenningin er sérstaklega ósammála OPT, en ekki aðeins hvar hún skarast við hana.
R3. \Delta_{\text{self}} sem tromp út úr fangelsi
Fullyrðing. Fyrirbærafræðileg leif er að formgerð ósannanleg að hönnun, sem á vel við sem staðsetjari fyrir erfiða vandamálið, en skapar aðferðafræðilega hættu: öll gögn sem ganga gegn kenningunni er hægt að gleypa inn í „það tilheyrir \Delta_{\text{self}}.“ Sterkasta formlega fullyrðing rammans er veikasta raunprófanlega fullyrðing hans — einmitt sá hluti sem er varinn fyrir prófun.
Heiðarlegt mat. §6.8 reynir að afmarka þetta skýrt: \Delta_{\text{self}} er útilokað frá þeim kjarna sem er hægt að hrekja, og „að gleypa hrekjandi niðurstöðu fyrir F1–F5 inn í \Delta_{\text{self}}“ er skilgreint sem vanhæf endurrömmun eftir á. Hvort þessi veggur heldur í framkvæmd er opin spurning — það veltur á agaðri beitingu af hálfu framtíðarhöfunda og ritrýna, ekki á hinu formlega apparati sjálfu. Hættan er milduð, ekki afnumin.
Hvað myndi breyta matinu. Skráð dæmi þar sem ramminn tekur hreinni hendi við hrekjandi niðurstöðu án þess að vísa til \Delta_{\text{self}} eða forgangs hvarfefnisins sem undanhalds. Þar til slíkt dæmi er fyrir hendi er veggurinn bráðabirgðalausn.
R4. Mannmiðjuð bakverkfræði á C_{\max}
Fullyrðing. Tölugildi C_{\max} \approx \mathcal{O}(10) bitar/s fæst með því að vinna aftur á bak út frá mannlegri sjálfsskoðunarbandbreidd (mati Nørretranders á „notendatálmynd“, gögnum um athyglisblikk og mettunarniðurstöðum Norwich-Wong) fremur en áfram út frá frumforsendum. „Upplýsingaleg nauðsyn“ þessarar tilteknu tölu er tortryggileg: sérhver kenning sem byggir á hraða-brenglunargrunni hefði getað tilgreint aðra bandbreidd og látið það ganga upp. Talan er aðlögun, ekki spá.
Heiðarlegt mat. Að mestu leyti rétt. Viðauki T-1 leiðir út bil, en það bil er nógu vítt til að rúma reynslugildið sem sést fremur en að spá fyrir um það. F1 skuldbindur sig til \mathcal{O}(10) með glugga upp á tvær stærðargráður, sem er rausnarlegt. Raunveruleg forskráning hefði þurft að vera tiltekin tala, þrengri en bilið sem fæst úr mannlegum gögnum, leidd út án þess að nota mannlegu gögnin.
Hvað myndi breyta matinu. Endurútleiðsla á C_{\max} út frá skorðum á undirlagsstigi (Solomonoff-vigtun + Landauer + vídd Markov-teppis) sem skilar tiltekinni tölu, helst tölu sem er ósamhljóða mannlega sjálfsskoðunarmatinu með litlum en skýrt afmörkuðum stuðli — og síðan reynsluprófun á því litla misræmi.
R5. Stöðugleikasían er klifun
Fullyrðing. „Athugendur eru til þá og því aðeins að forspárhraði þeirra rúmist innan bandbreiddar þeirra“ er skilgreining, ekki uppgötvun. Sérhver sýnilegur athugandi sem er til uppfyllir Síðuna með léttum hætti; sérhver ætlaður athugandi sem er ekki til fellur með jafnaugljósum hætti á henni. Sían getur hvorki útilokað né staðfest neitt — hún er hringræn endurlýsing á því hvaða samsetningar eru í lögun athuganda.
Heiðarlegt mat. Að hluta til rétt. Stöðugleikasían, eins og hún er sett fram í §3, hefur skilgreiningarlegt yfirbragð — hún lýsir samrýmanleika við athuganda fremur en að spá fyrir um hann á sjálfstæðum forsendum. Vörn rammans er sú að Sían leiði af sér aðgreinanlegar spár (§6.1–§6.7) sem ekki myndu leiða af hreinlega klifunarlegum lestri: stigveldi bandbreiddar, Há-\Phi núllástandið, væntinguna um tímavíkkun. Væri Sían í raun klifun, hefðu þessi atriði ekkert raunprófanlegt inntak.
Hvað myndi breyta matinu. Sýning á því að spárnar í §6 ráðist í raun af Stöðugleikasíunni fremur en að vera studdar sjálfstætt. Eins og staðan er nú er þessu aðeins haldið fram; það hefur ekki verið formlega sannreynt að t.d. Há-\Phi núllástandið leiði með einkvæmum hætti af Stöðugleikasíunni en ekki af veikari, sjálfstæðri skuldbindingu.
R6. Formgerðarlegu samsvaranirnar í §IV / §7 eru eftiráskýringar
Fullyrðing. Þegar OPT er varpað á Hume, Husserl, Frankfurt, Merleau-Ponty, Metzinger o.s.frv., er vörpunin smíðuð eftir á með vitneskju um það sem hver hefð komst að. Þetta er bakverkfræði, ekki forspá. Kenningarammi sem hefði ekki getað verið byggður án þess að hafa þessar hefðir í huga getur ekki haldið því fram að hann leiði niðurstöður þeirra af sér — hann getur aðeins haldið því fram að hann endurheimti þær í öðrum orðaforða.
Heiðarlegt mat. Rétt í ströngum skilningi. OPT var mótuð með þekkingu á markmiðunum, og kaflarnir í §IV / §7 eru skýrandi en ekki forspárlegir. Vörn rammans — að hann bjóði upp á dýpri formgerðarlega ástæðu fyrir því að samleitnar hefðir sáu það sem þær sáu — er trúverðug en ekki sönnanleg, vegna þess að engin stýrð tilraun er til þar sem OPT spáir fyrir um niðurstöður hefðar áður en hefðin kemst að þeim. Samleitnin er eftirá, samkvæmt sjálfri uppbyggingunni.
Hvað myndi breyta matinu. Ný heimspekileg eða reynslubundin fullyrðing, leidd fram eingöngu af upplýsingafræðilegu tækjabúnaði OPT, sem engin fyrirliggjandi hefð hefur komist að, en sem síðari vinna innan þeirra hefða kemst síðan sjálfstætt að. Það væri afturvirk vísbending um skýringarmátt.
R7. Bandbreiddarflöskuhálsinn sem þróunarlegt tilviljunaratriði
Fullyrðing. GWT, hin staðlaða afstaða hugvísinda um vitsmuni, lítur á flöskuháls meðvitaðs aðgangs sem þróað einkenni í heilaberki prímata, en ekki sem formgerðarlega upplýsingafræðilega nauðsyn. Engin sannfærandi rök liggja fyrir um að flöskuhálsinn hafi þurft að taka á sig þá mynd sem hann hefur; nægilega ólík þróunarleið hefði getað framkallað fyrirbæraupplifun í hliðstæðri arkitektúr. „Upplýsingafræðileg nauðsyn“ OPT endurmerkir þannig tilviljunarkennda staðreynd sem formgerðarlega.
Heiðarlegt mat. Þetta er sterkasta útgáfan af R1, sett fram með sértækari hætti. Svar OPT (§7.10) er að flöskuhálsinn sé nauðsynlegur vegna þess að ósamþjappanlegir samsíða straumar brjóta gegn bandbreiddarskilyrðinu — en það gerir ráð fyrir Stöðugleikasíu, sem er einmitt það sem deilt er um (R5). Rökfræðin lokast í lykkju. Heiðarlega afstaðan er sú að fullyrðingin um nauðsyn sé að svo stöddu sett fram sem frumforsenda, ekki sönnuð; F1 í §6.8 er sú reynslubundna skuldbinding sem, ef hún yrði staðfest, myndi leggja til þau rök sem nú vantar.
Hvað myndi breyta matinu. Annaðhvort (a) að F1-mælingin kæmi fram þétt klösuð í kringum \mathcal{O}(10) yfir afar ólíkar vitsmunalegar arkitektúrgerðir (menn, hvali, krummafugla og síðar gervigreindir), sem benti til formgerðarlegs fremur en tilviljunarkennds uppruna; eða (b) hrein fræðileg sýning á því að ekkert kerfi sem samrýmist Stöðugleikasíunni geti verið án flöskuhálsins.
R8. Útvíkkunin um „vitund gervigreindar“ er í reynd óhrekjanleg
Fullyrðing. §7.8 / §6.7 felur í sér þá fullyrðingu að LLM-líkön og AIXI-afmörkuð nálgunarlíkön séu ekki meðvituð vegna þess að þau skorti C_{\max}-flöskuhálsinn. F3 (tímavíkkun undir flöskuhálsi) er í prinsippinu prófanlegt, en í reynd mun enginn smíða viljandi tilbúinn geranda með flöskuháls á 10^4 \times klukkuhraða og spyrja hann um huglæga tímalengd. Spáin virðist skuldbindandi, en er aðgerðarlega óvirk.
Heiðarlegt mat. Að mestu leyti rétt miðað við 2026-04. F3 þarfnast skýrrar tilraunasamskipanar og að minnsta kosti einnar fjármagnaðrar eða formlega lofaðrar tilraunar til að framkvæma hana. Án þess eru spárnar um gervigreind í §7.8 „prófanlegar ef einhver reyndi“ — sem er veikari skuldbinding en F2 (High-\Phi-núlltilgátan, þar sem aðgreiningarpróf milli IIT og OPT eru í raun í smíðum).
Hvað myndi breyta matinu. Skýr stofnanaleg skuldbinding til að framkvæma F3 (t.d. rannsóknarhópur, dagsett tímamark, tilraunasamskipan sem samið er um fyrirfram áður en smíði hefst). Án þess er F3 aðeins bráðabirgðaforskráning.
R9. Fullyrðingin um forgang undirlagsins er innra með sér óhrekjanleg
Fullyrðing. §3.12 heldur því fram að hvarfefnið sé „grundvallaratriði“ fremur en myndgerðin á grundvelli varmafræðilegra raka um óafturkræfni, en sérhver prófun á þessum forgangi þyrfti að fara fram innan myndgerðarinnar. Fullyrðingin er innra með sér ósamkvæm: ef forgangur hvarfefnisins hefur engan aðgerðalegan mun innan myndgerðarinnar, þá hefur hann ekkert innihald; ef hann hefur aðgerðalegan mun, þá er sá munur sjálfur hluti af myndgerðinni en ekki sönnunargagn um hvarfefnið.
Heiðarlegt mat. Þetta er viðurkennt í §3.12 og §6.8 (undanþegið F1–F5). Vörnin er sú að forgangur hvarfefnisins er settur fram sem verufræðileg skuldbinding, ekki sem hrekjanleg raunprófanleg fullyrðing. Hvort verufræðilegar skuldbindingar sem ekki lúta raunprófun eigi að vera leyfðar innan vísindalegs ramma er sérstök aðferðafræðileg spurning. Strangir raunhyggjumenn (R5 / færsla 5 í §7.12) munu hafna þessum flokki; OPT heldur honum inni en merkir hann sérstaklega.
Hvað myndi breyta matinu. Hér er um stöðugan ágreining að ræða, ekki reynslubundna spurningu. Heiðarlega leiðin er að halda forgangi hvarfefnisins afmarkuðum frá F1–F5 og viðurkenna að strangir raunhyggjumenn muni ekki sannfærast.
R10. „Formgerðarleg stöðvunarskilyrði“ sjálf eru formgerðarlega auðveld að leika á
Fullyrðing. Gluggi F1 upp á tvær stærðargráður, „samþykkt verklag fyrir smíði“ í F2, og „yfir k \in [10, 10^4]“ í F3 hafa öll nægilegt svigrúm til að hvötuð röksemdafærsla geti fundið leiðir til að halda því fram að næstum-afsannanir séu ekki afsannanir. Stöðvunarskilyrðin virðast ströng en í framkvæmd er hægt að leika á þau með því að herða skilgreiningar, deila um mælingar eða vísa til tilraunalegra truflandi þátta.
Heiðarlegt mat. Þetta er meta-andmælið: forskráning er aðeins jafn bindandi og agi þess fólks sem túlkar hana. OPT getur ekki sjálft framfylgt skuldbindingum sínum um afsannanleika. Mótvægisaðgerðin í §6.8 er krafan um að sérhver veikjun sé merkt sem endurskráning í Version History, sem ógildir fyrri prófanir — en höfundur í framtíðinni gæti einfaldlega gert þetta og sætt sig við kostnaðinn. Traust á stöðvunarskilyrðunum er háð athugun þriðja aðila, ekki formlegri skuldbindingu einni saman.
Hvað myndi breyta matinu. Ytri gagnrýnin ritrýni af andstæðum aðila sem skuldbindur sig til að fara yfir orðalag F1–F5 með tilliti til þess hvort óljósleiki þess sé leikanlegur og herða það. Forskáning hjá þriðja aðila (OSF, AsPredicted) fremur en eingöngu í Version History.
R11. CMB ber skammtaundirskriftir sem kóðarinn þurfti ekki að finna upp
Fullyrðing. Geimörbylgjubakgrunnurinn sýnir sértækar
skammtafræðilegar undirskriftir — aflróf sem er nær kvarðaóháðu,
sveiflur sem eru nær gaussdreifðum, mörk á hlutfalli tensora og skala,
og tölfræðilega eiginleika sem samsvara spám skammtasviðafræði
verðbólgulíkana með þeirri nákvæmni sem Planck-gervitunglið hefur mælt.
Þetta er venjulega túlkað sem spor skammtaflökts í tómarúmi sem verkaði
á heimsfræðilegum kvörðum um ~13,8 Gyr áður en nokkur athugandi var til.
Ef skammtafræði er „upplausnargripur“ í kóðara bandbreiddartakmarkaðs
athuganda (opt-theory.md §7.1 liðir 1–2), hvers vegna ber
djúp heimsfræðileg fortíð — athuguð í heildarsamhengi, án fínkornótta
mælinga — skammtaundirskriftir fremur en klassískar
hitasuðsundirskriftir? Þetta er áþreifanlegt heimsfræðilegt tilvik af R1
og beittur þrýstipunktur á þann lestur að skammtafræði sé eiginleiki
kóðarans.
Heiðarlegt mat. OPT getur aðeins innlimað athuganir á CMB með því að skuldbinda sig við sterka lesturinn fremur en þann lausa. Lausi lesturinn — „skammtafræði er bókhald á hlið athuganda við mælingu“ — rekst á heimsfræðileg gögn. Sterki lesturinn — að þjöppun kóðarans sé Hilbert-skipulögð á hnattrænan hátt, beitt með einsleitum hætti fram og aftur í myndgerðum tíma, þar sem sú fortíð er valin sem hefur stystu lýsingarlengd samkvæmt sparsimi Solomonoffs — er innra með sér samkvæmur: verðbólgu-skammtafræðileg fortíð er skýringin með lágmarks lýsingarlengd á hinu athugaða mynstri CMB, og kóðarinn neyðist því af sparsimi til að myndgera hana. Þessi svörun er studd af §8.5 (ótímabundið hvarfefni), §7.1 lið 4 (alhæft seinkað val), og QECC-keðjunni í Viðauka P-2. Verðið er að skuldbinda OPT til sterkari og auðfalsanlegri fullyrðingar en hinn lausi lestur gerir: Hilbert-gerð kóðarans verkar á alla myndgerðu tímalínuna, og sérhver bandbreiddartakmarkaður athugandi með samhangandi heimsfræðilega fortíð mun sjá skammtaundirskriftir í henni. Skuldbindingarmálsgreinin í §7.1 (bætt við í v3.4.0) gerir þessa afstöðu opinbera.
Hvað myndi breyta matinu. Eiginleikar heimsfræðilegrar sögu þar sem lágmarks lýsingarlengd fer fram úr því sem verðbólgu-skammtafræðilegt sjálfgefið mynstur framleiðir — þ.e. eiginleikar sem kóðarinn myndi ekki finna upp undir þrýstingi sparsimi, en eru engu að síður til staðar í gögnunum. Áþreifanlegir kandídatar: viðvarandi ó-gaussleiki með mikla algrímsflækju sem standast hvaða verðbólgulíkan sem er með stuttri lýsingu; misleitni í CMB sem standast gaumgæfilega skoðun án nokkurrar þjappanlegrar verðbólguskýringar; frumsniðnar þyngdarbylgjuundirskriftir af sértækum uppruna skammtaviðburða sem ályktandi Hilbert-kóðari sem keyrir aftur í tíma getur ekki endurframleitt. Sérhver slík athugun, staðfest af óháðum þriðja aðila og mótstæð gegn öðrum þjöppuðum skýringum, myndi teljast umfram lýsingarlengd gegn vélbúnaði hinnar mest þjappanlegu fortíðar og afsanna sterka lesturinn. Í rekstrarlegum skilningi myndi þetta teljast sú tegund „óháðrar sýningar“ sem nefnd er í lokunarviðmiðum verkefnis í §6.8, þótt það sé ekki beint eitt af F1–F5.
R12. Skuldbindingin við sterka túlkun lítur út eins og hvött ónæming eftir á
Fullyrðing. Málsgreinin í §7.1 um skuldbindingu við rúmfræði kóðarans (bætt við í v3.4.0, 30. apríl 2026) var sett inn í beinu svari við CMB-QM áskoruninni sem var lögð fram í sömu lotu. Hún herðir túlkun OPT á QM úr lauslegu „bókhaldi á hlið athugandans við mælingarstund“ yfir í sterka túlkun um „Hilbert-gerð yfir alla myndgerða tímalínuna“, og gerir þar með CMB-QM athuganirnar þægilega að spá fremur en afsannara. Sá afsannari sem er nefndur — „umfram lýsingarlengd í heimsfræðilegri sögu“ — er tæknilega skilgreindur en í framkvæmd erfitt að sýna fram á. Formgerðarlega séð er þetta það sem rannsóknaráætlanir gera þegar þær eru véfengdar: herða rammann til að gleypa áskorunina, lýsa því yfir að hún hafi alltaf verið fólgin í kenningunni, og nefna afsannara sem er svo óhlutbundinn að engin athugun á næstunni gæti fullnægt honum. R1 sakar OPT um að laga sig að öllu; R12 sakar OPT um að læra að laga sig að í rauntíma. Þá verður R11 sönnunargagn fyrir R12 fremur en sjálfstæð staðfesting á OPT.
Heiðarlegt mat. Að hluta rétt og að hluta verjandi.
Rétt að formi til. Skuldbindingunni var bætt við sem svar við tiltekinni áskorun. Þótt §8.5 (ótímabundið hvarfefni), lið 4 í §7.1 (alhæft seinkað val) og Viðauki P-2 (QECC-keðja) hafi þegar stutt sterku túlkunina, var opinber skuldbinding við þá túlkun sem hina OPT-kanónísku túlkun ný í v3.4.0. Utan frá séð lítur þetta út eins og markstangirnar séu færðar; innan frá séð eins og skýring. Ekkert ytra próf greinir þar á milli.
Verjandi að hluta. Sterka túlkunin er kostnaður, ekki ókeypis ávinningur — hún lokar á undanhaldið til lausari túlkunar sem ella stæði til boða gagnvart framtíðaráskorunum af sama tagi. OPT í v3.4.0 er afsannanlegri en OPT í v3.3.0, ekki síður. Sá afsannari sem er nefndur (umfram lýsingarlengd / lágmarkslýsingarlengd) hefur skilgreinanlegt stærðfræðilegt inntak þótt erfitt sé að gera hann að aðgerðabæru mælanlegu viðmiði, og er því ekki „hvað sem við ákveðum að teljist ekki“.
Heiðarlega afstaðan. Skuldbindingin í v3.4.0 telst ekki sönnunargagn fyrir OPT. Hún er fínstilling sem færir byrði rammans til. CMB-athuganirnar sem kölluðu skuldbindinguna fram er ekki hægt að vitna til sem staðfestingar, því þær voru einmitt tilefnið. Aðeins sjálfstæð framtíðar próf á spá v3.4.0 — athuganir eða greiningar sem verða til eftir 30. apríl 2026 af aðilum sem tóku ekki þátt í rammagerðinni — hafa vægi fyrir reynslustöðu OPT undir sterku túlkuninni.
Hvað myndi breyta matinu. Annaðhvort (a) heimsfræðileg athugun gerð eftir 30. apríl 2026 sem skuldbindingin í v3.4.0 spáir sérstaklega fyrir um og sem samkeppnisrammar spá síður hreint fyrir um — sem væri vísbending um að skuldbindingin hafi verið raunveruleg fyrirfram takmörkun fremur en upptaka eftir á; eða (b) utanaðkomandi umfjöllun sem bendir á ósagðar afleiðingar sterku túlkunarinnar sem ekki var gert ráð fyrir þegar skuldbindingin var sett fram — sem veikti vörnina um að þetta hafi „alltaf verið fólgið í kenningunni“ og styrkti lestur eftir á; eða (c) að þriðji aðili herði orðalag afsannarans í tiltekinn flokk mælanlegra athuganastærða, þannig að „umfram lýsingarlengd“ verði aðgerðalega aðgreinanlegt frá hinu óhlutbundna.
R13. Talan 10 bit/s sem liggur að baki F1 er sjálf umdeild
Fullyrðing. F1 (§6.8) byggir á „mannlegri huglægri forspárbandbreidd C_{\max} \approx \mathcal{O}(10) bit/s“ sem dregin er af Zheng & Meister 2024 [23] og fjórum áratugum samleitinnar sáleðlisfræði. En talan 10 bit/s hefur verið véfengd í fræðiritum frá 2025 — til dæmis í „The brain works at more than 10 bits per second“ (PMC12320479) — þar sem því er haldið fram að rásir meðvitaðs aðgangs séu víðari en hið kanóníska mat gefur til kynna þegar mæliaðferðafræðinni er breytt. Ef hið kanóníska gildi er rangt um lítinn stuðul þarf að endurkvarða hina miðlægu reynslubundnu skuldbindingu OPT; ef það er rangt um stærðargráður verður gluggi F1 sjálfur að meginviðfangsefninu.
Heiðarlegt mat. Gluggi F1 var vísvitandi hafður víður (2 stærðargráður í hvora átt) einmitt vegna þess að undirliggjandi reynslugildi er umdeilt og næmt fyrir aðferðafræði. Sú staðreynd að 10 bit/s viðmiðið er umdeilt hrekur því ekki F1 eitt og sér — gildi frá \sim 10^{-1} til \sim 10^3 bit/s myndu öll falla innan glugga F1, og \sim 100 bit/s myndi ekki einu sinni teljast nálægt því að afsanna það. Það sem þetta þýðir er að ekki er hægt að kynna F1 eins og það hvíli á óumdeildri mælingu. Sú formgerðarlega krafa sem OPT reiðir sig í raun á er tilvist þröngs raðlægs bandbreiddarflöskuháls, ekki nákvæm tala — og aðgreining §7.8 milli formgerðarviðmiðsins og líffræðilega fastans (bætt við í v3.4.0) gerir þetta skýrt. F1 er áfram gagnleg fyrirfram skráð skuldbinding fyrir mannlega athugendur, en reynslubundið akkeri þess er bráðabirgða, ekki endanlega staðfest.
Hvað myndi breyta matinu. Annaðhvort (a) endurtekning óháðs þriðja aðila á bandbreidd meðvitaðs aðgangs sem stefnir saman að gildi með mun minni skekkjumörkum en núverandi fræðirit bjóða upp á, sem myndi gera kleift að þrengja F1 í skarpara próf; eða (b) trúverðug aðferðafræðileg röksemd fyrir því að flöskuháls-hugtakið sjálft standist ekki breytileika í mælikerfum — sem væri dýpri áskorun en R13 og myndi beina umræðunni að R5 (Stöðugleikasía sem tautólógía). Millistigið er það sem nú er lifandi: halda F1 eins og það er skrifað, með þeim fyrirvara að reynslubundið akkeri þess sé óútkljáð.
R14. Athuganir á heimsfræðilegri sögu eru í prinsippinu prófanlegar, en engin niðurstaða á næstunni er úrslitaatriði
Fullyrðing. R11 nefnir „umframlýsingarlengd í einkennum heimsfræðilegrar sögu umfram sjálfgefna verðbólgu-skammtafræðilega líkanið“ sem afsönnunarskilyrði fyrir skuldbindingu §7.1 um rúmfræði kóðarans. Frá og með 2026-04 útiloka núverandi skorður á CMB sterka ógaussíska hegðun, en eru ekki nægilega strangar til að útiloka sjálfgefna verðbólgu-skammtafræðilega líkanið; skorður á frumstæðum þyngdarbylgjum halda áfram að herðast án greiningar. Engin athugun árið 2026 hefur breytt myndinni með eða á móti sterkri túlkun OPT.
Heiðarlegt mat. Afsönnunarskilyrði R11 er í raun framkvæmanlegt í prinsippinu, en er ekki virkt eins og er. Þetta er rétta staðan fyrir formgerðarlega skuldbindingu af þessu tagi: ramminn hefur tilgreint hvað myndi fella hann, tilraunasamfélagið stefnir að strangari prófunum, og engin jákvæð niðurstaða í hvora átt sem er hefur enn komið fram. Heiðarlega leiðin er að láta R11 standa óbreytt og endurmeta þessa færslu árlega eftir því sem ný heimsfræðileg gögn berast.
Hvað myndi breyta matinu. Formleg niðurstaða frá Simons / LiteBIRD / CMB-S4 sem annaðhvort (a) greinir einkenni þar sem lágmarks lýsingarlengd undir sjálfgefna verðbólgu-skammtafræðilega líkaninu er meiri en hjá samkeppnishæfum þjöppuðum skýringum — sem myndi afsanna sterku túlkunina og kalla fram athugun á §6.8 Project Shutdown; eða (b) herðir núverandi skorður nægilega til að færa afsönnunarskilyrði R11 úr „í prinsippinu“ yfir í „lifir nú af“ með mun minni skekkjumörkum — sem myndi styrkja sterku túlkunina án þess að staðfesta hana. Hvor hreyfing sem er kallar á skýra, skýrða uppfærslu á R11.
Rekstrarathugasemdir
- Þegar ný andmæli berast skal bæta þeim við sem næstu R-færslu með sömu uppbyggingu: fullyrðing, heiðarlegt mat, hvað myndi breyta matinu.
- Þegar skilyrðið í „hvað myndi breyta matinu“ fyrir færslu er uppfyllt, á ekki að eyða færslunni — heldur bæta við athugasemd um dagsetningu og niðurstöðu og uppfæra matið.
- Endurskoðið færslurnar ársfjórðungslega. Ef ramminn hefur safnað verulegu magni af nýju efni, athugið hvort einhver fyrirliggjandi R-færsla hafi veikst hljóðlega vegna nýja efnisins (t.d. „OPT heldur nú fram X, sem gerir R3 verra“).
- Höfundurinn ætti að standast freistinguna til að skrifa varnarsinnaðan texta í þessa skrá. Verkefnið hér er að tapa, ekki að vinna.