Sakārtotā patch teorija

Pielikums T-9: Apkopes cikls, MDL apgriešana un atjaunošanās nosacījumi

Anders Jarevåg

2026. gada 11. maijs | DOI: 10.5281/zenodo.19300777

Sākotnējais uzdevums T-9: Apkopes cikls un atjaunošanās aparāts Problēma: Pamatraksta §3.6.3–§3.6.6 definē vienādojumus T9-1 līdz T9-13 (Apkopes cikla operatoru \mathcal{M}_\tau, MDL apgriešanu \Delta_{\mathrm{MDL}}, konsolidācijas pieaugumu \Delta K_{\text{compress}}, REM svarīguma svēršanu w(b)). Pielikumi T-12 (Narativa dreifs) un T-13 (Darbības dreifs) atsaucas uz šo aparātu kā uz nesošu konstrukciju. Ietvaram trūkst konsolidējoša pielikuma, kas (i) skaidri nosauc formālos primitīvus, (ii) nošķir četras apgriešanas modalitātes, kuras pamatraksta \Delta_{\mathrm{MDL}} < 0 atstāj implicītas, (iii) definē atjaunošanās nosacījumu un (iv) nodrošina stabilu formālu mērķi, uz kuru var atsaukties korolārie pielikumi. T-9 aizpilda šo robu. Nodevums: Konsolidējošs pielikums tajā pašā epistemiskajā līmenī kā T-2 / T-15 (strukturāla atbilstība, nevis slēgta teorēma). Jauns saturs ārpus pamatraksta: eksplicīta prediktīvā pieauguma definīcija G_i(t,\tau), apkopes izmaksu dekompozīcija ar resursu-kapacitāti kā primāro, četru apgriešanas modalitāšu nošķīrums, atjaunošanās nosacījums, korolāru ķēde.

Noslēguma statuss: STRUKTURĀLA ATBILSTĪBA (tas pats līmenis kā T-2 / T-15). Šis pielikums nav slēgtas teorēmas pielikums. Tas konsolidē Apkopes cikla aparātu, kas jau darbojas priekšdrukas §3.6, un pievieno četrus formāla satura elementus, kurus pamatraksts neietver: eksplicītu prediktīvo pieaugumu, resursu-kapacitātes izmaksu ietvarojumu, četras apgriešanas modalitātes un atjaunošanās nosacījumus. Ir ievēroti §2 OpenAI pārskata brīdinājumi: (i) apgriešanas slieksnis ir izklāstīts formā, kas koordinējas ar T-12 gaidāmo kanālu neatkarības pārformulējumu (4. fāze); (ii) esošie pamatraksta vienādojumi T9-3 / T9-4 ir saglabāti citētajā formā, T-9 ieviešot resursu-kapacitātes precizējumu kā papildu formālu slāni, nevis klusējot mainot citētās formas; (iii) resursu-kapacitātes izmaksas ir primāras, bet K-sarežģītība ir strukturālās atbilstības aproksimācija. Atvērtās malas (§9): resursu-kapacitātes un K-sarežģītības uzskaites savstarpējai saskaņošanai nepieciešama pilnīga salāgošana ar T-12, tiklīdz stāsies spēkā T-12 pārformulējums.

§1. Iestatījums — aktīvā modeļa komponentes

Kodeks K_\theta sastāv no aktīvā modeļa komponenšu kopas \{\theta_i\}_{i \in I}, kur katra \theta_i ir adresējama kodeka strukturāla vienība — ģeneratīvs priors, iemācīts iezīmju detektors, rekursīvs slāņu steks, tāldarbīga sakabe vai jebkurš cits primitīvs, kas piedalās kodeka predikciju \pi_t un atjaunināšanas operatora \mathcal{U} veidošanā laika gaitā. Kopa \{\theta_i\} jebkurā dotajā brīdī ir galīga, taču to var paplašināt konsolidācijas ceļā (II pāreja, preprints §3.6.4) vai sašaurināt ar apgriešanu (I pāreja, preprints §3.6.3).

T-9 vajadzībām komponentes tiek pieņemtas kā dotas: T-9 neatvasina, kas padara vienu \theta_i atšķirībā no citas par “dabisku” komponenti, jo tas ir reprezentāciju mācīšanās jautājums ārpus OPT tvēruma. Apkopes cikla aparāts darbojas ar jebkuru dekompozīciju, ko kodeks pieļauj.

