Kniha jen pro připojování a úložiště předávek mají stropy uchovávání, které se kontrolují

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

sed -i.bak 's/retention_max_lines: 5000/retention_max_lines: 1/' .ai/repo/policy.yaml
majordomus doctor
# FAIL retention   ledger — 3 lines over cap 1

Detail vykreslený z docs/claims/retention-caps.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   Kniha jen pro připojování a úložiště předávek mají stropy uchovávání, které se kontrolují

   Vytvořeno na Provenance, Doctor.

2. 2 · kanonické tvrzení

   retention-caps○deklarovaný stav: zaručeno v docs/CLAIMS.yaml

   Definováno v přečtěte si na tomto webu · share/skeleton/policy.yaml

3. 3 · implementace

   lib/doctor.sh · majordomus doctor

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

   Test: test/cases/02_doctor_basic.sh

   Provedeno v Přečtěte si, co se stalo, a držte knihu v rámci jejího stropu.

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 Každý profil se zparsuje, neznámé klíče se odmítnou a existence výchozího profilu je prokázána
• ○deklarovaný stav: zaručeno Každé vynucování, které politika deklaruje, se sesouhlasí s tím, co skutečně běží
• ○deklarovaný stav: zaručeno Zapojení se najde v hooku nebo v kterémkoli podhooku adresáře, na který tento hook odesílá
• ○deklarovaný stav: zaručeno Každý odkaz relativní k repozitáři ve vždy načítaném souboru je prokazatelně rozlišitelný
• ○deklarovaný stav: zaručeno Pevně zapsaný počet ve vždy načítaném souboru je selhání
• ○deklarovaný stav: zaručeno Každé úložiště kontinuity je prokazatelně dosažitelné vlastním příkazem, nejen přítomné na disku
• ○deklarovaný stav: zaručeno Co nástroj ví sám o sobě, je zapsáno jednou a odvozeno všude jinde, a druhá kopie je selhání testu
• ○deklarovaný stav: zaručeno Plán rozvoje se odvozuje ze stavu milníků a žádný dokument nesmí být jeho druhou autoritou

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

• → se zeptal, co pracovníci dělali včera v noci, a měl jen přepisy k prohledání Log konverzace zaznamenává, co bylo řečeno, ne co se stalo, takže na provozní otázku musí odpovědět člověk čtoucí prózu.