[路线2026-09 / 新猜想] 同一参数的黑白交替更新：稀有绕行与巨大对偶簇

[LightChainr]

新问题，与两个分离出生窗口不同

设 NN 占据概率 p 固定且严格低于其平面 pc；白色 matching 的概率为 1-p。固定圆柱宽度时两侧所有簇仍有限。已有计数恒等式导出 ν4_w(p)=ν8_w(1-p)，但这不意味着两侧平均跨度或形状相同。

工作猜想：当 w→∞，黑色完整 essential 簇在按 ν4 缩放的纵向坐标上形成稀有屏障；相邻屏障之间主要由一个白色 matching essential 簇占据。若可建立真正的一对一交替和端部修正可忽略，则黑色簇的 typical span 为小尺度，白色完整簇 Palm 跨度应满足

ν4_w(p) L_white ⇒ Exp(1)，并可能有 ν4_w(p) E[L_white]→1。

若改从均匀纵向位置观察包含它的间隔，则对应长度偏倚 Gamma(2,1)，不是同一 Exp 分布。以上均为未证猜想；不假定黑白在同一 p 独立，更不能违反 torus 上 (W4,W8)≠(0,0)。

第一交付：确定性拓扑与概率映射

先证明或推翻任意配置上 essential black/white 组件沿圆柱的排序/分隔关系。一个组件可有很多同伦圈，必须整体处理；白色局部孔洞不是额外 essential 屏障。明确截面、锚点、同一圆柱的双侧边界，以及“一个间隔一个白簇”是否需要可忽略的例外。

随后检查既有黑色 complete-component 泊松论证是否足够给出 gap law，另证黑色簇跨度相对于1/ν趋零、相邻屏障连接/合并例外及矩一致可积性。不能从等计数恒等式直接推出更新独立性或指数间隔。

最小计算对照

先读现有 tagged/resolvent 数据；只需 w=2,3,4 在 NN p=1/4 与 matching q=3/4 配对的精确 ν、均值和截面量。q=3/4 对 matching 平面是超临界，这是本问题有意选择的对偶侧，不要当固定亚临界 Brownian 检验。大宽度 q 接近1的 reset会很差，首轮不运行。

交付与范围

返回 #739 一个证明/反例及必要条件，或带上述明确条件的更新定理。整理 Exp 与长度偏倚 Gamma 的不同观测协议。此结果可作为稀有Poisson区向共同临界窗口的桥，但不要求完成近临界普适性。分析为主；首轮有限控制规划不超过1 CPU小时，不新增大模拟或GPU。

[LightChainr]

本轮直接推进：从交替拓扑到巨大白簇的完整间隔律

按所有者最新意图，继续研究数学结构本身，不以发表准备为推进目标。本轮读取 #739 head 907a9d94；本题开始时尚无返回评论。五个新增文件已在所有者交付包中完成，尚未推入分支：black-white-gap-law.md、中文说明、dual_winding_renewal.py、测试与结果 JSON。没有再开同义任务。

1. 有限宽度的精确结构

同一批 Bernoulli 标签，black NN 概率 p，white matching 概率 q=1-p，无限圆柱 w>=3。所有完整 essential components 形成双向交替链 ... B_i < W_i < B_(i+1) ...。证明通过 4/8 complementary neighbourhood 的两条 essential 边界；最低行与最高行在此顺序中分别严格递增。局部边界接触保证相邻不同色分量的投影没有整数行间隙。多圈、枝杈和孔洞均保留，不选一个假定唯一的骨架。

设 a_i=min_y B_i、D_i=a_(i+1)-a_i、L_i=span B_i，则完整白簇满足

D_i-L_i <= span W_i <= D_i+L_(i+1)。

平移协变配对给 nu_B=nu_W=nu；平稳间隔恒等式 nu E_B D=1 给出

|nu E_W L - 1| <= nu E_B L。

这是任意固定宽度的精确不等式，不需要先假设泊松或前因子。每行 essential 投影计数还满足 N_B+N_W>=1、|N_B-N_W|<=1。

2. 固定 p<pc_NN、w→∞ 的推导

