Goldbach H–L 命题 1：$r(n)$ Hardy–Littlewood 渐近与误差律

Verdict: GO-revision  |  Template 2 v2 standard · Mode A · ~26 agents · 2026-05-27  |  slug: goldbach_hardy_littlewood

§1 发散层：思路探索与排名

1.1 思路全景（5 角度 A–E）

角度	主线	关键工具
A. 圆法	把 $r(n) = \int_0^1 S(\alpha)^2 e(-n\alpha)\,d\alpha$ 拆 major / minor arc，主弧给 $M(n)$、次弧给 $\varepsilon$ 上界。	Hardy–Littlewood 1923；Heath-Brown identity；Vinogradov 双线性。
B. 二阶矩 / 例外集	$V(X) = \sum_{n \le X}\varepsilon(n)^2$；$E(X) = \#\{r(n)=0\}$。GRH 下 Goldston 92 任意 $A$，无条件 LZ12 同。Pintz 17 给 $E(X) \ll X^{1-\Delta}$, $\Delta \ge 0.879$。	Montgomery–Vaughan, Goldston, Languasco–Zaccagnini, Pintz。
C. 数值拟合 + CLT	把 $(r-M)/\sqrt M$ 当做经验正态 (Cramér 模型)；fit $R(n)=1 + a/\log n + \cdots$ 与 $V(X) \sim cX^\alpha(\log X)^\gamma$。	FFT 自相关；分层抽样；bootstrap CI。
D. 函数域类比	$\mathbb{F}_q[t]$ 的 Goldbach 已严格证（Bary-Soroker / Sawin），Weil 界给 $O(q^{1/2})$ 残差。可类比 $\mathbb Z$ 上 $\sqrt n$ 残差。	character sums、Weil 界、Galois。
E. 零密度 / L 函数	$E(X)$ 上界经由 Dirichlet $L$ 的零密度估计推进 (Chen–Pan → Li → Pintz)；$\chi$-twisted self-dual minor arc 为未开采方向。	Huxley 零密度；Pintz 2010；Bourgain 2000。

1.2 候选思路打分排名（L1.ranker）

由 L1.ranker（18 / 15 / 15 三档）给出 top-3：

1. EL2_normalized_CLT (18) — "$\mathfrak{S}$-条件 $(r-M)/\sqrt M$ 经验 CLT" — novel × falsifiable × pipeline-fit 满分。但 advocate#3 警告：与"二阶矩工具" axis (b) 重复计分，T1 与 T2/T3 数学上耦合。
2. V(X) FFT 拟合 + 拟合公式作猜想 (15)
3. $\mathfrak{S}$-multiplier diversification (15)

1.3 推荐攻克目标

L2.reader 综合 8 篇 arXiv 后推荐 T1 优先，并列出三大正式候选：

1.4 数值哨兵警告

§2 分析层：arXiv 文献调研

2.1 关键论文逐篇分析

L2.search 收得 8 篇 arXiv PDF（已下载到 prop1/papers/），加 6 篇非 arXiv 经典文献：

