递归查询下推理稳定性的正式框架:运算符推导、实施与认知分类 | Synapse