It violates the rule "You should never have to tell the computer something it already knows." Not really: the contract is an explicit list of requirements with

It violates the rule "You should never have to tell the computer something it already knows." Not really: the contract is an explicit list of requirements with API compatibility guarantees for future versions. The computer cannot guess that from the current implementation.