起因：代码审查工具审查不出"为什么这样写是错的" 用过 ESLint、SonarQube、甚至各种 AI 代码审查工具之后，我发现它们都有一个共同的问题： 它们能告诉你"这里有个问题"，但说不清楚"为

做了几年后端，有一类 Bug 最让我头疼：代码干干净净，linter 零警告，测试全绿，上线几天后生产告警。两个函数之间有个隐含假设，谁都没写出来，在某个边界条件下悄悄裂开了。 这就是 Logic-L

这是一篇关于「自食其果」的记录。 前几天我在完善 brooks-lint 的 v0.8.5，突然想到：这个工具号称能用 12 本经典工程书的视角审查代码质量——那它自己的代码经不经得起审？ 于是我把四