Append-only. A claim is never deleted, only retired by a later one naming it
in supersedes, so this keeps the argument rather than just the
current answer. Organised by category; within a category, newest last.
Generated from data/ledger/findings.jsonl — the same file
rlog.py render turns into
LEDGER.md.