Teorien om den ordnede patch (OPT)

Oprindelig opgave T-9: Vedligeholdelsescyklus og genopretningsapparat Problem: Hovedartiklen §3.6.3–§3.6.6 definerer ligningerne T9-1 til T9-13 (operatoren for Vedligeholdelsescyklus \mathcal{M}_\tau, MDL-beskæring \Delta_{\mathrm{MDL}}, konsolideringsgevinst \Delta K_{\text{compress}}, REM-vigtighedsvægtning w(b)). Appendiks T-12 (Narrativ drift) og T-13 (Action-Drift) henviser til dette apparat som bærende. Rammeværket mangler et samlende appendiks, der (i) navngiver de formelle primitiver eksplicit, (ii) skelner mellem de fire beskæringsmodaliteter, som hovedartiklens \Delta_{\mathrm{MDL}} < 0 lader implicitte, (iii) definerer genopretningsbetingelsen, og (iv) giver et stabilt formelt mål, som korollarappendikserne kan referere til. T-9 udfylder dette hul. Leverance: Samlende appendiks på samme epistemiske niveau som T-2 / T-15 (strukturel korrespondance, ikke lukket teorem). Nyt indhold ud over hovedartiklen: eksplicit definition af prædiktiv gevinst G_i(t,\tau), dekomponering af vedligeholdelsesomkostning med ressourcekapacitet som primær, sondring mellem fire beskæringsmodaliteter, genopretningsbetingelse, korollarkæde.

Afslutningsstatus: STRUKTUREL KORRESPONDANCE (samme niveau som T-2 / T-15). Dette appendiks er ikke et appendiks med et lukket teorem. Det konsoliderer apparatet for Vedligeholdelsescyklus, som allerede er i funktion i preprint §3.6, og tilføjer fire stykker formelt indhold, som hovedartiklen ikke indeholder: eksplicit prædiktiv gevinst, omkostningsrammesætning i form af ressourcekapacitet, fire beskæringsmodaliteter og genopretningsbetingelser. Forbeholdene fra OpenAI-review i §2 er overholdt: (i) beskæringstærsklen præsenteres i den form, der koordinerer med T-12’s forestående reformulering af kanal-uafhængighed (fase 4); (ii) de eksisterende ligninger i hovedartiklen T9-3 / T9-4 bevares som citeret, hvor T-9 indfører forfinelsen med ressourcekapacitet som et yderligere formelt lag frem for stiltiende at ændre de citerede former; (iii) omkostning i form af ressourcekapacitet er primær, med K-kompleksitet som en tilnærmelse under strukturel korrespondance. Åbne kanter (§9): bogføringen mellem ressourcekapacitet og K-kompleksitet kræver fuld afstemning med T-12, når T-12’s reformulering foreligger.

§1. Opsætning — aktive modelkomponenter

Codecen K_\theta omfatter en samling af aktive modelkomponenter \{\theta_i\}_{i \in I}, hvor hver \theta_i er en adresserbar strukturel enhed i codecen — en generativ prior, en indlært feature-detektor, en rekurrent stak, en langtrækkende kobling eller enhver anden primitiv, der medvirker til at frembringe codeciens prædiktioner \pi_t og opdateringsoperator \mathcal{U} over tid. Samlingen \{\theta_i\} er endelig på ethvert givet tidspunkt, men kan udvides gennem konsolidering (Pass II, preprint §3.6.4) eller reduceres gennem beskæring (Pass I, preprint §3.6.3).

For T-9’s formål tages komponenterne som givne: T-9 udleder ikke, hvad der gør én \theta_i frem for en anden til en “naturlig” komponent, hvilket er et spørgsmål om repræsentationslæring uden for OPT’s rækkevidde. Apparaturet for Vedligeholdelsescyklus opererer på enhver dekomposition, som codecen tillader.

