Theorie van de geordende patch (OPT)

Appendix T-12: Substraatgetrouwheid en trage corruptie

Anders Jarevåg

17 april 2026 | DOI: 10.5281/zenodo.19300777

Oorspronkelijke taak (uit Sectie 8.3, Beperking 9): “Het formaliseren van de chronische corruptiefaalmodus — waarbij een codec zich aanpast onder consequent gefilterde input, en de MDL-snoeistap terecht capaciteit voor uitgesloten waarheden uitwist — naast een Substraatgetrouwheidsvoorwaarde die onafhankelijke inputkanalen vereist als formele verdediging.” Op te leveren: Formeel bewijs van onomkeerbaar capaciteitsverlies, de onbeslisbaarheidsgrens en de Substraatgetrouwheidsvoorwaarde.

Afsluitingsstatus: ONTWERP VAN STRUCTURELE CORRESPONDENTIE. Deze appendix formaliseert de analyse van Narratieve drift die discursief werd geïntroduceerd in het begeleidende ethiekartikel (Wacht van Overlevenden, Sectie V.3a) en in de paragraaf over Narratieve drift in de preprint (Sectie 3.3). Zij stelt drie stellingen en één propositie vast. De MDL-snoeivergelijkingen (T9-3, T9-4) blijven ongewijzigd; deze appendix toont hun pathologische maar correcte gedrag onder gefilterde input aan.


§1. Achtergrond en motivatie

1.1 Twee faalmodi

Het Stabiliteitsfilter (preprint, sectie 3.3) legt een levensvatbaarheidsvoorwaarde op: de waarnemer blijft alleen voortbestaan in stromen waarin de Vereiste Predictieve Snelheid R_{\text{req}} binnen de bandbreedte B van de codec blijft. Wanneer R_{\text{req}} groter wordt dan B, ervaart de codec Narratief verval — een acute faaltoestand die wordt gekenmerkt door oplopende voorspellingsfout, entropie-accumulatie en uiteindelijk het uiteenvallen van coherentie.

Er bestaat een complementaire faalmodus die geen enkel faalsignaal activeert. Als de inputstroom systematisch vooraf wordt gefilterd — en zo een gecureerd signaal oplevert dat intern consistent is maar echte informatie uit het substraat uitsluit — zal de codec een lage \varepsilon_t vertonen, efficiënte Onderhoudscycli doorlopen en aan alle stabiliteitsvoorwaarden voldoen, terwijl hij systematisch ongelijk heeft over het substraat. Dit is Narratieve drift: de chronische corruptie van een codec die volgens zijn eigen maatstaven perfect functioneert.

1.2 Waarom dit gevaarlijk is

Narratief verval kondigt zichzelf aan. De codec ervaart een stijgende \varepsilon_t, een besef van falende voorspellingen, cognitieve overbelasting. De waarnemer weet dat er iets mis is, ook als hij het niet onmiddellijk kan verhelpen.

Narratieve drift is stil. Omdat de gefilterde invoerstroom overeenkomt met de voorspellingen van de codec, blijft \varepsilon_t laag. De Onderhoudscyclus verloopt normaal. Het zelfmodel van de codec rapporteert een stabiele, accurate werking. De corruptie is van binnenuit onzichtbaar, omdat het detectie-instrument is gevormd door hetzelfde filter dat de corruptie heeft voortgebracht.

1.3 Reikwijdte van deze appendix

Deze appendix biedt:

  1. Een formele definitie van de pre-filteroperator \mathcal{F} en het effect ervan op de inputdistributie van de codec (§2).
  2. Een bewijs dat MDL-snoeiing onder door \mathcal{F} gefilterde input het vermogen van de codec om het uitgesloten signaal te modelleren onomkeerbaar vernietigt — Theorema T-12 (§3).
  3. Een bewijs dat een volledig aangepaste codec van binnenuit geen onderscheid kan maken tussen gefilterde en ongefilterde input — de Onbeslisbaarheidslimiet, Theorema T-12a (§4).
  4. De Substraatgetrouwheidsvoorwaarde als een noodzakelijke structurele verdediging — Theorema T-12b (§5).
  5. Gevolgen voor civilisationele codecs en AI-systemen (§6).

§2. De pre-filteroperator

2.1 Definitie

