合约编码：通过结构化符号范式实现回购级生成

向意图驱动的软件工程（通常称为“Vibe 编码”）的转变暴露了一个关键的上下文保真度权衡：模糊的用户意图压倒了线性推理链，导致复杂的回购级别生成中的架构崩溃。我们提出了合同编码，这是一种结构化符号范式，通过自主符号基础连接非结构化意图和可执行代码。通过将模糊的意图投射到正式的语言契约中，我们的框架充当单一事实来源（SSOT），强制拓扑独立性，有效隔离模块间实现细节，减少拓扑执行深度并解锁架构并行性。根据经验，虽然最先进的代理在 Greenfield-5 基准上遭受不同的幻觉，但合同编码实现了 47% 的功能成功率，同时保持了近乎完美的结构完整性。我们的工作标志着朝着存储库规模的自主工程迈出了关键一步：从严格的“遵循规范”过渡到强大的、意图驱动的架构综合。我们的代码可在 https://github.com/imliinyi/Contract-Coding 获取。