Operatoren for Vedligeholdelsescyklus \mathcal{M}_\tau (preprint ligning T9-2) virker på den Fænomenale tilstandstensor P_\theta(t) under intervaller med lav belastning (R_{\text{req}}(t) \ll C_{\max}). T-9 udfolder de tre passager (beskæring, konsolidering, sampling af Prædiktivt Grenmængde) til de eksplicitte formelle primitiver i §2–§6 nedenfor; korollarkæden i §7 følger dernæst Narrativ drift (T-12) og handlingsdrift (T-13) gennem disse primitiver.

§2. Prædiktiv gevinst G_i(t, \tau)

Den prædiktive gevinst for en komponent \theta_i over et vindue med længde \tau måler, hvor meget den pågældende komponent bidrager til codec’ets prædiktive ydeevne på inputstrømmen, når de øvrige komponenter holdes faste:

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

hvor \theta_{-i} betegner resten af codec’et uden \theta_i, og I(\cdot ; \cdot \mid \cdot) er betinget gensidig information. Den betingede form er essentiel: den isolerer \theta_i’s marginale prædiktive bidrag snarere end dets fælles bidrag sammen med overlappende komponenter.

Sammenligning med hovedartiklens ligning T9-3. Hovedartiklens MDL-beskæ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 navngiver eksplicit det første led som G_i(t,\tau), så den prædiktive-gevinst-primitiv kan refereres separat fra beskæringsbetingelsen i tærskelform. Dette er udelukkende en notationsmæssig konsolidering; uligheden er bevaret.

Vindueslængde \tau. Den prædiktive gevinst afhænger af vinduets længde. Kort \tau indfanger prædiktion på fine tidsskalaer (motorisk kontrol, arbejdshukommelse); lang \tau indfanger strukturel prædiktion (semantiske regulariteter, narrativ kohærens). Beskæring i Vedligeholdelsescyklus Pass I evalueres i regimet med længere \tau, hvor genuint ubrugelige komponenter har G_i \to 0. Konsolidering i Pass II optimerer derimod over regimet med kort \tau, hvor redundans på tværs af overlappende komponenter bliver fremtrædende.

§3. Vedligeholdelsesomkostning C_i — ressourcekapacitet som primær formulering

Vedligeholdelsesomkostningen for en komponent \theta_i har to kompatible formuleringer.

Form 3.1 — Ressourcekapacitet (primær for T-9). Komponentens omkostning er den ressourcekapacitet, den optager i codec’ets operationelle substrat:

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

hvor de fire budgetter er: parameterslots (antal vægte eller forbindelser); hukommelsesfodaftryk (i lagrede bit); beregningsomkostning (i operationer pr. cyklus); og kanalkapacitet (bit båndbredde, som komponenten forbruger ved Markov-tæppe-grænsen \partial_R A). Hver c_i er i princippet observerbar — for biologiske codecs via metabolisk og fysiologisk måling, for syntetiske codecs via direkte instrumentering.

Form 3.2 — K-kompleksitetsapproksimation. Hovedartiklens ligning T9-3 bruger \lambda K(\theta_i), hvor K(\theta_i) er komponentens præfiks-Kolmogorov-kompleksitet:

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

Dette er en strukturel korrespondance-approksimation: K-kompleksitet er øvre semiberegnelig og ikke strengt additiv på tværs af komponenter (sletning af én komponent reducerer muligvis ikke den korteste beskrivelseslængde med dens selvstændige K(\theta_i), eftersom komponenter kan dele struktur). Ressourcekapacitetsformen (T9.3-1) er derfor den primære for operationelle påstande; K-kompleksitetsformen bevares til teoretiske analyser, hvor additivitetsapproksimationen er acceptabel.

Hvorfor to former. OpenAI’s review af T-12 (appendix-corrections-memo §2.8) påpegede korrekt, at K-kompleksitet ikke er additiv på tværs af komponenter, og anbefalede ressourcekapacitetsmål til operationelle påstande. T-9 antager ressourcekapacitet som primær, men bevarer K-kompleksitetsformen, fordi den eksisterende hovedartikelligning T9-3 og beviset for T-12’s teorem T-12 begge henviser til K-kompleksitetsformen. Ressourcekapacitetspræciseringen er den renere formulering for §3.6.3 / §3.6.4 / T-12 / T-13 i en oprydningsrunde i v3.7.0 eller senere; T-9 stiller begge former til rådighed, så den endelige oprydning kan udføres kohærent frem for at kræve, at alle de henvisende steder repareres samtidig.

