On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic (ArXiv cs.LO Recent Papers, 2026)