Function verify_epoch_evolution 

pub fn verify_epoch_evolution(
    old_epochs: &[(u64, Vec<(u64, u64)>)],
    old_size: u64,
    new_epochs: &[(u64, Vec<(u64, u64)>)],
    new_size: u64,
) -> bool

Verify that a committed epoch timeline at new_size is an append-only evolution of one previously committed at old_size — the temporal analog of a consistency proof.

Allowed transitions per algorithm: the old intervals are preserved verbatim, except that an interval open at the old snapshot may since have closed at or after old_size; additional intervals and newly registered algorithms may only begin at or after old_size; algorithms never disappear. Both timelines must be well-formed at their respective sizes.