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.

Vrstva AI repozitáře je jeden adresář, jehož manifest jmenuje každou sekci a lze jej číst bez nástroje

Vše, co Majordomus o repozitáři ví, žije pod .ai/: .ai/manifest.yaml jmenuje schéma a každou sekci vrstvy, .ai/repo/ drží sledovaný kanonický kontext (politiku, profily, pravidla, prompty, workflow, znalosti, model projektu) a .ai/local/ drží vlastní stav tohoto checkoutu. Vrstvu může číst člověk nebo jiný nástroj jen se správcem souborů, protože manifest říká, co který adresář je, a .ai/README.md říká, jak číst.

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

init zasévá .ai/ ze skeletonu a nic dalšího; žádný hook, žádný shellový soubor, žádná instalace nástrojů. doctor selže na sekci, kterou manifest jmenuje a která chybí, a na klíč manifestu, který nic nečte.

Co to znamená

Vše, co Majordomus o repozitáři ví, žije pod .ai/: .ai/manifest.yaml pojmenovává schéma a každou sekci vrstvy, .ai/repo/ drží trackovaný kanonický kontext (politika, profily, pravidla, prompty, workflow, znalosti, projektový model) a .ai/local/ drží vlastní stav tohoto checkoutu. Člověk nebo jiný nástroj může vrstvu číst jen se správcem souborů, protože manifest říká, co je který adresář, a .ai/README.md říká, jak číst.

Princip

lib/init.sh zkopíruje vrstvu z share/skeleton/ai/ a nasadí vendorovaný balíček pravidel; nevytvoří nic mimo .ai/ kromě jednoho ignorovacího řádku v .gitignore, a nenainstaluje žádný hook, žádný shellový soubor ani kopii nástroje. lib/common.sh převádí každou cestu, kterou příkazy čtou nebo zapisují, z manifestu (mj_resolve_layout), takže sekce, kterou manifest nejmenuje, není sekce. doctor selže na sekci, kterou manifest jmenuje a chybí, na klíči manifestu, který nic nečte, a na čemkoli pod .ai/local/, co je sledováno.

Jak to vidět

majordomus init
cat .ai/manifest.yaml            # schema: ai-repository/v1, then one line per section
rm -r .ai/repo/workflows
majordomus doctor                # FAIL layout .ai/repo/workflows — named by the manifest as section 'workflows' but absent

Co nepokrývá

Manifest pojmenovává sekce, ne jejich obsah: soubor pravidla, který se nenačte, nebo profil s neznámým klíčem odhalí kontrola, která ten soubor čte, ne kontrola rozvržení. Nic z toho neříká, zda je kontext ve vrstvě dobrý, jen že je tam, kde manifest říká.

Proč existuje

Alternativou je nástroj, jehož data se dají najít jen jeho spuštěním. Pak je každý jiný nástroj a každý člověk bez spustitelného souboru zamčen venku z provozního kontextu vlastního repozitáře a vrstva nepřežije nástroj, který ji napsal. test/cases/01_init.sh dokazuje čerstvé rozložení soubor po souboru a test/cases/65_tool_root_independence.sh dokazuje, že vrstva je stejná, ať ji čte kterákoli kopie nástroje.

Detail vykreslený z docs/claims/ai-layer-manifest.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Vrstva AI repozitáře je jeden adresář, jehož manifest jmenuje každou sekci a lze jej číst bez nástroje

    Vytvořeno na Context, Layer.

  2. 2 · kanonické tvrzení

    ai-layer-manifestdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · docs/SCHEMAS.md

  3. 3 · implementace

    lib/init.sh · majordomus init

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

    Test: test/cases/01_init.sh

    Provedeno v Trace a change to the context documents it affects, Decide what belongs in the AI context, as data, Move a repository from the pre-.ai layout to the layer.

  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 01_init

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.