# Explicit Invalidity Over Hidden

> Model invalid state as an explicit variant rather than coercing to a plausible default that hides uncertainty.

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

## composes

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