摘要
前沿编码模型可能会花费大量能力来学习程序行为及人类代码库中的意外熵。这些代码库包含有价值的信号：测试、事件、迁移、边缘案例、产品判断以及操作历史。这些信号与框架变动、命名漂移、生成源的模糊性、依赖习惯、持续集成方言、薄弱的证明路径以及以人为本的审查习俗交织在一起。
我们提出了“代理优先的规范代码”，这是一种可携带证明的基底，将常规产品软件重写为规范行为配置文件、类型变更代数、证明通道、受限编辑语法、语义补丁单元、运行时负内存和携带证明的变更对象。核心假设是，通过声明的神谕对软件进行行为等价的划分，可以将等效编码压缩为具有明确证据和证明义务的受管代表。
最终目标是每个经过验证的正确变更的摊销成本，包括源代码、上下文、推理、工具、验证、安全性、来源、审查、失败循环、缺陷以及在共同神谕下的铸造成本。报告的减缩区间是假设，而非测量的前沿结果。
提出的限制是“无意外地平线”：可移除的意外减少，直到剩余的新颖性、证据、治理、风险和未来选择主导。对于支持的常规产品分布，这提供了一个近乎100倍的全成本减少的可辩护计划目标，并不保证适用于所有软件。
初步的QLoRA实验在Qwen2.5-Coder-14B上显示，64,088条规范轨迹是可学习的，并抑制了测试的禁止语言标记，但并未建立行为保留、规模经济或经过验证的变更成本。其贡献在于围绕最小功能描述长度和经过验证的变更成本的可证伪程序。
博主点评： 本文提出的“代理优先的规范代码”概念，旨在通过减少人类代码中的意外熵，优化软件开发过程。尽管实验结果尚未确立行为保持和经济性，但其理论框架为未来的软件工程提供了新的视角，值得进一步探索与验证。