学术界通常通过限制协议形式（如禁止在分支中改变角色集合、限制广播仅用于静态已知角色）来保证投影总是可判定的。