overview / faq / Is the ledger really unedited?
Run rabadon audit. It re-walks the hash chain and exits 1 if any link is broken, naming the file and line. rabadon replay renders the verified timeline with a chain mark per line. Note this is tamper-evident, not tamper-proof — see threat-model.md.