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.

Jakmile pod záměrem existuje práce, odmítne se s uvedením jména kritérium, kterému neslouží žádný úkol, úkol pod jeho milníky, který neslouží ničemu, i odkaz na neexistující kritérium

Úkol jmenuje kritérium, kterému slouží, v serves (ADR 0073). Z těchto odkazů se odvozuje pokrytí každého kritéria a každý úkol pod milníky záměru odpovídá, proč existuje. Jakmile záměr má práci, kritérium, kterému nic neslouží, je criterion_uncovered, úkol, který nesloužící ničemu, je issue_without_purpose, a odkaz na neznámý záměr nebo kritérium se odmítne.

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: zastaralé 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 jmenuje kritérium, kterému slouží, v `serves`; pokrytí od kritéria k úkolu se odvozuje při každém čtení a vypisuje ho `majordomus intent coverage` spolu s důvodem, proč každý úkol existuje. Záměr zatím bez práce je `intent_not_planned`, varování, protože tak začíná každý záměr.

Co to znamená

Úkol uvádí kritérium, kterému slouží, v serves (ADR 0073). Z těchto vazeb se odvodí pokrytí každého kritéria a každý úkol pod milníky záměru odpovídá, proč existuje. Jakmile záměr má práci, kritérium, kterému nic neslouží, je criterion_uncovered, úkol, který neslouží ničemu, je issue_without_purpose a odkaz na neznámý záměr či kritérium je odmítnut.

Princip

apps/majordomus-cli/src/intent_plan.rs čte serves z plánu a posuzuje je; plán sám z nich žádné zjištění neodvozuje. Kritérium je covered, weak, observed nebo uncovered a účel úkolu je intent, maintenance nebo unexplained. Selhání nese intent validate a kontrola intent-check.

Jak to vidět

majordomus intent coverage   # each criterion, its strength and the issues serving it
majordomus intent validate   # exit 10 on criterion_uncovered, issue_without_purpose, serves_unknown_*

Co nepokrývá

Záměr zatím bez práce je intent_not_planned, varování, protože tam začíná každý záměr. Nic neodvozuje úkoly z kritérií: píše je worker.

Proč existuje

Milník může být dokončen, zatímco kritérium záměru nad ním nebylo vůbec naplánováno. Pokrytí z tohoto opomenutí činí pojmenované selhání ještě před uzavřením práce, místo překvapení, když záměr nikdy nebude splněn.

Detail vykreslený z docs/claims/intent-criteria-covered.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Jakmile pod záměrem existuje práce, odmítne se s uvedením jména kritérium, kterému neslouží žádný úkol, úkol pod jeho milníky, který neslouží ničemu, i odkaz na neexistující kritérium

    Učiněno na Planning, Plan.

  2. 2 · kanonické tvrzení

    intent-criteria-covereddeklarovaný 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

    apps/majordomus-cli/src/intent_plan.rs

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

    Test: test/cases/386_a_plan_is_held_to_its_intent.sh

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: zastaralé 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 386_a_plan_is_held_to_its_intent

Kde se toto tvrzení používá

pokryté odpovědnosti

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