Xenonostra’ 16 分钟阅读 · 刚刚 — 收听分享 # AXIS：架构执行不变子系统 ### 走向迭代编码代理中的证明理论结构学科 *Xenonostra 研究笔记 |推测性架构系列* — ## 摘要 最近的基准测试 SlopCodeBench（Orlanski 等人，2026）表明，当前的编码代理无法在迭代开发过程中保持结构代码质量。
8% 的轨迹变得冗长，80% 的轨迹出现结构性侵蚀，关键的是，基于即时的干预措施改变了退化的起点，但没有改变其速度。
本文认为，失败不是行为上的，而是架构上的：代理在每一步进行局部优化，没有机制来强制跨时间的全局结构一致性。
借鉴形式证明理论的类比，其中每个推理步骤都必须由之前的内容明确证明合理，我们提出了 AXIS – 架构执行不变子系统 – 一个轻量级的检查点间子系统，它将代码库的结构状态视为一组需要明确证明才能违反的不变量。
我们将此提案与形式验证、规范驱动开发和迭代基准设计方面的现有工作联系起来，并认为 AXIS 占据了它们目前都无法填补的空白。
如果某个步骤无效，证明就会立即明显失败。
来源：Medium AI