引用	主结果	对本命题角色
Hardy–Littlewood 1923 (Acta Math. 44)	圆法启发 $r(n) \sim 2C_2 \mathfrak{S}(n) n/(\log n)^2$，无 $r(n)>0$ 严证。	主项基线；prover#1 Step 3、prover#2/#3 $J(n)$ 同源。
Montgomery–Vaughan 1975 (Acta Arith. 27)	$E(X) \ll X^{1-\Delta}$ unconditional，$\Delta$ 隐式。	$E(X)$ 工具链祖先；与 T2 $V(X)$ 上界正交。
Goldston 1992	GRH 下 $V(X) \ll X^2(\log X)^{-A}$ 任意 $A$。	T2 的 GRH 上界基准。
Mikawa 1992/1993 (Tsukuba J. Math. 17)	GRH 短区间 $\ell^2$，$H\ge X^{7/12+\varepsilon}$（1992）/ $X^{1/2+\varepsilon}$（1993，强假设）。	T3 基准；7/12 = HB 12-th moment deep barrier。
Languasco–Zaccagnini 2012 (Proc. AMS 140)	$\sum_{n\le X}\varepsilon^2 = O_A(X^2 (\log X)^{-A})$ unconditional，任意 $A$。	T2 真基准；GS20 / GT22 都不是。
Pintz 2017 / arXiv 1804.05561	$E(X) \ll X^{1-\Delta}$, $\Delta = 0.879$（也作 $\Delta = 0.28$ 早版）。	例外集饱和方向；与 $V(X)$ 上界不直接冲突。
Mutafchiev 2016 (arXiv 1602.01232)	$Z_n = Q(2k)/b_n \Rightarrow \mathrm{Uniform}(0,1)$，$2k$ 在 $(4,2n]$ 均匀抽样。	与 T1 正交：averaged-in-$2k$ weak limit ≠ point-wise CLT。advocate#1 误读已澄清。
Goldston–Suriajaya 2020 (arXiv 2007.16099, 2007.14616)	Riesz-$m$ mean $E_m(x) \ll x^{m-3/4+\varepsilon}$ on RH。	正交体系；非 $V(X)$ 基准。
Grimmelt–Teräväinen 2022 (arXiv 2207.08805)	almost-twin 例外集 $E(N,2,2) \ll_A N(\log N)^{-A}$。	正交体系；非 $r(n)$ 二阶矩。
Bank–Bary-Soroker 2014 (arXiv 1410.1283)	函数域 Goldbach $\mathbb F_q[t]$ 严证 + Weil 残差 $O(q^{1/2})$。	D 类比；对应 $\sqrt n$ 残差，不对应未减偏置 $r-M$。
Martin 2018 / Egami–Matsumoto 2023	$r(n)$ in arithmetic progressions / Dirichlet 形式。	$\chi$-twist 方向种子（algebraist 提示 P3）。
Suzuki 2015 (arXiv 1504.01967)	$r(n)$ in AP 的 mean-value 表示。	P3 解析候选关联文献。
Heath-Brown 1979 / 1982 identity	$\Lambda$ 分解；minor-arc type I/II 估计。	T2 / T3 工具；12-th moment 来源。
Helfgott 2013 (三素数定理显式)	奇 $n \ge 5$ 严证为三素数和。	背景对照（二元 vs 三元 minor arc 落差）。

2.2 命题在文献中的现状

命题	文献覆盖	实际增量空间
T1（点态 CLT）	空白 (c)	真有 — 文献无 prize-grade CLT for $r(n)$；Cramér 模型纯启发。
T2（无条件 $V(X)$）	部分覆盖 (b) — LZ12 任意 $A$ 已经存在	$\alpha < 2$ 等价于 EH 突破或 zero-density 大改进 — Mode A 不可达；只能争 effective constant。
T3（GRH 短区间）	部分覆盖 (b) — Mikawa GRH $H \ge X^{1/2+\varepsilon}$	$\theta < 1/2$ ≡ Lindelöf — deep barrier。

2.3 缺口与实际增量

L2.reader 综合判定：T1（点态 CLT）是真正的 prize，因为它是文献空白且 advocate#3 在 (b) 候选中能容纳"经验 $\sigma^2$ 显式数字 + $\mathfrak{S}$-子类细节 + 偏度方向"作为可证伪精细化。T2 / T3 在 standard 流水线内只能整理"已有最佳"+ 提出小进展候选，难以出 (a) 新定理。

§3 执行层：研究主体

3.1 数值实验（多尺度 / OEIS / failure search）

L3.numerical#02 — singular series amplitude diversification

758 样本，4 个 $\mathfrak{S}$ 类（A/B/C/D），$\mathfrak{S} \in [1.00, 4.14]$。R̄ 跨类几乎一致 ≈ 1.2，max pairwise $|\Delta\bar R|=0.099 < 0.10$：H–L $\mathfrak{S}$-multiplier 在 4× 振幅下被验证。

类	N	R̄	注
A ($\mathfrak{S}\approx 1$)	54	1.2515	$n=2p,\,2p^2$
B (rich $\mathfrak{S}$, primorials)	28	1.1550	$n=2\cdot p_k\#$，N=28 小样本
C ($\mathfrak{S}\approx 3$)	176	1.2539	$n=12k,\,60k$
D (random even $\in[10^5, 5\cdot 10^5]$)	500	1.1910	canonical regime

