Teorien om den ordnede patchen (OPT)

Appendiks T-9: Vedlikeholdssyklus, MDL-beskjæring og gjenopprettingsbetingelser

Anders Jarevåg

11. mai 2026 | DOI: 10.5281/zenodo.19300777

Opprinnelig oppgave T-9: Vedlikeholdssyklus og gjenopprettingsapparat Problem: Hovedartikkelen §3.6.3–§3.6.6 definerer ligningene T9-1 til T9-13 (operatoren for Vedlikeholdssyklus \mathcal{M}_\tau, MDL-beskjæring \Delta_{\mathrm{MDL}}, konsolideringsgevinst \Delta K_{\text{compress}}, REM-viktighetsvekting w(b)). Appendiks T-12 (Narrativ drift) og T-13 (Action-Drift) viser til dette apparatet som bærende. Rammeverket mangler et konsoliderende appendiks som (i) navngir de formelle primitivene eksplisitt, (ii) skiller mellom de fire beskjæringsmodalitetene som hovedartikkelens \Delta_{\mathrm{MDL}} < 0 lar være implisitte, (iii) definerer gjenopprettingsbetingelsen, og (iv) gir et stabilt formelt mål som korollarappendiksene kan referere til. T-9 fyller dette gapet. Leveranse: Konsoliderende appendiks på samme epistemiske nivå som T-2 / T-15 (strukturell korrespondanse, ikke lukket teorem). Nytt innhold utover hovedartikkelen: eksplisitt definisjon av prediktiv gevinst G_i(t,\tau), dekomponering av vedlikeholdskostnad med ressurskapasitet som primærfaktor, skille mellom fire beskjæringsmodaliteter, gjenopprettingsbetingelse, korollarkjede.

Lukkingsstatus: STRUKTURELL KORRESPONDANSE (samme nivå som T-2 / T-15). Dette appendikset er ikke et appendiks for et lukket teorem. Det konsoliderer apparatet for Vedlikeholdssyklus som allerede er i virksomhet i preprint §3.6 og tilfører fire deler av formelt innhold som hovedartikkelen ikke inneholder: eksplisitt prediktiv gevinst, kostnadsrammeverk for ressurskapasitet, fire beskjæringsmodaliteter og gjenopprettingsbetingelser. Forbeholdene fra OpenAI-gjennomgangen i §2 er ivaretatt: (i) beskjæringsterskelen presenteres i den formen som samordner med T-12s forestående omformulering av kanal-uavhengighet (fase 4); (ii) hovedartikkelens eksisterende ligninger T9-3 / T9-4 er bevart slik de er sitert, mens T-9 innfører raffineringen av ressurskapasitet som et ekstra formelt lag snarere enn å endre de siterte formene stilltiende; (iii) kostnad for ressurskapasitet er primær, med K-kompleksitet som en tilnærming under strukturell korrespondanse. Åpne kanter (§9): bokføringen mellom ressurskapasitet og K-kompleksitet må fullt ut avstemmes med T-12 når T-12s omformulering foreligger.


§1. Oppsett — aktive modellkomponenter

Kodeken K_\theta består av en samling aktive modellkomponenter \{\theta_i\}_{i \in I}, der hver \theta_i er en adresserbar strukturell enhet i kodeken — en generativ prior, en lært funksjonsdetektor, en rekurrent stakk, en langtrekkende kobling, eller enhver annen primitiv som deltar i å produsere kodekens prediksjoner \pi_t og oppdateringsoperator \mathcal{U} over tid. Samlingen \{\theta_i\} er endelig på ethvert gitt tidspunkt, men kan utvides gjennom konsolidering (Pass II, preprint §3.6.4) eller trekkes sammen gjennom beskjæring (Pass I, preprint §3.6.3).

For formålene med T-9 tas komponentene som gitt: T-9 utleder ikke hva som gjør én \theta_i fremfor en annen til en “naturlig” komponent, et spørsmål om representasjonslæring som ligger utenfor OPTs virkeområde. Apparaturet for Vedlikeholdssyklus opererer på enhver dekomponering kodeken tillater.

