Dělat u dlouhé práce kontrolní body, aby zastavení stálo minuty, ne celý den

setup: active-task
given:
  - 'an active task scoped to lib, with work done inside that scope'
steps:
  - id: checkpoint
    run: ['checkpoint']
    stdin: checkpoint-body.md
    note: 'a capped progress record; its branch and head are computed from git, never written by hand'
    expect:
      exit: 0
      stdout_contains: ['\.ai/local/state/checkpoints/']
  - id: fresh
    run: ['check']
    note: 'the checkpoint is fresh against the profile interval and the task is consistent with git'
    expect:
      exit: 0
      stdout_contains: ['0 failing']
  - id: resume
    run: ['context']
    note: 'the newest checkpoint is part of what the next worker reads'
    expect:
      exit: 0
      stdout_contains: ['^## TASK', 'checkpoint']
then:
  - 'the checkpoint file carries the branch and head it was written at'
  - 'check reports the checkpoint age against the profile interval'
  - 'context names the task and its newest checkpoint'

Scénář

Provedeno proti skutečnému nástroji v repozitáři připraveném pomocí active-task, při každém generování tohoto webu. To, co následuje, není popis toho, co by se mělo stát; je to to, co se stalo.

Co nástroj udělal

Důkaz běhu, z něhož byla tato stránka vygenerována: pass, 3 kroky. Výstup je normalizován: cesta k repozitáři, časová razítka, id a doby trvání jsou zástupné hodnoty; nic dalšího se neupravuje.

Testováno v test/cases/94_use_cases.sh, který spouští každý scénář a odmítne krok, jehož zaznamenaný výstup není tím, co vyprodukoval.

1. 1$ majordomus checkpoint exit 0< checkpoint-body.md

   omezený záznam o postupu; jeho větev a head se počítají z gitu, nikdy nepíší ručně

   .ai/local/state/checkpoints/<time>--main--<head>--<hash>.md

   • exit 0
   • stdout_contains /\.ai/local/state/checkpoints//
2. 2$ majordomus check exit 0

   kontrolní bod je čerstvý vůči intervalu profilu a úloha je konzistentní s gitem

   OK   knowledge   records — 0 record(s) valid against knowledge/v1; every reference resolves  [reproduce: majordomus knowledge check]
   ·    checkpoint  t-<id> — <timed against the checkpoint interval>
   INFO checkpoint  .ai/local/state/checkpoints/<time>--main--<head>--<hash>.md — newest record, <age> ago  [reproduce: majordomus checkpoint --show]
   OK   records     ledger.jsonl — every line is a well-formed event
   OK   blockers    t-<id> — none open
   OK   records     decisions.md — every entry is attributable
   OK   scope       t-<id> — 1 touched file(s), all within scope
   OK   state       t-<id> — exact (head <head>)
   INFO mesh        t-<id> — the repository declares no enabled mesh
   INFO use-case    30 advisory gap(s) — not covered by an active use case, and the policy does not require it: command:init command:update command:doctor command:watch command:start command:context command:checkpoint command:handover command:check command:finish command:history command:decision command:question command:prompt command:evidence command:skills command:capture command:search command:doctrine command:plan command:version command:session command:knowledge command:adr command:usecase command:rules command:migrate command:recover command:bench command:archive  [reproduce: majordomus usecase coverage]
   OK   use-case    0 of 30 target(s) covered — every public command the policy requires is named and run by an active use case (policy use_cases.coverage)
   INFO obligation  t-<id> — the task declares no obligations
   INFO gate        t-<id> — this repository declares no CI model at .ai/repo/ci/gates.yaml; nothing can be planned
   check: 13 finding(s), 0 failing

   • exit 0
   • stdout_contains /0 failing/