系统正偏 $R\bar - 1 \approx 0.19{-}0.25$ 是已知 $1 + O(1/\log n)$ 次阶项；corr($\log n$, $R$) = $-0.31$ 是最强 predictor。

L3.numerical#03 — $V(X)$ via FFT 自相关

$V(X) = \sum_{4 \le n \le X,\,\text{偶}}(r(n)-M(n))^2$，$X \in \{10^3, \ldots, 10^6\}$，7 个点。3 个模型拟合：

模型	表达式	参数	$R^2_{\log}$
A	$V = c X^\alpha$	$\alpha = 2.4033$	0.9998
B	$V = c X^2 (\log X)^{-\beta}$	$\beta = -3.98$（错号！）	0.9990
D (3-param)	$V = c X^\alpha (\log X)^\gamma$	$\alpha=2.75$, $\gamma=-3.43$	1.0000（必 over-fit）

L3.numerical#04 — reactive: CLT signal 测试

对 758 样本检 $Z(n)=(r-M)/\sqrt M$，Cramér 预测 mean=0, var=1。结果：

group	N	mean(Z)	var(Z)	KS vs $N(0,1)$
ALL	758	+9.51	16.47	$p \approx 0$
A	54	+5.33	11.05	$10^{-58}$
B (primorials)	28	+7.54	87.30	$10^{-12}$
C	176	+6.04	4.41	$10^{-256}$
D	500	+11.30	7.99	$\approx 0$

3.2 形式化证明草稿（含 prover↔numerical 双向循环记录）

L3.prover#01 (T1 Cramér 链, 6 step)

6 步推导：(1) 定义；(2) Cramér 概率假设 $1_{m\text{ prime}} \to \mathrm{Bern}(1/\log m)$； (3) Mertens + 二阶 PNT → $E[Z(n)] = M(n)$； (4) 独立性 → $\mathrm{Var}[Z(n)] \approx M(n)(1-o(1))$； (5) Lindeberg–Feller CLT； (6) Slutsky → $(Z-M)/\sqrt M \Rightarrow N(0,1)$。

5 hooks: Var(Z)/M 收敛、Berry–Esseen 速率、$\mathfrak{S}$-条件归一、Var(r) 直测、KS 距离。

L3.prover#02 (T2 unconditional $V(X)$)

三候选：(1) minor-arc $c$ 从 5/2 → 3/2 (Heath-Brown identity)，可能 $\Delta A = +2$ — 但可能 LZ12 已用；(2) Pintz $E(X)$ 反推 — 方向错，给的是下界；(3) Pintz 2010 零密度 transfer 到 $L(s,\chi)$ — plausible 但 ΔA heuristic。

verdict = c（无 candidate clearly beats LZ12）。

L3.prover#03 (T3 GRH 短区间)

两候选：P1 在 GRH + $L^4$ Lindelöf-avg 下推 $H \ge X^{1/2-\eta}$, $\eta < 1/12$；P2 在 GRH 下 $H = X^{1-\delta}$, 余项改为 $\exp(-c\delta\sqrt{\log X}/\log\log X)$，$\delta \le 5/12-\varepsilon$。

$\theta < 1/2$ 在解析上等价 Goldbach-on-short-interval 的 Lindelöf-类不等式（≡ Riemann–Lindelöf 同深度）。verdict = c。

双向循环记录（prover ↔ numerical）

• prover#1 hook L5.1 → numerical#04（KS test）→ verdict "$Z$ 不是 $N(0,1)$ 在未去偏下" → 触发 conjecture-gen 去偏 → 真 $\sigma^2_D \approx 0.64$。
• prover#3 H 下界 → 与数值 $V(X)$ small-X regime 解释一致（短区间 $\ell^2$ 在 $X \le 10^6$ 不可见 Goldston）。

3.3 对手反驳记录

