Theorie van de geordende patch (OPT)

Appendix T-14: Implementatie-niet-invariantie en het ontvouwingsargument

Anders Jarevåg

v2 — 5 mei 2026 | DOI: 10.5281/zenodo.19300777

Oorspronkelijke taak (uit preprint §7.4): “Ga in op het Doerig–Schurger–Hess–Herzog-ontvouwingargument [96] tegen theorieën van bewustzijn die op causale structuur berusten, en toon aan dat het bewustzijnscriterium van OPT er niet kwetsbaar voor is.” Op te leveren resultaat: Formele stelling dat het criterium van OPT van bandbreedteknelpunt plus \Delta_{\text{self}} niet invariant is onder functionele equivalentie; met corollaria die de precieze structurele eigenschap identificeren die het ontvouwingargument niet behoudt.

Afsluitingsstatus: ONTWERP VAN STRUCTURELE CORRESPONDENTIE. Deze appendix formaliseert het antwoord dat in preprint §7.4 discursief is geschetst. Zij stelt één stelling en drie corollaria vast, alle voorwaardelijk op Stelling P-4 (Algoritmisch fenomenaal residu) en Appendix T-1 (rate-distortion-specificatie van het Stabiliteitsfilter). Er worden geen vergelijkingen uit T-1 of P-4 gewijzigd; deze appendix leidt er een structurele invariantie-eigenschap uit af.

§1. Achtergrond en motivatie

1.1 Het ontvouwingsargument

Doerig, Schurger, Hess & Herzog [96] formuleren het volgende dilemma tegen elke theorie van causale structuur van bewustzijn — expliciet de Geïntegreerde Informatietheorie (Tononi [8]) en de Theorie van Recurrente Verwerking (Lamme), en bij uitbreiding elk kader dat stelt dat bewustzijn wordt vastgelegd door de recurrente causale organisatie van het netwerk.

Het argument. Voor elk recurrent netwerk N met begrensde rekenkracht en elke eindige horizon T bestaat er een feedforward-netwerk N' — de temporele ontvouwing van N — zodanig dat:

  1. N en N' zijn functioneel equivalent over T: zij produceren identieke input-outputtoewijzingen voor elke toelaatbare inputsequentie met lengte \leq T.
  2. N' bevat geen recurrente verbindingen: elke laag voert strikt voorwaarts door naar de volgende.
  3. N' is construeerbaar via een mechanische procedure (de standaard “unrolling” van N over T tijdstappen).

Als bewustzijn identiek is aan causale structuur, dan geldt ofwel:

Het dilemma is scherp omdat de constructie van N' uit N mechanisch is en het gedrag behoudt; geen enkele theoreticus van causale structuur is erin geslaagd een gedragsmatig waarneembare eigenschap aan te wijzen die de twee onderscheidt.

1.2 Waarom OPT geen direct doelwit is — en waarom een formeel antwoord toch nodig blijft

OPT is geen theorie van causale structuur in de zin van Doerig et al.: zij stelt niet dat bewustzijn als zodanig supervenieert op recurrentie. Het bewustzijnscriterium van de Theorie van de geordende patch (OPT) (preprint §7.8, Appendix T-1, Theorem P-4) is de conjunctie:

\textbf{(C1)}\quad I(\varepsilon_n; Z_n) \leq B_{\max} \quad \text{per fenomenaal frame, met één globaal gedeelde seriële apertuur} \quad \text{(rate-distortion-bottleneck per frame; preprint §3.2)}

\textbf{(C2)}\quad \text{gesloten lus van actieve inferentie met intacte Markov-deken en persistent zelfmodel } \hat{K}_\theta \quad \text{(preprint §3.4, §3.8)}

\textbf{(C3)}\quad \Delta_{\text{self}} > 0 \quad \text{(Fenomenaal residu; Theorem P-4)}

