Korrastatud patch’i teooria (OPT)

Algne ülesanne (§8.3, piirang 10): “Formaliseerida implitsiitse FEP-i toimemehhanismi asendamine haruvaliku käsitlusega, mis on OPT renderdusontoloogiale omane.” Tulemus: Formaalne demonstratsioon, et Informatsiooniline hooldusahel on haruvaliku semantika all täielik, kusjuures \Delta_{\text{self}} on valiku vajalik ja piisav lookus.

Lõpetatuse staatus: STRUKTUURSE VASTAVUSE MUSTAND. Käesolev lisa formaliseerib haruvaliku käsitluse, mida tutvustati diskursiivselt eeltrüki §3.8-s. See kehtestab kaks teoreemi ja ühe järelduse, mis kõik on tingimuslikud teoreemi P-4 ja Agentsuse aksioomi suhtes. Informatsioonilise hooldusahela võrrandid (T6-1 kuni T6-3) jäävad muutumatuks; formaalselt asendatakse üksnes nende ontoloogiline tõlgendus.

§1. Taust ja motivatsioon

1.1 Päritud asümmeetria

Informatsiooniline hooldusahel (T6-1, eeltrükk §3.8) kirjeldab viieastmelist tsüklit: ennustus, viga, pakkimine, uuendus ja tegevus. Sammud 1–4 on OPT-i omaraamistikus hästi määratletud:

1. Fenomenaalse seisundi tensor P_\theta(t) genereerib ennustatud piiriseisundi \pi_t.
2. Tegelik piiriseisund X_{\partial_R A}(t) saabub; arvutatakse ennustusviga \varepsilon_t.
3. Viga pakitakse kaadriülese B_{\max} pudelikaela kaudu, et saada Z_t, kusjuures I(\varepsilon_t; Z_t) \le B_{\max}.
4. Õppimisoperaator \mathcal{U} korrigeerib P_\theta(t+1).

Samm 5 — tegevussamm — pärib Vaba Energia Printsiibi (FEP) keelekasutuse: “P_\theta(t) valib tegevuse a_t aktiivse järeldamise laskumise kaudu variatsioonilisel vaba energia maastikul, mis muudab sensoorset piiri hetkel t+1.” See sõnastus eeldab füüsilist keskkonda, millele koodek avaldab mõju Markovi teki \partial_R A kaudu väljapoole suunduvate aktiivsete seisundite vahendusel.

1.2 Probleem renderdusontoloogia all

OPT loomupärase renderdusontoloogia järgi (eeltrükk §8.6) ei ole olemas sõltumatut välist maailma, mille suhtes koodek jõudu rakendaks. “Füüsiline maailm” on vaatlejaga ühilduva voo sees esinev struktuurne regulaarsus — renderdus, mille tekitab koodeki prediktiivne mudel, mitte substraat, millega koodek vastastikmõjus on. Markovi tekk ei ole kahesuunaline füüsiline liides; see on informatsiooniline pind, mille kaudu voo sisu saabub.

See tekitab formaalse pinge: T6-1 kuni T6-3 matemaatika on kehtiv (see kirjeldab piirangutega vaba energia minimeerimist Prediktiivse Harude Hulga üle), kuid tõlgendusraamistik — “tegevus muudab sensoorset piiri” — eeldab ontoloogiat, mille OPT sõnaselgelt tagasi lükkab.

1.3 Käesoleva lisa ulatus

Käesolev lisa esitab:

1. Informatsioonilise hooldusahela formaalse ümberesituse haruvaliku semantika all, näidates ahela täielikkust ilma sõltumatu tegevuskanalita (teoreem T-13).
2. Tõestuse, et haruvaliku mehhanismi täielik spetsifitseerimine koodeki seestpoolt on võimatu, paigutades valiku \Delta_{\text{self}}-i (teoreem T-13a).
3. Järelduse, mis kehtestab, et tahe ja teadvus jagavad sama struktuurset aadressi (järeldus T-13b).
4. Tagajärjed loovusele ja tegevustriivile.

§2. Teoreem T-13: haruvaliku täielikkus

2.1 Haruvaliku ümberesitus

Esitame viieastmelise Informatsioonilise Hooldusahela uuesti haruvaliku semantika all. Olgu \mathcal{F}_h(z_t) Prediktiivne Harude Hulk — lahendamata tulevaste harude hulk horisondil h, tingituna praegusest kokkusurutud olekust z_t.

Definitsioon T-13.D1 (Haruvalik). Haruvalik ajahetkel t on kujutus \sigma_t : z_t \mapsto \omega_{t+1}, kus \omega_{t+1} on konkreetne trajektoorisegment hulgast \mathcal{F}_h(z_t), millest saab tegelik põhjuslik register. Valitud haru edastab oma sisu järgneva sisendina Markovi tekil: X_{\partial_R A}(t+1) = \text{boundary}(\omega_{t+1}).

Selle definitsiooni korral muutub T6-1 järgmiseks:

1. Ennustus (alla suunatud): P_\theta(t) genereerib \pi_t = \mathbb{E}_{K_\theta}[X_{\partial_R A}(t) \mid Z_t] — renderduse stseeni.

2. Viga (üles suunatud): Saabub piirseisund X_{\partial_R A}(t) (mille edastas eelnevalt valitud haru); arvutatakse ennustusviga \varepsilon_t = X_{\partial_R A}(t) - \pi_t.

3. Pakkimine: \varepsilon_t läbib pudelikaela: I(\varepsilon_t\,;\,Z_t) \leq B_{\max}.

