{"type": "article", "title": "VGPT-RSI for RH-Adjacent Formal Progress: Boundary Certificates, Verified Finite Lagarias Inequalities, and Explicit Failure Localization", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/vgpt-rsi-for-rh-adjacent-formal-progress-boundary-certificates-verified-finite", "original_source": "https://arxiv.org/abs/2606.15096", "published": "2026-06-16T04:00:00+00:00", "accessed": "2026-06-16", "id": "vgpt-rsi-for-rh-adjacent-formal-progress-boundary-certificates-verified-finite"}