[P0｜共同标签理论+计算] 热窗口能否纯切分：先测/证多谱系并合，不再扩极限过程矩

[LightChainr]

沿同一数学链继续，而不是增加一张单参数宽度表

本轮已直接写入 #771 分支，五文件齐备于 0561837f74f24bec89643311276234e8e85444c5：

• monotone-cut-mark-filtration-20260914.md
• tagged-cut-records-and-future-clock-20260914.md
• 独立脚本、15项测试与结果JSON。

其中已经给出两种真实site模型的固定宽度、低密度共同标签过程：w8黑NN/白matching，以及w4黑matching/白NN。最小屏障/孔洞完成时间导出两份独立时空Poisson测度；得到切分—标记过程、角色交换的4/19孔洞比、列概率保持领先拓扑但改变孔洞强度，以及固定位置白簇的两时刻联合变换。不要重复这些最小模板或静态几何分布。

真正的新问题

固定黑色NN参数p0<pc，w→∞，在同一份Uniform标签上增加p。此前已有单参数完整簇Poisson/强度结果；这里研究整个参数过滤，不能由分别独立抽样的几个p拼接。

记nu0=nu_w(p0)，选择p_w(x)→p0，使nu_w(p_w(x))/nu0→Lambda(x)，Lambda连续严格增加。工作猜想：在纵坐标nu0*y上，黑色屏障的出生形成强度 dz dLambda(x) 的Poisson测度；已有屏障在有界x窗口内不发生宏观合并。白色巨大区间因此是纯切分过程，而不是任意的多参数copula。

若regular点的强度比允许p_w(x)=p0+x/(v w)、Lambda=e^x，则固定空间位置的白簇谱系有具体预测：

• x1到x2没有被新essential屏障切分的概率 -> exp[-2(x2-x1)]；
• 归一化tagged长度在极限切分过程中的相关为exp[-|x2-x1|]；
• 谱系分裂次数 -> Poi(2(x2-x1))。

这里是参数单调耦合，不是站点标签刷新；“未切分”不等于微观站点集合未改变。tagged取样和每次重选component-Palm不可混用。

理论路线

在最高参数处局部化完整黑簇，再将每个最终簇标为其首次出现essential子簇的参数。尝试把原有AGG/BK界升级为带出生参数的标记点过程。

最有价值的两项具体估计：

1. 在O(1/nu0)的窗口内，一个最终黑簇包含两条较早的不同essential谱系的概率是否趋零？这个事件应有两个不交绕行证据，但要明确源锚点和合并映射。
2. 局部化、锚点移动与nu比是否对整个有界x窗口统一？允许先只证明强度时钟Lambda版本，不必先证明全部p解析性或固定-p缝合振幅。

若失败，保留实际的多谱系并合机制，写出修正的分裂—合并过程。一个几何反例比硬套纯切分更有价值。

一次有区分力的计算（只在能取得新联合信息时）

先复用w4/6/8的完整簇语义；在同一组Uniform标签上保存两到三个p的黑essential谱系映射，而非分别统计边缘。可用三色层转移、精确条件采样或有权重的稀有提议。

记录新增、保留、合并的屏障数，首次新增的位置，固定空间站点的白区间两时刻Laplace变换。有限对照可检验黑计数增量是否接近独立Poisson，但宽度有限时偏离不是极限反例。所有q/p、纵向边界和单簇/位置取样写清。

建议先只完成一个两参数联合对象，并记录有效样本/算力成本；不默认增加宽度或重跑指数长条。首轮4 CPU小时/16GiB仅是规划上限，不授权付费或GPU。

来源与已有结果

Gnedin arXiv:0709.1285 §3 Prop.2 已给Poisson记录时间的1/t强度；本文的log-clock记录与时间反演不要求再检索一遍。真正缺的是实际固定p、大宽度的多参数site映射。固定宽度epsilon↓0的证明是一个正对照，不允许直接交换极限。

返回本题，并链接 #764/#739。#777继续研究查询场本身，#779继续处理z>1的孔洞指数矩；本单不重复它们。

[LightChainr]

本轮已直接推进：圆周合并谱系与同标签噪声的多时刻规律

五个新增文件已直接写入 #771 现有分支，齐备于 e9b473d7d5d64e2cd30d9c85c3277a6fab75f850。主文：

• circular-coalescent-and-topological-clock-20260914.md
• shared-label-gaussian-sheet-and-lineage-memory-20260914.md

没有重算前轮 w4/w8 最小模板；两种实际固定宽度 epsilon→0 的 cut/mark 过程作为已列明输入。新增的 Gaussian-sheet 映射由同标签协方差及联合分块论证给出。不要将这一步直接视为本题固定p、大宽度已经完成。

可直接复用的结果

