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.

Záznam úlohy nemá závislosti; posloupnost mezi relacemi se nereprezentuje

**Zamítnuto, a úzce.** Úloha je záznam práce jedné relace — co worker

deklarovaný stavdeklarovaný stav: odmítnuto Zvažováno a záměrně odmítnuto, s uvedeným důvodem.

zaznamenané důkazyzaznamenané důkazy: žádný test Neposuzováno: k zaznamenanému běhu je vázáno jen zaručené tvrzení. jak se zaznamenávají důkazy

Odmítnuto pro záznamy úloh, a jen pro ně. Úkoly a milníky závislosti nesou, validované jako dva grafy — viz docs/ROADMAP.md a docs/PLANNING.md. Odmítnuto zůstává, aby úloha, záznam práce jedné relace, čekala na jinou; na checkout je aktivní jedna úloha a koordinací mezi checkouty je zpráva o překryvu rozsahů. Původní znění říkalo, že nikde neexistuje graf závislostí, což přestalo platit, když přišel model plánu.

Co to znamená

Zamítnuto, a úzce. Úloha je záznam práce jedné relace — co worker deklaroval, v jakém checkoutu, pod jakým profilem. Žádné pole, soubor ani příkaz neříká, že úloha B čeká na úlohu A. V každém checkoutu je aktivní jedna úloha a koordinace mezi checkouty je report překryvu rozsahů, ne pořadí.

Není to tvrzení, že repozitář nemá graf závislostí. Má dva. Úkoly nesou depends_on a validují se jako DAG s odvozenými vlnami provádění; milníky nad nimi nesou depends_on a milník, jehož závislosti nejsou přijaty, je blokován. Oba jsou popsány v PLANNING.md a ROADMAP.md.

Odmítnutí se týká konkrétně záznamu úlohy, což je jiné podstatné jméno než úkol: úkol je kontrakt na kus práce, úloha je pokus jedné relace o něj.

Princip

Nic není implementováno, záměrně. Úloha deklaruje rozsah; překryv mezi souběžnými checkouty se počítá z worktree gitu a hlásí se. Pořadí mezi relacemi je rozhodnutí člověka, nebo se vyjadřuje o úroveň výš jako závislost mezi úkoly, které tyto relace provádějí.

Jak to vidět

grep -rn depend .ai/local/state/current.yaml     # nothing to find
majordomus plan graph                              # the issue graph, which does exist
majordomus plan rgraph                             # the milestone graph, which also does

Co nepokrývá

Neříká nic o grafech úkolů a milníků, které jsou podporovaným způsobem, jak vyjádřit, že jeden kus práce čeká na jiný. Tým, který chce posloupnost, ji má dát tam, kde se validuje, a nechtít ji na záznamu úlohy, kde se odmítá.

Proč existuje

Žádný případ užití v důkazech neodůvodnil závislosti mezi záznamy úloh. Jediný záznam úlohy s poli podobnými závislostem, který se ve zdrojovém prostředí našel, byl demonstrační soubor, jehož podúlohy čekaly i o rok později.

Formulace dříve zněla „Závislosti mezi úlohami záměrně nejsou reprezentovány“ s poznámkou, že graf závislostí neexistuje a bude znovu zvážen, až se objeví skutečný případ. Skutečný případ se objevil: model plánu přistál a s ním dva validované grafy. Samotné tvrzení nikdy nepřestalo platit — úloha stále nemá závislosti — ale čtenář, který na ně narazil vedle /plan/dag/, by rozumně usoudil, že stránka je zastaralá. Zúženo tak, aby říkalo, co se skutečně odmítá, místo aby naznačovalo absenci něčeho, co nyní existuje.

Detail vykreslený z docs/claims/task-dependencies.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Záznam úlohy nemá závislosti; posloupnost mezi relacemi se nereprezentuje

    Vzniklo v Plánování, Stav.

  2. 2 · kanonické tvrzení

    task-dependenciesdeklarovaný stav: odmítnuto v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · docs/DESIGN.md

  3. 3 · implementace

    Zatím to nic neimplementuje.

  4. 4 · test a scénáře

    Žádné spustitelné důkazy nejsou propojeny: tvrzení nejmenuje žádný test a žádný případ užití ho nespouští.

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: žádný test jak se zaznamenávají důkazy

Kde se toto tvrzení používá

pokryté odpovědnosti

Okamžiky, na které to odpovídá

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