Proof

The claim ledger · anytime-valid incrementality reads