DeepSeek 北大这篇新论文，把「撤销」做成了数学
这篇论文《A Programming Paradigm for Spatiotemporal Composability》提出「上下文范式」，旨在解决软件运行时动态组合（如安装、卸载插件）的难题。其核心是两个机制：可逆效应（每个操作自带逆操作，系统自动“记账”和“冲销”）和反应式共效应（组件只声明需求，依赖变化自动处理）。
它区别于普通插件框架的地方，在于三条形式化定理。其中，汇合定理（Theorem 73）指出，一个被反复装拆的系统，其最终稳定状态与「一开始就配好、从未动态操作过」的系统不可区分，即“动态历史不留下任何痕迹”。
然而，这并非时间倒流，而是“观察等价”——系统无法恢复到物理上的原状（如内存布局），但任何观察者都无法区分其与“从未发生”的状态。其自我设限很诚实：它只承诺恢复可观察状态。
更重要的是，卸载发生时，清理由“结构”负责，而非开发者或用户。这使正确性从“依赖开发者自觉”变成了“范式的结构性质”。
但机制有其边界：它能抹除系统边界内的历史痕迹，却抹除不了对边界外世界已造成的状态（如已写入磁盘的数据）。完美的因果抹除，只在一个“效应可交换、无纠缠”的理想化前提下成立。