Aletheia: What Makes RLVR For Code Verifiers Tick? Benchmark datasets and fine-tuned verifier models (1.5B/7B/14B). Mirror of Aletheia-Bench.