Apkopes cikla operators \mathcal{M}_\tau (preprints, vien. T9-2) iedarbojas uz Fenomenālā stāvokļa tenzoru P_\theta(t) zemas slodzes intervālos (R_{\text{req}}(t) \ll C_{\max}). T-9 izvērš trīs pārejas (apgriešanu, konsolidāciju, prediktīvā Zaru Kopuma paraugošanu) skaidri formulētos formālos primitīvos tālāk §2–§6; savukārt korolāru ķēde §7 pēc tam izseko Narativa dreifu (T-12) un Darbības dreifu (T-13) caur šiem primitīviem.

§2. Prediktīvais ieguvums G_i(t, \tau)

Komponentes \theta_i prediktīvais ieguvums logā ar garumu \tau mēra, cik lielā mērā šī komponente veicina kodeka prediktīvo veiktspēju ievades plūsmā, pieņemot, ka pārējās komponentes ir fiksētas:

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

kur \theta_{-i} apzīmē pārējo kodeka daļu bez \theta_i, bet I(\cdot ; \cdot \mid \cdot) ir nosacītā savstarpējā informācija. Nosacītā forma ir būtiska: tā izolē \theta_i marginālo prediktīvo ieguldījumu, nevis tā kopīgo ieguldījumu ar pārklājošām komponentēm.

Salīdzinājums ar galvenā raksta vienādojumu T9-3. Galvenā raksta MDL apgriešanas lielums ir

\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 pirmo locekli skaidri nosauc par G_i(t,\tau), lai uz prediktīvā ieguvuma primitīvu varētu atsaukties atsevišķi no sliekšņa formas apgriešanas nosacījuma. Tā ir tikai notācijas konsolidācija; nevienādība tiek saglabāta.

Loga garums \tau. Prediktīvais ieguvums ir atkarīgs no loga garuma. Īss \tau uztver prognozēšanu smalkā laika mērogā (motorā kontrole, darba atmiņa); garš \tau uztver strukturālu prognozēšanu (semantiskās regularitātes, naratīvā koherence). Apkopes cikla I pārejas apgriešana tiek vērtēta garāka \tau režīmā, kur patiesi nederīgām komponentēm ir G_i \to 0. Savukārt II pārejas konsolidācija optimizē īsāka \tau režīmā, kur kļūst izteikta redundance starp pārklājošām komponentēm.

§3. Apkopes izmaksas C_i — resursu kapacitāte kā primārais kritērijs

Komponentes \theta_i apkopes izmaksām ir divi savstarpēji saderīgi formulējumi.

Forma 3.1 — resursu kapacitāte (primārā T-9 vajadzībām). Komponentes izmaksas ir resursu kapacitāte, ko tā aizņem kodeka operacionālajā substrātā:

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

kur četri budžeti ir: parametru vietas (svaru vai savienojumu skaits); atmiņas nospiedums (uzglabātajos bitos); aprēķinu izmaksas (operācijās uz ciklu); un kanāla kapacitāte (joslas platuma biti, ko komponente patērē pie Markova segas robežas \partial_R A). Katrs c_i principā ir novērojams — bioloģiskiem kodekiem ar metabolisku un fizioloģisku mērījumu palīdzību, sintētiskiem kodekiem ar tiešu instrumentāciju.

Forma 3.2 — K-sarežģītības aproksimācija. Pamatraksta vienādojums T9-3 izmanto \lambda K(\theta_i), kur K(\theta_i) ir komponentes prefiksa Kolmogorova sarežģītība:

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

Tā ir strukturālās atbilstības aproksimācija: K-sarežģītība ir augšēji pusaprēķināma un nav stingri aditīva starp komponentēm (vienas komponentes dzēšana var nesamazināt īsākā apraksta garumu par tās patstāvīgo K(\theta_i), jo komponentes var dalīt kopīgu struktūru). Tādēļ operacionāliem apgalvojumiem primārā ir resursu kapacitātes forma (T9.3-1); K-sarežģītības forma tiek saglabāta teorētiskām analīzēm, kur aditivitātes aproksimācija ir pieņemama.

