How does Kotlin ensure correctness in sealed class hierarchies?

Sealed classes restrict inheritance to known types at compile time.

Sealed classes create closed hierarchies where all subclasses are known to the compiler. This enables exhaustive when expressions and prevents invalid state creation. It is widely used in modeling domain states where invalid transitions must be impossible.