{"id":"lsp-dual-role-enabling-and-constraining","text":"LSP serves dual roles in the pattern ecosystem: it enables the ecosystem by validating interface inheritance as the mechanism for abstract coupling and polymorphic substitution, AND it constrains the ecosystem by revealing through violation analysis (Rectangle-Square, mutable-of-immutable) what behavioral contracts composition must preserve.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["interface-inheritance-enables-pattern-ecosystem","lsp-violation-patterns-reveal-history-constraint"],"outlist":[],"label":"LSP's enabling role (making patterns possible) and constraining role (showing what breaks substitutability) are complementary — the violation patterns teach precisely the contracts the pattern ecosystem depends on"}],"dependents":["creational-substitutability-type-integrity","lsp-keystone-across-all-dimensions","lsp-linchpin-connects-solid-axes"],"metadata":{"source_type":"derived","review_result":"pass"},"created_at":"2026-06-17T18:42:56+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-dual-role-enabling-and-constraining","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["interface-inheritance-enables-pattern-ecosystem"],"label":"LSP's enabling role (making patterns possible) and constraining role (showing what breaks substitutability) are complementary — the violation patterns teach precisely the contracts the pattern ecosystem depends on"}]}}