命题 P8：Haran 广义环 $\mathrm{Spec}\,\mathbb{Z}\otimes_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}$ 上同维数 ≤ 1
slug: haran_cohom · verdict: NO-GO confirmed (4/4)，GO-revision via P8'-B 结构 orientation 定理 · 难度: ★★（杀检显然）
§1 命题精确陈述
原陈述：在 Haran 非加法广义环框架（Haran *Non-additive Geometry* 2007；*New Foundations* 2017）中，构造 $\mathrm{Spec}\,\mathbb{Z}\otimes_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}$ 并验证其上同维数 $\le 1$（与 Deninger 类比所需的 $\dim X\times_{\mathbb{F}_q} X=2$ 减 Frobenius twist 后的"行为维数"匹配）。
Predicted verdict: NO-GO with useful negative content。Haran tensor 退化为 point-like 对象，cohom dim 0，vacuously 满足 $\le 1$ 但不是想要的算术 surface。
§2 L1 explorer 摘要
四个独立角度，全部给同一诊断（dim 0 或 1 而非 2）：
- L1.A — Haran 范畴内显式构造：Haran 广义环 $A=(A_n)_{n\ge 0}$ 是 pointed operad-like，无 group 加法。$\mathbb{Z}\otimes_{\mathbb{F}_1}\mathbb{Z}$ 的 underlying：$(\mathbb{Z}\otimes\mathbb{Z})_1=\mathbb{Z}\times\mathbb{Z}$ 仅作 multiplicative monoid，加法只在每个 factor 内部不跨。Spec 是 pairs $((p),(q))$ 的零维 pointed space。Krull-like 维数 = 1（不是 2）。
- L1.B — Mathew–Naumann symmetric-monoidal cohom dim sanity：$\mathrm{Mod}(\mathbb{Z}_+\wedge\mathbb{Z}_+)=\mathrm{Mod}(\mathbb{Z}_+)\otimes\mathrm{Mod}(\mathbb{Z}_+)$ in $\mathrm{Set}_*$；smash $\wedge$ 在 discrete pointed-set 世界，$\mathrm{Ext}^i=0$ for $i\ge 1$，所以 cd ≤ 0。"≤1" 是 over-achieved trivially，给出 collapse 信号。
- L1.C — Lorscheid blueprint 警告：Lorscheid 自己（*$\mathbb{F}_1$ for everyone* 2018 §6）已 flag：blueprint tensor 给 $\mathrm{Spec}(\mathbb{Z}[\text{multiplicative monoid of }\mathbb{Z}\times\mathbb{Z}])$，relative dim over $\mathrm{Spec}\,\mathbb{Z}$ 为 0，不是 1。Haran 与 Lorscheid 共享 structural defect：缺加法 ⇒ 两 $\mathbb{Z}$-轴无法 bilinear 交互。
- L1.D — Deitmar/sympy：Deitmar monoid scheme tensor $\mathrm{Spec}\,\mathbb{Z}\otimes_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}\simeq \mathrm{Spec}\,\mathbb{Z}$；sympy 在 pointed commutative monoid 范畴算 colimit 给单 copy of $(\mathbb{Z},\cdot)$。
Sentinel — KILL：四个独立框架 (Haran / Lorscheid / Deitmar / Mathew–Naumann) 给同一答案 (Krull dim 1, cohom dim 0)。结构原因相同：缺加法。
§3 L5 decision (NO-GO + structural orientation reformulation)
L3 状态：sentinel KILL 4-angle convergence；没有 L3 prover 必要。
结构原因（一句话）：
$\mathrm{Spec}\,\mathbb{Z}\otimes_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}$ 要做出二维 surface，需跨两个 $\mathbb{Z}$-轴的 bilinear pairing。bilinearity 在没有底基加法时无定义。形式上：在 $\mathrm{Set}_*$ 中两 multiplicative monoid 的 universal product 是 smash $\wedge$；smash 保持 Krull dim 1。结论：(a) 子目标无法在任何"无加法 $\mathbb{F}_1$"对称幺半范畴内实现，必须 migrate 到加法增强环境。
L5 verdict: NO-GO 原陈述 + GO-revision via P8'：
- Candidate A (negative formalization)：在所有 non-additive $\mathbb{F}_1$ 框架（Deitmar/Lorscheid/Toën–Vaquié/Haran），$\mathrm{Spec}\,\mathbb{Z}\otimes_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}$ cohom dim ≤ 1，且不是所需的算术 surface。诚实但 defensive。
- Candidate B (positive structural theorem，推荐)：(a) 子目标——产生 2-维算术-surface cohomology 支持 Hodge index 不等式——不可在任何"rings without addition"对称幺半范畴内实现；必须在加法增强 (Borger Λ-rings, Bhatt–Lurie absolute prismatic, Connes–Consani arithmetic site, Scholze condensed/analytic, Kapranov 单素数 shtuka) 内实现。
P8'-B 把 NO-GO 转为对整个程序的永久 orientation theorem，把下游命题（P1, P3）从 re-litigate $\mathbb{F}_1$ 问题中解放。
§4 L4 panel (4/4 confirmed)
| 专家 | 判定 | 关键 reason |
|---|
| analytical | NO-GO confirmed | 4-angle convergence 真实独立度仅 ~2，但 structural mechanism 单一：smash in $\mathrm{Set}_*$ 杀掉 bilinear interaction |
| algebraic | NO-GO confirmed | Krull dim 1 / cohom dim 0 vacuously $\le 1$；Lorscheid blueprint, Toën–Vaquié relative geometry, Deitmar monoid schemes 共享结构 defect |
| numerical | NO-GO confirmed | finite sample 结构代表性强；推荐 $|n|\le N$ 截断额外 check 但非 mandatory |
| adversarial | NO-GO confirmed + GO-revision conditional | P8'-B forward 半 (impossibility) 严格；backward 半 (existence in additive enhancement) conditional on P1/P3/P9/P10/P5'-B 至少一个 deliver；wording 应明示候选列表 open |
4/4 NO-GO confirmed。GO-revision via P8'-B endorsed as conditional structural orientation 定理。
§5 最终 verdict 与建议
Final verdict: NO-GO 原陈述 + GO-revision via P8'-B。原陈述被 4-angle convergent KILL；P8'-B 改写为程序的永久 orientation theorem："(a) 子目标不可在 non-additive $\mathbb{F}_1$ 范畴内实现，必须 migrate 到加法增强（Borger Λ-rings, Bhatt–Lurie absolute prismatic, Connes–Consani arithmetic site, Scholze condensed/analytic stacks, Kapranov 单素数 shtuka）内，pending 至少一个 framework 的 positive demonstration。"
命题间影响：
- P1, P3 (prismatic 路线): P8'-B justifies 它们对 prismatic / Λ-ring 的 commitment——removes the $\mathbb{F}_1$ alternative。下游不再需要"$\mathbb{F}_1$ fallback"分支。
- P2, P4, P6, P9: minor 影响（移除 distractor），主线本就 additive。
- P5'-B (Kapranov 单素数 shtuka): 也属于"加法增强"候选列表。
- P10 (圣杯): 候选 source category 必须 additive。
建议立即可做（与 P5 NO-GO 联合写）：position paper "Two structural NO-GO results for the Weil analogy"，3–4 周：
- P5 NO-GO：Sato–Tate universality 排除 commuting Frobenius rank-2 实现非 CM 模形式。
- P8 NO-GO：smash product in $\mathrm{Set}_*$ 强制 $\mathrm{Spec}\,\mathbb{Z}\otimes_{\mathbb{F}_1}\mathrm{Spec}\,\mathbb{Z}$ Krull dim 1。
- 结合写：两条都是"路线被关闭"的清晰 trim，比模糊的"未走通"更有引用价值；都 redirect 注意力到 additive enhancement (Borger Λ + Bhatt–Lurie prismatic + Kapranov 单素数)。