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.

Ledger lze číst zpět jako provozní historii, filtrovanou podle úlohy, události a času

Majordomus vždy připojoval události do state/ledger.jsonl. majordomus history je příkaz, který je čte zpět: co se stalo, kdy, pro jakou úlohu, na kterém commitu, jaké ověření proběhlo a jaký výsledek byl přijat.

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

Co se stalo, kdy, pro kterou úlohu, na které hlavě a jaký výsledek byl přijat. Nikdy ne to, co kdo řekl.

Co to znamená

Majordomus vždy připisoval události do state/ledger.jsonl. majordomus history je příkaz, který je čte zpět: co se stalo, kdy, pro kterou úlohu, na kterém commitu, jaké ověření běželo a jaký výsledek byl přijat.

Je to provozní rekonstrukce, ne konverzace. Nic v účetní knize nezaznamenává, co kdo řekl, protože nic takové nepíše.

Princip

Filtry jsou --task, --event, --since (trvání jako 90m, 2h, 7d nebo časové razítko ISO) a --limit (výchozí 20, nejnovější) nebo --all. Výstup je od nejstaršího řádku, takže filtrovaný běh se čte jako vyprávění, ne pozpátku.

Každá událost vykreslí sloupec detailu přizpůsobený svému druhu: zahájená úloha ukazuje svůj profil a rozsah, dokončená úloha svůj výsledek a exit kód ověřovacího příkazu, checkpoint nebo předávka název souboru svého záznamu, vyřešená otázka svou odpověď.

--json vydává odpovídající řádky ledgeru doslova — stejné bajty, ne znovu serializované, takže spotřebitel vidí přesně to, co bylo zapsáno.

Čtečka přeskočí poškozený řádek, místo aby na něm spadla, takže poškozený ledger zůstává čitelný, zatímco se o něm hlásí.

Jak to vidět

majordomus history --task t-20260903193012-a4f1
# 2026-09-03T19:30:12Z  task.started       t-20260903193012-a4f1  3f2a9c1  profile=debugging scope=lib/auth
# 2026-09-03T19:45:00Z  task.checkpoint    t-20260903193012-a4f1  3f2a9c1  20260903T194500Z--main--3f2a9c1--8c1d0e4a.md
# 2026-09-03T19:52:31Z  decision.recorded  t-20260903193012-a4f1  3f2a9c1  Normalise the callback URI before comparing state
# 2026-09-03T20:14:08Z  task.finished      t-20260903193012-a4f1  b71e0c9  outcome=completed verify_exit=0

majordomus history --event task.finished --all --json | jq -r '.outcome'

Co nepokrývá

Hlásí, co bylo zaznamenáno, ne co se stalo. Worker, který nikdy nedělá checkpoint, zanechá řídkou historii a ledger to nemůže vědět.

Nic neagreguje. Neexistuje přehled úloh za týden ani průměrné doby trvání, protože to zatím nikdo nepotřebuje a statistika v nástroji, který neumí měřit náklady, svádí čtenáře k odvozování nákladů.

Je to ledger jednoho repozitáře. Nic nesluče historie napříč repozitáři ani worktree.

Proč existuje

Události se zapisovaly od první verze a četl je jen grep uvnitř watch. Log jen pro zápis je náklad bez užitku: hromadí se, je omezen a neodpovídá na žádnou otázku, kterou na něj lze položit. Buď jej něco čte, nebo se nemá zapisovat.

Podrobnosti vykresleny z docs/claims/history-ledger-read.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Ledger lze číst zpět jako provozní historii, filtrovanou podle úlohy, události a času

    Vytvořeno na Knowledge, Provenance, Watch.

  2. 2 · kanonické tvrzení

    history-ledger-readdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · docs/CLI.md

  3. 3 · implementace

    lib/history.sh · majordomus history

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

    Test: test/cases/22_history.sh

    Provedeno v Přečíst zpět, co se stalo, a držet ledger v mezi, Zaznamenat rozhodnutí, aby ho další worker našel, Zaznamenat, co jeden worker udělal při jednom sezení.

  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 22_history

Kde se toto tvrzení používá

Související tvrzení stejná implementace

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

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