Kenningin um raðaðan patch (OPT)

Upprunalegt verkefni T-9: Viðhaldshringur og endurheimtarkerfi Vandamál: Aðalgreinin §3.6.3–§3.6.6 skilgreinir jöfnurnar T9-1 til T9-13 (virkjann \mathcal{M}_\tau fyrir Viðhaldshring, MDL-snyrtingu \Delta_{\mathrm{MDL}}, samþjöppunarávinning \Delta K_{\text{compress}}, REM-mikilvægisvigtun w(b)). Viðaukar T-12 (Frásagnarrek) og T-13 (Aðgerðarrek) vísa til þessa kerfis sem burðarvirkis. Ramminn skortir samræmandi viðauka sem (i) nefnir hinar formlegu frumeiningar berum orðum, (ii) greinir á milli hinna fjögurra snyrtingarhátta sem \Delta_{\mathrm{MDL}} < 0 í aðalgreininni lætur ósagða, (iii) skilgreinir endurheimtarskilyrðið, og (iv) veitir stöðugt formlegt markmið sem afleiðingarviðaukarnir geta vísað til. T-9 fyllir það skarð. Afhending: Samræmandi viðauki á sama þekkingarstigi og T-2 / T-15 (formgerðarsamsvörun, ekki lokuð setningasönnun). Nýtt efni umfram aðalgreinina: skýr skilgreining á forspárávinningi G_i(t,\tau), sundurliðun viðhaldskostnaðar með auðlindaafkastagetu sem frumþætti, aðgreining fjögurra snyrtingarhátta, endurheimtarskilyrði, afleiðingakeðja.

Lokunarstaða: FORMGERÐARSAMSVÖRUN (sama stig og T-2 / T-15). Þessi viðauki er ekki viðauki með lokaðri setningasönnun. Hann samþættir kerfi Viðhaldshringsins sem þegar er virkt í forprentun §3.6 og bætir við fjórum atriðum af formlegu efni sem aðalgreinin ber ekki með sér: skýrum forspárávinningi, kostnaðarramma auðlindaafkastagetu, aðgreiningu fjögurra snyrtingarhátta og endurheimtarskilyrðum. Fyrirvarar §2 um OpenAI-yfirferð eru virtir: (i) snyrtingarþröskuldurinn er settur fram í því formi sem samræmist væntanlegri endursetningu T-12 á sjálfstæði rása (4. áfangi); (ii) núverandi jöfnur aðalgreinarinnar T9-3 / T9-4 eru varðveittar eins og til þeirra er vitnað, þar sem T-9 innleiðir fágun auðlindaafkastagetu sem viðbótarlag í formgerðinni fremur en að breyta hljóðlega þeim formum sem vísað er til; (iii) kostnaður auðlindaafkastagetu er frumþáttur, en K-flækjustig er nálgun á stigi formgerðarsamsvörunar. Ólokin atriði (§9): bókhald auðlindaafkastagetu gagnvart K-flækjustigi þarfnast fullrar samræmingar við T-12 þegar endursetning T-12 liggur fyrir.

§1. Uppsetning — Virkir líkanahlutar

Kóðarinn K_\theta samanstendur af safni virkra líkanahluta \{\theta_i\}_{i \in I}, þar sem hvert \theta_i er aðgengileg formgerðareining kóðarans — myndandi forlíkur, lærður einkennaskynjari, endurkvæmur stafli, langtengdur samtengingarkraftur eða hver önnur frumeining sem tekur þátt í að framleiða forspár kóðarans \pi_t og uppfærsluvirkjann \mathcal{U} yfir tíma. Safnið \{\theta_i\} er endanlegt á hverju gefnu augnabliki en getur stækkað með samþjöppun (Pass II, preprint §3.6.4) eða dregist saman með grisjun (Pass I, preprint §3.6.3).

