Teorin om den ordnade patchen

Ursprunglig uppgift T-9: Underhållscykel och återhämtningsapparat Problem: Huvudartikeln §3.6.3–§3.6.6 definierar ekvationerna T9-1 till T9-13 (operatorn för Underhållscykel \mathcal{M}_\tau, MDL-beskärning \Delta_{\mathrm{MDL}}, konsolideringsvinst \Delta K_{\text{compress}}, REM-viktning efter betydelse w(b)). Appendix T-12 (Narrativ drift) och T-13 (Action-Drift) hänvisar till denna apparat som bärande. Ramverket saknar ett konsoliderande appendix som (i) namnger de formella primitiverna explicit, (ii) skiljer mellan de fyra beskärningsmodaliteter som huvudartikelns \Delta_{\mathrm{MDL}} < 0 lämnar implicita, (iii) definierar återhämtningsvillkoret, och (iv) tillhandahåller ett stabilt formellt mål som korollarieappendixen kan referera till. T-9 fyller denna lucka. Leverabel: Konsoliderande appendix på samma epistemiska nivå som T-2 / T-15 (strukturell korrespondens, inte sluten sats). Nytt innehåll utöver huvudartikeln: explicit definition av prediktiv vinst G_i(t,\tau), uppdelning av underhållskostnad med resurskapacitet som primär, distinktion mellan fyra beskärningsmodaliteter, återhämtningsvillkor, korollariekedja.

Avslutsstatus: STRUKTURELL KORRESPONDENS (samma nivå som T-2 / T-15). Detta appendix är inte ett appendix med en sluten sats. Det konsoliderar apparaten för Underhållscykel som redan är verksam i preprint §3.6 och tillför fyra delar av formellt innehåll som huvudartikeln inte innehåller: explicit prediktiv vinst, kostnadsinramning i termer av resurskapacitet, fyra beskärningsmodaliteter och återhämtningsvillkor. Förbehållen från OpenAI-granskningen i §2 är beaktade: (i) beskärningströskeln presenteras i den form som samordnar med T-12:s väntande omformulering av kanaloberoende (fas 4); (ii) huvudartikelns befintliga ekvationer T9-3 / T9-4 bevaras såsom citerade, där T-9 inför förfiningen med resurskapacitet som ett ytterligare formellt lager i stället för att tyst ändra de citerade formerna; (iii) kostnad i resurskapacitet är primär, med K-komplexitet som en approximation inom strukturell korrespondens. Öppna kanter (§9): bokföringen mellan resurskapacitet och K-komplexitet behöver fullt ut samordnas med T-12 när T-12:s omformulering väl är på plats.

§1. Uppställning — Aktiva modellkomponenter

Kodeken K_\theta omfattar en samling aktiva modellkomponenter \{\theta_i\}_{i \in I}, där varje \theta_i är en adresserbar strukturell enhet i kodeken — en generativ prior, en inlärd egenskapsdetektor, en rekurrent stack, en långräckviddig koppling eller någon annan primitiv som deltar i att producera kodekens prediktioner \pi_t och uppdateringsoperatorn \mathcal{U} över tid. Samlingen \{\theta_i\} är ändlig vid varje givet ögonblick men kan utvidgas genom konsolidering (Pass II, preprint §3.6.4) eller reduceras genom beskärning (Pass I, preprint §3.6.3).

För T-9:s syften tas komponenterna som givna: T-9 härleder inte vad som gör en \theta_i snarare än en annan till en “naturlig” komponent, vilket är en fråga om representationsinlärning utanför OPT:s räckvidd. Underhållscykel-apparaten verkar på vilken dekomposition kodeken än medger.