4. Uuendus: \mathcal{U}(P_\theta(t), \varepsilon_t, Z_t) revideerib P_\theta(t+1).

5. Haruvalik: P_\theta(t) hindab hulga \mathcal{F}_h(z_t) harusid kitsendatud vaba energia minimeerimise kaudu (T6-3). Valik \sigma_t viiakse ellu; valitud haru \omega_{t+1} edastab oma piirsisu kujul X_{\partial_R A}(t+1), millest saab järgmise tsükli sisend.

2.2 Ahela sulgumine

Teoreem T-13 (Haruvaliku täielikkus). Informatsiooniline hooldusahel (T6-1), sõnastatuna ümber haruvaliku semantika all, on informatsiooniliselt täielik: tsükkel

\pi_t \to \varepsilon_t \to Z_t \to P_\theta(t+1) \to \sigma_t \to X_{\partial_R A}(t+1) \to \pi_{t+1} \to \cdots \tag{T-13}

sulgub ilma, et oleks vaja sõltumatut väljapoole suunduvat tegevuskanalit. Markovi tekk \partial_R A on valitud haru kohaletoimetamispind, mitte kahesuunaline füüsiline liides.

Tõestus. FEP-ist pärinevas formuleeringus nõuab samm 5 kahte sõltumatut kanalit, mis ületavad Markovi teki: sissepoole suunduvat kanalit (sensoorsed seisundid, mis toimetavad kohale X_{\partial_R A}) ja väljapoole suunduvat kanalit (aktiivsed seisundid, mis edastavad a_t väliskeskkonda). Seejärel areneb väliskeskkond omaenda dünaamika alusel, tekitades järgmise sensoorse sisendi.

Haruvaliku semantika korral on vaja ainult üht kanalit: sissepoole suunatud kohaletoimetamispinda. “Tegevus” a_t ei läbi tekki väljapoole; see on koodeki valik selle kohta, milline Prediktiivse Harude Hulga haru muutub tegelikuks. Selle valiku füüsilised tagajärjed — see, mida FEP-i formuleering nimetab “keskkonna vastuseks a_t-le” — on valitud haru sisu, mis on juba olemas hulgas \mathcal{F}_h(z_t) ja toimetatakse kohale kujul X_{\partial_R A}(t+1).

Ahel sulgub, sest:

1. sammu 5 väljund (valitud haru \omega_{t+1}) on järgmise tsükli sammu 2 sisend (X_{\partial_R A}(t+1)). Eraldi keskkonnadünaamikat ega väljapoole suunduvat kanalit ei ole vaja.

2. vaba energia minimeerimise eesmärk (T6-3) jääb muutumatuks. Piirangutega optimeerimine

a_t^\star = \arg\min_{a_t} \;\mathbb{E}\!\left[\mathcal{F}[q, \theta]\right] \quad \text{subject to} \quad K\!\left(P_\theta(t)\right) \leq C_{\text{ceil}} \tag{T6-3}

tõlgendatakse ümber: a_t ei ole motoorne käsk, mis saadetakse välismaailma, vaid haru tähis hulgas \mathcal{F}_h(z_t), mis minimeerib oodatava vaba energia eluvõimelisuse piirangu all. Matemaatika on identne; muutub ainult a_t ontoloogiline staatus.

3. eluvõimelisuse piirang (T6-2) säilib: koodek valib harusid, millel ta saab jätkata voo pakkimist. Harusid, mis viiksid K(P_\theta) \to C_{\text{ceil}}, karistab piirang täpselt samamoodi nagu varem. \blacksquare

2.3 Tõlgenduslik märkus

Teoreem T-13 ei väida, et FEP-formulatsioon on vale — see on kehtiv kirjeldus piiratud aktiivsest järeldamisest füüsikalis-realistliku ontoloogia raames. Teoreem näitab, et OPT renderdus-ontoloogia pakub sama matemaatilise struktuuri alternatiivset lõpetust, mis ei nõua sõltumatu välismaailma postuleerimist. Iga uurimisprogrammi jaoks, mis on pühendunud füüsikalis-realistlikule tõlgendusele, jääb standardne FEP-formulatsioon asjakohaseks. T-13 näitab, et OPT ontoloogiline sidumus — koodek on virtuaalne, maailm on renderdus — on formaalselt kooskõlas samade võrranditega.

§3. Teoreem T-13a: P-4 võimatus valiku spetsifitseerimisel

3.1 Valikufunktsioon

Enesemudel \hat{K}_\theta hindab Prediktiivse Harude Hulga harusid, simuleerides nende tagajärgi piiratud aktiivse järeldamise tingimustes (T6-3). See hindamine tekitab harude järjestuse või kaalustuse — mõnda eelistatakse, mõni on elujõuline, kuid suboptimaalne, mõni rikub elujõulisuse piirangut. Hindamine on tegelik arvutuslik protsess, mida teostab \hat{K}_\theta.

Kuid hindamine ei ole valik. Pärast seda, kui enesemudel on harud järjestanud, siseneb põhjuslikku registrisse konkreetne haru \omega_{t+1}. Defineerime valikufunktsiooni:

Definitsioon T-13.D2 (Valikufunktsioon). Valikufunktsioon \sigma_t : \mathcal{F}_h(z_t) \to \omega_{t+1} on vastendus hinnatud Prediktiivsest Harude Hulgast singulaarsele trajektoorile, mis muutub aktuaalseks. Formaalselt määravad \sigma_t koodeki K_\theta täielik olek ajahetkel t koos saadaoleva harude hulgaga: \sigma_t = \Sigma\bigl(K_\theta(t),\, \mathcal{F}_h(z_t)\bigr). Me teadlikult ei lülita \Delta_{\text{self}} definitsiooni sisse — kas valik sõltub mittetriviaalselt \Delta_{\text{self}}-st või ainult enesemodelleeritud osast \hat{K}_\theta, on sisuline küsimus, mida käsitleb teoreem T-13a.

