The verifier is part of the simulator: letting an agent pick its evidence view makes PDEBench accept a law missing diffusion
In equation-discovery pipelines an agent proposes candidate laws and a verifier checks them against simulated trajectories, but the verifier sees only a numerical summary: weak-form integrals on a time grid. With trajectory, candidate library, verifier and thresholds frozen and only the permitted summary left to the agent, finer time grids reduce numerical discrepancies and false library rejections; on PDEBench, score-selected summaries make the verifier accept equations missing diffusion, while requiring four views to agree cuts wrong verdicts to 3 of 1,800 at 79.89% coverage.