stage-m verification