TY - RPRT TI - Exactness as an Explanatory and Computational Target: A Reduction Architecture for First-Order ODEs, with a Higher-Order Outlook AU - Gabriel Ben-Simon PY - 2026 UR - https://arxiv.org/abs/2609.22962 ID - 2609.22962 ER -