Operatoren for Vedlikeholdssyklus \mathcal{M}_\tau (preprint ligning T9-2) virker på den Fenomenale tilstandstensoren P_\theta(t) under intervaller med lav belastning (R_{\text{req}}(t) \ll C_{\max}). T-9 folder ut de tre passene (beskjæring, konsolidering, sampling av Prediktivt Grenmengde) til eksplisitte formelle primitiver i §2–§6 nedenfor; korollarkjeden i §7 følger deretter Narrativ drift (T-12) og handlingsdrift (T-13) gjennom disse primitivene.

§2. Prediktiv fordel G_i(t, \tau)

Den prediktive fordelen til en komponent \theta_i over et vindu med lengde \tau måler hvor mye denne komponenten bidrar til kodekens prediktive ytelse på inndatastrømmen, når de øvrige komponentene holdes faste:

G_i(t, \tau) \;:=\; I\!\left(\theta_i \,;\, X_{t+1:t+\tau} \mid \theta_{-i}\right) \tag{T9.2-1}

der \theta_{-i} betegner resten av kodeken uten \theta_i, og I(\cdot ; \cdot \mid \cdot) er betinget gjensidig informasjon. Den betingede formen er essensiell: den isolerer det marginale prediktive bidraget fra \theta_i, snarere enn dets felles bidrag sammen med overlappende komponenter.

Sammenligning med hovedartikkelens ligning T9-3. Hovedartikkelens MDL-beskjæringsstørrelse er

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

T-9 gir eksplisitt navnet G_i(t,\tau) til det første leddet, slik at primitiven for prediktiv fordel kan refereres til separat fra terskelformens beskjæringsbetingelse. Dette er utelukkende en notasjonell konsolidering; ulikheten er bevart.

Vinduslengde \tau. Den prediktive fordelen avhenger av vinduslengden. Kort \tau fanger prediksjon på fin tidsskala (motorisk kontroll, arbeidsminne); lang \tau fanger strukturell prediksjon (semantiske regulariteter, narrativ koherens). Beskjæring i Vedlikeholdssyklus Pass I evalueres i regimet med lengre \tau, der genuint unyttige komponenter har G_i \to 0. Konsolidering i Pass II, derimot, optimerer over regimet med kort \tau, der redundans på tvers av overlappende komponenter blir fremtredende.

§3. Vedlikeholdskostnad C_i — ressurskapasitet som primærform

Vedlikeholdskostnaden for en komponent \theta_i har to kompatible formuleringer.

Form 3.1 — Ressurskapasitet (primær for T-9). Komponentens kostnad er den ressurskapasiteten den opptar i kodekens operative substrat:

C_i \;:=\; c_i^{\text{params}} + c_i^{\text{memory}} + c_i^{\text{compute}} + c_i^{\text{channel}} \tag{T9.3-1}

der de fire budsjettene er: parameterspor (antall vekter eller forbindelser); minnefotavtrykk (i lagrede bits); beregningskostnad (i operasjoner per syklus); og kanalkapasitet (bits av båndbredde som komponenten forbruker ved Markov-teppe-grensen \partial_R A). Hver c_i er i prinsippet observerbar — for biologiske kodeker via metabolsk og fysiologisk måling, for syntetiske kodeker via direkte instrumentering.

Form 3.2 — K-kompleksitetsapproksimasjon. Hovedartikkelens ligning T9-3 bruker \lambda K(\theta_i) der K(\theta_i) er prefiks-Kolmogorov-kompleksiteten til komponenten:

C_i^{\text{K-approx}} \;:=\; \lambda \cdot K(\theta_i) \tag{T9.3-2}

Dette er en strukturell-korrespondanse-approksimasjon: K-kompleksitet er øvre-semi-beregnbar og ikke strengt additiv på tvers av komponenter (å slette én komponent trenger ikke å redusere lengden på den korteste beskrivelsen med dens selvstendige K(\theta_i), siden komponenter kan dele struktur). Ressurskapasitetsformen (T9.3-1) er derfor primær for operative påstander; K-kompleksitetsformen beholdes for teoretiske analyser der additivitetsapproksimasjonen er akseptabel.