Kāpēc divas formas. OpenAI T-12 pārskatā (appendix-corrections memo §2.8) tika pamatoti norādīts, ka K-sarežģītība nav aditīva starp komponentēm, un operacionāliem apgalvojumiem tika ieteikti resursu kapacitātes mēri. T-9 pieņem resursu kapacitāti kā primāro, bet saglabā K-sarežģītības formu, jo gan esošais pamatraksta vienādojums T9-3, gan T-12 teorēmas T-12 pierādījums atsaucas uz K-sarežģītības formu. Resursu kapacitātes precizējums ir tīrākais formulējums §3.6.3 / §3.6.4 / T-12 / T-13 vajadzībām v3.7.0 vai jaunākas versijas sakārtošanas laidienā; T-9 padara pieejamas abas formas, lai turpmāko sakārtošanu varētu veikt saskaņoti, nevis prasot vienlaikus labot visas atsauču vietas.

\lambda noskaņošana. Formā 3.2 parametrs \lambda nosaka kompromisu starp prediktīvo ieguvumu un sarežģītības izmaksām. Empīriski novērots, ka \lambda mainās atkarībā no afektīvā stāvokļa — augsts |E(b)| (preprint vienādojums T9-10) komponentes līmenī efektīvi paaugstina \lambda, padarot afektīvi marķētas komponentes izturīgākas pret atzarošanu. Tas ir formālais skaidrojums emocionālās atmiņas pastiprinājumam (preprint §3.6.5, Pass III).

§4. Apgriešanas nosacījums — sliekšņa forma

Apgriešanas nosacījums izmanto sliekšņa formu, nevis pamatraksta vienādojuma T9-4 stingrās pozitivitātes formu. OpenAI veiktais T-12 pārskats (pielikuma labojumu memorands §2.8, labojums 3) pamatoti norādīja, ka stingrais I = 0 nosacījums apgriešanai ir pārāk trausls: reāliem komponentiem ir vājas netiešas prediktīvās kontribūcijas pat tad, ja to primārā prediktīvā loma ir izslēgta ar filtrētu ievadi.

Apgriešanas nosacījuma sliekšņa forma:

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

kur \epsilon > 0 ir neliels saglabāšanas buferis, kas regulē kodeka apgriešanas agresivitāti. Ekvivalentas nevienādības formas:

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}

Salīdzinājums ar pamatraksta vienādojumu T9-4. Pamatrakstā apgriešanas trigeris ir rakstīts kā \Delta_{\mathrm{MDL}}(\theta_i) < 0, kas atbilst \epsilon = 0 — stingram līdzsvara punktam. T-9 to vispārina, ieviešot saglabāšanas buferi \epsilon, kas precīzāk modelē bioloģiskās apgriešanas dinamiku (kur nelielas prediktīvās kontribūcijas tiek saglabātas, lai pasargātu no pārejoša trokšņa) un sintētisko kodeku apgriešanas hiperparametrus (kur uz slieksni balstīta dzēšana ir standarta pieeja).

Stingrais līdzsvara punkta gadījums tiek atgūts, ja \epsilon \to 0, tādēļ T-9 forma neatceļ esošās T9-4 atsauces T-12 un T-13; tā tās vispārina.

Implikācija Narativa dreifam (šķērsatsauce uz T-12). Filtrētas ievades X' = \mathcal{F}(X) apstākļos ar izslēgto signālu \mathcal{X}_{\text{excl}} komponenti \theta_i, kuru prediktīvā kontribūcija attiecas vienīgi uz \mathcal{X}_{\text{excl}}, filtrētajā plūsmā apmierina G_i(t, \tau) \to 0 (jo to mērķis novērotajā ievadē nav klātesošs). Tad iedarbojas apgriešanas nosacījums (T9.4-1), jo jebkuram pozitīvam izmaksu komponentam ir spēkā 0 < C_i - \epsilon. T-12 teorēmas T-12 neatgriezeniskuma rezultāts izriet no šīs iedarbināšanas kopā ar četru modalitāšu nošķīrumu zemāk esošajā §5.

§5. Četras apgriešanas modalitātes

