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.

Pevně zapsaný počet v vždy načítaném souboru je selhání

Vždy načítaný instrukční soubor nesmí obsahovat věty jako "14 agents", "97 apps" nebo "63 skills". Počty zapsané v próze jsou za pár dní zastaralé a pracovník je čte jako fakt. Pravidlo zní: piš příkaz, který číslo spočítá, nikdy číslo. doctor selže na posloupnosti číslic vedle slov, která takové počty obvykle nesou.

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

Co to znamená

Vždy načítaný instrukční soubor nesmí obsahovat věty jako „14 agentů“, „97 aplikací“ nebo „63 dovedností“. Počty zapsané v próze zastarají během dnů a worker je čte jako fakt. Pravidlo zní: napište příkaz, který číslo počítá, nikdy číslo. doctor selže na posloupnosti číslic vedle slov, která takové počty obvykle nesou.

Princip

lib/doctor.sh hledá ve vždy načtené projekci číslo následované agents, files, apps, commands, skills nebo rules. Každá shoda je selhávající nález s příkazem k reprodukci. Pravidlo je záměrně úzké a lexikální, aby se s ním nedalo polemizovat.

Jak to vidět

printf '\nThis repository has 12 agents.\n' >> AGENTS.md
majordomus doctor
# FAIL projection  AGENTS.md — content differs from its own stamp (hand-edited?)
# FAIL counts      AGENTS.md — hardcoded count in always-loaded context  [reproduce: grep -nE '[0-9]+ (agents|files|apps|commands|skills|rules)' AGENTS.md]

Generovaný soubor je bootstrap, takže počet je třeba zavést ručně nebo přes přepsání adaptéru v repozitáři v jeho sekci providers; v obou případech kontrola čte soubor na disku a hlásí počet na vlastním řádku, vedle nesouladu razítka.

Co nepokrývá

Počty formulované bez těch podstatných jmen projdou. Kontrola zachytí běžnou lež, ne každou lež.

Proč existuje

V původním prostředí pět autoritativních souborů uvádělo pět různých počtů aplikací, tři počty agentů a pět počtů pilířů, některé si odporovaly patnáct řádků od sebe ve stejném souboru. Validátor, který to měl zachytit, existoval a po úklidu stále našel patnáct nesrovnalostí.

Podrobnosti vykresleny z docs/claims/no-counts-in-context.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Pevně zapsaný počet v vždy načítaném souboru je selhání

    Vytvořeno na Kontext, Doctor.

  2. 2 · kanonické tvrzení

    no-counts-in-contextdeklarovaný 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.

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

Kde se toto tvrzení používá

pokryté odpovědnosti

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.