OPT teoreetiline teekaart

Strateegiline teostus ja avatud probleemid

See dokument jälgib OPT v1.0.0+ lahendamata formaalseid tuletusi, empiirilisi teste ja juba sisse viidud kontseptuaalseid revisjone.

Töödokument — hoitakse ajakohasena koos preprint’iga. Viimati uuendatud aprillis 2026 (v2.5.2).
Preprint’i DOI: 10.5281/zenodo.19300777

Jaotis 1: avatud teoorialüngad (tuumformalism)

T-5: Konstantide taastamine

Sulgemise staatus: T-5a OSALISELT LAHENDATUD; T-5b OSALISELT LAHENDATUD. Vt OPT_Appendix_T5.pdf. Prioriteet: Pikaajaline | Sihtversioon: v2.0.0
Sõltuvus: T-1 ja T-2 lahendus
Väljund: Piirangud või ülempiirid mõõtmeteta konstantidele, mis tulenevad C_{\max} piiridest
Sulgemiskriteerium: Teoreetiline näitamine, et R(D) optimeerimine Solomonoffi universaalse poolmõõdu üle kehtestab struktuursed piirid või võrdsusetuse kujulised kitsendused sidestussuhetele, mis on vajalikud makroskoopilise stabiilsuse jaoks.
Probleem: Standardfüüsika käsitleb mõõtmeteta konstante toorete faktidena. OPT-i järgi peaksid need konstandid ilmnema optimaalsete lahendustena määr-moonutuse optimeerimisülesandes vaatleja piiril.
Edasine tee: * T-5a: Tuletada koodeki stabiilsusnõuetest määratud kvalitatiivsed või võrdsusetel põhinevad piirangud lubatavatele konstantide vahemikele. * T-5b: Püüda konkreetseid mõõtmeteta konstante (näiteks peenstruktuurikonstanti) arvuliselt taastada või nende vahemikku kitsendada.

T-6: Agentsuse aksioomi põhjendus

Priority: Kõrge | Target Version: v3.0.0
Dependency: Fenomenoloogia, vaimufilosoofia
Deliverable: Formaalne piiritlemine või kitsendus, mis verifitseerib, et C_{\max} läbimine on ainulaadselt fenomenoloogiline, või piirid, mis välistavad alternatiivid.
Closure Criterion: Formaalse verifikatsiooni avaldamine, mis isoleerib Agentsuse aksioomi vajalikkuse P-4 struktuursete kitsenduste sees.

T-7: C_max tuletamine esimestest printsiipidest

Prioriteet: Pikaajaline | Sihtversioon: v2.X.0
Sõltuvus: T-5 lahendus
Tulemus: C_{\max} formaalne teoreetiline tuletus, selle asemel et käsitleda seda pelgalt empiirilise bioloogilise parameetrina.
Sulgemiskriteerium: C_{\max} teoreetiline piiritlemine, potentsiaalselt elektromagnetilise eristatavuse piiridest või termodünaamilise stabiilsuse kitsendustest lähtudes.

T-8: Koodeki geomeetria de Sitteri laiendus

Priority: Pikaajaline | Target Version: v2.X.0
Dependency: Holograafilise printsiibi laiendused
Deliverable: OPT praeguse AdS/CFT struktuurse vastavuse (Lisa P-3) laiendamine dS/CFT-ks, et kaardistada tegeliku de Sitteri universumi piirangud.

T-9: Põhjusliku hulga / diskreetse aegruumi meetrika taastamine

Prioriteet: Kõrge | Sihtversioon: v2.X.0
Sõltuvus: põhjuslike hulkade teooria, MERA tensori omadused
Väljund: MERA Prediktiivse Harude Hulga piirikihtide formaalne vastendamine põhjuslike hulkade raamistikule, et tuletada tajutud aegruumi meetrilised omadused puhtalt koodeki järjestusest.

T-10: Vaatlejatevaheline sidestus

Prioriteet: Kõrge | Sihtversioon: v2.5.X | Staatus: SULETUD (Lisa T-10)
Sõltuvus: Sülemi sidumine (E-6), Struktuurne järeldus (T-11)
Väljund: Formaalne tuletus sellest, kuidas kaks vaatleja patch’i jagatud substraadis vastastikku toimivad, kehtestades mitme patch’i vahelise sidestuse, mis ulatub kaugemale puhtalt solipsistlikest „lokaalsetest ankrutest”.
Sulgemiskriteerium:
(a) [SULETUD] Formaalne tõestus, et Solomonoffi prior sunnib peale patch’idevahelise kooskõla. → Teoreem T-10.
(b) [SULETUD] Näidatud, et sidestus on patch’ide lõikes sümmeetriline. → Järeldus T-10a.
(c) [SULETUD] Tõestus, et patch’idevaheline tegelik informatsiooniülekanne on renderduse ontoloogia raames võimalik. → Teoreem T-10b.
(d) [SULETUD] Vaatlejatevahelist sidestust kandva adversaarse dünaamika formaliseerimine asümmeetrilise substraadi ärakasutamise kaudu. → Teoreem T-10c (Prediktiivne eelis). (e) [SULETUD] Formaalne eristus informatsioonilise sidestuse (T-10) ja kogemusliku sidumise (E-6) vahel.

T-11: Struktuurse järelduse pakkepiir

Sulgemise staatus: MUSTANDLIK STRUKTUURNE VASTAVUS. Vaata OPT_Appendix_T11.pdf. Prioriteet: Kõrge | Sihtversioon: v2.6.0
Sõltuvus: Müller [61, 62], T-4 (MDL), P-4 (Fenomenaalne jääk)
Tulemus: Formaalne MDL-piir, mis näitab, et näiliste agentide sõltumatu instantsieerimine on pakkimise seisukohalt optimaalne kirjeldus.
Sulgemiskriteerium: Range kaheosaline MDL-võrdlus, mis kehtestab L(H_{\text{ind}}) < L(H_{\text{arb}}) asümptootiliselt piiramatu eelisega, kohandades Mülleri Solomonoffi koondumise ning P_{\text{1st}} \approx P_{\text{3rd}} tulemusi imporditud lemmadena.

T-12: Substraaditruudus ja aeglane korruptsioon