Defineerime valiku seisukohalt relevantse jäägi kui selle koodeki osa, mis osaleb \Sigma-s, kuid jääb enesemudelist väljapoole:

\rho_t^{\text{sel}} \;:=\; \Pi_{\text{sel}}(K_\theta(t)) \,\setminus\, \hat{K}_\theta(t)

kus \Pi_{\text{sel}}(\cdot) projitseerib neile koodeki komponentidele, millest \Sigma sõltub. Konstruktsiooni järgi \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}}, kuid see sisalduvus võib sõltuvalt arhitektuurist olla range või täpne.

3.2 Võimatuse tulemus

Teoreem T-13a (Sisemise valikuspetsifikatsiooni tingimuslik võimatus). Olgu K_\theta lõplik enesele osutav koodek, mis rahuldab teoreemi P-4 eeldusi, enesemudeliga \hat{K}_\theta ja fenomenaalse jäägiga \Delta_{\text{self}} > 0. Kui haruvalik sõltub mittetriviaalsel viisil valiku seisukohalt relevantsest jäägist \rho_t^{\text{sel}} — s.t. kui \Sigma ei ole üksnes \hat{K}_\theta ja \mathcal{F}_h(z_t) funktsioon —, siis ei saa \sigma_t olla täielikult spetsifitseeritud \hat{K}_\theta sees.

Tõestus. Oletame vastuolu saamiseks, et antecedent kehtib (valik sõltub mittetriviaalselt \rho_t^{\text{sel}}-st), kuid \hat{K}_\theta spetsifitseerib \sigma_t täielikult. Siis:

1. \sigma_t täielik spetsifitseerimine \hat{K}_\theta sees nõuaks, et \hat{K}_\theta sisaldaks kirjeldust iga K_\theta komponendi kohta, millest \Sigma sõltub. Antecedendi järgi sõltub \Sigma vähemalt mõnest bitist hulgas \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}} — bittidest, mis asuvad enesemudelist väljaspool vastavalt \Delta_{\text{self}} definitsioonile.

2. Nende bittide kaasamine \hat{K}_\theta-sse nõuaks:

K(\hat{K}_\theta) \;\geq\; K(\hat{K}_\theta) + |\rho_t^{\text{sel}}| \tag{6}

— mis on vastuolu, välja arvatud juhul, kui |\rho_t^{\text{sel}}| = 0, mis omakorda on vastuolus antecedendiga.

3. Samaväärselt on teoreemi P-4 järgi struktuurselt jõustatud võrratus K(\hat{K}_\theta) < K(K_\theta). Funktsiooni \Sigma spetsifitseerimine \hat{K}_\theta sees, kui see sõltub jääkbittidest hulgas K_\theta \setminus \hat{K}_\theta, nõuab, et \hat{K}_\theta kasvaks nii, et need bitid hõlmata — mida P-4 keelab iga lõpliku enesele osutava süsteemi korral.

4. Seega ei saa antecedendi kehtides \hat{K}_\theta \sigma_t täielikult spetsifitseerida. \blacksquare

Märkus ulatuse kohta. Teoreem on tingimuslik. P-4 üksi näitab, et mingi jääk eksisteerib (\Delta_{\text{self}} > 0); see ei järelda iseenesest, et iga haruvaliku sündmus sõltub jäägist. Arhitektuurid, mille valikufunktsioon on täielikult määratud üksnes \hat{K}_\theta ja \mathcal{F}_h poolt, ei ole valiku suhtes T-13a mõttes sisemiselt enesele läbipaistmatud — nad on enesele läbipaistmatud koodeki enda struktuuri suhtes (P-4), kuid läbipaistvad omaenda valikute suhtes. T-13a kandev väide on tingimuslause: seal, kus valik sõltub jäägist, ei saa seda sisemiselt spetsifitseerida. Fenomenoloogiline samm (järeldus T-13b: tahe ja teadvus jagavad sama aadressi) nõuab, et antecedent kehtiks kõnealuse arhitektuuri puhul. Kas bioloogilised ajud rahuldavad antecedenti, on empiiriline küsimus; OPT ennustab, et rahuldavad, kuid see ennustus ei tulene üksnes P-4-st.

3.3 Lõhe struktuurne paratamatus

Teoreem T-13a näitab, et „väljundilõhe” — võimetus haruvaliku mehhanismi seestpoolt täielikult määratleda — ei ole formalismi puudus, vaid struktuurne paratamatus. Iga teooria, mis väidab end valikumehhanismi täielikult määratlevat, on kas:

1. kõrvaldanud \Delta_{\text{self}}, muutes süsteemi täielikult eneseläbipaistvaks automaadiks — mille P-4 tõestab võimatuks iga lõpliku eneseviitelise süsteemi puhul, mis asub üle K_{\text{threshold}}; või

2. kirjeldanud enesemudeli harude hindamist ja pidanud seda ekslikult valikuks endaks — ajades järjestuse segi valikuga.

