Zdůvodnění
Každý řádek ledgeru určeného jen k připojování je dobře utvořená událost; jediný trvalý záznam, který nelze nijak jinak rekonstruovat, zůstává čitelný.
Požadované chování
Každý řádek append-only ledgeru je dobře utvořená událost.
Chování při selhání
Porušení je nález FAIL v kategorii records a příkaz, který ho našel, skončí s kódem 10. Pod watch se totéž porušení hlásí jako drift a příkaz skončí s kódem 11.
Ověření
mj_validate_ledger to rozhoduje, dispatchováno z check, doctor, watch. Behaviorální případ test/cases/22_history.sh to dokazuje a CI tento případ spouští.