Design By Contract Over Implicit Contract
Kind: algorithm
Record: algorithms:no-implicit-contract
Canonical: Algorithms
Closure: Dependencies in load order
State pre-conditions, post-conditions, and invariants explicitly, so a boundary's contract is checkable not assumed.
Listed in Algorithm contracts, after Rule As Code Over Convention and before Versioned Evolution Over Breaking Change.