Zaznamenat, co jeden pracovník udělal v jednom sezení

setup: installed
given:
  - 'Majordomus installed, no session open'
steps:
  - id: open
    run: ['session', 'start', '--worker', 'some-provider/some-model']
    note: 'one execution episode of one worker begins'
    expect:
      exit: 0
      stdout_contains: ['^session s-[0-9]+-[0-9a-f]+ opened at']
  - id: refuse-a-second
    run: ['session', 'start']
    note: 'one session per checkout at a time'
    expect:
      exit: 15
      stdout_contains: ['is open here']
  - id: close
    run: ['session', 'close']
    note: 'the envelope: identity, a temporal boundary, references to what the episode produced'
    expect:
      exit: 0
      stdout_contains: ['^\.ai/repo/sessions/']
  - id: an-object-of-the-layer
    run: ['knowledge', 'nodes', '--kind', 'session']
    note: 'the record is a shared object the moment it is committed: one source class discovers it, and the index, MCP, the object routes, the graph and the site follow without being told'
    expect:
      exit: 0
  - id: ledger
    run: ['history']
    note: 'the ledger carries both ends of the episode'
    expect:
      exit: 0
      stdout_contains: ['session.started', 'session.closed']
then:
  - 'a closed session is an envelope, never a transcript'
  - 'the envelope is a shared object of the layer, discovered rather than registered'
  - 'which work happened together, and in what order, is answerable'

Scénář

Provedeno proti skutečnému nástroji v repozitáři připraveném pomocí installed, 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 session start --worker some-provider/some-model exit 0

   začíná jedna epizoda provádění jednoho workera

   session s-<id> opened at <time> (head <head>)
   working context: .ai/local/session-contexts/<time>--s-<id>.md
   next: majordomus plan next; majordomus context; majordomus session close when the episode ends

   • exit 0
   • stdout_contains /^session s-[0-9]+-[0-9a-f]+ opened at/
2. 2$ majordomus session start kód 15

   jedna relace na checkout v jednu chvíli

   majordomus: session s-<id> is open here since <time>; run majordomus session close first

   • kód 15
   • stdout_contains /is open here/
3. 3$ majordomus session close exit 0

   obálka: identita, časová hranice, reference na to, co epizoda vytvořila

   majordomus: session close: knowledge derived: knowledge derive: 0 written, 0 unchanged, 0 skipped for episode s-<id>
   .ai/repo/sessions/<time>--s-<id>--main--<head>--<hash>.md

   • exit 0
   • stdout_contains /^\.ai/repo/sessions//
4. 4$ majordomus knowledge nodes --kind session exit 0

   záznam je sdílený objekt ve chvíli, kdy je commitnut: jedna třída zdroje jej objeví a index, MCP, routy objektů, graf i web ho následují, aniž by jim to kdo řekl

   knowledge nodes: 0 in scope all, kind session
   INFO knowledge   . — the schema check was not asked for (MAJORDOMUS_KNOWLEDGE_SCHEMA=unasked), so no file was checked against the schema of its kind

   • exit 0
5. 5$ majordomus history exit 0

   účetní kniha nese oba konce epizody

   <time>  projections.updated -                      <head>  targets=3
   <time>  session.started     -                      <head>  
   <time>  knowledge.derived   -                      <head>  
   <time>  session.closed      -                      <head>  

   • exit 0
   • stdout_contains /session.started/
   • stdout_contains /session.closed/

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 sessionOtevřít, prověřit a uzavřít jednu epizodu provádění.
• majordomus historyPřečte zpět ledger jen pro připojování, filtrovaný podle úlohy, události nebo času.
• majordomus knowledgeZkompilovaný index nad tím, co tento repozitář uvádí, a kandidátní záznamy, které odvozuje z toho, co epizoda udělala.

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í Záznamy relací jsou sdílené objekty s uzavřenou sadou políUzavřená epizoda provádění se zapíše jednou, do sekce relací vrstvy, proti schématu, které připouští to, co repozitář dokáže doložit, a nic jiného.

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 lze přečíst zpět jako provozní historii, filtrovanou podle úlohy, události a času
• ○zaručeno Slovník událostí ledgeru je uzavřený, při vstupu i při výstupu
• ○zaručeno Uzavřená epizoda provádění je sdílený objekt vrstvy, zapsaný nástrojem z gitu a knihy, platný proti smlouvě, která nepřipouští konverzaci ani absolutní cestu, a objevovaný, nikoli registrovaný

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 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.
• Nechat relaci otevřít a uzavřít, aniž by na to někdo musel pamatovatZapojit vlastní události relace poskytovatele, a epizoda se otevře, když sezení začne, předá pracovníkovi, co po sobě zanechalo poslední, zaznamená, o co se kompakce chystá přijít, a uzavře se záznamem pokračování vedle své obálky.
• 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ě.
• Předat práci s otevřenou otázkou a nechat ji blokovatUzavřít úlohu do předávky, dokud je otázka nevyřešená, spustit navazující úlohu a vidět, že tatáž otázka tam přijetí stále odmítá.

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.
• → 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.
• → nedokázal reprodukovat výsledek, protože nic nezaznamenalo stav, ze kterého vzešel Výsledek je zaznamenaný, podmínky, které ho vytvořily, nikoli, takže je to anekdota, a ne měření.
• → 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.