Realizability and realization logic are key in semantics-guided synthesis, with an eager approach to analyzing sets of candidate programs efficiently.