Každý odkaz relativní k repozitáři ve vždy načítaném souboru je prokázaně vyřešitelný

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

printf '\nSee [design](docs/MISSING.md).\n' >> AGENTS.md
majordomus doctor
# FAIL projection  AGENTS.md — content differs from its own stamp (hand-edited?)
# FAIL links       AGENTS.md — reference docs/MISSING.md does not resolve  [reproduce: ls docs/MISSING.md]

Detail vykreslený z docs/claims/pointer-integrity.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   Každý odkaz relativní k repozitáři ve vždy načítaném souboru je prokázaně vyřešitelný

   Vzniklo na Doctor.

2. 2 · kanonické tvrzení

   pointer-integrity○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/doctor.sh · majordomus doctor

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

   Test: test/cases/03_update.sh

   Provedeno v Udržet každý bootstrap providera tenký, generovaný a v rozpočtu.

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 03_update

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 Pevně zapsaný počet ve vždy načítaném souboru je selhání
• ○deklarovaný stav: zaručeno Ledger jen pro připojování a úložiště předávek mají stropy uchovávání, které se kontrolují
• ○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á

• → našel kód, který odporoval rozhodnutí, jež si repozitář zapsal Rozhodnutí bylo zaznamenáno a implementace šla opačným směrem, protože nic nepropojuje rozhodnutí s cestami, kterým vládne.