@misc{indiciae4d62c86777af,
  title = {Computer-assisted Proof Under Audit: Typos, Certificate Errors, and Reproducible Exact Checks for a Symbolic Invertibility Proof},
  author = {Fan Zheng},
  year = {2026},
  url = {https://arxiv.org/abs/2608.13067},
  note = {Source identifier: 2608.13067}
}