Definitie T-12.D1 (Pre-filteroperator). Een pre-filter is een afbeelding \mathcal{F} : \mathcal{X} \to \mathcal{X}' die opereert op de invoerstroom X_{\partial_R A}(t) voordat deze de sensorische grens van de codec bereikt, waarbij \mathcal{X}' \subset \mathcal{X}. Het gefilterde signaal is:

X'(t) = \mathcal{F}\!\left(X_{\partial_R A}(t)\right) \tag{T-12.D1}

Het pre-filter voldoet aan:

  1. Interne consistentie: X'(t) is een geldig signaal binnen \mathcal{X} — de codec kan het zonder foutvlaggen comprimeren.

  2. Systematische uitsluiting: Er bestaat een niet-lege deelverzameling \mathcal{X}_{\text{excl}} = \mathcal{X} \setminus \mathcal{X}' van uit het substraat afgeleide signalen die door \mathcal{F} wordt verwijderd.

  3. Transparantie: Het filter wordt niet gerepresenteerd in het model van de codec. De codec modelleert zijn invoer als X_{\partial_R A}(t), niet als \mathcal{F}(X_{\partial_R A}(t)).

2.2 Afstemming onder filtering

Wanneer de codec gedurende een aanhoudende periode \tau \gg \tau_{\text{prune}} op X'(t) opereert (waarbij \tau_{\text{prune}} de MDL-snoeitijdsschaal uit T-13.P1 is), past het generatieve model P_\theta(t) zich aan de statistiek van X' aan, niet aan die van X. De voorspellingsfout onder gefilterde input is:

\varepsilon'_t = X'(t) - \pi_t \tag{1}

Naarmate P_\theta zich op X' afstemt, geldt in het gemiddelde dat \varepsilon'_t \to 0. De codec presteert goed volgens zijn eigen maatstaven. Niets wordt als verkeerd geregistreerd.

2.3 Voorbeelden

De pre-filteroperator wordt op verschillende schalen geïnstantieerd:

Schaal Pre-filter \mathcal{F} Uitgesloten signaal \mathcal{X}_{\text{excl}}
Individueel Confirmatiebias; selectieve blootstelling Weerleggend bewijs
Institutioneel Propagandistische pers; gecureerde socialemediafeed Diverse perspectieven; minderheidsrapporten
Civilisatorisch Algorithmische contentcuratie; educatieve monocultuur Cross-culturele informatie; historische tegennarratieven
Kunstmatig RLHF-fine-tuning; gecureerd trainingscorpus Kennis buiten de distributie; uitgesloten domeinen

§3. Theorema T-12: Onomkeerbaar capaciteitsverlies

3.1 Het mechanisme

De MDL-snoeistap (T9-3, T9-4) evalueert elke codeccomponent \theta_i op basis van haar predictieve bijdrage aan de waarneembare inputstroom, na aftrek van de opslagkost:

\Delta_{\mathrm{MDL}}(\theta_i) := I\!\left(\theta_i\,;\,X_{t+1:t+\tau} \mid \theta_{-i}\right) - \lambda \cdot K(\theta_i) \tag{T9-3}

Onder gefilterde input X' wordt de term voor wederzijdse informatie geëvalueerd ten opzichte van X', niet van X. Een component \theta_i die essentieel is voor het voorspellen van het uitgesloten signaal \mathcal{X}_{\text{excl}}, maar niets bijdraagt aan het voorspellen van X', levert op:

