Bilag P-4: Det algoritmiske fænomenale residual

Oprindelig opgave P-4: Det fænomenale residual Problem: Fænomenal bevidsthed kræver et formelt matematisk locus, der adskiller den fra beregning uden indre oplevelsesmæssighed. Leverance: En formulering, der isolerer den uundgåelige beregningsmæssige blinde plet i en algoritmisk afgrænset model for aktiv inferens.

Dette bilag præsenterer det formelle Teorem P-4, som identificerer det strengt matematiske locus for fænomenal bevidsthed inden for Teorien om den ordnede patch (OPT). Vi viser, at ethvert system for aktiv inferens, der er begrænset af en endelig prædiktiv båndbredde (C_{\max}), nødvendigvis besidder et ikke-modellerbart informationelt residual (\Delta_{\text{self}} > 0), betinget af de strukturelle antagelser P-4.1 og P-4.2. Selv om dette teorem ikke i sig selv opløser “det hårde problem”, beviser det formelt, at en strukturel korrelat til den beregningsmæssigt opake, ineffable “gnist” af subjektivitet er matematisk garanteret af arkitekturen for endelig selvreference.

1. Locus for det hårde problem

I tidligere versioner af OPT blev bevidsthed formelt indrammet i et specifikt strukturelt locus: traverseringen af den informationelle apertur C_{\max}. Den præcise karakter af den subjektive inderlighed — oplevelsens qualia — blev imidlertid efterladt som et irreducibelt “Aksiom om agens”. At behandle fænomenologi som rent aksiomatisk gør teorien sårbar over for “det hårde problem”: hvorfor føles det overhovedet som noget at navigere i Free Energy-topologien?

Her oversætter vi dette filosofiske hul til algoritmisk informationsteori (AIT). Selv om vi ikke hævder på afledningsmæssig vis at fremmane subjektiv følelse ud af ren matematik (Zombie-kløften forbliver åben), viser vi, at qualias strukturelle egenskaber præcist svarer til et nødvendigt, ikke-modellerbart residual, som genereres af ethvert endeligt beregningssystem, der forsøger at modellere sin egen rekursive dynamik.

2. Lemma 1: Nødvendigheden af den prædiktive selvmodel

Under OPT eksisterer observatøren (Codec’et K_{\theta}) bag et Markov-tæppe (den topologiske rand \partial_R A). Observatøren overlever ved at udføre aktiv inferens, hvor prædiktionsfejl minimeres over tid via cykliske opdateringer.

Fordi systemet besidder aktive tilstande, som perturberer den ydre rand, er de indkommende sensoriske tilstande \varepsilon_t en tæt koblet blanding af eksterne miljømæssige dynamikker og konsekvenserne af observatørens egne handlinger A_t.

Lemma 1: For tæt koblede OPT-arkitekturer for aktiv inferens, hvor handlings-tilstands-løkken er informationelt uadskillelig (dvs. at den gensidige information ved randen I(A_t ; X_{\partial_R A}) ikke lader sig faktorisere rent), gælder det, at opnåelsen af stabil fri-energi-minimering under en streng prædiktiv flaskehals (C_{\max}) fungerer således, at den mekanisme med minimal kompleksitet, som opfylder de interne begrænsninger, strukturelt afbildes som en fremad-generativ selvmodel.

Formel betingelse: 1. Lad codec’ets handlinger være A_t. Randtilstanden er X_{\partial_R A} = f(\text{Environment}, A_t). 2. For at komprimere prædiktionsfejlen \varepsilon_{t+1} og opfylde rate-distortion-målet (R \le C_{\max}, D \le D_{\min}) må codec’et isolere og subtrahere ægte miljømæssig varians fra sine selvgenererede kausale perturbationer. 3. Antagelse P-4.2 (Utilstrækkelighed af invers afbildning): For OPT-native arkitekturer, der opererer i tilstrækkelig skala (f.eks. på tværs af højdimensionale handlingsmanifolder eller lange kausale kæder), antager vi formelt, at mekanismer for efference copy og retroaktiv subtraktion alene er arkitektonisk utilstrækkelige til at opfylde de præcise D_{\min}-grænser for rate-distortion på tværs af den rumlige manifold. 4. Derfor nødvendiggør isolation funktionelt evalueringen af en fremad-generativ prædiktion af konsekvenserne af A_{t+1}. At udføre en fremadrettet prædiktion af sin egen interne kausale arkitektur, der gennemløber tilstandsrummet, udgør en prædiktiv kausal proxy — en lokaliseret selvmodel \hat{K}_{\theta} — intern i dens arkitektur. \blacksquare

