Přečíst zpětně, co se stalo, a držet knihu záznamů v limitu

setup: active-task-records
given:
  - 'an active task that has already produced a checkpoint, a decision and an open question'
steps:
  - id: history
    run: ['history']
    note: 'the ledger read back oldest first, one event per line, from a closed vocabulary'
    expect:
      exit: 0
      stdout_contains: ['task.started', 'task.checkpoint', 'decision.recorded']
  - id: by-event
    run: ['history', '--event', 'task.checkpoint']
    note: 'only the events of one kind'
    expect:
      exit: 0
      stdout_contains: ['task.checkpoint']
      stdout_not_contains: ['decision.recorded']
  - id: valid
    run: ['history', '--validate']
    note: 'every line is a well-formed event; a malformed line would be a failure, not a skipped record'
    expect:
      exit: 0
      stdout_contains: ['every event is registered', 'history --validate: ok']
  - id: find
    run: ['search', 'parser']
    note: 'a durable record found literally, across kinds, without an index'
    expect:
      exit: 0
      stdout_contains: ['^decision ', '^checkpoint ', 'match']
  - id: caps
    run: ['watch']
    note: 'the ledger, the handovers and the checkpoints are under their retention caps'
    expect:
      exit: 0
      stdout_contains: ['^OK   retention   ledger', '^OK   retention   checkpoints', '0 drift finding']
then:
  - 'every event has a name from the closed vocabulary'
  - 'the ledger is never silently repaired or truncated'
  - 'rotation archives, it does not delete'

Scénář

Provedeno proti skutečnému nástroji v repozitáři připraveném pomocí active-task-records, 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, 5 kroků. Výstup je normalizován: cesta repozitáře, č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 history exit 0

   účetní kniha čtená zpět od nejstaršího, jedna událost na řádek, z uzavřeného slovníku

   <time>  projections.updated -                      <head>  targets=3
   <time>  task.started        t-<id>  <head>  profile=implementation scope=lib
   <time>  task.checkpoint     t-<id>  <head>  <time>--main--<head>--<hash>.md
   <time>  decision.recorded   t-<id>  <head>  refuse tabs in the parser
   <time>  question.opened     t-<id>  <head>  should tabs be an error or a warning?

   • exit 0
   • stdout_contains /task.started/
   • stdout_contains /task.checkpoint/
   • stdout_contains /decision.recorded/
2. 2$ majordomus history --event task.checkpoint exit 0

   jen události jednoho druhu

   <time>  task.checkpoint     t-<id>  <head>  <time>--main--<head>--<hash>.md

   • exit 0
   • stdout_contains /task.checkpoint/
   • stdout_not_contains /decision.recorded/
3. 3$ majordomus history --validate exit 0

   každý řádek je správně utvořená událost; poškozený řádek by byl selhání, ne přeskočený záznam

   OK   ledger      5 lines — every line carries ts and event, and every event is registered
   history --validate: ok

   • exit 0
   • stdout_contains /every event is registered/
   • stdout_contains /history --validate: ok/
4. 4$ majordomus search parser exit 0

   trvalý záznam nalezený doslovně, napříč druhy, bez indexu

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

   • exit 0
   • stdout_contains /^decision /
   • stdout_contains /^checkpoint /
   • stdout_contains /match/
