Dynamic Certificate Closure for Navier–Stokes: A Conditional Branch-Reduction Framework for Singular Cascades | Synapse