A Deductive Refinement Calculus for Differential-Algebraic Programs (ArXiv cs.LO Recent Papers, 2026)