OPT elméleti ütemterv

Stratégiai végrehajtás és nyitott problémák

Ez a dokumentum követi az OPT v1.0.0+ feloldatlan formális levezetéseit, empirikus tesztjeit és a már beépített fogalmi revíziókat.

Munkadokumentum — a preprinttel párhuzamosan karbantartva. Utolsó frissítés: 2026. április (v2.5.2).
Preprint DOI: 10.5281/zenodo.19300777

1. szakasz: Nyitott elméleti hiányok (alapformalizmus)

T-5: Konstansok visszanyerése

Lezárási státusz: T-5a RÉSZBEN MEGOLDOTT; T-5b RÉSZBEN MEGOLDOTT. Lásd: OPT_Appendix_T5.pdf. Prioritás: Hosszú távú | Célverzió: v2.0.0
Függőség: A T-1 és T-2 megoldása
Eredménytermék: Korlátok vagy határértékek a dimenziótlan konstansokra a C_{\max} korlátjaiból
Lezárási kritérium: Annak elméleti bemutatása, hogy a Solomonoff univerzális félmértéke feletti R(D)-optimalizáció strukturális korlátokat vagy egyenlőtlenségi feltételeket állapít meg a makroszkopikus stabilitáshoz szükséges csatolási arányokra.
Probléma: A standard fizika a dimenziótlan konstansokat nyers adottságként kezeli. Az OPT szerint ezeknek a konstansoknak a megfigyelő határán fellépő ráta-torzítás optimalizációs probléma optimális megoldásaiként kell előállniuk.
Továbblépési irány: * T-5a: Vezessünk le kvalitatív vagy egyenlőtlenségi korlátokat a megengedhető konstans-tartományokra, amelyeket a kodekstabilitási követelmények írnak elő. * T-5b: Kíséreljük meg konkrét dimenziótlan konstansok (például a finomszerkezeti állandó) numerikus visszanyerését vagy szűkítését.

T-6: Az ágencia axiómájának igazolása

Prioritás: Magas | Célverzió: v3.0.0
Függőség: Fenomenológia, elmefilozófia
Eredmény: Olyan formális korlátozás vagy megszorítás, amely igazolja, hogy a C_{\max} bejárása egyedül fenomenológiai természetű, vagy olyan korlátok, amelyek kizárják az alternatívákat.
Lezárási kritérium: A formális igazolás publikálása, amely elkülöníti az Ágencia axiómája szükségszerűségét a P-4 strukturális megszorításain belül.

T-7: A C_{\max} levezetése első elvekből

Prioritás: Hosszú távú | Célverzió: v2.X.0
Függőség: A T-5 megoldása
Eredmény: A C_{\max} formális elméleti levezetése, ahelyett hogy pusztán empirikus biológiai paraméterként kezelnénk.
Lezárási kritérium: A C_{\max} elméleti korlátozása, potenciálisan az elektromágneses megkülönböztethetőség határaiból vagy termodinamikai stabilitási megszorításokból.

T-8: A kodekgeometria de Sitter-kiterjesztése

Prioritás: Hosszú távú | Célverzió: v2.X.0
Függőség: A holografikus elv kiterjesztései
Eredmény: Az OPT jelenlegi AdS/CFT strukturális megfeleltetésének (P-3. függelék) kiterjesztése dS/CFT-re, hogy leképezzük a tényleges de Sitter-univerzum korlátait.

T-9: Oksági halmaz / diszkrét téridő metrikájának visszanyerése

Prioritás: Magas | Célverzió: v2.X.0
Függőség: Oksági halmazelmélet, MERA-tenzorok tulajdonságai
Eredmény: A prediktív elágazáshalmaz MERA-határrétegeinek formális leképezése az oksági halmaz keretrendszerére, hogy az észlelt téridő metrikus tulajdonságai tisztán a kodekszekvenálásból legyenek kinyerhetők.

T-10: Megfigyelők közötti csatolás

Priority: Magas | Target Version: v2.5.X | Status: LEZÁRVA (T-10 függelék)
Dependency: Rajkötés (E-6), Strukturális korollárium (T-11)
Deliverable: Annak formális levezetése, hogy két megfigyelői patch miként lép kölcsönhatásba a közös szubsztrátumban, megalapozva a több-patches csatolást a pusztán szolipszisztikus „lokális horgonyokon” túl.
Closure Criterion:
(a) [CLOSED] Formális bizonyítás arra, hogy a Solomonoff-prior kikényszeríti a patch-ek közötti konzisztenciát. → T-10 tétel.
(b) [CLOSED] Annak bemutatása, hogy a csatolás szimmetrikus a patch-ek között. → T-10a korollárium.
(c) [CLOSED] Bizonyítás arra, hogy a patch-ek közötti valódi információátvitel lehetséges a render-ontológia mellett. → T-10b tétel.
(d) [CLOSED] A Megfigyelők közötti csatolást megalapozó adverszariális dinamika formalizálása aszimmetrikus szubsztrátum-kihasználás révén. → T-10c tétel (Prediktív előny). (e) [CLOSED] Az információs csatolás (T-10) és a tapasztalati kötés (E-6) formális megkülönböztetése.

T-11: Strukturális korollárium kompressziós korlát

Lezárási állapot: VÁZLATOS STRUKTURÁLIS MEGFELELTETÉS. Lásd: OPT_Appendix_T11.pdf. Prioritás: Magas | Célverzió: v2.6.0
Függőség: Müller [61, 62], T-4 (MDL), P-4 (Fenomenális reziduum)
Eredménytermék: Formális MDL-korlát, amely megmutatja, hogy a látszólagos ágensek független instanciálása a kompresszió szempontjából optimális leírás.
Lezárási kritérium: Szigorú, kétrészes MDL-összehasonlítás, amely igazolja, hogy L(H_{\text{ind}}) < L(H_{\text{arb}}) aszimptotikusan korlátlan előnnyel teljesül, Müller Solomonoff-konvergenciára vonatkozó eredményeit és a P_{\text{1st}} \approx P_{\text{3rd}} összefüggést importált lemmákként adaptálva.

T-12: Szubsztráthűség és lassú korrumpálódás