Að því er varðar T-9 eru hlutarnir teknir sem gefnir: T-9 leiðir ekki af hverju það er sem gerir eitt \theta_i fremur en annað að „náttúrulegum“ hluta, enda er það spurning um framsetningarnám sem fellur utan verksviðs OPT. Tæki Viðhaldshringsins starfar á hvaða niðurbroti sem kóðarinn leyfir.

Virki Viðhaldshringsins \mathcal{M}_\tau (preprint Eq. T9-2) verkar á Fyrirbæraástandsþininn P_\theta(t) á tímabilum með lágu álagi (R_{\text{req}}(t) \ll C_{\max}). T-9 sundurgreinir hinar þrjár umferðir (grisjun, samþjöppun, sýnatöku úr Forspárgreinamengi) í skýrar formlegar frumeiningar í §2–§6 hér að neðan; afleiðingakeðjan í §7 rekur síðan Frásagnarrek (T-12) og Action-Drift (T-13) í gegnum þessar frumeiningar.

§2. Forspárforskot G_i(t, \tau)

Forspárforskot staks \theta_i yfir glugga af lengd \tau mælir hversu mikið það stak leggur til forspárframmistöðu kóðarans á inntaksstraumnum, að öðrum stökum föstum:

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

þar sem \theta_{-i} táknar afgang kóðarans án \theta_i, og I(\cdot ; \cdot \mid \cdot) er skilyrt gagnkvæm upplýsingar. Skilyrta framsetningin er nauðsynleg: hún einangrar jaðarlegt framlag \theta_i til forspár fremur en sameiginlegt framlag þess með skörunarsömum stökum.

Samanburður við jöfnu T9-3 í aðalgreininni. MDL-snyrtingarstærðin í aðalgreininni 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 nefnir fyrri liðinn sérstaklega G_i(t,\tau) svo hægt sé að vísa til frumsmíðinnar forspárforskots aðskilið frá snyrtingarskilyrðinu á þröskuldsformi. Þetta er eingöngu samræming táknmáls; ójöfnunni er haldið óbreyttri.

Gluggalengd \tau. Forspárforskotið veltur á gluggalengdinni. Stutt \tau fangar forspá á fínum tímakvarða (hreyfistýring, vinnsluminni); langt \tau fangar formgerðarlega forspá (merkingarfræðilegar reglufestur, frásagnarsamkvæmni). Snyrting í fyrsta áfanga Viðhaldshringsins er metin í langa-\tau sviðinu þar sem raunverulega gagnslaus stök hafa G_i \to 0. Samþjöppun í öðrum áfanga, hins vegar, bestar yfir stutta-\tau sviðið þar sem offramboð milli skörunarsamra staka verður áberandi.

§3. Viðhaldskostnaður C_i — frumgert út frá auðlindaafkastagetu

Viðhaldskostnaður staks \theta_i hefur tvær samrýmanlegar framsetningar.

Form 3.1 — Auðlindaafkastageta (frumgerð fyrir T-9). Kostnaður staksins er sú auðlindaafkastageta sem það tekur í rekstrarhvarfefni kóðarans:

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

þar sem fjárhagsrammarnir fjórir eru: stikaraufar (fjöldi vigta eða tenginga); minnisfótspor (í geymdum bitum); reiknikostnaður (í aðgerðum á hverjum hring); og rásargeta (bitafjöldi bandbreiddar sem stakið notar við Markov-teppismörkin \partial_R A). Hvert c_i er að meginstefnu til mælanlegt — fyrir líffræðilega kóðara með efnaskipta- og lífeðlisfræðilegum mælingum, fyrir gervikóðara með beinni tækjamælingu.

Form 3.2 — K-flækjustigsnálgun. Jafna T9-3 í aðalgreininni notar \lambda K(\theta_i) þar sem K(\theta_i) er forskeytt Kolmogorov-flækjustig staksins:

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