5. 5$ majordomus watch exit 0

   ledger, předávky a checkpointy jsou pod svými stropy uchovávání

   OK   knowledge   graph — buildable here: 101 node(s), 58 edge(s), compiled into a temporary file and removed; no stored index to go stale
   OK   layout      .ai/manifest.yaml — schema ai-repository/v1
   OK   layout      .ai/repo/scope.yaml — version 1; 14 in pathspec(s); every key is one the schema declares
   OK   layout      .ai/local/ — ignored, and nothing under it is tracked
   OK   layout      .ai/ — every section the manifest names exists; the layer is readable without the tool
   ·    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   policy      39 key(s) — every policy value the code reads is declared, with no reader-side default
   OK   bootstrap   3 projection(s) — each points at .ai/README.md, carries no rule of its own and names only rules in force
   OK   catalogue   0 use case(s), 0 application(s) — every command, doctrine, claim, responsibility, category, setup and cross-reference resolves, both directions
   OK   context     .ai/ — 19 context document(s) carry the contract; ids unique, references resolve, no final document superseded, no cycle  [reproduce: majordomus context validate]
   OK   policy      policy+profiles — match the last update (<hash12>)
   INFO adr         .ai/repo/adrs/ — no decisions; nothing to validate
   OK   records     decisions.md — every entry is attributable
   INFO project     .ai/repo/project — no canonical project model here; nothing to validate
   OK   command     surface — 30 public command(s), reconciled against the dispatch table  [reproduce: majordomus doctor]
   OK   command     coverage — every public command is exercised and refuted  [reproduce: bash test/run.sh 31_command_coverage]
   OK   resolver    handovers — no record for this worktree and branch (absence, not a stale match)  [reproduce: majordomus handover --resolve]
   OK   lifecycle   activity — 0 episode(s) opened here; too few to judge whether the writers stopped
   OK   knowledge   wiring — the close path and the compaction adapter call the deriver
   OK   knowledge   deriver — no episode has closed here; nothing to judge
   INFO project     .ai/repo/project — no canonical project model here; nothing to validate
   OK   projection  AGENTS.md — content matches its stamp
   OK   projection  CLAUDE.md — content matches its stamp
   OK   projection  GEMINI.md — content matches its stamp
   OK   context     builder — 58 lines, budget 300  [reproduce: majordomus context]
   OK   capture     share/schemas/majordomus/capture/capture.v1 — 2 file(s) describe majordomus.capture/v1 at the path the identifier derives: the record as JSON Schema, the document as protobuf
   OK   capture     .ai/local/prompts — ignored and untracked
   OK   capture     .ai/local/prompts — no records yet; the archive is empty
   OK   capture     .ai/local/prompts — every prompt is present as all three: the record, the Markdown and the YAML
   OK   prompts     .ai/local/prompts — the archive and every record in it are readable by their owner only
   OK   prompts     .ai/local/prompts — no records yet; the archive is empty
   OK   prompt      4 asset(s) — front matter valid, every token known
   OK   records     open-questions.md — every entry parses
   OK   retention   ledger — 5 lines, cap 5000
   OK   retention   handovers — 0 files, cap 200
   OK   retention   checkpoints — 1 files, cap 500
   OK   retention   sessions — 0 records, cap 500
   INFO project     .ai/repo/project — no canonical project model here; nothing to validate
   OK   rules       .ai/repo/rules/vendor/majordomus — every file matches the manifest (1 (1.0.0-alpha.4))
   OK   rules       61 rule(s) — resolve in one deterministic order; vendored baseline plus project rules, no override — 51 carry a validator, 10 are normative text this tool does not check
   OK   rules       blocking — all 44 blocking rule(s) carry a validator
   OK   schema      rules — 61 rule(s) resolve in one order: the vendored baseline in manifest order, then the project's, as a dependency graph
   OK   schema      share/kinds.yaml — 36 kind(s); every one that carries metadata declares a schema
   OK   schema      share/schemas — 53 schema(s), each valid JSON and each applied — by a kind, through an allow-list the tool reads, by a validator that names it, or as a generated document's contract (15)
   OK   scope       t-<id> — 1 touched file(s), all within scope
   OK   session     .ai/local/session-contexts — ignored and untracked
   OK   session     .ai/local/session-contexts — no working contexts yet; the store is empty
   INFO skill       .ai/repo/skills/ — no skills; nothing to validate
   OK   state       t-<id> — exact (head <head>)
   ·    budget      watch — <timed against the policy budget>
   OK   state       t-<id> — active; scope, checkpoint, blockers and records reported above
   ·    checkpoint  <time>--main--<head>--<hash>.md — <timed against the checkpoint interval>
   watch: 0 drift finding(s)

   • exit 0
   • stdout_contains /^OK retention ledger/
   • stdout_contains /^OK retention checkpoints/
   • stdout_contains /0 drift finding/

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 historyPřečte zpět ledger jen pro připojování, filtrovaný podle úlohy, události nebo času.
• majordomus searchNajít trvalý záznam, aniž by se četly všechny, v pořadí podle autority.
• majordomus watchCo se od poslední aktualizace rozjelo: politika, projekce, stav, uchovávání.

Pravidla, díky nimž platí

• ✕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ý.
• ✕blokující Limity uchováváníLedger, předávky, checkpointy a záznamy relací zůstávají pod limity, které stanoví politika, takže trvalý stav neroste bez omezení.

Uplatněné záruky

• ○zaručeno Každý řádek append-only účetní knihy je dobře utvářená událost a poškozený řádek je selhání, nikoli přeskočený záznam
• ○zaručeno Ledger určený jen k připojování a úložiště předávek mají stropy uchovávání, které se kontrolují
• ○zaručeno Ledger lze přečíst zpět jako provozní historii, filtrovanou podle úlohy, události a času
• ○zaručeno Rotace ledgeru archivuje nejstarší řádky a nikdy je nemaže
• ○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.

• Zaznamenat rozhodnutí, aby ho příští worker našelZapište, co se rozhodlo a proč, jako stav, a pak to znovu najděte bez čtení konverzace.
• 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ě.
• 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.
• Uchovat, co se epizoda naučila, bez modelu a bez konverzaceZaznamenat rozhodnutí uvnitř epizody, odvodit ho z knihy do kandidátního záznamu znalostí, přečíst důkaz, že odvození proběhlo, a sledovat, jak druhé odvození nezmění nic.

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

• → se zeptal, co pracovníci dělali včera v noci, a měl jen přepisy k prohledání Log konverzace zaznamenává, co bylo řečeno, ne co se stalo, takže na provozní otázku musí odpovědět člověk čtoucí prózu.
• → našel hotovou práci na větvi, kterou nikdo nikdy nemergoval Workeři vyprodukují mnohem víc, než integrace pojme, a nic nerozlišuje práci hotovou od práce hotové a přistálé.
• → 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.
• → se zeptal, kam milník dospěl, a musel se jít ptát čtyř lidí Pokrok je agregát, který existuje jen v lidech, protože části, které agreguje, se nikdy nezaznamenaly ve tvaru, který by šel sečíst.
• → nedokázal říct, proč byl pro tuto práci použit jeden poskytovatel a pro jinou druhý Výběr poskytovatele a modelu se dělá implicitně, pro každou relaci zvlášť, a nikde se nezaznamenává, takže ho nelze zrevidovat ani zopakovat.
• → se podíval na účet a nedokázal říct, co z něj cokoli vyprodukovalo Spotřeba se měří po účtech a výsledky se zaznamenávají po lidech, takže je nelze nikdy spojit.
• → 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.
• → 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.