Agent	verdict	关键反驳
L3.advocate#01 (T1)	challenge	Mut16 与 T1 正交不构成冲突（澄清）；$\mathfrak{S}$ 振幅 dominates；$\sigma^2$ 在不同独立性假设下取不同值（循环）；需 $n \ge 10^7$。建议：T1 改 $\mathfrak{S}$-条件 CLT。
L3.advocate#02 (T2/T3)	challenge	BV 循环论证 → $\alpha<2$ unconditional 等价 EH 突破；Mikawa 7/12 与 HB 12-th moment 同源 deep；T2/T1 强解耦（$L^4$ 无 nontrivial bound）；Pintz 粗下界算错方向，间接封死 $\alpha<2$。
L3.advocate#03 (meta)	challenge	Ranker 把 T1 (CLT) 与 T2/T3 (二阶矩) double-count；conjecture-gen 必须比 Cramér 启发更精细（显式 $\sigma^2$ / 偏度方向 / $\mathfrak{S}$-子类 / $R(n) = 1 + a/\log n + \cdots$ CI）；formal-verifier 不证 T1 真；L5 应预期 verdict 在 (b)+(c) 之间，不强宣称 (a)。

3.4 文献核实记录

lit-integrator	verdict	结论
classical (H–L 1923 / MV 1975 / Mikawa 92-93)	ok	3 prover 全部 无 misquote。Pintz $\Delta = 0.879$ 真值（早版 0.28）；prover#3 Mikawa H 链准确。
Goldston–Suriajaya 2020 / Grimmelt–Teräväinen 2022	ok	覆盖正交体系，不是 $r(n)$ BV 二阶矩真基准。真基准是 LZ12。
Mutafchiev 2016	c	$Z_n = Q(2k)/b_n \Rightarrow U(0,1)$ 是 averaged-in-$2k$；与 T1 正交（不冲突也不蕴含）。advocate#1 "$(r-M)/M \to$ 非退化 ⇒ T1 不可" 误读已破。

3.5 程序与 run log

所有代码 + 日志 + 数据沉淀在 prop1/{code,logs,data}/：

• L1_sentinel.py — OEIS A002375 24/24, $R \in [1.14, 1.52]$。
• L3num_02_singular_amplitude.py — 758 样本 $\mathfrak{S}$-stratified。
• L3num_03_second_moment.py — FFT autocorr $V(X)$，$X \in [10^3, 10^6]$。
• L3num_04_clt_signal.py — 5 hooks（mean / var / 𝔖-cond / Var(r) / KS）。
• L3_conjecture_gen.py — M1/M2/M3 fits + class-D-only stratified hold-out + 𝔖-cond CLT 表。
• code/lean/MainTheorem.lean — T1 scaffold（build=skip, toolchain 不在 PATH）。

Long jobs queued

3.6 数据驱动猜想（v1.3 ⭐）

L3.conjecture-gen 在修正后的 class-D-only stratified hold-out（train 237 行 $n\le 3\cdot 10^5$ / hold-out 263 行 $n>3\cdot 10^5$）上产出三猜想：

C1 — $R(n)$ leading sub-correction tentative

模型	参数 (95% CI)	$R^2_{\rm train}$	$R^2_{\rm hold}$
M1: $R = 1 + a/\log n$	$a = +2.411$ [+2.383, +2.440]	0.152	$-0.012$
M2: $+ b\,\log\log n/\log n$	$a=6.06$, $b=-1.46$	0.177	$-0.071$
M3: $+ b/(\log n)^2$	$a=0.95$, $b=17.66$	0.177	$-0.060$

$R^2_{\rm hold} \approx 0$ 是 $\Delta \log n = 0.5$ 窄窗信号 < 噪声（per-$n$ residual $\sigma \approx 0.018$），不是 over-fit。三模型在 $\log n \approx 12.5$ 处的 $\hat R$ 值仅 0.005 散布 — 经典 narrow-range identifiability。

C2 — $V(X)$ 双参数律 low-conf

$V(X) \sim c\, X^\alpha (\log X)^\gamma$，$\alpha \in [2.610, 2.880]$, $\gamma \in [-4.78, -2.09]$（95% CI 在 7 个 $X$ 点上），$R^2_{\log} = 0.99998$。$\alpha$ 与 2 相差 $>6\sigma$，refutes naive Cramér $\alpha = 2$。但 7 X-points 不够解耦 $\alpha/\gamma$；confidence = low；须长任务 $X \in [10^6, 10^9]$ 解耦。

C3 — $\mathfrak{S}$-条件去偏软 CLT primary

