可接受后果的结构:一种基于约束的AI对齐问题拟议解决方案 | Synapse