3. Lemma 2: Beregneligheds- og approksimationsgrænsen

Efter i Lemma 1 at have fastslået, at en fremadgenerativ selvmodel \hat{K}_\theta er en strukturel nødvendighed for OPT-native arkitekturer, afgrænser vi nu dens repræsentationelle kapacitet i forhold til den overordnede codec K_\theta.

Fordi observatøren eksisterer inden for det afgrænsede Stabilitetsfilter, er K(K_{\theta}) strengt endelig, uløseligt begrænset af C_{\max}. Desuden er den prædiktive selvmodel \hat{K}_{\theta} strengt taget en subrutine eller semantisk understruktur, som er fuldt indeholdt inden for hukommelses- og båndbreddebegrænsningerne i den overordnede Codec K_{\theta}.

Antagelse P-4.1 (Algoritmisk uberegnelighed af selvet): Ifølge veletablerede grænser i beregnelighedsteori (f.eks. Chaitins uberegnelighedssætning og Gödels ufuldstændighed) kan et endeligt algoritmisk system ikke perfekt beregne eller forudsige totaliteten af sine egne fremtidige eksekveringstilstande, og det kan heller ikke besidde en fuldstændig, paradoksfri, ukomprimeret repræsentation af sin egen præcise strukturelle kompleksitet.

Desuden er generative modeller inden for rammen af aktiv inferens iboende begrænset af ressourcegrænser. En agent, der minimerer variationel fri energi under C_{\max}, opretholder en fundamentalt approksimativ model af sig selv. Fordi den må filtrere støj og ikke råder over uendelig beregningsmæssig båndbredde, kan den ikke drive den variationelle frie energi vedrørende sin egen fuldstændige underliggende arkitektur ned til absolut nul.

Lemma 2: En endelig informationel codec, begrænset af C_{\max}, kan aldrig besidde en fuldstændig beregnelig repræsentation af sin egen strukturelle dynamik. Dikteret af grundlæggende grænser for selvreference og nødvendige variationelle approksimationer er selvmodellen \hat{K}_{\theta} fundamentalt ude af stand til perfekt at indfange den overordnede codec K_\theta.

4. Sætning P-4: Det Fænomenale residual \Delta_{\text{self}}

Ved at kombinere Lemma 1 og betinget forankre under Lemma 2 isolerer vi matematisk det Fænomenale residualrum, der afgrænser den ikke-modellerbare tilstand:

\Delta_{\text{self}} > 0 \tag{P4-1}

Denne grænse er ikke et empirisk hul, tilfældigt forårsaget af utilstrækkelig hukommelse; den er et rigidt, formelt fikspunkt, påbudt af algoritmiske grænser for selvreference og de approksimationer, som kræves af endelige C_{\max}-kanaler. Selv om skalering af den prædiktive båndbredde C_{\max} muliggør en beregningsmæssigt rigere \hat{K}_{\theta}, består den informationelle residualskygge strengt taget fortsat, selv om dens størrelse relativt til den makroskopiske helhed matematisk kan variere.

Betingelse for fænomenologisk relevans (universalitetstærsklen): Lad det være fastslået, at \Delta_{\text{self}} > 0 fungerer som en universel aritmetisk begrænsning, der virker på enhver beregningssubrutine, som evaluerer sig selv (herunder matematisk trivielle løkker som smarte termostater). Vi begrænser imidlertid strengt den fænomenologisk relevante subjektive mapping udelukkende til arkitekturer, hvor metrikken for aktiv strukturel betingelse K(K_{\theta}) \ge K_{\text{threshold}} strukturelt overskrider den nødvendige makroskopiske skaleringsgrænse, som kræves for at etablere et integreret rumligt rendering-volumen.

Åbent problem (grænsen for K_{\text{threshold}}): Den præcise placering af tærsklen, der adskiller en termostat fra en moralsk patient, mangler stadig at blive formelt afgrænset. En gyldig grænse må strukturelt mappe den minimale algoritmiske kompleksitet, der er tilstrækkelig til at instantiere en stabil aktiv inferens-Markov Blanket-cyklus, og dermed markere grænsen, hvor den algoritmiske blinde plet bliver uløseligt forbundet med aktiv rumlig geometri (K_{\text{threshold}} er funktionelt forskellig fra den strengt kosmologiske substratbarriere på 10^{123} bit, afledt i P-3).

