Záznam pořízený s --ledger local zapisuje jen ignorovaný lokální ledger, nemění žádný sledovaný soubor a nehýbe žádným verdiktem

majordomus evidence record --ledger local slučuje svá provedení do

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

Lokální účetní kniha leží pod .ai/local/evidence/, kterou repozitář ignoruje; sledovaná kniha zůstává jedinou autoritou, z níž se odvozuje verdikt.

Co to znamená

majordomus evidence record --ledger local slučuje své provedení do .ai/local/evidence/ledger.json, které repozitář ignoruje, místo sledované knihy. Nemění žádný sledovaný soubor, takže checkout zůstane, jak byl, a nehýbe žádným verdiktem: každé tvrzení čte to, co říká sledovaná kniha, přesně jako před záznamem. Výchozí zůstává sledovaná kniha.

Princip

ledger::LedgerTarget v apps/majordomus-cli/src/evidence/ledger.rs pojmenovává dvě knihy a Ledger::load_from a Ledger::save_to čtou a zapisují tu, kterou záznam pojmenuje; chybná lokální kniha se odmítne pod vlastním jménem. Verdikty se odvozují jen ze sledované knihy, takže se k nim nic zapsaného do lokální nedostane.

Jak to vidět

majordomus evidence stamp --producer suite --report suite.tsv --out suite.provenance.json
majordomus evidence record --suite suite.tsv --provenance suite.provenance.json --ledger local
git status --porcelain
bash test/run.sh 505_a_recording_carries_what_its_run_measured

Co nepokrývá

Žádný povrch zatím nečte lokální knihu: vlastní běhy člověka se uchovávají a nic je neukazuje.

Proč existuje

Člověk, který spustí sadu lokálně, aby viděl, kde stojí, by neměl muset měnit sledovaný soubor, a nerecenzovaný lokální běh nesmí posunout verdikt, který repozitář uvádí. ADR 0087 (navrženo), rozhodnutí 1: verdikt se odvozuje jen ze sledovaného ledgeru.

Detail vykreslený z docs/claims/evidence-local-recording-stays-local.md.

Od tvrzení k důkazu

1 · veřejné tvrzení

Záznam pořízený s --ledger local zapisuje jen ignorovaný lokální ledger, nemění žádný sledovaný soubor a nehýbe žádným verdiktem

Vzniklo na Důkazy.
2 · kanonické tvrzení

evidence-local-recording-stays-localdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

apps/majordomus-cli/src/evidence/ledger.rs
4 · test a scénáře
Test: test/cases/505_a_recording_carries_what_its_run_measured.sh
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 505_a_recording_carries_what_its_run_measured

Související tvrzení stejná implementace

deklarovaný stav: zaručeno Zaznamenání výsledku jednoho testu nikdy nesmaže důkazy zaznamenané pro jakýkoli jiný test