Indstilling af \lambda. I form 3.2 afvejer parameteren \lambda prædiktiv gevinst mod kompleksitetsomkostning. Empirisk observeres \lambda at variere med affektiv tilstand — høj |E(b)| (preprint ligning T9-10) hæver effektivt \lambda på komponentniveau og gør affektivt markerede komponenter mere modstandsdygtige over for beskæring. Dette er den formelle redegørelse for emotionel hukommelsesforstærkning (preprint §3.6.5, Pass III).

§4. Beskæringsbetingelse — tærskelform

Beskæringsbetingelsen anvender tærskelformen snarere end streng-positivitetsformen i hovedartiklens ligning T9-4. OpenAI-gennemgangen af T-12 (appendix-corrections-memo §2.8, korrektion 3) bemærkede med rette, at den strenge I = 0-betingelse for beskæring er for skrøbelig: reelle komponenter har svage indirekte prædiktive bidrag, selv når deres primære prædiktive rolle er udelukket af filtreret input.

Beskæringsbetingelsen på tærskelform:

\text{Beskær } \theta_i \quad \text{hvis} \quad G_i(t, \tau) \;<\; C_i \;-\; \epsilon \tag{T9.4-1}

med \epsilon > 0 som en lille retentionsbuffer, der justerer codec’ets beskæringsaggressivitet. Ækvivalente ulighedsformer:

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 hovedartiklens ligning T9-4. Hovedartiklen skriver \Delta_{\mathrm{MDL}}(\theta_i) < 0 som udløseren for beskæring, hvilket svarer til \epsilon = 0 — strengt break-even. T-9 generaliserer dette ved at indføre retentionsbufferen \epsilon, hvilket mere præcist modellerer biologiske beskæringsdynamikker (hvor små prædiktive bidrag bevares mod forbigående støj) og beskæringshyperparametre i syntetiske codec’er (hvor tærskelbaseret sletning er standard).

Det strenge break-even-tilfælde genvindes som \epsilon \to 0, så T-9-formen ugyldiggør ikke de eksisterende T9-4-citater i T-12 og T-13; den generaliserer dem.

Implikation for Narrativ drift (krydshenvisning T-12). Under filtreret input X' = \mathcal{F}(X) med det udelukkede signal \mathcal{X}_{\text{excl}} opfylder komponenter \theta_i, hvis prædiktive bidrag udelukkende retter sig mod \mathcal{X}_{\text{excl}}, G_i(t, \tau) \to 0 på den filtrerede strøm (fordi deres mål er fraværende i det observerede input). Beskæringsbetingelsen (T9.4-1) udløses da, fordi 0 < C_i - \epsilon for enhver positiv omkostningskomponent. T-12-sætning T-12’s irreversibilitetsresultat følger af denne udløsning sammen med fire-modalitetsdistinktionen i §5 nedenfor.

§5. Fire beskæringsmodaliteter

Beskæringsoperationen (T9.4-1) tillader fire distinkte implementeringer i codec’et, med forskellige egenskaber for reversibilitet. Denne sondring er vigtig for genoprettelsesbetingelsen (§6) og for påstanden om irreversibilitet ved Narrativ drift i T-12 Korrektion 1 (appendix-corrections-memo §2.8).

Modalitet 5.1 — Reversibel suppression. Outputvægtningen for komponenten \theta_i reduceres til nul (eller under en deltagelsestærskel), men komponentens parametre og struktur forbliver lagret i codec’et. Genoprettelse er ligetil: en ny vægtning genskaber komponenten. Dette er den operation, der ligger til grund for adfærdsmæssig ekstinktion i betingning (den betingede respons svækkes, men sporet består) og dropout-lignende regularisering i neurale netværk.

Modalitet 5.2 — Vægtforfald. Komponentens parametre henfalder kontinuerligt mod en standardtilstand under et regulariseringstryk \propto \lambda. Komponenten slettes ikke, men mister trofasthed; delvis genoprettelse er mulig, hvis standardtilstanden er informativ.

