From a PDE residual to a scoped certificate

A differentiable residual and a rigorous certificate are separate objects. Bounding a PDE solution requires explicit approximation, residual, stability, domain, and boundary assumptions. A sampled residual is not a proof.

Use the ecosystem guide for the repository boundary, current APIs for supported primitives, and numerical guarantees for the scope of claims.