An Exact Spectral Refinement Method for Nonconvex Branch-Flow Feasibility in Active Distribution Networks | Synapse