[ospa-verify]