Rigorous Error Certification for Neural PDE Solvers: From Empirical Residuals to Solution Guarantees | Signal Canvas | ScienceToStartup