Apgriešanas operācijai (T9.4-1) kodeksā ir četras atšķirīgas realizācijas, kurām piemīt atšķirīgas atgriezeniskuma īpašības. Šī atšķirība ir būtiska atjaunošanas nosacījumam (§6) un Narativa dreifa neatgriezeniskuma apgalvojumam T-12 korekcijā 1 (appendix-corrections memo §2.8).

Modalitāte 5.1 — Atgriezeniska nomākšana. Komponentes \theta_i izvades svērums tiek samazināts līdz nullei (vai zem dalības sliekšņa), taču komponentes parametri un struktūra paliek saglabāti kodeksā. Atjaunošana ir vienkārša: atkārtota svēruma piešķiršana atjauno komponenti. Šī ir operācija, kas ir pamatā uzvedības izdzišanai nosacīšanas procesā (nosacītā reakcija pavājinās, bet pēda saglabājas) un dropout tipa regularizācijai neironu tīklos.

Modalitāte 5.2 — Svaru sabrukums. Komponentes parametri regularizācijas spiediena \propto \lambda ietekmē nepārtraukti sabrūk virzienā uz noklusējuma stāvokli. Komponente netiek dzēsta, bet zaudē uzticamību; daļēja atjaunošana ir iespējama, ja noklusējuma stāvoklis ir informatīvs.

Modalitāte 5.3 — Reprezentacionāla aizmiršana. Komponentes parametri konsolidācijas laikā tiek pārrakstīti ar konkurējošām komponentēm (II pāreja, preprint §3.6.4). Strukturālā vieta saglabājas, bet konkrētā reprezentācija tiek zaudēta. Atjaunošanai nepieciešama atkārtota saskare ar attiecīgo ievades plūsmu nākamajā Apkopes ciklā, un tā ir daļēja (atkārtoti apgūtā reprezentācija smalkās detaļās atšķiras no sākotnējās).

Modalitāte 5.4 — Arhitektoniska apgriešana. Tiek dzēsti gan komponentes parametri, gan tās strukturālā vieta; kodeksa arhitektūra tiek samazināta. Atjaunošana kodeksa līmenī nav iespējama — komponente ir no jauna jāizaudzē no nulles pilnas mācīšanās epizodes gaitā. Šī ir neatgriezeniskā modalitāte.

Modalitāšu klasifikācija filtrētas ievades apstākļos. T-12 teorēmas T-12 “neatgriezeniskuma” apgalvojums (kā tas formulēts esošajā preprint versijā) prasa 5.4. modalitāti (arhitektonisku apgriešanu) un izslēdz 5.1.–5.3. modalitātes. T-9 šo atkarību no modalitātes padara eksplicītu; v0.4 appendix-corrections memo §2.8 korekcija 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”) atbilst 5.4. modalitātes lasījumam.

Reāli bioloģiski un sintētiski kodeksi parasti demonstrē modalitāšu maisījumu, kur 5.4. modalitāte ir rezervēta komponentēm, kas tiek noturīgi apgrieztas daudzu Apkopes ciklu gaitā. Pāreja no atgriezeniskas uz neatgriezenisku apgriešanu ilgstošas filtrētas ievades apstākļos ir strukturālais mehānisms, kas ir hroniska Narativa dreifa pamatā (T-12).

§6. Atjaunošanas nosacījums

Apgriezta komponente \theta_i ir atjaunojama, ja pastāv process, ar kura palīdzību to var atgriezt aktīvā līdzdalībā kodekā. Atjaunošanas varbūtība atjaunošanas logā \tau_R ir:

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}

Pirmais loceklis aptver atgriezenisku / daļēji atgriezenisku apgriešanu (nomākšanu, svaru dilšanu); otrais aptver reprezentacionālu aizmiršanu un arhitektonisku apgriešanu, kur atjaunošanai nepieciešams ārējs ievads.

