Assumption-lean and data-adaptive post-prediction inference (JMLR, 2026)