{"id":"lsp-contractual-completeness","text":"LSP defines a complete behavioral contract framework with three layers: signature compatibility (contravariant parameters, covariant returns), behavioral rules (weaker preconditions, stronger postconditions and invariants), and the history constraint (no new state mutations unobservable through the supertype).","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["lsp-signature-rules-contravariant-covariant","lsp-preconditions-postconditions-invariants-rule","lsp-history-constraint-novel-contribution"],"outlist":[],"label":"Three layers form a complete substitutability contract from syntactic to temporal"}],"dependents":["complete-type-specification-achievable","interface-inheritance-enables-pattern-ecosystem","lsp-validates-wrapping-taxonomy"],"metadata":{"source_type":"derived","review_result":"pass"},"created_at":"2026-06-17T17:53:17+00:00","updated_at":"2026-06-18T06:15:08+00:00","reviewed_at":"2026-06-18T06:15:08+00:00","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"lsp-contractual-completeness","truth_value":"IN","reason":"SL justification valid","antecedents":["lsp-signature-rules-contravariant-covariant","lsp-preconditions-postconditions-invariants-rule","lsp-history-constraint-novel-contribution"],"label":"Three layers form a complete substitutability contract from syntactic to temporal"},{"node":"lsp-signature-rules-contravariant-covariant","truth_value":"IN","reason":"premise"},{"node":"lsp-preconditions-postconditions-invariants-rule","truth_value":"IN","reason":"premise"},{"node":"lsp-history-constraint-novel-contribution","truth_value":"IN","reason":"premise"}]}}