Numerical Validation of the v-Calculus : Theorem-by-Theorem Verification with Reproducible Python Code | Synapse