江临让计算阵列先在一组有限塔层上验证这份账。

在选定的有限塔层里，一个固定有理素数保持完全分裂，江临从成对出现的共轭素理想中构造a，再用a／ā生成单位模元素。

理想类会吃掉其中一部分组合，剩下的数量仍随着次数成倍增加。

第一个塔层只给出有限尺度优势。

第二层扩大点集以后，δ_eff略有下降，却停在零以上。

第三层、第四层依次加入，曲线在相同位置附近上下摆动，再也未朝零线弯回去。

屏幕上首次出现一条横跨所有已计算层级的绿色区间。

【条件构造：通过】

【若塔可无限延伸，存在固定δ?

＞0】

【单位距离数：U(n)≥n^(1＋δ?

)】

这还不是埃尔德什猜想的反例，因为屏幕第二行里的若字仍压着整条构造。

有限塔层只能给出有限多个点集，猜想要求无穷多个越来越大的点集。

江临需要一座能够无限延伸的cm域塔，根判别式始终受控，还要让选定的小素数在每一层保持足够好的分裂。

离线文献库给出了几个已经存在的入口：类域塔、受控分歧、Golod—Shafarevich不等式，以及给Frobenius元增加关系的旧方法。

这些词在索引里彼此相邻，离一条能用的证明仍隔着大段江临尚未补齐的数论。

本轮第十三年第二个月，前哨站北侧参考位的状态灯按低功率周期闪烁。

G-Explorer-c已经退出危险区，测试场上的三组机器仍在替换任务舱，累计时长继续往上增加。

江临把【cubic_field_failed_03】移入障碍定理目录，保留那份课堂原稿作为第一页。

文件状态从【待寻找更好数域】改成【低次数路线闭合】。

原本预留给四次域和五次域枚举的三百八十一天算力，也被他全部划给一项新任务。

【目标：构造次数趋于无穷、根判别式受控、固定小素数保持分裂的cm域塔】

证明工程随即生成一张新的冲突图。

整张图上只有最上方的命题框亮着红色。

【证明塔存在。】
本章已完成！