AI编码代理降低了实现软件的边际成本，但确认代码正确、保留系统不变量并避免回归，仍需反复投入。架构因此不仅要考虑构建成本，也应考虑系统生命周期内验证正确性的成本。通过强类型、数据库约束、模式和明确状态机等结构，可以让部分无效状态无法表达或持久化，从而降低持续验证负担。文章主张把可验证性纳入架构权衡，同时承认约束也会增加复杂度；最终目标仍是结合构建、运行、变更和验证的长期成本，为用户取得更好的整体结果。