Þetta er nálgun byggð á formgerðarlegri samsvörun: K-flækjustig er efri-hálfreiknanlegt og ekki stranglega samlaganlegt milli staka (að eyða einu staki þarf ekki að stytta lengd stystu lýsingar um sjálfstætt K(\theta_i) þess, þar sem stök geta deilt formgerð). Framsetningin út frá auðlindaafkastagetu (T9.3-1) er því frumgerð fyrir rekstrarlegar fullyrðingar; K-flækjustigsframsetningin er haldið til haga fyrir fræðilegar greiningar þar sem samlagningarnálgunin er ásættanleg.

Hvers vegna tvær framsetningar. Yfirferð OpenAI á T-12 (minnisblað um leiðréttingar í viðauka, §2.8) benti réttilega á að K-flækjustig er ekki samlaganlegt milli staka og mælti með mælikvörðum á auðlindaafkastagetu fyrir rekstrarlegar fullyrðingar. T-9 tekur því auðlindaafkastagetu sem frumgerð en varðveitir K-flækjustigsframsetninguna vegna þess að núverandi jafna T9-3 í aðalgreininni og sönnun á Setningu T-12 í T-12 vísa báðar til K-flækjustigsframsetningarinnar. Fínstillingin með auðlindaafkastagetu er hreinlegri framsetningin fyrir §3.6.3 / §3.6.4 / T-12 / T-13 í hreinsunarlotu v3.7.0 eða síðar; T-9 gerir báðar framsetningar aðgengilegar svo unnt sé að framkvæma þá endanlegu hreinsun með samræmdum hætti fremur en að þurfa að lagfæra alla tilvísunarstaði samtímis.

Stilling \lambda. Í Formi 3.2 vegur stikan \lambda á milli forspárávinnings og flækjustigskostnaðar. Reynsla sýnir að \lambda breytist með geðhrifastandi — hátt |E(b)| (jafna T9-10 í forprentun) hækkar í reynd \lambda á staksstigi og gerir þar með stök sem bera geðhrifamerkingu ónæmari fyrir grisjun. Þetta er formleg skýring á aukinni styrkingu tilfinningaminna (forprentun §3.6.5, Pass III).

§4. Snyrtingarskilyrði — þröskuldsform

Snyrtingarskilyrðið notar þröskuldsformið fremur en strangt-jákvæðniformið í jöfnu T9-4 í aðalgreininni. Yfirferð OpenAI á T-12 (minnisblað um leiðréttingar í viðauka, §2.8 Leiðrétting 3) benti réttilega á að hið stranga skilyrði I = 0 fyrir snyrtingu er of brothætt: raunverulegir þættir hafa veikt óbeint forspárframlag jafnvel þegar aðalhlutverk þeirra í forspá er útilokað með síuðu inntaki.

Snyrtingarskilyrðið í þröskuldsformi:

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

þar sem \epsilon > 0 er lítill varðveislubúffer sem stillir hversu ágengur kóðarinn er í snyrtingu. Jafngild ójafnaform:

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}

Samanburður við jöfnu T9-4 í aðalgreininni. Aðalgreinin skrifar \Delta_{\mathrm{MDL}}(\theta_i) < 0 sem kveikju fyrir snyrtingu, sem samsvarar \epsilon = 0 — ströngu jafnvægismarki. T-9 alhæfir þetta með því að innleiða varðveislubúfferinn \epsilon, sem lýsir nákvæmar líffræðilegri snyrtingarvirkni (þar sem lítil forspárframlög eru varðveitt gagnvart skammvinnum suði) og ofurstikum fyrir snyrtingu í tilbúnum kóðurum (þar sem eyðing byggð á þröskuldi er staðalvenja).

Hið stranga jafnvægistilvik fæst aftur þegar \epsilon \to 0, þannig að form T-9 ógildir ekki þær tilvísanir í T9-4 sem þegar eru í T-12 og T-13; það alhæfir þær.

