Declared Domain

Kind: invariant

Record: reasoning:invariant-epi-declared-domain

Canonical: Reasoning

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

Listed in Reasoning records, after Reachable Check and before Declared Dependency.

Grounded by

• POPULATION

Linked from

• Failure shapes
• validation