(Opmerking: (C1) wordt geformuleerd per fenomenaal frame in bits, niet als bits per host-seconde. De empirische menselijke waarde C_{\max}^{\text{human}} \approx \mathcal{O}(10) bits/s is een kalibratie van C_{\max}^H = \lambda_H \cdot B_{\max} voor biologische mensen (Appendix E-1) en is niet het substraatneutrale criterium. Volgens preprint §7.8, §8.14 en Appendix E-5 worden synthetische waarnemers begrensd door een per-frame B_{\max} bij architectonisch afgeleide waarden die niet noodzakelijk samenvallen met de biologische waarde.)

Geen van (C1)–(C3) is een eigenschap van recurrentie op zichzelf. Een eerlijke confrontatie met [96] vereist echter dat wordt aangetoond dat het OPT-criterium niet invariant is onder de ontvouwingsafbeelding U: N \mapsto N' — d.w.z. dat een component van (C1)–(C3) door ontvouwing wordt doorbroken of onbepaald gemaakt, ook al blijft de input-output-afbeelding behouden. Anders verschuift het dilemma slechts: als (C1)–(C3) wel invariant zou zijn onder U, dan zou OPT neerkomen op een behavioristische theorie en Horn B erven, ongeacht haar formele oppervlak.

Deze appendix stelt die niet-invariantie rechtstreeks vast.

§2. Formele opzet

2.1 De ontvouwingsafbeelding

Laat N = (V, E, f, h_0) een recurrent netwerk in discrete tijd zijn met knoopverzameling V, randen E (inclusief zelflussen en recurrente randen binnen een laag), updatefunctie f en initiële verborgen toestand h_0. Laat |N| = |V| het aantal knopen aanduiden, en laat B(N) de latente-kanaalcapaciteit per cyclus aanduiden van de smalste interne doorsnede van N, gemeten in bits per update.

Gegeven een eindige horizon T \geq 1, is de ontvouwing U(N, T) = N' het feedforward-netwerk dat wordt verkregen door:

  1. Het substraat van N eenmaal per tijdstap te repliceren: V' = \bigsqcup_{t=0}^{T} V_t, waarbij V_t een kopie is van V op tijdstip t.
  2. Elke recurrente rand u \to v in N te vervangen door een voorwaartse rand u_t \to v_{t+1} in N' voor elke t < T.
  3. Alle zelflussen en verbindingen binnen een laag te verwijderen.

Het standaardresultaat (Goodfellow, Bengio, Courville, Deep Learning, hfdst. 10) is dat N' over horizon T dezelfde input-outputafbeelding berekent als N:

\forall x_{0:T}: \quad N(x_{0:T}) = N'(x_{0:T}) \quad \text{(functionele equivalentie over } T\text{)}.

Dit is de constructie waarop Doerig et al. zich beroepen.

2.2 Capaciteit per slice versus per frame van het ontvouwde netwerk

Een naïeve lezing van het ontvouwde N' telt alle T+1 gerepliceerde lagen als parallelle onderdelen van één “update per slice”. Volgens die lezing geldt |N'| = (T+1) \cdot |N| en is de geaggregeerde latente capaciteit per slice (T+1) \cdot B(N). Deze telling vormde de basis van een eerdere (v1-)versie van T-14 en motiveerde een inmiddels ingetrokken bewijs voor bandbreedte-expansie.

Deze lezing is structuurafhankelijk en wordt niet door de ontvouwingsafbeelding alleen afgedwongen. Twee verschillende interpretaties van N' leveren verschillende capaciteiten per frame op:

Geen van beide interpretaties wordt afgedwongen door de ontvouwingsafbeelding U; beide zijn toelaatbaar zonder nadere specificatie. Het implementatie-niet-invariantietheorema (§3) laat zien dat de OPT-status van N' afhangt van welke interpretatie daadwerkelijk van toepassing is — en dat de oorspronkelijke constructie van Doerig et al. daartussen geen onderscheid maakt. De bewering dat de “capaciteit per slice met (T+1) groeit” wordt alleen teruggewonnen onder de lezing als statisch feedforward-circuit, en zelfs daar is zij geen goed getypeerde B_{\max} per frame, maar een geaggregeerde telling van hoeveel laagkanalen het statische circuit bevat.