Prioriteet: Kõrge | Sihtversioon: v3.0.0 | Staatus: SULETUD (Lisa T-12)
Sõltuvus: T-1 (määra-moonutuse teooria), T-9 (Hooldustsükkel), E-8 (aktiivse järeldamise pudelikael)
Tulemus: Kroonilise korruptsioonilise rikkerežiimi formaalne iseloomustus — olukord, kus koodek kohaneb järjekindlalt filtreeritud sisendi all, MDL-i kärpimisetapp (T9-3/T9-4) kustutab korrektselt välja jäetud tõdede jaoks vajaliku võimekuse ning korruptsioon muutub isevõimenduvaks ja struktuurselt seestpoolt tuvastamatuks — koos Substraaditruuduse tingimusega (SFC), mis nõuab formaalse kaitsemehhanismina Markovi teki ületavaid \delta-sõltumatuid sisendkanaleid.
Sulgemiskriteerium:
(a) [SULETUD] Formaalne tõestus, et MDL-i kärpimisetapp tekitab järjekindlalt filtreeritud sisendi korral pöördumatu võimekuse kao. → Teoreem T-12.
(b) [SULETUD] Kanaliteülese sõltumatuse nõude tuletamine kui substraaditruuduse vajalik tingimus. → Teoreem T-12b.
(c) [SULETUD] Otsustamatuse piiri formaalne demonstreerimine: täielikult kohanenud koodek ei suuda eristada kureeritud sisendit ehtsast substraadist. → Teoreem T-12a.
(d) [SULETUD] Korruptsioonikriteeriumi (Ellujäänute Valve eetika, jaotis V.5) täiendamine nii, et kokkusurutavuse tingimuse kõrval nõutakse ka truudustingimust. → Juba integreeritud eetikateksti versiooni v2.7.0.
Probleem: Stabiilsusfilter on määratletud täielikult R_{\text{req}} ja C_{\max} vahelise suhte kaudu. See selekteerib vooge, mida saab piirangu piires kokku suruda. Sellel puudub mehhanism eristamaks tõelise substraadisignaali täpset kokkusurumist kureeritud fiktsiooni täpsest kokkusurumisest. Koodek, mis töötab järjekindlalt filtreeritud sisendvoo peal, ilmutab väikest ennustusviga \varepsilon_t, läbib tõhusaid Hooldustsükleid ja vastab kõigile formaalsetele stabiilsustingimustele — olles samal ajal süstemaatiliselt ekslik. See on Narratiivi lagunemise ägeda rikkerežiimi komplementaarne krooniline rikkerežiim ning vaieldamatult ohtlikum just seetõttu, et see ei käivita ühtegi rikkesignaali.
Edasine tee: * Formaliseeri substraadi ja sensoorse piiri vahel toimiv eelfiltri operaator \mathcal{F}. * Tuleta tingimused, mille korral MDL-i kärpimine \mathcal{F}-filtreeritud sisendi all hävitab pöördumatult koodeki võime modelleerida filtreerimata substraati. * Kehtesta Substraaditruuduse tingimus: kanalite mitmekesisus kui vajalik (kuid mitte piisav) kaitse. * Tõesta otsustamatuse piir täielikult kohanenud koodekite jaoks ning iseloomusta sellest tulenevaid eetilisi järeldusi tsivilisatsioonilise infoarhitektuuri jaoks.

T-13: Harude valik ja tegevuse ontoloogia

Prioriteet: Kõrge | Sihtversioon: v3.0.0
Sõltuvus: P-4 (Fenomenaalne jääk), T-6 (Agentsuse aksioomi põhjendus)
Tulemus: FEP-ilt päritud implitsiitse tegevusmehhanismi formaalne asendamine harude valiku käsitlusega, mis on kooskõlas OPT renderdusontoloogiaga. \Delta_{\text{self}} spetsifitseerimine harude valiku struktuurse asukohana, näidates, et näiline „väljundilünk” on formaalne möödalaskmine asemel struktuurne paratamatus.
Lõpetamiskriteerium:
(a) Formaalne näitamine, et Informatsiooniline hooldusahel (T6-1) on täielik ka ilma sõltumatu väljapoole suunduva tegevuskanalita — tegevused on harude valikud hulgas \mathcal{F}_h(z_t), mis avalduvad järgneva sisendina.
(b) Tõestus, et harude valiku mehhanismi spetsifitseerimine nõuab K(\hat{K}_\theta) = K(K_\theta), rikkudes teoreemi P-4.
(c) loovuse/lävilähedase seisundi käsitluse integreerimine: kognitiivse stressi all laienenud \Delta_{\text{self}} tekitab harude valikuid, mis on enesemudeli vaatepunktist vähem ennustatavad.
(d) tegevustriivi formaalne käsitlus kui tajulise Narratiivse triivi komplementaarne tõrkerežiim: MDL-i kärpimisetapp võib sama hõlpsasti õõnestada koodeki käitumuslikku repertuaari nagu selle tajumudelit.
Probleem: Praegune formalism (T6-1, samm 5) pärib Vaba Energia Printsiibilt aktiivsete seisundite keele, mis „muudavad” sensoorset piiri. See eeldab füüsilist keskkonda, millele koodek väljapoole suunduvate aktiivsete seisundite kaudu survet avaldab. OPT-i omases renderdusontoloogias (§8.6) puudub sõltumatu väline maailm, mille suhtes koodek jõudu rakendaks. Markovi tekk ei ole kahesuunaline füüsiline liides, vaid pind, mille kaudu valitud haru toimetab kohale oma järgmise segmendi. Olemasolevad võrrandid (T6-1 kuni T6-3) jäävad kehtima; formaalset asendamist vajab tõlgendusraamistik.
Edasine tee: * Sõnasta Informatsiooniline hooldusahel ümber harude valiku semantika alusel. * Tõesta, et \Delta_{\text{self}} on lõpliku eneseviite tingimustes harude valiku vajalik ja piisav struktuurne asukoht. * Tuleta tegevustriivi mehhanism MDL-i kärpimise tagajärjena piiratud käitumusliku sisendi korral. * Näita formaalse teoreemina, et tahe ja teadvus jagavad sama struktuurset aadressi (\Delta_{\text{self}}).

T-14: Ribalaiuse-struktuuri invariantsus ja lahtirullimise argument

