Status: IN
LSP, DIP, and OCP form a causal dependency chain within SOLID: behavioral substitutability (LSP) is required for abstraction dependence (DIP), which in turn enables extension without modification (OCP) — making LSP the foundational guarantee on which the other two rest.
Transitive dependency — LSP enables DIP (depth-1) and DIP enables OCP (depth-1), so LSP transitively enables OCP
Depends on (SL): lsp-enables-abstraction-dependence, dip-enables-ocp