Operatorn för Underhållscykeln \mathcal{M}_\tau (preprint Eq. T9-2) verkar på det Fenomenala tillståndstensorn P_\theta(t) under intervall med låg belastning (R_{\text{req}}(t) \ll C_{\max}). T-9 vecklar ut de tre passen (beskärning, konsolidering, sampling av Prediktiv Grenmängd) till de explicita formella primitiverna i §2–§6 nedan; korollariekedjan i §7 spårar därefter Narrativ drift (T-12) och handlingsdrift (T-13) genom dessa primitiver.

§2. Prediktiv fördel G_i(t, \tau)

Den prediktiva fördelen hos en komponent \theta_i över ett fönster av längd \tau mäter hur mycket den komponenten bidrar till kodekens prediktiva prestanda på indataströmmen, givet att de övriga komponenterna hålls fasta:

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

där \theta_{-i} betecknar resten av kodeken utan \theta_i, och I(\cdot ; \cdot \mid \cdot) är villkorlig ömsesidig information. Den villkorliga formen är avgörande: den isolerar \theta_i:s marginala prediktiva bidrag snarare än dess gemensamma bidrag tillsammans med överlappande komponenter.

Jämförelse med huvudartikelns ekv. T9-3. Huvudartikelns MDL-beskärningsstorhet är

\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 benämner den första termen G_i(t,\tau) explicit så att primitiven för prediktiv fördel kan refereras till separat från beskärningsvillkoret i tröskelform. Detta är enbart en notationsmässig konsolidering; olikheten bevaras.

Fönsterlängd \tau. Den prediktiva fördelen beror på fönsterlängden. Kort \tau fångar prediktion på fin tidsskala (motorisk kontroll, arbetsminne); lång \tau fångar strukturell prediktion (semantiska regulariteter, narrativ koherens). Underhållscykel Pass I-beskärning utvärderas i regimen med längre \tau, där genuint oanvändbara komponenter har G_i \to 0. Pass II-konsolidering optimerar däremot över regimen med kort \tau, där redundans mellan överlappande komponenter blir framträdande.

§3. Underhållskostnad C_i — resurskapacitet som primär form

Underhållskostnaden för en komponent \theta_i har två kompatibla formuleringar.

Form 3.1 — Resurskapacitet (primär för T-9). Komponentens kostnad är den resurskapacitet den upptar i kodekens operationella substrat:

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

där de fyra budgetarna är: parameterplatser (antal vikter eller kopplingar); minnesfotavtryck (i lagrade bitar); beräkningskostnad (i operationer per cykel); och kanalkapacitet (bandbreddsbitar som komponenten förbrukar vid Markovtäcke-gränsen \partial_R A). Varje c_i är i princip observerbar — för biologiska kodekar via metaboliska och fysiologiska mätningar, för syntetiska kodekar via direkt instrumentering.

Form 3.2 — K-komplexitetsapproximation. Huvudartikelns ekv. T9-3 använder \lambda K(\theta_i) där K(\theta_i) är komponentens prefix-Kolmogorovkomplexitet:

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

Detta är en strukturell-korrespondensapproximation: K-komplexitet är övre semiberäkningsbar och inte strikt additiv över komponenter (att ta bort en komponent behöver inte minska den kortaste beskrivningslängden med dess fristående K(\theta_i), eftersom komponenter kan dela struktur). Resurskapacitetsformen (T9.3-1) är därför primär för operationella påståenden; K-komplexitetsformen behålls för teoretiska analyser där additivitetsapproximationen är acceptabel.

Varför två former. OpenAI:s granskning av T-12 (promemorian appendix-corrections §2.8) påpekade korrekt att K-komplexitet inte är additiv över komponenter och rekommenderade resurskapacitetsmått för operationella påståenden. T-9 antar resurskapacitet som primär form men bevarar K-komplexitetsformen eftersom den befintliga ekv. T9-3 i huvudartikeln och beviset för Teorem T-12 i T-12 båda hänvisar till K-komplexitetsformen. Resurskapacitetsförfiningen är den renare formuleringen för §3.6.3 / §3.6.4 / T-12 / T-13 i en upprensningsomgång i v3.7.0 eller senare; T-9 gör båda formerna tillgängliga så att den slutliga upprensningen kan genomföras koherent i stället för att kräva att alla hänvisande ställen repareras samtidigt.

