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.

Instrukční soubory providerů se generují z jediné politiky, deterministicky

CLAUDE.md, AGENTS.md, GEMINI.md a každý další cíl, který politika jmenuje, se nepíší ručně. majordomus update je generuje z jedné kanonické politiky, z profilů a z jednoho sdíleného textu těla, přes malou šablonu pro každého providera. Dvojí spuštění se stejnými vstupy vytvoří bajtově shodné soubory.

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

Dvojí spuštění update zanechá bajtově shodný soubor. Test ověřuje hash.

Co to znamená

CLAUDE.md, AGENTS.md, GEMINI.md a každý další cíl, který politika jmenuje, se nepíší ručně. majordomus update je generuje z jedné kanonické politiky, profilů a jednoho sdíleného textu těla, přes malou šablonu pro každého poskytovatele. Dvojí spuštění se stejnými vstupy vyprodukuje byte-identické soubory.

Princip

lib/update.sh hashuje politiku a profily, vykresluje každý cíl ze svého adaptéru — šablon pod share/providers/ distribuce, nebo vlastního přepsání repozitáře pod sekcí providers — a zapisuje každý cíl atomicky. Každý generovaný soubor je bootstrap: jmenuje README.md, ukazuje na .ai/README.md, jmenuje výchozí profil a workflow životního cyklu a nenese žádné vlastní pravidlo. Jeho první řádek je razítko uvádějící příkaz, který jej vytvořil, hash politiky, ze které vzešel, a hash jeho vlastního obsahu. Adaptéry překládají; nepřidávají pravidla — pravidlo, které existuje pro jednoho poskytovatele a pro jiného ne, je z definice chyba politiky a doctor shodí generovaný soubor, který si narostl korpus pravidel.

Jak to vidět

majordomus update && sha256sum CLAUDE.md
majordomus update && sha256sum CLAUDE.md   # identical hash; output says "unchanged CLAUDE.md"

Co nepokrývá

majordomus update promítá záměrně úzkou podmnožinu politiky — rozpočet, tabulku profilů, umístění stavu, smlouvu o dokončení, pravidlo polí identity — a vypíše, co se nepromítá. Neslučuje existující ručně psaný instrukční soubor; co se při prvním použití přesune do těla, rozhodujete vy.

Proč existuje

V jednom pracovním prostoru zhruba dvaceti repozitářů sdílely instrukční soubory dvou AI nástrojů ve stejném repozitáři mezi žádným a desetinou obsahu. Nebyly to duplikáty; byly to disjunktní příručky pravidel a která platila, záleželo na tom, který nástroj byl otevřen.

Detail vykreslený z docs/claims/projection-generation.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Instrukční soubory providerů se generují z jediné politiky, deterministicky

    Vytvořeno na Policy, Projection.

  2. 2 · kanonické tvrzení

    projection-generationdeklarovaný 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/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.