Status: IN
The history constraint is Liskov and Wing's novel contribution beyond Meyer's Design by Contract: subtypes may not introduce methods that allow state changes impermissible under the supertype's observable history.
Source: entries/2026/06/17/liskov-substitution-principle.md