Exact support is algebraically meaningful

This is an exact arithmetic interface, not an efficient general simulation theorem: enumerating all basis amplitudes can take exponential time. The circuit below is a basis permutation, so its certificate needs only its reversible Boolean action.