Zaznamenat rozhodnutí, aby ho další pracovník našel

setup: active-task
given:
  - 'an active task scoped to lib'
steps:
  - id: decide
    run: ['decision', 'add', 'refuse tabs in the parser', '--why', 'two encodings for one token']
    note: 'what was decided, why, and which task decided it; superseded by a later entry, never edited'
    expect:
      exit: 0
      stdout_contains: ['recorded: refuse tabs in the parser']
  - id: read-back
    run: ['decision', 'list']
    note: 'the decisions of this branch, newest first'
    expect:
      exit: 0
      stdout_contains: ['refuse tabs in the parser', 'Why: two encodings']
  - id: find-it
    run: ['search', 'tabs']
    note: 'a literal scan over the durable records, no index'
    expect:
      exit: 0
      stdout_contains: ['decision', 'match']
  - id: what-happened
    run: ['history']
    note: 'the ledger names the event and the task'
    expect:
      exit: 0
      stdout_contains: ['decision.recorded', 'task.started']
then:
  - 'a decision is one line of state with an author, a task and a reason'
  - 'nothing has to be re-explained to the next session'

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ůkazy o běhu, ze kterého byla tato stránka vygenerována: pass, kroků: 4. Výstup je normalizovaný: cesta k repozitáři, časová razítka, identifikátory 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 decision add 'refuse tabs in the parser' --why 'two encodings for one token' exit 0

   co bylo rozhodnuto, proč a která úloha o tom rozhodla; nahrazuje se pozdější položkou, nikdy se neupravuje

   recorded: refuse tabs in the parser

   • exit 0
   • stdout_contains /recorded: refuse tabs in the parser/
2. 2$ majordomus decision list exit 0

   rozhodnutí této větve, nejnovější první

   ## <date> — refuse tabs in the parser
   Task: t-<id>
   Head: <sha>
   Why: two encodings for one token
   Rejected: -
   Evidence: -
   Supersedes: -

   • exit 0
   • stdout_contains /refuse tabs in the parser/
   • stdout_contains /Why: two encodings/
3. 3$ majordomus search tabs exit 0

   doslovné prohledání trvalých záznamů, bez indexu

   decision    .ai/local/state/decisions.md:13  ## <date> — refuse tabs in the parser
   history     .ai/local/state/ledger.jsonl:3  {"ts":"<time>","event":"decision.recorded","head":"<sha>","branch":"mai
   search: 2 match(es)

   • exit 0
   • stdout_contains /decision/
   • stdout_contains /match/
4. 4$ majordomus history exit 0

   ledger jmenuje událost a úlohu

   <time>  projections.updated -                      <head>  targets=3
   <time>  task.started        t-<id>  <head>  profile=implementation scope=lib
   <time>  decision.recorded   t-<id>  <head>  refuse tabs in the parser

   • exit 0
   • stdout_contains /decision.recorded/
   • stdout_contains /task.started/

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 decisionZaznamenat rozhodnutí učiněné mezi skutečnými alternativami s jeho důvodem a číst je zpět.
• majordomus searchNajít trvalý záznam, aniž by se četly všechny, v pořadí podle autority.
• majordomus historyPřečte zpět ledger jen pro připojování, filtrovaný podle úlohy, události nebo času.

Pravidla, díky nimž platí

• !poradní Záznamy rozhodnutíKaždá položka v decisions.md nese úlohu, hlavu a důvod, takže rozhodnutí může najít worker, který ho potřebuje.
• ✕blokující Integrita ledgeruKaždý řádek ledgeru jen pro připojování je dobře utvořená událost; jediný trvalý záznam, který nelze nijak jinak rekonstruovat, zůstává čitelný.

Uplatněné záruky

• ○zaručeno Ledger lze přečíst zpět jako provozní historii, filtrovanou podle úlohy, události a času
• ○zaručeno Rozhodnutí se zaznamenává s důvodem a úlohou a nahrazuje se pozdějším záznamem, neupravuje se
• ○zaručeno Trvalé záznamy se dají doslovně prohledávat napříč druhy, bez indexu
• ○zaručeno Slovník událostí ledgeru je uzavřený, při vstupu i při výstupu

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řečíst si, co se stalo, a držet ledger v mezíchPřečte ledger jen pro připojování jako provozní historii, filtrovanou podle úlohy a události, zvaliduje každý řádek a nejstarší řádky přesune do archivu místo smazání.
• Zaznamenat, co jeden worker udělal za jedno sezeníOtevřete relaci, pracujte pod úlohami, kterých se dotkne, a zavřete ji do obálky, která odkazuje na to, co vytvořila, a nic nekopíruje.
• Zjistit, co se rozešlo od doby, kdy se někdo naposledy podívalPtát se, co se pohnulo, místo toho, zda je něco špatně.
• Č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.
• Najděte objekt vrstvy, aniž byste četli všeHledejte trvalé záznamy doslovně napříč druhy z shellu a stejnou otázku položte sdílenému serveru přes MCP pomocí majordomus_search a majordomus_get.

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

• → sledoval, jak relace zrušila rozhodnutí z minulého týdne právě z toho důvodu, pro který vzniklo Rozhodnutí, jehož důvod žil v konverzaci, nelze posoudit, jen znovu rozebírat — workerem s méně informacemi, než měl ten první.
• → hledal, proč jsme to zvolili, a našel chatový log Rozhodnutí učiněné v relaci je uloženo tam, kde ho přečte jen ta relace, takže ho nelze ani zrevidovat, ani objevit.
• → našel kód, který odporoval rozhodnutí, jež si repozitář zapsal Rozhodnutí bylo zaznamenáno a implementace šla opačným směrem, protože nic nepropojuje rozhodnutí s cestami, kterým vládne.
• → sledoval workera, jak tráví den postupem, který už byl vyloučen Negativní výsledky tvoří většinu experimentálního výstupu a nikdo je nezaznamenává, takže se prostor hledání prochází znovu.
• → se zeptal, kdo změnu provedl a podle jaké politiky, a měl jen commit Atribuce končí u commitu, takže to, co změnu schválilo, co ji ověřilo a co ji řídilo, nelze obnovit.