Hvorfor to former. OpenAI-gjennomgangen av T-12 (appendix-corrections-memo §2.8) påpekte med rette at K-kompleksitet ikke er additiv på tvers av komponenter og anbefalte ressurskapasitetsmål for operative påstander. T-9 adopterer ressurskapasitet som primærform, men bevarer K-kompleksitetsformen fordi den eksisterende ligning T9-3 i hovedartikkelen og beviset for Teorem T-12 i T-12 begge viser til K-kompleksitetsformen. Ressurskapasitetsraffineringen er den renere formuleringen for §3.6.3 / §3.6.4 / T-12 / T-13 i en oppryddingsrunde i v3.7.0 eller senere; T-9 gjør begge former tilgjengelige slik at den endelige oppryddingen kan gjennomføres koherent, fremfor å kreve at alle stedene som viser til dette, repareres samtidig.

Justering av \lambda. I Form 3.2 avveier parameteren \lambda prediktiv gevinst mot kompleksitetskostnad. Empirisk observeres \lambda å variere med affektiv tilstand — høy |E(b)| (preprint ligning T9-10) øker effektivt \lambda på komponentnivå, noe som gjør affektivt markerte komponenter mer motstandsdyktige mot pruning. Dette er den formelle redegjørelsen for emosjonell minneforsterkning (preprint §3.6.5, Pass III).

§4. Beskjæringsbetingelse — terskelform

Beskjæringsbetingelsen bruker terskelformen snarere enn formen med streng positivitet i hovedartikkelens ligning T9-4. OpenAI-gjennomgangen av T-12 (appendix-corrections-notat §2.8 korreksjon 3) påpekte med rette at den strenge I = 0-betingelsen for beskjæring er for skjør: reelle komponenter har svake indirekte prediktive bidrag selv når deres primære prediktive rolle er utelukket av filtrert input.

Beskjæringsbetingelsen i terskelform:

\text{Prune } \theta_i \quad \text{if} \quad G_i(t, \tau) \;<\; C_i \;-\; \epsilon \tag{T9.4-1}

med \epsilon > 0 som en liten retensjonsbuffer som justerer kodekens beskjæringsaggressivitet. Ekvivalente ulikhetsformer:

G_i(t, \tau) - C_i \;<\; -\epsilon \quad \Longleftrightarrow \quad I\!\left(\theta_i; X_{t+1:t+\tau} \mid \theta_{-i}\right) \;<\; C_i - \epsilon \tag{T9.4-2}

Sammenligning med hovedartikkelens ligning T9-4. Hovedartikkelen skriver \Delta_{\mathrm{MDL}}(\theta_i) < 0 som utløseren for beskjæring, noe som tilsvarer \epsilon = 0 — strengt break-even. T-9 generaliserer dette ved å innføre retensjonsbufferen \epsilon, som mer presist modellerer biologisk beskjæringsdynamikk (der små prediktive bidrag bevares mot forbigående støy) og beskjæringshyperparametere i syntetiske kodeker (der terskelbasert sletting er standard).

Tilfellet med strengt break-even gjenfinnes som \epsilon \to 0, så T-9-formen ugyldiggjør ikke de eksisterende T9-4-siteringene i T-12 og T-13; den generaliserer dem.

Implikasjon for Narrativ drift (kryssreferanse T-12). Under filtrert input X' = \mathcal{F}(X) med det ekskluderte signalet \mathcal{X}_{\text{excl}}, vil komponenter \theta_i hvis prediktive bidrag utelukkende gjelder \mathcal{X}_{\text{excl}}, oppfylle G_i(t, \tau) \to 0 på den filtrerte strømmen (fordi målet deres er fraværende fra den observerte inputen). Beskjæringsbetingelsen (T9.4-1) utløses da fordi 0 < C_i - \epsilon for enhver positiv kostnadskomponent. Irreversibilitetsresultatet i T-12 teorem T-12 følger av denne utløsningen sammen med firemodalitetsskillet i §5 nedenfor.