Afleiðing fyrir Frásagnarrek (krosstilvísun T-12). Undir síuðu inntaki X' = \mathcal{F}(X) með útilokaða merkinu \mathcal{X}_{\text{excl}} uppfylla þættir \theta_i, sem hafa forspárframlag eingöngu til \mathcal{X}_{\text{excl}}, skilyrðið G_i(t, \tau) \to 0 á síaða straumnum (vegna þess að mark þeirra er fjarverandi í hinu athugaða inntaki). Snyrtingarskilyrðið (T9.4-1) virkjar þá, vegna þess að 0 < C_i - \epsilon fyrir sérhvern jákvæðan kostnaðarþátt. Óafturkræfniniðurstaða setningar T-12 í T-12 leiðir af þessari virkjun ásamt aðgreiningunni milli fjögurra hátta í §5 hér að neðan.

§5. Fjórar grisjunaraðferðir

Grisjunaraðgerðin (T9.4-1) leyfir fjórar aðgreindar útfærslur í kóðaranum, með ólíka eiginleika hvað varðar afturkræfni. Þessi aðgreining skiptir máli fyrir endurheimtarskilyrðið (§6) og fyrir fullyrðinguna um óafturkræfni Frásagnarreks í T-12 Leiðréttingu 1 (minnisblað um appendix-corrections §2.8).

Aðferð 5.1 — Afturkræf bæling. Vægi úttaks þáttarins \theta_i er lækkað niður í núll (eða undir þátttökuþröskuld), en stikar og formgerð þáttarins haldast áfram geymd í kóðaranum. Endurheimt er einföld: endurvigtun endurreisir þáttinn. Þetta er aðgerðin sem liggur að baki hegðunarlegri slokknun í skilyrðingu (skilyrta svörunin veikist en sporið helst) og dropout-líkri reglun í tauganetum.

Aðferð 5.2 — Vægisrof. Stikar þáttarins rýrna samfellt í átt að sjálfgefnu ástandi undir reglunarþrýstingi \propto \lambda. Þættinum er ekki eytt en hann tapar tryggð; hlutabati er mögulegur ef sjálfgefna ástandið er upplýsingabært.

Aðferð 5.3 — Gleyming á framsetningu. Yfir stika þáttarins er skrifað af samkeppnisþáttum við samþjöppun (Pass II, preprint §3.6.4). Formgerðarhólfið helst, en hin sértæka framsetning glatast. Endurheimt krefst endurútsetningar fyrir viðeigandi inntaksstraumi í síðari Viðhaldshring og er aðeins hlutbundin (hin endurlærða framsetning er frábrugðin þeirri upprunalegu í fínkornóttum atriðum).

Aðferð 5.4 — Formgerðarleg grisjun. Bæði stikum þáttarins og formgerðarhólfi hans er eytt; formgerð kóðarans er minnkuð. Endurheimt er ómöguleg á stigi kóðarans — þátturinn verður að vaxa upp aftur frá grunni í gegnum fullan lærdómsatburð. Þetta er óafturkræfa aðferðin.

Flokkun aðferða undir síuðu inntaki. Fullyrðing T-12 Setningar T-12 um „óafturkræfni“ (eins og hún er sett fram í núverandi preprint) krefst Aðferðar 5.4 (formgerðarlegrar grisjunar) og útilokar Aðferðir 5.1–5.3. T-9 gerir þetta háð aðferð skýrt; v0.4 minnisblaðið um appendix-corrections §2.8 Leiðrétting 1 („óafturkræft ætti að vera skilyrt af engu vernduðu safni / engum replay buffer / engum ytri kennara / engri varaforðagetu í formgerð / áframhaldandi virkni undir sömu síu / grisjun er bókstafleg eyðing afkastagetu, ekki afturkræf bæling“) samræmist túlkun Aðferðar 5.4.

