Every registered claim directly executed.
Exact indistinguishable-law lower bound.
Vanilla failure under paired attacks.