# N=52 证明自审记录

出版说明：以下保留研究期间的自审过程；该记录现随 2026-09-08 论文 v2 公开，
不改变“尚未独立审阅”的状态。论文见 https://minmaxarena.com/proofs/uniform-mesh-lattice 。

日期：2026-09-08。审阅对象：`P56-N52-ROW-STRUCTURE-2026-09-08.md`。
按用户要求由当前作者自行审阅，没有调用其他 agent，没有把交叉审阅作为
继续研究的前置条件。结论：**经下列补明后，未发现推翻证明的缺口，允许
作为当前研究稿继续推广；不是独立同行审阅或形式化证明完成。**

## 1. 发现并补明的一处论证省略

原第5.2节写“每步向右，不能回到左墙”。这句话单独不足够，因为左墙
站点仅满足 x<=h，不一定在 x=0；短的递增路径也可能连接两个靠左站点。

补明：每个左墙端点的唯一行色边，从端点向内看都严格向右。因此一条
左到左的行，最后一步到达终点时必须向左，和全部步骤向右矛盾。右墙同理。
该端点方向事实已由局部扇形证明，不添加新假设。原稿已就地补充。

## 2. 逐项审阅

| 环节 | 审阅方法与结论 |
|---|---|
| h、delta、通用下界的顺序 | 先由假设 M<=U 与圆盘装箱得到 h<.11，再构造内部单元，最后推出 M>=2/sqrt(3)。没有预先使用待证下界。 |
| Voronoi 边界退化 | 墙上三重最近站点、角点双重最近站点均由 delta>sqrt(2)h 排除。墙迹仅一点的中间单元会产生三重最近站点，也被排除。无需一般位置扰动。 |
| 连通三角扇与 K 的圆盘性质 | 单元的非容器边界是连续链或环；按邻接边的循环顺序，对应好三角形是连续扇或满星。边界是四条不相交的墙链，不从“局部平坦”直接跳到“全局单射”。 |
| 角点短扇形 | c 的西南象限无其他站点；绕长扇形至少跨过90度无射线区，与所有好三角形锐角矛盾。不是凭画图选取扇形。 |
| 墙模式的常数 | 逐项重算大转角/小转角混合、相邻 S-S、相邻 Z-Z；均保留 beta 误差且统一使用弧度。原先源笔记的度/弧度错误不在本稿中使用。 |
| 展开与着色 | 只使用良定义的等边展开及其颜色；满六角星回路的延拓恒等，圆盘中的其他延拓回路可由这些局部回路消去。不使用展开全局单射。 |
| 同色行闭环 | 原稿总转角证明在52点有效。另有更强复核：沿一条抽象直行路径，展开坐标每一步都加同一个单位向量，因此闭环会使同一顶点有两个展开坐标。后者不依赖点数。 |
| 左右贯穿 | 修补第1节指出的省略后成立。内部度2、墙端度1给出路径/环分解；环已排除；端点方向排除同侧端点。 |
| 条带和 A/B 计数 | 条带无内部顶点，每个三角形恰一条行色底边，另外两边连接上下行；对偶为路径。同一行连续两底边会令公共接点该侧扇形只有2块而不是3块，因此底边交替。Z 端点的1/2侧扇形逐行交替决定等长或交替长短行。 |
| 墙边面积的扣除 | 使用实际墙链，而非展开图；左右带不交，底/顶链在首步后离开侧带，首步方向锥也不能切入所扣区域。 |
| 面积不等式 | 重新推导墙上等距点恒等式及三角形面积下界，检查每条底边在每一相邻条带只计一次，最后加权 Cauchy 的系数匹配。 |
| 有限表示穷举 | A、B 两种相位均枚举，使用最上/最下行各至少5点，而非假设所有行都至少5点。反序不丢失一种独立类型。 |
| 连续值与小数证书 | 目标是 sqrt(193)/12；小数验证器得到更大的近似值。不把小数可行证书称作无理数精确取等。 |

## 3. 自审后进行的推广

有两个可复用改进，而不是直接把原稿中的52替换掉：

1. 用有限宽度的**投影屏障**限制一条行的步数，不再按全部 n 点累积角度。
2. 全局行组织成立后，每步同时受左右两端约束，使用较近端点的角度界。

推广证明和结果在 `P56-ROW-CRITERION-2026-09-08.md`。
数值/程序层还做了独立的低效计数枚举回归、Machin 公式验证 pi 区间、
有理平方根包络和七个候选的精确几何核复核。这些检查补充数学自审，不能
代替它。没有修改其他作者的研究文件或生产代码。

## 4. 后续无限参数证明的自审

`P56-BOUNDED-DEFECT-THEOREM-2026-09-08.md` 将局部墙步锥从36度改进为
30度+beta，形成随差距消失的估计。经逐项自审，重点确认：

* `|dx|<=x_1+x_2` 与墙等距点恒等式确实推出 `tan|theta|<=sqrt(M^2-1)`，
  而非从上界反推下界。
* 强化的 S 首步界13beta、Z 下界30度-9beta均带全角误差；颜色和四墙
  模式仍先由旧的已审引理建立，没有循环依赖。
* `K>=max(100,10D^2)` 给出的统一约束是 `1/K<=.01`、`D/K<1/30`、
  `D^2/K<=.1`；所有多项式误差保留 D 的次数，没有偷偷把 D 当作<=3。
* 行投影先建立全局贯穿结构，之后才使用双端角度界。
* 相位使窗口乘积与2n最多相差1，两竞争窗口乘积最多相差2；整数因子
  的单调比较用的正是这个容差，而非错误地假设两乘积总相等。
* 统一排除下界严格大于89/1000，适用于所有阈值以上整数参数，不依赖
  递推样本数量。
* D=2、3两序列的较小前缀120、52已有证明，1512、621本次单独通过有限
  判据；故没有用大参数定理掩盖小参数空缺。
* 渐近式仅沿固定D递推序列成立；固定比例放大的反例已用精确分数验证。

结论：该参数定理与上述有限前缀在当前作者的自审中通过，仍保留后续独立
审阅的状态。这一轮不再为了增加已解清单而大量扫参数。