§5. Fire beskjæringsmodaliteter

Beskjæringsoperasjonen (T9.4-1) tillater fire distinkte implementeringer i kodeken, med ulike egenskaper når det gjelder reversibilitet. Skillet er viktig for gjenopprettingsbetingelsen (§6) og for påstanden om irreversibilitet ved Narrativ drift i T-12 Correction 1 (appendix-corrections memo §2.8).

Modalitet 5.1 — Reversibel undertrykking. Utgangsvektingen til komponenten \theta_i reduseres til null (eller under en deltakelsesterskel), men komponentens parametere og struktur forblir lagret i kodeken. Gjenoppretting er rett fram: ny vekting gjenoppretter komponenten. Dette er operasjonen som ligger til grunn for atferdsmessig ekstinksjon i betinging (den betingede responsen svekkes, men sporet består) og dropout-lignende regularisering i nevrale nettverk.

Modalitet 5.2 — Vektforfall. Komponentens parametere forfaller kontinuerlig mot en standardtilstand under et regulariseringstrykk \propto \lambda. Komponenten slettes ikke, men mister trofasthet; delvis gjenoppretting er mulig dersom standardtilstanden er informativ.

Modalitet 5.3 — Representasjonell glemsel. Komponentens parametere overskrives av konkurrerende komponenter under konsolidering (Pass II, preprint §3.6.4). Den strukturelle plassen består, men den spesifikke representasjonen går tapt. Gjenoppretting krever ny eksponering for den relevante inputstrømmen i løpet av en påfølgende Vedlikeholdssyklus og er delvis (den gjeninnlærte representasjonen avviker fra originalen i finkornede detaljer).

Modalitet 5.4 — Arkitektonisk beskjæring. Både komponentens parametere og dens strukturelle plass slettes; kodekens arkitektur reduseres. Gjenoppretting er umulig på kodeknivå — komponenten må dyrkes fram på nytt fra bunnen av gjennom en full læringsepisode. Dette er den irreversible modaliteten.

Modalitetsklassifikasjon under filtrert input. Irreversibilitetspåstanden i T-12 Theorem T-12 (slik den er formulert i det eksisterende preprintet) krever Modalitet 5.4 (arkitektonisk beskjæring) og utelukker Modalitetene 5.1–5.3. T-9 gjør denne modalitetsavhengigheten eksplisitt; appendix-corrections memo §2.8 Correction 1 i v0.4 (“irreversible should be conditional on no protected archive / no replay buffer / no external teacher / no architectural reserve capacity / continued operation under the same filter / pruning is literal capacity deletion, not reversible suppression”) samsvarer med lesningen i Modalitet 5.4.

Reelle biologiske og syntetiske kodeker viser typisk en blanding av modaliteter, der Modalitet 5.4 er forbeholdt komponenter som vedvarende beskjæres gjennom mange Vedlikeholdssykluser. Overgangen fra reversibel til irreversibel beskjæring under vedvarende filtrert input er den strukturelle mekanismen som ligger til grunn for kronisk Narrativ drift (T-12).

§6. Gjenopprettingsbetingelse

En beskåret komponent \theta_i er gjenopprettbar dersom det finnes en prosess hvorved den kan gjeninnsettes i aktiv deltakelse i kodeken. Gjenopprettingssannsynligheten over et gjenopprettingsvindu \tau_R er:

P\big(\text{recover } \theta_i \mid \tau_R\big) \;=\; P\big(\text{Modality 5.1 or 5.2}\big) \cdot p_{\text{restore}}(\tau_R) \;+\; P\big(\text{Modality 5.3 or 5.4}\big) \cdot p_{\text{regrow}}(\tau_R) \tag{T9.6-1}

Det første leddet dekker reversibel / delvis reversibel beskjæring (undertrykking, vektnedbrytning); det andre dekker representasjonell glemsel og arkitektonisk beskjæring, der gjenoppretting krever ekstern input.

