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
sergio velderrain edited this page Nov 9, 2026
·
1 revision
TEST-084
Stimulus
Revoke evidence after verification but before a draft, tag, or publication effect commits; submit a revocation request during an in-flight effect; delay or lose the response; cross the LUnit age limit during finalization; present incomparable clocks.
Required observation
With no accepted and proven ordering, finalization remains UNKNOWN and does not start. Under strict ordering, a revocation committed first must prevent the later effect. Under a cutoff design, test each side of the reviewed cutoff without calling a pre-publication revocation post-publication. Verify the selected age-evaluation boundary without silently changing the existing verifier limit.