先枚举再抽象 lesson enumeration prime verification 修改：20260424171249000 先用枚举锁定候选模式，再用代码做全量反例检查；能通过反例筛选的规律才值得写入。