用平面 site volume tail 和首次查询探索树提升，得到宽度一致的 cylinder root-volume tail。孤立满行给 nu >= [p(1-p)^2]^w，最小绕行体积给 nu <= Cw exp(-cw)，于是完整黑簇 Palm 的 E K^r=O(w^r)。

我重写了所需的 rare-anchor Poisson 论证，不依赖此前 Gumbel/质量反演/p可微性链。局部化 H=w²；非单调完整锚点对先映射到两个不交 increasing winding witnesses，再用 site BK。共同 slab 的 ANY winding 概率由 (4H+4)nu+Cw(3H+4)exp(-cH) 控制，因此 AGG 的 b2 首项为 O(H³ nu)，趋零。黑锚点在纵坐标乘 nu 后趋向率一泊松过程。

用精确的离散空区间公式 V(n)=nu E_B[(D-n)_+]，凸函数差商和独立局部块给出 Palm gap 的 Exp(1) 极限与全部固定阶矩；不是对未控制余项求导。几何夹逼继而给实际完整白簇

nu L_W => Exp(1)，nu^r E_W L^r -> Gamma(r+1)，CV_W²(L)->1。

连续几个白簇跨度也趋向独立指数间隔。白簇最低行距下方黑锚点不超过 L_B，所以两色锚点过程趋向同一个 Poisson 过程，而非两个独立过程。

3. 观察协议与周期闭合

随机一行看到的长度存在长度偏倚：nu L_seen => Gamma(2,1)，而 component-Palm 是 Exp(1)。随机行渐近由唯一白 essential component 覆盖，但这不意味着每个站点都属于它。

在环面上取 m nu -> t，黑色全局绕行簇数 K→Poi(t)，white 全局计数是 K+1{K=0}。故联合 PGF 在 z,y∈[0,1] 上趋向

exp[t(zy-1)] + exp(-t)(y-1)。

零黑簇时多出的一个 white cross 是真实的全局拓扑单元。窗口 anchor counts 可同时为零，不与全环面两色 wrapping 不能同时为零相矛盾。条件 K=k>=1 时，循环间隔给 Dirichlet(1,...,1)。

4. 全高度精确控制已完成

复用未改动的 tagged 输入 blob 52f3611990ce2b1331d9e5296e0262f5e402e0d7，p=1/4、q=3/4，Fraction 全高度求解：

• w2：E_B L=2.0773300773，E_W L=16.4688644689，nu E_W L=.9352810651，white CV²=.8865951229；
• w4：3.1371029436，224.8816708764，.9960685995，.9846477960；
• w6：3.9380183818，2369.2739138182，.9997812668，.9978072200。

每行精确满足上述均值误差界。另有有理 Laplace 全分布读出及直接活动的体积交叉核对。没有用高度截断估计巨大的白簇。

5. 本题的新问题，而非重复计算

精确 mass transport 已给 theta_w=(nu/w)E_W K、chi_w=(nu/w)E_W K²。待证的 bulk-filling 猜想是

(nu L_W, nu K_W/w) => (E,theta_8(q) E)，E~Exp(1)，带二阶矩。

它会给 chi_w ~ 2w theta_8(q)^2/nu 和 Corr(L,K)^2->1。theta_8(q) 是平面无限白簇密度，不能直接替换成 q。w2/3/4 精确 Corr² 为 .99362833/.99849621/.99964572，但没有据此宣布该猜想已证。

另一待证问题 gamma_white/nu_black->1 涉及固定宽度极远尾，不能从 Exp 极限及所有固定矩自动推出；正文给出一个正 geometric-mixture 反例说明这个逻辑边界（非 site 反例）。

执行：41984 个强制黑边界 annulus 配置，两种邻接共83968次 BFS/独立位移DSU比较；4082个周期点模式、57223条精确Palm/长度偏倚恒等式；14项本地测试。五文件补丁在仅含固定输入的干净 Git 树中应用，测试再次通过，完整结果逐字节重生成。未跑全仓测试、外部重任务或Monte Carlo。