3. 3$ majordomus context exit 0

   nejnovější checkpoint je součástí toho, co čte další worker

   # Majordomus context — <time>
   # a projection of durable state, not a source of truth: validate every line against git
   
   ## GIT
   repository   <repo>
   branch       main
   head         <sha>
   working_tree dirty
   task_record  exact (recorded head <head>)
   
   ## TASK
   id           t-<id>
   task         narrow the parser
   profile      implementation
   owner        <owner>
   outcome      active
   scope        lib
   started      <time> (<age> ago)
   checkpoint   <time> (<age> ago, interval 15m)
   
   ## PROFILE implementation
   capability   standard
   effort       medium
   verbosity    concise
   presentation engineering
   verification verify command
   output       outcome, changes, verification, blockers, next_action
   
   ## CONTEXT DOCUMENTS (for the scope, root first; majordomus context explain <path>)
   lib  ai.layer
   
   ## KNOWLEDGE (candidates awaiting review on this branch; majordomus knowledge candidates)
   No knowledge candidates await review on this branch. That is an answer, not a gap: `majordomus knowledge candidates` lists every branch.
   
   ## DECISIONS (5 most recent for this task)
   (none)
   
   ## LATEST CHECKPOINT (.ai/local/state/checkpoints/<time>--main--<head>--<hash>.md, <age> ago, exact)
   the parser now refuses tabs; the message names the column
   
   ## FILES TOUCHED IN SCOPE (1)
   lib/a
   
   ## EXCLUDED
   - handover — no record for this worktree and branch — absence, not a stale match
   - history — profile implementation sets context.recent_history_depth: 0
   
   ## BUDGET
   49 of 300 lines

   • exit 0
   • stdout_contains /^## TASK/
   • stdout_contains /checkpoint/

Proč to nástroj ví

Řetězec od této stránky ke kódu: případ užití jmenuje příkazy, pravidla a tvrzení; každé pravidlo se dispatchuje z registru a každé tvrzení jmenuje test, který ho dokazuje; scénář výše provedl příkazy. Nic v tomto řetězci není text o záměru.

• majordomus checkpointZaznamenat stručný průběh uvnitř aktivní úlohy, aby další pracovník nezačínal znovu.
• majordomus checkJe aktuální úloha stále konzistentní se svou politikou, rozsahem a tímto checkoutem?
• majordomus contextCo potřebuje vědět další worker právě teď, v pořadí podle autority a v rámci rozpočtu.

Pravidla, díky nimž platí

• !poradní Aktuálnost checkpointuÚloha, jejíž poslední checkpoint je starší než interval jejího profilu, se hlásí, ne zastavuje.
• ✕blokující Konzistence stavuZáznam úlohy stále popisuje tento checkout — stejná branch a HEAD na zaznamenaném commitu nebo před ním.
• !doporučení Kontinuita úlohyÚloha dokončená jako částečná nebo blokovaná by měla zanechat záznam předávky, ne jen sekci poznámek.

Uplatněné záruky

• ○zaručeno Pole identity na každém záznamu stavu se počítají z gitu a nikdy se nepíšou
• ○zaručeno check hlásí, zda jsou stav, rozsah, blokátory a stáří checkpointu právě teď konzistentní
• ○zaručeno Checkpoint je záznam průběhu s omezenou velikostí a vypočtenou identitou a tělo přesahující limit se odmítne, nikoli zkrátí
• ○zaručeno Každé úložiště kontinuity je prokazatelně dosažitelné přes svůj vlastní příkaz, a ne jen přítomné na disku

Související případy užití

Vypočteno z toho, co sdílejí: tvrzení, pravidla, příkazy, kategorie, aplikace. Tento seznam nikdo neudržuje.

• Předat nedokončenou práci další relaciZastavte se uprostřed úlohy a zanechte dalšímu pracovníkovi něco, na co lze navázat a co není přepis.
• Čtěte jen kontext, který se vejde do rozpočtu, a vězte, co se zahodiloSestavte kontext, který worker potřebuje právě teď, v pořadí autority, oříznuté na rozpočet řádků, a podívejte se na každou zahozenou sekci jmenovanou s důvodem.
• Navažte ve správném worktree, nikdy proti cizí úlozeNajděte předávku, která patří tomuto worktree a větvi, a podívejte se, jak se záznam úlohy z jiného checkoutu ohlásí jako cizí, místo aby se tady vynucoval.
• Provozovat několik workerů v jednom repozitáři, aniž by se sraziliDejte každému workeru deklarovaný rozsah a zjistěte okamžitě, když dva z nich nárokují stejné cesty.
• Rozhodnout, zda je dokončená práce skutečně dokončenáVyhodnoťte kontrakt řádek po řádku, místo abyste přijali větu, která tvrdí, že je práce hotová.

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

• → našel úlohu "in progress", které se tři týdny nikdo nedotkl Stav, který byl napsán, a ne spočítán, platí v okamžiku zápisu a odtud tiše zastarává.
• → přišel o selhání, které pracovník už reprodukoval, protože relace skončila Selhání pozorované uvnitř relace je popsáno v této relaci a nikde jinde, takže další začíná od hlášení, ne od důkazu.