2507.01900 — arXiv2