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.

I0802 — Specifikovat záznam relace dřív, než se nějaký zapíše

Definovat objekt relace v docs/SCHEMAS.md a docs/CONTINUITY.md: co relace je, čím se liší od úlohy a od předávky, gramatika názvu souboru uzavřeného záznamu, přesný seznam polí, která pole se počítají z gitu, a pravidlo, že obálka odkazů se odvozuje, nikoli akumuluje.

HOTOVO vlna 0 · p1 · profil deep-work · bezpečné paralelně

Součást M003 — Relace je trvalá obálka a znalost se kompiluje z toho, co už je kanonické.

Cíl

Definovat objekt relace v docs/SCHEMAS.md a docs/CONTINUITY.md: co relace je, čím se liší od úlohy a od předávky, gramatika názvu souboru uzavřeného záznamu, přesný seznam polí, která pole se počítají z gitu, a pravidlo, že obálka odkazů se odvozuje, nikoli akumuluje.

Proč

Každý další úkol v tomto milníku tento soubor zapisuje nebo čte. Specifikovat ho po implementaci je cesta, jak schéma skončí popisem jednoho volajícího. Rozlišení, které musí přežít, je to, na kterém celý milník stojí: úloha je jednotka práce, relace je epizoda provádění a předávka je záměrný balíček pro toho, kdo pokračuje — tři objekty, které se snadno a draze zaměňují.

Aktuální stav

docs/CONTINUITY.md jmenuje šest druhů trvalých záznamů a žádná relace mezi nimi není. docs/SCHEMAS.md dokumentuje current.yaml, tvar záznamu checkpointu a předávky, decisions.md, open-questions.md a účetní knihu.

Cílový stav

Relace je sedmý druh, zdokumentovaný vedle ostatních, s popsaným měnitelným aktivním záznamem a neměnným uzavřeným záznamem zvlášť, s uvedeným seznamem polí a se stanoveným pravidlem odvození: úlohy, úkoly, checkpointy, předávky, rozhodnutí a otázky epizody se čtou z účetní knihy mezi vlastními časovými razítky relace, nikdy je do souboru relace nezapisuje jiný příkaz.

Rozsah

  • docs/SCHEMAS.md
  • docs/CONTINUITY.md
  • docs/CONCEPTS.md

Mimo rozsah

  • Jakákoli implementace
  • Vrstva znalostí
  • Politika uchovávání, kterou řeší jeho vlastní úkol

Závislosti

Žádné. Tento úkol je kořenem grafu.

Co na tom čeká

Kritéria přijetí

  • Trojí rozlišení mezi úlohou, relací a předávkou je uvedeno s případem, který každé z nich splete, když se zamění
  • Gramatika názvu souboru uzavřeného záznamu je dána a prokázáno, že je lexikograficky chronologická, bezpečná vůči větvím a bezpečná vůči kolizím
  • Každé pole je uvedeno se svým zdrojem a vypočtená jsou označena jako nikdy nepsaná ručně
  • Pravidlo odvození je uvedeno, spolu s alternativou, kterou zamítá, a proč

Validace

  • bin/majordomus doctor

Požadované důkazy

  • schema_specified

Důkazy

pokrývátypcommandvýsledeku commitu
schema_specifiedručníbin/majordomus doctorexit 0. CONCEPTS.md přidává do slovníku relaci a obálku a oddíl, který říká, co ztratí každý ze tří možných kolapsů; SCHEMAS.md dokumentuje otevřený záznam a neměnný uzavřený záznam s úplným seznamem polí, gramatikou názvu souboru a čtyřmi vlastnostmi, které nese, a tabulku s identitou použitou pro každý druh reference, kde jsou dvě slabé označeny jako slabé; CONTINUITY.md přidává sedmý druh, pravidlo obálky místo vyprávění, pravidlo odvození se zamítnutou alternativou a to, čím relace není3c9ba2f

Riziko

Schéma napsané před implementací může specifikovat něco, co přenositelná základna shellu neumí vyjádřit. Každé pole musí být takové, které unese git, ledger nebo jednořádkový skalár YAML.

Časová osa

zahájeno
—
ověřeno
—
dokončeno
2026-09-04T15:46:06Z

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/I0802.yaml. Přečtěte ho zpět pomocí majordomus plan show I0802.

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