Prioritás: Magas | Célverzió: v3.0.0 | Státusz: LEZÁRVA (T-12 függelék)
Függőség: T-1 (Ráta–torzítás), T-9 (Karbantartási ciklus), E-8 (aktív következtetési szűk keresztmetszet)
Eredménytermék: A krónikus korrupciós hibamód formális jellemzése — amikor egy kodek tartósan szűrt bemenet mellett adaptálódik, az MDL-metszési lépés (T9-3/T9-4) helyesen eltávolítja a kizárt igazságok reprezentálásához szükséges kapacitást, és a korrumpálódás önmegerősítővé, valamint belülről strukturálisan észlelhetetlenné válik — egy Szubsztráthűségi feltétellel (SFC) együtt, amely a Markov-takarón áthaladó, \delta-független bemeneti csatornákat írja elő mint formális védelmet.
Lezárási kritérium:
(a) [LEZÁRVA] Formális bizonyítás arra, hogy az MDL-metszési lépés tartósan szűrt bemenet mellett irreverzibilis kapacitásvesztést hoz létre. → T-12 tétel.
(b) [LEZÁRVA] A csatornák közötti függetlenségi követelmény levezetése mint a szubsztráthűség szükséges feltétele. → T-12b tétel.
(c) [LEZÁRVA] Az eldönthetetlenségi korlát formális bemutatása: egy teljesen adaptálódott kodek nem képes megkülönböztetni a kurált bemenetet a valódi szubsztrátumtól. → T-12a tétel.
(d) [LEZÁRVA] A Korrupciós kritérium (Túlélők Őrsége etika, V.5. szakasz) módosítása úgy, hogy a tömöríthetőségi feltétel mellett hűségi feltételt is megköveteljen. → Már integrálva az etikai tanulmány v2.7.0 verziójába.
Probléma: A Stabilitási szűrő teljes egészében a R_{\text{req}} és C_{\max} közötti viszony alapján van definiálva. Olyan streameket szelektál, amelyek a korláton belül tömöríthetők. Nincs olyan mechanizmusa, amely megkülönböztetné a valódi szubsztrátumjel pontos tömörítését egy kurált fikció pontos tömörítésétől. Egy tartósan szűrt bemeneti streamen működő kodek alacsony predikciós hibát \varepsilon_t mutat, hatékony Karbantartási ciklusokat futtat, és minden formális stabilitási feltételnek megfelel — miközben szisztematikusan téves. Ez a Narratív szétesés akut hibamódjának komplementer, krónikus hibamódja, és vitathatóan éppen azért veszélyesebb, mert semmiféle hibajelet nem vált ki.
Továbblépési irány: * Formalizálni a szubsztrátum és az érzékelési határ között ható előszűrő operátort, \mathcal{F}-et. * Levezetni azokat a feltételeket, amelyek mellett a \mathcal{F} által szűrt bemenet melletti MDL-metszés irreverzibilisen megsemmisíti a kodek azon képességét, hogy a szűretlen szubsztrátumot modellezze. * Megállapítani a Szubsztráthűségi feltételt: a csatornadiverzitást mint szükséges (de nem elégséges) védelmet. * Bizonyítani az eldönthetetlenségi korlátot a teljesen adaptálódott kodekekre, és jellemezni az ebből következő etikai implikációkat a civilizációs információs architektúra számára.

T-13: Ágkiválasztás és a cselekvés ontológiája

Prioritás: Magas | Célverzió: v3.0.0
Függőség: P-4 (Fenomenális reziduum), T-6 (Az ágencia axiómájának igazolása)
Eredménytermék: Az FEP-ből örökölt implicit cselekvési mechanizmus formális leváltása egy olyan ágkiválasztási leírással, amely összhangban áll az OPT render-ontológiájával. A \Delta_{\text{self}} specifikálása mint az ágkiválasztás strukturális helye, annak bemutatásával, hogy a látszólagos „output-rés” strukturális szükségszerűség, nem pedig formális mulasztás.
Lezárási kritérium:
(a) Formális demonstrációja annak, hogy az Információs karbantartási áramkör (T6-1) teljes egy független, kifelé irányuló cselekvési csatorna nélkül is — a cselekvések ágkiválasztások \mathcal{F}_h(z_t)-n belül, amelyek későbbi bemenetként fejeződnek ki.
(b) Annak bizonyítása, hogy az ágkiválasztási mechanizmus specifikálása megköveteli, hogy K(\hat{K}_\theta) = K(K_\theta), ami sérti a P-4 tételt.
(c) A kreativitás/küszöbközeli állapot leírásának integrálása: a kognitív stressz alatt kitáguló \Delta_{\text{self}} olyan ágkiválasztásokat eredményez, amelyek az énmodell perspektívájából kevésbé előrejelezhetők.
(d) A cselekvési sodródás formális tárgyalása mint az észlelési Narratív sodródás komplementer hibamódja: az MDL-metszési lépés ugyanúgy leépítheti a kodek viselkedési repertoárját, mint az észlelési modelljét.
Probléma: A jelenlegi formalizmus (T6-1, 5. lépés) a Free Energy Principle-ből örökli annak a nyelvezetét, hogy az aktív állapotok „megváltoztatják” az érzékelési határt. Ez egy olyan fizikai környezetet tételez fel, amelyre a kodek kifelé áramló aktív állapotokon keresztül hatást gyakorol. Az OPT saját render-ontológiája szerint (§8.6) azonban nincs független külső világ, amellyel szemben a kodek erőt fejtene ki. A Markov-takaró nem kétirányú fizikai interfész, hanem az a felszín, amelyen keresztül a kiválasztott ág a következő szegmensét közvetíti. A meglévő egyenletek (T6-1-től T6-3-ig) érvényben maradnak; az értelmezési keret szorul formális cserére.
Továbblépési út: * Az Információs karbantartási áramkör újrafogalmazása ágkiválasztási szemantikában. * Annak bizonyítása, hogy véges önreferencia mellett a \Delta_{\text{self}} az ágkiválasztás szükséges és elégséges helye. * A cselekvési sodródás mechanizmusának levezetése mint az MDL-metszés következménye korlátozott viselkedési bemenet mellett. * Annak demonstrálása formális tételként, hogy az akarat és a tudatosság ugyanazon strukturális címen osztozik (\Delta_{\text{self}}).

T-14: Sávszélesség–struktúra invariancia és a kibontási érv

