Python: Invariants In __post_init__

When the rule is no longer easy to explain, test, or change without surprising nearby code.

Refactoring is justified by reduced risk and better clarity, not by aesthetic preference alone.