Checkpoint Recovery

Nodes can import a checkpoint delta and replay missing receipts. Transport ≠ truth; deterministic replay verification decides convergence.