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.