Contract Preservation
Kind: constraint
Layer: Structural Core
Record: lexicon:contract-preservation
Canonical: Lexicon
The requirement that a subtype honor every behavioral guarantee of the type it replaces.
Listed in Lexicon terms, after Feature Extension without Modification and before Role-Specific Interfaces.