Unreceived Invariant
Kind: anti-pattern
Layer: Execution Core
Record: lexicon:unreceived-invariant
Canonical: Lexicon
A defect in which an invariant is stated in a surface its bound parties never receive.
Listed in Lexicon terms, after Unobjected Invariant and before Location-Derived Identity.