048 · 等价证明通过，性能就能泛化吗？Agentic Verified Optimization 要求 Agent 同时交出更快的程序与等价证明。证明覆盖定义域内的输入，计时却只覆盖选定工作负载：两种证据如何共同支撑“优化成功”？