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.

Projekce může vlastnit jen oblast mezi svými značkami a zbytek souboru ponechá nedotčený

Projekce deklarovaná s mode: region vlastní text mezi <!-- majordomus:begin <policy hash> <content hash> --> a <!-- majordomus:end --> a nic jiného. Vše mimo tyto dva řádky patří repozitáři, nikdy se nečte jako vstup a nikdy se nepřepisuje. update vloží vykreslené tělo do regionu; doctor a watch porovnávají tělo regionu s hashem obsahu v jeho vlastní značce, nikdy soubor.

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

Jak Majordomus převezme repozitář, který už má ručně psaný CLAUDE.md. Úprava mimo značky není nikdy drift; úprava uvnitř nich se zachytí. Poškozené značky se odmítnou, nehádají se.

Co to znamená

Projekce deklarovaná pomocí mode: region vlastní text mezi <!-- majordomus:begin <policy hash> <content hash> --> a <!-- majordomus:end --> a nic jiného. Vše mimo ty dva řádky patří repozitáři, nikdy se nečte jako vstup a nikdy se nepřepisuje. update vloží vykreslené tělo do oblasti; doctor a watch porovnávají tělo oblasti s hashem obsahu v jejím vlastním markeru, nikdy soubor.

Princip

lib/common.sh nese primitiva: mj_region_extract vrací aktuální tělo oblasti a rozlišuje chybějící začáteční značku od poškozených značek; mj_region_splice přestaví celý soubor kolem nového těla; mj_projection_mode nenastavené mode doplní na file, takže každá existující politika si zachová své chování. lib/update.sh vykreslí šablonu poskytovatele do oblasti a zapíše hash politiky a hash těla oblasti do začáteční značky. Neznámý režim je chyba politiky a končí kódem 10, místo aby se hádalo. lib/doctor.sh a lib/watch.sh čtou režim z politiky a porovnávají tělo oblasti s jeho značkou; kontroly rozpočtu, odkazů a počtů měří oblast a délku hostitelského dokumentu hlásí jen jako informaci, protože hostitele nástroj zkracovat nemá.

Jak to vidět

majordomus update                 # writes the region into CLAUDE.md
echo "a paragraph of my own" >> CLAUDE.md
majordomus doctor                 # ok — the edit is outside the region
sed -i '' 's/one active task/two active tasks/' CLAUDE.md
majordomus doctor
# FAIL projection  CLAUDE.md — content differs from its own stamp (hand-edited?)

Co nepokrývá

Nástroj nevytváří značky za vás v souboru, který nezapsal. Pokud chybí počáteční značka, update připojí oblast na konec souboru; kam v dokumentu oblast patří, je redakční rozhodnutí. Značky, které existují, ale jsou poškozené — začátek bez konce nebo konec před začátkem — se odmítnou, ne opraví.

Proč existuje

Repozitář, který už má ručně psaný CLAUDE.md, si musel vybrat mezi zachováním vlastního kořene správy a převzetím nástroje. mode: region volbu odstraňuje: autorský text zůstává závazný a generovaná dozorová sekce sedí uvnitř něj, označená jako každá jiná projekce.

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

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Projekce může vlastnit jen oblast mezi svými značkami a zbytek souboru ponechá nedotčený

    Vytvořeno na Policy, Projection.

  2. 2 · kanonické tvrzení

    region-projectiondeklarovaný 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/update.sh · majordomus update

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

    Test: test/cases/13_region_projection.sh

    Provedeno v Přijměte repozitář, který už má svá vlastní pravidla.

  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 13_region_projection

Kde se toto tvrzení používá

pokryté odpovědnosti

Související tvrzení stejná implementace

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