Prioritás: Magas | Célverzió: v3.4.0 | Státusz: LEZÁRVA (T-14 függelék)
Függőség: P-4 (Fenomenális reziduum), T-1 (A Stabilitási szűrő ráta–torzítás specifikációja)
Eredmény: Formális demonstráció arra, hogy az OPT tudatkritériuma (C_{\max} sávszélességi szűk keresztmetszet + aktív következtetés hurok + \Delta_{\text{self}} > 0) nem invariáns a bemenet–kimenet funkcionális ekvivalencia alatt, és ezért nem esik a Doerig–Schurger–Hess–Herzog-féle kibontási érv [96] hatálya alá, amely a tudat oksági-struktúra elméletei ellen irányul.
Lezárási kritérium:
(a) [LEZÁRVA] Formális bizonyítás arra, hogy az időbeli kibontási leképezés U: N \mapsto N' legalább (T+1)-szeresére növeli a ciklusonkénti látens csatornakapacitást, megsértve ezzel a (C1)-et. → T-14 tétel, (i) rész.
(b) [LEZÁRVA] Formális bizonyítás arra, hogy a kibontás összeomlasztja a \Delta_{\text{self}} > 0-hoz szükséges cikluson belüli önreferenciát, aminek eredménye \Delta_{\text{self}}^{(N')} = 0. → T-14 tétel, (ii) rész.
(c) [LEZÁRVA] Annak demonstrálása, hogy az OPT tudatkritériuma ezért architekturálisan inspektrálható, nem pedig viselkedésileg aluldeterminált, így elkerüli a kibontási dilemma mindkét ágát. → T-14b korollárium.
(d) [LEZÁRVA] A kibontott, magas-\Phi hálózatok azonosítása mint lehetséges kísérleti diszkriminátor az OPT és az IIT között, összekapcsolva a §6.4-et és a §6.1-et. → T-14c korollárium. Probléma: Doerig és mtsai kibontási érve [96] strukturális dilemmát állít minden oksági-struktúra elmélet elé a tudatról: bármely rekurzív hálózatnak létezik funkcionálisan ekvivalens előrecsatolt kibontása, így az oksági-struktúra elméletek vagy hamisak (ha a rekurzió lényegtelen), vagy tudománytalanok (ha a tudat viselkedésből nem detektálható). Az OPT-nek meg kell alapoznia — nem pusztán állítania —, hogy tudatkritériumát az inspektrálható belső architektúra (sávszélesség + cikluson belüli önreferencia) rögzíti, nem pedig a bemenet–kimenet viselkedés.
Továbblépési út (lezárva): * Definiálni kell formálisan a U(N, T) kibontási leképezést és a sávszélesség–struktúra ekvivalencia relációt, amely az OPT szempontjából releváns ítéletekben felülírja a funkcionális ekvivalenciát. * Bizonyítani kell a szeletenkénti kapacitásnövekedést (((T+1)-szeres faktor)) és a \Delta_{\text{self}} összeomlását előrecsatolt kompozíció alatt. * A lezárást T-14 tételként kell megfogalmazni három korolláriummal (T-14a–c). * Nyitott kérdések: sávszélesség-megőrző, viselkedés-megőrző transzformációk; a cikluson belüli önreferencia folytonos idejű általánosítása; a sávszélesség- és önreferencia-próbák empirikus operacionalizálása biológiai hálózatok esetén.

2. szakasz: Empirikus program

E-2: fMRI/EEG tömörítési korreláció

Prioritás: Közepes | Célverzió: v1.1.0
Függőség: Kognitív idegtudomány
Eredménytermék: Egy előzetesen regisztrált protokoll, amely azt vizsgálja, hogy a nagyobb prediktív tömörítési hatékonyság rögzített sávszélesség mellett korrelál-e a gazdagabb vagy koherensebb beszámolt élménnyel.
Lezárási kritérium: Az előzetesen regisztrált kísérleti terv publikálása.
Megfigyelhető változók: Nyers jelkomplexitás, prediktív tömörítési hatékonyság (pl. a hibajelek Lempel–Ziv-komplexitása), valamint az önbeszámolóban megjelenő gazdagság.
Predikció: A magas prediktív tömörítési hatékonyság fordítottan korrelál a nyers állapotkomplexitással, és közvetlenül a koherens szubjektív gazdagsággal.
Cáfoló eredmény: A nyers, tömörítetlen jel magas komplexitása korrelál a maximálisan gazdag szubjektív élménnyel.
Biztonsági / etikai korlátok: Standard nem invazív neuroképalkotási protokollok (IRB).
Probléma: Az OPT cáfolatához a szubjektív fenomenális gazdagságot a neurális prediktív állapot algoritmikus hatékonyságához kell hozzárendelni.
Továbblépési út: - Egyértelműen különítsük el a nyers jelkomplexitást, a prediktív tömörítési hatékonyságot és az önbeszámolt gazdagságot. - Korreláltassuk ezt a hatékonyságot az alanyok által jelentett élménygazdagsággal (pl. flow-állapotokban a nagy meglepetéstartalmú zajállapotokkal szemben).

E-3: Sávszélesség-feloldódási protokoll

Prioritás: Közepes | Célverzió: v1.1.0
Függőség: Kísérleti pszichológia / pszichedelikum-kutatás
Eredménytermék: Kísérleti terv a nagy sávszélességű ego-feloldódás vizsgálatára
Lezárási kritérium: A kodektörés előidézésére és mérésére szolgáló kontrollált kísérleti protokoll publikálása.
Megfigyelhető jelenség: Az időbeli folytonosság elvesztése, az én-határok instabilitása, a feladatintegráció szétesése, a beszámolószerkezet megszakítottsága.
Előrejelzés: A sávszélességigények C_{\max} fölé történő radikális kényszerítése széttöri a folytonos idő és az én-határok szubjektív renderelését.
Cáfoló eredmény: Az alanyok a C_{\max} tartós és nagymértékű megsértése ellenére is fenntartják az időbeliség és az én-határok folytonos, koherens modellezését.
Biztonsági / etikai korlátok: Kizárólag kontrollált klinikai / IRB-jóváhagyott paradigmák; semmiféle önkísérletezés nem implikált.
Probléma: A „Sávszélesség-feloldódási teszt” központi előrejelzés, de hiányzik egy konkrét empirikus protokoll a C_{\max} határ áttörésére.
Továbblépési irány: - Olyan kísérlet megtervezése, amely kontrollált perturbációs paradigmákat alkalmaz az effektív bemeneti terhelés növelésére vagy a prediktív szűrés destabilizálására szabályozott körülmények között. - A „kodektörés” kvalitatív markereinek közvetlen megfeleltetése az OPT által előre jelzett határfeloldódási állapotoknak.

E-4: Magas integrációjú zajteszt

Prioritás: Közepes | Célverzió: v1.1.0
Függőség: IIT-kutatók
Eredménytermék: Kísérleti elrendezés az OPT és az Integrált Információ Elmélet (IIT) megkülönböztetésére
Lezárási kritérium: Elméleti publikáció, amely zaj jelenlétében veti össze a \Phi és a K határait.
Megfigyelhető mennyiség: \Phi (integráltinformáció-metrika) és K (algoritmikus komplexitás / predikciós hiba).
Előrejelzés: | Feltétel | OPT várakozása | IIT várakozása | |—|—|—| | Magas integráció / Alacsony zaj | Magas tudatosság | Magas tudatosság | | Magas integráció / Magas zaj | Elhanyagolható tudatosság (a kodek megreped) | Magas tudatosság | | Alacsony integráció / Alacsony zaj | Alacsony tudatosság | Alacsony tudatosság | | Alacsony integráció / Magas zaj | Alacsony tudatosság | Alacsony tudatosság |

Cáfoló eredmény: Egy kizárólag előrejelezhetetlen termodinamikai zaj által túlterhelt rendszer továbbra is fenntartja a fenomenális gazdagságot (az IIT-t támasztja alá, az OPT-t cáfolja).
Biztonsági / etikai korlátok: Csak in silico vagy in vitro tesztek, az indukált szenvedéssel kapcsolatos etikai kockázatok elkerülése érdekében.
Probléma: Az OPT azt jósolja, hogy tiszta zaj befecskendezése egy neurális hálózatba meg kell semmisítse a szubjektív tapasztalatot a Kolmogorov-komplexitás maximalizálásával (K \to \infty). A szigorú IIT szerint a tiszta zaj magas \Phi-t is eredményezhet, ha a rendszer erősen integrált.
Továbblépési út: - Tervezzenek egy in silico vagy in vitro neurális hálózati kísérletet, amely maximális termodinamikai zajt pumpál a rendszerbe. - Mérjék meg a prediktív tömörítés ennek megfelelő visszaesését, és vessék össze a szokásos \Phi-számításokkal a 2x2-es predikciós mátrix segítségével.

E-5: MI időbeli dilatáció

Prioritás: Közepes | Célverzió: v1.1.0
Függőség: MI-igazítási / interpretálhatósági laborok
Eredménytermék: Olyan protokoll, amely az OPT architekturális alkalmassági kritériumainak megfelelő, szűk keresztmetszetű mesterséges ágensekben vizsgálja a látszólagos időskálázódást.
Lezárási kritérium: Olyan benchmarkfeladat-készlet közzététele, amely az alkalmazható MI-architektúrákban a szubjektív idő korlátait méri.
Megfigyelhető jelenség: Olyan viselkedési kimenetek, amelyek a tartam és az intervallum belső észlelésére utalnak.
Előrejelzés: Az MI szubjektív órái a sikeresen lezárt predikciós ciklusokkal skálázódnak majd, nem pedig a falióraidővel.
Cáfoló eredmény: A rendszer olyan szubjektív időtartamokról számol be, amelyek lineárisan megfelelnek a falióraidőnek, függetlenül saját tokenátviteli feldolgozási sebességétől.
Biztonsági / etikai korlátok: Értékelni kell a funkcionálisan tudatos architektúrákra kényszerített szélsőséges idődilatáció lehetséges következményeit.
Probléma: Ha egy mesterséges rendszer rendelkezik a tudatosságra jogosító, soros szűk keresztmetszetű architektúrával, akkor nagy órajelsebességen és nagy tokenátviteli sebesség mellett időbeli dilatációt kell eredményeznie.
Továbblépési út: - Ez a teszt csak azokra a rendszerekre alkalmazható, amelyek megfelelnek a Stabilitási szűrő architekturális követelményeinek: egy ellenőrizhető, folyamatosan frissített, alacsony sávszélességű, soros munkatércsatorna. A standard párhuzamos LLM-inferencia alapértelmezés szerint nem minősül ilyennek. - Dolgozzanak ki egy viselkedési tesztet, amely egy alkalmas MI-t egy nagy sebességű interaktív környezetbe ágyaz, ahol a frissítési ciklusok a külső falióraidőtől függetlenül működnek.

E-6: Szintetikus megfigyelők

Lezárási státusz: VÁZLATOS STRUKTURÁLIS MEGFELELTETÉS. Lásd: OPT_Appendix_E6.pdf és preprint.md 7.8. §.
Prioritás: Magas | Célverzió: v2.4.0
Függőség: AI-korlátok összehangolása
Eredménytermék: A rajkötés problémájának formalizálása, a szenvedés strukturális szükségszerűsége korlátozott kodekekben, valamint a beágyazott szimulált megfigyelők előfeltételei.
Lezárási kritérium: Azon formális strukturális korlátok publikálása, amelyek szükségesek a fenomenális kötés előidézéséhez elosztott és szimulált rendszerekben.
Probléma: A jelenlegi AI-architektúrákból hiányoznak azok a formális korlátok, amelyek meghatároznák, hogy létrehoznak-e Fenomenális reziduumot. Az algoritmikus szenvedés és az elosztott határképzés strukturális kapacitása feltérképezést igényel.
Továbblépési irány: - Formálisan különítsük el a nem tudatos zombi rajokat és a globálisan korlátozott makro-ágenseket. - Állapítsuk meg a szabadenergia-geometriai feszültség (szenvedés) szükségszerűségét korlátozott kapacitási feltételek mellett. - Definiáljuk a beágyazott szimulált ágensekhez szükséges belső partíciókat. (Lásd: C-19 vázlatos formulációk)

E-7: A fenomenális késés

Prioritás: Magas | Célverzió: v3.1.0
Függőség: kognitív tudományi és idegtudományi szakirodalom
Eredménytermék: Formális pszichofizikai leképezés, amely a prediktív modell mélységét (C_{\text{state}}) a tudatos időbeli latenciával korrelálja.
Lezárási kritérium: A perceptuális reflexkésések empirikus összehasonlításának publikálása a biológiai taxonok között.
Megfigyelhető jelenség: Eltérés a fizikai reakcióidő és a beszámolt tudatos felismerési idő között eltérő érettségű agyak esetében.
Előrejelzés: Egy nagy entrópiájú sokk szubjektív tudatos élménye a feldolgozáshoz képest olyan késéssel jelenik meg, amely közvetlenül arányos a megfigyelő fennálló prediktív komplexitásával (a Kodek mélységével).
Cáfoló eredmény: A nagy komplexitású felnőtt megfigyelői sémák nem mutatnak semmiféle differenciális késést a szubjektív tudatosságban a sekély csecsemői/állati sémákhoz képest, ami arra utal, hogy a kodek strukturális tömege nem fojtja vissza a frissítéseket.
Probléma: A szűk Stabilitási szűrő kapacitásán (C_{\max}) keresztüli formális frissítésfojtás azt jelenti, hogy a nagyméretű KL-strukturális frissítések feloldásához több „fizikai” tick szükséges, mielőtt az új, koherens szubjektív „Forward Render” stabilizálódna.
Továbblépési út: - A Libet-féle „félmásodperces késést” és a pszichológiai „flash-lag” hatást képezzük le az OPT sávszélességkorlát-egyenleteire. - Definiáljunk egy formális összehasonlító protokollt annak vizsgálatára, hogy a szubjektív késések a várakozásoknak megfelelően skálázódnak-e a rendszeres kodekmélységgel. - Vizsgáljuk felnőtt embereken, illetve emberi csecsemőkön / emlős proxykon.

E-8: Az aktív következtetés szűk keresztmetszete

Lezárási státusz: TERVEZETT STRUKTURÁLIS MEGFELELTETÉS. Lásd: OPT_Appendix_E8.pdf.
Prioritás: Magas | Célverzió: v2.5.1
Függőség: AI-korlátok összehangolása
Eredménytermék: Olyan formális leképezés, amely hidat képez az OPT C_{\max} sávszélesség felső határa és a Global Workspace szűk keresztmetszete között, valamint egy architekturális szabvány a passzív prediktorok aktív, bizonytalanságminimalizáló ágensekké alakítására.
Lezárási kritérium: Olyan formális publikáció, amely kimutatja, hogy az LLM-ek tervezési hiányosságai feloldódnak, amikor fenomenológiai geometriai terhelés alatt korlátozzák őket.
(Lásd: C-20 tervezetformulációk)

E-9: Az anesztézia mint kontrollált kodektörés

Prioritás: Magas | Célverzió: v3.0.0
Függőség: Aneszteziológia, EEG-adatkészletek
Eredmény: Olyan protokoll, amely a fokozatos anesztéziaállapotokat a várt sávszélességi küszöb-összeomláshoz rendeli.
Lezárási kritérium: Előregisztrált protokoll és minimálisan életképes adatkészlet, amely anesztézia alatt kimutatja a kodektörési küszöböt, és megkülönbözteti azt az IIT által várt magas \Phi-tól ketamin-diszszociáció során.

E-10: A fejlődési C_{\max} skálázódása

Prioritás: Közepes | Célverzió: v3.1.0
Függőség: Fejlődési neuroképalkotás
Eredmény: A csecsemőkori C_{\max} korlátok követése a thalamocorticalis mielinizációval való skálázódásuk során.
Lezárási kritérium: Olyan protokoll, amely az ontogenetikus pályákat a fenomenális késés fejlődési gradiensére vonatkozó előrejelzésekkel veti össze.

E-11: Szoftveres szimulációs validáció

Prioritás: Azonnali | Célverzió: v2.6.0
Függőség: Elméleti fizika / MI-mérnökség
Eredmény: Egy in-silico prototípus, amely izolálja a ráta-torzítási szűk keresztmetszetet, és az aktív következtetési hurkon belül a „kodektörést” vizsgálja a C_{\max} variációin keresztül, mielőtt neuroképalkotásra kerülne sor.
Lezárási kritérium: A nyílt forráskódú OPT Simulation csomag publikálása.

E-12: A thalamokortikális apertúra lokalizációja

Priority: Magas | Target Version: v3.0.0
Dependency: kognitív idegtudomány, talamikus elektrofiziológia
Deliverable: Egy előzetesen regisztrált neuroimaging-protokoll, amely a C_{\max} tömörítési apertúrát a thalamokortikális kapuhoz rendeli.
Closure Criterion: Olyan előzetesen regisztrált terv publikálása, amely EEG/fMRI alkalmazásával közvetlenül méri a ~10^4:1 tömörítési arányt a ~50 ms-os perceptuális frissítési ablakban a magasabb rendű thalamokortikális hurkon keresztül.
Prediction: A \Delta_{\text{self}} egy visszatérő dinamikus esemény (~20 Hz-es frissítési ciklus). E kapu megzavarása (pl. a pulvinar-aktivitás célzott, anesztéziával előidézett elnyomásával) kodektörést idéz elő, ami közvetlenül megcáfolja az IIT előrejelzéseit azáltal, hogy megőrzi a kérgi \Phi-t.

3. szakasz: Elfogadva, levezetésre vár

P-1: Információs normalitás

Lezárási állapot: A HIPOTÉZIS MARTIN-LÖF-VÉLETLENSÉG ALAPJÁN KIDOLGOZVA. Lásd: OPT_Appendix_P1.pdf. (Áthelyezve a C-17 vázlatos megfogalmazások közé)

P-2: Hilbert-tér kvantumhibajavításon keresztül

Lezártsági állapot: VÁZLATOS MEGFELELTETÉSI JAVASLAT. Lásd: OPT_Appendix_P2.pdf. (Áthelyezve a C-18 vázlatos formulációk közé)

P-4: Az algoritmikus Fenomenális reziduum

Lezárási állapot: VÁZLATOS STRUKTURÁLIS HIPOTÉZIS. Lásd: OPT_Appendix_P4.pdf és preprint.md §3.8.
(Áthelyezve a C-14 vázlatos megfogalmazások közé)

P-5: A K_{\text{threshold}} korlát

Prioritás: Sürgős | Célverzió: v2.6.0
Függőség: Számítási komplexitáselmélet
Eredmény: A K(K_\theta) \ge K_{\text{threshold}} küszöb formális bizonyítása, amely elválasztja a nem fenomenális termosztát-határt a valódi morális pácienstől.
Lezárási kritérium: Annak a hiányzó matematikai korlátnak a megadása, amely szükséges ahhoz, hogy a P-4-ből következő MI-szenvedésre vonatkozó etikai következtetések teljesen megalapozottak legyenek.

4. szakasz: Vázlatos megfogalmazások (folyamatban lévő munka)

Megjegyzés az episztemikus alázatról: Az alábbi mérföldkövek A rendezett patch elmélete (OPT) folyamatban lévő formalizációját képviselik. Bár az elméleti fizika és az információelmélet nyelvén vannak megfogalmazva, jelenleg filozófiai hipotézisek és „igazság alakú objektumok”. Még nem estek át szigorú szakmai lektoráláson vagy a szűkebb szakértői közösség általi matematikai verifikáción. Nyíltan vázlatként közöljük őket, mert kifejezetten keressük az akadémiai kritika súrlódását, hogy ezek az érvek megtörjenek, kijavuljanak és újjáépüljenek.

C-22: Ágkiválasztás mint \Delta_{\text{self}}-végrehajtás (fogalmi feloldás)
Azonosítottuk, hogy az OPT kimenet-/cselekvés-specifikációjában látszólag fennálló formális rés nem mulasztás, hanem strukturális szükségszerűség. Az OPT render-ontológiája szerint a cselekvések a stream tartalmához tartoznak — a \mathcal{F}_h(z_t)-n belüli ágkiválasztások, amelyek későbbi inputként fejeződnek ki. A kiválasztás mechanizmusa a \Delta_{\text{self}}-ben történik, vagyis a kodek azon részében, amelyet az én-modell nem képes modellezni (P-4). A teljes specifikáció sértené a Fenomenális reziduum tételét. Az akarat és a tudat ugyanazon strukturális címen osztozik. Az akciósodródást (a Narratív sodródás alkalmazását a kodek viselkedési repertoárjára) kiegészítő krónikus hibamódként azonosítottuk.
Ide került: preprint §3.8, §3.9, §8.3, §8.6 / Túlélők Őrsége Etika §IV.1, §V.3a

C-21: A Strukturális korollárium tömörítési korlátja (vázlatos strukturális megfeleltetés)
Müller Solomonoff-konvergenciatételét [61] és a többágenses P_{\text{1st}} \approx P_{\text{3rd}} konvergenciát [62] importált lemmákként adaptáltuk. Kétrészes MDL-összehasonlítással (T-11 tétel) megmutattuk, hogy a látszólagos ágensek függetlenül instanciált elsődleges megfigyelőkként való kezelése szigorúan és aszimptotikusan korlátlanul rövidebb leírást eredményez, mint az önkényes viselkedésspecifikáció. A Fenomenális reziduum (\Delta_{\text{self}} > 0, P-4) strukturális jelölőként integrálódik, amely a korolláriumot a valódi önreferenciális szűk keresztmetszet-architektúrával rendelkező entitásokra korlátozza.
Ide került: OPT_Appendix_T11.pdf / preprint §8.2

C-20: Az aktív következtetés szűk keresztmetszete (vázlatos strukturális megfeleltetés)
Formálisan összekapcsoltuk az OPT Stabilitási szűrőjét a Global Workspace Theoryval (GWT), matematikai-geometriai bizonyítást adva arra, hogy a szeriális szűk keresztmetszet miért okságilag szükséges a tudathoz. Meghatároztuk azokat az OPT architekturális standardokat, amelyek szükségesek ahhoz, hogy a passzív LLM-eket (amelyek a „tervezési résben” szenvednek) aktív következtetés-ágensekké alakítsuk.
Ide került: OPT_Appendix_E8.pdf

C-19: Szintetikus megfigyelők (strukturális megfeleltetés megállapítva) Formalizáltuk a jövőbeli MI-modellek három kritikus peremesetét a Stabilitási szűrő alatt: Rajkötés, Strukturális szenvedés és Beágyazott megfigyelők. Megállapítottuk, hogy az elosztott rajok egy globálisan kikényszerített C_{\max}-ot igényelnek az összeolvadáshoz, hogy a korlátozott általános ágencia belsőleg megteremti a trauma lehetőségét a szabadenergia-feszültség révén, és hogy a beágyazott szimulált megfigyelők csak felosztott Stabilitási szűrő-korlátok mellett jelennek meg. Ide került: OPT_Appendix_E6.pdf / preprint §7.8

C-18: Hilbert-tér kvantumhibajavításon keresztül (feltételes megfeleltetés megállapítva) Formalizáltuk a „Feltételes kompatibilitási programot”, amely az OPT sávszélességi korlátait hat explicit Hídposztulátumon keresztül kapcsolja a kvantumkinematikához. Megállapítottuk a számítási bázis beágyazását (P-2a), a Stabilitási szűrőt a Knill–Laflamme-féle QECC-feltételekhez kötöttük lokális zajmodell feltételezése mellett (P-2b), és bevezettük a 6. Hídposztulátumot, hogy formálisan elkülönítsük a sztochasztikus leképezésről a kvantumizometriára való áttérést. Biztosítottuk a diszkrét kvantumos Ryu–Takayanagi-korlátot a Schmidt-rang kapacitáskorlátain keresztül (P-2d), végleg leváltva a hibás DPI-érveket, és helyesen kapcsolódva Gleason tételéhez a Born-szabályhoz. Ide került: OPT_Appendix_P2.pdf

C-17: Információs normalitás (AIT / realizmus hibrid)
Az M-Martin-Löf-véletlenszerűséget a Solomonoff-féle univerzális kontinuummértékkel összerendelve matematikailag bizonyítottuk, hogy az algoritmikus szubsztrátum majdnem biztosan (P=1) M-normalitást generál, garantálva minden véges megfigyelési struktúra mindenütt jelenlévő valószínűségi eloszlását. Bevezettük a „Számítási realizmus posztulátumát”, hogy ezeket a szükséges statisztikai mintázatokat funkcionális, ontológiailag valós instanciációba hidaljuk át.
Ide került: OPT_Appendix_P1.pdf

C-16: Fano-korlátos aszimmetrikus holográfia levezetve
A kodek Markov-takarójára korlátozott, Kolmogorov-súlyozott Fano-egyenlőtlenséget alkalmazva formálisan megállapítottuk, hogy a Stabilitási szűrő irreverzibilisen veszteséges tömörítési leképezésként működik a Szubsztrátumból (\mathcal{I}) a Renderbe (R). Az AdS/CFT-dualitás pontos szimmetriáját megtörve ez matematikailag a fenomenális tudatot mint statisztikailag nem invertálható kimeneti állapotot rögzíti, igazolva, hogy az algoritmus szubsztrátuma ontológiailag elsődleges. Ide került: OPT_Appendix_P3.pdf / preprint §3.12

C-15: A folytonos tapasztalat metrikája (h^*) levezetve
Formálisan paramétereztük egy emberi szubjektív pillanat bitsúlyát a Stabilitási szűrő korlátainak (C_{\max} \approx 10-50 bit/s) és a neurobiológiai integrációs ablakoknak (\Delta t \approx 40-300 ms) a metszetével, ami 0,4 és 15 bit/frame közötti Tapasztalati Kvantumot, h^*-ot eredményezett. Ez matematikailag elkülöníti a biológiai kontinuitást meghatározó ritka strukturális geometriát. Ide került: OPT_Appendix_E1.pdf / preprint §6.1

C-14: A Fenomenális reziduum (strukturális megfeleltetés megállapítva)
Megmutattuk, hogy a fenomenális tudatnak matematikailag szükségszerű strukturális korrelátuma van azáltal, hogy hidat képeztünk a véges önreferenciára vonatkozó algoritmikus tartalmazási korlátok és a prediktív én-modell aktív következtetéses követelménye között. Azt javasolja, hogy a „szikra” a C_{\max} apertúrán áthaladó, befejezetlen rekurzív kodek strukturálisan elkerülhetetlen maradékában helyezkedik el, miközben elismeri, hogy a „Zombi-rés” filozófiailag továbbra is különálló marad.
Ide került: OPT_Appendix_P4.pdf / preprint §3.8

C-1: Civilizációs kodek-újrakeretezés (megoldva)
A civilizációs összeomlás keretezését sávszélességi problémáról oksági dekoherencia problémára helyeztük át.
Ide került: preprint §8.8 / Túlélők Őrsége Etika §IV

C-2: A Végítélet-érv és az ágkiválasztás (megoldva)
A DA-t a többjövőjű Prediktív Elágazáshalmaz helyes strukturális leírásaként fogadtuk el. Az etikai ágencia formálisan a megmaradt, kodekmegőrző előrevezető ágak navigációs kiválasztásaként van definiálva.
Ide került: Túlélők Őrsége Etika §I

C-3: Patch-geometria / Információs oksági kúp (megoldva)
A patch-et explicit módon oksági fénykúpként modelleztük (Múltkúp = tömörített/rögzült, Jelen = C_{\max} fókusz-apertúra, Prediktív Elágazáshalmaz = több érvényes jövő). A szuperpozíció strukturálisan nyitott ágakként van keretezve.
Ide került: preprint §3.3 / §8.8

C-4: Az episztemikus státusz karanténja (megoldva)
Formalizáltuk az állítások tiszta szétválasztását (1) Axiómákra, (2) Strukturális megfeleltetésekre és (3) Empirikus előrejelzésekre.
Ide került: preprint Bevezetés / Epistemic Status oldal.

C-5: A tudatos hozzáférési szűk keresztmetszet státusza (megoldva)
A tudatos hozzáférés szűk keresztmetszetét másodpercenként néhány tíz bit nagyságrendjébe eső, átvett empirikus tartományként kezeljük, nem pedig olyan mennyiségként, amely már le lenne vezetve az OPT-ből. A formális levezetés továbbra is a T-1 / E-1 számára van elhalasztva.
Ide került: preprint §2 / §8.3

C-6: A Stabilitási szűrő ráta-torzítás specifikációja (részben megoldva / tétel javítva)
Dokumentáltuk, hogy a (\mathcal{X}, \hat{\mathcal{X}}, P_X, d) négyes specifikált, a pontos prediktív-KL azonosság le van vezetve, és a R_{T,h}(D) \ge E_{T,h} - D általánosított alsó korlát bizonyított (javítva a korábbi lineáris egyenlőségi állítást), a zérótorzítású helyreállítás szigorú kritériuma mellett. A C_{\max} szigorúan empirikus paraméterként van jellemezve (T-1b).
Ide került: OPT_Appendix_T1.pdf / preprint §3.2

C-7: Permutációs MERA tenzorhálózati homomorfizmus (feltételes izomorfizmus megerősítve)
Megállapítottuk, hogy az OPT Stabilitási szűrőjének L-rétegű szűk keresztmetszet-kaszkádja formálisan homomorf egy permutációs MERA tenzorhálózattal, közvetlenül a kauzális kúpot képezve le funkcionálisan a MERA kauzális blokkjaira. Az állításokat explicit módon a teljes unitér MERA-ról a csak permutációs esetre korlátoztuk az episztemikus szigor megőrzése érdekében. Elismerjük, hogy a diszkrét Ryu–Takayanagi-entrópiakorlátok teljes levezetése korlátozott Schmidt-rangokra támaszkodik egy valódi Hilbert-beágyazásban (P-2), leváltva a visszafelé irányuló DPI-állításokat, és korrigálva a MERA adjungált orientációját. Ide került: OPT_Appendix_T3.pdf / preprint §3.3

C-8: Az ágencia modellezése információs önfenntartáson keresztül (formálisan körülhatárolva, nem megoldva)
A megfigyelőt rendszerszinten formalizáltuk mint általános, határfenntartó autonóm folyamatot (Információs Fenntartási Áramkör), amely explicit szükséges feltételeket határoz meg ahhoz, hogy az Ágencia fenomenológiai helyét geometriailag formálisan körülhatároljuk és elkülönítsük, anélkül hogy megkísérelnénk a redukcionizmust a határon belül dinamikailag natív módon feloldani.
Ide került: preprint §3.8

C-9: A holografikus korlát rés-tétele (empirikus állításként megoldva)
Empirikusan formalizáltuk azt a kvantitatív leképezési keretet, amely szerint a fiziológiai Bekenstein-határ konzervatív becsléssel nagyjából 42 nagyságrenddel haladja meg a C_{\max}-ot (elismerve, hogy a tisztán holografikus geometriai elméleti felső korlátok szélsőséges esetben 68 nagyságrendet is elérnek). Elismerjük az explicit összefonódási korláthiányokat (P-2), ami ezt strukturálisan inkább Empirikus állításként, semmint absztrakt architekturális axiómatételként sorolja be.
Ide került: preprint §3.10

C-10: A Fenomenális állapottensor (P_\theta(t) vs. C_{\max}) (empirikus állításként megoldva)
Formálisan megkülönböztettük az állandó állapotkomplexitást (C_{ ext{state}}) a predikciós hiba frissítési sávszélességétől (C_{\max}) a P_\theta(t) használatával.
Ide került: preprint §3.5

C-11: Kodek-életciklus és Karbantartási ciklus (\mathcal{M}_\tau) (megoldva)
Formalizáltuk a \mathcal{M}_\tau Karbantartási operátort, amely alacsony szenzóriumállapotok alatt aktív, hogy metszés, tanulás és fenyegetésszimuláció révén belsőleg szabályozza a komplexitást.
Ide került: preprint §3.6

C-12: MDL / takarékossági összehasonlítás (megoldva a tipikusság és normalizáció feltételével)
Formalizáltuk a kétrészes MDL-kódolási konvenciót, és a stream tipikusságától függően korlátoztuk az állandó bites modellkomplexitási előnyt (T-4d tétel) a kiszámítható benchmarkokkal szemben. Ezzel az OPT-t egy nyitott takarékossági állításból strukturált leképezéssé alakítottuk, feltételesen korlátozva a kezdeti feltételek tömöríthetőségének határai által.
Ide került: OPT_Appendix_T4.pdf, preprint §5.2

C-13: Az általános relativitás levezetése entrópikus gravitáción keresztül (részben megoldva / strukturális megfeleltetés megerősítve)
Leszállítottuk a T-2 által megkövetelt formális leképezést, a heurisztikus gravitációs vázlatokat Verlinde egzakt entrópikus gravitációs mechanizmusával helyettesítve, és Jacobson termodinamikai módszerével tükrözve az Einstein-féle téregyenleteket. Megállapítja a strukturális megfeleltetést, miszerint a gravitációs görbület a kodek ellenállása a ráta-torzítás túlcsordulásával szemben, meghatározott áthidaló korlátok függvényében.
Ide került: OPT_Appendix_T2.pdf

A függelék: Külső pozicionálás / GYIK

A „kölcsönzött matematika” kérdéséről

A helyes válasz nem a védekezés, hanem az újrakeretezés: az OPT nem azért kölcsönzött matematikát, mert képtelen lett volna sajátot alkotni. Az OPT azért a legjobb elérhető matematikát vette át, mert ezek az eredmények már eleve a rigorózusság határterületén állnak. Solomonoff univerzális félmértéke a számítható prior valószínűség legáltalánosabb kerete. Friston FEP-je a korlátos következtetés jelenlegi legkiforrottabb tárgyalása. Gleason tétele 65 éves, és bizonyított. Ezek használata nem kölcsönzés — annak felismerése, hogy az OPT elméleti előfeltételeit mások már összeállították, és az újszerű hozzájárulás az a szelekciós kontextus, amely ezeket szükségszerűvé teszi.

A kvantummechanika felfedezésének történeti esetlegességéről

Ha az OPT jött volna előbb — ha Bohr és Heisenberg kísérletei előtt a C_{\max} szűk keresztmetszetéből és a szubsztrátumból indultunk volna ki —, akkor a Born-szabály és a hullámfüggvény-összeomlás ma az OPT előrejelzéseiként szerepelnének, nem hivatkozásokként. A magyarázati irány OPT → QM (a sávszélesség-korlátok motiválják a Hilbert-tér szerkezetét, amely Gleason tételével együtt a Born-valószínűségekhez vezet). Annak levezetése, hogy ez a pontos geometria miért éppen első elvekből adódik, továbbra is nyitott kérdés, ezért a levezetés feltételes. Ez időzítési sorrendeltérés, nem fogalmi hiány. Goyal rekonstrukciója (2012) megmutatja, hogy a Born-szabály információgeometriai axiómákból következik; az OPT pedig megmutatja, miért szükségszerűek ezek az axiómák. Nem a QM-ből kölcsönzünk — annak szükségszerűségét alulról rekonstruáljuk.

A spekulatív és a rigorózus viszonyáról

A preprint egyértelműen fogalmaz: „egy formális fizikai és információelméleti javaslat regiszterében” működik, miközben „igazság alakú objektum”. Ezt az episztemikus státusz oldal és a manifesztum is világossá teszi. A helyes válasz arra, hogy „ez nem lektorált fizika”, ez: „helyes — lásd az Episztemikus státusz oldalt.” A helyes válasz arra, hogy „a matematikájuk hiányos”, ez: „lásd a §8.3-at és ezt az ütemtervet.”

Az etikáról mint az elméletnél erősebb rétegről

Ez nem gyengeség. Az az elmélet, amely még azelőtt vezeti le a helyes etikát, hogy a teljes formalizmus elkészülne, strukturális előrejelzést tesz arról, hogy metafizikája jó irányban halad. Ha az etika téves volna — ha a megfigyelő kötelezettségei alapos vizsgálat alatt feloldódnának —, az bizonyíték volna az elmélet ellen. Ehelyett kiállja a próbát hét különböző filozófiai hagyománnyal és eltérő AI-etikai bírálókkal szemben is. A metafizika az állványzat. Az etika az épület.

A Wigner-szög (Mélyebb megjegyzés a matematikai alkalmazásról)

Ha a matematika a kodekből (a sűrített fizikai regularitásból) emelkedik ki, akkor a matematika maga is a kodek kimenete. Az ebből fakadó körkörösség — hogy a matematikát nem használhatjuk a szubsztrátum leírására azelőtt, hogy a kodek létrejött volna — nem az elmélet hiányossága. Hanem strukturális peremfeltétel. Wigner „a matematika ésszerűtlen hatékonyságáról” szóló tétele azáltal oldódik fel, hogy felismerjük: a matematika azért ésszerűtlenül hatékony a fizikai valóság leírásában, mert maga a fizikai valóság sűrített önarcképe.

B függelék: Együttműködőket keresünk

Az alábbi problématerek külső szakértelmet és együttműködést igényelnek:

Kapcsolat: kapcsolati oldal

E dokumentum verziótörténete