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.

Položka v úložišti otázek, která se neparsuje, blokuje přijetí přesně jako nevyřešená otázka

.ai/local/state/open-questions.md čte kontrola, která odmítá dokončení, dokud je něco nevyřešeno. Pokud položka v něm nejde zpracovat, kontrola ji nevidí — proto se chybně utvořená položka bere jako blokující selhání, a ne jako problém formátování.

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

Kontrola, která nedokáže přečíst záznam, se dá obejít překlepem, takže nečitelná otázka není menší problém než otevřená.

Co to znamená

.ai/local/state/open-questions.md čte kontrola, která odmítne dokončení, dokud je cokoli nevyřešeno. Pokud se položka v něm nezparsuje, kontrola ji nevidí — takže poškozená položka se považuje za blokující selhání, a ne za formátovací problém.

Princip

mj_question_malformed v lib/question.sh vrací čísla řádků záznamů, které neodpovídají tvaru záznamu. mj_validate_blockers kontroluje úložiště dřív, než hledá nevyřešené záznamy pro aktuální úlohu, a selhání parsování hlásí pod stejnou kategorií blockers, protože je to totéž pravidlo: na tuto kontrolu se lze spolehnout. mj_validate_questions_store spouští stejnou kontrolu z doctor a watch, které nemají aktivní úlohu, proti které by kontrolovaly, ale přesto potřebují vědět, že úložiště je v pořádku. Obě doktríny jsou deklarovány jako blokující.

Jak to vidět

printf -- '- [unresolved] no separator and no date\n' >> .ai/local/state/open-questions.md
majordomus check                  # FAIL blockers open-questions.md — line(s) 4 do not parse
majordomus doctor                 # FAIL records  open-questions.md
majordomus watch                  # DRIFT records open-questions.md

Co nepokrývá

Kontrola dokazuje, že úložiště je čitelné, ne že otázky v něm jsou ty správné. Nic nezjistí blokátor, který nebyl nikdy zapsán, což je častější selhání a takové, na které validátor nedosáhne.

Proč existuje

Kontrola, jejíž vstup lze překlepem učinit neviditelným, je horší než žádná, protože hlásí úspěch. Zacházet s nečitelným záznamem jako s otevřeným odstraňuje motivaci obcházet kontrolu jeho poškozením, záměrným či ne.

Detail vykreslený z docs/claims/blocker-store.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Položka v úložišti otázek, která se neparsuje, blokuje přijetí přesně jako nevyřešená otázka

    Učiněno na Finish contract, Scope.

  2. 2 · kanonické tvrzení

    blocker-storedeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    lib/check.sh · majordomus check

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

    Test: test/cases/21_decision_question.sh

    Provedeno v Blokování přijetí kvůli otázce, na kterou nikdo neodpověděl.

  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 21_decision_question

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.