The definition of the SOMEBADPIX bit of SPECMASK is "Some input pixels were masked or ivar=0". So I would think that the coadded pixel can still be good if there are some good input pixels (from some of the input exposures).
But in our other documentation, it says 0=good, which means SOMEBADPIX is always bad. But is it?