设 $\hat R(n) = 1 + 2.411/\log n$ (M1 fit)，定义去偏标化残差 $$Z'(n) := \frac{r(n) - M(n)\,\hat R(n)}{\sqrt{M(n)}}.$$ 在 class D 上得 mean = $-0.10$, std = $0.80$, skew = $+0.011$, kurt = $-0.254$。

类	N	mean	std	skew	kurt
A ($\mathfrak{S}\approx 1$)	54	+0.108	0.787	$-0.023$	$-0.742$
B (primorials)	28	$-0.771$	1.116	$-0.883$	+0.342
C ($\mathfrak{S}\approx 3$)	176	$-0.085$	0.522	+0.166	$-0.572$
D (random)	500	$-0.102$	0.801	+0.011	$-0.254$

$\sigma^2_D \approx 0.641$，bootstrap 95% envelope $\approx [0.52, 0.78]$ — strictly $< 1$，与 Cramér 独立性预测 $\sigma^2 = 1$ 在减次阶项后被排除。

3.7 形式化验证（v1.3 ⭐）

§4 审核层：4 类专家评议

4.1 解析数论评议（L4.analyst）— fixable

核心判断：reactive#04 五项指标（Var(Z)=16.47、Var(r)/mean($M^2$)=0.70、Var(r)/mean(M)=4138、KS p≈0、mean(Z)=+9.5）同向指向 $r(n)$ 涨落尺度是 $M(n)$ 而非 $\sqrt{M(n)}$，即 Mut16-type "$(r-M)/M = O(1)$"。但关键澄清：是 $Z$ 的 normalization 选错（未减次阶项），不是 Cramér 模型整体崩塌；conjecture-gen 减完次阶项后回到 $\sqrt M$ scale 且 $\sigma^2_D \approx 0.64 < 1$。

• (a) Cramér 独立性失效不是小修正而是阶层崩塌。
• (b) H–L 无法直接给 $\sigma^2 \approx 16.47$（16.47 是 sample 量而非渐近常数）。
• (c) C1 中 $a \approx 2.4$ 与标准 H–L 二阶项 $2\gamma - 2\log 2\pi \approx -0.85$ 符号 + 量级均不符，更像 small-$n$ bias 而非渐近系数。
• V(X) $\alpha\approx 2.75$ 与 Goldston GRH 无矛盾（bias-dominated regime），审查通过。
• T2/T3 文献定位 ok。

建议：T1 改 $\mathfrak{S}$-条件 CLT 或 $(r-M)/M$-律；C1 降格 conditional numerical observation；T2/T3 维持 c。

4.2 代数 / 结构评议（L4.algebraist）— fixable

核心判断：reactive#04 vs conjecture-gen 的 $\sigma^2$ 张力（16.47 vs 0.64）不是冲突，是 $Z$ 的两种定义。代数上一致：$1 + a/\log n$ 偏置被吸收后，fluctuation 回 $\sqrt M$ 级别，$\sigma^2 \approx 0.64 < 1$ 是 prime-pair $(p, n-p)$ negative correlation 的代数签名。

• $\mathfrak{S}$-multiplier 因子层面被验证（pass with rider）。
• 建议 T1'：在 class D 下 $Z'(n) = (r-M\cdot(1+2.41/\log n))/\sqrt M \Rightarrow N(0, \sigma^2)$ with $\sigma^2 \in (0,1)$，点估计 $\sigma^2 \approx 0.64$。
• 函数域类比对应 $\sigma^2 \approx 0.64$ 中的 $\sqrt n$ 部分，非未减偏置的 $r-M$。
• Lean stub 必改两处：$\sigma^2 = 1$ 硬编码 → $\exists \sigma^2 \in (0,1)$；gaussianCDF 返 0 → 链接 Mathlib。
• prover#2/#3 漏 (i) $\chi$-twisted L 的 self-dual minor arc（potential $\Delta A \ge 1$）；(ii) Sym²(GL₃) 8-th moment 替换 GL₂×GL₂ 12-th moment（potential $7/12 \to 4/7 \approx 0.571$）。

4.3 数值与代码评议（L4.numerist）— fixable

核心判断：代码 r(n) / M(n) / V(X) 全部正确（sentinel OEIS 24/24 通过；FFT 与 ordered $(p,p)$ 边界一致；spot-check $r(10)=3, r(100)=12, r(1000)=56$ 全 match）。真正的 bug 是统计语义：L3num#04 把"系统偏差²"误读成"Cramér 方差"。

