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.

Zpětně přečtený stav je vůči gitu označen jako exact, advanced, diverged nebo different_context

Kdykoli se čte záznam úlohy nebo předávka, jeho zaznamenaný head a větev se porovnají s aktuálním checkoutem a označí: exact (týž commit), advanced (zaznamenaný commit je předkem aktuálního, běžný pokrok), diverged (historie byla přepsána nebo je záznam zastaralý), different_context (jiná větev). Zastaralý stav se zjistí a pojmenuje, nikdy se mu slepě nevěří.

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

Co to znamená

Kdykoli se čte záznam úlohy nebo předávka, jeho zaznamenané head a branch se porovnají s aktuálním checkoutem a označí: exact (stejný commit), advanced (zaznamenaný commit je předek aktuálního — běžný postup), diverged (historie byla přepsána nebo je záznam zastaralý), different_context (jiná větev). Zastaralý stav se detekuje a pojmenuje, nikdy se mu tiše nevěří.

Princip

mj_git_label v lib/common.sh porovnává větve, pak commity, pak spouští git merge-base --is-ancestor <recorded> HEAD. check selže na diverged a different_context; handover --resolve vypíše štítek pod Git state: spolu se záznamem; watch hlásí obojí jako drift stavu.

Jak to vidět

majordomus start "t" --scope lib && git commit -qam step
majordomus check                      # OK state … — advanced (head …)
git checkout -b elsewhere && majordomus check   # FAIL state … — recorded on branch 'main', now on 'elsewhere'

Co nepokrývá

Štítek popisuje historii gitu, ne to, zda je obsah záznamu stále pravdivý. Sekce Current State může být chybná na commitu exact.

Proč existuje

Každé jiné zkoumané schéma „paměťových souborů“ nemělo vůbec žádný signál zastarání; poznámky nesly data ve svých názvech, která odporovala jejich obsahu, a nic nesrovnávalo ani jedno s gitem. Označování při čtení bylo jediným mechanismem, který učinil uložený stav bezpečným pro jednání.

Detail vykreslený z docs/claims/divergence-label.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Zpětně přečtený stav je vůči gitu označen jako exact, advanced, diverged nebo different_context

    Vytvořeno při Continuity, State.

  2. 2 · kanonické tvrzení

    divergence-labeldeklarovaný 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/common.sh

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

    Test: test/cases/04_start_check.sh

    Provedeno v Předejte nedokončenou práci další relaci, Pokračujte ve správném worktree, nikdy proti cizí úloze.

  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 04_start_check

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.