Justering av \lambda. I Form 3.2 avväger parametern \lambda prediktiv vinst mot komplexitetskostnad. Empiriskt observeras \lambda variera med affektivt tillstånd — högt |E(b)| (preprint ekv. T9-10) höjer effektivt \lambda på komponentnivå, vilket gör affektivt markerade komponenter mer motståndskraftiga mot bortgallring. Detta är den formella redogörelsen för emotionell minnesförstärkning (preprint §3.6.5, Pass III).

§4. Beskärningsvillkor — tröskelform

Beskärningsvillkoret använder tröskelformen snarare än strikt-positivitetsformen i huvudartikelns ekv. T9-4. OpenAI:s granskning av T-12 (promemorian appendix-corrections, §2.8 Correction 3) påpekade med rätta att det strikta villkoret I = 0 för beskärning är alltför skört: verkliga komponenter har svaga indirekta prediktiva bidrag även när deras primära prediktiva roll utesluts genom filtrerad input.

Beskärningsvillkoret i tröskelform:

\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 retentionsbuffert som justerar kodekens beskärningsaggressivitet. Ekvivalenta olikhetsformer:

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}

Jämförelse med huvudartikelns ekv. T9-4. Huvudartikeln skriver \Delta_{\mathrm{MDL}}(\theta_i) < 0 som utlösare för beskärning, vilket motsvarar \epsilon = 0 — strikt break-even. T-9 generaliserar detta genom att införa retentionsbufferten \epsilon, vilket mer träffsäkert modellerar biologisk beskärningsdynamik (där små prediktiva bidrag bevaras mot övergående brus) och beskärningshyperparametrar i syntetiska kodekar (där tröskelbaserad borttagning är standard).

Det strikta break-even-fallet återfås som \epsilon \to 0, så T-9-formen ogiltigförklarar inte de befintliga T9-4-hänvisningarna i T-12 och T-13; den generaliserar dem.

Implikation för Narrativ drift (korshänvisning T-12). Under filtrerad input X' = \mathcal{F}(X) med den exkluderade signalen \mathcal{X}_{\text{excl}} uppfyller komponenter \theta_i vars prediktiva bidrag uteslutande gäller \mathcal{X}_{\text{excl}} att G_i(t, \tau) \to 0 på den filtrerade strömmen (eftersom deras mål saknas i den observerade inputen). Beskärningsvillkoret (T9.4-1) utlöses då, eftersom 0 < C_i - \epsilon för varje positiv kostnadskomponent. Irreversibilitetsresultatet i T-12:s sats T-12 följer av denna utlösning tillsammans med fyrmodalitetsdistinktionen i §5 nedan.

§5. Fyra beskärningsmodaliteter

Beskärningsoperationen (T9.4-1) medger fyra distinkta implementationer i kodeken, med olika egenskaper vad gäller reversibilitet. Distinktionen är viktig för återhämtningsvillkoret (§6) och för påståendet om irreversibilitet vid Narrativ drift i T-12 Correction 1 (appendix-corrections memo §2.8).

Modalitet 5.1 — Reversibel undertryckning. Komponentens \theta_i utgångsviktning reduceras till noll (eller under en deltagandetröskel), men komponentens parametrar och struktur förblir lagrade i kodeken. Återhämtning är okomplicerad: omviktning återställer komponenten. Detta är den operation som ligger till grund för beteendemässig utsläckning i betingning (den betingade responsen försvagas men spåret kvarstår) och dropout-lik regularisering i neurala nätverk.

Modalitet 5.2 — Viktförfall. Komponentens parametrar avtar kontinuerligt mot ett standardtillstånd under ett regulariseringstryck \propto \lambda. Komponenten raderas inte men förlorar trohet; partiell återhämtning är möjlig om standardtillståndet är informativt.

