Watch a hidden missing set move through four stages: witness basis, observation quotient, residual ambiguity, then separator questions.
All nonempty missing sets are initially possible.
The chosen witness basis turns the hidden set into a visible observation state.
Only the sets with the same observation remain alive.
Questions are asked only on the residue that survived the first stage.