Implements a verification for the resulting payment span.