pub const ATTESTATION_CHECKPOINT_INTERVAL: u32 = 64;Expand description
Frames between recorded checkpoint hashes.
The final hash alone would answer “did this run reproduce?”; the checkpoints answer “and if not, roughly where did it stop reproducing?”, which is the difference between a verdict and a diagnosis. At 8 bytes per checkpoint a ten-minute run costs about 4.5 KiB.