Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

I1302 — Identita, původ a úroveň podpory jsou typovaná pole, ne próza

Definovat model záznamu, který nese každá synchronizovaná položka: identitu v upstreamu, lokální identitu, hash obsahu, transport, který ji přinesl, způsob získání, úroveň podpory a náhrobek, jako verzované schéma, dříve než jakýkoli adaptér zapíše jediný bajt.

PŘIPRAVENO vlna 1 · p0 · profil deep-work · bezpečné paralelně

Součást external-workspaces — Externí pracovní prostor se čte stejně jako cokoli jiného v tomto repozitáři a jeho obsah se nikdy nestane veřejným omylem.

Připraveno. Všechny závislosti jsou hotové, takže majordomus plan start I1302 bude přijato.

Cíl

Definovat model záznamu, který nese každá synchronizovaná položka: identitu v upstreamu, lokální identitu, hash obsahu, transport, který ji přinesl, způsob získání, úroveň podpory a náhrobek, jako verzované schéma, dříve než jakýkoli adaptér zapíše jediný bajt.

Proč

Balík, z něhož tento milník vzešel, má v jedné věci především pravdu: surové pozorování, normalizovaná entita a odvozená znalost jsou tři různé věci a korpus, který je zaměňuje, nelze znovu synchronizovat, znovu zkontrolovat ani mu věřit. Název není identita. Záznam, který neříká, jak byl získán, nelze odlišit od odhadu.

Aktuální stav

Nic neexistuje. Vlastní druhy repozitáře počítají identitu generický z deklarovaných polí (index.rs identity_of) a tento mechanismus lokální obsah nezasahuje.

Cílový stav

Jedno verzované schéma popisuje synchronizovaný záznam: `upstream_id` tak, jak ho dal dodavatel, lokální identitu odvozenou z dodavatele a upstream id a nikdy z názvu, hash obsahu nad normalizovaným tělem, `transport` (official, browser, private_http), `acquisition` (push, stream, websocket, browser_observed, poll), `support` (official, browser_observed, private, derived), razítka first-seen a last-seen a tombstone, který označí záznam smazaný upstream, místo aby ho smazal.

Rozsah

  • share/schemas
  • dokumentace

Mimo rozsah

  • Jakákoli implementace adaptéru nebo transportu
  • Jakékoli pole specifické pro dodavatele; vlastní tvar ChatGPT je I1307
  • Umístění souboru schématu pod share/schemas/ dříve, než ho něco čte. Doktrína schema-integrity odmítá schéma, které nic neuplatňuje, a záznam workspace nic nečte, dokud neexistuje syncer (I1306) nebo schopnost čtečky (I1308), takže soubor přistane ve stejné změně jako jeho první čtenář, ne před ním.

Závislosti

Co na tom čeká

Kritéria přijetí

  • Lokální identita je reprodukovatelná jen z identity dodavatele a upstreamu a nikdy nezávisí na zobrazovaném názvu
  • Každý záznam uvádí svůj transport, způsob získání a úroveň podpory jako výčtové hodnoty
  • Hash obsahu odliší změněný záznam od znovu pozorovaného
  • Záznam, který zmizel z upstreamu, se označí náhrobkem s razítkem, nikdy se tiše neodstraní
  • Schéma nese verzi a neznámá verze se odmítne, nikoli parsuje

Validace

  • bash test/run.sh
  • majordomus generate --check

Požadované důkazy

  • identity_reproducible
  • provenance_typed
  • tombstone_semantics
  • schema_versioned

Důkazy

Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.

Riziko

Přemodelování. Výčty musí být takové, podle kterých spotřebitel skutečně větví; taxonomie, kterou nikdo nečte, je náklad bez čtenáře.

Časová osa

zahájeno
—
ověřeno
—
dokončeno
—

Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.

Kanonický záznam: .ai/repo/project/issues/I1302.yaml. Načtěte ho zpět pomocí majordomus plan show I1302.

Prohledává názvy a popisy všech stránek, které tento web publikuje.