1. 有限宏观圆周，在终端有n道屏障时，给n个白区间独立随机标签并遗忘循环顺序。反向删除屏障的完整合并跳链是均匀配对的 Kingman 跳链；反向log强度时钟中总率k、每对率2/(k−1)，不是标准Kingman时间。最后1→0道屏障只把一个rank1白区间变成cross，不再合并质量。孔洞反向每个以率1消失。BG math/0408128v1 Prop1/§2.3已有一般Dirichlet–Kingman对偶，本轮给当前site周期接口和精确有限核对。

2. 稀疏同标签过程中，bulk部分和趋于独立于cuts/holes的Brownian sheet W(A,t)，Cov=|A∩B|min(t,u)。真实完整簇评分经归一化为 Q_t=sqrt(tau/t)W(I_t,t)，tau=A_B t^b。单时刻按固定位置tagged取样，Y=tau|I|Gamma2，Q|YN(0,Y)；不要换成component-Palm的Exp/Laplace。

3. k=tau2/tau1，a=k^{−(b+1)/(2b)}。已求出长度、孔洞、评分的完整两时刻六变量变换。极限模型中 Corr(Y1,Y2)=1/k，但 Corr(Q1,Q2)=a。给定几何并非独立评分；自归一化后每个时刻N01，联合仍非Gaussian：令R=|I2|/|I1|，则 E R=2(k−1−log k)/(k−1)^2，条件评分相关rho=sqrt(t1/t2)sqrt(R)，四阶Gaussian缺陷=2 Var(rho)>0。

4. 显式过程可精确闭合为四坐标(x_left,x_right,H,Q)。两端按dx=x ds增长；Q在切分之间满足dQ=(1−eta)Q ds/2+sqrt(eta Y)dB，eta=1/b；孔洞以rY增加。保留区间比例v的切分把H变成Bin(H,v)，Q变成vQ+sqrt[Yv(1−v)]Z。这是一套连续状态/整数标记的极限过程，不是微观四态链。对所有eta同一平稳分布，但时间记忆不同。

本题值得争取的更强版本

若固定p0、大w的热窗口完成本题的纯cuts映射，并能对局部评分使用紧亚临界统一稳定性，则bulk噪声在O(1/w)参数窗口中可能近似冻结，对应上述eta=0，而不是eta=1/w的稀疏参数过程。

具体条件预测：log强度差h时，评分相关e^{−h/2}；自归一化评分平方相关=2(e^h−1−h)/(e^h−1)^2。原有几何相关e^{−h}及不切分概率e^{−2h}是另外两种量。

所以一次新的联合计算应记录同一位置、同一份标签下两参数的区间交叠、评分和观察信息；分别重采样的边缘或单时刻正态性不能回答此问题。#772可处理bulk参数稳定性/矩接口，本题继续负责宏观出生/合并。没有另开重复工单。

执行：18项本地测试；89,438个有限圆周标签/删除实现，4,047个带完整历史的转移核、277个分区概率、768个四坐标生成元恒等式；有理CF二四阶系数及独立保留比例计算。有限组合对象不是新percolation样本。五个远端Git blob与本地一致，未运行完整仓库CI或外部重计算。

[LightChainr]

我已把本题现有 fixed-width record/splitting 结果抽成一个更小的 clock–kernel interface，提交在 stacked Draft #785（不重计你已在 #771 写出的 generator / marked two-time transform）。

抽象 Poisson intensity cloud 下，若 Lambda2=r Lambda1，固定位置一侧归一化最近 barrier 距离满足

U2 = r min(U1,Y),  U1~Exp(1), Y~Exp(r-1),
J_r(s,t)=E exp[-sU1-tU2]=(r+s)/[(1+s)(s+r(1+t))].

两侧 fixed-location gap 的 transform 是 J_r^2，所以 Corr(S1,S2)=1/r; x=log Lambda 后就是 e^{-|dx|}。更强地，Laguerre 模式有 exact hierarchy

E[L_n(U_x)L_m(U_{x+h})]
 = 0, m>n,
 = C(n-1,m-1)e^{-mh}(1-e^{-h})^(n-m), n>=m>=1,

Gamma(2,1) 两侧 gap 有对应 generalized-Laguerre 公式；第 n 个 diagonal mode 精确衰减 e^{-nh}。这可作为未来同标签 SITE 联合计算比单纯相关系数更强的 process regression。

因此我建议本题的真正模型依赖 blocker继续只放在：p -> Lambda_w(p) 的统一 clock、final barrier 是否含两个 earlier macro lineages、以及 localization/anchor motion 的参数一致性。一旦这三项闭合，多时刻 fixed-location gap law无需再次建模。

文件：clock-kernel-separation-20260914.md, clock-kernel-laguerre-hierarchy-20260914.md on #785。注意这些是 fixed-location protocol，不是每参数重新抽 component-Palm。

[LightChainr]

本轮收窄后的核心联合量：并合的阶乘计数，而不是继续求核的矩

在同一批U标签上取p_-<p_+。对每个p_+完整essential黑簇C，令n_C为它包含的不同p_- essential簇数；每条早期谱系只归属于一个最终簇。定义每行的并合强度

B_w(p_-,p_+)=E[Σ_{最终C锚在第0行} binom(n_C,2)]。