Atjaunošana ir pozitīva tikai tad, ja ir spēkā vismaz viens no trim nosacījumiem:

  1. Aizsargāta atmiņa. Kodeks saglabā \theta_i arhivētu reprezentāciju neapgrieztā substrātā (atsevišķā kešatmiņā, versiju kontrolētā dublējumkopijā, neirofizioloģiski aizsargātā atmiņā, kas konsolidēta citā reģionā). Modalitātes 5.1 un 5.3 var tikt atjaunotas šajā nosacījumā.

  2. Ārējs skolotājs / atkārtota ekspozīcija. Kodeks tiek pakļauts ievades plūsmām, kas satur signālu \mathcal{X}_{\text{excl}}, kuru apgrieztā komponente sākotnēji izsekoja. Aktīva atkārtota iemācīšanās nākamā Apkopes cikla II pārejā no jauna izveido komponenti (ar atrunām par smalkgraudainu uzticamību). Visas četras modalitātes šajā nosacījumā var tikt atjaunotas pietiekamā laikā, lai gan Modalitātei 5.4 nepieciešama pilna mācīšanās epizode, kas salīdzināma ar sākotnējo apguvi.

  3. Arhitektoniskā rezerve. Kodekam ir strukturālas vietas, kas nav piesaistītas konkrētām komponentēm un kuras var piešķirt, lai tajās izvietotu no jauna ataudzēto reprezentāciju. Tas ir nosacījums, pie kura Modalitātes 5.4 atjaunošana vispār ir mehāniski iespējama.

Ja nav spēkā neviens no (1), (2), (3), tad P(\text{recover}\, \theta_i \mid \tau_R) = 0 visiem \tau_R, un apgriešana ir pastāvīga.

Substrāta uzticamības nosacījums. T-12 Substrāta uzticamības nosacījums (teorēma T-12b — \delta-neatkarīgu ievades kanālu redundance, kas šķērso Markova segu) ir (2) analoģija ciltslīnijas mērogā: kanāli nodrošina, ka ievades plūsma turpina saturēt substrātam relevanto signālu pat tad, ja to filtrē ārējie mehānismi \mathcal{F}. T-9 atjaunošanas nosacījums sniedz īstenojumu kodeka iekšienē: aizsargātas komponentes, atkārtojuma buferi, arhitektoniskā rezerve.

§7. Korolāri — Narativa dreifs un darbības dreifs

T-9 primitīvi atbalsta divas korolāru ķēdes, kas izstrādātas pielikumos T-12 un T-13.

Korolārs 7.1 — Narativa dreifs (T-12). Pie ilgstošas filtrētas ievades X' = \mathcal{F}(X), kas izslēdz signālu \mathcal{X}_{\text{excl}}: - Komponentēm \theta_i, kuru prediktīvais ieguvums ir ekskluzīvi attiecināms uz \mathcal{X}_{\text{excl}}, filtrētajā plūsmā ir G_i(t, \tau) \to 0. - Atzarošanas nosacījums (T9.4-1) iedarbojas visās šādās komponentēs. - Ja atzarošana notiek modalitātē 5.4 (arhitektoniskā) — kas dominē pie ilgstošas filtrēšanas daudzu Apkopes ciklu gaitā — un nav spēkā neviens no atjaunošanās nosacījumiem (§6, 1.–3. punkts), spēja modelēt \mathcal{X}_{\text{excl}} tiek zaudēta neatgriezeniski. - Kodeks nespēj no iekšienes konstatēt pats savu kapacitātes zudumu (zaudētās komponentes vairs nepiedalās prognozes kļūdas ģenerēšanā), tādējādi reproducējot T-12a neidentificējamības apgalvojumu.

Pilns formālais izklāsts ir T-12; T-9 nodrošina modalitātei specifisko jēdziena “neatgriezenisks” lasījumu, ko pieprasa T-12 korekcija 1.

Korolārs 7.2 — Darbības dreifs (T-13). Komponentes, kas kodē uzvedības novērtēšanas kapacitāti neizmantotiem zariem: - Tām prediktīvais ieguvums G_i(t, \tau) tiek mērīts attiecībā pret ievades plūsmas faktiski realizētajiem zaru iznākumiem; ja noteikti zari nekad netiek atlasīti, novērtētājiem nav apmācības signāla. - Atzarošanas nosacījums iedarbojas, kad neizmantotā novērtētāja G_i nokrītas zem C_i - \epsilon. - Modalitātē 5.4 novērtētājs tiek neatgriezeniski atzarots; kodeks kļūst pārliecinoši impotents attiecīgajā darbības domēnā.

T-13 propozīcija T-13.P1 (Darbības dreifs) ir šī iekšējā kodeksa mehānisma piemērs līnijas mērogā (uzvedības repertuāra mērogā).