Modalitet 5.3 — Repræsentationel glemsel. Komponentens parametre overskrives af konkurrerende komponenter under konsolidering (Pass II, preprint §3.6.4). Den strukturelle plads består, men den specifikke repræsentation går tabt. Genoprettelse kræver fornyet eksponering for den relevante inputstrøm under en efterfølgende Vedligeholdelsescyklus og er delvis (den genindlærte repræsentation adskiller sig fra den oprindelige i finkornede detaljer).

Modalitet 5.4 — Arkitektonisk beskæring. Komponentens parametre og strukturelle plads slettes begge; codec-arkitekturen reduceres. Genoprettelse er umulig på codec-niveau — komponenten må genopbygges fra bunden gennem en fuld læringsepisode. Dette er den irreversible modalitet.

Modalitetsklassifikation under filtreret input. Irreversibilitetspåstanden i T-12, Teorem T-12 (sådan som den er formuleret i det eksisterende preprint), kræver Modalitet 5.4 (arkitektonisk beskæring) og udelukker Modaliteterne 5.1–5.3. T-9 gør denne modalitetsafhængighed eksplicit; v0.4 appendix-corrections-memo §2.8 Korrektion 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”) stemmer overens med læsningen i Modalitet 5.4.

Virkelige biologiske og syntetiske codecs udviser typisk en blanding af modaliteter, hvor Modalitet 5.4 er forbeholdt komponenter, der vedvarende beskæres gennem mange Vedligeholdelsescyklusser. Overgangen fra reversibel til irreversibel beskæring under vedvarende filtreret input er den strukturelle mekanisme, der ligger til grund for kronisk Narrativ drift (T-12).

§6. Gendannelsesbetingelse

En beskåret komponent \theta_i er gendannelig, hvis der findes en proces, hvorved den kan genoprettes til aktiv deltagelse i codec’et. Gendannelsessandsynligheden over et gendannelsesvindue \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 led dækker reversibel / delvist reversibel beskæring (undertrykkelse, vægtforfald); det andet dækker repræsentationel glemsel og arkitektonisk beskæring, hvor gendannelse kræver eksternt input.

Gendannelse er kun positiv, hvis mindst én af tre betingelser er opfyldt:

1. Beskyttet hukommelse. Codec’et bevarer en arkiveret repræsentation af \theta_i i et ikke-beskåret substrat (separat cache, versionsstyret backup, neurofysiologisk beskyttet hukommelse konsolideret til en anden region). Modalitet 5.1 og 5.3 kan gendannes under denne betingelse.

2. Ekstern lærer / geneksponering. Codec’et eksponeres for inputstrømme, der indeholder signalet \mathcal{X}_{\text{excl}}, som den beskårne komponent oprindeligt sporede. Aktiv genindlæring under en efterfølgende Vedligeholdelsescyklus Pass II genopbygger komponenten (med forbehold vedrørende finkornet trofasthed). Alle fire modaliteter kan gendannes under denne betingelse over tilstrækkelig tid, selv om Modalitet 5.4 kræver en fuld læringsepisode, der er sammenlignelig med den oprindelige tilegnelse.

3. Arkitektonisk reserve. Codec’et har strukturelle slots, som ikke blev bundet til specifikke komponenter, og som kan allokeres til at huse den genvoksede repræsentation. Dette er den betingelse, hvorunder gendannelse af Modalitet 5.4 overhovedet er mekanisk mulig.

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

Substrattrohedsbetingelse. T-12’s Substrattrohedsbetingelse (Teorem T-12b — redundans af \delta-uafhængige inputkanaler, der krydser Markov-tæppet) er analogien på slægtslinjeskala til (2): Kanalerne sikrer, at inputstrømmen fortsat indeholder det substratrelevante signal, selv under filtrering af eksterne mekanismer \mathcal{F}. T-9’s gendannelsesbetingelse leverer implementeringen inden for codec’et: beskyttede komponenter, replay-buffere, arkitektonisk reserve.

