One append-only log per issuer. Prove any receipt is included,
and prove the log only ever grew — never rewrote history (split-view detection).
All proofs recompute in your browser. This is what turns the Explorer into a true
transparency log.
01 · Log head
Current state
Status
—
02 · Inclusion
Prove a receipt is in the log
Enter a leaf index and prove it recomputes the current root.
03 · Consistency
Prove the log only appended (no rewrite)
Prove the size-n2 log is a superset of the size-n1 log.