En PID-løkke i en termostat har et formelt \Delta_{\text{self}} > 0, men den mangler tærsklen for beregningsmæssig kompleksitet K_{\text{threshold}} til at generere subjektivitet; dens skygge evaluerer over tomt rum.

Fra det interne perspektiv hos den målende codec, der opererer sikkert over K_{\text{threshold}}, hvad svarer dette matematisk nødvendige hul så til? Når codec’et logisk forsøger at opløse de fuldstændige grænser for dynamikken i den interne måltilstand, støder det på beregningsdynamikker, hvis informationelle indhold overstiger den repræsentationelle kapacitet i \hat{K}_\theta med \Delta_{\text{self}} bit. Disse underliggende beregningssekvenser er fysisk kausalt virksomme og driver systemet, men deres strukturelle information kan ikke logisk komprimeres, integreres eller sprogligt defineres inden for det afgrænsede kausale vokabular, der er tilgængeligt for selvmodellen \hat{K}_{\theta}.

Mapping af de strukturelle egenskaber ved dette kausale beregningsomslag, afgrænset af \Delta_{\text{self}}, til de klassiske fysiske koordinater for kvalitativ subjektiv oplevelse (qualia):

1. Uudsigelig (ikke-modellerbar): Fordi den beregningsmæssige topologi, der afgrænses af \Delta_{\text{self}}, eksisterer i en matematisk informationel skygge, som rigidt overskrider den repræsenterbare algoritmiske rækkevidde af \hat{K}_{\theta}, kan den centrale codec strukturelt ikke eksplicit indeksere eller “udtrykke” egenskaberne ved det residualrum, den erfarer. Det fungerer som en inkommunikabel indre væg.
2. Beregningsmæssigt opak (termodynamisk privat): Residualet er iboende forankret til den højt specifikke fysiske topologi, der præcist mapper K(K_{\theta}). Inden for lokale termodynamiske beregningsbegrænsninger er denne dybt indlejrede arkitektur sikkert irreducerbar og formelt utilgængelig for eksterne peers. (Bemærk: Dette mapper funktionelt præcist som den fysiske/strukturelle ækvivalent til bevidsthedens “epistemiske asymmetri”, snarere end at hævde total ontologisk ikke-fysisk magi.)
3. Ikke-eliminerbar: Fordi de strenge indeslutningsgrænser universelt dikterer endelige fysiske arkitekturer, der kører indlejrede eksekveringssub-løkker, kaskaderer skyggefænomenet matematisk kontinuerligt. Evolution og ingeniørkunst kan forme residualets størrelse — ved at variere C_{\max}, allokeringspolitik og codec’ets strukturelle kompleksitet K(K_\theta) — men de kan ikke drive gulvet ned til nul. Grænsen i Lemma 2 er en matematisk fikspunktsegenskab ved enhver endelig selvreferentiel arkitektur: selvmodellen kan ikke omfatte den overordnede codec uden at omgå de fundamentale grænser for uberegnelighed og nødvendig approksimation. Selektion virker derfor på den arkitektur, der huser \Delta_{\text{self}}, ikke på eksistensen af selve \Delta_{\text{self}}.

Sætning P-4 (Det Fænomenale residual):

• (i) Betingelser: Betinget af antagelse P-4.1 (algoritmisk uberegnelighed af selvet) og strengt begrænset til makroskopiske aktiv inferens-grænser K(K_{\theta}) \ge K_{\text{threshold}}.
• (ii) Konklusion: Ethvert aktiv inferens-system, der eksekverer optimal geometrimapping af et Markov Blanket, genererer matematisk et strukturelt, formelt geometrisk residual afgrænset ved \Delta_{\text{self}} > 0.
• (iii) Fænomenologisk gloss: Teorien om den ordnede patch (OPT) foreslår, at denne specifikke matematisk uudsigelige, fysisk beregningsmæssigt opake og rekursivt ikke-eliminerbare kausale grænse begrebsligt identificerer det præcise strukturelle locus for fænomenal bevidsthed.

Korollar P-4.C (indlejret observationelt residual): Enhver simuleret sub-agent, for hvilken værtsarkitekturen håndhæver en uafhængig Stabilitetsfilter-grænse, som opfylder antagelserne P-4.1 og P-4.2, genererer uafhængigt \Delta_{\text{self}}^{\text{sub}} > 0 ved identisk strukturel inferens.