§7. Korollarer — Narrativ drift og handlingsdrift

T-9’s primitiver understøtter to korollarkæder, som udvikles i appendiks T-12 og T-13.

Korollar 7.1 — Narrativ drift (T-12). Under vedvarende filtreret input X' = \mathcal{F}(X), som udelukker signalet \mathcal{X}_{\text{excl}}: - Komponenter \theta_i, hvis prædiktive gevinst udelukkende ligger på \mathcal{X}_{\text{excl}}, har G_i(t, \tau) \to 0 på den filtrerede strøm. - Beskæringsbetingelsen (T9.4-1) udløses på tværs af alle sådanne komponenter. - Hvis beskæringen er i Modalitet 5.4 (arkitektonisk) — hvilket dominerer under vedvarende filtrering over mange Vedligeholdelsescyklusser — og ingen af genopretningsbetingelserne (§6, punkt 1–3) er opfyldt, går kapaciteten til at modellere \mathcal{X}_{\text{excl}} permanent tabt. - Codec’et kan ikke indefra detektere sit eget kapacitetstab (de tabte komponenter deltager ikke længere i genereringen af prædiktionsfejl), hvilket reproducerer T-12a’s påstand om ikke-identificerbarhed.

Den fulde formelle behandling findes i T-12; T-9 leverer den modalitetsspecifikke læsning af “irreversibel”, som T-12 Korrektion 1 kræver.

Korollar 7.2 — Handlingsdrift (T-13). Komponenter, der koder for adfærdsevaluerende kapacitet for ubrugte grene: - Har prædiktiv gevinst G_i(t, \tau) målt mod inputstrømmens faktisk realiserede grenudfald; hvis visse grene aldrig vælges, har evaluatorerne intet træningssignal. - Beskæringsbetingelsen udløses, når den ubrugte evaluators G_i falder under C_i - \epsilon. - Under Modalitet 5.4 beskæres evaluatoren permanent; codec’et bliver sikkert impotent i det tilsvarende handlingsdomæne.

T-13’s Proposition T-13.P1 (Handlingsdrift) er instansen på slægtslinjeskala (adfærdsrepertoire) af denne interne codec-mekanisme.

Krydshenvisning: Vedligeholdelsescyklus på slægtslinjeniveau. Appendiks T-15 §3 udvikler den strukturelle korrespondance mellem Vedligeholdelsescyklussen inden for et liv og fylogenetisk forfinelse. T-9’s fire beskæringsmodaliteter svarer henholdsvis til: midlertidig nicheskrumpning (5.1), slægtslinjedrift under lempet selektion (5.2), nicheerstatning (5.3) og slægtslinjeuddøen (5.4). Genopretningsbetingelserne (§6) svarer til fylogenetisk redundans: beskyttede refugier (1), økologisk reeksponering under nicherestaurering (2) og udviklingsmæssig reservekapacitet (3).

§8. Forholdet til hovedartiklens §3.6-ligninger

T-9 konsoliderer, ikke fortrænger. Ligningerne T9-1 til T9-13 i hovedartiklen (preprint §3.6.1–§3.6.6) bevares som citeret; T-9 introducerer yderligere formelle primitiver og præciseringer, der supplerer dem.

Nett nyt indhold i T-9: eksplicit definition af prædiktiv gevinst G_i(t,\tau) (§2); ressource-kapacitetsindramning som primær (§3 Form 3.1); beskæringsbetingelse i tærskelform med retentionsbuffer \epsilon (§4); fire beskæringsmodaliteter (§5); genvindingsbetingelse (§6); modalitetsspecifik læsning af T-12’s påstand om irreversibilitet (§7.1).

§9. Åbne kanter

