Python: Invariants In __post_init__

It shapes how quickly the next engineer can reconstruct the rule and how safely the code can evolve.

Maintainability is a direct product concern because unclear code slows fixes and invites regressions.