verification debug