当一个代理失败时，问题不是“它为什么愚蠢？” 而是“我忘记编码了什么约束？”