Reproducible QEC Benchmarks

Separate correctness from performance and make every benchmark claim traceable to an artifact and hash.