Topologically guaranteed univariate solutions of underconstrained polynomial systems via no-loop and single-component tests