Status: IN
A mutable subtype of an immutable supertype violates the LSP history constraint, but adding a new mutable field not observable through the supertype's interface does not violate it.
Source: entries/2026/06/17/liskov-substitution-principle.md