Binary Discrete Diffusion: Candidate-Set Diffusion for Logic and Planning Tasks · Bharat Hunt