Declared Dependency
Kind: invariant
Record: reasoning:invariant-epi-declared-dependency
Canonical: Reasoning
A dependency is declared by the referent, never inferred from a name
Listed in Reasoning records, after Declared Domain and before Checked Verdict.