{"id":"lsp-linchpin-connects-solid-axes","text":"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.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["lsp-dual-role-enabling-and-constraining","solid-two-orthogonal-axes"],"outlist":[],"label":"LSP enables the substitutability pipeline AND enforces the behavioral discipline the cohesion axis requires for meaningful interfaces"}],"dependents":["lsp-keystone-across-all-dimensions"],"metadata":{"source_type":"derived","review_result":"invalid"},"created_at":"2026-06-17T18:45:59+00:00","updated_at":"2026-06-17T20:39:50+00:00","reviewed_at":"2026-06-17T20:39:50+00:00","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"lsp-linchpin-connects-solid-axes","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["lsp-dual-role-enabling-and-constraining"],"label":"LSP enables the substitutability pipeline AND enforces the behavioral discipline the cohesion axis requires for meaningful interfaces"}]}}