• 核心 bug：reactive#04 $\sigma^2 = 16.47$ 是 $\bar R \approx 1.2$ 系统偏差²主导的伪散，不是真 Cramér $\sigma^2$。conjecture-gen 去偏后 $\sigma^2_D = 0.64 < 1$ 才是 T1 正解。
• C2 confidence 必降 low：Model D 3 参拟 7 点是数学必然 over-fit。
• Hold-out $R^2 = -0.012$ 不是 over-fit，是 $\Delta\log n = 0.5$ 窄窗信号 $<$ 噪声。
• class B N=28 应 bootstrap CI。

4.4 对手最终评议（L4.advocate）— fixable, recommend_downgrade=no

类	可宣称	over-claim 风险 / 不可宣称
(a) 新定理	—	prover#1 verdict=b 但 gap=G1/G2/G3 严重；prover#2/#3 verdict=c。不可宣称任何新定理。
(b) 新猜想	C3 (primary, $\sigma^2 < 1$, bootstrap envelope)；C1 (secondary refinement, hold-out 未证未否)；C2 (low-conf, awaiting long-jobs)。	不可宣称 "C1 verified with $R^2=0.15$"（train 上 R²，hold-out $<0$）；不可宣称 "$\sigma^2 = 0.64$ universal"（仅 class D, 500 样本）；不可宣称笼统 "Cramér falsified"。
(c) 新计算	758-sample $\mathfrak{S}$-stratified dataset + FFT-autocorr $V(X)$ 工具 + negative result "$n \le 5\cdot 10^5$ 视野不足以触及 Goldston regime"。	不可宣称 dataset 是 "largest known"（Oliveira e Silva 2014 至 $4 \cdot 10^{18}$）。
(d) 综述视角	Mut16 vs Cramér 正交；GS20/GT22 vs LZ12 真基准；Mikawa 7/12 = HB 12-th moment deep barrier；$\hat R$ 正偏 vs Cramér 零均值 conceptual gap。	不可宣称 novel review；说 "internal-to-pipeline conceptual map; not novel over Heath-Brown / Pintz notes"。

4.5 综合判定

reviewer	verdict	downgrade?
analyst	fixable	no
algebraist	fixable	no
numerist	fixable	no
advocate (final)	fixable	no

4 / 4 fixable, no reject, no downgrade，但条件是 §5 严格按 advocate §2 矩阵收口。

§5 总结层

5.1 是否解决

否。任何 H–L 主项 $r(n) \sim M(n)$ 的无条件证明均不在 reach。T1（点态 Cramér CLT）在原始形式下被数值证伪（KS p≈0），T2（GRH 下 GS92 $L^2$，任意 $A$）已是 1992 文献基线，T3（短区间 LZ12，$A = 1$ unconditional）未推进。prover#1 在 Cramér 模型下完成 6 步链推导但 gap = G1/G2/G3 严重；prover#2/#3 verdict = c（无 candidate clearly beats LZ12 / Mikawa 7/12）。

5.2 Gap 在哪

• G-T1（解析）：$\sqrt M$ 归一化下 $(r-M)/\sqrt M$ 不收敛；真尺度是 $M$。修复路径：$\mathfrak{S}$-条件 + 次阶项 $\hat R = 1 + a/\log n$ 去偏后才有 $\sigma^2 < 1$ 软 CLT。
• G-T2（解析）：unconditional Goldston-type 二阶矩 $\ll X^2(\log X)^{-A}$ 要求 minor-arc $L^4$ 估计强于 Heath-Brown 12-th moment 7/12 barrier — deep，非本 pipeline 可破。
• G-T3（解析）：短区间 $H \ge X^{1/2+\varepsilon}$-Mikawa 与 LZ12 $A=1$ 之间无 unconditional 中介；$\chi$-twisted $L$ self-dual minor arc 未实施。
• G-数值：$n \le 5\cdot 10^6$（class D 上限 $5\cdot 10^5$）视野不足以触及 Goldston regime；$V(X)$ 的 $\alpha \approx 2.75$ 是 small-$X$ bias-dominated；需 long-jobs $n \in [10^6, 10^9]$。
• G-形式化：Lean stub $\sigma^2=1$ 硬编码、gaussianCDF 返 0 — vacuous，未链 Mathlib gaussianReal。

