【k＝?18R?3／π?－1】
这个固定整数约为七点六乘十的十七次方。
它大得足以使每层新增的单位模方向越过类数与格协体积的共同成本，又只依赖R?，往后的每一层都沿用同一个k。
证明走到这里，数域次数终于开始替江临工作。
f_j每翻一倍，窗口点数按一个固定底数增长，单位模差向量也按另一个固定底数增长；后一个底数越过门槛的部分，会被完整保留到下一层。
江临把格的全嵌入像装进半径R的多圆盘窗口，再从其中任取一个复坐标投影到平面。
域嵌入具有单射性，不同格点投影后仍是不同的平面点。
内层窗口里的每个点加上任一单位模差向量，都会留在外层窗口里，投影后的距离则严格等于一。
边界损失、格点密度、类数和分母成本全部被放回同一条指数不等式。
最初那组十八位数参数重新出现在终端上。
【点数上界：A^f_j】
【单位距离下界：A^f_jxb^f_j／c】
【b＞1】
【δ?＝log b／log A＞0】
默认精度把最后一行显示成零。
江临把浮点计算从证明依赖中删除，改用有理区间分别夹住π、对数项和根判别式上界。
二百五十六位精度时，区间下端仍在零线附近来回跳动。
五百一十二位以后，正号稳定下来。
到两千零四十八位，误差区间已经比候选值窄了九个数量级。
【δ?下界：6.0x10^－38】
【区间认证：通过】
证明工程随即生成最终命题。
【存在绝对常数δ?＞0，以及任意大的平面有限点集p，使其确定的单位距离数满足】
【U(p)≥|p|^(1＋δ?)／c】
江临把第二行复制到第192章课堂原稿的最后一页，又在下面写出埃尔德什猜想的形式。
【U(n)≤n^(1＋o(1))】
固定的δ?不会随着n增大而消失，两行式子无法同时成立。
文件状态从【条件反例】变成了【主链闭合／进入独立核验】。
本轮第十四年到第十六年，江临没有继续优化那个小得可怜的指数。
更大的δ能让结果好看一些，猜想的真假已经越过了零线。
他把两年多时间用在拆证明上。
数域构造、群论无限性、类数估计、单位模元素计数、nkowski格点界和二维投影被分成六个互不共用中间结论的核验包。
每个外部定理都追溯到离线文献原文，每处【存在】都标明选择依赖，每个浮点数都被换成可以复查的严格区间。
第一轮核验遮住主稿里的去重引理，只从理想比值与c单位核重新计算纤维重数，得到的统一上界与主证明中预先计入固定常数c的单位根因子完全一致。
第二轮核验删去投影部分的全部中间结论，从域嵌入的单射性重新推出平面点不会重合，得到同一条投影边界。
第三轮只保留窗口中心随机平移的平均计数，从原始格点估计独立恢复主稿中的确定性存在命题，点数与边数的比例仍落在原边界内。
最后一轮攻击直接删掉全部有限层数值样本，只保留符号不等式和已有定理，四轮独立路线最终重新拼回同一条主链。
证明从第一版终稿到最后一次攻击，结论、常数与适用边界都没有改变。
本轮第十六年第三个月，凌晨四点二十七分。
江临完成了最后一次从定理陈述向前倒查，终端把四千三百一十七个依赖节点全部标成绿色。
【塔无限性：通过】
【根判别式一致上界：通过】
【单位模方向指数增长：通过】
【平面投影计数：通过】
【固定正指数：通过】
【结论：埃尔德什单位距离猜想不成立】
工作台另一侧还放着那份二十七页的三次域失败稿。
第一页的任务元数据保留着江临在清华宿舍写下的日期。
【计划正式启动：2022年11月1日】
现实世界离那一天还有两天。
江临在废土里已经把这份文件带过了十多个冬天。
他把最终稿分成纸质、离线硬盘和只读校验盘三份，又将带回现实的版本放进回归清单。
稿件状态栏里，他填下【内部证明闭合／待现实同行核验】。
打印机在清晨五点吐出最后一页。
这一页只有核验签名、文件哈希，以及整份证明里最短的一行式子。
【6＜25／4】