{"id":"lsp-substitutability-of-subtypes","text":"The Liskov Substitution Principle (LSP) states that objects of a derived class must be substitutable for objects of the base class without breaking program correctness.","truth_value":"IN","source":"entries/2026/06/17/solid-overview.md","source_url":"https://en.wikipedia.org/wiki/SOLID","source_hash":"","justifications":[],"dependents":["lsp-enables-abstraction-dependence","solid-mutual-reinforcement"],"metadata":{"last_premise_reviewed":"2026-06-17T18:19:22","premise_review_result":"pass"},"created_at":"2026-06-17T17:04:08+00:00","updated_at":"2026-06-17T17:04:08+00:00","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"lsp-substitutability-of-subtypes","truth_value":"IN","reason":"premise"}]}}