Obstruction bundles, semiregularity, and Seiberg–Witten invariants | Synapse