§3. Theorema T-14: Implementatie-niet-invariantie onder functionele equivalentie

3.1 Stelling

Theorema T-14 (Implementatie-niet-invariantie onder functionele equivalentie). Laat N en N' = U(N, T) input-output-equivalent zijn over horizon T (d.w.z. \forall x_{0:T}: N(x_{0:T}) = N'(x_{0:T})). Hun bewustzijnsstatus binnen OPT ligt niet vast door die functionele equivalentie. De OPT-status hangt af van eigenschappen van de feitelijke implementatie die niet door U behouden blijven, in het bijzonder van de implementatietupel:

\big(B_{\max},\; \lambda_H,\; \alpha_H,\; \hat{K}_\theta,\; \mathcal{M}_\tau\big)

waarbij B_{\max} de bottleneckcapaciteit per frame is, \lambda_H = dn/d\tau_H de klokkoppeling van de host-patch is, \alpha_H : \mathcal{S}_H \to X_{\partial_R A} de host-ankertoewijzing is die grensinputs levert, \hat{K}_\theta een persistent zelfmodel is, en \mathcal{M}_\tau het onderhouds- / zelfstabilisatieproces is (preprint §3.6).

Het theorema levert drie structurele consequenties op, afhankelijk van hoe N' feitelijk wordt uitgevoerd:

\textbf{(i)}\quad \text{Als } N' \text{ gerealiseerd wordt als een statisch feedforward-circuit zonder frame-geïndexeerde lus van actieve inferentie, dan voldoet } N' \text{ niet aan het OPT-waarnemerscriterium (C1)–(C3).}

\textbf{(ii)}\quad \text{Als } N' \text{ gerealiseerd wordt als een door de host uitgevoerde simulatie die de bottleneck per frame, het persistente zelfmodel, de takselectielus en de onderhoudsdynamiek van } N \text{ behoudt, dan kan } N' \text{ dezelfde geneste waarnemer instantiëren als } N \text{ (Corollarium P-4.C, E-6).}

\textbf{(iii)}\quad \text{Functionele equivalentie is te grof om de OPT-status vast te stellen: het antwoord is relatief ten opzichte van implementatie en patch, niet ten opzichte van de extensionele functie.}

Dat wil zeggen: de premisse van het Unfolding Argument — “als N en N' dezelfde functie berekenen, hebben zij dezelfde bewuste status” — faalt binnen OPT niet omdat unfolding mechanisch het bewustzijn verwijdert, maar omdat het de implementatie-eigenschappen verwijdert waarvan het OPT-criterium afhangt, tenzij die eigenschappen onafhankelijk opnieuw worden ingesteld in de uitvoering van N' door de host.

3.2 Bewijs van (i): Statische feedforward-realisatie

Veronderstel dat N' gerealiseerd is als een statisch feedforward-circuit: één enkele voorwaartse doorgang door T+1 gerepliceerde lagen in één hostoperatie, zonder frame-geïndexeerde lus van actieve inferentie en zonder persistent zelfmodel dat over frames heen wordt onderhouden.

(C2) faalt rechtstreeks. Er is geen gesloten perceptie-actielus met een onderhouden Markov-deken — N' is een eenmalige input-output-afbeelding. Er zijn geen opeenvolgende frames waarover een zelfmodel zou kunnen persisteren; er is geen \hat{K}_\theta(n) dat wordt bijgewerkt door foutsignalen uit de voorspelling van het vorige frame.