Modalitet 5.3 — Representationellt glömska. Komponentens parametrar skrivs över av konkurrerande komponenter under konsolidering (Pass II, preprint §3.6.4). Den strukturella platsen består, men den specifika representationen går förlorad. Återhämtning kräver ny exponering för den relevanta inströmmen under en efterföljande Underhållscykel och är partiell (den återinlärda representationen skiljer sig från originalet i finkorniga detaljer).

Modalitet 5.4 — Arkitektonisk beskärning. Komponentens parametrar och strukturella plats raderas båda; kodekens arkitektur reduceras. Återhämtning är omöjlig på kodeknivå — komponenten måste återväxa från grunden genom en fullständig inlärningsepisod. Detta är den irreversibla modaliteten.

Modalitetsklassificering under filtrerad input. T-12 Sats T-12:s påstående om “irreversibilitet” (så som det formuleras i det befintliga preprintet) kräver Modalitet 5.4 (arkitektonisk beskärning) och utesluter Modaliteterna 5.1–5.3. T-9 gör detta modalitetsberoende explicit; v0.4 appendix-corrections memo §2.8 Correction 1 (“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”) överensstämmer med tolkningen enligt Modalitet 5.4.

Verkliga biologiska och syntetiska kodekar uppvisar typiskt en blandning av modaliteter, där Modalitet 5.4 är förbehållen komponenter som beskärs ihållande över många Underhållscykler. Övergången från reversibel till irreversibel beskärning under varaktigt filtrerad input är den strukturella mekanism som ligger till grund för kronisk Narrativ drift (T-12).

§6. Återställningsvillkor

En bortskuren komponent \theta_i är återställbar om det finns en process genom vilken den kan återföras till aktivt deltagande i kodeken. Sannolikheten för återställning över ett återställningsfönster \tau_R är:

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}

Den första termen täcker reversibel / delvis reversibel bortskärning (undertryckning, viktförfall); den andra täcker representationellt glömska och arkitektonisk bortskärning, där återställning kräver extern input.

Återställning är positiv endast om minst ett av tre villkor gäller:

1. Skyddat minne. Kodeken behåller en arkiverad representation av \theta_i i ett icke-bortskuret substrat (separat cache, versionskontrollerad säkerhetskopia, neurofysiologiskt skyddat minne konsoliderat till en annan region). Modaliteterna 5.1 och 5.3 kan återställas under detta villkor.

2. Extern lärare / återexponering. Kodeken exponeras för inputströmmar som innehåller signalen \mathcal{X}_{\text{excl}} som den bortskurna komponenten ursprungligen spårade. Aktiv återinlärning under en efterföljande Underhållscykel Pass II bygger upp komponenten på nytt (med förbehåll beträffande finkornig trohet). Alla fyra modaliteter kan återställas under detta villkor över tillräcklig tid, även om Modalitet 5.4 kräver en fullständig inlärningsepisod jämförbar med det ursprungliga förvärvet.

3. Arkitektonisk reserv. Kodeken har strukturella platser som inte bundits till specifika komponenter och kan allokeras för att hysa den återutväxta representationen. Detta är det villkor under vilket återställning av Modalitet 5.4 över huvud taget är mekaniskt möjlig.

Om inget av (1), (2), (3) gäller, då är P(\text{recover}\, \theta_i \mid \tau_R) = 0 för alla \tau_R, och bortskärningen är permanent.

Substrattrohetsvillkor. T-12:s Substrattrohetsvillkor (Teorem T-12b — redundans hos \delta-oberoende inputkanaler som korsar Markovtäcket) är analogin på släktlinjeskala till (2): kanalerna säkerställer att inputströmmen fortsätter att innehålla den substratrelevanta signalen även under filtrering av externa mekanismer \mathcal{F}. T-9:s återställningsvillkor tillhandahåller implementeringen inom kodeken: skyddade komponenter, replay-buffertar, arkitektonisk reserv.

