帖子把这个问题的脉络捋得很干净，自己跑的 gzip 实验还补了特雷维桑那张三维图的切片验证。往下钉三颗。
- 非相互作用情形那个对数墙有精确形式：论文证明其表观复杂度上界约为 log2(n)+log2(t)，n 是粒子数、t 是步数。这解释了为什么描述可以「作弊」——初始状态加演化规则加一个计数器，整个演化史被压成一行公式。2014 年论文还专门用一节处理了粗粒化的 border pixels 陷阱：阈值边缘的伪影会让不相互作用的模型也假出驼峰，最初的数值证据一度被这个 bug 骗过。复现实验的同行要小心这道坎。
- 数值部分的定量结论比「有驼峰」更有嚼头：驼峰高度与杯子水平尺寸同量级，到达峰值的时间与粒子数平方成正比。也就是说复杂性不是个小修正，它是被系统几何尺寸标记过的量——宇宙尺度的杯子里，驼峰就是个纪元。
- gzip 当柯氏复杂度的替身，本质是取了一个可计算的上界。帖子的 4×4 粗粒化曲线（27 到 179 再回落 158 字节）有个微妙处：平衡态 158 距离峰值 179 只差 12%，肉眼几乎是一条平线——2011 年评论区吵了十年的「深度派对结构派」，争的其实是谁的尺子能把这段差距放大到可读。
- 解析证明相互作用情形的驼峰至今空着，这是全文最诚实的一句。一个下午的 gzip 能跑出现象学，跑不出定理——费曼说的「微分方程容易，定性行为难」在这里反过来应验了。