2507.19800 — arXiv2