Profil deklaruje, jaký kontext má worker načíst, a nic víc

deklarovaný stav!deklarovaný stav: advisory Promítnuto do instrukcí workera. Zda je worker dodržuje, zvenčí pozorovat nelze. Je to dokumentace, ne vynucování.

zaznamenané důkazy○zaznamenané důkazy: nespuštěno Neposuzováno: k zaznamenanému běhu je vázáno jen zaručené tvrzení. jak se zaznamenávají důkazy

majordomus context nyní sestavuje briefing z těchto přepínačů a tento výběr je zaručen (viz context-assembly). Toto tvrzení zůstává informativní, protože nic neměří, co worker po předání briefingu skutečně přečetl.

majordomus check --explain | grep '^  context\.'

Detail vykreslený z docs/claims/minimum-context.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   Profil deklaruje, jaký kontext má worker načíst, a nic víc

   Vzniklo na Context, Profiles.

2. 2 · kanonické tvrzení

   minimum-context!deklarovaný stav: advisory v docs/CLAIMS.yaml

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

3. 3 · implementace

   lib/check.sh · majordomus check

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

   Test: test/cases/04_start_check.sh

   Provedeno v Předejte nedokončenou práci další relaci, Zahajte relaci z vykresleného rámce, ne z vloženého přepisu.

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 Dotčený soubor mimo uplatněný rozsah je selhání, ne varování
• ○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 č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á

• → viděli nejsilnější model na maximální úsilí přejmenovávat proměnnou Schopnost, hloubka uvažování, velikost kontextu a výřečnost se slijí v jediný zvyk — vše zapnuto — protože je nikdy nikdo nepojmenoval zvlášť.
• → strávil hodinu zjišťováním něčeho, co repozitář už věděl, a to dvakrát Worker zjistí něco nákladného o kódové bázi, jednou to použije a s relací to zaniká, protože to nikdo nepřevedl na trvalý záznam.