OOPSLA 2025 Artifact Evaluation for Scaling Instruction-Selection Verification against Authoritative ISA Semantics - View it on GitHub