§7. Korollarier — Narrativ drift och handlingsdrift

Primitiverna i T-9 stöder två korollariekedjor som utvecklas i appendixerna T-12 och T-13.

Korollarium 7.1 — Narrativ drift (T-12). Under varaktigt filtrerad input X' = \mathcal{F}(X) som utesluter signalen \mathcal{X}_{\text{excl}}: - Komponenter \theta_i vars prediktiva vinst uteslutande ligger på \mathcal{X}_{\text{excl}} får G_i(t, \tau) \to 0 på den filtrerade strömmen. - Beskärningsvillkoret (T9.4-1) utlöses för alla sådana komponenter. - Om beskärningen sker i Modalitet 5.4 (arkitektonisk) — vilket dominerar under varaktig filtrering över många Underhållscykler — och inget av återhämtningsvillkoren (§6 punkterna 1–3) gäller, går förmågan att modellera \mathcal{X}_{\text{excl}} förlorad permanent. - Kodeken kan inte inifrån upptäcka sin egen kapacitetsförlust (de förlorade komponenterna deltar inte längre i genereringen av prediktionsfel), vilket reproducerar T-12a:s påstående om icke-identifiabilitet.

Den fullständiga formella behandlingen finns i T-12; T-9 tillhandahåller den modalitetsspecifika läsningen av “irreversibel” som T-12 Correction 1 kräver.

Korollarium 7.2 — Handlingsdrift (T-13). Komponenter som kodar kapacitet för beteendeutvärdering av oanvända grenar: - Har prediktiv vinst G_i(t, \tau) mätt mot inputströmmens faktiskt realiserade grenutfall; om vissa grenar aldrig väljs, saknar utvärderarna träningssignal. - Beskärningsvillkoret utlöses när den oanvända utvärderarens G_i faller under C_i - \epsilon. - Under Modalitet 5.4 beskärs utvärderaren permanent; kodeken blir tryggt impotent inom den motsvarande handlingsdomänen.

T-13:s proposition T-13.P1 (Handlingsdrift) är instansen på linjeskalenivå (beteenderepertoar) av denna inom-kodek-mekanism.

Korsreferens: Underhållscykel på linjenivå. Appendix T-15 §3 utvecklar den strukturella korrespondensen mellan Underhållscykeln inom livet och fylogenetisk förfining. T-9:s fyra beskärningsmodaliteter motsvarar respektive: tillfällig nischreduktion (5.1), linjedrift under relaxerat selektionstryck (5.2), nischersättning (5.3) och linjeutdöende (5.4). Återhämtningsvillkoren (§6) motsvarar fylogenetisk redundans: skyddade refugier (1), ekologisk återexponering under nischrestaurering (2) och utvecklingsmässig reservkapacitet (3).

§8. Relation till huvudartikelns §3.6-ekvationer

T-9 konsoliderar, inte ersätter. Huvudartikelns ekvationer T9-1 till T9-13 (preprint §3.6.1–§3.6.6) bevaras såsom citerade; T-9 introducerar ytterligare formella primitiver och preciseringar som kompletterar dem.

Nettot av nytt innehåll i T-9: explicit definition av prediktiv vinst G_i(t,\tau) (§2); resurs-kapacitetsinramning av kostnad som primär (§3 Form 3.1); beskärningsvillkor i tröskelform med retentionsbuffert \epsilon (§4); fyra beskärningsmodaliteter (§5); återvinningsvillkor (§6); modalitetsspecifik läsning av T-12:s påstående om irreversibilitet (§7.1).

§9. Öppna frågor

