Name the Objector
Kind: technique
Layer: Execution Core
Record: lexicon:name-the-objector
Canonical: Lexicon
A technique for naming, for each stated invariant, the party or check that objects when it stops holding.
Listed in Lexicon terms, after Shared Invocation and before Mark the Invariant Unheld.