Raunverulegir líffræðilegir og gervilegir kóðarar sýna yfirleitt blöndu af aðferðum, þar sem Aðferð 5.4 er frátekin fyrir þætti sem eru grisjaðir viðvarandi yfir marga Viðhaldshringa. Umskiptin frá afturkræfri til óafturkræfrar grisjunar undir viðvarandi síuðu inntaki eru það formgerðarlega kerfi sem liggur að baki langvinnu Frásagnarreki (T-12).

§6. Endurheimtarskilyrði

Skorinn þáttur \theta_i er endurheimtanlegur ef til er ferli sem gerir kleift að færa hann aftur til virkrar þátttöku í kóðaranum. Líkur á endurheimt yfir endurheimtarglugga \tau_R eru:

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}

Fyrri liðurinn nær til afturkræfrar / að hluta afturkræfrar grisjunar (bælingar, þyngdarrýrnunar); síðari liðurinn nær til gleymdar á framsetningu og byggingarlegrar grisjunar, þar sem endurheimt krefst ytra inntaks.

Endurheimt er aðeins jákvæð ef að minnsta kosti eitt af þremur skilyrðum gildir:

1. Verndað minni. Kóðarinn varðveitir skjalsetta framsetningu á \theta_i í undirlagi sem hefur ekki verið grisjað (aðskilið skyndiminni, útgáfustýrð öryggisafrit, taugalífeðlisfræðilega verndað minni sem hefur verið samþjappað á annað svæði). Háttur 5.1 og 5.3 geta endurheimst við þetta skilyrði.

2. Ytri kennari / endurútsetning. Kóðarinn verður fyrir inntaksstraumum sem innihalda merkið \mathcal{X}_{\text{excl}} sem skorni þátturinn fylgdist upphaflega með. Virkt endurnám í síðari Viðhaldshringur Passa II endurbyggir þáttinn (með fyrirvörum um nákvæma tryggð í smáatriðum). Allir fjórir hættirnir geta endurheimst við þetta skilyrði yfir nægilega langan tíma, þótt Háttur 5.4 krefjist fullrar námslotu sambærilegrar við upphaflega tileinkun.

3. Byggingarlegur varaforði. Kóðarinn hefur formgerðarleg sæti sem ekki voru bundin við tiltekna þætti og er hægt að úthluta til að hýsa endurvaxna framsetningu. Þetta er það skilyrði sem gerir endurheimt Háttar 5.4 yfirleitt vélrænt mögulega.

Ef ekkert af (1), (2), (3) gildir, þá er P(\text{recover}\, \theta_i \mid \tau_R) = 0 fyrir öll \tau_R, og grisjunin er varanleg.

Skilyrði um tryggð við undirlag. Skilyrði um tryggð við undirlag í T-12 (Setning T-12b — offramboð \delta-óháðra inntaksrása sem fara yfir Markov-teppi) er hliðstæða (2) á ættarlínuskala: rásirnar tryggja að inntaksstraumurinn haldi áfram að innihalda það merki sem skiptir undirlagið máli, jafnvel undir síun af hálfu ytri kerfa \mathcal{F}. Endurheimtarskilyrði T-9 veitir útfærsluna innan kóðarans: verndaða þætti, endurspilunarbuffera, byggingarlegan varaforða.

§7. Afleiðingar — Frásagnarrek og athafnarek

Frumhugtök T-9 styðja tvær afleiðingakeðjur sem þróaðar eru í viðaukum T-12 og T-13.

Afleiðing 7.1 — Frásagnarrek (T-12). Við viðvarandi síað inntak X' = \mathcal{F}(X) sem útilokar merkið \mathcal{X}_{\text{excl}}: - Þeir þættir \theta_i sem hafa forspárávinning eingöngu á \mathcal{X}_{\text{excl}} hafa G_i(t, \tau) \to 0 á síaða straumnum. - Skurðarskilyrðið (T9.4-1) virkist yfir alla slíka þætti. - Ef skurðurinn er af gerð 5.4 (byggingarlegur) — sem ræður ríkjum við viðvarandi síun yfir marga Viðhaldshringa — og ekkert endurheimtarskilyrðanna (§6 liðir 1–3) gildir, glatast getan til að móta líkan af \mathcal{X}_{\text{excl}} varanlega. - Kóðarinn getur ekki greint eigin getumissi innan frá (glötuðu þættirnir taka ekki lengur þátt í myndun forspárvillu), sem endurframleiðir fullyrðingu T-12a um ógreinanleika.

