Cesta k worktree větve se odvozuje jen z identity gitu a názvu větve — sourozenec primárního checkoutu pojmenovaný s -wt, potom větev se zachovanou hierarchií — a z každého adresáře každého worktree je odpověď stejná, bez čehokoli registrovaného či konfigurovaného

deklarovaný stav○deklarovaný 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ůkazy○zaznamenané 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

Identitou je společný adresář gitu a hlavní worktree, který git uvádí jako první, nikdy aktuální adresář, takže propojený worktree neodvozuje kontejner sám v sobě. Název větve se validuje referenčními pravidly gitu a odvozená cesta se při každém volání dokazuje, že zůstává pod kontejnerem. Každý registrovaný worktree dostane postavení a každá podmínka stabilní kód s nápravou; čtyři schopnosti worktree.* promítají stejnou typovanou topologii do MCP, HTTP, OpenAPI, Swagger UI a Cockpitu a pre-commit hook se ptá hlídače.

majordomus worktree path feature/providers/streaming   # <repo>-wt/feature/providers/streaming
cd "$(majordomus worktree root)"/feature/x && majordomus worktree root   # the same container
majordomus worktree topology --format json | jq .worktrees[].standing

Detail vykreslen z docs/claims/worktree-topology-derived.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   Cesta k worktree větve se odvozuje jen z identity gitu a názvu větve — sourozenec primárního checkoutu pojmenovaný s -wt, potom větev se zachovanou hierarchií — a z každého adresáře každého worktree je odpověď stejná, bez čehokoli registrovaného či konfigurovaného

   Vytvořeno v Worktrees.

2. 2 · kanonické tvrzení

   worktree-topology-derived○deklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

3. 3 · implementace

   apps/majordomus-cli/src/worktree/path.rs

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

   Test: test/cases/96_worktree_topology.sh

   Provedeno v Práce na větvi v jediném worktree, do kterého patří.

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.

bash test/run.sh 96_worktree_topology

Kde se toto tvrzení používá

Okamžiky, na které to odpovídá

• → našel pět worktrees a nedokázal říct, na kterých ještě záleží Izolace se vytváří levně, ale špatně se o ní uvažuje: nic nezaznamenává, k čemu worktree sloužil ani zda jeho práce přistála.