Software-Engineering

今天关注 agent harness 的两类工程问题：指令究竟通过哪些 surface 被可靠执行，以及 GUI agent 从能力 demo 走向可维护软件系统还缺什么。

今天关注 AI-native 软件工程里的两条更硬核路径：用 specification-first + verification loop 推进超大规模重构，以及让 coding agent 同时生成实现与机器可检查证明。

今天关注 agent harness 的两层工程问题：同样能力的工具，接口架构本身就会改变 coding agent 的稳定性、探索方式和成本；而当 agent 系统进入生产环境后，prompt、tool、model、skill、workflow 也需要像软件配置一样被版本化、审计和治理。

今天关注 coding agent 的两个基础问题：长周期软件开发如何跨越单个 agent 的生命周期，以及一个现代 coding agent 到底由哪些核心组件组成。Genesis 把持久性从 agent 转移到项目本身，Ark 则用 1,471 行代码拆出一套可读的最小参考架构。