收敛不够：协同编辑中程序不变量如何被破坏