# Declared Domain

> A check's domain is explicit and reported beside its verdict

Record: `reasoning:invariant-epi-declared-domain`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-invariant-epi-declared-domain

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Reachable Check](https://banes-lab.com/records/reasoning/invariant-epi-reachable-check.md) and before [Declared Dependency](https://banes-lab.com/records/reasoning/invariant-epi-declared-dependency.md).

## Grounded by

- [POPULATION](https://banes-lab.com/records/pag/keyword-validation-population.md)

## Linked from

- [Failure shapes](https://banes-lab.com/ontology/reasoning/the-failure-shapes.md)
- [validation](https://banes-lab.com/ontology/grammar/pag-keywords-validation.md)