超越文本编辑：用代数操作修改源代码

源代码通常作为纯文本编辑，但无约束文本操作与代码的语法及语义要求不匹配，增加编程摩擦。编码 Agent 还需将高层改动计划转为分散的底层文本编辑，常重复读取大量代码。论文提出源代码代数：通过一系列逻辑代数操作修改代码库，每个操作完成一次语义改动所需的全部变更，类似数学等式重写。初步讨论组合、零幂性及交换性等属性，以区别于文本编辑并支持 Agent 编辑。概念验证实现 SCAS 的可行性探测显示，大模型 Agent 在非局部跨文件改动中，比文本基线成功率更高，词元量减少一至两个数量级。这是初步结果，支持生成代数操作而非重写代码的方向，并推动操作库、形式属性及面向人类工具的后续研究。