Shared State Identification
Kind: constraint
Layer: Atomic Boundary
Record: lexicon:shared-state-identification
Canonical: Lexicon
The requirement that all state shared between concurrent actors be identified before it is guarded.
Listed in Lexicon terms, after Safe Parallel Mutation and before Blind Overwrite.