Spline Verification

Public umbrella import for spline / piecewise-polynomial certificate checking.

This namespace is intentionally narrow: spline certificates are treated as untrusted artifacts that are checked by recomputation inside Lean against the same spec-layer evaluation used elsewhere in TorchLean verification.