Status: IN
Both the Rectangle-Square problem (coupled setters breaking postconditions) and mutable-subtype-of-immutable (introducing state transitions absent in the supertype) are violations of LSP's history constraint — Liskov and Wing's novel contribution beyond Design by Contract. The history constraint addresses subtle aspects of behavioral subtyping, and these two examples illustrate commonly encountered violations of it.
Two canonical violation examples both reduce to history constraint violations, revealing it as the dominant failure mode in practice
Depends on (SL): lsp-rectangle-square-canonical-violation, lsp-mutable-subtype-of-immutable-violates-history, lsp-history-constraint-novel-contribution