Heildarformlega meðferðin er í T-12; T-9 leggur til þá lesningu á „óafturkræfu“ sem er sértæk fyrir þessa gerð og sem Leiðrétting 1 í T-12 krefst.

Afleiðing 7.2 — Athafnarek (T-13). Þættir sem kóða getu til hegðunarmats fyrir ónotaðar greinar: - Hafa forspárávinning G_i(t, \tau) mældan gagnvart raunverulega framgengnum greinaútkomum inntaksstraumsins; ef tilteknar greinar eru aldrei valdar, hafa matsþættirnir ekkert þjálfunarmerki. - Skurðarskilyrðið virkist þegar G_i ónotaða matsþáttarins fellur undir C_i - \epsilon. - Undir gerð 5.4 er matsþátturinn varanlega skorinn burt; kóðarinn verður öruggur en vanmáttugur á samsvarandi athafnasviði.

Setning T-13.P1 í T-13 (Athafnarek) er dæmið á ætternisskala (hegðunarskrá) um þetta innri kerfi kóðarans.

Krosstilvísun: Viðhaldshringur á ætternisstigi. Viðauki T-15 §3 þróar formlega samsvörun milli Viðhaldshrings innan æviskeiðs og þróunarfræðilegrar fínstillingar. Fjórar skurðargerðir T-9 varpast hver um sig á: tímabundna minnkun vistgerðar (5.1), ætternisrek undir slakaðri valþrýstingu (5.2), skipti um vistgerð (5.3) og útdauða ætternis (5.4). Endurheimtarskilyrðin (§6) varpast á þróunarfræðilega offramsetningu: vernduð athvörf (1), vistfræðilega endurútsetningu við endurreisn vistgerðar (2) og varagetu þroskunarkerfis (3).

§8. Tengsl við jöfnur í meginritinu §3.6

T-9 er samþættandi, ekki tilfærandi. Jöfnur meginritsins T9-1 til T9-13 (forútgáfa §3.6.1–§3.6.6) haldast óbreyttar eins og til þeirra er vísað; T-9 innleiðir viðbótar formleg frumatriði og fínstillingar sem bæta við þær.

Nýtt efni í T-9 í heild: skýr skilgreining á forspárávinningi G_i(t,\tau) (§2); kostnaðarrammi auðlinda-getu sem frumform (§3 Form 3.1); þröskuldsform skilyrðis fyrir snyrtingu með varðveislubiðminni \epsilon (§4); fjórir snyrtingarhættir (§5); skilyrði fyrir endurheimt (§6); háttbundinn lestur á fullyrðingu T-12 um óafturkræfni (§7.1).

§9. Opin jaðaratriði

Samræming við endurframsetningu T-12 á rásaróhæði (4. áfangi). T-12 er í biðröð viðauka-leiðréttinga (v0.4 §2.8) fyrir endurframsetningu á skilyrði rásaróhæðis: óhæði síunarkerfa, ekki merkja. Skurðarskilyrði T-9 (§4) og endurheimtarskilyrði (§6) eru sett fram til að samræmast þeirri endurframsetningu, en sönnun Setningar T-12 í T-12 þarf að endurskoða þegar hin endurframsetta skilgreining á rásaróhæði hefur verið innleidd. Nánar tiltekið: fullyrðingin um óafturkræfni í T-12 §3.1 vísar nú til T9-3 / T9-4; samkvæmt tiltektinni í v3.7.0 ætti hún að vísa til þröskuldsforms T-9 í §4 + flokkunar á háttum í §5 + endurheimtarskilyrðis í §6, með þeim fyrirvara að lestur um óafturkræfni takmarkist við Hátt 5.4 þegar um er að ræða tilvikið án endurheimtarskilyrðis. Opið.

