Exact Certificates and Replay Code for "Low-Twist Matrix Covariants of Exterior Powers: Vanishing and Modular Phenomena"

Reproducibility package for the manuscript “Low-Twist Matrix Covariants of Exterior Powers: Vanishing and Modular Phenomena”. The record contains exact machine-readable certificates and replay code supporting the computer-assisted modular classification at (n,r,d,ℓ)=(9,3,6,2), including the compressed 475×47 integer root-subgroup system, integer rank certificates, characteristic-5 kernel data, scalarity checks, pure-power-vanishing verification, regression tests, and SHA-256 manifests. The package is intended to allow independent verification of the computational statements used in Theorem 8.1 and Appendix A. No external empirical dataset is used.