@misc{SchroederThreePrimeDivisors2026,
  author = {Schroeder, Michael},
  title = {Noncoverage for Distinct Odd Moduli with at Most Three Prime Divisors},
  year = {2026},
  month = sep,
  version = {1.0},
  doi = {10.5281/zenodo.22760638},
  url = {https://doi.org/10.5281/zenodo.22760638},
  orcid = {0009-0004-3249-0195},
  note = {Preprint, version 1.0, revised 15 September 2026. Zenodo. Includes a finite rational tail appendix and an end-to-end Lean formalization of Theorem 1.1}
}