Checkpoint: Struct Contracts Across Versions

One program: a versioned packet struct with append-only evolution, offset-verified prefix stability, and a varargs aggregator.