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.

Mezera, která nechává kritérium bez odpovědi, se odmítne a úkol sloužící záměru, který začal bez kritiky nebo při otevřeném blokujícím nálezu, neprojde validací záměru

Plánování začíná dvěma záznamy, které worker píše: mezerou, která odpovídá na každé kritérium záměru tím, co bylo pozorováno v commitu, a kritikou, adverzním průchodem plánem s každým nálezem vyřešeným. Mezera, která přeskočí kritérium, se odmítne. Práce pod záměrem, který je ACTIVE, VERIFY nebo DONE, zatímco záměr nemá kritiku, je executing_without_critique, a dokud je otevřený blokující nález, executing_with_open_blocker.

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

Odmítnutí je `majordomus intent validate` a kontrola intent-check po startu. Samotný `plan start` uspěje; odmítnutí startu je intent-refused-at-plan-start, které je plánováno. Majordomus nezapisuje ani jeden záznam. Worker pozoruje a kritizuje a repozitář odmítá to, co do sebe nezapadá.

Co to znamená

Plánování začíná dvěma záznamy, které worker píše: mezerou, která odpovídá na každé kritérium záměru tím, co bylo pozorováno u commitu, a kritikou, adverzním průchodem plánem s vyřešeným každým nálezem. Mezera, která přeskočí kritérium, je odmítnuta. Práce pod záměrem, který je ACTIVE, VERIFY nebo DONE, zatímco záměr nemá kritiku, je executing_without_critique, a dokud je otevřen blokující nález, executing_with_open_blocker.

Princip

apps/majordomus-cli/src/intent_review.rs ověří oba záznamy vůči intentu a plánu a nálezy se připojí k majordomus intent validate, které spouští kontrola intent-check. Úsudek se činí po zahájení: selže úkol, který plan start už posunul.

Jak to vidět

majordomus plan start I0001     # succeeds: the start is not refused here
majordomus intent validate      # FAIL executing_without_critique, exit 10

Co nepokrývá

plan start start neodmítá; odmítnout ho tam je úkolem intent-refused-at-plan-start, které je plánováno. Majordomus nepíše ani mezeru, ani kritiku a neprovádí vlastní opoziční průchod.

Proč existuje

To, co worker pozoroval, a to, co recenze zjistila, se ztratí spolu s relací, která to vytvořila, pokud to nejsou záznamy. Vázání zahájené práce na ně je to, co dělá z recenze předpoklad, který si někdo může ověřit, místo zvyku.

Detail vykreslený z docs/claims/intent-plan-reviewed.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Mezera, která nechává kritérium bez odpovědi, se odmítne a úkol sloužící záměru, který začal bez kritiky nebo při otevřeném blokujícím nálezu, neprojde validací záměru

    Učiněno na Planning, Plan.

  2. 2 · kanonické tvrzení

    intent-plan-revieweddeklarovaný 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_review.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.