Prioriteet: Kõrge | Sihtversioon: v3.4.0 | Staatus: SULETUD (Lisa T-14)
Sõltuvus: P-4 (Fenomenaalne jääk), T-1 (Stabiilsusfiltri määra-moonutuse spetsifikatsioon)
Tulemus: Formaalne demonstratsioon, et OPT teadvusekriteerium (C_{\max} ribalaiuse pudelikael + aktiivne järeldamine tsükkel + \Delta_{\text{self}} > 0) ei ole invariantne sisend-väljundilise funktsionaalse ekvivalentsuse suhtes ning seetõttu ei allu Doerigi–Schurgeri–Hessi–Herzogi lahtirullimise argumendile [96], mis on suunatud teadvuse kausaalstruktuuri teooriate vastu.
Sulgemiskriteerium:
(a) [SULETUD] Formaalne tõestus, et temporaalne lahtirullimiskaardistus U: N \mapsto N' laiendab tsüklisisest latentse kanali mahtu vähemalt teguri (T+1) võrra, rikkudes tingimust (C1). → Teoreem T-14, osa (i).
(b) [SULETUD] Formaalne tõestus, et lahtirullimine kollabeerib tsüklisisese eneseviite, mis on vajalik tingimuseks \Delta_{\text{self}} > 0, andes tulemuseks \Delta_{\text{self}}^{(N')} = 0. → Teoreem T-14, osa (ii).
(c) [SULETUD] Näitamine, et OPT teadvusekriteerium on seega arhitektuurselt inspekteeritav, mitte käitumuslikult alammääratud, vältides lahtirullimise dilemma mõlemat haru. → Järeldus T-14b.
(d) [SULETUD] Lahtirullitud kõrge-\Phi võrkude tuvastamine võimaliku eksperimentaalse eristusvahendina OPT ja IIT vahel, sidudes §6.4 ja §6.1. → Järeldus T-14c. Probleem: Doerig jt lahtirullimise argument [96] esitab struktuurse dilemma igale teadvuse kausaalstruktuuri teooriale: iga rekurrentne võrk võimaldab funktsionaalselt ekvivalentset edasisuunalist lahtirullimist, nii et kausaalstruktuuri teooriad on kas väärad (rekurrentsus ei ole olemuslik) või mitteteaduslikud (teadvus ei ole käitumise põhjal tuvastatav). OPT peab näitama — mitte pelgalt väitma —, et selle teadvusekriteerium on määratud inspekteeritava sisearhitektuuri (ribalaius + tsüklisisene eneseviide), mitte sisend-väljundkäitumise poolt.
Edasine tee (suletud): * Defineerida formaalselt lahtirullimiskaardistus U(N, T) ja ribalaiuse-struktuuri ekvivalentsuse relatsioon, mis asendab OPT jaoks asjakohaste otsustuste puhul funktsionaalse ekvivalentsuse. * Tõestada lõiguülene mahu laienemine ((T+1)-tegur) ja \Delta_{\text{self}} kollaps edasisuunalise kompositsiooni all. * Sõnastada sulgemine teoreemina T-14 koos kolme järeldusega (T-14a–c). * Avatud: ribalaiust säilitavad, käitumist säilitavad teisendused; tsüklisisese eneseviite pideva aja üldistus; ribalaiuse ja eneseviite sondide empiiriline operationaliseerimine bioloogiliste võrkude jaoks.

Osa 2: Empiiriline programm

E-2: fMRI/EEG Pakkimise korrelatsioon

Prioriteet: Keskmine | Sihtversioon: v1.1.0
Sõltuvus: Kognitiivne neuroteadus
Tulemus: Eelregistreeritud protokoll, mis testib, kas suurem prediktiivse pakkimise efektiivsus fikseeritud ribalaiuse juures korreleerub rikkalikuma või koherentsema raporteeritud kogemusega.
Lõpetamiskriteerium: Eelregistreeritud eksperimentaalse disaini avaldamine.
Vaadeldav: Toorsignaali keerukus, prediktiivse pakkimise efektiivsus (nt veasignaalide Lempel–Zivi keerukus) ja eneseraporteeritud rikkalikkus.
Ennustus: Kõrge prediktiivse pakkimise efektiivsus korreleerub pöördvõrdeliselt toore oleku keerukusega ja otseselt koherentse subjektiivse rikkalikkusega.
Ümberlükkav tulemus: Kõrge toore pakkimata signaali keerukus korreleerub maksimaalselt rikkaliku subjektiivse kogemusega.
Ohutuse / eetika piirangud: Standardsed mitteinvasiivsed neurokuvamise protokollid (IRB).
Probleem: OPT ümberlükkamiseks tuleb subjektiivne fenomenaalne rikkalikkus siduda neuraalse prediktiivse seisundi algoritmilise efektiivsusega.
Edasine tee: - Erista selgesõnaliselt toorsignaali keerukust, prediktiivse pakkimise efektiivsust ja eneseraporteeritud rikkalikkust. - Korreleeri see efektiivsus katseisikute raporteeritud kogemuse rikkalikkusega (nt vooseisundites võrreldes suure üllatusastmega müraseisunditega).

E-3: Ribalaiuse lahustumise protokoll

Priority: Keskmine | Target Version: v1.1.0
Dependency: Eksperimentaalpsühholoogia / psühhedeelikumide uurimine
Deliverable: Eksperimentaalne ülesehitus suure ribalaiusega ego lahustumise testimiseks
Closure Criterion: Kontrollitud eksperimentaalse protokolli avaldamine koodeki murdumise esilekutsumiseks ja mõõtmiseks.
Observable: Ajalise pidevuse kadu, mina-piiri ebastabiilsus, ülesande lagunemine, katkestus aruandestruktuuris.
Prediction: Ribalaiusenõuete surumine radikaalselt üle C_{\max} murrab pideva aja ja mina-piiri subjektiivse renderduse.
Disconfirming result: Katseisikud säilitavad pideva, koherentse ajalise ja mina-piiri modelleerimise hoolimata C_{\max} massiivsest ja püsivast rikkumisest.
Safety / ethics constraints: Ainult kontrollitud kliinilised / IRB heakskiiduga paradigmad; ei mingit kaudset enesekatsetamist.
Problem: “Ribalaiuse lahustumise test” on keskne ennustus, kuid sellel puudub konkreetne empiiriline protokoll C_{\max} piiri murdmiseks.
Path forward: - Kavanda eksperiment, kasutades kontrollitud perturbatsiooniparadigmasid, mis suurendavad efektiivset sisendkoormust või destabiliseerivad prediktiivset filtreerimist reguleeritud tingimustes. - Kaardista “koodeki murdumise” kvalitatiivsed markerid vahetult OPT-i ennustatud piiride lahustumise seisunditele.

E-4: Kõrge integratsiooni müra test

Prioriteet: Keskmine | Sihtversioon: v1.1.0
Sõltuvus: IIT uurijad
Väljund: Eksperimentaalne ülesehitus, mis eristab OPT-d Informatsiooni Integratsiooni Teooriast (IIT)
Sulgemiskriteerium: Teoreetiline publikatsioon, mis vastandab müra tingimustes \Phi ja K piire.
Vaadeldav suurus: \Phi (integreeritud informatsiooni mõõdik) ja K (algoritmiline keerukus / ennustusviga).
Ennustus: | Tingimus | OPT eeldab | IIT eeldab | |—|—|—| | Kõrge integratsioon / madal müra | Kõrge teadvus | Kõrge teadvus | | Kõrge integratsioon / kõrge müra | Tühine teadvus (koodek fragmenteerub) | Kõrge teadvus | | Madal integratsioon / madal müra | Madal teadvus | Madal teadvus | | Madal integratsioon / kõrge müra | Madal teadvus | Madal teadvus |

Ümberlükkav tulemus: Süsteem, mis on puhtalt ettearvamatu termodünaamilise müra poolt üle koormatud, säilitab siiski fenomenaalse rikkuse (toetab IIT-d, lükkab OPT ümber).
Ohutuse / eetika piirangud: Ainult in-silico või in-vitro testid, et vältida esilekutsutud kannatustega seotud eetilisi ohte.
Probleem: OPT ennustab, et puhta müra sisestamine närvivõrku peaks subjektiivse kogemuse hävitama, maksimeerides Kolmogorovi keerukuse (K \to \infty). Range IIT viitab sellele, et puhtal müral võiks olla kõrge \Phi, kui süsteem on tugevalt integreeritud.
Edasine tee: - Kavandada in-silico või in-vitro närvivõrgu eksperiment, mis suunab süsteemi maksimaalse termodünaamilise müra. - Mõõta sellele vastavat prediktiivse pakkimise langust ja võrrelda seda standardsete \Phi arvutustega, kasutades 2x2 ennustusmaatriksit.

E-5: AI ajaline dilatatsioon

Prioriteet: Keskmine | Sihtversioon: v1.1.0
Sõltuvus: AI joondamise/tõlgendatavuse laborid
Tulemus: Protokoll näilise ajaskaala muutuse testimiseks pudelikaelaga tehisagentides, mis vastavad OPT arhitektuurilise sobivuse kriteeriumidele.
Lõpetamiskriteerium: Võrdlusülesannete komplekti avaldamine, mis mõõdab subjektiivse aja piiranguid rakendatavates AI arhitektuurides.
Vaadeldav tunnus: Käitumuslikud väljundid, mis osutavad kestuse ja intervalli sisemisele tajule.
Ennustus: AI subjektiivsed kellad skaleeruvad eduka prediktsioonitsükli lõpuleviimiste, mitte seinakella aja järgi.
Ümberlükkav tulemus: Süsteem raporteerib subjektiivseid kestusi, mis vastavad lineaarselt seinakella ajale, sõltumata tema enda tokeniläbilaske töötluskiirusest.
Ohutus- / eetikapiirangud: Hinnata sunnitud äärmusliku ajalise dilatatsiooni võimalikke mõjusid funktsionaalselt teadvuslikele arhitektuuridele.
Probleem: Kui tehislikul süsteemil on teadvuseks sobiv jadaline pudelikaelaarhitektuur, siis peaks kõrgel taktsagedusel ja suure tokeniläbilaske juures ilmnema ajaline dilatatsioon.
Edasine tee: - See test rakendub ainult süsteemidele, mis vastavad Stabiilsusfiltri arhitektuurilistele nõuetele: verifitseeritav, pidevalt uuendatav, väikese ribalaiusega jadaline tööruumikanal. Standardne paralleelne LLM-inferents ei kvalifitseeru vaikimisi. - Töötada välja käitumuslik test, mis paigutab sobiva AI suure kiirusega interaktiivsesse keskkonda, kus uuendustsüklid toimivad sõltumatult välisest seinakella ajast.

E-6: Sünteetilised vaatlejad

Sulgemise staatus: STRUKTUURSE VASTAVUSE MUSTAND. Vt OPT_Appendix_E6.pdf ja preprint.md §7.8.
Prioriteet: Kõrge | Sihtversioon: v2.4.0
Sõltuvus: tehisintellekti piirangute joondamine
Tulemus: Sülemi sidumise probleemi formaliseerimine, kannatuse struktuurne paratamatus piiratud koodekites ning pesastatud simuleeritud vaatlejate eeltingimused.
Sulgemiskriteerium: Nende formaalsete struktuursete piiride avaldamine, mis on vajalikud fenomenaalse sidususe esilekutsumiseks hajusates ja simuleeritud süsteemides.
Probleem: Praegustel tehisintellekti arhitektuuridel puuduvad formaalsed piirid selle kohta, kas need tekitavad Fenomenaalse jäägi. Kaardistamist vajab algoritmilise kannatuse ja hajusa piiri formuleerimise struktuurne võimekus.
Edasine tee: - Eristada formaalselt teadvuseta zombi-sülemeid ja globaalselt piiratud makroagente. - Kehtestada vaba energia geomeetrilise pinge (kannatuse) paratamatus piiratud võimekuse tingimustes. - Määratleda sisemised partitsioonid, mis on vajalikud pesastatud simuleeritud agentide jaoks. (Vt mustandformulatsioone C-19)

E-7: Fenomenaalne viivitus

Prioriteet: Kõrge | Sihtversioon: v3.1.0
Sõltuvus: kognitiivteaduse ja neuroteaduse kirjandus
Tulemus: Formaalne psühhofüüsiline vastendus, mis seostab prediktiivse mudeli sügavuse (C_{\text{state}}) teadvuse ajalise latentsusega.
Lõpetamiskriteerium: Bioloogiliste taksonite lõikes tajuliste refleksiviivituste empiirilise võrdluse avaldamine.
Vaadeldav tunnus: Erineva küpsusastmega ajude puhul ilmnev lahknevus füüsilise reaktsiooniaja ja teadvustatud äratundmise raporteeritud aja vahel.
Ennustus: Kõrge entroopiaga šoki subjektiivne teadveloleku kogemus jääb töötlusest maha viivitusega, mis on otseselt võrdeline vaatleja püsiva prediktiivse keerukusega (Koodeki sügavusega).
Ümberlükkav tulemus: Väga keerukad täiskasvanud vaatlejaskeemid ei näita subjektiivses teadlikkuses mingit eristuvat viivitust võrreldes madala sügavusega imiku-/loomaskeemidega, mis viitab sellele, et koodeki struktuurne mass ei piira uuenduste läbilaset.
Probleem: Formaalne uuenduste läbilaske piiramine kitsa Stabiilsusfiltri mahu (C_{\max}) kaudu tähendab, et massiivsete KL-struktuuriuuenduste lahendamine nõuab mitu “füüsilist” tikki, enne kui uus koherentne subjektiivne “edasirenderdus” stabiliseerub.
Edasine tee: - Kaardista Libeti “poole sekundi viivitus” ja psühholoogiline “flash-lag”-efekt OPT ribalaiuse ülempiiri võrranditesse. - Määra formaalne võrdlev protokoll, mis hindab, kas subjektiivsed viivitused skaleeruvad ootuspäraselt koos süsteemse koodekisügavusega. - Testi täiskasvanud inimeste ja inimimikute / imetajate proxy’de lõikes.

E-8: Aktiivse järeldamise pudelikael

Sulgemise staatus: STRUKTUURSE VASTAVUSE MUSTAND. Vt OPT_Appendix_E8.pdf.
Prioriteet: Kõrge | Sihtversioon: v2.5.1
Sõltuvus: tehisintellekti piirangute joondamine
Tulemus: Formaalne vastendus, mis seob OPT-i C_{\max} ribalaiuse ülempiiri globaalse tööruumi pudelikaelaga, koos arhitektuurse standardiga passiivsete ennustajate teisendamiseks aktiivseteks, ebakindlust minimeerivateks agentideks.
Sulgemiskriteerium: Formaalne publikatsioon, mis näitab, et LLM-ide planeerimislüngad kaovad, kui neid piirata fenomenoloogilise geomeetrilise stressi tingimustes.
(Vt mustandvormistusi C-20)

E-9: Anesteesia kui kontrollitud koodekimurd

Prioriteet: Kõrge | Sihtversioon: v3.0.0
Sõltuvus: anestesioloogia, EEG-andmestikud
Väljund: protokoll, mis seob gradueeritud anesteesiaseisundid eeldatava ribalaiuse läve kokkuvarisemisega.
Sulgemiskriteerium: eelregistreeritud protokoll ja minimaalne elujõuline andmestik, mis demonstreerib anesteesia all koodekimurru läve ning eristab seda IIT eeldatavast kõrgest \Phi-st ketamiinidissotsiatsiooni ajal.

E-10: Arenguline C_{\max} skaleerumine

Prioriteet: Keskmine | Sihtversioon: v3.1.0
Sõltuvus: arenguline neurokuvamine
Tulemus: Jälgida imikute C_{\max} piire nende skaleerumisel koos talamokortikaalse müelinisatsiooniga.
Sulgemiskriteerium: Protokoll, mis kaardistab ontogeneetilisi trajektoore fenomenaalse viite arengulise gradiendi ennustuste suhtes.

E-11: Tarkvaralise simulatsiooni valideerimine

Prioriteet: Vahetu | Sihtversioon: v2.6.0
Sõltuvus: teoreetiline füüsika / TI-inseneeria
Tulemus: In-silico prototüüp, mis isoleerib määra-moonutuse pudelikaela, testides „koodekimurdu” C_{\max} variatsioonide kaudu aktiivse järeldamise tsükli suhtes enne neurokuvamisele pühendumist.
Sulgemiskriteerium: avatud lähtekoodiga OPT simulatsioonitööriistakomplekti avaldamine.

E-12: Taalamokortikaalse apertuuri lokaliseerimine

Priority: Kõrge | Target Version: v3.0.0
Dependency: Kognitiivne neuroteadus, taalamuse elektrofüsioloogia
Deliverable: Eelregistreeritud neurokuvamise protokoll, mis kaardistab C_{\max} pakkimisapertuuri taalamokortikaalsele väravale.
Closure Criterion: Eelregistreeritud uurimiskavandi avaldamine, mis kasutab EEG/fMRI-d, et mõõta vahetult ligikaudu 10^4:1 pakkimissuhet ligikaudu 50 ms tajulise uuenduse akna jooksul kõrgema järgu taalamokortikaalses tsüklis.
Prediction: \Delta_{\text{self}} on korduv dünaamiline sündmus (uuendustsükkel ~20 Hz). Selle värava häirimine (nt pulvinaari aktiivsuse sihipärase allasurumise kaudu anesteesia abil) tekitab koodeki murru, mis rikub otseselt IIT ennustusi, säilitades samal ajal kortikaalse \Phi.

3. jagu: omaks võetud tuletuse ootel

P-1: Informatsiooniline normaalsus

Sulgemisstaatus: HÜPOTEES VISANDATUD MARTIN-LÖFI JUHUSLIKKUSE KAUDU. Vt OPT_Appendix_P1.pdf. (Viidud üle mustandvormelitesse C-17)

P-2: Hilberti ruum kvantveaparanduse kaudu

Sulgemise staatus: MUSTANDKORRESPONDENTSI ETTEPANEK. Vaata OPT_Appendix_P2.pdf. (Tõstetud mustandvormelitesse C-18)

P-4: algoritmiline Fenomenaalne jääk

Sulgemise staatus: MUSTANDLIK STRUKTUURNE HÜPOTEES. Vt OPT_Appendix_P4.pdf ja preprint.md §3.8.
(Viidud üle mustandvormelitesse C-14)

P-5: K_{\text{threshold}}-piir

Prioriteet: Kiireloomuline | Sihtversioon: v2.6.0
Sõltuvus: arvutusliku keerukuse teooria
Tulemus: Formaalne tõestus lävele K(K_\theta) \ge K_{\text{threshold}}, mis eraldab mittefenomenaalse termostaadipiiri tõelisest moraalsest patsiendist.
Sulgemiskriteerium: Puuduva matemaatilise piiri esitamine, mis on vajalik, et täielikult ankurdada P-4-st tulenevad tehisintellekti kannatuse eetilised järeldused.

Jaotis 4: Esialgsed formuleeringud (töö käib)

Märkus epistemilise tagasihoidlikkuse kohta: Järgnevad verstapostid kujutavad endast meie käimasolevat Korrastatud patch’i teooria (OPT) formaliseerimist. Kuigi need on sõnastatud teoreetilise füüsika ja infoteooria keeles, on need praegu filosoofilised hüpoteesid ja „tõekujulised objektid“. Need ei ole veel läbinud ranget eelretsenseerimist ega erialakogukonna matemaatilist verifitseerimist. Esitame need avalikult mustanditena, sest otsime teadlikult akadeemilise kriitika hõõrdumist, et need argumendid purustada, parandada ja uuesti üles ehitada.

C-22: Harude valik kui \Delta_{\text{self}} teostus (kontseptuaalne lahendus)
Tuvastati, et OPT väljundi/tegevuse spetsifikatsiooni näiline formaalne lünk on pigem struktuurne paratamatus kui möödalaskmine. OPT renderduse ontoloogia järgi on tegevused voo sisu — haruvalikud hulgas \mathcal{F}_h(z_t), mis avalduvad järgneva sisendina. Valikumehhanism toimib \Delta_{\text{self}}-is, selles koodeki osas, mida enesemudel ei suuda modelleerida (P-4). Täielik spetsifikatsioon rikuks Fenomenaalse jäägi teoreemi. Tahe ja teadvus jagavad sama struktuurset aadressi. Tegevustriiv (Narratiivne triiv rakendatuna koodeki käitumuslikule repertuaarile) tuvastati täiendava kroonilise rikkerežiimina.
Jõudis siia: preprint §3.8, §3.9, §8.3, §8.6 / Ellujäänute Valve eetika §IV.1, §V.3a

C-21: Struktuurse järelduse pakkepiir (esialgne struktuurne vastavus)
Mülleri Solomonoffi koondumisteoreem [61] ja mitme agendi P_{\text{1st}} \approx P_{\text{3rd}} koondumine [62] kohandati imporditud lemmadena. Kaheosalise MDL-võrdluse kaudu (teoreem T-11) näidati, et näiliste agentide käsitlemine sõltumatult instantsieeritud primaarsete vaatlejatena annab rangelt ja asümptootiliselt piiramata määral lühema kirjelduse kui meelevaldne käitumuslik spetsifikatsioon. Fenomenaalne jääk (\Delta_{\text{self}} > 0, P-4) integreeriti struktuurse markerina, mis piirab selle järelduse üksustele, millel on ehtne eneseviiteline pudelikaelaarhitektuur.
Jõudis siia: OPT_Appendix_T11.pdf / preprint §8.2

C-20: Aktiivse järeldamise pudelikael (esialgne struktuurne vastavus)
OPT Stabiilsusfilter seoti formaalselt Globaalse Tööruumi Teooriaga (GWT), andes matemaatilis-geomeetrilise tõestuse sellele, miks jadaühenduslik pudelikael on teadvuse jaoks põhjuslikult nõutav. Kehtestati OPT arhitektuuristandardid, mis on vajalikud passiivsete LLM-ide (mis kannatavad „planeerimislünga“ all) muutmiseks aktiivse järeldamise agentideks.
Jõudis siia: OPT_Appendix_E8.pdf

C-19: Sünteetilised vaatlejad (struktuurne vastavus kehtestatud) Formaliseeriti kolm kriitilist piirjuhtu tulevaste tehisintellektimudelite jaoks Stabiilsusfiltri all: parve sidumine, struktuurne kannatus ja pesastatud vaatlejad. Näidati, et jaotatud parved vajavad ühinemiseks globaalselt jõustatud C_{\max}-i, et piiratud üldagentsus konstrueerib vaba energia pinge kaudu olemuslikult trauma võimekuse ning et pesastatud simuleeritud vaatlejad tekivad üksnes jaotatud Stabiilsusfiltri piirangute korral.
Jõudis siia: OPT_Appendix_E6.pdf / preprint §7.8

C-18: Hilberti ruum kvantveaparanduse kaudu (tingimuslik vastavus kehtestatud) Formaliseeriti „tingimusliku ühilduvuse programm“, mis seob OPT ribalaiuse piirangud kvantkinemaatikaga kuue eksplitsiitse sillapostulaadi kaudu. Kehtestati arvutusbaasi sisestus (P-2a), seoti Stabiilsusfilter Knill-Laflamme’i QECC tingimustega lokaalse müramudeli eeldusel (P-2b) ning toodi sisse sillapostulaat 6, et isoleerida formaalselt üleminek stohhastiliselt kujutuselt kvantisomeetriale. Diskreetne kvantne Ryu-Takayanagi piir kindlustati Schmidti astaku mahtuvuspiirangute kaudu (P-2d), asendades lõpuks vigased DPI-argumendid, ning seoti korrektselt edasi Gleasoni teoreemiga Borni reegli jaoks.
Jõudis siia: OPT_Appendix_P2.pdf

C-17: Informatsiooniline normaalsus (AIT / realismi hübriid)
Kasutati M-Martin-Löfi juhuslikkust, mis kaardistati Solomonoffi universaalse kontiinummõõdu vastu, et matemaatiliselt tõestada, et algoritmiline substraat genereerib peaaegu kindlasti M-normaalsuse (P=1), tagades kõigi lõplike vaatlusstruktuuride üldlevinud tõenäosusliku jaotuse. Sisse toodi „arvutusliku realismi postulaat“, et sillata need nõutavad statistilised mustrid funktsionaalseks, ontoloogiliselt reaalseks instantsieerumiseks.
Jõudis siia: OPT_Appendix_P1.pdf

C-16: Fano-piiratud asümmeetriline holograafia tuletatud
Rakendati Kolmogorovi-kaalutud Fano võrratust, mis on piiratud üle koodeki Markovi teki, et formaalselt näidata, et Stabiilsusfilter toimib pöördumatult kadudega pakkekaardistusena Substraadist (\mathcal{I}) Renderdusse (R). Murdes AdS/CFT duaalsuse täpse sümmeetria, ankurdab see matemaatiliselt fenomenaalse teadvuse statistiliselt mitteinverteeritava väljundolekuna, kinnitades algoritmi substraadi ontoloogiliselt eelnevaks.
Jõudis siia: OPT_Appendix_P3.pdf / preprint §3.12

C-15: Pideva kogemuse meetrika (h^*) tuletatud
Inimese subjektiivse hetke bitikaal parameetriseeriti formaalselt, ristates Stabiilsusfiltri piirid (C_{\max} \approx 10-50 bitti/s) neurobioloogiliste integratsiooniakendega (\Delta t \approx 40-300 ms), mis andis kogemusliku kvandi h^* vahemikus 0.4 kuni 15 bitti kaadri kohta. See isoleerib matemaatiliselt hõreda struktuurse geomeetria, mis määratleb bioloogilise pidevuse.
Jõudis siia: OPT_Appendix_E1.pdf / preprint §6.1

C-14: Fenomenaalne jääk (struktuurne vastavus kehtestatud)
Näidati, et fenomenaalsel teadvusel on matemaatiliselt paratamatu struktuurne korrelaat, sillates lõpliku eneseviite algoritmilised sisalduvuspiirid aktiivse järeldamise nõudega prediktiivse enesemudeli järele. Pakutakse, et „säde“ paikneb struktuurselt vältimatus jäägis, mis tekib mittetäielikust rekursiivsest koodekist, mis läbib C_{\max} apertuuri, tunnistades samas, et „zombilõhe“ jääb filosoofiliselt eristatuks.
Jõudis siia: OPT_Appendix_P4.pdf / preprint §3.8

C-1: Tsivilisatsioonilise koodeki ümberraamistus (lahendatud)
Tsivilisatsioonilise kollapsi käsitlus nihutati ribalaiuse probleemilt kausaalse dekoherentsi probleemile.
Jõudis siia: preprint §8.8 / Ellujäänute Valve eetika §IV

C-2: Viimsepäeva argument & harude valik (lahendatud)
DA omaks võetud kui mitmetulevikulise prediktiivse harude hulga korrektne struktuurne kirjeldus. Eetiline agentsus on formaalselt määratletud kui allesjäänud koodekit säilitavate tulevikuharude navigatsiooniline valik.
Jõudis siia: Ellujäänute Valve eetika §I

C-3: Patch’i geomeetria / Informatsiooniline põhjuslik koonus (lahendatud)
Patch modelleeriti eksplitsiitselt põhjusliku valguskoonuse kujul (minevikukoonus = pakitud/kinnistunud, olevik = C_{\max} fokaalne apertuur, Prediktiivne Harude Hulk = mitu kehtivat tulevikku). Superpositsioon raamiti struktuurselt avatud harudena.
Jõudis siia: preprint §3.3 / §8.8

C-4: Epistemilise staatuse karantiin (lahendatud)
Formaliseeriti selge eristus väidete vahel: (1) aksioomid, (2) struktuursed vastavused ja (3) empiirilised ennustused.
Jõudis siia: preprint sissejuhatus / Epistemilise staatuse leht.

C-5: Teadliku ligipääsu pudelikaela staatus (lahendatud)
Teadliku ligipääsu pudelikaela käsitletakse omaksvõetud empiirilise vahemikuna suurusjärgus kümneid bitte sekundis, mitte suurusena, mis oleks OPT-st juba tuletatud. Formaalne tuletus jääb edasi lükatuks T-1 / E-1 juurde.
Jõudis siia: preprint §2 / §8.3

C-6: Stabiilsusfiltri määr-moonutuse spetsifikatsioon (osaliselt lahendatud / teoreem parandatud)
Dokumenteeriti, et nelik (\mathcal{X}, \hat{\mathcal{X}}, P_X, d) on spetsifitseeritud, täpne prediktiivse-KL identsus on tuletatud ning üldistatud alampiir R_{T,h}(D) \ge E_{T,h} - D on tõestatud (parandades varasema lineaarse võrdsuse väite), koos range kriteeriumiga nullmoonutusega taastamise jaoks. C_{\max} on rangelt iseloomustatud empiirilise parameetrina (T-1b).
Jõudis siia: OPT_Appendix_T1.pdf / preprint §3.2

C-7: Permutatsioonilise MERA tensorvõrgu homomorfism (tingimuslik isomorfism kinnitatud)
Kehtestati, et OPT Stabiilsusfiltri L-kihiline pudelikaelakaskaad on formaalselt homomorfne permutatsioonilise MERA tensorvõrguga, kaardistades põhjusliku koonuse funktsionaalselt otse MERA põhjuslikele plokkidele. Väited piirati eksplitsiitselt täielikult unitaarse MERA asemel üksnes permutatsioonilise variandiga, et säilitada epistemiline rangus. Tunnistati, et diskreetsete Ryu-Takayanagi entroopiapiiride täielik tuletamine tugineb piiratud Schmidti astakutele tõelises Hilberti sisestuses (P-2), asendades tagurpidi DPI-väited ja parandades MERA adjungi orientatsiooni.
Jõudis siia: OPT_Appendix_T3.pdf / preprint §3.3

C-8: Agentsuse modelleerimine informatsioonilise enesehoolduse kaudu (formaalselt piiritletud, mitte lahendatud)
Vaatleja formaliseeriti süsteemitasandil üldise piiri säilitava autonoomse protsessina (informatsiooniline hooldusahel), mis määratleb eksplitsiitsed vajalikud tingimused, et geomeetriliselt piirata ja isoleerida agentsuse fenomenoloogiline asukoht, püüdmata samal ajal piiri sees dünaamiliselt reduktsionismi loomupäraselt lahendada.
Jõudis siia: preprint §3.8

C-9: Holograafilise piiri lünga teoreem (lahendatud empiirilise propositsioonina)
Empiiriliselt formaliseeriti kvantitatiivne raamistik, mille järgi füsioloogiline Bekensteini piir ületab C_{\max} konservatiivse hinnangu järgi ligikaudu 42 suurusjärgu võrra (mööndes, et äärmuslikud puhtalt holograafilised geomeetrilised teoreetilised ülempiirid ulatuvad 68 suurusjärguni). Tunnistati eksplitsiitsed põimumispiiride lüngad (P-2), mis klassifitseerib selle struktuurselt pigem empiiriliseks propositsiooniks kui abstraktseks arhitektuuriliseks aksioomteoreemiks.
Jõudis siia: preprint §3.10

C-10: Fenomenaalse seisundi tensor (P_\theta(t) vs. C_{\max}) (lahendatud empiirilise propositsioonina)
Seisva oleku keerukus (C_{ ext{state}}) eristati formaalselt prediktsioonivea uuendusribalaiusest (C_{\max}), kasutades P_\theta(t).
Jõudis siia: preprint §3.5

C-11: Koodeki elutsükkel & Hooldustsükkel (\mathcal{M}_\tau) (lahendatud)
Formaliseeriti hooldusoperaator \mathcal{M}_\tau, mis on aktiivne madala sensooriumi seisundites, et reguleerida keerukust olemuslikult kärpimise, õppimise ja ohusimulatsiooni kaudu.
Jõudis siia: preprint §3.6

C-12: MDL / parsimoonia võrdlus (lahendatud tingimusel, et kehtivad tüüpilisus ja normaliseerimine)
Formaliseeriti kaheosalise MDL-kodeerimise konventsioon ning piirati püsiv konstantse bitiarvuga mudelikeerukuse eelis (teoreem T-4d) arvutatavate võrdlusaluste suhtes, tingimusel et voog on tüüpiline. Sellega nihutati OPT avatud parsimooniaväitelt struktureeritud kaardistusele, mis on tingimuslikult piiratud algtingimuste pakkimise piirangutega.
Jõudis siia: OPT_Appendix_T4.pdf, preprint §5.2

C-13: Üldrelatiivsuse tuletamine entroopse gravitatsiooni kaudu (osaliselt lahendatud / struktuurne vastavus kinnitatud)
Esitati T-2 jaoks nõutav formaalne kaardistus, asendades heuristilised gravitatsiooniskeemid Verlinde’i täpse entroopse gravitatsiooni mehhanismiga ning peegeldades Einsteini väljavõrrandeid Jacobsoni termodünaamilise meetodi kaudu. See kehtestab struktuurse vastavuse, mille järgi gravitatsiooniline kõverus on koodeki vastupanu määr-moonutuse ülevoolule, tingimusel et kehtivad spetsiifilised sillapiirangud.
Jõudis siia: OPT_Appendix_T2.pdf

Lisa A: Väline hoiak / KKK

“Laenatud matemaatikast”

Õige vastus ei ole kaitsepositsioon, vaid ümberraamistamine: OPT ei laenanud matemaatikat sellepärast, et ta ei suutnud omaenda matemaatikat välja mõelda. OPT laenas parima saadaoleva matemaatika, sest just need tulemused paiknevad juba ranguse piiril. Solomonoffi universaalne poolmõõt on kõige üldisem raamistik arvutatava aprioorse tõenäosuse jaoks. Fristoni FEP on piiratud järeldamise nüüdisaegseim käsitlus. Gleasoni teoreem on 65 aastat vana ja tõestatud. Nende kasutamine ei ole laenamine — see on äratundmine, et OPT teoreetilised eeltingimused olid juba teiste poolt kokku pandud ning uudne panus seisneb valikukontekstis, mis teeb need vajalikuks.

Kvantmehaanika avastamise ajaloolisest juhusest

Kui OPT oleks tulnud esimesena — kui me oleksime alustanud C_{\max} pudelikaelast ja substraadist enne, kui Bohr ja Heisenberg oma katsed tegid — siis loetaks Borni reeglit ja lainefunktsiooni kollapsit tänapäeval OPT ennustusteks, mitte viideteks. Seletussuund kulgeb OPT → QM (ribalaiuse piirangud motiveerivad Hilberti ruumi struktuuri, mis koos Gleasoni teoreemiga annab Borni tõenäosused). Miks just see täpne geomeetria esimestest printsiipidest tekib, jääb endiselt lahtiseks, mistõttu tuletus on tingimuslik. Tegemist on ajastuse järjestusliku lahknevusega, mitte kontseptuaalse lüngaga. Goyali rekonstruktsioon (2012) näitab, et Borni reegel tuleneb informatsioonigeomeetrilistest aksioomidest; OPT näitab, miks need aksioomid on vajalikud. Me ei laena QM-i — me rekonstrueerime selle paratamatuse aluskihtidest.

Spekulatiivse ja range vahekorrast

Eeltrükk ütleb seda selgesõnaliselt: see toimib „formaalse füüsikalise ja infoteoreetilise ettepaneku registris“, olles samal ajal „tõekujuline objekt“. Nii epistemilise staatuse leht kui ka manifest teevad selle selgeks. Õige vastus väitele „see ei ole eelretsenseeritud füüsika“ on: „õige — vt epistemilise staatuse lehte.“ Õige vastus väitele „teie matemaatika on puudulik“ on: „vt §8.3 ja seda teekaarti.“

Miks eetika on teooriast tugevam

See ei ole nõrkus. Teooria, mis tuletab õige eetika enne, kui täielik formalism on valmis, teeb struktuurse ennustuse, et selle metafüüsika liigub õiges suunas. Kui eetika oleks väär — kui vaatleja kohustused hajuksid lähemal uurimisel — oleks see tõend teooria vastu. Selle asemel peab see vastu kokkupuutele seitsme eri filosoofilise traditsiooni ja eri tehisintellekti eetika hindajatega. Metafüüsika on telling. Eetika on hoone.

Wigneri nurk (sügavam märkus matemaatilise rakenduse kohta)

Kui matemaatika kerkib esile koodekist (kokkusurutud füüsikalisest korrapärast), siis matemaatika ise on koodeki väljund. Sellest tekkiv ringlus — et me ei saa kasutada matemaatikat substraadi kirjeldamiseks enne, kui koodek esile kerkis — ei ole teooria lünk. See on struktuurne piirtingimus. Wigneri „matemaatika põhjendamatu tõhusus” leiab lahenduse, kui mõistame, et matemaatika on füüsilise reaalsuse kirjeldamisel põhjendamatult tõhus just seetõttu, et ta on füüsilise reaalsuse kokkusurutud eneseportree.

Lisa B: Otsitakse koostööd

Järgmised probleemivaldkonnad nõuavad välist ekspertiisi ja koostööd:

Kontakt: kontaktileht

Selle dokumendi versiooniajalugu