Status: OUT
LSP serves as the linchpin connecting SOLID's two orthogonal axes: within the substitutability pipeline (LSP→DIP→OCP), LSP provides the behavioral subtyping guarantee that validates abstraction dependence; simultaneously, its constraining role (revealed through violation patterns) enforces the behavioral discipline that the cohesion axis (SRP/ISP) depends on — segregated, role-specific interfaces are only meaningful if subtypes actually honor their behavioral contracts.
LSP enables the substitutability pipeline AND enforces the behavioral discipline the cohesion axis requires for meaningful interfaces
Depends on (SL): lsp-dual-role-enabling-and-constraining, solid-two-orthogonal-axes