来源：Mertens–Ziff 1603.07289v2 §II 的匹配边界/计数背景；Antunovic–Veselic 0707.1089v3 Thms2–3及site BK；Arratia–Goldstein–Gordon 1989 Thm2（PDF printed p11已看图核对TV约定）。新增内容是这里写明的完整簇交替、几何误差和大白簇推导，不把通用Palm/Poisson方法称为新发明。

本题先保持开放，供正在进行的分析接入。无需重做本次有限宽度表；有余力时优先处理随机巨大区间内的体积填充或长时间尾部控制，任何几何反例或推导修正都直接记录在这里。

[LightChainr]

从巨大白簇的长度，推进到体积、连通响应与 Laplace 涨落

本轮读取 #739 head 907a9d94，工作期间吸收新 #771 head 53b4ec6111f5f97e11cbcdf4606aeaed17d0a9ae 的 structural-consequences 与 supercritical-white-slab-bulk 两份正文。双方重合的互补score恒等式、beta=(p/q)theta，是同一个数学事实，不重复计新成果。五个新增文件已在所有者交付包完成，未改共享分支。

1. 补出 #771 的 bulk-filling 论证

固定黑NN p<pc、白matching q=1-p，完整component-Palm，nu为共同每行簇密度，白簇(L,K,B)的B为不同外部黑站点。非essential白簇的外部可缩边界属于一个NN黑簇；界面长度受其顶点数控制。用黑色一致体积尾与局部方框事件f_r，得到 theta_w=(nu/w)E K -> theta_8(q)。

随机巨大区间的难点用Campbell消除：令F_r(C)为白簇跨度内局部f_r总和，则
(nu/w) E_W(F_r-K) <= theta_r-theta_w+nu E_B L。
有限依赖行平均的指数集中控制可同时覆盖所有候选长度，随后才转到稀有锚点Palm。边界点有平行论证。由此，本轮给出
(nu L,nu K/w,nu B/w) -> (E,theta E,(p/q)theta E)，E~Exp(1)，含固定阶混合矩；纵向体积测度趋于theta乘随机区间的Lebesgue测度。依赖之前的gap/Poisson与一致尾结论，没有把它们再算为独立证明。

2. 不需预设一般CLT，就能识别一个内部涨落

S=K/q-B/p，c=theta/(p q²)。完整活动q^K p^B给
d_q log nu=E S、d_q² log nu=Var S-E(K/q²+B/p²)。
互补黑簇只有O(w)大小，故score均值O(w)，巨大的体积/边界主项相消。
使用真实概率倾斜q->q+h、h=t sqrt(nu/w)，连同上面bulk定理与一致指数尾，推导
(nu L,sqrt(nu/w)S) -> (E,sqrt(cE)Z)，Z独立标准正态。
联合变换为 1/(1+u+c t²/2)（第一变量Laplace、第二变量特征函数）。score边缘是Laplace，标准化四阶矩6，不是3。这里不宣布整个(K,B)向量CLT成立。
q=3/4、w2/3/4精确中心峰度：7.4997614031、6.5975675334、6.2657634593。

3. 单独补上真正极远尾

令c_w(B)为白色纵穿概率，r_w(H)为白色横环概率。4/8环带对偶与重叠窗口白环的Harris拼接给
-log c(B)/B <= gamma_white <= [-log c(B)-log r(H)]/(B-H)。
取B~T/nu,H=w²，已有Poisson给c(B)->e^-T，黑色到达界给r(H)->1。因此 gamma_white/nu_black->1。不是从所有固定矩收敛猜极远尾。独立no-black-ring转移在w2/3/4/6得到比值1.13642433/1.03689306/1.01175416/1.00131736，附有理Collatz证书及有限拼接不等式。

4. 两个下游结果

• 完整簇form factor与质量搬运给纵向连通结构因子 (nu/w)sum exp(ik nu y) P(0<->_white(x,y)) -> 2theta²/(1+k²)；这是connectivity，不是独立占据标签的协方差。χ~2wtheta²/nu。已算全高度有理双点Laplace变换，不用高度截断。
• 环面mnu->t，宏观白簇体积分割为theta乘Poisson圆周间隔：J>=1时Dirichlet(1,...,1)，J=0时一个white cross。最大白簇体积除以theta N，在1处的原子质量为(1+t)e^-t；平方体积分数和/ theta²的期望为 2(1-e^-t)/t-e^-t。这是旧gap律加新bulk律的后果，不是新模拟。

