Skip to content

fix(dia): enforce pauseTimeAfter >= maxAge (cross-epoch mispricing) - #280

Merged
hardyjosh merged 3 commits into
mainfrom
fix/dia-cross-epoch-pause-invariant
Aug 4, 2026
Merged

fix(dia): enforce pauseTimeAfter >= maxAge (cross-epoch mispricing)#280
hardyjosh merged 3 commits into
mainfrom
fix/dia-cross-epoch-pause-invariant

test(dia): pin the composed cross-epoch handover invariant

ffe1e03
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar