Contrastive Policy Optimization Improves RL Correctness | HACKOBAR_