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.

I0201 — Deklarovat, která osa profilu se smí stát kterým limitem runtime

Přidat vedle profilů jeden kanonický soubor, který mapuje osu profilu na runtime limit, který z ní lze odvodit, aby měl limit jediný zdroj, nešla uvést osa, kterou nikdo nemůže vynutit, a limit, který žádný adaptér neaplikuje, byl chybou validace, nikoli komentářem.

PŘIPRAVENO vlna 0 · p1 · profil deep-work · běží sama

Součást runtime-adapters — Profily se stávají runtime omezeními, ne radou.

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

Cíl

Přidat vedle profilů jeden kanonický soubor, který mapuje osu profilu na runtime limit, který z ní lze odvodit, aby měl limit jediný zdroj, nešla uvést osa, kterou nikdo nemůže vynutit, a limit, který žádný adaptér neaplikuje, byl chybou validace, nikoli komentářem.

Proč

Implementace zkoumaná před touto byla vrácena zpět, protože její limity byly globální konstanty. Konstanta se neodvozuje z profilu a nic v repozitáři nedokázalo rozdíl poznat. Mapování musí existovat jako data, než lze cokoli poctivě omezit.

Aktuální stav

Profil deklaruje schopnost, úsilí, upovídanost, prezentaci, hloubku kontextu, požadavky na ověření a interval kontrolních bodů. Každé z nich se promítá jako próza a žádné nic neomezuje. Neexistuje soubor, který by říkal, které by mohlo.

Cílový stav

Jeden soubor deklaruje každou vynutitelnou osu, limit, který z ní plyne, a jak se limit z hodnoty osy počítá. Neznámá osa, neznámý limit nebo limit, který neimplementuje žádný adaptér, se odmítne jménem.

Rozsah

  • podíl
  • lib

Mimo rozsah

  • Aplikace jakéhokoli limitu; tento úkol jen deklaruje, co lze aplikovat
  • Jakákoli osa, jejíž vynucování nešlo z tohoto repozitáře pozorovat

Závislosti

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

Co na tom čeká

Kritéria přijetí

  • Mapování je jeden kanonický soubor, čtený nástrojem a nikde jinde ručně nepsaný
  • Každá deklarovaná osa existuje na každém profilu a osa, která neexistuje, je odmítnuta jménem
  • Deklarovaný limit, jehož adaptér neexistuje, se odmítne a adaptér pro nedeklarovaný limit se odmítne
  • Každý profil se rozloží na úplnou sadu limitů vypsanou jako data, ne próza

Validace

  • bash test/run.sh
  • bin/majordomus doctor

Požadované důkazy

  • sada testů

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

Deklarovat osu jako vynutitelnou dřív, než ji adaptér umí aplikovat, je to, jak se předchozí pokus stal divadlem; sladění v obou směrech je ochrana proti jeho opakování.

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

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