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ů jsou tenké bootstrapy, které odkazují na vrstvu AI a nenesou žádné vlastní pravidlo

CLAUDE.md, AGENTS.md, GEMINI.md a každý další cíl, který politika jmenuje, se generují a každý říká totéž stručně: přečti README.md, pak .ai/README.md, následuj jeho protokol zjišťování, spusť majordomus context a najdi životní cyklus pod workflow vrstvy. Žádné pravidlo nežije v souboru poskytovatele. Člověk se k vrstvě dostane přes README.md a AGENTS.md; worker přes vlastní bootstrap; oba dorazí ke stejnému .ai/.

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

Každá projekce jmenuje .ai/README.md, README.md jmenuje AGENTS.md a doctor selže na projekci, která si vypěstovala vlastní sekci pravidel nebo jmenuje id pravidla, které efektivní sada neposkytuje (případ 899). Člověk i worker se k téže vrstvě dostanou týmiž dvěma kroky.

Co to znamená

CLAUDE.md, AGENTS.md, GEMINI.md a každý další cíl, který politika pojmenuje, jsou generovány a každý říká totéž krátce: přečti README.md, pak .ai/README.md, následuj jeho protokol objevování, spusť majordomus context a životní cyklus najdeš pod workflow vrstvy. Žádné pravidlo nežije v souboru poskytovatele. Člověk dosáhne vrstvy přes README.md a AGENTS.md; pracovník přes vlastní bootstrap; oba dorazí do téhož .ai/.

Princip

lib/update.sh vykreslí každý cíl z adaptéru pod share/providers/ distribuce (nebo z vlastního přepsání repozitáře v jeho sekci providerů), opatří ho hashem politiky a hashem obsahu a zapíše ho atomicky. Doktrína majordomus.bootstrap-integrity, spouštěná z doctor a watch, prokazuje řetěz při každém běhu: README.md jmenuje AGENTS.md, každá projekce jmenuje .ai/README.md a generovaný soubor, který si narostl vlastní korpus pravidel, selže. Selže i takový, který jmenuje pravidlo, jež repozitář nemá: každé id pravidla, které generovaný obsah jmenuje (<namespace>.<slug>, volitelně @<version>, mimo ohraničený blok), se musí rozřešit v efektivní sadě, kterou vypisuje majordomus rules list, a každé, které ne, je nález rule-refs jmenující soubor, řádek a id: WARN s majordomus update jako příkazem k reprodukci, když řádek napsala starší šablona a současná už ne, takže upgrade nikdy neodmítne commit, a FAIL, když id jmenuje sama současná šablona nebo byl řádek napsán ručně (test/cases/899_a_bootstrap_names_only_rules_in_force.sh). Vždy načtená projekce také zůstává v řádkovém rozpočtu politiky, což z bootstrapu drží bootstrap.

Jak to vidět

majordomus update
grep -l '\.ai/README\.md' CLAUDE.md AGENTS.md GEMINI.md     # all three
majordomus doctor | grep bootstrap                            # OK bootstrap README.md — names AGENTS.md; OK bootstrap 3 projection(s) — each points at .ai/README.md
printf '\n### Rules\n\n- **English only** in code.\n' >> AGENTS.md
majordomus doctor   # FAIL bootstrap AGENTS.md — carries a rule corpus of its own (a profile table, rule bullets or a rules section); rules live under .ai/repo/rules/

Co nepokrývá

Bootstrap může jen odkazovat. Zda worker odkaz následuje, čte pravidla a spouští context, nelze pozorovat zvenčí workera, a proto vynucování nespočívá na bootstrapu, ale na samotných pravidlech a smlouvě o dokončení.

Proč existuje

Dvě kopie příručky pravidel se rozcházejí a kopie v souboru poskytovatele je ta, kterou nikdo nerevidouje. Když tělo poskytovatele neslo pravidla, každá změna pravidla znamenala regenerovat každou projekci a věřit, že mezitím žádného poskytovatele nikdo ručně neupravil. S pravidly ve vrstvě a projekcemi zredukovanými na ukazatele existuje jedno místo, kde pravidlo může být, a test/cases/03_update.sh dokazuje, že projekce říkají, kde je.

Detail vykreslen z docs/claims/bootstrap-chain.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Instrukční soubory providerů jsou tenké bootstrapy, které odkazují na vrstvu AI a nenesou žádné vlastní pravidlo

    Vytvořeno na Policy, Projection.

  2. 2 · kanonické tvrzení

    bootstrap-chaindeklarovaný 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.