Agentic Synthesis against Counterexample-Supplemented Sketches

方法从 human-approved counterexample 出发，把修正后的行为和规则写回 code-shaped sketch，再让 coding agent 修订实现、prompt surface 和回归集。CatSynth 实验中，14 个 frozen candidate cases 有 8 个升级为 counterexamples；从 evolved sketch clean rebuild 通过 19/21 withheld cases，而 initial sketch 加 accepted examples 路径通过 15/21。结果支持一个有限但清晰的判断：被维护的 sketch 可以承载审阅过的 policy，而不只是把失败样例堆进历史 prompt。