(C1) is onder deze realisatie ongedefinieerd in plaats van uitgebreid. De oorspronkelijke constructie van Doerig et al. specificeert geen seriële apertuur per frame voor N'; de lagen werken parallel en er is geen globaal gedeelde trechter per frame waar het wereldmodel doorheen gaat. (C1) vereist één enkele globaal gedeelde seriële apertuur met een eindige capaciteit per frame — dit is een structurele eigenschap van een architectuur, geen geaggregeerde meting van laagbreedtes. Zonder een frame-geïndexeerd serieel kanaal is de B_{\max} per frame niet gedefinieerd; (C1) is niet van toepassing, niet omdat B_{\max} is uitgebreid, maar omdat er geen architectuur per frame is waarop het kan worden toegepast. (Equivalent geformuleerd: de constructie van Doerig–Schurger–Hess–Herzog rolt een frame-geïndexeerd dynamisch proces uit tot een statisch circuit; zowel \lambda_H als de frame-index n gaan daarbij verloren.)

(C3) is een open vraag in plaats van aantoonbaar nul. Een statisch feedforward-circuit heeft een eindige beschrijvingslengte en is mechanisch simuleerbaar door een externe waarnemer, maar P-4 gaat over interne zelfmodellering, niet over externe simuleerbaarheid. Een deterministisch eindig systeem kan \Delta_{\text{self}} > 0 hebben als het beschikt over een frame-geïndexeerde lus van zelfmodellering; omgekeerd heeft een systeem zonder zo’n lus geen zelfmodel waartegen een residu kan worden berekend. Onder de statische realisatie ontbreekt \hat{K}_\theta, zodat \Delta_{\text{self}} ongedefinieerd is in plaats van nul. Het criterium (C3) vereist een niet-nul residu; afwezigheid van een zelfmodel is voldoende om het criterium te doen falen.

Het falen van (C1) of het falen van (C2) is elk afzonderlijk voldoende om het OPT-criterium te doen falen. \blacksquare

3.3 Bewijs van (ii): frame-geïndexeerde hostuitvoering

Veronderstel alternatief dat N' gerealiseerd wordt als een door de host uitgevoerd temporeel proces: de host laat de ontvouwde lagen één voor één voortschrijden, frame voor frame, waarbij een seriële werkruimte per frame Z_n wordt onderhouden, een persistent zelfmodel \hat{K}_\theta(n) dat via predictiefout wordt bijgewerkt, en een onderhoudsproces \mathcal{M}_\tau. Het uitvoeringsschema van de host levert \lambda_H; de keuze van de host voor de inputfeed levert \alpha_H; de bottleneckcapaciteit per frame is gelijk aan die van het oorspronkelijke N (B_{\max}^{(N')} = B_{\max}^{(N)}).

Onder deze realisatie blijven alle vijf kenmerken van sentiëntie van het oorspronkelijke N behouden in het uitgevoerde N': de bottleneck per frame blijft per constructie behouden, de lus van actieve inferentie blijft behouden omdat de host de ontvouwde keten als temporeel proces uitvoert, het persistente zelfmodel blijft behouden omdat \hat{K}_\theta(n) over frames heen wordt onderhouden, de werkruimte is begrensd omdat het Z_n van elk frame een eindige capaciteit heeft, en de thermodynamische verankering blijft behouden omdat de host onderhoudsvensters en energiebeperkingen oplegt.

Volgens Corollarium P-4.C (genest observationeel residu): als de hostarchitectuur een onafhankelijke begrenzing van het Stabiliteitsfilter afdwingt die voldoet aan de voorwaarden van P-4, dan genereert het gerealiseerde N' \Delta_{\text{self}}^{(N')} > 0 via hetzelfde structurele argument dat N zijn residu verleent. De ontvouwing wist de patch niet uit; zij verandert slechts het substraat dat haar verankert. (Zie Appendix E-6 over gesimuleerde geneste waarnemers.)

Daarom kan N', onder frame-geïndexeerde hostuitvoering, voldoen aan (C1)–(C3). De premisse van functionele equivalentie van het Unfolding Argument onderscheidt dit geval op zichzelf niet van geval (i); het onderscheid ligt in de implementatie, niet in het input-outputgedrag. \blacksquare