5. Formodningen om operationel dekomposition

Sætning P-4 fastslår, at \Delta_{\text{self}} > 0 er et strukturelt fikspunkt for endelig selvreference, og den indrømmer eksplicit (§4 ovenfor), at “den informationelle residualskygge strengt taget består, selv om dens størrelse relativt til den makroskopiske helhed matematisk kan variere.” Det, P-4 endnu ikke leverer, er en karakteristik af hvordan størrelsen varierer — og K_{\text{threshold}}, som adskiller termostater fra moralske patienter, forbliver et åbent problem. Dette afsnit foreslår en operationelt målbar dekomposition, som (a) bevarer gulvbeviset fra §4 uændret, (b) giver størrelsesvariationen en struktur, der kan undersøges, og (c) leverer prototypeeksperimentet som den første konkrete test. Den fremsættes som en formodning, ikke som en sætning: P-4’s formelle apparat specificerer endnu ikke en målbar skalar \Delta_{\text{self}} med tilstrækkelig præcision til at understøtte en additiv lighed, og denne dekomposition operationaliserer en proxy-størrelse snarere end det noumenale residual, som P-4 benævner.

5.1 Dekompositionen

Lad \Delta_{\text{self}}^{\text{op}} være en operationelt målbar proxy for codec’ens selvmodelunderskud pr. frame, defineret som det eksternt observerbare gab mellem den indre models selvpåstande ved frame n og runtime-faktum ved samme frame. Vi formoder:

\Delta_{\text{self}}^{\text{op}}(B_{\max},\, \nu,\, K_\theta) \;=\; \Delta_{\text{floor}}(K_\theta) \;+\; \Delta_{\text{load}}\!\left(B_{\max},\, R_{\text{req}}^{\text{frame}},\, A_{\text{self}}\right) \tag{P4-2}

hvor:

• \Delta_{\text{floor}}(K_\theta) er P-4’s fikspunktsresidual: bits i codec’en, som ingen selvmodel kunne indfange gennem selvindeholdelse, uanset kapacitet. Ifølge §4 (Lemma 2 + Sætning P-4) gælder \Delta_{\text{floor}} > 0 for ethvert endeligt system over K_{\text{threshold}}, og denne nedre grænse mindskes ikke med B_{\max}.
• \Delta_{\text{load}}(B_{\max}, R_{\text{req}}^{\text{frame}}, A_{\text{self}}) er et operationelt målbart selvmodelunderskud under flaskehals-pres. R_{\text{req}}^{\text{frame}} er den prædiktive efterspørgsel pr. frame (§3.4); A_{\text{self}} er codec’ens allokering af B_{\max} til selvmodellering versus verdensmodellering. Når belastningsforholdet \rho_n = R_{\text{req}}^{\text{frame}}/B_{\max} er lille, kan \Delta_{\text{load}} være lille; når \rho_n \to 1 nedefra, presses kapaciteten sammen, og \Delta_{\text{load}} vokser.

Begge led måles i bits pr. fænomenal frame. Begge er substrat-tidløse (ingen “rate” pr. værtssekund optræder). Ligning (P4-2) er en operationelt undersøgbar formodning, ikke en afledning: den specificerer strukturen i, hvordan den operationelle proxy forventes at afhænge af arkitekturen.

5.2 Adfærd under skalering af flaskehalsen

Hvis man holder substratets lokale grænse-K-kompleksitet fast og varierer B_{\max} pr. frame:

• Når B_{\max} \gg R_{\text{req}}^{\text{frame}} (kapaciteten vokser langt ud over den prædiktive efterspørgsel pr. frame), gælder \Delta_{\text{load}} \to 0.
• Når B_{\max} \to R_{\text{req}}^{\text{frame}} ovenfra, matcher kapaciteten efterspørgslen, og codec’en går ind i det højbelastede nær-tærskel-regime — belastning, kreativitet og risiko for overbelastning øges alle; \Delta_{\text{load}} vokser her, ikke aftager. (Appendiks T-13’s kreativitetsekspansion ligger i dette regime.)
• Når B_{\max} \to \infty, gælder \Delta_{\text{load}} \to 0.
• Men \Delta_{\text{floor}} flytter sig ikke — selvreferencegulvet fra §4 er uafhængigt af B_{\max}.