Samræming bókhalds fyrir auðlindagetu og K-flækjustig. §3 gerir báðar myndir aðgengilegar en leiðir ekki af þeim megindlegt samsvar þeirra. Fyrir suma flokka eininga eru þessar tvær myndir nátengdar (C_i^{\text{params}} \sim K(\theta_i) innan fasts stuðuls fyrir utanáliggjandi uppflettitöflur sem hafa verið lagðar á minnið, til dæmis); fyrir aðra víkja þær skarpt hvor frá annarri (samsetningarbygging sem er sameiginleg milli eininga gefur sparnað í K-flækjustigi sem form auðlindagetu nær ekki að fanga). Æskilegt væri að slík samræming kæmi í v3.7.0 eða síðar. Opið.

Hlutleysi gagnvart sýndarlestri (v3.6.21). Túlkunin sem byggir á fullkomlega sýndarlegu varanlegu ástandi (aðalgrein §8.6.1) endurlýsir Viðhaldshringur sem eiginleikum straums sem stenst síuna fremur en keyrandi vél, en endurþrepar ekki bókhald Forms 3.1 / Forms 3.2: Form 3.1 (auðlindageta) er áfram frumform fyrir allar rekstrarlegar fullyrðingar, og virka sönnun T-12 heldur áfram að nota það. Strauminnbyggði samþjappanleikalestrinn kemur aðeins inn sem túlkunarlag það sem getið er um í T-12 §3.1. Samræmingin á K-samlagningu hér að ofan er sá staður þar sem hugsanleg endurþrepun Forma í framtíðinni yrði rökstudd — ekki sýndarlesturinn. Opið (ekki rugla þessu saman við tiltektina í v3.7.0).

Reynslubundin kvörðun á \epsilon. Varðveislubiðminnið \epsilon í (T9.4-1) er virkur ofurstiki fyrir skurð. Reynslubundin líffræðileg gildi myndu koma úr rannsóknum á taugaskurði (þröskuldum fyrir hrörnun taugamóta, varðveisluhlutföllum totugadda) eða úr tilrauninni með aðfærslu að markgildi Δ_self^op í opt-ai-subject frumgerðinni. T-9 leiðir ekki af sér tiltekið gildi. Opið.

Krosstenging við reynsluspár Viðhaldshringsins. Forprent §3.6.7 telur upp reynsluspár fyrir Viðhaldshringur (svefn / drauma / samþjöppun). Fjórir skurðarhættir T-9 gefa fínkornóttari spár: spáin um að „REM-draumar taki í óhóflegum mæli sýni úr greinum með mikla þýðingu“ (forprent §3.6.5, Pass III) sundrast í háttasértækar spár um hvaða tegundir framsetninga varðveitast með Hátti 5.1 (þýðingarvegin varðveisla gegn skurði) annars vegar og Hátti 5.4 hins vegar (þar sem fjarvera greina með mikla þýðingu í vökuupplifun leiðir til byggingarlegrar eyðingar samsvarandi matsaðila). Opið.

Þessum viðauka er viðhaldið sem hluta af geymslu OPT-verkefnisins samhliða opt-theory.md. Tilvísanir til frumeinda Viðhaldshringsins í forprenti §3.6 eru varðveittar; T-9 bætir við skýrum forspárábata G_i (§2), kostnaði auðlindagetu (§3 Form 3.1), skurðarskilyrði á þröskuldsformi með varðveislubiðminni \epsilon (§4), fjórum skurðarháttum (§5) og endurheimtarskilyrðum (§6). Tilvísanir í fylgisetningar: T-12 (Frásagnarrek) §3.6.3; T-13 (Aðgerðarrek) §6; T-15 (Þróunarfræðileg Stöðugleikasía) §3.