Athroniaeth ddylunio: ffynhonnell ganolog, cyflwr deilliedig
Athroniaeth ddylunio’r AI OS: un ffynhonnell ganolog o wirionedd, cyflwr deilliedig, wedi’i chymhwyso ar draws y pedair cydran.
Yn y Charter, haen ganonaidd y system, y mae’r egwyddor a ddisgrifir ar y dudalen hon yn byw. Gwaith y dudalen hon yw dangos sut mae’r egwyddor yn chwarae allan ar draws y pedair cydran, nid ei hailddatgan.
Y rheol ddigyfnewid
Mae pob ffaith yn y system yn byw mewn un man, ac un man yn unig. Golwg ddeilliedig o’r cartref canonaidd hwnnw yw pob arwyneb arall sy’n datgan y ffaith.
Mae’r cofnod charter yn ei ddweud fel hyn:
Triniwch bob "maniffest o wirionedd" y mae’r prosiect yn dibynnu arno fel un ffynhonnell ganonaidd. Golwg ddeilliedig yw pob arwyneb cyhoeddus sy’n datgan y ffaith honno, ac fe ddylai ail-ddeillio’i hun o’r ffynhonnell ganonaidd ar adeg adeiladu, neu fethu’n swnllyd pan fydd wedi dargyfeirio.
Y gwrthwyneb yw’r modd methu: pan fydd ffaith yn byw mewn dau le, dargyfeirio yw’r cyflwr sefydlog. Bydd y ddau gopi’n anghytuno o fewn wythnosau. Pa un bynnag a ddarllenwch gyntaf yw’r un a gredwch. Mae’r system yn dweud celwydd yn dawel.
Beth mae "golwg ddeilliedig" yn ei olygu’n ymarferol
Golwg ddeilliedig yw unrhyw beth sy’n crynhoi, yn mynegeio, yn ailddatgan neu’n aralleirio cynnwys sy’n eiddo i rywle arall:
- README sy’n rhestru "y sgiliau yr ydym yn eu cyflwyno": wedi’i ddeillio o ffeil ddiffinio pob sgil ei hun
- Dec sleidiau sy’n esbonio rhaglen: wedi’i ddeillio o nodyn yn yr Archive
- Tudalen HTML ar async-digital.com: wedi’i deillio o’r daflen arddull a rennir a’r cysonion brand canonaidd
- Mynegai y tu mewn i ffolder yn yr Archive: wedi’i ddeillio o ddisgrifiad pob nodyn ei hun
- Adroddiad cwmpas dogfennaeth: wedi’i ddeillio o ddatganiad pob artefact ei hun
Nid yw golygon deilliedig yn ddrwg. Mae gan yr Archive ddwsinau ohonynt. Maent yn ddefnyddiol am eu bod yn crynhoi. Dim ond pan ddônt yn ffynhonnell y gwirionedd y maent yn beryglus. Ac maent yn tueddu i wneud hynny, am mai nhw yw’r arwyneb cyfleus i’w olygu.
Y rheol, felly: golygwch y ffynhonnell ganonaidd â llaw; ailgynhyrchwch y golwg ddeilliedig. Byth y gwrthwyneb.
Sut mae hyn yn gymwys i bob cydran
Charter
Mae’r Charter yn ganonaidd, drwy ddiffiniad. Ef yw’r arwyneb â’r flaenoriaeth uchaf yn y system; mae popeth arall yn deillio ohono, neu’n esgus gwneud.
Y canlyneb: mae newidiadau i ddisgyblaeth yn glanio yn y Charter yn gyntaf. Mae cofnodion cof (golygon deilliedig o’r Charter ar gyfer chwilio cyflym) yn diweddaru wedyn, yn aml fel pwyntyddion sy’n cysylltu â rhyddiaith y Charter yn hytrach na’i chopïo.
Ail ganlyneb: os yw cofnod cof yn anghytuno â’r Charter, y cof sy’n hen. Ymddiriedwch yn y Charter.
Executive
Mae’r Executive yn gweithredu’r Charter. Mae pob bachyn, asiant a sgil yn cyfeirio at y cofnod charter y mae’n ei orfodi.
Ni ddylai’r Executive gynnwys athrawiaeth; gorfodaeth weithredadwy o athrawiaeth y mae’n ei chynnwys. Os bydd bachyn yn dechrau amgodio rheol nad yw yn y Charter, mae’r rheol yn glanio yn y Charter yn gyntaf. Fel arall, y bachyn yw ffynhonnell y gwirionedd ac mae’r Charter yn llusgo ar ei ôl.
Enghraifft ddiweddar: cadarnhawyd y cytundebau ar gyfer cydamseredd sgiliau a chwmpas dogfennaeth yn y Charter cyn ysgrifennu’r bachau sy’n eu gorfodi. Y cytundeb sy’n ganonaidd; gorfodaeth ddeilliedig yw’r bachau.
Archive
Cyflwr hirdymor yw’r Archive gan mwyaf, nid athrawiaeth. Mae nodiadau’n cipio cyd-destun prosiect (cynlluniau rhaglen, logiau dyddiol, syniadau wedi’u cipio), nid rheolau digyfnewid.
Ond mae’r Archive yn llawn golygon deilliedig: mynegeion ffolderi, amlinelliadau rhaglen sy’n crynhoi tocynnau, gwaelodlinau archwiliadau sy’n crynhoi allbwn sganiau. Yma y mae’r rheol synthesis-yn-ddeilliedig yn taro galetaf: peidiwch byth â gadael i grynodeb ddod yn gofnod. Ciplun yw gwaelodlin archwiliad, nid cytundeb; ail-redwch yr archwiliad i weld y cyflwr presennol.
Gweinydd MCP
Y gweinydd MCP yw’r API ar ben yr Archive. Nid yw’n storio nac yn datgan dim y tu hwnt i’r hyn y mae’r Archive yn ei gynnwys; mae ymholiadau’n dychwelyd cyflwr byw.
Pan fydd y gweinydd yn dychwelyd crynodeb, golwg ddeilliedig o’r nodiadau gwaelodol yw’r crynodeb hwnnw: defnyddiol ar gyfer prompt yr asiant sy’n galw, ond nid yn awdurdodol. Os cewch eich hun yn dibynnu ar y crynodeb fel gwirionedd, rydych wedi taro’r modd methu; darllenwch y nodiadau gwaelodol.
Modd methu ar waith: dargyfeirio ar draws dau gopi
Senario dargyfeirio y mae’r system wedi’i daro mewn gwirionedd, sawl gwaith:
- Mae rheol yn glanio yn y Charter (dyweder, "peidiwch byth â golygu ar main; canghennwch oddi arno").
- Caiff y rheol ei chadw fel cofnod cof fel ei bod yn llwytho ar eiriau allweddol perthnasol.
- Fisoedd yn ddiweddarach, caiff y cofnod charter ei fireinio.
- Ni chaiff y cofnod cof ei ddiweddaru. Bellach mae’r cof a’r Charter yn anghytuno.
- Y cof sy’n cyrraedd cyd-destun yr asiant yn gyntaf (caiff ei lwytho yn ôl geiriau allweddol). Mae’r asiant yn dilyn yr hen gof; caiff y mireiniad ei osgoi.
Y trwsiad: pan fydd rheol hollbwysig yn newid, archwiliwch y cofnodion cof sy’n pwyntio ati. Y trwsiad sy’n atal ailadrodd: ysgrifennwch gofnodion cof fel pwyntyddion at y Charter, nid copïau ohono. Mae’r cofnod yn dweud ble mae’r rheol fyw’n byw; mae’r rheol ei hun yn aros mewn un man, a glanio yno y mae diweddariadau.
Modd llwyddo ar waith: datganiadau’n ganonaidd, gorfodaeth yn ddeilliedig
Mae’r cytundeb cydamseredd sgiliau yn enghraifft ddiweddar o gael hyn yn iawn o’r cychwyn:
- Nid yw rhestr y sgiliau sy’n addasu’r Archive wedi’i chodio’n galed yn unman.
- Mae pob sgil o’r fath yn datgan y ffaith yn ei diffiniad ei hun.
- Mae’r clo sy’n eu trefnu yn darllen datganiad pob sgil ar adeg rhedeg ac yn gweithredu arno.
- Un golygiad un llinell ar y sgil ei hun yw ychwanegu sgil newydd o’r fath; nid oes dim arall yn newid.
Caiff y set o sgiliau gwarchodedig ei deillio o’r datganiadau ar y sgiliau eu hunain. Nid oes cofrestr ganolog i’w chynnal. Nid oes man i anghofio’i ddiweddaru.
Mae’r un patrwm yn ailadrodd ar gyfer cwmpas dogfennaeth: mae’r archwiliad yn darllen datganiad pob artefact ei hun yn hytrach na rhestr a gynhelir â llaw.
Lle mae’r egwyddor hon yn brifo
Tri man lle mae’r egwyddor yn costio mwy nag y mae’n ei arbed, a lle mae gwyriadau bwriadol yn byw:
- Mae cofnodion cof yn dyblygu darnau bach o’r Charter. Mae cofnod pwyntydd yn costio naid ychwanegol i lwytho’r Charter; mae rhai cofnodion yn copïo’r rheol i mewn beth bynnag. Mae archwiliadau’n dal dargyfeirio o bryd i’w gilydd.
- Mae rheolau llwytho-awtomatig wedi’u canoli. Gallai pob sgil ddatgan ei sbardunau llwytho ei hun; heddiw maent yn byw mewn un ffeil ganolog. Mae’r set yn ddigon sefydlog fel bod cost y canoli’n isel.
- Nodiadau synthesis yn yr Archive. Mae amlinelliadau rhaglen yn crynhoi cyrff tocynnau. Y synthesis yw’r arwyneb cyfleus; cyrff y tocynnau yw’r cartref canonaidd. Caiff y rheol ei gorfodi’n gymdeithasol.
Mae’r gwyriadau hyn yn rhai ymwybodol. Nid yr un peth â dargyfeirio mohonynt. Gwyriadau wedi’u dogfennu oddi wrth yr egwyddor ydynt, a dderbynnir am resymau cost.
Ble i ddarllen nesaf
- Athroniaeth weithredu: yr agweddau y mae’r Executive yn eu hamgodio
- Methodoleg: sut caiff dogfennau a golygon deilliedig eu cynhyrchu a’u cadw’n ffres