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.

check hlásí, zda jsou stav, rozsah, blokátory a stáří checkpointu právě teď konzistentní

majordomus check je otázka jen pro čtení, kterou worker klade, než cokoli prohlásí za hotové: popisuje záznam úlohy stále tento checkout, jsou všechny dotčené soubory uvnitř deklarovaného rozsahu, je nějaká otevřená otázka této úlohy nevyřešená a jak dlouho je to od posledního checkpointu. Vypíše jeden řádek na aspekt, skončí kódem 0, když nic neselže, 10, když něco selže, a 12, když není žádná aktivní úloha.

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

Co to znamená

majordomus check je otázka jen pro čtení, kterou worker klade předtím, než cokoli prohlásí za hotové: popisuje záznam úlohy stále tento checkout, jsou všechny dotčené soubory uvnitř deklarovaného rozsahu, zůstává nějaká otevřená otázka této úlohy nevyřešena a jak dlouho od posledního checkpointu. Vypíše jeden řádek na aspekt, skončí kódem 0, když nic neselže, 10, když něco selže, a 12, když není žádná aktivní úloha.

Princip

lib/check.sh načte záznam úlohy, vypočítá štítek divergence zaznamenaného headu vůči HEAD, vypíše dotčené soubory z git status plus git diff --name-only <recorded head> HEAD, porovná každý s rozsahem, přečte state/open-questions.md pro [unresolved] <task id> a porovná checkpoint_at s intervalem profilu. --explain vytiskne efektivní úlohu, profil a politiku; --checkpoint aktualizuje časové razítko a je jediným zdokumentovaným zápisem příkazu.

Jak to vidět

majordomus check
# OK   state       t-… — advanced (head 3f2a9c1)
# FAIL scope       config/x.yml — outside claimed scope (lib/auth)  [reproduce: git status --porcelain; git diff --name-only 3f2a9c1 HEAD]
# OK   checkpoint  t-… — 7m ago, interval 15m
# OK   blockers    t-… — none open

Co nepokrývá

Zastaralý kontrolní bod je varování a kontrolu nikdy neshodí; rozpracovaná práce se hlásí, neblokuje. check nespouští testy; finish ano.

Proč existuje

Zdrojové prostředí nemělo žádný příkaz, který by odpověděl na „je tato úloha právě teď v rozumném stavu“ bez čtení přepisu. Každé zotavení byl ruční runbook.

Detail vykreslený z docs/claims/consistency-check.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    check hlásí, zda jsou stav, rozsah, blokátory a stáří checkpointu právě teď konzistentní

    Učiněno na Finish contract, Scope.

  2. 2 · kanonické tvrzení

    consistency-checkdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    lib/check.sh · majordomus check

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

    Test: test/cases/04_start_check.sh

    Provedeno v Rozhodnutí, zda je dokončená práce skutečně dokončená, Checkpointování dlouhé práce, aby zastavení stálo minuty, ne celý den, 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 04_start_check

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.