# Contract Preservation

> The requirement that a subtype honor every behavioral guarantee of the type it replaces.

Record: `lex:contract-preservation`
Kind: constraint
Layer: [Structural Core](https://banes-lab.com/records/layer/structural-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-contract-preservation

## category

- [SOLID / Object-Oriented Design](https://banes-lab.com/records/lex-category/solid-object-oriented-design.md)

## referenced-by

- [Liskov Substitution Principle (LSP)](https://banes-lab.com/records/arch/liskov-substitution.md)