编码代理如同盲松鼠，需放置可验证约束引导

与编码代理一起工作的心理模型是，它们就像盲松鼠跑进迷宫撞墙。你必须策略性地放置墙壁（可验证的约束），使它们最终到达你想要的区域。