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.

Checkpoint je záznam průběhu s omezenou velikostí a vypočtenou identitou; tělo nad limit je odmítnuto, ne zkráceno

majordomus checkpoint zapíše, co platí právě teď: několik řádků uvnitř aktivní úlohy, s vypočtenou identitou v gitu. Zapisuje se často. Předávka se zapisuje zřídka, má povinné sekce a je balíkem, ze kterého jiný worker pokračuje. Jsou to dva různé objekty a limit je to, co je udržuje odlišné.

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

Strop je to, co odlišuje checkpoint od předávky. Mód 0600, vytvořeno atomicky, nikdy se nestaguje.

Co to znamená

majordomus checkpoint zapíše, co platí právě teď — pár řádků, uvnitř aktivní úlohy — s vypočtenou git identitou. Zapisuje se často. Předávka se zapisuje zřídka, má povinné sekce a je balíčkem, z něhož jiný worker pokračuje. Jsou to dva různé objekty a limit je to, co je drží různé.

Princip

Tělo přichází na stdin a kontroluje se proti checkpoint.max_body_lines. Nad limitem je odmítnuto, ne zkráceno, a chyba říká, ať se místo toho napíše předávka. Zkrácení by vyrobilo záznam, který se čte jako úplný a není.

Front matter počítá stejný pomocník, jaký používá předávka: verzi schématu, časové razítko, úlohu, profil, vlastníka, id repozitáře, worktree, branch, head, stav pracovního stromu a změněné soubory. Tělo obsahující kterékoli z těchto polí je odmítnuto — próza si identitu psát nesmí.

Soubor se vytvoří pomocí link do state/checkpoints/ s režimem 0600, takže nikdy nepřepisuje a nikdy se nestaguje. checkpoint_at v záznamu úlohy se posune a do knihy se připojí událost task.checkpoint nesoucí cestu záznamu.

Prázdné tělo nezapíše žádný soubor a aktualizuje jen checkpoint_at, což je přesně to, co dělá check --checkpoint. Je to tatáž operace; checkpoint je ta, která umí říct i to, co bylo pravda.

Kontrolní bod patří své úloze: --show najde nejnovější pro aktivní úlohu v tomto worktree a větvi a po zahájení nové úlohy nevrátí nic. --list stále ukazuje každý záznam, protože úložiště je jen pro připisování.

Jak to vidět

majordomus checkpoint <<'NOTE'
State mismatch reproduced with test/fixtures/callback.json.
The cause is in normalisation, not in the comparison.
Next: regression test before touching the implementation.
NOTE
# .ai/local/state/checkpoints/20260903T194500Z--main--3f2a9c1--8c1d0e4a2b6f9317.md

majordomus checkpoint --show
stat -f %Lp .ai/local/state/checkpoints/*.md   # 600

# the cap refuses rather than truncates
yes line | head -100 | majordomus checkpoint; echo $?   # 10

Co nepokrývá

Checkpoint za vás nic nezapíše. Majordomus relaci neshrnuje a nebude: chcete-li, aby poznámku napsal model, nechte ji napsat pracovníka a pošlete ji rourou.

Strop je počet řádků, ne úsudek. Čtyřicetiřádkový checkpoint, který nic neříká, projde.

Retence se hlásí, nevynucuje: checkpoint.retention_max_files způsobí, že doctor a watch ohlásí, když úložiště přeroste limit. Nic se automaticky nemaže.

Proč existuje

Bez krátkého záznamu drží mezera mezi „záznam úlohy se pohnul“ a „byla napsána předávka“ vše, co se worker naučil, a to je přesně interval, ve kterém relace umírají. Bez stropu checkpointy narůstají v reporty, reporty jsou příliš dlouhé na citování do briefingu a briefing degraduje na ukazatel — což je místo, kde nástroj začínal, než existoval kterýkoli záznam.

Detail vykreslený z docs/claims/checkpoint-record.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Checkpoint je záznam průběhu s omezenou velikostí a vypočtenou identitou; tělo nad limit je odmítnuto, ne zkráceno

    Vytvořeno při Continuity, State.

  2. 2 · kanonické tvrzení

    checkpoint-recorddeklarovaný 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/checkpoint.sh · majordomus checkpoint

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

    Test: test/cases/20_checkpoint.sh

    Provedeno v Dělejte checkpointy dlouhé práce, aby zastavení stálo minuty, ne celý den, Čtěte jen kontext, který se vejde do rozpočtu, a vězte, co bylo vynecháno.

  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 20_checkpoint

Kde se toto tvrzení používá

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

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