Dotčený soubor mimo nárokovaný rozsah je selhání, ne varování

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

majordomus start "t" --scope lib/auth
echo x > lib/other/b.txt
majordomus check; echo $?
# FAIL scope       lib/other/b.txt — outside claimed scope (lib/auth)
# 10

Detail vykreslený z docs/claims/scope-enforcement.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   Dotčený soubor mimo nárokovaný rozsah je selhání, ne varování

   Vytvořeno na Koordinace, Rozsah.

2. 2 · kanonické tvrzení

   scope-enforcement○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/check.sh · majordomus check

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

   Test: test/cases/04_start_check.sh

   Provedeno v Odchyťte agenta, který tvrdí, že je hotov, a není, Provozujte několik pracovníků v jednom repozitáři, aniž by se srazili.

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 04_start_check

Kde se toto tvrzení používá

Související tvrzení stejná implementace

• ○deklarovaný stav: zaručeno Každý řádek ledgeru jen pro připojování je dobře utvořená událost a poškozený řádek je selhání, ne přeskočený záznam
• !deklarovaný stav: doporučení Záznam rozhodnutí bez úlohy, hlavy a důvodu se ohlásí a neblokuje
• ○deklarovaný stav: zaručeno Záznam v úložišti otázek, který se nezparsuje, blokuje přijetí přesně jako nevyřešená otázka
• ○deklarovaný stav: zaručeno check hlásí, zda jsou stav, rozsah, blokátory a stáří checkpointu právě teď konzistentní
• ○deklarovaný stav: zaručeno Překryv mezi paralelními pracovníky se počítá na uplatněných cestách v obou směrech zahrnutí
• !deklarovaný stav: doporučení Profil určuje, jaký kontext má pracovník načíst, a nic víc
• !deklarovaný stav: doporučení Profil určuje, jak často má pracovník dělat checkpoint, a zastaralá úloha se ohlásí
• ○deklarovaný stav: zaručeno Záznam úlohy jmenuje checkout, do kterého patří, a jiný checkout se nikdy nesrovnává s jeho rozsahem
• ○deklarovaný stav: zaručeno Blokující otázka blokuje dál i poté, co je práce předána nové úloze

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

• → našli dva agenty, kteří opravují stejnou chybu ve dvou větvích Dva pracovníci stráví každý den na jedné vadě, protože vlastnictví bylo implicitní a ani jeden neviděl druhého.
• → sledoval, jak jeden worker záměrně vrátil změnu jiného workera Worker uvidí na své cestě nevysvětlenou změnu, usoudí, že je špatná, a odstraní ji — správně, podle důkazů, které měl.
• → našel podstatnou změnu, kterou nikdy nepožadoval žádný úkol, ticket ani plán Práce přichází bez vymezeného kontraktu, takže její rozsah, kritéria přijetí i vlastnictví se rozhodují až zpětně.