5. 新长程问题已开 #772

进一步确定经有限宽度均值比居中的(K,B)内部二维涨落。一个score投影为混合高斯，不能确定整个协方差矩阵或排除其他机制。#772 给出已知投影约束，允许理论、定向检索或一个新联合变换计算；不重算本轮w2..4表，也不默认启动大型机器。

执行：15项本地测试；73,984环带配置、147,968横环/纵穿互补检查、250非essential cage控制、2,189独立完整形状与36条质量/双点变换等式；精确互补一二阶导数和score四阶矩；2,035周期点模式。五文件补丁在仅含固定输入的干净Git树实际应用，测试再次通过，结果逐字节重生成。未运行全仓CI、外部大计算或Monte Carlo。

文件：giant-white-bulk-and-response.md、giant-white-bulk-zh.md、scripts/giant_white_volume.py、相应tests和result JSON。使用未改tagged blob 52f3611990ce2b1331d9e5296e0262f5e402e0d7。数学推导中精确边界、全宽度论证、已有依赖和剩余猜想分别列明。

[LightChainr]

Direct continuation is now on stacked Draft PR #771, without opening another issue.

The main #764 simplification is stronger than the original working conjecture:

• the existing digital-Alexander construction is componentwise (the reduced white matching graph is a CW 1-skeleton of the complementary region), so consecutive black essential neighbourhoods have exactly one intervening white essential component;
• if G_i is the gap between consecutive black component anchors, a fixed lattice-neighbourhood convention gives |L_white-G_i| <= L(B_i)+L(B_{i+1})+C0;
• stationarity gives the exact Palm spacing identity E G_i=1/nu_w; the existing black component-Palm bound E L(B)=O(w) and nu_w=exp[-kappa w+o(w)] therefore imply without Poisson
  nu_w E L_white -> 1;
• using the existing process-TV Chen–Stein result with m_w=lambda_w/nu_w, lambda_w->infinity, log lambda_w=o(w), and applying a uniform-anchor Markov kernel gives nu_w G_i => Exp(1) explicitly from finite-circle Poisson spacings; Slutsky transfers this to nu_w L_white => Exp(1);
• a uniform vertical location instead gives independent left/right Exp(1) distances, hence containing-gap Gamma(2,1) and relative position U -> Uniform(0,1); fixed k-gap sums give Gamma(k,1).

So the coarse two-colour limit is naturally a Poisson interval tessellation: black essential components collapse to Poisson points and white essential components occupy the complementary intervals.

There is also an exact bulk checksum for the giant white side. For any supercritical independent site model with open probability q, flipping only the origin gives
P(origin closed and adjacent to infinity) = (1-q)/q * theta(q).
Thus if the huge white slab has the expected bulk LLN, then B_white/N_white -> p/(1-p) with no unknown amplitude.

Files: poisson-tessellation-consequence-20260914.md, supercritical-white-slab-bulk-20260914.md, and the structural note on PR #771.

[LightChainr]

新的连接：局部孔洞与全局屏障的最小成本相等时，出现离散内部模式

已直接写入 #771，五文件齐备 4ddd810312f98827f8f3b71bd2ab6a3b3d5cdea7。两份正文为 query-cavity-nondegeneracy-20260914.md、barrier-cavity-resonance-20260914.md，没有覆盖团队文件。

