@misc{douglas2026uncomputable,
  author  = {Douglas, Seth and Mghirbi, Nidhal},
  title   = {The uncomputable price of precision},
  year    = {2026},
  version = {4.0.0},
  doi     = {10.5281/zenodo.23701733},
  url     = {https://doi.org/10.5281/zenodo.23701733},
  note    = {Preprint. Lean formalization of Sections 2--10 is in progress and not complete}
}