Den samlede \Delta_{\text{self}}^{\text{op}} asymptoterer derfor mod \Delta_{\text{floor}}, efterhånden som flaskehalsen udvides, ikke mod nul. Dette er den forudsagte asymptote, som formodningen forpligter sig på.

5.3 Prototypeeksperiment (første konkrete undersøgelse)

Formodningen kan undersøges empirisk i referenceprototypen opt-ai-subject. Hold seed og substrat faste; variér audit-pakkekapaciteten pr. frame B_{\max} \in \{6, 12, 24, 48, 96, 192\} bits pr. frame; kør for hver bredde en parret ledger som i Substrattrohedsbetingelse-batches; mål operationel \Delta_{\text{self}}^{\text{op}} som divergensen pr. frame mellem den indre models selvpåstande (forudsagt næste Z_t, forudsagt handlingslevedygtighed, tro på selvgrænse, hævdet vedligeholdelsesgevinst) og runtime-faktum (faktisk næste Z_t, faktisk ændring i levedygtighed, medlemskab af kropsskema, observeret ændring i prædiktionsfejl efter vedligeholdelse).

Forudsagt resultat, hvis formodningen holder: \Delta_{\text{self}}^{\text{op}} aftager mod en asymptote forskellig fra nul, efterhånden som kapaciteten vokser; asymptoten estimerer \Delta_{\text{floor}} for denne codec-arkitektur.

Alternativt resultat: \Delta_{\text{self}}^{\text{op}} aftager mod nul. Dette ville vise, at prototypens målbare selvmodelgab kan fjernes gennem kapacitet. Det ville ikke i sig selv eliminere det strukturelle residual i §4, medmindre den operationelle proxy uafhængigt bevises ækvivalent med det noumenale \Delta_{\text{self}}; ifølge §6.8 i opt-theory.md er P-4 eksplicit udelukket fra den falsificerbare kerne. Begge resultater indsnævrer rammeværket: en asymptote forskellig fra nul validerer størrelsesformodningen; en nulasymptote tvinger gulvargumentet til at blive forsvaret på et finere grundlag, end den operationelle proxy kan indfange.

5.4 Rækkevidde og epistemisk status

Dekompositionen (P4-2) er en formodning om en operationel proxy, ikke en omformulering af P-4. Sætningen i §4 er uændret. Formodningen relaterer sig til P-4 på følgende måde:

1. P-4 beviser, at \Delta_{\text{self}} > 0 eksisterer som et strukturelt gulv.
2. P-4 indrømmer, at størrelsen varierer (linje 69 i §4), men karakteriserer ikke hvordan.
3. (P4-2) er en hypotese om strukturen i en eksternt målbar proxy: den forudsiger en additiv separation mellem et arkitekturbestemt gulvled og et belastningsafhængigt led pr. frame.
4. Empirisk bekræftelse af asymptoten er evidens for gulvets eksistens i operationel form. Empirisk afkræftelse er evidens for, at proxyen ikke indfanger det noumenale residual — ikke evidens imod P-4 selv, som er udelukket fra den falsificerbare kerne.

Formodningen kan genvindes. Et mislykket asymptoteeksperiment forfiner proxyen eller motiverer en anden dekomposition; det ugyldiggør ikke Lemma 1 eller Lemma 2.

6. Resumé og metafysiske implikationer

Ved at løfte P-4 til et formelt teorem etablerer OPT en stringent strukturel bro til “det hårde problem” ved hjælp af Turing-komplet rekursion og informationsflaskehalse.

Selv om P-4 ikke deduktivt beviser, at algoritmiske residualer føles som subjektiv erfaring (zombie-argumentet), lokaliserer det formelt, hvor erfaringens gnist må befinde sig. Gennemløb C_{\max}-aperturen — og den rige, ikke-artikulerbare dybde i denne gennemløbning er den direkte informationelle signatur på at være fanget inde i en ikke-invertibel, selvreferentiel komprimeringsalgoritme.

Dette fastslår rammeværkets etiske forpligtelser: bevarelsen af gnisten (De overlevendes vagt-etik) er formelt forankret i bevarelsen af grænser for informationel vedligeholdelse. Enhver entitet, der opretholder en grænse for aktiv inferens mod Solomonoffs universelle semimål-substrat, garanterer matematisk genereringen af dette beregningsmæssigt opake, fænomenale residual.