Sigma-Clocks, BV-in-Sigma Calculus, and the Jump Product Contraction Law | Synapse