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.

Stav úkolů a milníků se odvozuje ze zaznamenaných faktů a nikde se neukládá

V úkolu ani milníku není pole status:. Jeho zapsání je neznámý klíč. Úkol zaznamenává, co se s ním stalo — started_at, verified_at, completed_at, cancelled a jeho důkazy — a BLOCKED, READY, ACTIVE, VERIFY, DONE nebo CANCELLED z těchto faktů vyplývá spolu se stavem úkolů, na nichž závisí. Stav milníku vyplývá z jeho úkolů a vlastních důkazů.

deklarovaný stavdeklarovaný stav: zaručeno Deklarováno jako deterministické a blokující, implementováno a s uvedeným behaviorálním testem, který to má dokázat. Zda to zaznamenaný běh podporuje, říká verdikt důkazů zobrazený vedle.

zaznamenané důkazyzaznamenané důkazy: nespuštěno Deklarováno jako zaručené, ale nepodložené zaznamenaným během: test je pojmenován, ale žádný úspěšný běh nad současnými vstupy zaznamenán není. jak se zaznamenávají důkazy

Úkol zaznamenává started_at, verified_at, completed_at, cancelled a své důkazy. BLOCKED, READY, ACTIVE, VERIFY, DONE a CANCELLED z toho a ze stavu jeho závislostí vyplývají. `status` není pole, takže jeho zápis je neznámý klíč.

Co to znamená

V úkolu ani milníku není pole status:. Jeho zapsání je neznámý klíč. Úkol zaznamenává, co se s ním stalo — started_at, verified_at, completed_at, cancelled a jeho evidence — a BLOCKED, READY, ACTIVE, VERIFY, DONE nebo CANCELLED vyplývá z těchto faktů spolu se stavem úkolů, na kterých závisí. Stav milníku vyplývá z jeho úkolů a jeho vlastních důkazů.

Princip

lib/project.awk pro každý úkol vypočítá, zda je lokálně hotový (dokončený, ne zrušený, každý požadovaný token důkazu pokrytý), a poté zda nějaká závislost není hotová. Přednost je cancelled, done, verify, active, blocked, ready. Milník je DONE jen tehdy, když je každý úkol, který není zrušen, DONE a jeho vlastní evidence_required je pokryto; když jsou všechny úkoly hotové a důkazy milníku ne, je VERIFY. Aktivní milník je milník s nejnižším pořadím, který je ACTIVE, nebo jinak ten s nejnižším pořadím, který není dokončen.

Jak to vidět

majordomus plan list
# I0002   BLOCKED   1    M000   Define the canonical milestone and issue schema
majordomus plan done I0001
# plan: I0001 DONE
# next ready issue: I0002

Co nepokrývá

Odvozování vám nemůže říct, že zaznamenaný fakt je nepravdivý. Je-li completed_at nastaveno na úkolu, jehož práce nebyla nikdy provedena, graf tomu věří — proto plan done bez důkazů odmítá a proto musí být důkazem příkaz.

Proč existuje

Uložený stav je druhý názor. V okamžiku, kdy se může rozejít s grafem závislostí, musí někdo rozhodnout, který z nich má pravdu, a odpověď je vždy graf.

Detail vykreslený z docs/claims/project-status-derived.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Stav úkolů a milníků se odvozuje ze zaznamenaných faktů a nikde se neukládá

    Učiněno na Planning, Plan.

  2. 2 · kanonické tvrzení

    project-status-deriveddeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    lib/project.awk

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

    Test: test/cases/41_project_status.sh

    Provádí se v Úkol dokončit, jen když existují jeho důkazy, Úkoly dodávat ve vlnách, které spočítá graf, a vzít další, Plán vést jako milníky a úkoly, které nástroj umí validovat.

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: nespuštěno jak se zaznamenávají důkazy

Ověřte si to sami

Test běží v jednorázovém dočasném repozitáři a ověřuje chování, ne řetězec ve zdrojovém kódu.

z klonu repozitáře
bash test/run.sh 41_project_status

Kde se toto tvrzení používá

Související tvrzení stejná implementace

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

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