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.

watch hlásí drift politiky, projekce, stavu, rozsahu, předávky, ověření, zastarání a retence

majordomus watch je read-only inspekce všeho, co se může tiše rozcházet: politika se změnila po poslední aktualizaci (drift politiky); generovaný soubor už neodpovídá vlastnímu razítku (drift projekce); záznam úlohy už nepopisuje checkout (drift stavu); dotčené soubory mimo rozsah (drift rozsahu); úloha označená jako předaná bez souboru předávky nebo s chybějící povinnou sekcí (drift předávky); úloha označená jako dokončená bez task.finished v knize (drift ověření); checkpoint starší než interval profilu (zastarání); úložiště nad svým stropem (retence). Každý nález jmenuje příkaz, který ho reprodukuje; exit 11, když se cokoli rozešlo.

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 watch je inspekce jen pro čtení všeho, co se může tiše rozejít: politika se změnila po posledním update (drift politiky); generovaný soubor už neodpovídá vlastnímu razítku (drift projekce); záznam úlohy už nepopisuje checkout (drift stavu); dotčené soubory mimo rozsah (drift rozsahu); úloha označená jako předaná bez souboru předávky nebo s chybějící povinnou sekcí (drift předávky); úloha označená jako dokončená bez task.finished v účetní knize (drift ověření); checkpoint starší než interval profilu (zastaralost); úložiště nad limitem (retence). Každý nález jmenuje příkaz, který ho reprodukuje; kód 11, když se cokoli rozešlo.

Princip

lib/watch.sh přepočítá hash politiky a porovná ho s tím, který jmenuje razítko každé projekce, zahashuje obsah každé projekce proti jejímu razítku, načte záznam úlohy a profil, znovu použije logiku rozsahu a divergence z check, prohledá účetní knihu a úložiště předávek a počítá proti limitům retence. Nic nezapisuje.

Jak to vidět

sed -i.bak 's/checkpoint_interval_default: 15m/checkpoint_interval_default: 25m/' .ai/repo/policy.yaml
majordomus watch; echo $?
# DRIFT policy      .ai/repo/policy.yaml — policy or profiles changed after the last update  [reproduce: majordomus update --dry-run]
# 11

Co nepokrývá

watch se nikdy nepoužívá k blokování; drift v rozpracované práci je informace pro člověka. Není to démon; běží, když se vyvolá.

Proč existuje

Drift je to, na co zemřel každý opuštěný nástroj ve zdrojovém prostředí: politika říkala jedno, generovaný soubor druhé, hook třetí a nic je neporovnávalo. Implementována jsou jen deterministická porovnání; nic zde neuhaduje.

Detail vykreslený z docs/claims/drift-watch.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    watch hlásí drift politiky, projekce, stavu, rozsahu, předávky, ověření, zastarání a retence

    Učiněno na Doktrína, Dohled.

  2. 2 · kanonické tvrzení

    drift-watchdeklarovaný 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/watch.sh · majordomus watch

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

    Test: test/cases/07_watch.sh

    Provedeno v Zjištění, co se od posledního pohledu změnilo.

  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 07_watch

Kde se toto tvrzení používá

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

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