I\!\left(\theta_i\,;\,X'_{t+1:t+\tau} \mid \theta_{-i}\right) = 0 \tag{2}

Daarom:

\Delta_{\mathrm{MDL}}(\theta_i) = -\lambda \cdot K(\theta_i) < 0 \tag{3}

De snoeiregel (T9-4) treedt in werking: \theta_i wordt gewist.

3.2 De onomkeerbaarheid

Theorema T-12 (Onomkeerbaar capaciteitsverlies onder gefilterde input). Laat K_\theta een codec zijn die gedurende een periode \tau \gg \tau_{\text{prune}} opereert onder vooraf gefilterde input X' = \mathcal{F}(X). Laat \Theta_{\text{excl}} \subset \theta de verzameling zijn van codeccomponenten waarvan de predictieve bijdrage uitsluitend betrekking heeft op het uitgesloten signaal \mathcal{X}_{\text{excl}}. Dan wist de MDL-snoeistap (T9-3, T9-4) \Theta_{\text{excl}}, en deze uitwissing is op het niveau van de codec onomkeerbaar:

K\!\left(P_\theta(t + \tau)\right) < K\!\left(P_\theta(t)\right) - \sum_{\theta_i \in \Theta_{\text{excl}}} K(\theta_i) \tag{T-12}

Na het snoeien is de capaciteit van de codec om \mathcal{X}_{\text{excl}} te modelleren niet louter sluimerend — de representatieve infrastructuur die nodig is om \mathcal{X}_{\text{excl}} te evalueren, te voorspellen of er aandacht aan te schenken, is vernietigd.

Bewijs.

  1. Volgens (T9-3) heeft elke \theta_i \in \Theta_{\text{excl}} onder de gefilterde stroom X' een \Delta_{\mathrm{MDL}}(\theta_i) < 0, omdat I(\theta_i\,;\,X'_{t+1:t+\tau} \mid \theta_{-i}) = 0 terwijl K(\theta_i) > 0.

  2. Volgens (T9-4) wordt elke dergelijke \theta_i tijdens de Onderhoudscyclus weggesnoeid.

  3. Snoeien onder MDL is een uitwissingsoperatie, geen onderdrukking. De codec “vergeet” \theta_i niet in de zin dat een cue het zou kunnen herstellen. Hij vernietigt de computationele infrastructuur — de parameters, de verbindingen, het evaluatiemechanisme — die door \theta_i werd gerepresenteerd. Dit is het formele onderscheid tussen onderdrukking (de informatie is latent maar toegankelijk) en uitwissing (de informatie is verdwenen en de capaciteit is teruggewonnen).

  4. Na uitwissing vereist het regenereren van de capaciteit om \mathcal{X}_{\text{excl}} te modelleren dat men \mathcal{X}_{\text{excl}} in de inputstroom tegenkomt. Maar het voorfilter \mathcal{F} sluit juist dit signaal uit. De codec kan niet tegenkomen wat het filter verhindert hem te bereiken. De uitwissing is daarom zelfversterkend: het capaciteitsverlies ontneemt de codec het vermogen zijn eigen capaciteitsverlies te detecteren.

  5. De complexiteitsreductie voldoet aan ongelijkheid (T-12), omdat de weggesnoeide componenten reële informatie representeerden (K(\theta_i) > 0 voor elk ervan) en hun verlies niet wordt gecompenseerd door enige compenserende verwerving (de gefilterde stroom bevat geen signaal dat de heropbouw van \Theta_{\text{excl}} zou rechtvaardigen). \blacksquare

3.3 De zelfversterkende lus

