mirror of
https://github.com/jmcorgan/fips.git
synced 2026-08-09 08:14:42 +00:00
Carries the rekey counter-arm boundary test and the removal of the closure-based trigger test. Applied cleanly with no adaptation: the trigger predicate is byte-identical on both lines, and the claim the new test rests on was re-measured here rather than assumed to carry — widening the bound to `p.counter >= 1` reds exactly one test on this line too.