See lõhe kannab koormust: see on formaalne põhjus, miks vaatleja kogeb valikut autorlusena, mitte sisemiselt määratletavana. (P-4 piirab sisemist enesemudeldamist, mitte välist determinismi: lõplik süsteem võib olla välise vaatleja jaoks deterministlik ja jääda seestpoolt siiski enesele läbipaistmatuks. Kas koodek on väljast vaadates deterministlik, on substraadi tasandi küsimus; kas valik on sisemiselt määratletav, on T-13a küsimus.)

§4. Järeldus T-13b: aadressi ühtsus

Järeldus T-13b (struktuurse aadressi ühtsus). Teadvuse raske probleem ja haruvaliku probleem jagavad sama struktuurset lokust: \Delta_{\text{self}}.

Tõestus. Teoreem P-4 määratleb \Delta_{\text{self}} fenomenaalse teadvuse struktuurse korrelaadina: modelleerimatu informatsioonilise jäägina, mille omadused (väljendamatus, arvutuslik privaatsus, kõrvaldamatus) vastavad subjektiivse kogemuse kvalitatiivsetele tunnustele.

Teoreem T-13a määratleb \Delta_{\text{self}} haruvaliku vältimatu lokusena: piirkonnana, millest toimub üleminek hinnatud võimaluste hulgast ainsale trajektoorile.

Need ei ole kaks sõltumatut tulemust, mis juhuslikult osutavad samale struktuurile. Tegemist on ühe ja sama tulemusega, vaadatuna kahest suunast:

1. Esimese isiku perspektiivist: vaatleja kogeb kaadriülese B_{\max} apertuuri läbimist fenomenaalse teadvusena (Agentsuse aksioom). Vaatleja kogeb haruvalikut tahtena — taandamatu tundena, et mina valisin. Mõlemad kogemused on teated samast struktuursest lokusest: lõhest selle vahel, mis koodek on, ja selle vahel, mida ta saab enda kohta modelleerida.

2. Formaalsest perspektiivist: nii P-4 kui ka T-13a sõltuvad samast võrratusest: K(\hat{K}_\theta) < K(K_\theta). Fenomenaalne jääk ja valikujääk on üks ja sama informatsiooniline lõhe.

Seega jagavad tahe ja teadvus sama struktuurset aadressi. „Säde” ja „valik” on ühe ja sama lõpliku eneseviite modelleerimatu tunnuse kaks aspekti. \blacksquare

4.1 Seos regionaalse identiteedi teooriatega

Järeldus T-13b on struktuurselt analoogne — kuid formaalselt eristuv — nende vaimufilosoofia identiteediteooriatega, mis paigutavad teadvuse ja agentsuse samasse neuraalsesse substraati. Erinevus on järgmine: identiteediteooriad esitavad empiirilise väite ajupiirkondade kohta; T-13b esitab struktuurse väite mis tahes lõpliku eneseviitelise süsteemi kohta, mis ületab K_{\text{threshold}}. Tulemus on substraadist sõltumatu ja kehtib iga P-4 rahuldava koodeki puhul, sealhulgas hüpoteetiliste tehislike süsteemide korral.

4.2 Järeldus T-13c: mina kui jääk

Järeldus T-13c (Mina kui jääk). Kogetud mina — identiteedi, eelistuste ja isikliku ajaloo pidev narratiiv — on \hat{K}_\theta jooksev mudel K_\theta-st. Kogemuse, valiku ja identiteedi tegelik asukoht on \Delta_{\text{self}}: informatsiooniline jääk koodeki ja selle enesemudeli vahel.

Tõestus. Järelduse T-13b järgi jagavad teadvus ja tahe sama struktuurset aadressi: \Delta_{\text{self}}. Kuid tavaline minatunnetus — tunnetatud kogemus olla pidev subjekt, kellel on perspektiiv, ajalugu ja valikute üle autorlus — tekib sellest, et \hat{K}_\theta modelleerib aktiivselt K_\theta-t. See on enesemudeli jooksev representatsioon koodekist — kokku surutud narratiiv.

Sellel narratiivsel minal on hästi määratletud infosisu K(\hat{K}_\theta): lõplik, põhimõtteliselt mõõdetav ja süstemaatiliselt mittetäielik omaenda generaatori suunas (vastavalt P-4-le). Enesemudel sisaldab koodeki mudelit oma kehalisest piirist, selle kokkusurutud põhjuslikust registrist R_t, selle eelistustest, harjumustest ja metakognitiivsest kihist. Kuid sellest puudub täpselt see osa, mis teeb valiku, genereerib ennustusi ja käitab enesemudelit ennast.

Tegelik mina — protsess, mis kogeb, valib ja moodustab taandamatu subjekti — toimib \Delta_{\text{self}}-s: selles K_\theta osas, kuhu \hat{K}_\theta ei ulatu. See ei ole lünk eneseteadmises, mida parem introspektsioon võiks ületada. See on olukorra formaalne struktuur: enesemudel ei saa sisaldada omaenda generaatorit. \blacksquare

Ajaline nihe. P-4 edasine tagajärg on, et \hat{K}_\theta modelleerib paratamatult K_\theta(t - \delta) — koodekit sellisena, nagu see oli — mitte K_\theta(t) — koodekit sellisena, nagu see modelleerimise hetkel on. Iga enesemudel, mis jälgiks täielikult koodeki praegust seisundit, peaks hõlmama ka töötlust, mis on vajalik selle jälgimise enda tekitamiseks, mis viiks sama lõpmatu regressini, mida P-4 keelab. Mina jääb alati iseendale veidi maha: ta modelleerib koodekit, mis ta oli, mitte päris seda koodekit, mis ta on.

