decide tests: the rotation margin arithmetic is a compile-time assertion in self_run.rs, not a runtime one

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-10-31 19:48:35 +01:00
commit b989e03864

View file

@ -260,8 +260,6 @@ fn the_ladder_ends_before_the_cap_whenever_the_flush_was_written() {
assert!(finished.is_some_and(|end| end < cap as i64), "flush at {second}: ended at {finished:?}, cap {cap}");
}
}
// The rotation margin leaves room: this is the arithmetic the const assertion pins.
assert!(GRACE + LADDER_S < ROTATE_MARGIN_S);
}
#[test]