Gjenoppretting er positiv bare dersom minst én av tre betingelser holder:

  1. Beskyttet minne. Kodeken beholder en arkivert representasjon av \theta_i i et ikke-beskåret substrat (separat cache, versjonskontrollert sikkerhetskopi, nevrofysiologisk beskyttet minne konsolidert til en annen region). Modalitetene 5.1 og 5.3 kan gjenopprettes under denne betingelsen.

  2. Ekstern lærer / re-eksponering. Kodeken eksponeres for inputstrømmer som inneholder signalet \mathcal{X}_{\text{excl}} som den beskårne komponenten opprinnelig sporet. Aktiv relæring under en påfølgende Vedlikeholdssyklus Pass II gjenoppbygger komponenten (med forbehold om finmasket trofasthet). Alle fire modaliteter kan gjenopprettes under denne betingelsen over tilstrekkelig tid, selv om Modalitet 5.4 krever en full læringsepisode sammenlignbar med den opprinnelige tilegnelsen.

  3. Arkitektonisk reserve. Kodeken har strukturelle plasser som ikke var bundet til spesifikke komponenter, og som kan allokeres til å huse den gjenutvokste representasjonen. Dette er betingelsen der gjenoppretting av Modalitet 5.4 i det hele tatt er mekanisk mulig.

Hvis ingen av (1), (2), (3) holder, så er P(\text{recover}\, \theta_i \mid \tau_R) = 0 for alle \tau_R, og beskjæringen er permanent.

Substrattrohetsbetingelse. T-12s Substrattrohetsbetingelse (Teorem T-12b — redundans av \delta-uavhengige inputkanaler som krysser Markov-teppet) er analogien på linjeskalanivå til (2): kanalene sikrer at inputstrømmen fortsatt inneholder det substratrelevante signalet selv under filtrering av eksterne mekanismer \mathcal{F}. T-9s gjenopprettingsbetingelse leverer implementeringen innenfor kodeken: beskyttede komponenter, replay-buffere, arkitektonisk reserve.

§7. Korollarer — Narrativ drift og handlingsdrift

T-9s primitiver støtter to korollarkjeder utviklet i appendiks T-12 og T-13.

Korollar 7.1 — Narrativ drift (T-12). Under vedvarende filtrert input X' = \mathcal{F}(X) som utelukker signalet \mathcal{X}_{\text{excl}}: - Komponenter \theta_i hvis prediktive gevinst utelukkende ligger på \mathcal{X}_{\text{excl}}, har G_i(t, \tau) \to 0 på den filtrerte strømmen. - Beskjæringsbetingelsen (T9.4-1) utløses på tvers av alle slike komponenter. - Hvis beskjæringen er i Modalitet 5.4 (arkitektonisk) — som dominerer under vedvarende filtrering over mange Vedlikeholdssykluser — og ingen av gjenopprettingsbetingelsene (§6 punkt 1–3) er oppfylt, går kapasiteten til å modellere \mathcal{X}_{\text{excl}} permanent tapt. - Kodeken kan ikke oppdage sitt eget kapasitetstap innenfra (de tapte komponentene deltar ikke lenger i genereringen av prediksjonsfeil), noe som reproduserer T-12as påstand om ikke-identifiserbarhet.

Den fullstendige formelle behandlingen finnes i T-12; T-9 leverer den modalitetsspesifikke lesningen av «irreversibel» som T-12 Korreksjon 1 krever.

Korollar 7.2 — Handlingsdrift (T-13). Komponenter som koder for atferdsevaluerende kapasitet for ubrukte grener: - Har prediktiv gevinst G_i(t, \tau) målt mot inputstrømmens faktisk realiserte grenutfall; hvis visse grener aldri velges, har evaluatorene intet treningssignal. - Beskjæringsbetingelsen utløses når den ubrukte evaluatorens G_i faller under C_i - \epsilon. - Under Modalitet 5.4 blir evaluatoren permanent beskåret; kodeken blir med høy sikkerhet impotent i det tilsvarende handlingsdomenet.

