# Implicit Assumptions

> Relying on unstated preconditions a caller must satisfy, which break silently when they are violated.

Record: `lex:implicit-assumptions`
Kind: anti-pattern
Layer: [Contracts Core](https://banes-lab.com/records/layer/contracts-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-implicit-assumptions

## category

- [Contracts / Interfaces / Compatibility](https://banes-lab.com/records/lex-category/contracts-interfaces-compatibility.md)

## referenced-by

- [Preconditions](https://banes-lab.com/records/arch/preconditions.md)