# Epi Declared Domain

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

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