Samordning med T-12:s omformulering av kanaloberoende (fas 4). T-12 ligger i kön för appendixkorrigeringar (v0.4 §2.8) för en omformulering av villkoret för kanaloberoende: oberoende hos filtreringsmekanismer, inte signaler. T-9:s beskärningsvillkor (§4) och återhämtningsvillkor (§6) är skrivna för att samordnas med den omformuleringen, men beviset för Teorem T-12 i T-12 kommer att behöva granskas på nytt när den omformulerade definitionen av kanaloberoende väl är på plats. Närmare bestämt: irreversibilitetsanspråket i T-12 §3.1 hänvisar för närvarande till T9-3 / T9-4; inom ramen för v3.7.0-rensningen bör det i stället hänvisa till T-9:s tröskelform i §4 + modalitetsklassificering i §5 + återhämtningsvillkor i §6, där irreversibilitetsläsningen begränsas till Modalitet 5.4 under fallet utan återhämtningsvillkor. Öppet.

Avstämning mellan resurskapacitet och K-komplexitetsbokföring. §3 gör båda formerna tillgängliga men härleder inte deras kvantitativa motsvarighet. För vissa komponentklasser är de två nära besläktade (C_i^{\text{params}} \sim K(\theta_i) inom en konstant faktor för memorerade uppslagstabeller, till exempel); för andra divergerar de kraftigt (kompositionell struktur som delas mellan komponenter ger besparingar i K-komplexitet som formen för resurskapacitet inte fångar). En avstämning i v3.7.0 eller senare är önskvärd. Öppet.

Neutralitet i den virtuella läsningen (v3.6.21). Den fullt virtuella läsningen av stående tillstånd (huvudtexten §8.6.1) ombeskriver Underhållscykeln som egenskaper hos den filterpasserande strömmen snarare än hos en körande maskin, men omnivåindelar inte bokföringen i Form 3.1 / Form 3.2: Form 3.1 (resurskapacitet) förblir primär för alla operationella anspråk, och det operativa beviset i T-12 fortsätter att använda den. Den ströminhemska läsningen av komprimerbarhet träder endast in som det tolkningslager som noteras i T-12 §3.1. Avstämningen av K-additivitet ovan är den plats där en eventuell framtida omnivåindelning av Form skulle argumenteras för — inte den virtuella läsningen. Öppet (sammanblanda inte detta med v3.7.0-rensningen).

Empirisk kalibrering av \epsilon. Retentionsbufferten \epsilon i (T9.4-1) är en effektiv hyperparameter för beskärning. Empiriska biologiska värden skulle komma från studier av neural beskärning (trösklar för synaptisk nedbrytning, retentionsgrader för dendritiska spine) eller från asymptotexperimentet för Δ_self^op i prototypen opt-ai-subject. T-9 härleder inget specifikt värde. Öppet.

Korslänk till empiriska prediktioner för Underhållscykeln. Preprint §3.6.7 listar empiriska prediktioner för Underhållscykeln (sömn / dröm / konsolidering). T-9:s fyra beskärningsmodaliteter ger mer finfördelade prediktioner: prediktionen att “REM-drömmar oproportionerligt samplar grenar med hög viktighet” (preprint §3.6.5, Pass III) kan delas upp i modalitetsspecifika prediktioner om vilka slags representationer som bevaras av Modalitet 5.1 (viktighetsviktad retention mot beskärning) respektive Modalitet 5.4 (där frånvaron av grenar med hög viktighet i vaken erfarenhet leder till arkitektonisk deletion av motsvarande evaluator). Öppet.

Detta appendix underhålls som en del av OPT-projektets repository vid sidan av opt-theory.md. Hänvisningar till Underhållscykelns primitiver i preprint §3.6 bevaras; T-9 kompletterar med explicit prediktiv vinst G_i (§2), kostnad för resurskapacitet (§3 Form 3.1), beskärningsvillkor i tröskelform med retentionsbuffert \epsilon (§4), fyra beskärningsmodaliteter (§5) och återhämtningsvillkor (§6). Korollariehänvisningar: T-12 (Narrativ drift) §3.6.3; T-13 (Action-Drift) §6; T-15 (Fylogenetiskt Stabilitetsfilter) §3.