Checked Verdict
Kind: invariant
Record: reasoning:invariant-epi-verdict-is-representation
Canonical: Reasoning
A verdict is itself a representation and has a reachable check of its own
Listed in Reasoning records, after Declared Dependency and before Preserved Distinction.