TY  - RPRT
TI  - VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization
AU  - Zhixin Hu
AU  - Tao Xu
AU  - Xiaodian Sun
AU  - Li Jin
AU  - Momiao Xiong
PY  - 2026
UR  - https://arxiv.org/abs/2606.15096
ID  - 2606.15096
ER  -