Šķērsatsauce: līnijas līmeņa Apkopes cikls. Pielikuma T-15 §3 izstrādā strukturālo atbilstību starp dzīves ietvaros notiekošo Apkopes ciklu un filoģenētisko pilnveidi. T-9 četras atzarošanas modalitātes attiecīgi atbilst: īslaicīgai nišas reducēšanai (5.1), līnijas dreifam pie atslābinātas atlases (5.2), nišas aizstāšanai (5.3) un līnijas izmiršanai (5.4). Atjaunošanās nosacījumi (§6) atbilst filoģenētiskajai redundancei: aizsargātas refūģijas (1), ekoloģiska atkārtota ekspozīcija nišas atjaunošanas apstākļos (2) un attīstības rezerves kapacitāte (3).

§8. Attiecības ar pamatraksta §3.6 vienādojumiem

T-9 konsolidē, nevis aizstāj. Pamatraksta vienādojumi T9-1 līdz T9-13 (priekšdrukas §3.6.1–§3.6.6) tiek saglabāti, kā citēts; T-9 ievieš papildu formālus primitīvus un precizējumus, kas tos papildina.

Pamatraksts T-9
T9-1 (K(P_\theta(t)) \le C_{\text{ceil}}) — kopējās sarežģītības augšējā robeža §1 uzstādījums
T9-2 (\mathcal{M}_\tau : P_\theta(t) \to P_\theta(t + \tau)) — Apkopes cikla operators §1 uzstādījums
T9-3 (\Delta_{\mathrm{MDL}}(\theta_i) = I(\theta_i; X \mid \theta_{-i}) - \lambda K(\theta_i)) — MDL apgriešanas lielums §2 prediktīvais ieguvums G_i + §3 apkopes izmaksas C_i (Forma 3.2 K-aproksimācija)
T9-4 (Apgriezt, ja \Delta_{\mathrm{MDL}} < 0) — apgriešanas nosacījums §4 sliekšņa forma (T9.4-1 ar \epsilon \to 0)
T9-5 (Landauera apgriešanas izmaksas) — termodinamiskā apakšrobeža §5 modalitātes atkarība (neatgriezeniskums attiecas uz modalitāti 5.4)
T9-6 (\Delta K_{\text{prune}}) — apgriešanas kapacitātes atjaunošana §3 + §5 (resursu-kapacitātes forma padara uzskaiti aditīvu pāri modalitātēm)
T9-7 / T9-8 (\Delta K_{\text{compress}}) — konsolidācijas ieguvums §1 uzstādījums (II pāreja) — T-9 atkārtoti neatvasina konsolidāciju
T9-9 / T9-10 (w(b), E(b)) — REM nozīmīguma svēršana §3 (\lambda afektīvā regulēšana) — T-9 atkārtoti neatvasina REM paraugošanu
T9-11 — REM paraugošanas sadalījums nemainīts — T-9 atkārtoti neatvasina III pāreju
T9-12 / T9-13 — neto sarežģītības budžets §1 uzstādījums — T-9 resursu-kapacitātes forma precizē budžeta uzskaiti

Būtiski jaunais T-9: eksplicīta prediktīvā ieguvuma G_i(t,\tau) definīcija (§2); resursu-kapacitātes izmaksu ietvars kā primārais (§3 Forma 3.1); sliekšņa formas apgriešanas nosacījums ar saglabāšanas buferi \epsilon (§4); četras apgriešanas modalitātes (§5); atjaunošanas nosacījums (§6); T-12 neatgriezeniskuma apgalvojuma modalitātei specifisks lasījums (§7.1).

§9. Atvērtās malas

Koordinācija ar T-12 kanālu neatkarības pārformulējumu (4. fāze). T-12 atrodas pielikuma labojumu rindā (v0.4 §2.8), lai pārformulētu kanālu neatkarības nosacījumu: neatkarība attiecas uz filtrēšanas mehānismiem, nevis signāliem. T-9 apgriešanas nosacījums (§4) un atjaunošanās nosacījums (§6) ir formulēti tā, lai saskaņotos ar šo pārformulējumu, taču T-12 teorēmas T-12 pierādījums būs jāpārskata no jauna, tiklīdz būs ieviesta pārformulētā kanālu neatkarības definīcija. Konkrēti: neatgriezeniskuma apgalvojums T-12 §3.1 pašlaik atsaucas uz T9-3 / T9-4; v3.7.0 sakārtošanas ietvarā tam būtu jāatsaucas uz T-9 §4 sliekšņa formu + §5 modalitāšu klasifikāciju + §6 atjaunošanās nosacījumu, turklāt neatgriezeniskuma lasījums jāierobežo ar 5.4 modalitāti gadījumā bez atjaunošanās nosacījuma. Atvērts.

