How should Liskov Substitution Principle be applied in a production system?

Define precise contracts, avoid overly broad base types, and test implementations against shared behavioral expectations.