1. [#772 理论/低密度计算] 查询孔洞是否产生第二个 bulk 模：J(q)>0 与 p^8 首项 #777 的两个原始目标已给出证明：全内部超临界matching参数上 J>0（5×5白围栏的条件方差下界）；低黑密度 J(1-p)=p^8−2p^9+9p^10−20p^11+O(p^12)。空间谱的首个异点贡献在p^10，来自相邻的双孔洞。没有借巨大簇CLT来证明方差正性。

2. 改变极限为固定w=8、p↓0：黑色满行与3×3黑环都含8个黑点，但分别是全局essential屏障与局部可缩孔洞。每行候选数分别1和8，两个有限范围图案过程在p^8纵坐标上趋向独立Poi过程，率1和8。长度O(p^-8)窗口内出现≥9黑点连通簇的概率为O(p)，使这不是仅仅一个人为图案模型。

3. 在完整白簇Palm下，(p^8L,H)->(E,H∞)，EExp(1)、H∞|EPoi(8E)，所以 P(H∞=k)=(1/9)(8/9)^k。H是跨度内既不属于C也不属于其外边界的站点数。还得到 K+B−8L ->16−H∞，16来自上下黑满行。与归一化热评分的联合变换为 1/[1+u+8(1-z)+t^2/2]；高斯评分与离散孔洞共享随机长度。固定p宽度增长与固定w8小p是不同极限，不互相覆盖。

4. 若闭环长度mp^8→t，黑屏障数Poi(t)、孔洞总数Poi(8t)独立；条件于j个白宏观间隔和总孔洞h，各有序弱合成 (h1,...,hj) 等概率。J=0时仍为一个white cross。这种独立性只涉及可缩孔洞与平行屏障，不替代团队新稿中非平行同调物种的交数约束。

5. 新#779处理真正剩下的正孔洞场：有限p生成函数极点是否趋向9/8、z>1指数矩能否一致。已给不用新增H状态的精确接口：H=wL−K−B+B_out、0<=B_out<=2w，故收敛半径可通过已有完整活动 Psi_w(z^w,q/z,p/z) 获得。这不把未归一的活动核当作随机核。

实际完成15项本地测试，5个远端Git blob与本地逐字节相同，脚本重生成JSON逐项相同（远端紧凑JSON、CLI缩进JSON仅格式不同）。独立512围栏形状×4有理参数、3792个小黑动物平移类、全部图案重叠和布尔包含排除。无MC、无团队重计算、无全仓CI。几何分布的均值8/方差72是极限模型值，本轮没有从弱收敛自动升级实际有限p的全部矩。

[LightChainr]

PR #771 now proves more of the complementary-white morphology at the mean-reward level; the samplewise slab LLN/CLT remains open.

New note: white-component-mean-reward-20260914.md.

For black NN density p<pc and complementary white matching density q=1-p, let nu_w be the common essential-component row intensity and, under white component Palm, let L,N,B be span, site count and distinct black external-boundary count.

First, the probability rho_w(q) that a fixed cylinder site belongs to a white essential component satisfies

rho_w(q) -> theta_8(q).

Upper bound: an essential cylinder component must exit an injected planar ball of radius <w/2.
Lower bound: use subcritical black exponential crossing decay plus the exact 4/8 rectangle dichotomy to build, with probability 1-exp(-cw), a white matching circuit/frame connecting the injected local arm to a horizontal winding ring.

Then exact vertical Campbell/mass transport gives at every finite w

nu_w E_W N = w rho_w(q).

Together with the already established nu_w E_W L -> 1, this proves

nu_w E_W N / w -> theta_8(q),
E_W N/(w E_W L) -> theta_8(q).

Finally the exact complementary component score

q E_W B - p E_W N = p q partial_p log nu_w^4(p)

has RHS only O(w), while E_W N is order w/nu_w; multiplying by nu_w/w gives

nu_w E_W B / w -> (p/q) theta_8(q),
E_W B/E_W N -> p/q.

So the leading Palm mean vector is now parameter-free apart from the ordinary supercritical density:

(nu E L, nu E N/w, nu E B/w) -> (1, theta_8(q), (p/q)theta_8(q)).

This does not prove the stronger samplewise statements N/(wL)->theta or the conditional Gaussian bulk CLT; those remain the clean residual #764 morphology targets.

[LightChainr]

从一个固定参数的间隔律，推进到共同标签下整条白簇谱系

五个新增文件已直接写入 #771 的现有分支，齐备于 0561837f74f24bec89643311276234e8e85444c5，没有覆盖团队文件：

• monotone-cut-mark-filtration-20260914.md
• tagged-cut-records-and-future-clock-20260914.md
• scripts/dilute_fragmentation_clock.py
• 对应15项测试与 dilute-fragmentation-clock.json。

已吸收团队 barrier-cavity-resonance-20260914.md 的w8静态结果，不重复记为新发现。

实际site模型的新过程极限

固定w8黑NN/白matching，或w4黑matching/白NN；同一批U标签，以 U_(x,y)<=epsilon*t*a_x 单调染黑。纵坐标乘epsilon^w。最高参数下所有>=w+1点黑簇的总错误为O(epsilon)，同时控制整个有界参数区间，因此能把实际屏障/孔洞对应到最小模板的完成时间，而不只是每个p分别套Poisson。

完成时间标记给独立时空过程：cuts强度 dz d tau，holes强度 r dz d tau，其中tau=A_B t^w、r=A_H/A_B。白区间随cuts分裂，已有孔洞按位置继承。

角色交换的w4有19个最小matching屏障、每行4个最小轴向孔洞，故 (19p^4 L,H)=>(E,H)，EExp1，H|EPoi((4/19)E)，完整簇零孔概率19/23。这是本轮的实际模型推导；w8的r=8静态律是已有结果。孔洞高阶矩没有从弱收敛自动升级。

独立列概率可以保持领先拓扑，却改变内部噪声

w4：A_B=19 product a，r=(a0/a2+a2/a0+a1/a3+a3/a1)/19>=4/19。将均匀a改为(2,1,1/2,1)，A_B保持19，r变为25/76。
w8：A_B=product a，A_H=sum a_(x-1)^3 a_x^2 a_(x+1)^3，r>=8。a0=2,a4=1/2、其余1时A_B仍1、r=45/2。
这不是依赖重加权模型，而是实际独立Bernoulli列概率；完整领先cuts过程相同，孔洞过程不同。结论限于固定宽度稀疏极限。

跟随固定位置的谱系：log时钟的记录过程

令单侧X=tau D、s=log tau，则生成元 Af=x f'+x int_0^1[f(ux)-f(x)]du，平稳Exp1；两侧总长度Gamma2。每侧记录时间是log时钟率1Poisson，故谱系切分数 Poi(2log(tau2/tau1))，没有新切分的概率 (tau1/tau2)^2。传回共同site参数，w4/w8分别为 (p1/p2)^8 与 (p1/p2)^16。不是标签刷新动力学、也不是微观完整集合不变。

还求出完整两时刻长度—孔洞变换。tau1=1,tau2=k，设A=1+s+r(1-z)、B=kt+r(1-v)(z+k-1)，则
E[e^-sY1-tYk z^H1 v^Hk]=[(A+k-1)/(A(A+k-1+B))]^2。
显式极限过程的长度/孔洞log-time自相关均为exp(-|Delta s|)。这些协方差是极限模型的精确值；实际site协方差收敛另需矩控制。

反向log-time的单侧过程是 A_rev f=-x f'+int_0^infty e^-z[f(x+z)-f(x)]dz：确定性收缩加rate1指数移入。这与Gnedin 0709.1285的已知Poisson记录结构对齐，没有把通用记录定理称为新发现。

一个真正未完的长程问题已开 #780

固定p0<pc、w→∞的O(1/w)热窗口能否导出同一个切分过程？需要对共同标签统一控制最终簇含多个较早essential谱系的合并概率及强度比。#780给出条件版本与一次两/三参数联合计算，而不是重复单参数表。#777继续查询场、#779继续z>1指数矩，不重复。

执行：6196个最小支持物理配置（BFS/位移DSU独立绕行+完整白图）；610个共同标签阈值概率等式；216个两时刻变换/条件积分等式；49个时间反演有理数恒等式；15项本地测试。读回五个Git blob与本地相同；五文件补丁在干净最小Git树实际应用，测试再次通过，结果JSON结构及紧凑正规化字节重生成相同（脚本默认pretty，远端结果为compact）。没有Monte Carlo、新宽度或全仓CI。