pub fn is_globally_valid(local_valid: bool, synced: bool) -> bool
Local validity ≠ global validity: a norm an agent holds in its local cell does not bind the network until it has been synchronised. Both must hold.