but since there are 2 parties it complies with your request of

a rigorous definition of gerrymandering that isn’t just “I know it when I see it.”