Spline Verification

Public import for exact-rational piecewise-polynomial artifact checks and optional binary32 replay. The checker evaluates local-coordinate polynomials by Horner's rule; it does not establish a general approximation-error bound for the fitted function.