BUG significa *Binary Universal Grave* (túmulo binário universal): toda célula vazia tem exatamente dois candidatos, e cada candidato aparece no máximo duas vezes por unidade — um estado inválido com mais de uma solução.
BUG+1 é o quase BUG: toda célula não resolvida é bivalor menos uma célula com três candidatos. A unicidade diz que o candidato extra dessa célula tem que ser verdadeiro.
Por que funciona
Se esse candidato extra fosse falso, a grade viraria um BUG puro — que normalmente permite várias soluções. Um jogo de solução única recusa esse mundo.
Então o dígito extra é obrigatório. Coloque-o.
Como identificar
Verificação rápida sempre que todas as células vazias, menos uma, forem bivalor.
Demonstração
Um jogo clássico de solução única não pode cair em um Binary Universal Grave (tudo bivalor, várias soluções).
Confira se quase todas as células vazias têm exatamente dois candidatos. Exatamente uma tem três — isso é o BUG+1. O dígito extra é 9.
Se 9 fosse falso, o jogo cairia nesse túmulo mortal todo bivalor, com mais de uma solução.
Coloque 9 na célula de três candidatos. A unicidade exige isso — só em jogos clássicos de solução única.
Exemplo 1
Procure uma grade toda bivalor com uma célula de três candidatos.
BUG+1 — o dígito extra é 8.
Coloque 8. Ele evita um Binary Universal Grave sem solução única.
Exemplo 2
Procure uma grade toda bivalor com uma célula de três candidatos.
BUG+1 — o dígito extra é 9.
Coloque 9. Ele evita um Binary Universal Grave sem solução única.