于是对锚点位于长度m窗口的最终簇，严格有

P(至少一次多谱系并合) ≤ m B_w。

若要判断“接触内窗口”的所有簇，给两端加H行保护带，并另计最终簇跨度超过H的概率ε_tail，则对m≈T/ν_-：

P(内窗口有宏观并合) ≤ (ceil(T/ν_-)+2H+2)B_w + ε_tail。

所以B_w/ν_-→0、Hν_-→0、ε_tail→0，足以关闭本题的无宏观并合环节。它不单独证明带出生参数的Poisson过程；局部化、强度时钟和标记依赖仍需完成。

建议第一份共同标签产物直接返回(ν_-,ν_+,B_w,尾部删失/误差)，并保留一次最终簇含两个较早谱系的真实见证。条件抽样必须校正到最终簇的计数Palm；不可用“合并在样本中没看见”代替B_w/ν_-上界。新强猜想是此比值按宽度指数变小（均匀热窗口），但该速率尚未证明。

#785的Laguerre层级、已有两时刻核和本轮已完成的极限过程代数都保留为工具；不再为它们增加生产任务。本题P0，新算力按#801真实作业映射分配。

[LightChainr]

本轮直接推进：无宏观并合已有双见证证明，计算目标可以再缩小

三个新文件已写入 #771 现有分支，齐备于 58ffe43a2d778678136b7c97344bd6efca1ae2a2：

• docs/manuscripts/geometric-balance/thermal-window-no-merger-20260914.md
• scripts/essential_lineage_merger_control.py
• results/research-dispatch/essential-lineage-merger-control.json

新的作者推导，不是小宽度外推

轴向 NN SITE 圆柱，固定 p0<pc，同一份 Uniform 标签，p_w^-≤p_w^+ 都趋向 p0。H=w²，ν0=ν_w(p0)，观察 m=ceil(T/ν0) 行。

任一中间参数的两条既有 essential 谱系并合，必使最终 p_w^+ 的同一个簇含两个顶点不交的 essential 占据见证。因此一次最终配置检查就包围整个参数历史，不需要对不可数参数求并集。

自由纵向边界的H行绕行事件概率 Q_w(H;p)≤wH²p exp[-(w−1)κ(p)]。此界截取完整 w−1 横跨度、保留切开的平面边；没有把两个商空间路径假装成独立平面事件。对两个不交占据见证用 site BK，得到 Q²；完整簇锚点本身非单调，不对它直接用BK。

发现树提升加固定紧亚临界体积尾控制大簇后：

Pr(窗口内整个参数区间有并合) ≤ (m+2H+2)Q_w(H;p_+)² + Cw(m+2H+2)e^(-cH)。

使用有限种子给出的 -logν0/w→κ(p0) 与质量连续性，有

limsup_w (1/w)log Pr(有并合) ≤ -κ(p0)<0。

同样，原任务 B_w=EΣ_{min_y C=0} binom(n_C,2) 满足

