系统在任何概率决策之前，先运行确定性安全门，某些约束必须是硬编码、不可协商的。