You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
test(chaos): say why short_gap_collision is bounded by state
Follow-up comment to the previous commit, which made the collision
ordering explicit. The case table now records what the bound rests on
and what failed before it, so the next reader does not re-derive it
from the runner. No value changed.
0 commit comments