受限下的持久自主系统——身份、不变量与合法的机器智能 | Synapse