Resursu kapacitātes un K-sarežģītības uzskaites saskaņošana. §3 padara pieejamas abas formas, bet neatvasina to kvantitatīvo atbilstību. Dažām komponentu klasēm abas ir cieši saistītas (C_i^{\text{params}} \sim K(\theta_i) konstanta koeficienta robežās, piemēram, iegaumētām uzmeklēšanas tabulām); citām tās krasi atšķiras (kompozicionāla struktūra, kas koplietota starp komponentēm, dod K-sarežģītības ietaupījumus, kurus resursu kapacitātes forma neuztver). Būtu vēlams saskaņojums v3.7.0 vai vēlākā versijā. Atvērts.

Virtuālā lasījuma neitralitāte (v3.6.21). Pilnībā virtuālais stāvošā stāvokļa lasījums (pamatraksts §8.6.1) pārapraksta Apkopes ciklu kā filtru izturējušās plūsmas īpašības, nevis kā darbojošos mašīnu, taču tas nepārkārto Formas 3.1 / Formas 3.2 uzskaiti pa līmeņiem: Forma 3.1 (resursu kapacitāte) paliek primārā visiem operacionālajiem apgalvojumiem, un T-12 operatīvais pierādījums turpina to izmantot. Plūsmai imanentais saspiežamības lasījums ienāk tikai kā interpretatīvais slānis, kas atzīmēts T-12 §3.1. Iepriekš minētā K-aditivitātes saskaņošana ir vieta, kur būtu jāargumentē jebkāda turpmāka Formu pārkārtošana pa līmeņiem — nevis virtuālais lasījums. Atvērts (nejaukt ar v3.7.0 sakārtošanu).

\epsilon empīriskā kalibrācija. Saglabāšanas buferis \epsilon formulā (T9.4-1) ir efektīvs apgriešanas hiperparametrs. Empīriskās bioloģiskās vērtības nāktu no neirālās apgriešanas pētījumiem (sinaptiskās degradācijas sliekšņi, dendrītisko muguriņu saglabāšanas rādītāji) vai no Δ_self^op asimptotas eksperimenta opt-ai-subject prototipā. T-9 neatvasina konkrētu vērtību. Atvērts.

Šķērssaite uz Apkopes cikla empīriskajām prognozēm. Preprinta §3.6.7 uzskaita Apkopes cikla empīriskās prognozes (miegs / sapņi / konsolidācija). T-9 četras apgriešanas modalitātes sniedz smalkāk diferencētas prognozes: prognoze, ka “REM sapņi nesamērīgi bieži iztver augstas nozīmības zarus” (preprints §3.6.5, Pass III), sadalās modalitātei specifiskās prognozēs par to, kāda veida reprezentācijas tiek saglabātas ar 5.1 modalitāti (nozīmības svērtā saglabāšana pret apgriešanu) salīdzinājumā ar 5.4 modalitāti (kur augstas nozīmības zaru neesamība nomoda pieredzē noved pie atbilstošā vērtētāja arhitektoniskas dzēšanas). Atvērts.


Šis pielikums tiek uzturēts kā daļa no OPT projekta repozitorija līdzās opt-theory.md. Atsauces uz Apkopes cikla primitīviem preprinta §3.6 ir saglabātas; T-9 to papildina ar eksplicītu prediktīvā ieguvuma G_i formulējumu (§2), resursu kapacitātes izmaksām (§3 Forma 3.1), sliekšņa formas apgriešanas nosacījumu ar saglabāšanas buferi \epsilon (§4), četrām apgriešanas modalitātēm (§5) un atjaunošanās nosacījumiem (§6). Korolāru atsauces: T-12 (Narativa dreifs) §3.6.3; T-13 (Action-Drift) §6; T-15 (Filoģenētiskais Stabilitātes filtrs) §3.