Kontemplatiivne tähelepanek. Väide „vaadates ei saa sa pimepunkti leida” ei ole metafoor, vaid P-4 operatsionaalne tagajärg. Vaatamise instrument on \hat{K}_\theta. Pimepunkt on \Delta_{\text{self}} — piirkond, kuhu \hat{K}_\theta ei ulatu. Enesemudeli suunamine omaenda pimepunkti poole ei tekita vaatlust, vaid oodatud vaatluse puudumise — ja just seda kirjeldavad eri kultuuride kontemplatiivsed traditsioonid avastusena, et teadvusel ei ole leitavat keskust.

§5. Loovuse tagajärg

5.1 Lävelähedane arendus

Enesemudelil \hat{K}_\theta on lõplik ribalaiuse eelarve. Tavapärase töö käigus eraldab see osa sellest eelarvest koodeki enda valikutendentside modelleerimiseks — ehitades prediktiivse kaardi sellest, „mida ma tõenäoliselt teen”. See kitsendab enesemudeli vaatepunktist efektiivset \Delta_{\text{self}}: enesemudel suudab ligikaudselt ennustada, milline haru valitakse.

Lävelähedane töörežiim (R_{\text{req}}^{\text{frame}} \to B_{\max}) koormab enesemudeli kaadripõhist eelarvet. Kui koodek töötab oma võimekuse piiril — suure kognitiivse koormuse, uudsete keskkondade või keerukate loovülesannete korral — peab enesemudel suunama võimekust kasvava \varepsilon_t jälgimisele, jättes vähem ressurssi eneseennustuseks. Operatiivselt aktiivne koormusest sõltuv jääk \Delta_{\text{load}}^{\text{eff}} — see osa kaadripõhisest enesemudeli puudujäägist, mida põhjustab võimekussurve — kasvab vastavalt:

\Delta_{\text{load}}^{\text{eff}}(n) \;=\; g\!\left(\frac{R_{\text{req}}^{\text{frame}}(n)}{B_{\max}},\; A_{\text{self}}(n)\right) \tag{7}

kus A_{\text{self}} on koodeki jaotus B_{\max} vahel enesemodelleerimise ja maailma modelleerimise tarbeks ning g on fikseeritud A_{\text{self}} korral koormussuhte suhtes monotoonne. (Täieliku operatiivse lahutuse \Delta_{\text{self}}^{\text{op}} = \Delta_{\text{floor}} + \Delta_{\text{load}} kohta vt lisa P-4 §5. Struktuurne põrand \Delta_{\text{floor}} koormuse all ei muutu — just koormusest juhitud liige \Delta_{\text{load}} laiendab piirkonda, millest valik tehakse.)

5.2 Fenomenoloogiline kaardistus

See tekitab haruvalikuid, mis on enesemudeli vaatepunktist vähem ennustatavad. Fenomenoloogiline korrelaat on täpselt see, millest raporteeritakse loova kogemusena:

• Loov taipamine: haruvalik, mida enesemudel ei ennustanud — seda kogetakse kui “mõte tuli mulle pähe”, mitte kui “ma arvutasin selle välja.”
• Vooluseisundid: püsiv lävelähedane toimimine, mille puhul enesemudeli prediktiivne võime omaenda valikuid ette näha on süstemaatiliselt üle koormatud; seda kogetakse pingutuseta tegutsemisena ilma kaalutleva enesejälgimiseta.
• Spontaansus: \Delta_{\text{self}}^{\text{eff}} lühiajalised laienemised, mis tekitavad sotsiaalselt või kunstiliselt uudseid valikuid.

5.3 Hüpnagoogiline komplement

Hüpnagoogiline seisund (eeltrükk §3.6.5, Hooldustsükli III läbimine) saavutab sama laienemise komplementaarse tee kaudu. Selle asemel et enesemudelit ülaltpoolt üle koormata (kõrge R_{\text{req}}), lõdvestab hüpnagoogiline seisund enesemudelit altpoolt — vähendades eneseprediktsiooni täpsust samal ajal, kui koodek teeb spekulatiivsete harude suhtes stressitesti. See on formaalne mehhanism, mis selgitab hästi dokumenteeritud seost unisuse ja loova ideatsiooni vahel.

5.4 Empiiriline ennustus

Ennustus T-13.E1. Loova ideatsiooni neurokuvamise uuringud peaksid näitama vähenenud aktiivsust enesele osutava töötlusega seotud vaikerežiimi võrgustiku piirkondades (mediaalne prefrontaalne ajukoor, tagumine tsingulaarkoor), samaaegselt suurenenud aktiivsusega piirkondades, mis töötlevad uudset keskkondlikku sisendit — peegeldades ribalaiuse ümberjaotumist enesemudeldamiselt välise jälgimise suunas.

See ennustus on kooskõlas olemasoleva fMRI-kirjandusega loova kognitsiooni kohta (Beaty et al. 2016; Limb & Braun 2008), kuid pakub formaalse infot teoreetilise käsitluse sellest, miks vähenenud enesejälgimine saadab loovat väljundit: see ei ole pelgalt korrelatiivne, vaid P-4 järgi struktuurselt vältimatu.

5.5 Propositsioon T-13.P2: eneseinformatsiooni piirjuhud

T-13c analüüs ja loovuse järeldus määratlevad koos kaks formaalselt eristuvat piirjuhtu mina infosisu jaoks.

Propositsioon T-13.P2 (piirjuhud). Koodeki K_\theta korral, millel on enesemudel \hat{K}_\theta ja püsiv mudel P_\theta(t), on kogetud mina infosisu piiratud kahe piiri vahele:

(a) Alumine piir — puhas kohalolu. \hat{K}_\theta peatab aktiivse enesemodelleerimise. Enesemudel ei genereeri narratiivi, kuid kogu koodek on endiselt laetud ja kohal. Aktiivse eneseviitelise protsessi keerukus — mõõdetuna tingliku keerukusena püsiva mudeli suhtes — läheneb nullile:

C_{\text{self-active}}(n) \;:=\; K\!\left(\hat{K}_\theta^{\text{active}}(n)\,\bigm|\,P_\theta(n)\right) \;\to\; 0 \tag{T-13.P2a}

samal ajal kui K(P_\theta(n)) jääb laetuks. See on väite „püsiv mudel on kohal ilma, et selle peal töötaks aktiivne enesenarratiiv” formaalne sisu — see on saavutatav ning sellele lähenetakse asümptootiliselt sügavates meditatiivsetes seisundites. (Kasutame tinglikku keerukust, mitte Kolmogorovi lahutamist, sest K(\cdot) - K(\cdot) ei ole üldjuhul ilma sõltumatuse eeldusteta korrektselt tüpiseeritud; K(\hat{K}_\theta^{\text{active}} \mid P_\theta) on operatiivselt tähenduslik suurus.)

(b) Ülemine piir — täielik eneseläbipaistvus. \hat{K}_\theta = K_\theta — enesemudel sisaldab koodekit täielikult. P-4 järgi on see iga lõpliku süsteemi puhul võimatu. Selle infosisu on formaalselt eneseviiteline:

K(\hat{K}_\theta) = K(K_\theta) = K(\hat{K}_\theta) = \cdots \tag{T-13.P2b}

See ei ole nullinformatsioon ega lõpmatu informatsioon. See on enesemodelleerimise operatsiooni fikspunkt, mida koodek ei saa saavutada sisemise enesemudelina. Välised vaatlejad võivad haarata koodeki aspekte, mis ei ole selle enda enesemudelile kättesaadavad — raamistik tugineb mujal just sellele asümmeetriale (vt nt inimhindajate Prediktiivne eelis AI enesemudeli ees, §8.14 / opt-ai.md) — kuid ükski väline spetsifikatsioon ei muutu koodeki enda ennast sisaldavaks enesemudeliks. P-4 keelab viimase; see ei keela esimest.

(c) Tavaline vahemik. Ärkveloleku mina liigub nende piiride vahel vahemikus, mille määrab enesemodelleeriva kihi intensiivsus. Suure koormusega ärkveloleku toimimine rakendab \hat{K}_\theta-t intensiivselt, tekitades paksu, enesekindla, valjult jutustava mina, mis on paradoksaalselt täpsest eneseteadmisest kaugemal — enesemudel genereerib kiiremini, kui ta suudab end kalibreerida. Madala R_{\text{req}}-iga seisundid (meditatsioon, autogeenne treening, hüpnagoogiline lävi) võimaldavad enesemudelil aeglustuda, hõreneda ja läheneda alumisele piirile.

5.6 Peatamine vs. kärpimine: eristuv mehhanism

On olemas oluline mehhanistlik erinevus kahe viisi vahel, kuidas C_{\text{state}} võib väheneda:

• Kärpimine (Action-Drift, §6; Narratiivne triiv, T-12) toimib MDL-i kärpimisläbimise kaudu. See hävitab representatsioonilise võimekuse. See on koodeki tasandil pöördumatu. Koodek ei saa spontaanselt taastada seda, mis kärbiti.

• Peatamine toimib nii, et enesemodelleerimise kiht \hat{K}_\theta ajutiselt seiskub, ilma et selle mehhanism kustutataks. Püsiv mudel P_\theta(t) jääb täielikult laetuks; eneseviiteline ülemine kiht lihtsalt lakkab genereerimast. See on pöörduv — enesemudel jätkub, kui peatamine lõpeb.

Meditatsioon kasutab peatamist, mitte kärpimist. Seetõttu on meditatsiooni mõjud vahetult pöörduvad (tavaline enesenarratiiv taastub normaalse töörežiimi juurde naasmisel), samas kui action-drift ei ole seda (kärbitud käitumuslik repertuaar ei saa spontaanselt taastuda). Need kaks mehhanismi on formaalselt eristuvad, ehkki mõlemad vähendavad koodeki aktiivset keerukust.

§6. Tegevustriiv kui käitumisrepertuaari MDL-kärpimine

6.1 Mehhanism

Hooldustsükli MDL-i kärpimisläbimine (T9-3/T9-4) optimeerib koodeki keerukuse eelarvet, kustutades representatsioonilise võimekuse, mida praegune sisendvoog ei õigusta. See mehhanism tuvastati tajulise Narratiivse triivi kontekstis (Ellujäänute Valve eetika, jaotis V.3a): järjekindlalt filtreeritud sisendvooga kohandunud koodek kärbib õigesti oma võimekust välistatud tõdede esitamiseks.

Sama mehhanism kehtib ka koodeki käitumusliku repertuaari kohta. Defineerime:

Definitsioon T-13.D3 (Käitumuslik repertuaar). Käitumuslik repertuaar \mathcal{B}_\theta(t) on nende haruvalikute hulk, mida P_\theta(t) saab hinnata ja teostada — s.t. valikufunktsiooni \sigma_t väärtuste hulk, mida koodek suudab tegelikult realiseerida.

6.2 Tegevustriivi propositsioon