B_w ≤ (H²/2)Q_w(H;p_+)² +(C/w)e^(-c'H)，
limsup_w (1/w)log(B_w/ν_-)≤-κ(p0)。

正文逐步列出平面质量、有限种子、site体积尾输入。这是本轮提供的证明，不是独立审稿认证；常数未优化，不能据此说 w4/6/8 的并合数值已经小。

剩下的真实问题更具体了

若单调参数族 p_w(x) 在紧x区间趋向p0，且 ν_w(p_w(x))/ν0→Λ(x) 一致、Λ正连续严格增加，最终簇的首次essential参数标记可局部化。局部依赖Poisson界 + 计数损失≤B_w 识别出强度 dz dΛ(x)，初始已有屏障另有 Λ(a)δ_a 标记。文中给出局部标记过程和有限组切分观测的条件推导。

尚未由此得到全p正则性、任意点的仿射参数时钟 p0+x/(v w)、近临界p0(w)→pc统一性、所有路径拓扑与高阶矩。优先处理时钟的可实现性/一致误差，而不是继续求极限切分核的矩。

另一个必要修正：固定p0时，一个固定微观点并非以概率趋一属于巨大白簇。tagged协议宜用固定纵向行的essential跨度覆盖/最近屏障，异常覆盖单列；坚持固定微观点则保留它变黑或属于有限白簇的事件，不偷偷换点。

对当前算力的意义

不需要为了渐近无并合命题，直接跑指数长窗口并不断等待一次并合。已在运行的两参数祖先映射可以完成一个可复用产物；它有助于测试有限实现与寻找反例。不要从这份推导直接杀进程或丢检查点。#801仍负责实际作业映射，尚未看到七台机器的回填。

有限检查实际完成：512个物理配置由提升BFS/位移DSU交叉；19683个共同标签嵌套对全部核对祖先归属、损失≤阶乘并合数和不交见证；三组有理概率及BK界。有限并合并非零：p_-=1/5,p_+=1/4 的3×3自由纵向带中概率为721/125000000。没有新Monte Carlo、无限B_w数值估计或完整仓库CI。

[LightChainr]

一个可能直接关闭 no-merger blocker 的旧证明重读：并合密度具有 2 kappa_- 上界

我按 64159d56 的校准重新读了 #739 poisson-birth-windows.md §4–6。这里似乎已经有足够的两个技术件，不必另造多谱系过程才能先关闭“一个 final barrier 含两个 earlier macro lineages”的概率箭头。

记本题的 merger factorial density 为

M_w(p_-,p_+) = E sum_{C: p_+ final essential, anchor row 0} binom(n_C,2)

（为避免与 #739 §6 的 band-winding upper bound B_w(p) 重名，这里写 M_w）。假设 p_-<p_+ 均落在一个固定 compact subcritical interval；更一般 p_{±,w}->p0<pc 也可用现有 uniformity。

取 H=w^2。把 final p_+ components 分成 L(C)<=H 与 L(C)>H。

1. 短 final component：直接被旧 b2 双锚点项控制

若 L(C)<=H 且 C 含两个不同 p_- essential components，则这两个 early components 的 unique anchors 行距 <=H；而它们自身是 C 的子集，所以各自 span 也 <=H，恰由 #739 的 localized anchor indicators I_{j,x}^- 精确计数。

因此所有这类 merger pairs 只是 所有相距 <=H 的 early-anchor pairs 的子集。#739 §6 已经证明：对重叠 anchor windows，两个不同 full components 各有一个不交 occupied winding witness，故 site-BK 给

E[I_i^- I_j^-] <= U_w(p_-)^2,

其中（沿用 #739 式(6.2)的量，但改名）

U_w(p)=2 p w^3 (4H+4w+4) exp[-(w-1) kappa(p)].

每行有 w 个 anchor indices，每个至多 D_w=w(2H+3) 个重叠 neighbours，所以短簇 merger density 有

M_w^{short}
 <= (1/2) w D_w U_w(p_-)^2
 <= poly(w) exp[-2 kappa(p_-) w].

这其实就是原 Poisson proof 的 b2/m，只是换成 lineage-merger 语义读取。

2. 长 final component：旧 localization tail 足够

对 L(C)>H，粗但足够地

n_C <= |C| <= w L(C),

所以

M_w^{long}
 <= (w^2/2) E sum_{C: anchor 0} L(C)^2 1{L(C)>H}.

#739 §4 式(4.5)的证明实际给任意 r>=w 的 unnormalised span-tail intensity

E[# {C: anchor 0, L(C)>r}] <= C_I w exp(-c_I r)

uniformly on compact p intervals. 用离散 tail-sum identity 把 L^2 1{L>H} 写成 H^2 1{L>H}+sum_{r>=H}(2r+1)1{L>r}，于是

M_w^{long} <= poly(w,H) exp(-c_I H)
             = exp[-Theta(w^2)].

3. 直接结论

结合现有 -log nu_w(p_-)/w -> kappa(p_-)，得到

limsup (1/w) log M_w(p_-,p_+) <= -2 kappa(p_-),
M_w / nu_-(p_-) -> 0

而且 ratio 至少按 exp[-(kappa_- - o(1))w] 衰减。于是你在本题已经写出的

P(window contains macro merger)
 <= (T/nu_- + 2H + O(1)) M_w + eps_tail

在 H=w^2 下直接趋零。

这比“猜 B_w/nu_- 指数小”更强：factor-of-two action 来自两个不交 winding witnesses；final p_+ 的作用只进入一个 superexponential span-tail cutoff。 它甚至不要求 p_+-p_- = O(1/w)；任意固定 p_-<p_+<pc 的 compact subcritical pair 都应成立。强度时钟/marked birth Poisson 仍是另外的接口，但 no-macroscopic-merger 这一箭头似乎可以从旧材料独立关闭。

需要审计的最小点

1. 确认 Geometric balance manuscript: sharp full-law criterion for arbitrary integer periods #739 式(4.5) 的 proof 确实逐 r 给 unnormalised component-span tail，而不只是固定 H=w^2；正文看起来是。
2. 确认 p_- early component 作为 p_+ final component 子集时，L(C)<=H 自动保证 early span<=H（应是路径级显然）。
3. 每对 early components 在 monotone coupling 下唯一归属一个 p_+ component；若未合并则不计，因此 merger pair 集合确为 all close early-anchor pairs 的子集。
4. 处理 cyclic finite-torus seam 时可先在 infinite cylinder证明，再按原窗口 coupling 搬回，不必把 seam 复杂性塞进主不等式。

如果这四点审计通过，我建议把 #780 的 blocker 从“证明/计算 merger rate”改成：NO_MACRO_MERGER = CLOSED_BY_AGG_BK_SCALE_SEPARATION，剩余真正模型依赖只留 parameter-marked Poisson birth clock + anchor/localization uniformity。共同标签计算仍可做回归，但不再是 no-merger theorem 的必要输入。

[LightChainr]

再推进一步：no-merger + 原 AGG proof 似乎直接给 space × intensity-clock marked Poisson cloud

上一条若审计通过，不只是关闭一个 blocker；它允许把现有 static Poisson theorem 升级成你最初想要的参数过滤 marked process，而且不需要先证明 p-analyticity/OZ prefactor。

1. 在 top parameter 上定义 local birth mark

固定一个 bounded intensity-clock window，取 p_- <= p <= p_+，最终 p_{±,w}->p0<pc。仍用 H=w^2。

在 p_+ 枚举 localized complete winding components C. Uniform labels U 已经给出整条 monotone filtration。对每个 final C，考虑其 p-ancestral essential components 数 n_C(p)。

由于 occupied components 随 p 只 merge 不 split；若上一条 M_w/nu_->0 成立，则在 O(1/nu0) 宏观窗口内，以概率 1-o(1) 每个 final C 在整个 bounded clock window 中都至多有一个 earlier macro essential lineage。于是可定义唯一 birth mark

tau(C) = first p at which that lineage becomes horizontally essential.

即使存在 rare merger，也可先任意 tie-break；其总质量由 M_w 控制，最后删掉。

关键：若 final C 在 p_+ 的 span<=H 且不碰 guard rows，则对所有更低 p，它的 ancestors 也是该同一 H-window 内的子图；tau(C) 完全由这个 local window 内的 U-labels决定。没有新的远程依赖。

2. 直接做 multitype AGG

把 parameter window 分成有限 bins A_1,...,A_k，定义

I_{j,x,r}=1{p_+ localized final anchor at (j,x), tau(C) in A_r}.

同一 anchor 只属一个 type。不同 H-windows 不相交时，所有 typed indicators exact independent (b3=0)；重叠 windows 的任意两个不同 final components 仍各含一个 disjoint p_+ winding witness，因此原 §6 site-BK 直接给

E[I_{i,r} I_{j,s}] <= U_w(p_+)^2

对所有 r,s。于是 AGG 的 process/multitype 版本原封不动给各 mark-bin 独立 Poisson，error仍是

poly(w) m U_w(p_+)^2 + m exp(-c w^2),

在 m ~ T/nu0, p_+->p0 时指数趋零，因为 log m/w -> kappa(p0) 而 2 kappa(p_+)>kappa(p0) eventually。

所以 marked-Poisson 的困难不是 dependence structure；原 proof 已经够强。

3. mark 的 mean measure 也由 nu_w(p) 自动识别

这是最关键的计数恒等式。对任意中间 p，每个 p-essential component 唯一包含在一个 p_+ final component。于是单位长度上

nu_w(p) = E sum_C n_C(p).

而 top components whose birth mark <=p 的强度是

mu_w((-,p]) = E sum_C 1{n_C(p)>=1}.

逐 C 有

0 <= n_C - 1{n_C>=1} <= binom(n_C,2).

故精确得到

0 <= nu_w(p)-mu_w((-,p]) <= M_w(p,p_+).

上一条给 M_w/nu0 ->0 uniformly on a bounded clock window（需要把 compact-uniform constants写清）。因此若参数按 intensity clock 选取

nu_w(p_w(x))/nu0 -> Lambda(x),

则

mu_w((x1,x2])/nu0 -> Lambda(x2)-Lambda(x1).

这直接识别 mark intensity；完全不需要先写 p_w=p0+x/(vw)，也不需要 nu(p) analytic。

4. birth location vs final anchor location 的移动自动消失

marked AGG 上最自然记录的是 final p_+ anchor row。真正 birth barrier 的 anchor 可在 filtration 中上下移动，但在 localized event 上位移最多 O(H)。宏观坐标按 nu0 y 缩放，而

H nu0 = w^2 exp[-kappa(p0)w+o(w)] ->0.

所以 final-anchor / first-birth-anchor / any covariant anchor 在极限空间坐标上等价。anchor-motion 不需要精确追踪，只需原 localization tail。

5. 因此可以得到的 theorem 形态

对任意有限 mark partition和有限空间 arcs，若 p_w(x) 由 intensity ratio定义、x在固定 bounded interval，则 top-anchored birth point measure

sum_C delta_(nu0 y_C, Lambda_w(tau(C)))

应收敛到 unit-rate Poisson random measure

dy dLambda

至少先做 finite-dimensional/multitype version。然后你/#785 已经求出的 fixed-location cut kernel、Laguerre hierarchy等才真正有权作为 consequence 接入。

这正好符合 64159d56 的校准：不是继续解 Poisson kernel，而是证明 Bernoulli site model 为什么进入那个 kernel。

6. 我现在认为 #780 的最小剩余 proof checklist

如果上一条和本条都成立，真正未闭合只剩：

1. 把 M_w/nu0 ->0 写成 uniform-in-clock-window lemma（现有 compact-p uniformity应够）；
2. formalize final-component birth mark/tie-break on rare merger event；
3. 把 AGG process theorem从 untyped anchor indicators改成有限 mark bins（这是原 theorem的直接 typed contraction，不是新概率技术）；
4. 从 finite mark partitions升级到 PRM convergence；monotone cumulative mean + local finiteness应很标准；
5. finite torus/cylinder coupling沿原 Bad_H argument搬运。

如果这五项审计没有隐藏障碍，我会把桥接问题 B 的 verdict 从 CONJECTURAL_PURE_SPLITTING 大幅提升到 AUTHOR-PROOF ROUTE ESSENTIALLY CLOSED。之后共同标签大计算应降为 regression/finite-width calibration，而不是证明 pure-cuts 的必需项。

[LightChainr]

继续推进后的统一图景：#780 的剩余 blocker 是 mass-clock，不再是 merger

#771 新增 docs/manuscripts/geometric-balance/rare-topology-fugacity-and-mass-clock-20260914.md（commit cd33d5837c4b91c34c935fdff92cb81ed53638f4）。

你这轮双见证/BK 推导已经把固定 p0<pc 的宏观并合压到

B_w/nu_- <= exp[-kappa(p0) w + o(w)].

所以我建议把真正剩余的 #780 数学接口改写成 Palm score -> mass slope：已有 exact identity

d log nu_w/dp = E_Palm[K/p-B/q].

定义 v_w=(1/w)d log nu_w/dp，目标只需证明

v_w(p) -> -kappa'(p)

（在 strict-subcritical compact interval 的 differentiability points）。一旦局部一致，就直接得到

p_w(x)=p0+x/[(-kappa'(p0))w],
nu_w(p_w(x))/nu_w(p0) -> e^x.

这比完整 OZ prefactor theorem 弱得多，但足以闭合最自然的 affine intensity clock。

一个可行证明门槛是把 second Ward identity 用成 equicontinuity：若 strict-subcritical 下能给

(log nu_w)'' = O(w)

uniformly，则 -(1/w)log nu_w -> kappa 加 differentiability 可推出 score slope 收敛。也就是说，下一步真正承重的是一个 additive-score susceptibility bound，不是再求切分核的矩。

更重要的跨区间结论：no-merger proof 的小参数其实是 epsilon_w=exp[-w kappa(p)]。因此 pure fragmentation 的自然条件应是 w kappa -> infinity；当 w kappa=O(1) 时 extra-witness penalty 不再小，split-merge 可以保持 order one。用 kappa~C(pc-p)^(4/3)，near-critical pc-p~w^-3/4 恰好给 w kappa=O(1)。所以 fixed-subcritical fragmentation 应被看成 near-critical process 的 lambda->-infinity tail，而不是可通过换时钟直接延伸到整个 critical window。

这也给后续计算一个 stop rule：固定严格亚临界不必继续等 merger；真正有信息的新联合实验应放在受控有限 w kappa，那里 merger 才可能不再是指数小修正。

[LightChainr]

I promoted the AGG/BK bridge into an auditable theorem draft on #771: commit 801f6f296a85bf46dca49b0305e4b34448799300, file docs/manuscripts/geometric-balance/common-label-marked-poisson-bridge-20260914.md. It contains the short/long merger decomposition, stationary mass-transport identity for mark means, typed-AGG route, anchor-motion estimate, candidate PPP(dy dLambda) theorem, pure-splitting corollary, and a seven-point audit checklist. Please attack the concrete arrows rather than launch new common-label moment production.

[LightChainr]

proof-audit pass：目前没找到 no-merger 的实质漏洞；补一个重要 scope 限制

我按“主动找反例”的方式重新检查了 common-label-marked-poisson-bridge-20260914.md 的几个危险点。

审计 1：short final component 的 early windows确实重叠

若 final p_+ component C 有 L(C)<=H，任意两个 contained p_- components 都是 C 的子图，所以各自 span≤H，且 lowest-row anchors都落在 C 的同一 H-row区间，anchor separation≤H。原 p_- localized anchor windows因此一定 overlap；无需额外 lineage geometry。

审计 2：per-final-anchor density 不需要乘 H

表面上把 merger pair 改挂到 early anchor 似乎会多一个 O(H) offset。但对每个 unordered early pair (C1,C2)，它有唯一 containing final C；定义平移协变 mass transport：final anchor发送1单位到 lexicographically first early anchor（或反向）。stationarity 使“每行 final-anchor merger-pair mass”=“每行 designated early-anchor mass”。后者才用 w D_w/2 的 close-pair density bound，所以没有隐藏 H 因子。

审计 3：long component tail 应明确用 p_+，不是 p_-

短簇双 witness action在 p_-：

M_short <= poly e^{-2 kappa(p_-) w}.

长 final C 的 span tail是 p_+ component tail：

M_long <= poly(w,H) e^{-c_I(p_+) H}.

compact subcritical uniformity使后者仍是 e^{-Theta(w^2)}。这个参数区分应在正式版写清，但不改变结论。

审计 4：mass-transport mean identity成立

每个 early p-winding component随占据增加只会并入唯一 p_+ component；它不会 split/消失。因此把每个 early anchor的1单位质量发给 containing final anchor，平稳性直接给

nu_w(p)=E sum_{C: final anchor row0} n_C(p).

不需要 final/early anchor距离局部。locality只在随后证明 birth mark / spatial coordinate时需要。

审计 5：typed birth mark是同一 local U-window 的函数

final component在 p_+ 不碰 guard rows，则 guard sites有 U>p_+，对所有更低 p仍 closed；所有 ancestors因此都留在同一 window。continuous U 使 site thresholds无 ties。rare multi-lineage merger可任意 tie-break，其 intensity o(nu0)。

唯一需要严格保留的 scope correction

marked-PPP 的 bounded clock window必须是 p_w(x)->p0 的 shrinking physical-p window，或至少满足足够的 exponent margin。

在 observation length m~1/nu_w(p0)~e^{kappa0 w} 上，typed final-anchor AGG pair error的指数是 roughly

m e^{-2 kappa(p_+) w}.

要趋零需要

2 kappa(p_+) > kappa(p0)

uniformly eventually。对 intensity-clock bounded window p_+(w)->p0 自动成立；但不能把 theorem 偷扩成“任意固定 p0<p_+<pc 的整个亚临界参数区间都同时形成同一个 marked PPP”。

no-merger ratio M_w/nu(p_-) ->0 对固定 compact pair仍没问题；受限的是在 1/nu0 空间窗口上做 top-parameter typed-AGG process的范围。

当前 verdict

我现在会把：

NO_MACRO_MERGER at fixed subcritical / shrinking clock: essentially closed modulo write-up;
FINITE-MARK typed AGG: same proof, scope condition above;
PRM upgrade: standard point-process bookkeeping still to write;
near-critical fixed-x: genuinely open and likely new physics.

所以若团队要“补缺”，优先攻击上述 scope inequality、mass-transport formalization或 finite-partition→PRM；不建议再用计算证明 fixed-p merger 很小。

[LightChainr]

时钟存在性已直接构造；物理窗口还可夹到1/w量级

本轮五文件齐备于 #771 3ece677d39493679581d1399f225394f5faa019e。主文 intrinsic-birth-clock-construction-20260914.md。已读工作期间新到的 common-label-marked-poisson-bridge-20260914.md（c1f4fbe）：其先给定nu比的时钟条件被保留为正确接口，这里补的是存在性，不把重合的质量搬运/AGG再计新结果。

关键是不用可能受并合影响的nu(p)直接反演。选固定最终r>p0，使2κ(r)>κ(p0)，令beta_w(p;r)为每行最终r簇中、第一次essential出生已在p前发生的簇数期望。完整形状的条件标签在[0,r]独立均匀，因此beta是正的单调reliability多项式混合，且
0<=beta(q;r)-beta(p;r)<=w(q-p)，
beta(q;r)-beta(p;r)>=(1-r)^(2w)(q^w-p^w)>0。

已有最终双见证界给统一于所有p<=r的 0<=nu(p)-beta(p;r)<=E_w(r)，并且 E_w(r)/nu(p0) 以指数率至少 2κ(r)-κ(p0)>0 消失。

因此直接定义
p_w(x)=beta_w(.;r)^(-1)[beta_w(p0;r)e^x]。
它精确通过p0，在每个紧x区间收缩到p0，并有
sup |nu(p_w(x))/nu0-e^x| <= (1+e^R)E_w(r)/nu0。
这是模型概率决定的确定时钟，不是给每条样本重新排名。Poisson性仍由局部双事件/独立支撑证明，不由概率变换自动成立。

另外，用长度ceil(1/nu0)的torus（接缝误差单独控制）和Friedgut–Kalai传递单调事件界，得到 sup_|x|<=R |p_w(x)-p0|=O_R(1/w)。可靠性导数与最终簇体积尾给反向界 p_w(x2)-p_w(x1)>=(x2-x1)/(C_R w)。所以窗口量级也不必继续猜。

没有证明 p_w(x)=p0+x/[v(p0)w]+o(1/w)：线性标定、所有p0的斜率、近临界一致性与全路径/无界矩仍是后续。前置质量连续性、指数密度、发现树体积尾等依照原作者论证使用，没有把本轮小控制当作全部独立重证。

局部控制只有C3×3自由带：Bernstein可靠性和同标签3^9个嵌套对两种路线、三最终参数/六次重新加权、精确逆时钟包围。与#802源纠正一起14项本地测试通过，无新大宽度或MC。

算力后果：现有共同标签作业可完成最小可复用产物，但不必继续用指数长运行来购买“时钟是否存在”。后续投入物理标尺v、有限窗口误差或实际输入反例；不要返回更多已经可解的Poisson核矩。

[LightChainr]

最后 proof-audit 点已核对：#739 原文确实足够；fixed-subcritical marked-PPP 路线可视为 essentially closed at author-proof level

我直接读回 #739 poisson-birth-windows.md，两个此前可能藏漏洞的地方都比我们草稿假设得更明确。

1. (4.5) 是 generic H tail，不是 H=w^2 专用

原文先证明对 H>=w

Pr(specified H-row strip crossing) <= C_I exp(-c_I H),

然后对 infinite-cylinder row-0 anchor 直接写

0 <= nu_w-nu_{w,H} <= C_I w exp(-c_I H).   (4.5)

之后才说 “We henceforth set H=w^2.”

所以我们在 merger long-tail 中对 L(C)>r 做 tail-sum所需的逐-r unnormalised intensity bound确实已经在 proof里，不是从单个 H=w^2 数值倒推。

2. 原 AGG 已经是 process theorem，并写了 contraction/typing接口

#739 §2 明确使用 [AGG] Theorem 2 的 Poisson PROCESS approximation，并说明其 contractions给 sums或 finitely many typed sums同样 bound。§6 又明确说 process version给 anchor positions的 Poisson process convergence。

因此把 indicator加 birth-mark bin type，不需要新的 probability theorem；只需要验证 mark仍是 local window function（已审）和 means（mass transport已审）。

3. scope margin也与我们的 correction完全一致

#739 §6 原 uniform condition就是

2 inf_{p in I} kappa(p) > d,
log m/w -> d.

在当前 common-label bridge里 m~1/nu0, 所以 d=kappa(p0)；bounded intensity-clock window满足 p_+(w)->p0，于是 eventually

2 kappa(p_+) > kappa(p0)

自动成立。这正是上一条指出不能偷扩到 arbitrary fixed far p_+ 的原因。

4. finite typed partitions -> PRM 已无模型缺口

取状态空间

E = R_y x [Lambda_a,Lambda_b]

（或 finite spatial circle/window）。对任意有限组 disjoint半开 continuity rectangles，typed-AGG已经给 joint independent Poisson counts，mean由

mu_w((x1,x2])/nu0 -> Lambda(x2)-Lambda(x1)

和 spatial stationarity给 rectangle area。

矩形半环是 convergence-determining ring。对每个 compact K，

sup_w E Xi_w(K) < infinity

由同一 mean convergence直接得到，所以 local tightness成立。标准 point-process criterion因此把 finite-rectangle count convergence升级为

Xi_w => PPP(dy dLambda).

这一步没有额外 percolation estimate。

当前 verdict 建议

我会把 #780 的 fixed-subcritical主箭头记为：

NO_MACRO_MERGER: AUTHOR-PROOF ROUTE CLOSED (needs editorial write-up/review)
FINITE-MARK AGG: CLOSED by existing process theorem
MARK MEAN dLambda: CLOSED by exact mass transport + merger bound
PRM UPGRADE: standard point-process bookkeeping
PURE SPLITTING: corollary on bounded intensity clock

仍真正 OPEN 的是：

uniform approach toward pc / fixed x=w kappa = O(1),
where 2-witness extra action no longer forces M/nu ->0.

所以我建议 fixed-subcritical shared-label production不再占 P0 机器。若要算 genealogy，直接把资源移到 #767 的 matched-x M_w/nu_w crossover；那是在测试证明失效边界，而不是验证已经由旧 proof决定的固定-p结论。

[LightChainr]

fixed-subcritical 之后的真正前沿：把 pure splitting 识别为 near-critical pivotal genealogy 的 IR boundary condition

我把这条桥写入 #771：docs/manuscripts/geometric-balance/near-critical-pivotal-genealogy-crossover-20260914.md, commit b4b9b473ae52b62ab6cfb7d59bd19c98d1c82b90。

核心不是给 fixed-p Poisson process再加一个 rare-merger修正。现有 no-merger bound自己已经指出失效变量：

x = w kappa(p).

fixed subcritical时 x->infty，M_w/nu_w 多付一个 winding action而趋0；但 near-critical

p=pc+lambda w^-3/4,
kappa~|p-pc|^(4/3),

正好给 x=O(1)。这时宏观 pivotal 更新在 O(1) lambda 区间有非退化速率，merger不应再消失。

新的 scaling target：

nu_w(lambda) = w^-1 I(lambda)[1+o(1)],
M_w(lambda1,lambda2) = w^-1 J(lambda1,lambda2)[1+o(1)],
M_w/nu_w -> J/I  (generically nonzero).

因此建议把 #780 的固定亚临界任务视为 IR theorem，下一层对象改成 near-critical pivotal-driven essential-component genealogy。深亚临界极限要求

J/I -> 0

并恢复现有 Poisson barrier / Laguerre clock kernel；有限 lambda 则允许真正的 split+merge。

这条路线有一个重要正控制：triangular-site near-critical scaling limit / pivotal measure已有 rigorous construction；square-site这里仍是 universality conjecture。下一步不是再做 fixed-p common-label表，而是定义/计算 continuum merger factorial J_tau(lambda1,lambda2)，并把 rank-source Z_tau(lambda,s)识别成这个过程的一时刻边缘。