{"id":"lsp-behavioral-subtyping-undecidable","text":"Behavioral subtyping as defined by LSP is undecidable in general because verifying all behavioral properties is equivalent to the halting problem.","truth_value":"IN","source":"entries/2026/06/17/liskov-substitution-principle.md","source_url":"https://en.wikipedia.org/wiki/Liskov_substitution_principle","source_hash":"","justifications":[],"dependents":["complete-type-specification-achievable","expert-lifecycle-coverage-robust","full-scale-design-verification-bounded","total-design-coverage-bounded-by-verification","unified-methodology-verification-bounded","variation-lifecycle-type-safe"],"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-behavioral-subtyping-undecidable","truth_value":"IN","reason":"premise"}]}}