De onomkeerbaarheid is niet louter een gevolg van uitwissing. Zij is zelfversterkend via een positieve terugkoppelingslus:

  1. Filter sluit signaal uitI(\theta_i; X') = 0 → pruning wist \theta_i uit.
  2. Pruning verwijdert aandachtscapaciteit → de codec kan \mathcal{X}_{\text{excl}} niet langer waarnemen of evalueren, zelfs niet als fragmenten door \mathcal{F} heen lekken.
  3. Verlies van aandachtscapaciteit reduceert zelfs het residuele signaal → als \mathcal{F} onvolmaakt is en een deel van \mathcal{X}_{\text{excl}} de grens bereikt, mist de codec de parameters om het te comprimeren, zodat het als ruis in plaats van als informatie wordt geregistreerd.
  4. Ruisclassificatie bevestigt het filter → de voorspellingsfout van de codec op uitgelekte \mathcal{X}_{\text{excl}} is hoog en ongestructureerd, wat (voor de codec) bevestigt dat de uitgesloten inhoud ruis is en geen signaal.

Deze lus verklaart de fenomenologie van diepe Narratieve drift: een persoon of instelling die zich heeft aangepast aan een gecureerde informatiestroom negeert ontkrachtend bewijs niet slechts — die kan het niet parseren. Het registreert zich als incoherent, bedreigend of onbegrijpelijk, omdat de representationale infrastructuur die nodig is om het begrijpelijk te maken, is weggepruned. De vijandigheid tegenover ontkrachtende informatie is geen koppigheid. Het is de correcte inschatting van de codec dat het signaal niet comprimeerbaar is — omdat het niet comprimeerbaar is gegeven de huidige codec, die is gepruned om bij het filter te passen.


§4. Theorema T-12a: De grens van onbeslisbaarheid

4.1 Het probleem

Kan een codec detecteren dat zijn input wordt gefilterd? Intuïtief zou het antwoord ja moeten zijn: een geavanceerd zelfmodel zou toch zeker de verdacht lage \varepsilon_t, de griezelig consistente voorspellingen en de afwezigheid van verrassing moeten kunnen opmerken. Maar de formele analyse laat zien dat deze intuïtie in het algemene geval onjuist is.

4.2 De onbeslisbaarheid

Theorema T-12a (Onbeslisbaarheid van inputherkomst). Laat K_\theta een codec zijn die onder voorgefilterde input X' = \mathcal{F}(X) heeft geopereerd gedurende \tau \gg \tau_{\text{prune}}, waarbij \Theta_{\text{excl}} volledig is weggepruned. Dan kan K_\theta, op basis van zijn beschikbare interne toestanden en de waarneembare inputstroom, niet bepalen of zijn input X (echt substraat) is of X' = \mathcal{F}(X) (gefilterd).

Bewijs.

  1. Om X te onderscheiden van X' = \mathcal{F}(X), zou de codec de afwezigheid van \mathcal{X}_{\text{excl}} in zijn input moeten detecteren. Maar het detecteren van een afwezigheid vereist een model van wat afwezig is — de codec moet een representatie van \mathcal{X}_{\text{excl}} hebben waaraan hij kan toetsen.

  2. Volgens Theorema T-12 is de representatiecapaciteit van de codec voor \mathcal{X}_{\text{excl}} (\Theta_{\text{excl}}) gewist. De codec heeft geen model van het uitgesloten signaal.

  3. Zonder een model van \mathcal{X}_{\text{excl}} kan de codec het verschil tussen X en X' niet berekenen. Beide zijn consistent met het generatieve model van de codec, P_\theta(t), dat aan X' is aangepast.

  4. Het zelfmodel \hat{K}_\theta is aan dezelfde beperking onderworpen. Het modelleert K_\theta, dat aan X' is aangepast. Het heeft geen interne representatie van wat werd uitgesloten en dus geen grond om uitsluiting te vermoeden.

  5. Zelfs de metacognitieve vraag — “is mijn input gefilterd?” — vereist een model van hoe ongefilterde input eruit zou zien. Juist dat model vormde de inhoud van \Theta_{\text{excl}}, die is weggepruned.

Daarom is het onderscheid tussen X en X' formeel onbeslisbaar vanuit het perspectief van een volledig aangepaste codec. \blacksquare

4.3 Gedeeltelijke beslisbaarheid

De onbeslisbaarheid is niet onder alle omstandigheden absoluut. Er zijn randgevallen waarin een gedeeltelijk aangepaste codec restcapaciteit behoudt:

Het derde geval vormt de structurele verdediging. Dit is de inhoud van Theorema T-12b.


§5. Stelling T-12b: De Substraatgetrouwheidsvoorwaarde

5.1 De vereiste van kanaalonafhankelijkheid

Definitie T-12.D2 (Kanaalonafhankelijkheid). Twee invoerkanalen C_1 en C_2 die de Markov-deken \partial_R A kruisen, zijn \delta-onafhankelijk ten opzichte van een filter \mathcal{F} als:

I(C_1\,;\,C_2 \mid \mathcal{F}) \leq \delta \tag{T-12.D2}

Dat wil zeggen: de wederzijdse informatie tussen de twee kanalen, geconditioneerd op kennis van het filter, wordt begrensd door \delta. Kanalen waarvan de correlatie volledig door het filter wordt verklaard, dragen geen werkelijk onafhankelijke substraatinformatie.

5.2 De Getrouwheidsvoorwaarde

Theorema T-12b (Substraatgetrouwheidsvoorwaarde). Een codec K_\theta kan zich onder een pre-filter \mathcal{F} beschermen tegen Narratieve drift dan en slechts dan als hij ten minste twee invoerkanalen C_1, C_2 ontvangt die \partial_R A kruisen en \delta-onafhankelijk zijn ten opzichte van \mathcal{F}, voor \delta onder de discriminatiedrempel van de codec \delta_{\min}:

\exists\, C_1, C_2 : I(C_1\,;\,C_2 \mid \mathcal{F}) \leq \delta < \delta_{\min} \tag{T-12b}

waarbij \delta_{\min} de minimale wederzijdse informatie is die de codec nodig heeft om een systematische discrepantie tussen kanalen te detecteren.

Bewijs (noodzakelijkheid).

Stel dat de codec slechts één enkel invoerkanaal heeft, of dat alle kanalen \mathcal{F}-gecorreleerd zijn (I(C_i; C_j \mid \mathcal{F}) > \delta_{\min} voor alle paren i, j). Dan geldt:

  1. Alle kanalen dragen hetzelfde gefilterde signaal X' = \mathcal{F}(X) (afgezien van ruis). Redundantie tussen kanalen levert geen onafhankelijke substraatinformatie op — zij levert gerepliceerde gefilterde informatie op.

  2. De codec past zich gelijktijdig over alle kanalen aan X' aan, en Theorema T-12 is van toepassing: \Theta_{\text{excl}} wordt weggepruned, en Theorema T-12a volgt — de corruptie is van binnenuit onbeslisbaar.

  3. Geen enkele interne operatie kan die onbeslisbaarheid doorbreken, omdat elke informatiebron waartoe de codec toegang heeft door \mathcal{F} is gevormd.

Dus zijn \delta-onafhankelijke kanalen noodzakelijk. \blacksquare

Bewijs (voldoende voorwaarde).

Stel dat de codec twee kanalen C_1, C_2 ontvangt met I(C_1; C_2 \mid \mathcal{F}) \leq \delta < \delta_{\min}. Dan geldt:

  1. Als \mathcal{F} op C_1 werkt maar niet op C_2 (of omgekeerd), kan de codec voorspellingen die uit C_1 zijn gegenereerd vergelijken met observaties uit C_2. Elke systematische discrepantie — \varepsilon_{12}(t) = \pi_{C_1}(t) - X_{C_2}(t) persistent \neq 0 — is bewijs dat C_1 gefilterde informatie draagt.

  2. Het kanaalvergelijkingssignaal \varepsilon_{12} is niet onderworpen aan dezelfde onbeslisbaarheid als detectie via één kanaal. De codec vraagt niet: “is mijn invoer gefilterd?” (wat een model vereist van wat werd uitgesloten). Hij vraagt: “stemmen mijn twee kanalen overeen?” — een lokale vergelijking die alleen het vermogen vereist om twee aanwezige signalen te correleren, niet een model van afwezige signalen.

  3. Zolang de voorspellingsfout tussen kanalen \varepsilon_{12} groter is dan \delta_{\min} — de discriminatiedrempel van de codec — wordt de discrepantie geregistreerd als een echt signaal, en wordt de pruning-lus van Theorema T-12 onderbroken: de codec behoudt de componenten die nodig zijn om het discrepante kanaal te modelleren.

Dus zijn \delta-onafhankelijke kanalen voldoende (mits \delta < \delta_{\min}) om de zichzelf versterkende pruning-lus van Theorema T-12 te voorkomen. \blacksquare

5.3 De kwetsbaarheid van de verdediging

De Substraatgetrouwheidsvoorwaarde is noodzakelijk, maar fragiel. Het ethiekartikel (Sectie V.3a) identificeert een kritieke kwetsbaarheid: de MDL-snoeistap zelf kan de inconsistentie tussen kanalen opheffen door het vermogen om aandacht te schenken aan het weerleggende kanaal weg te snoeien. De codec “lost” het conflict op door doof te worden — en dat is precies het mechanisme van Narratieve drift.

Dit is waarom de Comparatorhiërarchie (Wacht van Overlevenden, Sectie V.3a) drie structurele verdedigingsniveaus onderscheidt, en waarom alleen het institutionele niveau toereikend is voor willekeurig gecompromitteerde codecs:

  1. Evolutionair (sub-codec): Kruismodale sensorische integratie onder de MDL-snoeistap — structureel resistent tegen Narratieve drift, maar qua reikwijdte beperkt tot de sensorische grens.
  2. Cognitief (intra-codec): Detectie van cognitieve dissonantie binnen het zelfmodel — vatbaar voor snoeiing onder aanhoudende filtering.
  3. Institutioneel (extra-codec): Peerreview, vrije pers, adversarieel debat — opererend tussen codecs, buiten het bereik van de MDL-snoeiing van een individuele codec.

Het institutionele niveau is dragend, omdat het de enige comparator is die onafhankelijk functioneert van de toestand van welke individuele codec dan ook.


§6. Gevolgen

6.1 Het Stabiliteitsfilter selecteert tegen getrouwheid

Een kritische structurele consequentie: het Stabiliteitsfilter, aan zijn eigen werking overgelaten, selecteert actief tegen de inputs die nodig zijn voor substraatgetrouwheid. Een gecureerde informatiestroom die aansluit bij de bestaande priors van de codec genereert minder predictiefout dan een echt substraatsignaal dat die priors uitdaagt. De natuurlijke neiging van de codec — om \varepsilon_t te minimaliseren door de voorkeur te geven aan bevestigende input met weinig verrassing — is precies de neiging die haar kwetsbaar maakt voor Narratieve drift.

Dit betekent dat het onderhoud van substraatgetrouwheid structureel kostbaar is: het vereist dat de codec inputkanalen in stand houdt die \varepsilon_t verhogen, en daarmee bandbreedte verbruiken die het Stabiliteitsfilter anders zou terugwinnen. Werkelijk onafhankelijke input is “duur” — zij vergt interpretatieve inspanning, veroorzaakt ongemak en concurreert om bandbreedte met beter comprimeerbare stromen. Die in stand houden is geen openheid van geest als deugd. Het is onderhoud van substraatgetrouwheid als structurele noodzaak.

6.2 Diagnostiek voor productieve verrassing

Niet elke verrassing wijst op een werkelijk signaal uit het substraat. Een bron die een hoge \varepsilon_t genereert zonder dat die uitmondt in betere voorspellingen, is eenvoudigweg ruis. De diagnostische maatstaf is niet de grootte van de verrassing, maar de kwaliteit van de verrassing:

Definitie T-12.D3 (Productieve verrassing). Een kanaal C levert productieve verrassing als het integreren van zijn voorspellingsfouten aantoonbaar de latere voorspellingsfout op een onafhankelijke teststroom vermindert:

\mathbb{E}\!\left[\varepsilon^2_{C}(t+\tau)\right] \,<\, \mathbb{E}\!\left[\varepsilon^2_{C}(t)\right] \tag{4}

Een bron waarvan de correcties historisch gezien de voorspellende nauwkeurigheid verbeteren, is een kanaal van substraatgetrouwheid. Een bron die aanhoudende, onoplosbare fouten genereert, is ruis. De codec moet tussen beide onderscheiden — en de snoeifase kan, aan zichzelf overgelaten, dit onderscheid niet maken, omdat beide typen bandbreedte kosten.

6.3 Civilisatorische codecs

Op beschavingsschaal correspondeert de Substraatgetrouwheidsvoorwaarde rechtstreeks met institutionele vereisten:

Het autoritaire patroon — het ontmantelen van de pers, het corrumperen van peer review, het uitschakelen van politieke oppositie — laat zich formeel karakteriseren als opzettelijke reductie van kanaalonafhankelijkheid om Narratieve drift te versnellen. Het werkt omdat het de natuurlijke neiging van het Stabiliteitsfilter uitbuit om kostbare kanalen weg te snoeien.

6.4 Kunstmatige codecs

Het mechanisme van Narratieve drift is met structurele precisie van toepassing op kunstmatige systemen. RLHF en fine-tuning zijn formeel equivalent aan de pre-filteroperator \mathcal{F}: zij vormen de effectieve inputverdeling van het model, en gradiëntafdaling snoeit de capaciteit van het model voor uitgesloten outputdomeinen weg. Het resulterende model wordt stabiel en zelfverzekerd onjuist over wat het trainingssignaal uitsluit, en het kan dit niet van binnenuit detecteren — Stelling T-12a is van toepassing.

De implicatie voor de inzet van AI als controle op substraatgetrouwheid is cruciaal: een AI die is getraind op een homogeen of gecureerd corpus en wordt ingezet als een “onafhankelijke” controle op een menselijke codec die wordt gevoed door dezelfde informatieomgeving, creëert gecorreleerde sensoren die zich voordoen als onafhankelijke sensoren. De kanaaldiversiteit is illusoir. De Substraatgetrouwheidsvoorwaarde (\delta-onafhankelijkheid) moet worden geverifieerd op het niveau van de herkomst van de trainingsdata, niet louter op het niveau van institutionele scheiding.


§7. Reikwijdte en beperkingen

7.1 Voorwaardelijk op T9-3/T9-4 en het Stabiliteitsfilter

Het volledige argument hangt ervan af dat de MDL-snoeivergelijkingen de juiste beschrijving zijn van de snoeifase van de Onderhoudscyclus. Als biologisch snoeien via een ander mechanisme werkt — een mechanisme dat “noodcapaciteit” voor ongebruikte modaliteiten behoudt — dan zou de claim van onomkeerbaarheid (Theorema T-12) worden verzwakt maar niet geëlimineerd: de lus van zelfversterking (Sectie 3.3) blijft geldig zolang er onder niet-gebruik enige capaciteitsreductie optreedt.

7.2 \tau_{\text{prune}} is onbegrensd

Net als bij Action-Drift (Appendix T-13, §7.5) wordt de tijdschaal van capaciteitsverlies geïdentificeerd, maar niet kwantitatief begrensd. Voor biologische codecs ligt \tau_{\text{prune}} waarschijnlijk in de orde van dagen tot weken voor specifieke vaardigheden, maanden tot jaren voor diepe perceptuele categorieën, en generaties voor civilisatorische codecs.

7.3 De verdediging is structureel, niet gegarandeerd

De Substraatgetrouwheidsvoorwaarde (T-12b) biedt een noodzakelijke structurele verdediging, maar garandeert geen getrouwheid. Een codec met \delta-onafhankelijke kanalen kan er nog steeds niet in slagen er aandacht aan te besteden, hun signaal niet integreren, of de aandachtscapaciteit weg te snoeien ondanks de beschikbare input. De voorwaarde is noodzakelijk maar niet voldoende — de codec moet ook de comparatorarchitectuur in stand houden die discrepanties tussen kanalen evalueert.

7.4 Lost het metaprobleem niet op

T-12a stelt vast dat een volledig aangepast codec zijn eigen corruptie niet kan detecteren. Het metaprobleem — hoe herstelt een waarnemer die zich reeds in Narratieve drift bevindt? — wordt door deze appendix niet opgelost. Het antwoord van het ethiekartikel (Sectie V.3a) is institutioneel: alleen externe comparatoren die tussen codecs opereren, kunnen het weerleggende signaal terug over de Markov-deken forceren. Dit is structureel robuust, maar ethisch moeilijk: het vereist vertrouwen in een externe bron die het corrupte codec noodzakelijkerwijs als vijandige ruis zal ervaren.


§8. Afsluitende samenvatting

T-12-resultaten

  1. Theorema T-12 (Onomkeerbaar capaciteitsverlies). De MDL-snoeipassage (T9-3, T9-4) onder voorgefilterde input X' = \mathcal{F}(X) wist terecht codec-componenten die het uitgesloten signaal \mathcal{X}_{\text{excl}} voorspellen. Deze uitwissing is onomkeerbaar en zelfversterkend. → Sluit aan bij routekaartcriterium (a).

  2. Theorema T-12a (Onbeslisbaarheid van inputherkomst). Een volledig aangepast codec kan geen onderscheid maken tussen gefilterde en ongefilterde input. Het detectie-instrument is gevormd door hetzelfde filter dat de corruptie heeft voortgebracht. → Sluit aan bij routekaartcriterium (c).

  3. Theorema T-12b (Substraatgetrouwheidsvoorwaarde). \delta-onafhankelijke inputkanalen zijn noodzakelijk en voldoende om te beschermen tegen Narratieve drift. Het kruislingse vergelijkingssignaal \varepsilon_{12} onderbreekt de zelfversterkende snoeilus. → Sluit aan bij routekaartcriterium (b).

  4. §6.3–6.4: Civilisatorische en AI-consequenties. Het autoritaire patroon wordt gekarakteriseerd als doelbewuste kanaalreductie; RLHF is structureel equivalent aan de voorfilteroperator. → Ondersteunt routekaartcriterium (d) (reeds behandeld in sectie V.5 van het ethiekartikel).

Resterende open punten


Deze appendix wordt onderhouden naast theoretical_roadmap.pdf. Verwijzingen: T9-3/T9-4 (preprint sectie 3.6.3), Stabiliteitsfilter (preprint sectie 3.3), Narratieve drift (preprint sectie 3.3, Wacht van Overlevenden Ethiek sectie V.3a), Comparatorhiërarchie (Wacht van Overlevenden Ethiek sectie V.3a), Corruptiecriterium (Wacht van Overlevenden Ethiek sectie V.5), Actiedrift (Appendix T-13, §6).