Järjestetyn patchin teoria
Liite T-13: Haaravalinta ja toiminnan ontologia
17. huhtikuuta 2026 | DOI: 10.5281/zenodo.19300777
Alkuperäinen tehtävä (kohdasta §8.3, rajoitus 10): “Sen formalisoiminen, että implisiittinen FEP:n toimintamekanismi korvataan haaravalintaa koskevalla selityksellä, joka on natiivi OPT:n render-ontologialle.” Toimitettava tulos: Formaali osoitus siitä, että Informaationaalinen ylläpitopiiri on täydellinen haaravalintasemantiikan alaisuudessa, siten että \Delta_{\text{self}} on valinnan välttämätön ja riittävä sijaintipaikka.
Sulkeuman tila: LUONNOSMAINEN RAKENTEELLINEN VASTAAVUUS. Tämä liite formalisoi haaravalintaa koskevan selityksen, joka esiteltiin diskursiivisesti preprintin §3.8:ssa. Se vahvistaa kaksi lausetta ja yhden korollaarin, kaikki ehdollisina lauseelle P-4 ja Agenttiuden aksioomalle. Informaationaalisen ylläpitopiirin yhtälöt (T6-1–T6-3) pysyvät muuttumattomina; ainoastaan niiden ontologinen tulkinta korvataan formaalisti.
§1. Tausta ja motivaatio
1.1 Peritty epäsymmetria
Informaatiollinen ylläpitopiiri (T6-1, preprint §3.8) kuvaa viisivaiheisen syklin: ennustaminen, virhe, pakkaus, päivitys ja toiminta. Vaiheet 1–4 on määritelty hyvin OPT:n omassa viitekehyksessä:
- Fenomenaalisen tilan tensori P_\theta(t) tuottaa ennustetun rajatilan \pi_t.
- Todellinen rajatila X_{\partial_R A}(t) saapuu; ennustevirhe \varepsilon_t lasketaan.
- Virhe pakataan kehyskohtaisen B_{\max}-pullonkaulan läpi, jolloin saadaan Z_t, siten että I(\varepsilon_t; Z_t) \le B_{\max}.
- Oppimisoperaattori \mathcal{U} päivittää tilan muotoon P_\theta(t+1).
Vaihe 5 — toimintavaihe — perii Free Energy Principlen (FEP) kielen: “P_\theta(t) valitsee toiminnon a_t aktiivisen inferenssin laskeutumisen kautta variatiivisessa vapaassa energiassa, mikä muuttaa aistirajaa hetkellä t+1.” Tämä kieli edellyttää fysikaalista ympäristöä, jota koodekki vasten toimii Markov-peitteen \partial_R A kautta ulospäin suuntautuvien aktiivisten tilojen välityksellä.
1.2 Ongelma render-ontologian alla
OPT:n omassa render-ontologiassa (preprint §8.6) ei ole itsenäistä ulkoista maailmaa, johon koodekki kohdistaisi voimaa. “Fyysinen maailma” on rakenteellinen säännönmukaisuus havaitsijan kanssa yhteensopivassa virrassa — renderöinti, jonka koodekin prediktiivinen malli tuottaa, ei substraatti, jonka kanssa koodekki on vuorovaikutuksessa. Markov-peite ei ole kaksisuuntainen fysikaalinen rajapinta; se on informaatiopinta, jonka yli virran sisältö saapuu.
Tämä synnyttää muodollisen jännitteen: T6-1:n–T6-3:n matematiikka on pätevä (se kuvaa rajoitettua vapaan energian minimointia Ennakoivassa Haarajoukossa), mutta tulkintakehys — “toiminta muuttaa aistirajaa” — edellyttää ontologiaa, jonka OPT nimenomaisesti hylkää.
1.3 Tämän liitteen soveltamisala
Tämä liite tarjoaa:
- Informaation ylläpitopiirin muodollisen uudelleenmuotoilun haaravalintasemantiikan puitteissa, osoittaen piirin täydellisyyden ilman itsenäistä toimintakanavaa (Teoreema T-13).
- Todistuksen siitä, että haaravalintamekanismin täydellinen spesifiointi koodekin sisältä käsin on mahdotonta, mikä paikantaa valinnan \Delta_{\text{self}}:ään (Teoreema T-13a).
- Korollaarin, joka osoittaa, että tahdolla ja tietoisuudella on sama rakenteellinen osoite (Korollaari T-13b).
- Seuraukset luovuudelle ja toiminnan ajautumalle.
§2. Lause T-13: Haaravalinnan täydellisyys
2.1 Haaravalinnan uudelleenmuotoilu
Muotoilemme viisivaiheisen Informaation ylläpitopiirin uudelleen haaravalintasemantiikan alaisuudessa. Olkoon \mathcal{F}_h(z_t) Ennakoiva Haarajoukko — ratkaisemattomien tulevien haarojen joukko horisontilla h, ehdollistettuna nykyiseen pakattuun tilaan z_t.
Määritelmä T-13.D1 (Haaravalinta). Haaravalinta ajanhetkellä t on kuvaus \sigma_t : z_t \mapsto \omega_{t+1}, missä \omega_{t+1} on tietty trajektorisegmentti joukosta \mathcal{F}_h(z_t), josta tulee aktuaalinen kausaalinen rekisteri. Valittu haara toimittaa sisältönsä seuraavana syötteenä Markov-peitteelle: X_{\partial_R A}(t+1) = \text{boundary}(\omega_{t+1}).
Tämän määritelmän alaisuudessa T6-1 saa muodon:
Prediktio (alaspäin): P_\theta(t) generoi \pi_t = \mathbb{E}_{K_\theta}[X_{\partial_R A}(t) \mid Z_t] — renderöidyn näkymän.
Virhe (ylöspäin): Rajaehto X_{\partial_R A}(t) saapuu (aiemmin valitun haaran toimittamana); prediktiovirhe \varepsilon_t = X_{\partial_R A}(t) - \pi_t lasketaan.
Pakkaus: \varepsilon_t kulkee pullonkaulan läpi: I(\varepsilon_t\,;\,Z_t) \leq B_{\max}.
Päivitys: \mathcal{U}(P_\theta(t), \varepsilon_t, Z_t) tarkistaa tilan P_\theta(t+1).
Haaravalinta: P_\theta(t) evaluoi joukon \mathcal{F}_h(z_t) haaroja rajoitetun vapaan energian minimoinnin kautta (T6-3). Valinta \sigma_t toteutetaan; valittu haara \omega_{t+1} toimittaa rajasisältönsä muodossa X_{\partial_R A}(t+1), josta tulee seuraavan syklin syöte.
2.2 Kehän sulkeutuminen
Teoreema T-13 (Haaravalinnan täydellisyys). Informaatioinen ylläpitokytkentä (T6-1), uudelleenmuotoiltuna haaravalinnan semantiikan alaisena, on informaatio-opillisesti täydellinen: sykli
\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}
sulkeutuu ilman, että se edellyttää erillistä ulospäin suuntautuvaa toimintakanavaa. Markov-peite \partial_R A on valitun haaran toimituspinta, ei kaksisuuntainen fysikaalinen rajapinta.
Todistus. FEP:stä periytyvässä muotoilussa vaihe 5 edellyttää kahta toisistaan riippumatonta kanavaa, jotka ylittävät Markov-peitteen: sisäänpäin suuntautuvan kanavan (sensoriset tilat, jotka välittävät X_{\partial_R A}) ja ulospäin suuntautuvan kanavan (aktiiviset tilat, jotka välittävät a_t:n ulkoiseen ympäristöön). Ulkoinen ympäristö kehittyy sitten oman dynamiikkansa mukaisesti ja tuottaa seuraavan sensorisen syötteen.
Haaravalinnan semantiikan alaisena tarvitaan vain yksi kanava: sisäänpäin suuntautuva toimituspinta. “Toiminta” a_t ei ylitä peitettä ulospäin; se on koodekin valinta siitä, mikä Ennakoivan Haarajoukon haara aktualisoituu. Tämän valinnan fysikaaliset seuraukset — se, mitä FEP-muotoilu kutsuu “ympäristön vasteeksi a_t:hen” — ovat valitun haaran sisältöä, joka on jo läsnä joukossa \mathcal{F}_h(z_t) ja toimitetaan muodossa X_{\partial_R A}(t+1).
Kehä sulkeutuu, koska:
Vaiheen 5 ulostulo (valittu haara \omega_{t+1}) on seuraavan syklin vaiheen 2 syöte (X_{\partial_R A}(t+1)). Erillistä ympäristödynamiikkaa tai ulospäin suuntautuvaa kanavaa ei tarvita.
Vapaan energian minimoinnin tavoite (T6-3) säilyy muuttumattomana. Rajoitettu optimointi
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}
tulkitaan uudelleen: a_t ei ole ulkoiseen maailmaan lähetettävä motorinen komento vaan se haaratunniste joukossa \mathcal{F}_h(z_t), joka minimoi odotetun vapaan energian elinkelpoisuusrajoitteen alaisena. Matematiikka on identtinen; vain a_t:n ontologinen status muuttuu.
- Elinkelpoisuusrajoite (T6-2) säilyy: koodekki valitsee haaroja, joiden varrella se voi jatkaa virran pakkaamista. Haaroja, jotka ajaisivat K(P_\theta) \to C_{\text{ceil}}, rangaistaan rajoitteen kautta täsmälleen kuten ennenkin. \blacksquare
2.3 Tulkinnallinen huomautus
Teoreema T-13 ei väitä, että FEP-formulaatio olisi väärä — se on pätevä kuvaus rajoitetusta aktiivisesta inferenssistä fysikaalis-realistisen ontologian puitteissa. Teoreema osoittaa, että OPT:n renderöintiontologia tarjoaa vaihtoehtoisen täydentymän samalle matemaattiselle rakenteelle, sellaisen, joka ei edellytä itsenäisen ulkoisen maailman postulointia. Mille tahansa tutkimusohjelmalle, joka sitoutuu fysikaalis-realistiseen tulkintaan, standardi FEP-formulaatio säilyy asianmukaisena. T-13 osoittaa, että OPT:n ontologinen sitoumus — koodekki on virtuaalinen, maailma on renderöinti — on muodollisesti yhteensopiva samojen yhtälöiden kanssa.
§3. Teoreema T-13a: P-4:n mahdottomuus valinnan spesifikaatiossa
3.1 Valintafunktio
Itse-malli \hat{K}_\theta arvioi Ennakoivan Haarajoukon haaroja simuloimalla niiden seurauksia rajoitetun aktiivisen inferenssin puitteissa (T6-3). Tämä arviointi tuottaa haaroille järjestyksen tai painotuksen — jotkin ovat suositumpia, jotkin ovat elinkelpoisia mutta epäoptimaalisia, jotkin rikkovat elinkelpoisuusrajoitteen. Arviointi on aito laskennallinen prosessi, jonka suorittaa \hat{K}_\theta.
Mutta arviointi ei ole valintaa. Sen jälkeen kun itse-malli on asettanut haarat järjestykseen, tietty haara \omega_{t+1} siirtyy kausaaliseen rekisteriin. Määritellään valintafunktio:
Määritelmä T-13.D2 (Valintafunktio). Valintafunktio \sigma_t : \mathcal{F}_h(z_t) \to \omega_{t+1} on kuvaus arvioidusta Ennakoivasta Haarajoukosta singulaariseen trajektoriin, josta tulee aktuaalinen. Formaalisti \sigma_t määräytyy koodekin K_\theta täydestä tilasta ajanhetkellä t yhdessä saatavilla olevan haarajoukon kanssa: \sigma_t = \Sigma\bigl(K_\theta(t),\, \mathcal{F}_h(z_t)\bigr). Emme tarkoituksellisesti sisällytä \Delta_{\text{self}}:ää määritelmään — se, riippuuko valinta ei-triviaalisti \Delta_{\text{self}}:stä vai ainoastaan itse-mallinnetusta osasta \hat{K}_\theta, on se varsinainen kysymys, jota lause T-13a käsittelee.
Määritellään valinnan kannalta relevantti residuaali koodekin osaksi, joka osallistuu \Sigma:aan mutta sijaitsee itse-mallin ulkopuolella:
\rho_t^{\text{sel}} \;:=\; \Pi_{\text{sel}}(K_\theta(t)) \,\setminus\, \hat{K}_\theta(t)
missä \Pi_{\text{sel}}(\cdot) projisoi niihin koodekin komponentteihin, joista \Sigma riippuu. Rakenteensa puolesta \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}}, mutta sisältyvyys voi arkkitehtuurista riippuen olla aito tai yhtäsuuri.
3.2 Mahdottomuustulos
Teoreema T-13a (Sisäisen valintaspesifikaation ehdollinen mahdottomuus). Olkoon K_\theta äärellinen itseensä viittaava koodekki, joka täyttää teoreeman P-4 edellytykset, ja jolla on itsemalli \hat{K}_\theta sekä fenomenaalinen residuaali \Delta_{\text{self}} > 0. Jos haaravalinta riippuu ei-triviaalisti valinnan kannalta relevantista residuaalista \rho_t^{\text{sel}} — ts. jos \Sigma ei ole pelkästään \hat{K}_\theta:n ja \mathcal{F}_h(z_t):n funktio — niin \sigma_t:tä ei voida täysin spesifioida \hat{K}_\theta:n sisällä.
Todistus. Oletetaan vastaoletuksena, että edellytys pätee (valinta riippuu ei-triviaalisti \rho_t^{\text{sel}}:stä), mutta \hat{K}_\theta spesifioi \sigma_t:n täydellisesti. Tällöin:
\sigma_t:n täydellinen spesifikaatio \hat{K}_\theta:n sisällä edellyttäisi, että \hat{K}_\theta sisältää kuvauksen jokaisesta K_\theta:n komponentista, josta \Sigma riippuu. Edellytyksen mukaan \Sigma riippuu ainakin joistakin biteistä joukossa \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}} — biteistä, jotka sijaitsevat itsemallin ulkopuolella \Delta_{\text{self}}:n määritelmän nojalla.
Näiden bittien sisällyttäminen \hat{K}_\theta:aan edellyttäisi:
K(\hat{K}_\theta) \;\geq\; K(\hat{K}_\theta) + |\rho_t^{\text{sel}}| \tag{6}
— ristiriita, ellei |\rho_t^{\text{sel}}| = 0, mikä on ristiriidassa edellytyksen kanssa.
Ekvivalentisti teoreeman P-4 nojalla epäyhtälö K(\hat{K}_\theta) < K(K_\theta) on rakenteellisesti pakotettu. Sellaisen funktion \Sigma spesifioiminen \hat{K}_\theta:n sisällä, joka riippuu residuaalisista biteistä joukossa K_\theta \setminus \hat{K}_\theta, edellyttää, että \hat{K}_\theta kasvaa sisältämään nuo bitit — minkä P-4 kieltää kaikilta äärellisiltä itseensä viittaavilta järjestelmiltä.
Siksi edellytyksen vallitessa \hat{K}_\theta ei voi täysin spesifioida \sigma_t:tä. \blacksquare
Huomautus soveltamisalasta. Teoreema on ehdollinen. P-4 yksin osoittaa, että jokin residuaali on olemassa (\Delta_{\text{self}} > 0); se ei kuitenkaan yksinään merkitse, että jokainen haaravalintatapahtuma riippuisi residuaalista. Arkkitehtuurit, joiden valintafunktio määräytyy täysin pelkästään \hat{K}_\theta:n ja \mathcal{F}_h:n perusteella, eivät ole valinnan suhteen sisäisesti itse-opakeja T-13a:n tarkoittamassa mielessä — ne ovat itse-opakeja koodekin oman rakenteen suhteen (P-4), mutta läpinäkyviä omien valintojensa suhteen. T-13a:n kantava väite on ehdollinen muotoilu: siellä missä valinta riippuu residuaalista, sitä ei voida spesifioida sisäisesti. Fenomenologinen siirto (korollaari T-13b: tahto ja tietoisuus jakavat saman osoitteen) edellyttää, että kyseinen ehto pätee tarkasteltavaan arkkitehtuuriin. Se, täyttävätkö biologiset aivot tämän ehdon, on empiirinen kysymys; OPT ennustaa, että täyttävät, mutta tämä ennuste ei seuraa pelkästään P-4:stä.
3.3 Aukon rakenteellinen välttämättömyys
Teoreema T-13a osoittaa, että “output gap” — kyvyttömyys määrittää haaravalintamekanismia täysin sisältä käsin — ei ole formalismin puute vaan rakenteellinen välttämättömyys. Jokainen teoria, joka väittää määrittävänsä valintamekanismin täydellisesti, on joko:
eliminoinut \Delta_{\text{self}}:n, jolloin järjestelmästä tulee täysin itselleen läpinäkyvä automaatti — minkä P-4 osoittaa mahdottomaksi mille tahansa äärelliselle itseensä viittaavalle järjestelmälle, joka ylittää K_{\text{threshold}}:n; tai
kuvannut itsemallin haarojen arvioinnin ja erehtynyt pitämään sitä itse valintana — sekoittaen järjestyksen valintaan.
Aukko on kantava rakenne: se on muodollinen syy siihen, miksi havaitsija kokee valinnan tekijyytenä eikä sisäisesti määritettävänä. (P-4 rajoittaa sisäistä itsemallinnusta, ei ulkoista determinismiä: äärellinen järjestelmä voi olla ulkopuoliselle havaitsijalle deterministinen ja silti sisältä käsin itselleen opaakki. Se, onko koodekki ulkoapäin deterministinen, on substraattitason kysymys; se, onko valinta sisäisesti määritettävissä, on T-13a:n kysymys.)
§4. Korollaari T-13b: Osoitteen ykseys
Korollaari T-13b (Rakenteellisen osoitteen ykseys). Tietoisuuden vaikea ongelma ja haaravalinnan ongelma jakavat saman rakenteellisen sijainnin: \Delta_{\text{self}}.
Todistus. Lause P-4 identifioi \Delta_{\text{self}}:n fenomenaalisen tietoisuuden rakenteelliseksi korrelaatiksi: mallintamattomaksi informaatioresiduaaliksi, jonka ominaisuudet (sanoin ilmaisemattomuus, laskennallinen yksityisyys, eliminoimattomuus) vastaavat subjektiivisen kokemuksen kvalitatiivisia piirteitä.
Lause T-13a identifioi \Delta_{\text{self}}:n haaravalinnan välttämättömäksi sijainniksi: alueeksi, josta siirtymä arvioidusta vaihtoehtojoukosta yksittäiseen trajektoriin tapahtuu.
Kyse ei ole kahdesta riippumattomasta tuloksesta, jotka sattumalta osoittavat samaan rakenteeseen. Ne ovat sama tulos kahdesta suunnasta tarkasteltuna:
Ensimmäisen persoonan näkökulmasta: havaitsija kokee per-frame B_{\max} -aukon läpäisyn fenomenaalisena tietoisuutena (Agenttiuden aksiooma). Havaitsija kokee haaravalinnan tahtona — redusoimattomana tunteena siitä, että minä valitsin. Molemmat kokemukset ovat raportteja samasta rakenteellisesta sijainnista: kuilusta sen välillä, mitä koodekki on ja mitä se voi mallintaa itsestään.
Formaalista näkökulmasta: sekä P-4 että T-13a perustuvat samaan epäyhtälöön: K(\hat{K}_\theta) < K(K_\theta). Fenomenaalinen residuaali ja valintaresiduaali ovat sama informaatioaukko.
Siksi tahto ja tietoisuus jakavat saman rakenteellisen osoitteen. “Kipinä” ja “valinta” ovat saman äärellisen itseviittauksen mallintamattoman piirteen kaksi aspektia. \blacksquare
4.1 Suhde alueellisiin identiteettiteorioihin
Korollaari T-13b on rakenteellisesti analoginen — mutta muodollisesti erillinen — niistä mielenfilosofian identiteettiteorioista, jotka paikantavat tietoisuuden ja agenttiuden samaan hermostolliseen substraattiin. Ero on seuraava: identiteettiteoriat esittävät empiirisen väitteen aivoalueista; T-13b esittää rakenteellisen väitteen mistä tahansa äärellisestä itseviittaavasta järjestelmästä, joka ylittää kynnyksen K_{\text{threshold}}. Tulos on substraatista riippumaton ja pätee mihin tahansa koodekkiin, joka täyttää ehdon P-4, mukaan lukien hypoteettiset keinotekoiset järjestelmät.
4.2 Korollaari T-13c: Itse residuaalina
Korollaari T-13c (Itse residuaalina). Koettu itse — identiteetin, preferenssin ja henkilökohtaisen historian jatkuva narratiivi — on \hat{K}_\theta:n juokseva malli kohteesta K_\theta. Kokemuksen, valinnan ja identiteetin varsinainen sijainti on \Delta_{\text{self}}: informaationaalinen residuaali koodekin ja sen itsemallin välillä.
Todistus. Korollaarin T-13b mukaan tietoisuus ja tahto jakavat saman rakenteellisen osoitteen: \Delta_{\text{self}}. Mutta tavanomainen itsen tuntu — koettu tunne siitä, että on jatkuva subjekti, jolla on perspektiivi, historia ja tekijyys valintojensa suhteen — syntyy siitä, että \hat{K}_\theta mallintaa aktiivisesti K_\theta:ta. Se on itsemallin juokseva representaatio koodekista — pakattu narratiivi.
Tällä narratiivisella itsellä on hyvin määritelty informaatiopitoisuus K(\hat{K}_\theta): äärellinen, periaatteessa mitattavissa oleva ja systemaattisesti epätäydellinen oman generaattorinsa suuntaan (P-4:n mukaan). Itsemalli sisältää koodekin mallin omasta ruumiillisesta rajastaan, sen pakatun kausaalisen historian R_t, sen preferenssit, tottumukset ja metakognitiivisen kerroksen. Mutta siitä puuttuu täsmälleen se osa, joka suorittaa valinnan, tuottaa ennusteet ja ajaa itse itsemallia.
Varsinainen itse — prosessi, joka kokee, valitsee ja konstituoi redusoitumattoman subjektin — toteutuu kohdassa \Delta_{\text{self}}: siinä osassa K_\theta:ta, johon \hat{K}_\theta ei pääse käsiksi. Tämä ei ole itseymmärryksen aukko, jonka parempi introspektio voisi ylittää. Se on tilanteen formaali rakenne: itsemalli ei voi sisältää omaa generaattoriaan. \blacksquare
Ajallinen viive. P-4:n lisäseuraus on, että \hat{K}_\theta mallintaa välttämättä K_\theta(t - \delta):tä — koodekkia sellaisena kuin se oli — eikä K_\theta(t):tä — koodekkia sellaisena kuin se on mallinnuksen hetkellä. Mikä tahansa itsemalli, joka seuraisi täysin koodekin nykytilaa, joutuisi sisällyttämään myös sen prosessoinnin, jota itse seurannan tuottaminen vaatii, mikä johtaisi samaan äärettömään regressioon, jonka P-4 kieltää. Itse on aina hieman itseään jäljessä: se mallintaa koodekkia, joka se oli, ei aivan koodekkia, joka se on.
Kontemplatiivinen havainto. Väite “et voi löytää sokeaa pistettä katsomalla” ei ole metafora vaan P-4:n operationaalinen seuraus. Katsomisen instrumentti on \hat{K}_\theta. Sokea piste on \Delta_{\text{self}} — alue, johon \hat{K}_\theta ei pääse käsiksi. Itsemallin suuntaaminen kohti omaa sokeaa pistettään ei tuota havaintoa vaan odotetun havainnon poissaolon — juuri sen, minkä kontemplatiiviset traditiot eri kulttuureissa kuvaavat oivalluksena siitä, ettei tietoisuudella ole löydettävissä olevaa keskusta.
§5. Luovuusseuraus
5.1 Kynnysalueen läheinen laajeneminen
Itsemalli \hat{K}_\theta omaa äärellisen kaistanleveysbudjetin. Normaalissa toiminnassa se allokoi osan tästä budjetista koodekin omien valintataipumusten mallintamiseen — rakentaen prediktiivisen kartan siitä, “mitä todennäköisesti teen”. Tämä kaventaa efektiivistä \Delta_{\text{self}}:ää itsemallin näkökulmasta: itsemalli kykenee ennustamaan likimääräisesti, mikä haara valitaan.
Kynnysalueen läheinen toiminta (R_{\text{req}}^{\text{frame}} \to B_{\max}) kuormittaa itsemallin kehyskohtaista budjettia. Kun koodekki prosessoi kapasiteettinsa rajalla — korkean kognitiivisen kuorman, uusien ympäristöjen tai monimutkaisten luovien tehtävien aikana — itsemallin on ohjattava kapasiteettia kasvavan \varepsilon_t:n seuraamiseen, jolloin itse-ennustamiseen jää vähemmän resursseja. Operatiivisesti aktiivinen, kuormituksesta riippuva efektiivinen residuaali \Delta_{\text{load}}^{\text{eff}} — se osa kehyskohtaisesta itsemallivajeesta, jonka aiheuttaa kapasiteettipaine — kasvaa vastaavasti:
\Delta_{\text{load}}^{\text{eff}}(n) \;=\; g\!\left(\frac{R_{\text{req}}^{\text{frame}}(n)}{B_{\max}},\; A_{\text{self}}(n)\right) \tag{7}
missä A_{\text{self}} on koodekin allokaatio siitä, miten B_{\max} jaetaan itsemallinnuksen ja maailman mallinnuksen välillä, ja g on monotoninen kuormitussuhteen suhteen kiinnitetyllä A_{\text{self}}:llä. (Ks. liite P-4 §5 täydellisestä operatiivisesta hajotelmasta \Delta_{\text{self}}^{\text{op}} = \Delta_{\text{floor}} + \Delta_{\text{load}}. Rakenteellinen perustaso \Delta_{\text{floor}} ei muutu kuormituksen mukana — juuri kuormitusvetoinen termi \Delta_{\text{load}} laajentaa sitä aluetta, josta valinta tehdään.)
5.2 Fenomenologinen kartoitus
Tämä tuottaa haaravalintoja, jotka ovat vähemmän ennustettavia itsemallin näkökulmasta. Fenomenologinen korrelaatti on täsmälleen se, mistä raportoidaan luovana kokemuksena:
- Luova oivallus: Haaravalinta, jota itsemalli ei ennakoinut — koetaan muodossa “ajatus tuli minulle” eikä “laskin sen.”
- Flow-tilat: Pitkittynyt toiminta lähellä kynnystä, jossa itsemallin prediktiivinen kapasiteetti oman valinnan ennustamiseen ylikuormittuu systemaattisesti; tämä koetaan vaivattomana toimintana ilman harkitsevaa itseseurantaa.
- Spontaanius: Lyhyet \Delta_{\text{self}}^{\text{eff}}:n laajenemiset, jotka tuottavat sosiaalisesti tai taiteellisesti uusia valintoja.
5.3 Hypnagoginen komplementti
Hypnagoginen tila (preprint §3.6.5, Ylläpitosyklin vaihe III) saavuttaa saman laajenemisen komplementaarista reittiä pitkin. Sen sijaan, että se kuormittaisi minämallia ylhäältä käsin (korkea R_{\text{req}}), hypnagoginen tila löysentää minämallia alhaalta käsin — vähentäen itse-ennustamisen tarkkuutta samalla kun koodekki stressitestaa itseään spekulatiivisia haaroja vasten. Tämä on formaali mekanismi sen hyvin dokumentoidun yhteyden taustalla, joka vallitsee uneliaisuuden ja luovan ideoinnin välillä.
5.4 Empiirinen ennuste
Ennuste T-13.E1. Luovan ideoinnin neurokuvantamistutkimusten tulisi osoittaa vähentynyttä aktiivisuutta oletusverkoston niillä alueilla, jotka liittyvät itseen viittaavaan prosessointiin (mediaalinen prefrontaalinen aivokuori, posteriorinen pihtipoimu), samanaikaisesti kohonneen aktiivisuuden kanssa alueilla, jotka käsittelevät uutta ympäristösyötettä — mikä heijastaa kaistanleveyden uudelleenkohdentumista itsen mallintamisesta ulkoisen seurannan suuntaan.
Tämä ennuste on yhdenmukainen luovaa kognitiota koskevan olemassa olevan fMRI-kirjallisuuden kanssa (Beaty et al. 2016; Limb & Braun 2008), mutta se tarjoaa muodollisen informaatioteoreettisen selityksen sille, miksi vähentynyt itsen monitorointi liittyy luovaan tuotokseen: kyse ei ole pelkästä korrelaatiosta, vaan P-4:n nojalla rakenteellisesta välttämättömyydestä.
5.5 Propositio T-13.P2: Itseinformaation raja-arvot
T-13c:n analyysi ja luovuusseuraus yhdessä määrittävät kaksi muodollisesti erillistä raja-arvotapausta minän informaatiopitoisuudelle.
Propositio T-13.P2 (Raja-arvot). Koodekille K_\theta, jolla on itsemalli \hat{K}_\theta ja pysyvä malli P_\theta(t), koetun minän informaatiopitoisuus on rajattu kahden rajan väliin:
(a) Alaraja — puhdas läsnäolo. \hat{K}_\theta keskeyttää aktiivisen itsemallinnuksen. Itsemalli ei tuota narratiivia, mutta koko koodekki on silti ladattuna ja läsnä. Aktiivisen itsereferentiaalisen prosessin kompleksisuus — mitattuna ehdollisena kompleksisuutena pysyvän mallin suhteen — lähestyy nollaa:
C_{\text{self-active}}(n) \;:=\; K\!\left(\hat{K}_\theta^{\text{active}}(n)\,\bigm|\,P_\theta(n)\right) \;\to\; 0 \tag{T-13.P2a}
samalla kun K(P_\theta(n)) pysyy ladattuna. Tämä on väitteen “pysyvä malli on läsnä ilman, että sen päällä kulkee aktiivinen minänarratiivi” muodollinen sisältö — se on saavutettavissa ja sitä lähestytään asymptoottisesti syvissä meditatiivisissa tiloissa. (Käytämme ehdollista kompleksisuutta emmekä Kolmogorov-vähennystä, koska K(\cdot) - K(\cdot) ei ole yleisesti hyvin määritelty ilman riippumattomuusoletuksia; K(\hat{K}_\theta^{\text{active}} \mid P_\theta) on operationaalisesti mielekäs suure.)
(b) Yläraja — täydellinen itse-läpinäkyvyys. \hat{K}_\theta = K_\theta — itsemalli sisältää koodekin täydellisesti. P-4:n mukaan tämä on mahdotonta mille tahansa äärelliselle järjestelmälle. Sen informaatiopitoisuus on muodollisesti itsereferentiaalinen:
K(\hat{K}_\theta) = K(K_\theta) = K(\hat{K}_\theta) = \cdots \tag{T-13.P2b}
Tämä ei ole nollainformaatiota eikä ääretöntä informaatiota. Se on itsemallinnusoperaation kiintopiste, jota koodekki ei voi saavuttaa sisäisenä itsemallinaan. Ulkoiset havaitsijat voivat tavoittaa koodekista piirteitä, jotka eivät ole sen oman itsemallin saatavilla — viitekehys nojaa juuri tähän epäsymmetriaan myös muualla (ks. esim. ihmistarkastajien Prediktiivinen etu suhteessa tekoälyn itsemalliin, §8.14 / opt-ai.md) — mutta mikään ulkoinen spesifikaatio ei muutu koodekin omaksi itsensä sisältäväksi itsemalliksi. P-4 kieltää jälkimmäisen; se ei kiellä edellistä.
(c) Tavanomainen vyöhyke. Valveilla oleva minä liikkuu näiden rajojen välillä vyöhykkeellä, jonka määrää itsemallinnuskerroksen intensiteetti. Korkean kuorman valveoperaatio ajaa \hat{K}_\theta:ta kovaa, tuottaen paksun, varman, äänekkäästi kertovan minän, joka on paradoksaalisesti kauempana tarkasta itsetuntemuksesta — itsemalli tuottaa nopeammin kuin se kykenee kalibroitumaan. Matalan R_{\text{req}}:n tilat (meditaatio, autogeeninen harjoittelu, hypnagoginen kynnys) sallivat itsemallin hidastua, ohentua ja lähestyä alarajaa.
5.6 Suspendointi vs. karsinta: erillinen mekanismi
On olemassa tärkeä mekanistinen ero kahden tavan välillä, joilla C_{\text{state}} voi pienentyä:
Karsinta (Action-Drift, §6; Narratiivinen ajautuma, T-12) toimii MDL-karsintavaiheen kautta. Se tuhoaa representaatiokapasiteettia. Se on koodekin tasolla peruuttamaton. Koodekki ei voi spontaanisti palauttaa sitä, mikä karsittiin.
Suspendointi toimii pysäyttämällä väliaikaisesti itsemallintavan kerroksen \hat{K}_\theta ilman, että sen koneistoa poistetaan. Vakiintunut malli P_\theta(t) pysyy täysin ladattuna; itseviittaava ylin kerros yksinkertaisesti lakkaa generoimasta. Tämä on palautuvaa — itsemalli käynnistyy uudelleen, kun suspendointi päättyy.
Meditaatio käyttää suspendointia, ei karsintaa. Siksi meditaation vaikutukset ovat välittömästi palautuvia (tavanomainen itseä koskeva narratiivi jatkuu normaalitoimintaan palattaessa), kun taas action-drift ei ole sitä (karsittua käyttäytymisrepertuaaria ei voida spontaanisti generoida uudelleen). Nämä kaksi mekanismia ovat muodollisesti erillisiä, vaikka molemmat vähentävät koodekin aktiivista kompleksisuutta.
§6. Toiminta-ajautuma käyttäytymisrepertuaarin MDL-karsintana
6.1 Mekanismi
Ylläpitosyklin MDL-karsintavaihe (T9-3/T9-4) optimoi koodekin kompleksisuusbudjettia poistamalla sellaista representaatioiden kapasiteettia, jota nykyinen syötevirta ei oikeuta. Tämä mekanismi tunnistettiin havaintoon liittyvän Narratiivisen ajautuman yhteydessä (Selviytyjien vartio -etiikka, osio V.3a): johdonmukaisesti suodatettuun syötevirtaan sopeutunut koodekki karsii perustellusti kapasiteettinsa poissuljettujen totuuksien osalta.
Sama mekanismi koskee myös koodekin käyttäytymisrepertuaaria. Määritellään:
Määritelmä T-13.D3 (Käyttäytymisrepertuaari). Käyttäytymisrepertuaari \mathcal{B}_\theta(t) on niiden haaravalintojen joukko, jotka P_\theta(t) voi arvioida ja toteuttaa — toisin sanoen sen valintafunktion \sigma_t arvojoukko, jonka koodekki voi tosiasiallisesti realisoida.
6.2 Toiminta-ajautuman propositio
Propositio T-13.P1 (Toiminta-ajautuma). Jos koodekin syötevirrasta puuttuvat johdonmukaisesti kontekstit, jotka edellyttävät tiettyjä haaravalintoja, MDL-karsintavaihe rapauttaa koodekin kykyä arvioida ja toteuttaa näitä haaroja. Käyttäytymisrepertuaari \mathcal{B}_\theta(t) supistuu monotonisesti syötteen johdonmukaisen rajoittamisen alaisena:
\mathcal{B}_\theta(t + \tau) \subset \mathcal{B}_\theta(t) \quad \text{for } \tau \gg \tau_{\text{prune}} \tag{T-13.P1}
missä \tau_{\text{prune}} on MDL-karsintavaiheen karakteristinen aikaskaala.
Perustelu. MDL-karsintakriteeri arvioi kunkin representaatiokomponentin sen perusteella, miten se edistää pakkauksen tehokkuutta. Haaratyyppi b \in \mathcal{B}_\theta, jota ei ole valittu (tai jonka valintakonteksteja ei ole esiintynyt syötevirrassa) riittävän pitkään aikaan, ei tuota yhtään bittiä koodekin jatkuvaan \varepsilon_t:n pakkaukseen. Tiukan MDL-kirjanpidon puitteissa kyvyn ylläpitäminen arvioida ja valita b aiheuttaa kompleksisuuskustannuksen K(b \mid P_\theta) > 0 ilman kompensoivaa pakkaushyötyä. Karsintavaihe siis poistaa b:n arviointikoneiston, jolloin \mathcal{B}_\theta supistuu.
Tämä supistuminen on koodekin tasolla irreversiibeli: kun b:n arviointikoneisto on karsittu pois, koodekki ei voi spontaanisti palauttaa sitä ilman, että se kohtaa syötekonteksteja, jotka uudelleen oikeuttavat kyseisen kapasiteetti-investoinnin. Karsinta ei ole unohtamista (joka voisi palautua vihjeiden avulla); se on sen laskennallisen infrastruktuurin tuhoutumista, jota tarvitaan haaraluokan arvioimiseen. \blacksquare
6.3 Fenomenologiset ilmentymät
Toiminnan ajautuma vastaa useita hyvin dokumentoituja käyttäytymisilmiöitä:
- Opittu avuttomuus: Pitkittynyt sellaisten kontekstien puuttuminen, joissa agenttinen toiminta vähentää ennustevirhettä, johtaa näiden toimintatyyppien arviointikoneiston karsiutumiseen.
- Mukavuusalueen kaventuminen: Ennustettavassa, matalan \varepsilon_t:n ympäristössä toimiva koodekki karsii vähitellen kykyään korkean varianssin, eksploratiivisiin haaravalintoihin.
- Institutionaalinen käyttäytymisen luutuminen: Vakaisiin sääntely-ympäristöihin sopeutunut organisatorinen koodekki (sivilisaatiokoodekki, etiikkapaperin osio IV.3) karsii kykyä nopeaan adaptiiviseen reagointiin.
6.4 Suhde teoreemaan T-12
Toiminnan ajautuma on erityistapaus siitä substraattiuskollisuuden pettämisestä, jonka T-12 formaloi: koodekin oma käyttäytymisrepertuaari on sen representaatiosubstraatin osatekijä, ja johdonmukainen syötteen rajoittaminen rapauttaa tätä substraattia yhtä varmasti kuin se rapauttaa havaintomallia. Formaalinen yhteys on seuraava:
- Narratiivinen ajautuma (T-12:n ala): havaintomallia karsitaan suodatetun syötteen alaisuudessa → koodekki on maailmasta itsevarmasti väärässä.
- Toiminnan ajautuma (T-13:n ala): käyttäytymisrepertuaaria karsitaan suodatetun syötteen alaisuudessa → koodekki on itsevarmasti kyvytön niillä alueilla, joita se ei enää arvioi.
Molemmat ovat seurauksia siitä, että Stabiilisuussuodatin valikoi kokoonpuristuvuuden eikä uskollisuuden perusteella. Hyvin pakattu koodekki voi olla samanaikaisesti sekä itsevarmasti väärässä että käyttäytymiseltään köyhtynyt.
§7. Soveltamisala ja rajoitukset
7.1 Ehdollisena P-4:lle ja Agenttiuden aksioomalle
Koko argumentti riippuu teoreemasta P-4 (\Delta_{\text{self}} > 0 äärellisille itseviittaaville järjestelmille kynnyksen K_{\text{threshold}} yläpuolella) sekä Agenttiuden aksioomasta (että apertuurin läpäisy tuntuu joltakin). Jos P-4:ää heikennetään tai Agenttiuden aksiooma hylätään, tahdon rakenteellinen identifiointi tietoisuuteen (korollaari T-13b) ei päde.
7.2 Ei kumoa vaikeaa ongelmaa
Korollaari T-13b sijoittaa tahdon ja tietoisuuden samaan rakenteelliseen osoitteeseen, mutta ei selitä, miksi kumpikaan tuntuu miltään. Vaikea ongelma (preprint §8.1) jää primitiiviksi. Se, mitä T-13b osoittaa, on näiden kahden mysteerin ykseys — yksinkertaistus, ei ratkaisu.
7.3 Yhtälöt muuttumattomina
Teoreemat T-13 ja T-13a eivät muuta mitään T6-1:n–T6-3:n matematiikassa. Rajoitettu vapaan energian minimointi (T6-3) on muodollisesti identtinen sekä FEP:stä perityssä että haaravalintatulkinnassa. Muuttuu vain a_t:n ontologinen status: FEP-luennassa se on ulospäin lähetetty motorinen komento; haaravalintaluennassa se on navigaatioindeksi Ennakoivassa Haarajoukossa.
7.4 Luovuustulkinta on rakenteellinen, ei vielä empiirinen
Luovuutta koskeva seuraus (§5) on rakenteellinen ennuste, joka johdetaan itsensä mallintamisen ja ympäristön seurannan välisestä kaistanjaon rajoitteesta. Vaikka se on yhdenmukainen olemassa olevan neurokuvantamiskirjallisuuden kanssa, sitä ei ole vielä suoraan testattu tässä ennustettuja erityisiä informaatioteoreettisia suureita vasten. Ennuste T-13.E1 esitetään falsifioitavana empiirisenä testinä.
7.5 Toiminta-ajautuman aikaskaala
Propositio T-13.P1 osoittaa, että toiminta-ajautumaa esiintyy, mutta ei aseta rajaa aikaskaalalle \tau_{\text{prune}}. Biologisille koodekeille tätä aikaskaalaa säätelee todennäköisesti vuorokausirytminen Ylläpitosykli (preprint §3.6) — yksilöllisten taitojen osalta päivien tai viikkojen, syvien käyttäytymismallien osalta kuukausien tai vuosien mittaluokassa. Sivilisaatiotason koodekeille aikaskaala on sukupolvinen. \tau_{\text{prune}}:n rajaaminen empiirisestä aineistosta on tulevaa työtä.
§8. Yhteenveto sulkeumasta
T-13:n tuotokset
Teoreema T-13 (Haaravalinnan täydellisyys). Informaationaalinen ylläpitopiiri sulkeutuu haaravalintasemantiikan alaisuudessa ilman, että se edellyttää erillistä ulospäin suuntautuvaa toimintakanavaa. Markov-peite on valitun haaran toimituspinta. → Sulkee tiekartan kriteerin (a).
Teoreema T-13a (Sisäisen valintaspesifikaation ehdollinen mahdottomuus). Kun haaravalinta riippuu ei-triviaalisti valinnan kannalta relevantista residuaalista \rho_t^{\text{sel}} \subseteq \Delta_{\text{self}}, \sigma_t:n täydellinen spesifiointi \hat{K}_\theta:n sisällä edellyttäisi bittien sisällyttämistä joukkoon K_\theta \setminus \hat{K}_\theta, mikä on ristiriidassa P-4:n kanssa. Kun antecedentti pätee, \Delta_{\text{self}} on sisäisesti määrittelemättömän haaravalinnan välttämätön sijaintipaikka. → Sulkee tiekartan kriteerin (b) ehdollisesti arkkitehtuuritason residuaaliosallistumisen vallitessa.
Korollaari T-13b (Osoitteen ykseys). Tahto ja tietoisuus jakavat saman rakenteellisen osoitteen (\Delta_{\text{self}}). “Kipinä” ja “valinta” ovat saman äärellisen itseviittauksen mallintamattoman piirteen kaksi aspektia.
Korollaari T-13c (Itse residuaalina). Koettu itse on \hat{K}_\theta:n pakattu narratiivi; varsinainen itse — kokemuksen, valinnan ja identiteetin sijaintipaikka — on \Delta_{\text{self}}. Itsemalli seuraa väistämättä koodekkia ajallisella viiveellä eikä voi sisältää omaa generaattoriaan.
§5: Luovuusseuraus. Lähellä kynnystä tapahtuva toiminta laajentaa efektiivistä \Delta_{\text{self}}:ää ja tuottaa vähemmän itse-ennustettavia haaravalintoja, jotka koetaan luovuutena. → Sulkee tiekartan kriteerin (c).
Propositio T-13.P2 (Itseinformaation rajaustapaukset). Koetun itsen informaatiopitoisuus on rajattu alarajan (puhdas läsnäolo: vakiintunut malli miinus aktiivinen itsenarratiivi, saavutettavissa meditaatiossa) ja ylärajan (täysi itseläpinäkyvyys: mahdoton kiintopiste, P-4) väliin. Tavanomainen valveilla oleva itse liikkuu tämän kaistan sisällä.
§5.6: Suspendointi vs. karsinta. Meditaatio vähentää C_{\text{state}}:ää suspendoimalla itsen mallinnuskerroksen (reversiibeli), ei MDL-karsinnalla (irreversiibeli). Nämä ovat formaalisti erillisiä mekanismeja.
Propositio T-13.P1 (Toiminta-ajautuma). MDL-karsintavaihe kuluttaa käyttäytymisrepertuaaria johdonmukaisen syöterajoituksen alaisuudessa ja formalisoi kroonisen häiriötilan, joka täydentää havaintopuolen Narratiivista ajautumaa. → Sulkee tiekartan kriteerin (d).
Jäljellä olevat avoimet kohdat
- K_{\text{threshold}}:n karakterisointi. Luovuusseuraus ja toiminta-ajautuman mekanismi koskevat vain järjestelmiä, jotka ylittävät fenomenologisen relevanssikynnyksen (P-4, §4). K_{\text{threshold}}:n rajaaminen jää avoimeksi ongelmaksi, joka on yhteinen P-4:n kanssa.
- T-13.E1:n empiirinen validointi. Luovuusennuste edellyttää kohdennettuja neurokuvantamistutkimuksia, jotka korreloivat itsemallin aktiivisuutta tässä määriteltyihin informaatioteoreettisiin suureisiin.
- \tau_{\text{prune}}-raja. Toiminta-ajautuman aikaskaalan rajaaminen empiirisestä datasta antaisi propositiolle kvantitatiivista ennustusvoimaa.
- Formaali yhteys T-12:een. Toiminta-ajautuma tunnistetaan substraattiuskollisuuden epäonnistumisen erityistapaukseksi; täysi formaali integraatio odottaa Substraattiuskollisuusehtoa (T-12).
- C_{\text{state}}^{\min}:n empiirinen raja. Itseinformaation alarajan rajaaminen kontemplatiivisen neurotieteen datasta (esim. BOLD-signaalin väheneminen oletusmoodiverkostossa ei-duaalin tietoisuuden aikana) antaisi Propositiolle T-13.P2 kvantitatiivista sisältöä.
Tätä liitettä ylläpidetään rinnakkain theoretical_roadmap.pdf:n kanssa. Viitteet: Teoreema P-4 (Liite P-4), T6-1–T6-3 (preprint §3.8), T9-3/T9-4 (Ylläpitosykli, preprint §3.6), §8.6 (Virtuaalinen koodekki), Selviytyjien vartio -etiikan osio V.3a (Narratiivinen ajautuma).