你的模块有三层。你可能只写了一层。
Box Structure 强制你将模块的行为、记忆的状态和实现方式定义为三个独立且可验证的层。以下是 Cleanroom 如何利用它们消除调试。
你先写代码，再写测试，然后发现代码是错的。这是标准循环。也是为什么调试会消耗大多数项目时间线的一半。 Box Structure 把这个过程反转。你在写代码之前就定义行为，用数学方式验证这个定义，然后一层一层翻译成代码。结果是"构造即正确"的模块，而不是"测试碰巧通过所以正确"。…
architecture
3 posts
你的架构图早就是谎言了
架构文档在你保存的那一刻就开始腐烂。以下是如何利用代码生成图表、ADR 和自动化架构测试来保持文档的诚实。
我在 wiki 里见过的每一张架构图都是错的。不是那种惊天动地的错，而是悄无声息、日积月累的错。标着 "Auth" 的服务六个月前就被拆成了三个微服务。标着 "sync call" 的箭头现在已通过队列变成了异步调用。标着 "PostgreSQL" 的数据库在一次紧急故障处理中被迁移到了别的系统，却没人更新那个方框。…
为什么不该让 Claude Code 审你的代码（以及该用什么替代）
LLM code review 既不确定、又慢，还会漏掉架构违规。这套 O(1) guard stack 才真的能让你的代码保持干净。
我认识的一位开发者，把 Claude Code 设成 CI 里的代码 reviewer。「就让 Claude 帮我看 PR，」他对我说，「它会抓到一些我可能漏掉的东西。」我请他把同一个 PR 丢给 Claude 跑两次。 第一次 review 说 error handling 看起来很完整。第二次 review…