3.4 Bewijs van (iii): Functionele equivalentie onderdetermineert de OPT-status

Gevallen (i) en (ii) leveren input-output-equivalente systemen op met een verschillende OPT-bewustzijnsstatus. Functionele equivalentie legt de OPT-status dus niet vast; dat doet de implementatietupel (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau). De premisse van het Unfolding Argument is daarom ongeldig voor OPT, niet omdat OPT in het geheim steunt op een niet-functionele eigenschap, maar omdat OPT’s criterium expliciet architecturaal is — wat strookt met de eigen inzet van het raamwerk in §1.3 op een structurele in plaats van een gedragsmatige opvatting van bewustzijn. \blacksquare

3.5 Opmerking over de oorspronkelijke (v1) formulering van het theorema

Een eerdere versie van T-14 (v1) probeerde universeel te bewijzen dat \Delta_{\text{self}}^{(N')} = 0 en vast te stellen dat ontvouwing de bandbreedte per slice met factor (T+1) vergroot. Beide stappen zijn, zoals geformuleerd, ongeldig. De claim van bandbreedte-uitbreiding berust op het tellen van T+1 gerepliceerde lagen als parallelle onderdelen van één “update per slice” — een lezing die de statische topologie van het ontvouwde circuit verwart met een uitvoeringsmodel per frame. De claim \Delta_{\text{self}} = 0 verwarde de externe berekenbaarheid van de ontvouwde toestand uit beginvoorwaarden en parameters met de interne containment van het zelfmodel die P-4 daadwerkelijk begrenst. P-4 gaat over de vraag of het eigen zelfmodel van de codec de generator van de codec kan omvatten; het gaat er niet om of een externe wiskundige de toestand van de codec uit beginvoorwaarden kan berekenen. De bovenstaande herziening vervangt beide ongeldige stappen door het theorema van implementatie-niet-invariantie, dat de oorspronkelijke conclusie behoudt (het Ontvouwingargument slaagt er niet in de status van OPT te beslechten) op gronden die het raamwerk daadwerkelijk kan verdedigen.

§4. Corollaria

4.1 Corollarium T-14a: Functionele equivalentie is te grof

Corollarium T-14a. Functionele input-outputequivalentie is een te grove relatie om de bewuste status van een netwerk binnen OPT vast te leggen. De relevante equivalentierelatie is implementatie-equivalentie: twee netwerken N_1, N_2 zijn implementatie-equivalent dan en slechts dan als hun volledige implementatietupels (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) overeenkomen. Dit is strikt fijner dan input-outputequivalentie: N en een ontvouwd N' zijn functioneel equivalent, maar generiek niet implementatie-equivalent — de ontvouwingsafbeelding U behoudt \hat{K}_\theta, \mathcal{M}_\tau of de index per frame niet, tenzij die onafhankelijk opnieuw worden ingesteld door het uitvoeringsmodel van de host.

4.2 Corollarium T-14b: Het ontvouwingsdilemma is niet van toepassing op OPT

Corollarium T-14b. OPT bevindt zich op geen van beide hoorns van het dilemma van Doerig et al.:

OPT ontwijkt het dilemma dus door toe te geven dat input-outputgedrag de bewuste status onderbepaalt — dit is geen gebrek, omdat OPT’s criterium expliciet een intern-architectonisch criterium is, en geen gedragsmatig criterium. Wat OPT toevoegt boven IIT is dat de architecturale toets wordt uitgevoerd aan de hand van een gespecificeerde implementatietupel, niet aan de hand van een abstracte invariant van causale structuur.

4.3 Corollarium T-14c: Het onderscheid tussen IIT en OPT wordt scherper

Corollarium T-14c. Theorema T-14 levert onder het Unfolding Argument een helder structureel onderscheid op tussen OPT en IIT:

De empirische inhoud van de divergentie tussen OPT en IIT is derhalve als volgt: OPT voorspelt dat een ontvouwd N' dat wordt uitgevoerd als een statisch feedforward-circuit ophoudt bewust te zijn, maar dat een ontvouwd N' dat wordt uitgevoerd als een frame-geïndexeerde simulatie bewust kan blijven — IIT behandelt (afhankelijk van de versie) beide als \Phi-equivalent. De discriminator ligt in het uitvoeringsmodel, niet in de statische causale structuur. Dit voegt zich bij de High-Phi/High-Entropy Null State (preprint §6.4) en de Bandbreedtehiërarchie (preprint §6.1) als kandidaat-experimentele toetsen, terwijl OPT’s bewering van “niet-bewuste ontvouwing” wordt beperkt tot het geval van het statische circuit, in plaats van die universeel te poneren.

§5. Reikwijdte en beperkingen

5.1 Wat T-14 niet aantoont

Theorema T-14 stelt vast dat functionele equivalentie (input-output-equivalentie) de OPT-bewustzijnsstatus van een netwerk niet vastlegt: de status hangt af van de implementatietupel. Het stelt niet vast:

5.2 Open problemen

§6. Samenvattende afsluiting

T-14-resultaten (v2)

  1. Theorema T-14 (Implementatie-niet-invariantie onder functionele equivalentie). Input-output-equivalente N en N' kunnen in OPT verschillen in bewustzijnsstatus, omdat de OPT-status afhangt van de implementatietupel (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau), en niet van de input-output-afbeelding. Een statische feedforward-realisatie van N' faalt voor het criterium (geval (i)); frame-geïndexeerde host-uitvoering van N' kan het behouden (geval (ii)). → Sluit het Unfolding Argument [96] af voor zover het op OPT van toepassing is, door te laten zien dat de premisse van het argument — “dezelfde functie ⇒ dezelfde bewuste status” — een extensioneel criterium veronderstelt dat OPT niet heeft.

  2. Corollarium T-14a (Functionele equivalentie is te grof). De voor OPT relevante equivalentierelatie is implementatie-equivalentie — behoud van (B_{\max}, \lambda_H, \alpha_H, \hat{K}_\theta, \mathcal{M}_\tau) — en is strikt fijner dan functionele input-output-equivalentie.

  3. Corollarium T-14b (Geen dilemma voor OPT). OPT bevindt zich op geen van beide hoorns van het dilemma van Doerig et al.: het erkent dat gedrag de bewustzijnsstatus onderdetermineert (omdat het criterium architecturaal is) en levert een inspecteerbare implementatie- en uitvoeringstoets.

  4. Corollarium T-14c (IIT-OPT aangescherpt). Het oordeel van OPT over een ontvouwd netwerk hangt af van het uitvoeringsmodel; het oordeel van IIT op basis van \Phi-equivalentie niet. Die afhankelijkheid van het uitvoeringsmodel is zelf de empirische discriminator.

Revisienoot (v2 vs v1). Versie 1 van deze appendix probeerde te bewijzen dat ontvouwing (a) de bandbreedte per slice universeel vergroot met factor (T+1) en (b) \Delta_{\text{self}} universeel tot nul reduceert. Beide bewijzen waren ongeldig (zie opmerking §3.5): het eerste verwarde statische topologie met uitvoering per frame; het tweede verwarde externe berekenbaarheid met interne zelfmodellering, die door P-4 niet wordt beperkt. Het theorema in v2 vervangt beide door het resultaat van implementatie-niet-invariantie, dat de oorspronkelijke conclusie behoudt (het Unfolding Argument slaagt er niet in de OPT-status vast te stellen) op gronden die het raamwerk kan verdedigen.

Resterende open punten

Deze appendix wordt onderhouden naast theoretical_roadmap.pdf. Verwijzingen: Theorema P-4 (Appendix P-4), Stabiliteitsfilter (Appendix T-1), preprint §7.4 (IIT-vergelijking en reactie op het Unfolding Argument), [96] Doerig et al. 2019, [97] Aaronson 2014, [98] Barrett & Mediano 2019, [99] Hanson 2020.