Concrete foundations | Verification criteria filter in the output protocol