T-13s proposisjon T-13.P1 (Handlingsdrift) er instansen på linjeskalanivå (atferdsrepertoar) av denne innen-kodek-mekanismen.

Kryssreferanse: Vedlikeholdssyklus på linjenivå. Appendiks T-15 §3 utvikler den strukturelle korrespondansen mellom Vedlikeholdssyklusen innen et livsløp og fylogenetisk raffinering. T-9s fire beskjæringsmodaliteter svarer henholdsvis til: midlertidig nisjereduksjon (5.1), linjedrift under avslappet seleksjon (5.2), nisjeerstatning (5.3) og linjeutdøing (5.4). Gjenopprettingsbetingelsene (§6) svarer til fylogenetisk redundans: beskyttede refugier (1), økologisk re-eksponering under nisjerestaurering (2) og utviklingsmessig reservekapasitet (3).

§8. Forholdet til ligningene i hovedartikkelens §3.6

T-9 konsoliderer, ikke fortrenger. Ligningene i hovedartikkelen T9-1 til og med T9-13 (preprint §3.6.1–§3.6.6) bevares slik de er sitert; T-9 introduserer ytterligere formelle primitiver og presiseringer som supplerer dem.

Hovedartikkel T-9
T9-1 (K(P_\theta(t)) \le C_{\text{ceil}}) — total kompleksitetsgrense §1 oppsett
T9-2 (\mathcal{M}_\tau : P_\theta(t) \to P_\theta(t + \tau)) — Vedlikeholdssyklus-operator §1 oppsett
T9-3 (\Delta_{\mathrm{MDL}}(\theta_i) = I(\theta_i; X \mid \theta_{-i}) - \lambda K(\theta_i)) — MDL-beskjæringsstørrelse §2 prediktiv gevinst G_i + §3 vedlikeholdskostnad C_i (Form 3.2 K-approksimasjon)
T9-4 (Beskjær hvis \Delta_{\mathrm{MDL}} < 0) — beskjæringsbetingelse §4 terskelform (T9.4-1 med \epsilon \to 0)
T9-5 (Landauer-beskjæringskostnad) — termodynamisk gulv §5 modalitetsavhengighet (irreversibilitet gjelder for modalitet 5.4)
T9-6 (\Delta K_{\text{prune}}) — gjenoppretting av beskjæringskapasitet §3 + §5 (ressurs-kapasitetsformen gjør bokføringen additiv på tvers av modaliteter)
T9-7 / T9-8 (\Delta K_{\text{compress}}) — konsolideringsgevinst §1 oppsett (Pass II) — T-9 rederiverer ikke konsolidering
T9-9 / T9-10 (w(b), E(b)) — REM-viktighetsvekting §3 (affektiv justering av \lambda) — T-9 rederiverer ikke REM-sampling
T9-11 — REM-samplingsfordeling uendret — T-9 rederiverer ikke Pass III
T9-12 / T9-13 — netto kompleksitetsbudsjett §1 oppsett — T-9s ressurs-kapasitetsform presiserer budsjettbokføringen

Nettopp nytt innhold i T-9: eksplisitt definisjon av prediktiv gevinst G_i(t,\tau) (§2); ressurs-kapasitetsinnramming som primær (§3 Form 3.1); beskjæringsbetingelse i terskelform med retensjonsbuffer \epsilon (§4); fire beskjæringsmodaliteter (§5); gjenopprettingsbetingelse (§6); modalitetsspesifikk lesning av T-12s påstand om irreversibilitet (§7.1).

§9. Åpne kanter

