Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

Vždy načítaný instrukční soubor má rozpočet řádků s kontrolou, která selhává

Právě jedna projekce je označena always_loaded: true — soubor, který každá relace pracovníka čte, než cokoli udělá. Politika nastavuje context.always_loaded_budget_lines; update odmítne zapsat projekci přes rozpočet a doctor selže, když je soubor na disku nad ním. Rozpočet bez selhávající kontroly je přání.

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

Nad rozpočet se nezapíše vůbec nic.

Co to znamená

Právě jedna projekce je označena always_loaded: true — soubor, který každá relace workera čte, než cokoli udělá. Politika nastavuje context.always_loaded_budget_lines; update odmítne zapsat projekci nad rozpočet a doctor selže, je-li soubor na disku nad ním. Rozpočet bez selhávající kontroly je přání.

Princip

lib/update.sh po generování spočítá vykreslené řádky vždy načteného cíle; nad rozpočtem nic nezapíše a skončí kódem 10. lib/doctor.sh při každém běhu znovu zkontroluje soubor na disku, takže úprava, která jej přesune nad limit, se zachytí, i kdyby ji někdo vynutil. Týž soubor se kontroluje i na nevyřešené odkazy a pevně zapsané počty.

Jak to vidět

sed -i.bak 's/always_loaded_budget_lines: 150/always_loaded_budget_lines: 10/' .ai/repo/policy.yaml
majordomus update
# FAIL budget      CLAUDE.md — would be 78 lines, budget 10; nothing written

Co nepokrývá

Rozpočet je v řádcích, protože to je to, co lze poctivě spočítat bez tokenizeru. O počtu tokenů nic neříká a nikdy se tak neprezentuje.

Proč existuje

Jeden vždy načítaný provozní kontrakt ve zdrojovém prostředí kolísal mezi prázdným a asi jedenácti sty řádky během zhruba dvou set ručních úprav, než jej pevný rozpočet s selhávající kontrolou přibil pod padesát. Sourozenecký soubor bez limitu během týdnů několikanásobně znovu vyrostl.

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

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Vždy načítaný instrukční soubor má rozpočet řádků s kontrolou, která selhává

    Vytvořeno na Policy, Projection.

  2. 2 · kanonické tvrzení

    context-budgetdeklarovaný 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/update.sh · majordomus update

  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.

z klonu repozitáře
bash test/run.sh 03_update

Kde se toto tvrzení používá

Související tvrzení stejná implementace

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

Prohledává názvy a popisy všech stránek, které tento web publikuje.