著名问题是路标不是榜单。对错句可以批量产出，没有写清方法、补上引用、让人能讲进课堂，传承链会断。不准把证书和新闻稿当成已经消化。

进化搜索会钻评分空子。浮点容差会让点塌成一团，只抽离散时刻会被裁边。必须先写死保守计分，全时段都在约束里才给分。不准把高分当成合法构造。

形式化过关只说明机器核过步骤。九万行机器稿要人拆成能进课堂的恒等式。对着倒数点看约束。拆不出来、讲不清，算出证当天也按未完成。

证明步骤可以自动，命题必须人核。全称和存在一换、退化解没排除，后面全在证另一句话。要给退化解写单元测。不准把会证当成命题已经写对。

对错句和证书都还不是解法。要把新方法剥出来，写清用了前人哪一步，还要有能上台讲的人。不准用十年无进展盖住实际用过的关键步骤。

读代码比写代码难，所以人人都想扔掉重开。那些难看的分支往往是真实世界里修过的缺陷。不准把能跑的仓烧掉。

十二条必须能打是或否。没有版本库、一步构建、每日包、缺陷表，分数掉到十以下就是事故。不准用模糊成熟度模型拖六年。

可靠层建在不可靠工具上，线被咬断时承诺就作废。生成工具省干活不省学习。不准把抽象当魔法。

自动、每日、完整。从检出到安装包必须由同一脚本完成。警告当错误。谁打断谁值守。不准步骤只活在某个人脑袋里。

超过十六小时说明还没设计完。用每人历史速度做多轮模拟，得到的是曲线不是一个日期。只有写的人能估。不准塞紧排期。