标签：程序合成

Toward Intent-as-Code for Programming Agents

探索以不完整程序、类型、注解和明确的实现空缺作为 Coding Agent 的交互界面：由开发者保留结构性判断，由 Agent 澄清关键歧义、局部补全并提交可验证的变更。