2507.01163 — arXiv2