@misc{indiciaea61a25364009,
  title = {VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization},
  author = {Zhixin Hu and Tao Xu and Xiaodian Sun and Li Jin and Momiao Xiong},
  year = {2026},
  url = {https://arxiv.org/abs/2606.15096},
  note = {Source identifier: 2606.15096}
}