# Design By Contract Over Implicit Contract

> State pre-conditions, post-conditions, and invariants explicitly, so a boundary's contract is checkable not assumed.

Record: `algo:no-implicit-contract`
Kind: Architectural Rules
Canonical: https://banes-lab.com/ontology/algorithms#algo-no-implicit-contract
Closure: https://banes-lab.com/json/records/algo/no-implicit-contract/closure

## composes

- [Contracts Core](https://banes-lab.com/records/algo/contracts-core.md)
- [Correctness Core](https://banes-lab.com/records/algo/correctness-core.md)