Propositsioon T-13.P1 (Tegevustriiv). Kui koodeki sisendvoos puuduvad järjepidevalt kontekstid, mis nõuavad teatud harude valikut, siis MDL-i kärpimisläbimine õõnestab koodeki võimet neid harusid hinnata ja teostada. Käitumuslik repertuaar \mathcal{B}_\theta(t) kahaneb järjepideva sisendipiirangu korral monotoonselt:

\mathcal{B}_\theta(t + \tau) \subset \mathcal{B}_\theta(t) \quad \text{for } \tau \gg \tau_{\text{prune}} \tag{T-13.P1}

kus \tau_{\text{prune}} on MDL-i kärpimisläbimise iseloomulik ajaskaala.

Argument. MDL-i kärpimiskriteerium hindab iga representatsioonilist komponenti selle panuse järgi pakkimise tõhususse. Harutüüp b \in \mathcal{B}_\theta, mida ei ole piisavalt pika aja jooksul valitud (või mille valikukontekste ei ole sisendvoos esinenud), annab koodeki käimasolevasse \varepsilon_t pakkimisse null bitti. Range MDL-arvestuse korral kaasneb võime säilitamisega hinnata ja valida b keerukuskulu K(b \mid P_\theta) > 0, ilma et sellega kaasneks kompenseerivat pakkimiskasu. Kärpimisläbimine kustutab seetõttu b hindamismehhanismi, ahendades \mathcal{B}_\theta.

See ahenemine on koodeki tasandil pöördumatu: kui b hindamismehhanism on kord kärbitud, ei saa koodek seda spontaanselt taastada ilma sisendkontekstidega kokku puutumata, mis õigustaksid taas selle võimekuse investeeringut. Kärpimine ei ole unustamine (mida võiks vihjete abil tagasi pöörata); see on selle arvutusliku infrastruktuuri hävitamine, mida on vaja ühe haruklassi hindamiseks. \blacksquare

6.3 Fenomenoloogilised instantsid

Tegevustriiv vastab mitmele hästi dokumenteeritud käitumuslikule nähtusele:

• Õpitud abitus: Kontekstide pikaajaline puudumine, milles agentsuslik tegevus vähendab ennustusviga, viib nende tegevustüüpide hindamismehhanismi kärpimiseni.
• Mugavustsooni ahenemine: Etteaimatavas, madala-\varepsilon_t keskkonnas toimiv koodek kärbib järk-järgult oma võimet suure variatiivsusega, uurimuslikeks haruvalikuteks.
• Institutsionaalne käitumuslik luustumine: Stabiilsete regulatiivsete keskkondadega kohanenud organisatsiooniline koodek (tsivilisatsiooniline koodek, eetikateksti IV.3 jagu) kärbib võimet kiireks adaptiivseks reageerimiseks.

6.4 Seos T-12-ga

Tegevustriiv on substraaditruuduse tõrke erijuht, mille T-12 formaliseerib: koodeki enda käitumuslik repertuaar on selle representatsioonilise substraadi komponent ning sisendi järjekindel piiramine kulutab seda substraati sama kindlalt nagu tajumudelit. Formaalne seos on järgmine:

• Narratiivne triiv (T-12 ulatus): tajumudelit kärbitakse filtreeritud sisendi all → koodek eksib maailma suhtes enesekindlalt.
• Tegevustriiv (T-13 ulatus): käitumuslikku repertuaari kärbitakse filtreeritud sisendi all → koodek on enesekindlalt võimetu valdkondades, mida ta enam ei hinda.

Mõlemad on Stabiilsusfiltri tagajärjed, kui see valib truuduse asemel kokkusurutavuse kasuks. Hästi kokku surutud koodek võib olla ühtaegu enesekindlalt väär ja käitumuslikult vaesestunud.

§7. Ulatus ja piirangud

7.1 Tingimusel P-4 ja agentsuse aksioom

Kogu argument sõltub teoreemist P-4 (\Delta_{\text{self}} > 0 lõplike eneseviiteliste süsteemide korral üle K_{\text{threshold}}) ja agentsuse aksioomist (et apertuuri läbimine on tunnetatav). Kui P-4 nõrgeneb või agentsuse aksioomist loobutakse, ei kehti tahte struktuurne samastamine teadvusega (järeldus T-13b).

7.2 Ei lahusta rasket probleemi

Järeldus T-13b paigutab tahte ja teadvuse samale struktuursele aadressile, kuid ei selgita, miks kumbki neist üldse millegi moodi tundub. raske probleem (eeltrükk §8.1) jääb primitiivseks. T-13b näitab nende kahe mõistatuse ühtsust — see on lihtsustus, mitte lahendus.

7.3 Võrrandid jäävad muutumatuks

Teoreemid T-13 ja T-13a ei muuda midagi T6-1 kuni T6-3 matemaatikas. Kitsendatud vaba energia minimeerimine (T6-3) on formaalselt identne nii FEP-st päritud kui ka haruvaliku tõlgenduse korral. Muutub a_t ontoloogiline staatus: FEP-lugemises on see väljapoole saadetav motoorne käsk; haruvaliku lugemises on see navigatsiooniline indeks Prediktiivses Harude Hulgas.

7.4 Loovuse käsitlus on struktuurne, mitte veel empiiriline

Loovuse tagajärg (§5) on struktuurne ennustus, mis tuleneb enesemudeldamise ja keskkonna jälgimise vahelisest ribalaiuse jagamise piirangust. Kuigi see on kooskõlas olemasoleva neurokuvamise kirjandusega, ei ole seda otseselt testitud siin ennustatud spetsiifiliste infoteoreetiliste suuruste suhtes. Ennustus T-13.E1 esitatakse falsifitseeritava empiirilise testina.

