F_1 几何 · Perfectoid/Diamond · Prismatic · Fargues–Fontaine · Arakelov · Connes–Consani · Deninger flow · Λ-rings · Spec ℤ-shtukas
本笔记是 multi-agent 头脑风暴的综合，覆盖把 $\operatorname{Spec}\mathbb{Z}$ 几何化使 RH = Lefschetz 不动点公式的特例这个元纲领。18 个 sonnet agent（Phase 1: 10 角度 + Phase 2: 5 题对 + Phase 3: 2 综合 + Phase 4: 1 最终），覆盖 10 条候选路线，提炼 11 个可独立攻击的精确小命题（P1–P11）。本综合没有声称解决任何 RH 子问题，是路径地图、不是已迈出的脚步。
"完成韦伊类比的数学真经"不是一个单一定理，而是一个 元纲领：要在数域端复现 Weil 在函数域端做到的事——把 $\zeta_{\mathbb{Z}}(s)$ 的解析性质（特别是 Riemann 假设）作为某个几何空间上 Lefschetz 不动点公式的特例自动得出。为了把这个口号变成可攻的小目标，我们把它解析为四个子目标：
(a) "$\mathrm{Spec}\,\mathbb{Z}$ 的自张积"：构造范畴 $\mathcal{C}$ 与基对象 $B$（哲学上：$\mathrm{Spec}\,\mathbb{F}_1$），使 $\mathrm{Spec}\,\mathbb{Z}$ 是 $\mathcal{C}$ 中之 ring object，且 $$\mathrm{Spec}\,\mathbb{Z}\times_B \mathrm{Spec}\,\mathbb{Z}$$ 是一个具有 2 维相交理论的算术 surface，并存在合理的对角线 $\Delta$ 与自相交数 $\Delta\cdot\Delta$。
(b) 绝对 Frobenius：构造一个 endomorphism $\Phi$ 作用在 (a) 中的几何对象上，使其不动点 $\mathrm{Fix}(\Phi^n)$ 在每个素数 $p$ 处给出 $\mathrm{Spec}\,\mathbb{F}_p$（或 $\mathbb{F}_{p^n}$）的点数。
(c) ζ 的特征多项式实现：构造有限维（或迹类）上同调 $H^i$ 与 $\Phi$ 在其上的作用，使 $$\zeta_{\mathbb{Z}}(s)=\prod_i \det(s\cdot\mathrm{id}-\Phi\mid H^i)^{(-1)^{i+1}}\!\!,$$ 且求和/乘积有效收敛（或有 zeta-regularized 意义）。
(d) Weil 正性 ⇒ RH：建立 Künneth 公式 + Hodge 类比（极化/Riemann 双线性关系），证 $\Phi$ 的中度特征值满足 $|\lambda|=p^{w/2}$，从而 $\zeta_{\mathbb{Z}}$ 非平凡零点位于 $\Re s=1/2$。
四个子目标互相依赖：(a) 给"几何"，(b) 给"自同态"，(c) 给"数 / 行列式实现"，(d) 给"正性"。函数域端 (a)(b)(c)(d) 已被 Grothendieck、Deligne 完整实现；数域端目前每条都只在 p-adic 局部 或 哲学层面 实现。下文不试图给出一条统一的"证明"，而是诚实地把当前 10 个进攻角度、5 个题对、2 条主线整理出来，并提炼可进入下一层 (Template 2 v2) 的精确小命题。
需要特别强调："元纲领"性质决定了 Weil 类比不是孤立的数学猜想，而是一组互相耦合的几何化要求。任何严肃的攻势都必须同时给出 (a)(b)(c)(d) 四件套——只解决其中之一不足以推出 RH。举例：Connes 1998 已在 Hilbert 空间上给出 ζ 零点的 spectral realization（部分 (c)），但因缺 (a)(b) 的 geometric carrier，正性 (d) 无 Hodge-Riemann 来源，整个论证停在 trace formula 的形式重写层面。类似的局部成功例还有 Bost–Künnemann 算术 Hodge index（部分 (d)）、Bhatt–Lurie absolute prismatization（部分 (a)+(b) 局部）、Connes–Consani scaling site Riemann–Roch（部分 (c)）——每一项都是真定理，但因缺其他三项的对应物，独立都不能推出 RH。本头脑风暴的中心问题正是："如何让这些孤立成果协同组成完整的四件套"。
在函数域端（$X$ 为 $\mathbb{F}_q$ 上光滑射影曲线），四个子目标的实现路径如下：
| 子目标 | 函数域端实现 | 关键人物 / 年份 |
|---|---|---|
| (a) 自张积 + 对角线 | $X\times_{\mathbb{F}_q} X$ 是合法 surface；$\Delta\subset X\times X$ 是 prime divisor，$\Delta\cdot\Delta=2-2g$（Riemann–Hurwitz）。 | 经典代数几何 |
| (b) 绝对 Frobenius | $\Phi_q:X\to X$, $x\mapsto x^q$，在结构层上 $f\mapsto f^q$。是真正的 scheme morphism。 | Frobenius 自动 |
| (c) ζ 行列式 | $\ell$-adic étale cohomology $H^i_{\text{ét}}(X_{\bar{\mathbb{F}}_q},\mathbb{Q}_\ell)$ 有限维；$\zeta_X(s)=\prod_i\det(1-q^{-s}\Phi_q\mid H^i)^{(-1)^{i+1}}$。 | Grothendieck Lefschetz trace (SGA 4½, 5) |
| (d) RH | Weil 1948 (curves)；Deligne 1974 (Weil I)、1980 (Weil II) 一般维数：Frobenius 特征值满足 $|\alpha|=q^{w/2}$。证明用 monodromy + Lefschetz pencil + Hadamard–de la Vallée Poussin 型放大。 | Weil 1948；Deligne 1974/1980 |
支撑 (c)(d) 的具体技术清单（数域端必须找到对偶物）：
数域端的痛点是：上述每一项都没有不依赖单一素数 $p$ 的"全局几何"对应物。$\mathrm{Spec}\,\mathbb{Z}$ 本身 étale 基本群 $\pi_1^{\text{ét}}=1$（Minkowski），故 ℓ-adic étale 上同调几乎平凡；要么放弃 ℓ-adic、要么必须把 $\mathrm{Spec}\,\mathbb{Z}$ 嵌进更大的几何对象。三个具体的"差距源"反复出现：
下文 §3 的 10 条路线、§4 的 5 个题对、§5 的 2 条主线，都可视为对这三个差距源中至少一个的尝试性 patch。
下表把 10 个 angle 的核心攻击对象、所攻子目标、当前最先进的成果（SOTA）与精确 gap 浓缩成一行。每行下随一段简评。
| 路线 | 核心对象 | 攻 (a)(b)(c)(d) | SOTA | 精确 gap（一句话） |
|---|---|---|---|---|
| Q1 F_1 主流 (Deitmar / Soulé / Lorscheid) | monoid scheme / blueprint | (a)(c) | Lorscheid blueprint 范畴 + Tits–Weyl model（2012/2018） | $\otimes_{F_1}$ 在 monoid 上退化为 coproduct，$\mathrm{Spec}\,\mathbb{Z}\otimes\mathrm{Spec}\,\mathbb{Z}$ 无 2 维 surface 结构 |
| Q2 Borger Λ-rings / Witt | Λ-环 + Adams ψ_p 族 | (b)(c) | Borger 0801/0906；BMS prismatic（2018） | 跨 p 全局 Künneth 缺；ψ_p 在 derived 层只在 ℤ-flat 上 strict commute |
| Q3 Connes–Consani site | arithmetic / scaling site；ℝ₊-flow | (c)(d) | Geometry of Arithmetic Site (2014)；RR for scaling site (2018) | 无 Künneth；行列式仅 Fuglede–Kadison 意义（type II∞）；Hodge index 缺 |
| Q4 Perfectoid + Diamond | v-stack / Spd | (a)(b) | Tilting (2012)；diamond (2017)；FS geometrization (2021) | 每 p 独立；无 Spd F_1；archimedean 不能 tilt |
| Q5 Prismatic / THH | absolute prismatic site，F-gauge | (b)(c) | BS 1905；Bhatt–Lurie 2201（absolute）；AMMN TC(ℤ_p) | $\det(1-p^{-s}\varphi)$ 与 $(1-p^{-s})$ 指数错位未消；跨 p 全局 Künneth 缺 |
| Q6 Fargues–Fontaine + global FF | FF 曲线（局部）→ adelic FF | (a)(c) | FF Astérisque 406；FS 2102 | adelic gluing 缺 archimedean；不同 p 的 tilt 不在公共 base |
| Q7 数域 shtukas | Λ-shtuka 候选（Spec ℤ 上 bundle + ψ_p modification） | (b)(c) | V. Lafforgue 2018；Fargues–Scholze 2021（FF shtuka） | 无 $\mathrm{Spec}\,\mathbb{Z}\to\mathrm{Spec}\,\mathbb{Z}$ 全局 Frobenius；Λ-shtuka moduli 未定义 |
| Q8 Deninger 叶层动力系统 | 3-维叶层空间 $(X,\mathcal{F},\phi^t)$ | (c)(d) | Deninger ICM 1998；2018 综述；Meyer 2005（idele rep） | 无具体 3-流形；叶向 $H^1$ 巨大、trace class 未证 |
| Q9 Arakelov + 算术 Hodge index | $\widehat{\mathrm{CH}}^1(\overline{\mathrm{Spec}\,\mathcal{O}_K})$ | (d) | Bost–Künnemann 0707；Faltings 1991；GS 1992 | 无 surface 使 ζ 零点 ↔ cycle 本征值；fiber-degree 0 条件与显式公式不直接对接 |
| Q10 异端汇总 (IUT/K-S/Haran/Manin/Anabelian) | Hodge theatre / generalized ring / Π_1 | —（启发） | Mochizuki IUT (争议)；Manin 0809；Neukirch–Uchida | 大多无独立可验证 RH 推论；其中 K-S reciprocity 已被 Beilinson/Contou-Carrère 吸收 |
Q1 简评：F_1 主流给出"绝对底"哲学，但所有候选 monoidal base 都让 $\mathrm{Spec}\,\mathbb{Z}$ 的自张积塌缩。Deitmar 的 $\mathrm{Spec}(\mathbb{Z})$ 在 monoid scheme 范畴里只剩乘性 monoid $\mathbb{Z}^\times\cup\{0\}$；Soulé 用 evaluation into $\mathbb{C}$-algebra 给 zeta 但仍无 fibre product；Toën–Vaquié 在 $(\mathrm{Sets},\times)$ 上的尝试同样平凡。Lorscheid blueprint 是唯一能让 ℤ 保留 ring object 身份的方言，但其 $\otimes_{F_1}$ 仍退化。值得记住的负面结果：可形式化为 "Borger–Lorscheid no-go"——若 $\otimes$ 保持 ring object，则 $\otimes=\otimes_{\mathbb{Z}}$。Q1 角度的最大产出是明确证伪"naive monoidal F_1 + 自然 Spec ℤ"的组合，把搜索空间收窄到 enriched 框架。
Q2 简评：Borger 的 Λ-环 + 大 Witt 是当今最贴近"全 p 同时考虑 Frobenius lift"的代数语言。Λ-环 = ℤ-环 + 一族交换的 Adams 算子 $\{\psi_p\}_p$ 满足 Wilkerson 公理（$\psi_p\equiv x^p\bmod p$）；Borger 0906.3146 严格证明 Λ-环 = "F_1-descent data"，把 F_1 哲学还原为可计算的对象。Connes–Consani 的 BC-system、Nikolaus–Scholze 的 TC、Hesselholt–Madsen 的 TR 都可视作其精化。具体闭合的局部例：$\mathrm{TP}(\mathbb{F}_p)\simeq\mathbb{Z}_p((u))$ 上 Frobenius 谱 $\{1,p,p^2,\ldots\}$ 给 $\zeta_{\mathbb{F}_p}(s)=(1-p^{-s})^{-1}$。但 ℤ 是初始 Λ-环，所以 $\otimes_{F_1^\Lambda}$ 同样退化——这表明仅靠 Λ 不够，必须与 prismatic / blueprint 等结构合并。
Q3 简评：Connes–Consani 是离"数值跑通"最近的路线——scaling site $[0,\infty)\rtimes\mathbb{N}^\times$ 自带 $\mathbb{R}_+^\times$-flow，闭轨长度 $=\log p$；其上 Connes 2018 Riemann–Roch 给出 distributional trace 公式即 Weil explicit formula。Connes 2019 ξ-zeta 框架声称 $\Xi(s)=\det^{FK}_\zeta(s-D_{ar})$，其中 $D_{ar}$ 是某 type II∞ 因子上的无界自伴算子。代价是：行列式只有 Fuglede–Kadison 意义，上同调是 type II∞ 上的模，与离散 Lefschetz 公式有结构性差距；scaling site 是 1 维 tropical curve，与 Deninger 期望的 3 维叶层维数对不上；无 Künneth、无 Hodge polarization。但作为"数值黑箱"——Weil 显式公式的 mpmath 验证已是事实——它可以为后续严格化提供 regression test。
Q4 简评：Scholze 学派给出最强的 char-0 ↔ char-p 字典（tilting）：对 perfectoid 域 $K$，$K^\flat=\varprojlim_{x\mapsto x^p}K$ 是 char $p$ 完全 perfect 域，且 $K\leftrightarrow K^\flat$ 是 Galois 群层面的等价。diamond + v-site (Berkeley 2017) 上的 6-functor formalism 已成熟，Fargues–Scholze 2021 用 $\mathrm{Bun}_G(X_{FF})$ 实现局部 Langlands 几何化。但 tilt 是局部 ($p$) 现象，无 Spd $F_1$、无 archimedean 类比；不同 $p$ 的 tilt 落在不同 char $p$ 域，没有公共 base。这两点正是 Scholze 本人 2017 公开承认的 missing piece。$F_1$ 在 diamond 框架中的缺失，与 §3 差距源 1 直接对应。
Q5 简评：prismatic + δ-环把 Frobenius lift 装进 char-0 几何，BMS、BS、BL、AMMN 在 p-完备层面给出了几乎完整的 (c) 局部图景。具体：Breuil–Kisin prism $(\mathfrak{S},E(u))$ 上的 $\varphi$-module 给出 $H^*_\Delta(\mathrm{Spf}\,\mathcal{O}_K)$；Hodge–Tate filtration 是 Nygaard filtration 的退化。两个硬伤：(i) 指数错位——$H^0_\Delta(\mathbb{Z}_p)=\mathbb{Z}_p$ 上 $\varphi=\mathrm{id}$ 给 $(1-s)$ 而非 $(1-p^{-s})$，要识别正确的 F-gauge $\mathcal F$ 使 $\det(1-p^{-s}\varphi\mid H^*_\Delta(\mathbb{Z}_p,\mathcal F))=\zeta_p(s)$；(ii) 跨 p 全局 Künneth 缺失，故 $\zeta(s)=\prod_p\zeta_p(s)$ 不能从单一全局 prismatic 对象的 trace 出来。Bhatt–Lurie 的 absolute prismatic 是该方向最雄心勃勃的提案。
Q6 简评：Fargues–Fontaine 曲线 $X_{FF}=\mathrm{Proj}\bigoplus_d B^{\varphi=p^d}$ 是 $\mathbb{Q}_p$ 上完备绝对曲线，闭点对应 $\mathbb{C}_p^\flat$ 的 untilts。它是"局部把 $\mathrm{Spec}\,\mathbb{Z}_p$ 变成绝对曲线"的最干净实现：$X_{FF}$ 上向量丛由 Harder–Narasimhan slope $\lambda\in\mathbb Q$ 完全分类，Riemann–Roch $\chi(\mathcal E)=\deg\mathcal E+\mathrm{rk}\,\mathcal E$ 类于亏格 0 曲线。Fargues–Scholze geometrization 已把它升级为 6-functor 平台，移植 shtuka 框架水到渠成。缺的是 adelic gluing（不同 $p$ 的 tilt 不在公共 base）与 archimedean fibre。Drinfeld–Bhatt prismatization $\mathrm{WCart}$ 是候选黏合剂，但 archimedean 仍空白；Deninger 实-foliation 是另一条 unproven 桥。
Q7 简评：函数域 shtuka 是 Weil 类比函数域端的现代心脏：V. Lafforgue 2018 用 shtuka moduli 上的 excursion operators 实现 reductive 群的 Langlands parametrization。数域端的"shtuka" 定义需要 Frobenius 自同态 $\mathrm{Frob}_q:X\to X$ 与"在 legs 处的 modification"；前者数域上不存在，但 Borger Λ-环（commuting $\psi_p$）正好填这一位置——把"single Frobenius"换成"协调 Frobenius 族"，modification 在每个素数 $p$ 处单独定义。"Λ-shtuka 范畴" 没人定义过，是 Phase 2 提出的最具体新候选；其 rank 2 例子是否 trace 重现权 2 newform $a_p$ 是 P5 的核心 GO/NO-GO 测试。
Q8 简评：Deninger 的纲领是 RH 几何化口号的鼻祖。他设想 $(\mathrm{Spec}\,\mathbb{Z})$ 对应 3 维叶层 $(X,\mathcal F,\phi^t)$，素数 $p\leftrightarrow$ 闭轨道（长度 $\log p$），archimedean $\leftrightarrow$ 不动点；ξ 由 $\det_\infty(s-\Theta)$ 给出，$\Theta$ 是 flow 的无穷小生成元。Berry–Keating $H=xp$ 是其量子化版本。30 年来仍停留在"形式公式 + 字典"，未给出具体 3-流形或具体 nuclear $H^1$；叶向上同调在无紧致 leaf 时是巨型 Fréchet 空间，trace class 性未证。它与 Connes–Consani scaling site 的合并（见 A4）是当前最有希望的具体化路径。
Q9 简评：Arakelov 是 (d) 最坚实的工具：Bost–Künnemann 算术 Hodge index 已是数域端 Weil 正性的硬核结果，断言对 $\overline D\in\widehat{\mathrm{CH}}^1(\mathcal X)_\mathbb{R}$ 满足 fiber-degree 0 时 $\overline D\cdot\overline D\le 0$。把 Bombieri–Weil 二次型 $\sum_\rho|\hat f(\rho)|^2$ 写成某算术相交数即可推出 RH。痛点是它生活在 2 维算术 surface 上而非 1 维 + flow；fiber-degree 0 修正项与 Weil 显式公式 $\hat f(0)+\hat f(1)$ 项的精确字典未建立；archimedean 项 $W_\infty(f)=\int f(x)\frac{e^x}{e^{2x}-1}dx$ 与 Arakelov Green 函数 $g_\infty$ 形式同源但缺一条精确同一性。Faltings height 与 Bismut–Lebeau analytic torsion（出 $\Gamma$ 因子）是相关桥梁。
Q10 简评：异端家族整体的净期望值偏低。IUT 在 Mochizuki–Scholze–Stix 争议下仍无第三方独立 30 行 toy model；Kapranov–Smirnov 的 reciprocity 公式已被 Beilinson、Contou-Carrère 用 determinant of cohomology 独立给出严格形式（不需 F_1 神秘主义），原 F_1 包装是哲学含量；Haran 的 generalized ring 提供语言但没在 Spec ℤ 上产生新 invariant；Manin "real F_1" 纯哲学纲领；Anabelian 在 Spec ℤ 上 trivial（$\pi_1^{\text{ét}}=1$），仅适用于 hyperbolic curve over number field。两个例外可作"侧面 sanity check"：(i) anabelian Π_1 在 $\mathrm{Spec}\,\mathcal{O}_K$ 上作用 Pic^Ar 的可能性、(ii) Haran generalized ring 上 $\mathrm{Spec}\,\mathbb{Z}\otimes\mathrm{Spec}\,\mathbb{Z}$ 的"上同调维数"测试（预期 ≤ 1，可证伪 schematic tensor 的某些哲学包装）。IUT 风险过高，作为 lemma 来源完全不可用——本综合的明确立场。
把 10 个角度按"工具相邻"两两组合，得到 5 个题对，每对都尝试找出一个 unified 对象的提案。
协同：Borger 早已点出 Λ = F_1-descent；blueprint 修正 $\otimes$ 退化（加法关系 $\mathcal R$），Λ 修正 Frobenius 缺失，作用域正交。K-理论是共同语言：Chu–Lorscheid–Santhanam 在 blueprint 上有 $K_0$，Λ-环上 $K_0$ 自带 Adams $\psi^n$，两者在 Spec ℤ 上都恢复经典 $K(\mathbb Z)$；统一框架下 Adams 算子直接作用在 blueprint $K_0$ 上，给 Q1 缺失的 "absolute Frobenius on cohomology"。统一提案 $(B,\mathcal R,\{\psi_p\},\Phi_\Delta)$：Lorscheid blueprint + 在 $B$ 上的协同 ψ_p 族（保持 $\mathcal R$），再用 Bhatt–Lurie 绝对 prismatization 提升到 (Spec ℤ)^Δ_{abs} 上。张力：blueprint 在 $F_1$ 端退化为 monoid coproduct，Λ 在 ℤ 端退化为初始对象，简单叠加同时触发；必须用 prismatic absolute base 作公共 base。Witt 向量需要加法，所以纯 monoid scheme 无 $W$——必须先用 blueprint 把"足够的加法"加回来。
协同：BS Thm 3.10 给出 perfect prism = integral perfectoid，二者在 perfect 层面严格重合；自然候选是把 Spec ℤ 视为"diamond 上的 absolute prismatic site"。F-gauge + Nygaard filtration 给 Hodge filtration。Fargues–Scholze 把 $\mathrm{Bun}_G(X_{FF})$ 上的 ℓ-sheaves 与局部 Langlands 对应；把 ℓ 换成 prismatic F-gauge，则"diamond 上的 vector bundle + φ" → "$H^*_\Delta(\mathrm{Spec}\,\mathbb{Z}_p)$ 上 Frobenius 模"，正是 Q4 中 (c) 所缺的"几何对象 → cohomology"字典。张力：tilting 是"丢 lift"，prismatic 是"补 lift"，在 perfect 层面互逆但非 perfect 时不可逆；diamond v-cover 永远 p-adic，跨 p v-descent 在现有框架中不存在——这是 Q4 与 Q5 在合并视角下的同一障碍。统一对象提案：absolute diamond $\mathrm{Spd}\,\mathbb{Z}^{\text{abs}}$ + absolute prismatic F-gauge，其上同时记录所有 $(A_p,I_p)$ 并要求 Frobenius 协同。
协同：两题不是平行路径而是"曲线"与"曲线上对象"。若 $X_{FF}^{\mathrm{glob}}$ 可被构造，shtuka 框架立即整体迁移：bundle 放在它上、modification legs 跑遍所有素数（含 $\infty$）。Borger Λ 提供逐素数兼容的 Frobenius modification。张力：FF Frobenius 来自 tilting（几何 Frobenius），shtuka modification 是代数 σ-线性算子；char-0 数域无统一 tilting，Borger Λ 是候选黏合剂但仅 affine。prismatization 在 stack 层面是 2 维，破坏 1 维 + flow 几何。可攻 sub-lemma 按门槛递增：L1 局部一致性（$X_{FF,p}$ 上 1-leg shtuka cohomology 复现 $L_p(s,\pi_p)$）→ L2 adelic 黏合（restricted tensor of sheaf of categories）→ L3 Λ-Frobenius 黏合（commuting $\varphi_p$ 同步化为单一 $\varphi^{\text{glob}}$）→ L4 archimedean fibre（Connes–Consani $\mathrm{Spec}\,\mathbb Z_\infty$ 嵌入）→ L5 Lefschetz（$\mathrm{Tr}(\varphi^{\text{glob}}\mid H^*)=\xi(s)$）。
协同：两者对 RH 几何 carrier 的直观完全一致——给 Spec ℤ 一个带连续 ℝ-作用的 3 维空间，其闭轨长度 = $\log p$。Connes–Consani scaling site 的 ℝ₊-flow 与 Deninger $\phi^t$ 在闭轨/不动点字典上吻合；Connes 2018 RR-trace 公式即 Weil explicit formula 的几何重写。两者可设 hypothesis：scaling site 就是 Deninger 叶空间的具体模型，scaling flow = $\phi^t$。张力：维数对不上（scaling site 是 1 维 tropical curve，Deninger 要 3 维叶层）；trace 类型不同（distributional vs zeta-regularized det，形式上 $\log\det=-\partial_s|_0\mathrm{Tr}(\phi^t)^{-s}$ 但需 trace class 算子）；Frobenius 缺位（scaling site 没有真 Anosov flow，只是 site morphism）。统一对象提案：三元组 $(\mathcal S,\mathcal F,\phi^t)$，并把 $\hat{\mathbb N}^\times$ 方向认作"算术叶层"（profinite，totally disconnected，与 Deninger 想要的 smooth leaf 仍有缺口）。最具体的可攻 sub-lemma：构造 $\mathcal H^1$ 使 $\det_\zeta(s-\Theta\mid\mathcal H^1)=\xi(s)$，且 Connes RR-trace 为该 det 的对数导数。
协同：Manin "real F_1" 与 Arakelov 无穷远纤维概念上同源；IUT height inequality 与 Bost–Künnemann 算术 Hodge index 都是"自交数符号不等式"，形式上同类可比对；anabelian Π_1 携带数域全部信息，若能装到 Pic^Ar 上即给 Frobenius 替代候选。张力：Arakelov 三十年来可计算可对照；Q10 全家至今无独立可验证的非平凡 RH 推论，把 IUT 当 lemma 来源风险极高。结论：主线 = Q9，异端 = 启发外挂，仅保留 anabelian 作为"Frobenius 替代"sub-lemma 候选。
把 5 个题对再聚合，自然分成两条主线：B1 建造统一几何对象、B2 从几何对象到 ξ 行列式再到 RH 正性。
三个跨题主题：
提案对象 $(\mathrm{Spec}\,\mathbb{Z})_\Lambda^\Delta$：把 Borger Λ-环结构 enrich 到 Bhatt–Lurie 绝对 prismatization stack 上，得到 (∞,1)-stack $\mathcal X_{\mathbb{Z}}$ 满足： （i）局部完备化 $\mathcal X_{\mathbb{Z}}\times_{\mathrm{Spec}\,\mathbb{Z}}\mathrm{Spf}\,\mathbb{Z}_p\simeq(\mathrm{Spf}\,\mathbb{Z}_p)^\Delta_{\text{abs}}$； （ii）整体上存在协同 Frobenius 族 $\{\psi_p\}_p$ 满足 Wilkerson 公理，与每个局部 $\varphi_p^\Delta$ 兼容； （iii）self-product $\mathrm{Spec}\,\mathbb{Z}\otimes_{F_1^\Lambda}\mathrm{Spec}\,\mathbb{Z}:=\mathcal X_{\mathbb{Z}}\times^L_{\mathcal X_{F_1^\Lambda}}\mathcal X_{\mathbb{Z}}$； （iv）cohomology $H^*_{\Lambda\text{-}\Delta}(\mathcal X_{\mathbb{Z}})$ 在每 $p$ 处恢复 prismatic F-gauge，在 $\infty$ 处由 Connes–Consani site 补 $\Gamma_\mathbb{R}$； （v）perfect locus 几何化为 adelic Fargues–Fontaine 曲线 $X_\mathbb{A}^{FF}=\prod'_p X_{FF,p}$。
三个跨题主题：
提案对象 Λ-scaling site $\mathcal S_\Lambda^{\mathrm{glob}}$ = Connes–Consani scaling site $[0,\infty)\rtimes\mathbb{N}^\times$ (提供 ℝ₊-flow + archimedean fibre) + 每个 $p$ 处 FF 曲线 stalk（提供局部 Frobenius modification 几何）+ Borger Λ 结构（同步为单一 $\varphi^{\mathrm{glob}}$ 与 Λ-shtuka）。三位一体：几何 carrier ($\mathcal S_\Lambda^{\mathrm{glob}}$) → 行列式 ($\det_\zeta(s-\Theta)=\xi(s)$ on $H^1$) → 正性 (Arakelov Bost–Künnemann Hodge index 给出 Weil 二次型正定)。Q10 仅作启发外挂（anabelian Π_1 → Pic^Ar 替代 Frobenius）。
具体层次推进路径：L1 = 在已有 scaling site 上用 mpmath 重做 Weil explicit formula 数值（已可直接验证）；L2 = 定义 Λ-shtuka 范畴并对小 newform 验证 trace 等式（P5）；L3 = 把 Connes RR-trace 重写为 Arakelov $\langle\cdot,\cdot\rangle$ 形式；L4 = Bost–Künnemann 正性 ⇒ Weil 二次型正性 ⇒ RH。L1 / L2 / L3 都有具体可跑代码草案；L4 是真正概念性的飞跃。值得注意：B2 主线的 archimedean 处理（scaling site 上 $\mathbb R_+^\times$-action 把 archimedean place 编码为 1-参数群作用）与 B1 主线的 archimedean 缺失正好互补，这是为何两主线必须合并的结构性理由。
B1 与 B2 不是两条无关路径，而是同一对象的两个截面。具体猜测："absolute prismatic Frobenius" $\Phi_\Delta$ 与"Connes scaling flow" $\phi^t$ 是同一对象在两种语言下的呈现——一个离散版（每 $p$ 一步 ψ_p）、一个连续版（ℝ₊ 作用）。 $$\Phi_\Delta \overset{?}{\longleftrightarrow} \phi^t,\quad\log p \overset{?}{\longleftrightarrow} \text{$\psi_p$ 周期.}$$ 若该猜测能精确化（即建立 functor $\mathrm{Stack}_{\Lambda\text{-}\Delta}\to\mathrm{FoliatedDynSys}$ 使两者对应），则 B1 + B2 合并为单一框架，整个 Weil 类比的"真经" 50% 出齐。这是当前所有几何化路线汇聚的战略制高点。
该交点的技术证据有三：(i) 函数域端 Frobenius $\Phi_q$ 是离散自同态，但其几何化（Weil restriction + base change to $\bar{\mathbb{F}}_q$）后等价于连续 $\mathrm{Gal}(\bar{\mathbb{F}}_q/\mathbb{F}_q)\simeq\hat{\mathbb{Z}}$ 作用——数域端应对应 $\mathbb R$-flow；(ii) Connes–Consani BC-system 的 $\psi_n$ 作用恰为 Λ-环 Adams 算子的 C*-代数版本，scaling flow 是其 lift；(iii) prismatic Frobenius $\varphi$ 在 perfect prism 上 = perfectoid Frobenius = 极限上的 $x\mapsto x^p$，与 $p$-adic uniformizer scaling 一致。三条证据互相独立，但都指向同一个 functor 应当存在。
从全部 17 份产出中精选 7 个最具突破口的小命题。每个含精确陈述、所属子目标、攻击工具、可行难度（1–5 星，5 星最难）。
P1（Λ-prismatic existence，B1 第一块）。在 ∞-范畴 $\mathrm{PrSt}_\mathbb{Z}$（绝对 prismatic stack）的 endofunctor 范畴中，存在唯一函子族 $\{\Psi_p\}_{p\in\text{primes}}$ 使 $\Psi_p|_{\mathrm{Spf}\,\mathbb{Z}_p^\Delta}$ 同构于 Bhatt–Lurie 的 prismatic Frobenius $\varphi_p^\Delta$，且 $\Psi_p\Psi_q\simeq\Psi_q\Psi_p$（Wilkerson 在 ∞-层面成立）。
所属子目标：(b)。工具：Borger Λ-Witt 的 (∞,1)-推广 + Bhatt–Lurie descent。难度：★★★★☆。
战略意义：把 Borger 的"全 p 同时 Frobenius lift"从 affine 提升到 (∞,1)-stack，是 B1 主线整个 $(\mathrm{Spec}\,\mathbb{Z})_\Lambda^\Delta$ 提案的存在性 cornerstone。一旦成立，后续 P2 / P3 都可在其上展开。
P2（导出对角自交在分圆例上）。设 $\mathcal X_\mathbb{Z}=(\mathrm{Spec}\,\mathbb{Z})_\Lambda^\Delta$（假设 P1 成立），则
$$L\Omega^1_{\mathcal X_\mathbb{Z}/\mathcal X_{F_1^\Lambda}}\text{ 在 }K_0(\mathcal X_\mathbb{Z})\otimes\mathbb{Q}\text{ 中之 Euler 示性 }\chi(L\Omega^1)\text{ 有限,}$$
且与 Deninger 候选 $-\log|\mathrm{disc}|$ 相差有限 archimedean factor。在 $N=12$ 分圆 blueprint 上 sympy 完全可验证。
所属子目标：(a)。工具：André–Quillen + Λ-cotangent + sympy 显式计算。难度：★★★☆☆（数值部分可立即跑）。
战略意义：把 Deninger 长期猜测的"对角自交 = $-\log|\mathrm{disc}|$"具体化为可计算的 cotangent complex Euler 示性。即使 P1 未完全证明，P2 的数值部分（在 $\mathbb Z[\zeta_{12}]$ 上用 sympy 直接计算 $L\Omega^1$）已可独立提供经验证据。
P3（adelic FF + slope additivity）。限制直积 $X_\mathbb{A}^{FF}:=\prod'_p X_{FF,p}$ 上向量丛 $\mathbb E=(\mathbb E_p)_p$ 的 Harder–Narasimhan 多边形 $\mathrm{HN}(\mathbb E)=\sum_p\mathrm{HN}(\mathbb E_p)$；全局 Riemann–Roch $\chi(\mathbb E)=\sum_p(\deg\mathbb E_p+\mathrm{rk}\,\mathbb E_p)$ 在 $\mathbb E$ 来自 Λ-prismatic F-gauge 时收敛。
所属子目标：(a)(c)。工具：FF 曲线 §8 + 限制直积 + Λ-shtuka。难度：★★★★☆。
P4（scaling = foliated 范畴等价）。构造 functor $\mathcal S\to\mathrm{FoliatedDynSys}_{\mathrm{Deninger}}$ 使 $\mathbb{R}_+^\times$-action $\leftrightarrow$ $\phi^t$、periodic orbits length $\leftrightarrow$ $\log p$；并证 Connes 2018 RR-trace = Lefschetz trace 之 distributional 版本。
所属子目标：(c)。工具：Connes–Consani RR + Meyer 2005 idele rep。难度：★★★☆☆（最容易立即推进的桥）。
战略意义：B2 主线最关键的桥。一旦建立，Q3 的 Connes 数值已成熟结果（Weil 显式公式可被 mpmath 直接验证）即刻可移植到 Q8 的 Deninger 形式公式上，反之 Deninger 的"叶层"几何直觉可指导 scaling site 的几何升级。该 functor 不需要严格的 RH 结论，只需在 site / topos 与 foliated dyn sys 范畴间建立 morphism。
P5（Λ-shtuka rank 2 对照）。在 $\mathrm{Spec}\,\mathbb{Z}[1/N]$ 上构造 Λ-shtuka 范畴 $\mathrm{Sht}_\Lambda^N$；证 rank 2 例子的 $\psi^p$-trace 等于权 2 newform $a_p(f)$ 对所有 $p\le 50$。fail 即排除"Borger Λ 单独够用"。
所属子目标：(b)(c)。工具：sympy + sage + 模形式表。难度：★★☆☆☆（最便宜的 GO/NO-GO 测试）。
战略意义：本头脑风暴提出的最具体新候选——文献中无人定义过"Λ-shtuka"。它把函数域端 V. Lafforgue 框架与 Borger Λ-环用最 naive 方式接合，给出一个可立即数值检验的桥。若 trace 在 $p\le 50$ 全部命中 $a_p(f)$，说明 Λ 确实承担了 Frobenius 角色，B1 主线第 (b) 子目标解决一半；若命中失败但有系统性偏差，则偏差本身告诉我们"Λ + 什么"才够用（最可能：Λ + prismatic Nygaard）。
P6（Arakelov 化 Weil 二次型）。存在 functor 把每个偶 Schwartz $f$（紧支撑 $\hat f$）映到 $\overline{Z_f}\in\widehat{\mathrm{CH}}^1(\overline{\mathrm{Spec}\,\mathbb{Z}})_\mathbb{R}$，使
$$\langle\overline{Z_f},\overline{Z_f}\rangle=\sum_\rho|\hat f(\rho)|^2,$$
且 archimedean 贡献 $=W_\infty(f)$（Bombieri–Weil 函数）。
所属子目标：(d)。工具：Bost–Künnemann + Bombieri 显式公式 + 数值 sentinel。难度：★★★★☆（成立则直推 RH）。
战略意义：这是数域端最直接的"RH = 几何正性"陈述。其有效性依赖于把 $\hat f(0)+\hat f(1)$ 端点项几何化为 fiber-degree 修正，并验证 archimedean 贡献 $W_\infty(f)=\int f(x)\frac{e^x}{e^{2x}-1}dx$ 与 Arakelov Green 函数 $g_\infty$ 一致。CM 数域版本（虚二次类数 1 情形）可作为 first warm-up，用 Kronecker 极限公式 + Gross–Zagier 即可数值验证小判别式案例。
P7（指数错位修复：prismatic 对 $\zeta_p$）。存在有限维 $\mathbb{Q}_p$-vector space $V_p$，自然从 $H^*_\Delta(\mathbb{Z}_p,\mathcal F)$ 构造（$\mathcal F$ 适当 F-gauge），使
$$\det(1-p^{-s}\varphi\mid V_p)^{-1}=\zeta_p(s)=\frac{1}{1-p^{-s}}.$$
即解决 Q5 Gap A：识别正确的 F-gauge 系数使行列式与 Euler 因子完全吻合。
所属子目标：(c)。工具：Bhatt–Lurie F-gauge + Kubota–Leopoldt + sympy 验证。难度：★★★☆☆（局部命题，最易实操）。
战略意义：prismatic 路径目前在 $\mathrm{Spec}\,\mathbb{Z}_p$ 局部已具备所有几何对象，独缺这一行"系数选取"。一旦确定，prismatic 端 (c) 子目标在每个 $p$ 处闭合，剩余障碍纯为跨 p Künneth（即 Gap B，由 P1 / P3 攻）。该命题与 Iwasawa 主猜想的 $p$-adic L 函数解释自然吻合，可作为正确性 sanity check。
额外候选（暂未升级到 T2 v2，但值得记录）：
关于本次头脑风暴的本质：18 个 agent（10 angle + 5 题对 + 2 大综合 + 本综合）没有产生新的数学洞察。它们做的事是：
所谓"unified 对象提案"——Λ-blueprint over prismatization、absolute diamond + F-gauge、global FF + Λ-shtuka、Λ-scaling site、Arakelov + 异端外挂、Λ-prismatization $(\mathrm{Spec}\,\mathbb{Z})_\Lambda^\Delta$——都不是文献中已有的对象，但都是"把现有工具直接合并"的最自然候选，专业研究者读过相关文献后会自然想到。它们的价值在于给出明确的攻击目标，而非已经迈出新的一步。具体地说：本综合中所有 P1–P11 命题都属于"专家在白板上 15 分钟内能想到"的范畴，agent 的贡献仅在于把它们同时整理为可独立攻击的列表、并标注难度与互依赖关系。
各 angle 的乐观陈述需 sentinel 验证。Phase 1 的 10 个 agent 各自对自己负责的 angle 都倾向给出"乐观但精确"的描述（例：Q3 称"已有 Connes 2018 RR 把 explicit formula 写成 trace"、Q9 称"Bost–Künnemann 给数域端 Weil 正性"）。这些陈述本身正确，但其精确攻 RH 的力量已被作者本人讨论过 gap：Connes 的行列式在 type II∞ 上、Bost–Künnemann 要 fiber-degree 0 且 surface 不是 1 维 + flow 等等。下一层（T2 v2）必须用 L1 sentinel 严格 type-check 每个声称，再决定是否进入 L2。
IUT 风险警告。Q10 中 IUT 候选有特殊风险：它至今未解决 Scholze–Stix critique，没有第三方独立 30 行 toy model 让两边都接受。把任何 IUT 结论当作 lemma 引入 RH 几何化路径，都会让整条链条无法被独立验证。本综合的明确建议：T2 v2 完全不引入 IUT；最多在 A5 中保留"IUT height inequality 与 Bost–Künnemann 不等式形式对照"作为侧面 sanity check（即用 Arakelov 校验 IUT 形态，而非反之）。
若 T2 v2 只能上 2–3 个命题（每个跑 5 层 × ~20 agents），按"信息量 / 成本"比排序，建议：
| 优先级 | 命题 | 理由 | 预期产出 |
|---|---|---|---|
| 1（必上） | P5：Λ-shtuka rank 2 对照 | 最便宜（sympy + sage）；GO 即给数域端 shtuka 框架第一个具体例子；NO-GO 即排除"Borger Λ 单独够用"，把搜索空间收窄 | 无论结果都强 actionable |
| 2（强推荐） | P4：scaling = foliated 范畴等价 | 桥接两条最成熟的几何化路线（Connes vs Deninger），结果给 B2 主线一个具体地基；纯概念命题，sentinel 易设计 | 桥成立 = B2 主线 50% 完成 |
| 3（机会型） | P7：prismatic 指数错位修复 | 局部命题，攻 Q5 Gap A；若解决，prismatic 端的 (c) 子目标局部完整闭合；难度中等，sympy 可数值校验 | 解决即 Q5 路径地基补齐 |
P1（Λ-prismatic existence）与 P10（两主线交点 functor）虽是战略制高点，但难度过高（★★★★☆ 与 ★★★★★），不适合首次 T2 v2 投放；建议待 P4 + P5 + P7 产出后再决定是否升级。P2、P6 处于中间，可作为 T2 v2 之后第二批候选。
Weil 1948 证函数域 RH for curves；Grothendieck SGA 4–5 (1963–1965) 给出 étale cohomology 与 Lefschetz trace；Deligne 1974 (Weil I) 证一般维数 RH——总共约 26 年。中间的关键 enabling theorem 包括：étale topology（要求 fpqc / fppf 的几何化）、constructible sheaves 的 6-functor、Lefschetz pencil 的 monodromy 不可约性、Hadamard 型放大。数域端目前类比的 enabling theorem 几乎全部缺席；最现成的是 Bost–Künnemann 算术 Hodge index（对应 Hodge–Riemann 双线性）与 Bhatt–Lurie absolute prismatization（对应"absolute base"）。乐观估计：即使顺利，数域端从"统一对象提案"到"完整 RH 几何化"仍需 20–40 年与多代人合作。本头脑风暴只能贡献到"问题分解 + 候选对象提名"层级，不可能贡献到证明层级。
本框架虽针对 Riemann 假设，但其拆分方式（4 子目标 × 10 angle × 5 题对 × 2 主线）对其他"几何化口号"问题具有通用性：BSD（椭圆曲线 L 函数 ↔ Mordell–Weil 群 ↔ Shafarevich–Tate 群 ↔ Selmer 几何化）、Sato–Tate（Frobenius 分布 ↔ Galois 表示 motive 化）、Langlands functoriality（automorphic L ↔ motive L）都可套用类似的"先分散到 10 angle，再收敛到 2 主线"流程。本次 agent 输出最可复用的部分不是结论而是切分方法——把"X 几何化 ⇒ Y 解析性质"模式问题统一处理为"找 carrier + 找自同态 + 找上同调 + 找正性"四子目标，分别独立攻。
诚实地讨论：本框架最可能的失败模式有三种。失败模式 1（结构性不可能）：所有"unified 对象"提案都因 §3 的三个差距源中至少一个无解而塌缩。具体形式：可能存在一个范畴论 no-go 定理，类似"Borger–Lorscheid no-go"的强化版，宣告"任何保持 $\mathrm{Spec}\,\mathbb Z$ 为 ring object 且支持 archimedean 几何的 monoidal base $B$ 都必须使 $\mathrm{Spec}\,\mathbb Z\otimes_B\mathrm{Spec}\,\mathbb Z=\mathrm{Spec}\,\mathbb Z$"。若如此，几何化口号本身需要根本性修订（例：放弃 ring object 要求，改用 $\infty$-stack 替代）。失败模式 2（计算不可行）：unified 对象虽存在，但其上的相交理论 / 行列式 / Künneth 全部在 type II∞ 因子或巨型 Fréchet 空间中，没有有限维或 trace class 退化。Connes Fuglede–Kadison 路径已部分落入此模式。失败模式 3（不匹配 Weil zeta）：unified 对象的 Lefschetz trace 等于某个解析函数但不等于 $\xi(s)$——例如得到一个被 $\Gamma$ 因子或某 motive twist 修饰的版本。该模式比前两者乐观，因为它给出新的 zeta-like 对象供研究，且修正项的几何意义本身有价值。预案：T2 v2 sentinel 应同时检查"对象存在"与"trace 与 $\xi$ 匹配"两端。
结语。"完成韦伊类比的数学真经"在可预见的未来不会被任何单一 agent pipeline 推完。本头脑风暴的真实贡献是把这个大问题清晰地切成 10 + 5 + 2 + 7 个粒度递减的子目标，每一个都可在 T2 v2 / T3 框架下被独立攻击或证伪。下一步最重要的不是再多生成 angle，而是选 2–3 个最便宜的命题（P4、P5、P7）实跑 T2 v2，让 sentinel 严格 type-check 各 angle 的乐观陈述。多 agent 的价值在于覆盖搜索空间，而非取代单点深度；现在该是把覆盖产出交还给深度推进的时候了。
最后两点对读者的提示。其一，本综合（包括 18 个前序 agent 产出）没有声称发现 RH 的几何化路径——所有"unified 对象"都仅是"把现有工具最自然合并"的候选，是提名而非构造。专业读者应把它视为路径地图、而非已迈出的脚步。其二，所有 P1–P11 命题虽精确陈述，但其"可行难度"星级是基于当前文献基础设施的估计；任何具体工作开始前必须先做严肃的 L1 sentinel（精确 type-check 各个声称、检索更晚近文献、验证关键数值）。本综合的最大用处在于把"应该攻什么"明确地写下来，而不是"已经攻到了哪里"。
本节汇总把 §7 的 11 个命题 (P1–P11) 各自送入 Template 2 v2 流水线后所得到的 verdict、关键 gap 与可立刻动手的下一步。每命题用 3 层 ~6 个 agent，11 命题合计 ~60 个 sonnet agent：L1 explorer（3 攻击角度 + sentinel 数值杀检 + ranker）、L3–L5 concluder（L3 prover 草稿 + L4 adversarial 反驳 + L5 决策）、最后由独立的 L4 4-expert panel（analytical / algebraic / numerical / adversarial 四种视角并行投票）做横切验证。
v2 流水线的关键设计是早 KILL 优先：在 L1 sentinel 阶段就跑数值杀检，若失败立刻进入 KILL-confirm 流程而不浪费 L3+ 预算。本轮 11 命题中，P5（Λ-shtuka）与 P8（Haran cohom）正是被 L1 sentinel + L4 全员 4/4 KILL 的两条路线。
| 命题 | L1 explorer + sentinel | L5 decision | L4 panel (4-expert) | 最终 verdict |
|---|---|---|---|---|
| P1 Λ-prismatic existence | 3 角度（Λ-Witt ∞-lift / F-gauge fracture / THH cyclotomic transport），sentinel ratio≈1 on $\mathbb{Z},\mathbb{Z}[\zeta_p],\mathbb{Z}[i]$ | weak-GO，依赖 P10 风格 THH absolute faithfulness | 4/4 fixable | GO-revision (fixable)，依赖 P10 |
| P2 分圆对角自交 | 3 角度（Λ-cotangent / Faltings 翻译 / THH-derived），sentinel 5 个分圆 case ratio=1，含独立 $\tfrac12\log 2\pi$ 交叉验证 | GO-revision，abelian/CM unconditional via Colmez 1993 | 4/4 GO-revision | GO-revision，non-abelian Stark-conditional |
| P3 adelic FF | 3 角度（restricted product / Bhatt prismatization / 几何 Langlands），sentinel 5-prime line bundle ratio=1 | GO-revision，需 "coherent" qualifier，依赖 Bhatt–Lurie 有限性 | 4/4 GO-revision-with-flags | GO-revision-with-flags：(Λ Noeth + BL finiteness + 无 archimedean) |
| P4 scaling=foliated | 3 角度（scaling site flow / Connes RR=Lefschetz / Selberg bridge），sentinel Bombieri–Weil 1-sig-fig | GO-conditional via Meyer 2005 Morita，含 P4⊃P11 + Deninger axiom 隐含 RH 警告 | 4/4 concur | GO-conditional（一致性定理而非 RH 蕴含） |
| P5 Λ-shtuka rank 2 | 3 角度，sentinel KILL：91/91 companion 矩阵 fail commute；squarefree-disc 在 14 个素数上给 10 个不同二次域 | NO-GO confirmed；GO-revision via Kapranov single-prime | 4/4 NO-GO confirmed，via Sato–Tate universality | NO-GO（原陈述）+ GO-revision (Kapranov) |
| P6 Arakelov–Weil | 3 角度（reverse EF / Connes–Consani Chern / fake $\mathbb{F}_1$-surface），sentinel Weil 正性数值 LHS≥0 first 1000 zeros | GO-revision testbed，bilinear lift = Weil 1952 公开问题 | 4/4 concur | GO-revision (testbed)，非直接 RH 路径 |
| P7 prismatic 指数修复 | 3 角度（syntomic $\mathbb{Z}_p(0)$ / KL Iwasawa / cyclotomic descent），sentinel ratio=1 at $p\in\{2,3,5,7\}$ | strong-GO，无 GAP | 4/4 GO（packaging 警告） | strong-GO（原陈述），$V_p=H^1_\mathrm{syn}(\mathbb{Z}_p,\mathbb{Z}_p(0))$ |
| P8 Haran cohom | 4 角度（Haran 直接 / Mathew–Naumann / Lorscheid blueprint / Deitmar），sentinel KILL：tensor 退化为 Krull dim 1 / cohom dim 0 | NO-GO confirmed；GO-revision via P8'-B 结构性 orientation | 4/4 NO-GO confirmed，via 加法缺位 ⇒ smash product | NO-GO（原陈述）+ GO-revision (P8'-B 结构定理) |
| P9 anabelian 量化 | 3 角度（LMFDB brute force / CFT 翻译 / Cohen–Lenstra heuristic），sentinel 71/71 unique on $|\mathrm{disc}|\le 100$ with full fingerprint，naked group 16/71 | GO-revision（Artin quotient + Frobenius mod 100） | 4/4 GO-revision | GO-revision，需 LMFDB $|\mathrm{disc}|\le 10^4$ scale 验证 |
| P10 圣杯 functor | 3 角度，sentinel grail-floor RvM 比值 1.0019, $\psi(100)$ 比值 0.9957 | warn-defer；7-row 字典中 D1, D2, D3 今天可测 | 4/4 warn-defer | warn-defer；sentinel=floor 不是 validation |
| P11 II$_\infty$ factor | 3 角度（Berry–Keating $H=xp$ / Connes 1999 FK lift / Selberg $L^2$-trace），sentinel KILL：$H=xp$ var=0.019 vs ζ var=0.204 vs GUE var=0.153 | weak-GO 子模块 of P4+P10；circularity 等价 RH | NO-GO standalone, weak-GO sub-module | weak-GO（仅作 P4+P10 子模块） |
本轮两条 NO-GO 的杀检都极锐，结构原因可以一句话写清楚：
P5 (Λ-shtuka rank 2) NO-GO 机制。 对非 CM 权 2 newform $f$，欲实现 $\mathrm{tr}(\psi_p)=a_p(f)$ 且 $\{\psi_p\}$ 在秩 2 上 commuting，则所有 $\psi_p$ 在 $\overline{\mathbb{Q}}$ 上同时对角化于一个固定二次域 $K\subset M_2(\mathbb{Q})$，等价于 $\Delta_p=a_p^2-4p$ 的 squarefree 部分在 $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$ 中恒等。Sato–Tate（Barnet-Lamb–Geraghty–Harris–Taylor，对非 CM 权 2 unconditional）保证 $\Delta_p$ 的 squarefree 部分以正密度走遍 $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$ 的无穷多个 class，所以杀检对每个非 CM newform 普遍成立——$f=11.\mathrm{a}$ 不是 freak，14 个素数给 10 个不同二次域只是 $\pi(X)$ 密度的小窗口。
P8 (Haran cohom) NO-GO 机制。 Haran/Lorscheid/Deitmar/Toën–Vaquié 等"无加法 $\mathbb{F}_1$"框架共享一个结构特征：底基 $\mathbb{F}_1$ 不带加法。但 $\mathrm{Spec}\,\mathbb{Z}\otimes_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}$ 要做出二维表面，必须有跨两个 $\mathbb{Z}$-轴的 bilinear pairing，bilinearity 在没有加法的底基上无定义。形式上：在 $\mathrm{Set}_*$ 中两个乘法幺半群的 universal product 是 smash $\wedge$，smash 保持 Krull dim 1，所以 $\mathrm{Spec}\,\mathbb{Z}\otimes_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}$ 的 Krull dim 仍为 1, $\mathrm{cd}=0$。「$\le 1$」vacuously true，但被测对象不是想要的 surface。结论是 (a) 子目标必须迁移到加法增强环境（Borger Λ / Bhatt–Lurie absolute prismatic / Scholze condensed）。
P7 是本轮唯一通过 4/4 panel 全 GO、无 GAP、无 conditional 标签的命题。陈述：$V_p:=H^1_\mathrm{syn}(\mathbb{Z}_p,\mathbb{Z}_p(0))\otimes\mathbb{Q}_p$ 是 1-维空间，$\varphi=1$，alternating sign $(-1)^{i+1}$ 把 zeta 局部因子翻号给 $(1-p^{-s})^{-1}=\zeta_p(s)$。所有引用机器（Bhatt–Lurie *Absolute prismatic cohomology* §8、BMS §7、Bloch–Kato $H^1_f$、Kubota–Leopoldt、Iwasawa main conjecture）均已发表。L4 panel 唯一意见是 packaging："$V_p$ 在 $H^1$" 的话术与 zeta 约定 $Z=\prod\det^{(-1)^{i+1}}$ 等价，L2 阶段只需统一记号。
P7 的角色是局部建块：它不解决跨 $p$ 拼接（那是 P3）也不给全局 Künneth（那是 P1），但它消除了 §6 表中的 Gap A（指数错位），并把 Riemann ζ 的每一个局部因子放进 Bhatt–Lurie 框架的标准位置。这是任何 P1/P3 攻击之前必须先有的脚手架。
把 §6 的 verdict 拼起来，11 命题构成几条清晰的依赖链：
P7 (strong-GO, 局部建块, $V_p=H^1_\mathrm{syn}$)
↓ 提供 zeta 局部因子的 cohomology home
P3 (GO-revision-with-flags, adelic FF + 跨 p 拼接)
↓ 提供 source category for Λ-prismatic global object
P1 (GO-revision, Λ-prismatic 全局 Frobenius family)
↓ source category 喂入 functor F
P10 (warn-defer, 圣杯 functor F 到 foliated dyn-sys)
P4 (GO-conditional via Meyer 2005 Morita)
⊃ P11 (weak-GO sub-module, II$_\infty$ Dixmier trace)
P2 (GO-revision, abelian Colmez 无条件，分圆 sentinel ratio=1)
P6 (GO-revision testbed, Selberg/de Branges 数值)
P9 (GO-revision, anabelian Artin+conductor) — 三者结构上独立
P5 ✗ NO-GO (Sato–Tate universality)
P8 ✗ NO-GO (加法缺位 ⇒ Krull dim 1)核心垂直链是 P7 → P3 → P1 → P10；P4 ⊃ P11 形成横支；P2、P6、P9 三者横向独立可单独写文章；P5 与 P8 是被淘汰的两条路线，证伪本身有结构内容。
本轮流水线的核心增量是 sentinel 早 KILL 节省机会成本。P5、P8 各自在 L1 阶段就被 sentinel KILL，未进入 L3 prover 阶段；按本流水线的成本分布，每命题完整跑完 L1+L3+L4+L5 约耗 5 个 agent，而仅 L1 sentinel KILL 约耗 2 个，节省 ~3×2=6 agent ≈ ~$10。在 11 命题、~60 agent、~$30 总预算下，这两个 KILL 既释放了下游 P1/P3/P4/P10 的资源，又把"NO-GO"作为结构内容写进 §8.2——相比于盲跑到 L5 才发现，节省的不只是 dollar，更是分析者注意力。
另一个 v2 设计胜利是 L4 4-expert panel 横切验证：L5 verdict 单独可能是 prover 自己的 self-consistent narrative；L4 panel 的 analytical / algebraic / numerical / adversarial 四视角投票把 P1（"polygonic Frobenius ≠ Borger ψ_p on torsion"）、P2（"5 cyclotomic case 是 self-consistency 而非 generality test"）、P3（"$C_p^\flat$ 在 $p$ 上不可 functorially 选取"）等被 L5 narrative 掩盖的隐含假设逐条逼出，使最终陈述的 conditional 列表更诚实。
立即可写（3–4 周，单作者 short paper 长度）：
短期推进（1–2 月）：
中期（3–6 月）：
长期（24 月+）：
P10、P11 的 warn-defer 状态会随上述 1–3 阶段的进展自动重新评估；目前每周期保持一个维护 agent 刷新 7-row 字典与 prior-art 表即可（成本 ~$0.2/cycle）。