Koordinering med T-12s reformulering av kanal-uavhengighet (fase 4). T-12 står i køen for appendiks-korrigeringer (v0.4 §2.8) for en reformulering av betingelsen om kanal-uavhengighet: uavhengighet mellom filtreringsmekanismer, ikke signaler. T-9s beskjæringsbetingelse (§4) og gjenopprettingsbetingelse (§6) er skrevet for å samordnes med denne reformuleringen, men T-12s bevis for Teorem T-12 må undersøkes på nytt når den reformulerte definisjonen av kanal-uavhengighet er på plass. Spesifikt: irreversibilitetspåstanden i T-12 §3.1 viser for tiden til T9-3 / T9-4; under oppryddingen i v3.7.0 bør den vise til T-9s terskelform i §4 + modalitetsklassifikasjonen i §5 + gjenopprettingsbetingelsen i §6, med irreversibilitetslesningen begrenset til Modalitet 5.4 under tilfellet uten gjenopprettingsbetingelse. Åpen.

Avstemming mellom bokføring i ressurskapasitet og K-kompleksitet. §3 gjør begge former tilgjengelige, men utleder ikke deres kvantitative korrespondanse. For noen komponentklasser er de to nært beslektet (C_i^{\text{params}} \sim K(\theta_i) innenfor en konstant faktor for memorerte oppslagstabeller, for eksempel); for andre divergerer de skarpt (komposisjonell struktur delt på tvers av komponenter gir besparelser i K-kompleksitet som formen for ressurskapasitet ikke fanger opp). En avstemming i v3.7.0 eller senere er ønskelig. Åpen.

Nøytralitet i virtuell lesning (v3.6.21). Den fullt virtuelle lesningen av vedvarende tilstand (hovedartikkel §8.6.1) beskriver Vedlikeholdssyklus på nytt som egenskaper ved strømmen som passerer filteret snarere enn som en kjørende maskin, men omgraderer ikke bokføringen i Form 3.1 / Form 3.2: Form 3.1 (ressurskapasitet) forblir primær for alle operative påstander, og T-12s operative bevis fortsetter å bruke den. Den strøm-native lesningen av komprimerbarhet kommer inn bare som det fortolkningslaget som er nevnt i T-12 §3.1. K-additivitetsavstemmingen ovenfor er stedet der enhver fremtidig omgradering mellom Formene ville bli argumentert for — ikke den virtuelle lesningen. Åpen (må ikke forveksles med oppryddingen i v3.7.0).

Empirisk kalibrering av \epsilon. Retensjonsbufferen \epsilon i (T9.4-1) er en effektiv hyperparameter for beskjæring. Empiriske biologiske verdier ville komme fra studier av nevral beskjæring (terskler for synaptisk forfall, retensjonsrater for dendrittiske spines) eller fra asymptoteeksperimentet for Δ_self^op i prototypen opt-ai-subject. T-9 utleder ikke en spesifikk verdi. Åpen.

Krysslenke til empiriske prediksjoner for Vedlikeholdssyklus. Preprint §3.6.7 lister empiriske prediksjoner for Vedlikeholdssyklus (søvn / drøm / konsolidering). T-9s fire beskjæringsmodaliteter gir mer finmaskede prediksjoner: prediksjonen om at “REM-drømmer uforholdsmessig ofte sampler grener med høy viktighet” (preprint §3.6.5, Pass III) dekomponeres i modalitetsspesifikke prediksjoner om hvilke typer representasjoner som bevares av Modalitet 5.1 (viktighetsvektet retensjon mot beskjæring) versus Modalitet 5.4 (der fraværet av grener med høy viktighet i våken erfaring fører til arkitektonisk sletting av den tilsvarende evaluatoren). Åpen.


Dette appendikset vedlikeholdes som del av OPT-prosjektets repository sammen med opt-theory.md. Referanser til primitivene i Vedlikeholdssyklus i preprint §3.6 er bevart; T-9 suppleres med eksplisitt prediktiv gevinst G_i (§2), kostnad i ressurskapasitet (§3 Form 3.1), terskelformet beskjæringsbetingelse med retensjonsbuffer \epsilon (§4), fire beskjæringsmodaliteter (§5) og gjenopprettingsbetingelser (§6). Korollarhenvisninger: T-12 (Narrativ drift) §3.6.3; T-13 (Action-Drift) §6; T-15 (Fylogenetisk Stabilitetsfilter) §3.