Minimum Complete MR Subsets under Semantic-Mutation Fault Models: A Support-Set Domination Boundary

Review-time artifact snapshot for the manuscript Minimum Complete MR Subsets under Semantic-Mutation Fault Models: A Support-Set Domination Boundary. The snapshot indexes evidence ledgers, validation scripts, committed solver-backed artifacts, reproduction commands, checksums, and external large-artifact boundaries. True-fault witness rows are route-admitted audit evidence, not rates, prevalence estimates, or population-level generalization.