5.3 发现的新东西

1. $\mathfrak{S}$-条件去偏 CLT 软形态（C3, primary）：减 $1 + 2.41/\log n$ 后 class D 上 $Z'(n)$ 的 sample 二阶矩 $\sigma^2_D \approx 0.64$（bootstrap envelope $[0.52, 0.78]$），skew +0.01，kurt $-0.25$ — Gaussian 形态但 $\sigma^2 < 1$，是 prime-pair $(p, n-p)$ negative correlation 的数值签名。
2. $R(n)$ 次阶律候选（C1, tentative）：$R(n) - 1 \approx 2.41/\log n$ 在 $[10^2, 5\cdot 10^5]$ 多类样本 fit 95% CI [2.383, 2.440]；hold-out $R^2 = -0.012$ neither confirms nor refutes — falsifiable refinement at $n \in [10^6, 10^7]$。$a \approx 2.41$ 未对应任何已知 Mertens 常数。
3. $V(X)$ 双参数律（C2, low-conf）：$\alpha \in [2.61, 2.88]$, $\gamma \in [-4.78, -2.09]$，small-$X$ bias-dominated regime；与 Goldston GRH 无矛盾，但 refutes naive Cramér $\alpha = 2$。
4. 概念综述 ((d) × 4)：(d1) Mut16 (averaged-in-$2k$) vs pointwise Cramér 正交；(d2) GS20 / GT22 vs LZ12 真基准；(d3) Mikawa 7/12 = HB 12-th moment deep barrier；(d4) $\hat R$ 系统正偏 vs Cramér 零均值 conceptual gap。
5. 方法学：原 train/test 跨 A/B/C/D 是分布偏移 → 改 class-D-only stratified；reactive#04 vs conjecture-gen $\sigma^2$ 张力 = $Z$ 两种定义。

5.4 下一步

v2 修订命题 T1'（$\mathfrak{S}$-条件软 CLT）：在 class D 下 $$Z'(n) = \frac{r(n) - M(n)(1 + 2.41/\log n)}{\sqrt{M(n)}} \;\Rightarrow\; N(0, \sigma^2_D), \quad \sigma^2_D \in (0, 1),\ \text{点估计} \approx 0.64.$$ 此为可形式化的取代命题。

5.5 决策：GO-revision

5.6 实质贡献声明（v1.3 ⭐ — 严格按 advocate §2 矩阵）

类	数量	条目
(a) 新定理	0	不宣称任何新定理。prover#1 / #2 / #3 均 verdict = b/c with gap。
(b) 新猜想	3	C3 (primary, conf=medium-high)：$\mathfrak{S}$-条件去偏 CLT, $\sigma^2_D \in [0.52, 0.78]$ bootstrap envelope, class B 非 Gaussian。 C1 (tentative, conf=medium)：$R(n) - 1 \sim 2.41/\log n$ in class D regime, hold-out neither confirms nor refutes。 C2 (tentative, conf=low)：$V(X) \sim c X^\alpha (\log X)^\gamma$, $\alpha \in [2.61, 2.88]$, refutes naive Cramér $\alpha = 2$ by $>6\sigma$。
(c) 新计算	2	758-sample $\mathfrak{S}$-stratified dataset（A/B/C/D 4 类）+ FFT-autocorr $V(X)$ 工具（sentinel A002375 24/24，FFT 与 ordered $(p,p)$ 一致）。 Negative result：$n \le 5\cdot 10^5$ 视野不足以触及 Goldston $(\log X)^{-A}$ regime。
(d) 综述视角	4	(d1) Mut16 (averaged-in-$2k$) vs pointwise Cramér CLT 正交性。 (d2) GS20 / GT22 vs LZ12 真基准区分。 (d3) Mikawa 7/12 = Heath-Brown 12-th moment deep barrier 同源。 (d4) $\hat R$ 系统正偏 vs Cramér 零均值 conceptual gap。

整体：(b) + (c) + (d) 三档过 Mode A standard 门槛；(a) 不出现。不 downgrade。

5.7 Predictions（v1.3 ⭐）

Mode A 必填 ≥ 2 条 1–2 年内可证伪：