目的与分配（2026-09-14）
服务于 #739 的第一份独立概率正文，与 #650 协调。本题不是重做 #740 的 OZ／周期缝合检索。第一批可执行：找到最近的已发表命题，决定我们应保留怎样的数学增量，而不是用没有搜索命中证明原创。
必须逐项比较的三个命题
- 实际独立 NN square-SITE 模型，任意整数周期 Lambda，真正最短周期 ell→∞，P2=P0 的有限根是否对面积、倾角和长宽比一致趋于平面 pc。
- N→∞ 时，两次 ambient-rank 出生的混合分布／全部固定内部分位数集中于 pc，是否等价于 log N/ell→0。
- 轴向 log m/w→d>0 时，出生中心是否由两个实际 site 图的水平质量反演 a=kappa_NN^{-1}(d)、b=1-kappa_matching^{-1}(d) 决定。中心、有限根、rank 概率和完整分布必须分开。
首轮阅读路径
Mertens–Ziff arXiv:1603.07289v2 的有限匹配恒等式及方形极限；Duncan–Kahle–Schweinhart arXiv:2011.11903v4 的模型、几何及 Theorem 6；Damron–Lam arXiv:2502.18235v1 §1.1.2、§2 及其 Grimmett／Chayes–Chayes／Campanino–Chayes–Chayes 原始引用。必要时向后追查 sponge dimensions、logarithmic wedges、strip connection cost，再向前追踪到检索当日。使用作者／出版社全文，摘要只作线索。
交付
一张逐命题对照表，每行给出准确版本、定理号／页码、site/bond、图、边界、允许几何序列、概率对象、极限顺序、结论强度，以及缺少的转换。对最接近的三项给出可复核推导：它是否直接推出我们的命题，还是需要真正新的周期同调步骤。最后写一段可直接进入论文的贡献说明：已有结论／简单推论／新证明候选／未查清，四者分开。
同时校对 square-site RSW、sharpness 的 site adaptation、amenable matching relation 的版本与编号；版本编号不一致不能靠摘要补齐。
不做
不进行宽度枚举、Monte Carlo、CFT 综述或泛泛期刊名单。不重写全部历史，不把有限控制当全尺寸证明。本题的否定结果同样有价值：若文献已覆盖完整命题，明确收缩第一篇论文，而不是更换名称。
输入基线：#739 head 907a9d9；较新的会话交付须单列为未集成来源。返回 #739，并向 #650 留一段结论摘要。
目的与分配（2026-09-14）
服务于 #739 的第一份独立概率正文，与 #650 协调。本题不是重做 #740 的 OZ／周期缝合检索。第一批可执行：找到最近的已发表命题，决定我们应保留怎样的数学增量，而不是用没有搜索命中证明原创。
必须逐项比较的三个命题
首轮阅读路径
Mertens–Ziff arXiv:1603.07289v2 的有限匹配恒等式及方形极限；Duncan–Kahle–Schweinhart arXiv:2011.11903v4 的模型、几何及 Theorem 6；Damron–Lam arXiv:2502.18235v1 §1.1.2、§2 及其 Grimmett／Chayes–Chayes／Campanino–Chayes–Chayes 原始引用。必要时向后追查 sponge dimensions、logarithmic wedges、strip connection cost，再向前追踪到检索当日。使用作者／出版社全文，摘要只作线索。
交付
一张逐命题对照表，每行给出准确版本、定理号／页码、site/bond、图、边界、允许几何序列、概率对象、极限顺序、结论强度，以及缺少的转换。对最接近的三项给出可复核推导：它是否直接推出我们的命题，还是需要真正新的周期同调步骤。最后写一段可直接进入论文的贡献说明：已有结论／简单推论／新证明候选／未查清，四者分开。
同时校对 square-site RSW、sharpness 的 site adaptation、amenable matching relation 的版本与编号；版本编号不一致不能靠摘要补齐。
不做
不进行宽度枚举、Monte Carlo、CFT 综述或泛泛期刊名单。不重写全部历史，不把有限控制当全尺寸证明。本题的否定结果同样有价值：若文献已覆盖完整命题，明确收缩第一篇论文，而不是更换名称。
输入基线：#739 head 907a9d9；较新的会话交付须单列为未集成来源。返回 #739，并向 #650 留一段结论摘要。