@misc{Schroeder2026UniversalRankTests,
  author = {Schroeder, Michael},
  title = {Universal Rank Tests for Noncommutative Rational Formulas},
  year = {2026},
  month = oct,
  publisher = {Zenodo},
  version = {1.0},
  doi = {10.5281/zenodo.23453468},
  url = {https://doi.org/10.5281/zenodo.23453468},
  note = {Preprint with formal supplement and Lean sources. Published 18 October 2026.}
}