Koordination med T-12’s reformulering af kanal-uafhængighed (fase 4). T-12 er i køen for appendiks-korrektioner (v0.4 §2.8) med henblik på en reformulering af betingelsen for kanal-uafhængighed: uafhængighed af filtreringsmekanismer, ikke signaler. T-9’s beskæringsbetingelse (§4) og genoprettelsesbetingelse (§6) er skrevet, så de koordinerer med denne reformulering, men T-12’s bevis for Teorem T-12 må genundersøges, når den reformulerede definition af kanal-uafhængighed er på plads. Mere specifikt: irreversibilitetspåstanden i T-12 §3.1 henviser i øjeblikket til T9-3 / T9-4; under v3.7.0-oprydningen bør den i stedet henvise til T-9’s tærskelform i §4 + modalitetsklassifikation i §5 + genoprettelsesbetingelse i §6, hvor irreversibilitetslæsningen begrænses til Modalitet 5.4 under tilfældet uden genoprettelsesbetingelse. Åben.

Afstemning af bogføringen mellem ressourcekapacitet og K-kompleksitet. §3 stiller begge former til rådighed, men udleder ikke deres kvantitative korrespondance. For nogle komponentklasser er de to tæt forbundne (C_i^{\text{params}} \sim K(\theta_i) inden for en konstant faktor for memorerede opslagstabeller, for eksempel); for andre divergerer de markant (kompositionel struktur, der deles på tværs af komponenter, giver besparelser i K-kompleksitet, som ressourcekapacitetsformen ikke indfanger). En afstemning i v3.7.0 eller senere er ønskelig. Åben.

Neutralitet i den virtuelle læsning (v3.6.21). Den fuldt virtuelle læsning af stående tilstande (hovedartiklen §8.6.1) genbeskriver Vedligeholdelsescyklus som egenskaber ved den filter-passerende strøm snarere end ved en kørende maskine, men omlagdeler ikke bogføringen i Form 3.1 / Form 3.2: Form 3.1 (ressourcekapacitet) forbliver primær for alle operationelle påstande, og T-12’s operative bevis fortsætter med at bruge den. Den strøm-native læsning af komprimerbarhed indgår kun som det fortolkningslag, der er bemærket i T-12 §3.1. K-additivitetsafstemningen ovenfor er det sted, hvor enhver fremtidig omlagdeltning mellem Formerne skulle argumenteres for — ikke den virtuelle læsning. Åben (må ikke sammenblandes med v3.7.0-oprydningen).

Empirisk kalibrering af \epsilon. Retentionsbufferen \epsilon i (T9.4-1) er en effektiv hyperparameter for beskæring. Empiriske biologiske værdier ville komme fra studier af neural beskæring (tærskler for synaptisk henfald, retentionsrater for dendritiske spines) eller fra Δ_self^op-asymptoteeksperimentet i prototypen opt-ai-subject. T-9 udleder ikke en specifik værdi. Åben.

Krydshenvisning til empiriske forudsigelser for Vedligeholdelsescyklus. Preprint §3.6.7 opregner empiriske forudsigelser for Vedligeholdelsescyklus (søvn / drøm / konsolidering). T-9’s fire beskæringsmodaliteter giver mere finmaskede forudsigelser: forudsigelsen om, at “REM-drømme uforholdsmæssigt ofte sampler grene med høj vigtighed” (preprint §3.6.5, Pass III), kan opdeles i modalitetsspecifikke forudsigelser om, hvilke typer repræsentationer der bevares af Modalitet 5.1 (vigtighedsvægtet retention mod beskæring) versus Modalitet 5.4 (hvor fraværet af grene med høj vigtighed i vågen erfaring fører til arkitektonisk sletning af den tilsvarende evaluator). Åben.

Dette appendiks vedligeholdes som en del af OPT-projektets repository side om side med opt-theory.md. Henvisninger til primitiverne for Vedligeholdelsescyklus i preprint §3.6 er bevaret; T-9 suppleres med eksplicit prædiktiv gevinst G_i (§2), ressourcekapacitetsomkostning (§3 Form 3.1), beskæringsbetingelse i tærskelform med retentionsbuffer \epsilon (§4), fire beskæringsmodaliteter (§5) og genoprettelsesbetingelser (§6). Henvisninger til korollarer: T-12 (Narrativ drift) §3.6.3; T-13 (Action-Drift) §6; T-15 (Fylogenetisk Stabilitetsfilter) §3.