Každý nález nese příkaz, který jej reprodukuje

deklarovaný stav○deklarovaný 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ůkazy○zaznamenané 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

majordomus doctor
# FAIL wiring      finish-on-push — hook .git/hooks/pre-push does not exist  [reproduce: ls -l .git/hooks/pre-push]
majordomus --json doctor | head -1

Detail vykreslený z docs/claims/reproduce-command.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   Každý nález nese příkaz, který jej reprodukuje

   Vytvořeno na Kontrakt dokončení.

2. 2 · kanonické tvrzení

   reproduce-command○deklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

3. 3 · implementace

   lib/common.sh

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

   Test: test/cases/02_doctor_basic.sh

   Provedeno v Doložit, že pravidlo se skutečně vynucuje, a není jen napsané, Zjistit, co se změnilo od doby, kdy se na to naposledy někdo díval, Podmínit CI samotným nástrojem s exit kódem, který je kontraktem.

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.

bash test/run.sh 02_doctor_basic

Kde se toto tvrzení používá

Související tvrzení stejná implementace

• ○deklarovaný stav: zaručeno Kanonická politika se zparsuje a odmítne se, pokud obsahuje neznámý klíč
• ○deklarovaný stav: zaručeno Návratové kódy jsou kontrakt a žádný kód neznamená „varuj a pokračuj“
• ○deklarovaný stav: zaručeno Načtený stav se vůči gitu označí jako exact, advanced, diverged nebo different_context
• ○deklarovaný stav: zaručeno Správný předchozí záznam se určí podle worktree a větve a nesouvisející se nikdy nenabídne
• ○deklarovaný stav: zaručeno Vrstva nainstalovaná s --personal je v sdíleném repozitáři vlastní jednomu člověku: nemění žádný sledovaný soubor, žádný řádek .gitignore ani nic, co ukazuje git status, a příkaz, který toto tvrzení činí, to ověřuje
• ○deklarovaný stav: zaručeno Stav lokální pro checkout žije pod .ai/local/, git ho ignoruje a v čerstvém klonu nebo worktree chybí
• ○deklarovaný stav: zaručeno Nástroj běží pouze pro čtení z libovolného umístění a dvě umístění jedné verze se shodnou na jednom repozitáři
• ○deklarovaný stav: zaručeno Slovník událostí ledgeru je uzavřený, při zápisu i při čtení

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

• → přijali „hotovo“, protože to řekl model, a druhý den ráno za to zaplatili Plynulé tvrzení o dokončení se přijme jako důkaz, protože nic předem nezapsalo, co by muselo platit.
• → přečetl slib v README, za kterým nestál žádný test Věta popisující, co software dělá, se napíše jednou a nikdy se nepropojí s ničím, co by selhalo, kdyby přestala platit.
• → vložil příkaz z dokumentace a sledoval, jak selhal Příklady se píšou jednou, v próze, a nikdy je už nic nespustí.
• → publikoval stránku, která slíbila víc, než kterýkoli test dokázal podpořit Veřejné materiály vznikají jiným úkonem než kód, takže předbíhají chování a nic je nevrací zpět.
• → nedokázal reprodukovat výsledek, protože nic nezaznamenalo stav, ze kterého vzešel Výsledek je zaznamenaný, podmínky, které ho vytvořily, nikoli, takže je to anekdota, a ne měření.