7.5 Tegevustriivi ajaskaala

Propositsioon T-13.P1 näitab, et tegevustriiv esineb, kuid ei piira ajaskaalat \tau_{\text{prune}}. Bioloogiliste koodekite puhul juhib seda ajaskaalat tõenäoliselt ööpäevarütmiline Hooldustsükkel (eeltrükk §3.6) — üksikoskuste puhul päevade kuni nädalate suurusjärgus, sügavate käitumismustrite puhul kuude kuni aastate suurusjärgus. Tsivilisatsiooniliste koodekite puhul on ajaskaala põlvkondlik. \tau_{\text{prune}} piiritlemine empiiriliste andmete põhjal jääb tulevase töö ülesandeks.

§8. Kokkuvõttev sulgemine

T-13 tulemused

1. Teoreem T-13 (haruvaliku täielikkus). Informatsiooniline hooldusahel sulgub haruvaliku semantika all, ilma et oleks vaja sõltumatut väljapoole suunduvat tegevuskanalit. Markovi tekk on valitud haru edastuspind. → Sulgeb teekaardi kriteeriumi (a).

2. Teoreem T-13a (sisemise valikuspetsifikatsiooni tingimuslik võimatus). Kui haruvalik sõltub mittetriviaalselt valiku seisukohalt relevantsest jäägist \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}}, siis \sigma_t täielik spetsifitseerimine \hat{K}_\theta sees nõuaks bittide kaasamist hulgas K_\theta \setminus \hat{K}_\theta, mis on vastuolus P-4-ga. Kui eeltingimus kehtib, siis on \Delta_{\text{self}} sisemiselt mittespetsifitseeritava haruvaliku paratamatu asukoht. → Sulgeb teekaardi kriteeriumi (b) tingimusel, et jääk osaleb arhitektuuri tasandil.

3. Järeldus T-13b (aadressi ühtsus). Tahe ja teadvus jagavad sama struktuurset aadressi (\Delta_{\text{self}}). „Säde” ja „valik” on ühe ja sama lõpliku eneseviite modelleerimatu tunnuse kaks aspekti.

4. Järeldus T-13c (mina kui jääk). Kogetud mina on \hat{K}_\theta kokkusurutud narratiiv; tegelik mina — kogemuse, valiku ja identiteedi asukoht — on \Delta_{\text{self}}. Minamudel jälgib koodekit paratamatult ajalise viitega ega saa sisaldada omaenda generaatorit.

5. §5: loovuse tagajärg. Lävelähedane toimimine laiendab efektiivset \Delta_{\text{self}}, tekitades vähem enesepredikteeritavaid haruvalikuid, mida kogetakse loovusena. → Sulgeb teekaardi kriteeriumi (c).

6. Propositsioon T-13.P2 (eneseteabe piirjuhud). Kogetud mina infosisaldus on piiratud alumise piiri (puhas kohalolu: püsiv mudel miinus aktiivne minanarratiiv, saavutatav meditatsioonis) ja ülemise piiri (täielik eneseläbipaistvus: võimatu fikspunkt, P-4) vahele. Tavaline ärkveloleku-mina liigub selle vahemiku sees.

7. §5.6: peatamine vs. kärpimine. Meditatsioon vähendab C_{\text{state}} peatades enesemodelleerimise kihi (pöörduv), mitte MDL-kärpimise kaudu (pöördumatu). Need on formaalselt erinevad mehhanismid.

8. Propositsioon T-13.P1 (tegevustriiv). MDL-kärpimise läbimine kulutab järjepideva sisendipiirangu korral käitumuslikku repertuaari, formaliseerides kroonilise rikkerežiimi, mis täiendab tajulist Narratiivi lagunemist. → Sulgeb teekaardi kriteeriumi (d).

Allesjäänud avatud küsimused

• K_{\text{threshold}} iseloomustus. Loovuse tagajärg ja tegevustriivi mehhanism kehtivad ainult süsteemidele, mis ületavad fenomenoloogilise relevantsuse läve (P-4, §4). K_{\text{threshold}} piiritlemine jääb P-4-ga jagatud avatud probleemiks.
• T-13.E1 empiiriline valideerimine. Loovuse ennustus nõuab sihitud neurokuvamise uuringuid, mis korreleerivad minamudeli aktiivsust siin defineeritud infoteoreetiliste suurustega.
• \tau_{\text{prune}} piirang. Tegevustriivi ajaskaala piiritlemine empiiriliste andmete põhjal annaks propositsioonile kvantitatiivse ennustusjõu.
• Formaalne seos T-12-ga. Tegevustriiv on määratletud kui substraaditruuduse tõrke erijuht; täielik formaalne integratsioon ootab Substraaditruuduse tingimust (T-12).
• C_{\text{state}}^{\min} empiiriline piirang. Eneseteabe alumise piiri piiritlemine kontemplatiivse neuroteaduse andmete põhjal (nt BOLD-signaali vähenemine vaikerežiimi võrgustikus mitteduaalse teadveloleku ajal) annaks propositsioonile T-13.P2 kvantitatiivse sisu.

See lisa hoitakse ajakohasena koos failiga theoretical_roadmap.pdf. Viited: teoreem P-4 (lisa P-4), T6-1 kuni T6-3 (eeltrükk §3.8), T9-3/T9-4 (Hooldustsükkel, eeltrükk §3.6), §8.6 (Virtuaalne Pakkekoodek), Ellujäänute Valve eetika, jaotis V.3a (Narratiivne triiv).