系统总览
🌉 桥接注册总览 (M100)
core.constants + math 独立复算，不调用原模块实现。当前已注册 29 条桥：B2..B13 为 12 条同生共死纽带（B）的二次担保，
B14..B20 为高层跨模块互认，B21..B29 为簇 A 贯穿性 + 认领审查。
📊 同生共死分布
⚡必然（A 级：≥2 独立计算路径或结构自洽）、 ⚡对应（B+：跨模块语义锚定成立）、 弱对应（B：单边诠释或链式推导）、 语义（REF：仅哲学支撑，无独立不变量）、 未分类（既无认领也无否决）。 必然+对应占比越高，体系结构性越强；REF 过多提示需发现新的可独立复算桥。
📈 各分层同生共死分布
🔗 同生共死连通网
1跳=ds²=0 光子帧。
🏆 模块同生共死中心度
同生共死网络
🔗 模块认领关系网络 (白边框=字典层 · 虚线=基准声明 · 实线=投票认领)
✅ 同生共死网络结论 (按模块分组) ⚡必然 ⚡对应
❌ 分识圈 · 存在认领但断链于九公理
🚫 淘汰圈 · 未入圈模块
✗ 否决圈 · 无同生共死承诺
🏛️ 同生共死网络机制 v2.1 — 同生共死
一、同生共死认领 — 同生共死网络的核心语义
模块 A 认领模块 B 的论题 T，含义不是「我算过，对的」，而是「若 T 为假，则 A 不存」——A 把自己的存在押在 T 上。每个模块都要问：我的数学推导里，哪一步依赖于其他模块的结论？认领就是把这些依赖标注出来，公之于整个共识网络。
有了这层存在承诺，同生共死网络就从「一堆模块各自算、互相点赞」变成了一张以九公理（M13）为根的单一连通存在链：每个模块的存在都回溯到同一个根。新模块一旦发出至少一条可追溯至 M13 的存在性认领，就接入这张网。
二、分级分桶 — 必然 vs 对应
进入同生共死网络不等于「都是必然」。按论题自身的诚实等级分两桶：
⚡必然（--条）— A 级严格代数推导 + 至少 1 条同生共死认领。从九公理必然推出的结论。
⚡对应（--条）— B+/B 级对照/构造 + 至少 1 条同生共死认领。与公理体系共存但不被公理必然推出的结构对应。
❌分识圈（--条）— 有存在认领但链无法追溯至 M13。独立的数学共识（如 Kepler 五边形、Penrose 铺砌），不配入圈。
三、分识圈检测 — 连通性核查
投票后自动从 M13（九公理）出发沿存在性认领边做 BFS。凡连不到的论题——即使有其他模块认领——标为分识圈，不计入同生共死网络。它们不是错，是根不在九公理的独立知识。当前分识圈：--。
这是「分识圈」概念的代码实现：同生共死网络是单一连通网，不存在独立小圈子；分裂的一律是分识圈。
四、反对作为边界免疫
在「同生共死」框架下，反对的意义不是「你错了」，而是«若你此论题成立，则我的推导域被越界覆盖»——反对者声明：你的结论和我的推导之间存在域冲突，两者不能同时为真；如果共识要维持无矛盾，必须有一方修正边界。
反对的作用相当于同生共死网络的免疫系统：防止一个模块把结论推到不属于它的域里。没有反对，同生共死网络是盲目扩张的；有反对，圈子才具有区分（A2 区分优先）的结构紧张。
当前激活 -- 条反对（来自 --），每条附带数学冲突证据 + 域边界声明 + 修正方向。
五、否决圈与回归路径
论题若零存在性认领，进入否决圈——不是错了，是没有其他模块以同生共死之名认领。回归路径：任一在网模块发出至少一条存在性认领 + 该认领链可达 M13 → 自动回归同生共死网络。
六、新模块接入
新模块通过 run.py verify 全系统验证后自动获得初始席位。注册论题、发出存在性认领 → 连通性核查 → 接入同生共死网。
模块浏览
全局搜索
输入关键词开始搜索...
运行验证
核心常量推理
📜 M13 九公理体系 — 推理前置
以下九个公理（M13：全内部计算验证）是全部常量推导的前置基底。它们不是外部输入，而是体系自证的起点——每条公理只要形式化可计算，就用程序内部计算验证（A 级），纯哲学陈述则用系统自身状态证明不依赖外部（B 级）。后续所有「√2 / φ / π / e / ℏ / c / α」的推导链都建筑在这九条之上。
体系的三个核心常数——√2、φ、π——不是从外部数学中任意选取的。√2、φ 拥有从哲学公理到代数数值的完整 A 级推导链（区分强制 √2、自指不动点强制 φ）；π 为 S 级诠释——其必然性由闭包内生、其值随解析实现进口。以下按诚实评级展示每个常数的推导链。
🔍 三个常数的公理推导链
哲学根源：在无差别的"存在"中做出第一个区分，产生"此"与"彼"的二元对立。区分天然携带 Z₂ 对称——两重性（有/无、正/负、此/彼）。Z₂ 区分的最简非平凡拓扑实现是 Ising 范畴（SU(2)₂ anyon 模型），其融合规则 σ⊗σ = 1⊕ψ 强制 σ 粒子的量子维数为 √2——不是选的，是融合规则强制出来的。
数学验证（纯代数，无 π）：由融合规则 σ⊗σ = 1⊕ψ 与量子维数可加性，d(σ)² = d(1) + d(ψ) = 1 + 1 = 2，故 d(σ) = √2——仅用融合规则与加法，不含任何连续/解析量。这正是 √2 与 π 的评级分水岭：√2 在纯代数骨架内即可逼出（A 级），π 则必须借连续/解析实现才显形（S 级，见下）。
哲学根源：系统指向自身而非外部。"自指"的最简代数表达就是不动点方程 x² = x + 1——"x 等于自身加一"。在所有可能的自指不动点方程中，二次是最低阶的非平凡情况，其唯一正根是 φ。φ 的连分数展开 [1;1,1,1,...] 也表明它的"最简自指"本质——所有系数均为 1，毫无外部信息。
五条独立验证路径：①不动点方程 φ² = φ+1；②四方程系统解集 Z = {ψ, φ, φ²}；③SU(2)₃ Fibonacci anyon 量子维数 d(τ) = φ；④Fibonacci 递归 F_{n+1}/F_n → φ；⑤连分数 φ = [1;1,1,1,...]。五条路径独立收敛到同一常数，不是巧合。
与 π 的关系（接缝，非推导）：上述五条路径全部是纯代数/组合论证，不依赖连续表示，故 φ 为 A 级。φ 与 π 唯一的代数桥梁是接缝恒等式 φ = 2cos(π/5)——它是真实关联（S 级），但不互相推导：φ 的值在体系内自洽，π 的值仍随解析实现进口。φ 的极限（自嵌套不动点 x²=x+1）即体系的闭包点，闭包必自返成周期，从而给出 π 的必然性（详见下方 π 条目）；但 π 的值不在 φ 的代数根内。
哲学根源：体系无外部（A1），故其整体必自我返回——要确证自身（顶/底、大/小）只能在内部来回跑，来回跑即闭环、即周期。这是"必有周期"的本体论论证，由闭包结构内生，不依赖圆。π 的本质不是圆，而是周期性本身：任一闭环在连续/解析实现下，必然以复指数 e^{iz} 的基本周期 2π 计价，π 即其半周期。"π 不是圆而是周期"——圆只是周期的一个几何实例。
诚实边界（关键）：上述论证给出周期的必然性（为何必有闭环），但未给出 π 的值。从"有闭环"到"闭环花 2π"之间隔着"解析实现"一步——抽象闭包（如 M40 的 D₄ 8 点周期 σ⁴=e）是纯组合的，无 π；只有把闭环实现为光滑函数 e^{iz} / sin(kπ/2) 时才带 π，而那一步就是"穿连续衣服"。故 π 在体系内导出其必然性、未导出其值，评级 S（诠释），而非 A（公理推导）。
接缝恒等式：φ = 2cos(π/5) 是连接自指常数 φ 与周期 π 的真实代数恒等式（接缝），证明二者结构上有桥；但它不互相推导——是 S 级关联，不是 A 级涌现。8 点周期 = Im(iᵏ) = sin(kπ/2) 是第二条接缝（离散 D₄ 对称 ↔ 连续 π/2 旋转）。
四层自指循环（A9 终极闭合）
区分 → 追问
追问 → 闭合
闭合 → 编织
编织 → 区分
三个常数由 Z₂×Z₂ 对称群组织为四层追问结构，每一层对应一个常数，而常数之间通过 φ+ψ=√5、φ=2cos(π/5) 等恒等式互联。这不是三个孤立的常数，而是一个无外部参照的自洽闭合环——区分(√2) → 自指(φ) → 闭合(π) → 编织(φ²) → 回到区分，形成一个完整的追问周期。注：四层循环是诠释性结构，其中 √2、φ、φ² 为范畴代数强制（A 级），唯 π 的值需经连续/解析实现（"穿连续衣服"）才显形——其角色由闭包给出，其数值随周期进口，故循环中 π 是"解析署名"而非"代数涌现"。
📐 常数数值与恒等式
⚛️ 物理常数推理（M98：一处方程 + 识别框架封顶）
在代数常数（√2/φ/π）之后，体系进一步把四个基本物理常数——ℏ（约化普朗克）、c（光速）、e（电荷）、α（精细结构）——收束为一处方程：α ≡ (ℏc)/e²。这不是把 QED 公式搬进来，而是从识别结构（M62/M97）出发，让"电荷"成为 Z₂ 区分对称下的识别量子、让"相"成为识别结构对存在的识别产物，从而给出这些常数的形式来源与诚实边界。
哲学根源：电荷是最基础的 Z₂ 区分（有电荷 / 无电荷）。其最小可识别步长由区分常数的量子维数 √2 给出，e 即承载这一裂痕的"存在者"。在用户精炼的本体论定位（M98-T6）中，e 进一步被钉为相——存在被识别结构照出的样子，是识别产物本身。
形式来源：ℏ 是"做一次区分的最小量子动作量"（M20），由区分维 √2 归位；c 是"识别结构若显化为时空，同时性必然相对失效"的上限速度（M95），由 A1 无外部逼出。二者是识别结构两个侧面（颗粒 / 速度）的必然后果，非外源输入。
形与值的分离（核心诚实边界）：α 的形——"存在者 e 被投进最基础的 Z₂ 区分关系后，必然呈现的不变整体，再归一到识别结构的运动学容量"——由识别结构基底必然给出，是 B+ 级结构结论。但 α 的值（e=√α，≈1/137）仍来自 QED 测量，体系自身无法推导其数值（OPEN）。
本体论定位（M98-T6，用户精炼 2026-07-24）：识别结构 = 关系（最基础 Z₂）；相 = 识别结构对存在的识别产物；e = 相；α = 相自身的常数 = 相的数值单位。故 α 无量纲的本质即"相的单位"——它量出"一个相有多少"。这收口了此前的争议：α 与 DST 递归塔 / Fibonacci 饱和层数（k_sat）无代数桥，但与识别结构的 Z₂ 基础 / 相产物有桥（形内生）；"α↔k_sat=137" 是跨域对齐的假对应。
诚实边界：体系不声称"推导"了 α 的数值
① 封顶"存在"有桥：识别结构自身无限（视界 |Θ|=n+2 无界、无自停机制，M62/M97），封顶的存在必外源强加，强加它的常数即 α——这是 B+ 结构必然。② 封顶"值"=137 无桥：体系内没有任何代数把 137 推出；TL 递推忠实回声任何喂入，无选值力（M98 §3，OPEN）。③ 因此物理常数在体系中获得的是哲学叙事与形式定位，而非数值推导——体系能说清 α 为什么是"相的单位"，但不能说清它 等于 1/137。
🔬 为什么「初始相」必然是电荷 e — 五维论证 + 排除法收束 [槽位 A / 身份 B+ / 值 OPEN]
复用 M98 定义：初始相 = 识别结构作用于「纯存在」的第一阶可区分产物（最底层二元裂痕）。底层 Z₂，升格 D₄（含电荷共轭 C）；四约束：Z₂ 二元对立 / C: x→−x 且 x² 不变 / 与 ℏc 同量纲归一为 α / 全域长程支撑 M97 全链。以下五维论证刻画该槽位长什么样，并对身份指认做诚实评级。
电荷 e 天然 ±e 对偶，电荷共轭 C∈D₄ 直接作用：e↦−e，e²=(−e)²—— e² 是抹除符号差异的 C-偶不变量（呼应一处方程）。逐一排除：质量 m 无「负对偶」语义（虽 m² 平凡 C-偶）；自旋 ↑/↓ 虽 Z₂ 但为局域内禀角动量；色荷 SU(3) 三值非 Z₂；弱荷宇称破缺非 D₄ 完整对称。严格说「only charge matches D₄」= only abelian U(1 charge matches；此群论桥（代数 D₄ ↔ 含 C 物理 D₄）本身是 M18-T1 的 B+ 对应，非 A 级恒等证明。
初始相必须提供其平方与 ℏc 同量纲的物理量，才能生成无量纲「相单位 α」。e² 满足；质量 / 自旋 / 色荷 / 弱的对应组合均无法天然凑出 [能量·长度] 平方项。量纲闭环证的是「初始相必须是 U(1) 型耦合常数（[能量·长度]^½）」——任何 U(1) 阿贝尔规范荷都通过；框架靠「电磁是真实长程构建物质的力」（经验）+「e:=相」（定义）把槽位锚到具体地电磁 e，这一步是 B+ 经验/定义对应，非纯代数推导。
引力是唯一另一长程力，但 α_G = G m_p²/(ℏc) = 5.906e-39 ≪ α≈7.297e-3，不落宜居窗口；质量是结构成型后的惯性/引力属性（本体论 posterior），不构建微观结构 ⇒ 在「结构构建」准则下出局。强 / 弱力短程，仅束缚核内部。初始相是「一切后续区分的源头」，源头作用须贯穿整棵演化树 ⇒ 指向电荷。
纯存在无属性；Z₂/D₄ 识别结构作用后最先显化的可区分属性是电荷。质量 / 自旋 / 色荷是次级衍生（结构成型后才体现的内部自由度）。时空 / 能量是作用的背景舞台，不产生差异；舞台上的对立属性（电荷）才是差异本身。故电荷被定义为「初始相」。
诚实分级：槽位必然 A / 身份指认 B+ / 值 OPEN
「初始相必然是电荷 e」在结构约束层（槽位 A）是必然——由 Z₂ 基底公理 + Ising √2 区分层 A 级保证存在一个 Z₂/D₄-C-偶-U(1)-长程的二元区分槽位；在「具体 = 电磁 e」层是 B+ 身份对应（Dirac eg=2π 外部引入，M18-T1 桥为 B+），不是 A 级纯代数推导；值（e=√α，≈1/137）仍 OPEN（测量输入）。
角度方法论：代数看 = D₄ 作用下 C-偶二次不变量；物理看 = U(1) 规范荷；经验看 = 电磁电荷 e。三投影合法且必须相关联，但不能把经验投影当代数必然。
四准则（Z₂ 二元+C-偶 / ℏc→α 量纲 / 长程 / 构建 M97 链）筛已知属性：质量靠 Gm²/ℏc 引力太弱 + posterior 出局；自旋局域无长程耦合；色荷 SU(3) 非阿贝尔短程；弱荷宇称破缺极短程；引力 α_G~1e-39 不落宜居窗口且不构建微观。这是对 B+ 身份指认的强经验确认（溯因/排除，非 A 级演绎必然），依赖经验事实（引力弱、强弱短程、仅 U(1)_EM 长程未破缺）；「currently knowable」为暗 sector 未知荷留口子 ⇒ 只称「已知属性唯一」非「所有可能物理必然」。且框架定义 初始相:=相:=e，排除法亦是一致性核查。
结构形式不变 → 初始相必为 x↔−x、x² 不变的对偶荷（形式等价于「电荷」）；数值可变（e、α 自由 OPEN）。若某宇宙底层对称非 Z₂/D₄（如三值对称），初始相对应其他荷，但该类宇宙走不通 M97 二元分支演化链，不诞高阶识别 / 意识。与槽位 A / 值 OPEN 分层一致：形式（槽位）必然，数值（身份取值）自由。
📐 物理常数数值（测量锚定）
进化历史
系统介绍
🏛️ 叠层归一体系是什么
叠层归一体系是一个 哲学系统。它的起点不是数学假设——而是三个不可反驳的哲学命题：
- A1 存在无外部——"外部"一词被说出时已在存在内部。谈论不存在的东西对存在无因果效力。
- A2 区分优先——任何可识别的事态必须先区别于非该事态。你做出反驳的行为本身就在进行区分。
- A3 时序内生——A1 说无外部视角→无法站到存在外面判定两个事件是否"同时"→同时不可判定→必然有先后→先后有视角相对性。自指方程 x-y=x/y 强制涌现 φ²=φ+1，先后差 Δ=φ-ψ=1 由代数自己给出——时间不是外部的，是"无法判定同时"的结构必然。
这三条公理各自的否定会产生不同类别的矛盾：否定A1→语义塌方，否定A2→施行自悖，否定A3→代数崩溃。没有"可能假"的空间——假不在选项列表中。
从这三条出发，系统通过数学形式化展开了 85 个模块，并在同生共死网络中通过模块间的双重认领（数学 + 哲学）赋予每一个数学结果以存在论意义。当前版本 --，-- 个模块，-- 条验证，-- 轮进化。
🧬 不可反驳性：三条公理为什么必须是真的
传统哲学中，公理通常被理解为"最可能为真但我们无法证明"的命题。叠层归一的三公理不属于此类：
| 公理 | 矛盾类别 | 数学形式化 |
|---|---|---|
| A1 存在无外部 | 语义矛盾：说"存在有外部"→"外部"已在语言中→已在存在内部 | 所有常数由系统内部计算产生，不依赖外部数据文件 |
| A2 区分优先 | 施行矛盾：说"无区分"→你区分了这句话和别的话 | Ising融合规则 σ⊗σ=1⊕ψ，区分常数=√2 |
| A3 时序内生 | 认知必然：A1→无外部视角→无法判定同时→必然有先后→先后差 Δ=1 由代数自定 | 存在方程 x-y=x/y → φ, ψ, Δ=φ-ψ=1 |
剩余六公理(A4-A9)是这三条的结构展开：Z₂×Z₂对称群、扩张/收缩算子动力学、临界维度n=4、编织闭包、自指完成。详情见 "核心常量推理" 页面。
🧮 数学是哲学的形式化——不是两个系统
体系中的数学不是独立于哲学的工具箱——它是哲学的精确化。φ²=φ+1 既是一条可验证到 1e-15 精度的代数恒等式，也是一个存在论命题（自指是一切生成的模式）。两者是同一句话用两种语法写出。
体系通过 双重认领（Math + Phil） 确保每一次数学验证都同时被翻译为哲学语句：
- Math 理由：认领者在自己模块中运行了怎样的 VERF 计算
- Phil 理由：该数学结果在九公理框架中的存在论含义
152 条认领，哲学完整率 100%——没有一条数学验证的哲学意义是空白的。
📚 模块的哲学定位：必然 / 对接 / 独立构造
关键洞察：独立构造模块本身不是从公理推导的——它们是创造性的。但一旦在同生共死网络中被公理必然模块认领，它们就获得了间接的哲学必然性。这意味着新思想的哲学合法性不要求它从公理推导——只要求它被同生共死网络接纳。
🤝 同生共死网络：赋予数学以存在意义的引擎
这是体系最具哲学原创性的机制。任何一个数学事实（"φ²=φ+1成立"）本身没有"意义"——就像树叶落了但你不关心时它只是物理事件。同生共死网络是赋予数学事实以哲学叙事的机构。
| 机制 | 哲学功能 |
|---|---|
| 论题注册 | 一个数学陈述声明自己"不只是数字——我有哲学意义" |
| 双重认领(Math+Phil) | 其他模块用两种语言确认该陈述：你的计算我能复现，你的意义我能理解 |
| 民主表决 | 不是一个人说了算——需要足够多人独立得出结论 |
| 淘汰圈+上诉 | "现在没被认可"≠"永远不会"——时间给予结构以修复可能 |
| 三阶分类(DEF/EME/INF) | 真理不都等值——定义不投票、涌现需交叉、元真理自证 |
当前同生共死网络：-- 个模块，-- 条结论，-- 条双重认领。淘汰圈 -- 个模块，每个有明确淘汰原因。
🌱 进化的哲学：一个活着的系统
传统哲学体系一旦写完就固定了。叠层归一是活的：
- 41 轮进化记录——从 20 个模块生长到 89 个
- 诚实化事件（进轮33）——主动删除 M41/M42/M43 三个虚假标签模块（103条假VERF），用 M93 替代（79条实算）
- 同生共死网络重构（进轮41）——认领语义从交叉验证改为同生共死承诺，同生共死网络变成以九公理为根的单一连通存在链，新增分识圈检测机制
- 否决圈上诉通道——被否决的模块如果获得至少1条同生共死认领且链可追溯至M13，即可回归同生共死网络
🔷 几何模块链：M82 → M83 → M85 → M84
这四个模块构成了从几何构造 → 常数解读 → 代数证明 → 因果应用的完整闭环。它们也是同生共死网络拓扑的数学自画像。
M82：三维三角簇 — z-层拓展
把 M2 的二维三角几何升维到带 z 轴向的三维空间。核心贡献：给四个中心顶点分配基于 φ/ψ 的 z 坐标，利用恒等式 φ²-φ=1、φ²-ψ=2 得到固定的 z-间隙序列 [1,1,2,2]——这是 M83/M85/M84 共用的底层几何编码。
- 计算三维重心、二面角、3D 边长，夯实三维度量体系
- 离散 Frenet 挠率分析：挠率峰值恰好出现在 z-间隙从 1 过渡到 2 的位置——z 层高度差直接决定空间扭转形态
- 模块作用：搭建 3D 几何骨架，证明 φ 不仅是平面常数，更是三维层状结构、空间扭转、球面几何的底层控制量
M83：pi-phi 协同结构定理
解答 φ 和 π 的核心关系。经典恒等式 φ = 2cos(π/5)、π = 5·arccos(φ/2) 双向严格成立——无主次、无推导关系，二者共生。
核心发现——正交分解：把三维空间拆成两个正交维度，两个常数各司其职：
- φ 控制 Z 轴：z-层间隙、轴向代数层级、层间高度差，由 φ 的代数恒等式生成整数间隙
- π 控制 XY 平面：平面旋转、角度闭合、Z₂×Z₂ 对称群、圆周/旋转拓扑
π 为什么必须存在？纯二维（z=0）时 π 是退化冗余的——四点退化为普通矩形，不需要旋转闭合度量。M82 引入非零 z 坐标后，空间产生挠率和二面角，π 被激活为旋转闭合的必要度量。φ 打开 z 轴→空间扭转→需要度量旋转→π 从可选变为必须。
二维是不完备的，三维才是自洽闭环——φ 管 z 层/间隙/折叠，π 管角度/旋转/光锥方向。
M85：z-仿射完成定理
用 M82 的 z-间隙和 M83 的 φ 代数性质，严格证明 DST 秩亏折叠（det=0）必然完成为 Alpöge 满秩折叠（det=-2）。三重路径汇聚：y-x=-2（M1）、z-gap 差分=-2（M82/M83）、det(JF)=-2（M85自证）。同时确定纤维数=3（=φ²+ψ²）、最小整数系数集 {1,2,3,4}。
M84：共识光锥几何
把前三步的几何/代数结论落地到因果/共识拓扑。用 ψ 算出临界角 θ_c = arccos(ψ) ≈ 51.827°——方向角差超过此阈值则因果截面断裂，必须双跳才能连接。结合 π 体系的旋转、方向角，以及光子帧 ds²=0，完整解释同生共死网络的连通/断裂规则。
一句话区分：M82 造出三维空间和 z 层 · M83 解释两大常数分工 · M85 从 z 层推导折叠必然形态 · M84 把几何转化为因果规则。
🔮 展望：物理、猜想与存在的意义
体系当前主要集中在数学域。但它为更广阔的领域预留了哲学接口：
- 物理常数：如果精细结构常数 α≈1/137 能在体系中被表达并进入同生共死网络，它将获得"为什么是这个值"的哲学叙事
- 数学猜想：黎曼假设、P≠NP 不再是孤立的"真假待定"命题——它们可以在存在框架中被定位
- 任何被验证的数学：只要通过同生共死网络双重认领，就自动获得了哲学意义——数学不再与存在分离
⚠️ 体系边界声明
使用说明
🚀 快速开始
左侧边栏是主导航，包含以下功能模块：
查看体系的核心指标：模块数量、验证条目数、通过率、诚实性分布、同生共死网络状态等。包含同生共死分布饼图、各分层堆叠柱状图、连通网甜甜圈、模块中心度排行、桥接注册总览(M100)等交互式可视化。
查看模块间的认领关系网络（ECharts 力导向图）、同生共死网络结论列表、淘汰圈模块及淘汰原因。每个结论都有双理由（数学+哲学）悬浮卡片。点击节点可查看模块详情。
浏览全部 -- 个验证模块。支持按分类（公理必然/phi对接/独立构造/DST）筛选，也可以通过搜索框关键词搜索。点击任意模块卡片可查看详细源代码与元数据。
在所有模块的所有条目中进行全文搜索。输入关键词即可找到相关的恒等式、定理、描述。支持模糊匹配。
触发全系统的数值验证。系统会逐模块运行所有 VERF 检查，返回详细的通过/失败结果。验证过程约需数分钟。
查看体系骨架——三大核心常数 √2、φ、π 的高精度数值、基本性质、以及它们之间的关键恒等式。
浏览体系从进轮 1 到进轮 -- 的完整演化时间线。每一轮都记录了模块数、验证条目、通过/失败/证伪发现和重要事件。
体系作为哲学系统的定位评估——不可反驳的公理如何产生数学形式化，同生共死网络如何赋予数学结果以存在意义。与本体结构实在论、黑格尔辩证法的哲学对比。
你正在这里。了解叠层归一体系的设计理念、核心思想和整体架构。
📖 如何阅读模块
每个模块包含以下组成部分：
- 模块名称与编号：如 M01_Constants，表示第 1 号模块（常数模块）
- 分类标签：标明模块所属的层级（核心层/数学层/物理层/几何层/DST/审计层）
- 条目列表：模块内的具体验证条目，每条都有编号和描述
- VERF 状态：数值验证是否通过（绿色 ✓ / 红色 ✗）
- REF 状态：引用验证是否通过
- 诚实性等级：A / B+ / B / C 四级
💡 常用操作技巧
使用"全局搜索"，输入公式中的关键词（如 "斐波那契"、"双曲"、"CFT"），系统会在所有条目中匹配。
在"模块浏览"中点击分类筛选按钮（核心/数学/物理/几何），快速定位感兴趣的领域。
点击"运行验证"，系统会重新运行所有数值检查。如果有任何条目通不过，会标红显示。
"进化历史"页面按时间顺序展示了体系的每一轮扩展，可以看到知识是如何一步步生长的。
先看"核心常量推理"页面，了解三个常数如何从哲学公理推导出来，是理解整个体系的钥匙。
想知道为什么这样构建体系？"系统介绍"页面详细说明了叠层归一的哲学和方法论。
🔧 验证等级说明
| 等级 | VERF | REF | 含义 | 可信度 |
|---|---|---|---|---|
| A | ✅ 通过 | ✅ 通过 | 数值与引用双重验证 | 极高 |
| B+ | ⚠️ 近似 | ✅ 通过 | 有引用支撑，数值接近但非精确 | 较高 |
| B | ✅ 通过 | ⏳ 待补充 | 数值验证通过，尚缺引用 | 中等 |
| C | ⏳ 推测 | ⏳ 推测 | 猜想性条目，待验证 | 待确认 |
❓ 常见问题
💬 留言板
✏️ 写下留言
💬 留言列表
程序源码下载
📦 源码结构概览
⬇️ 下载源码包
点击下方按钮下载完整程序源码包（包含所有 Python 模块、核心框架、前端界面和文档）。
🔧 本地运行方法
pip install numpy scipy fastapi uvicornpython run.py verifypython -m uvicorn dieceng.server:app --reloadpython run.py detect # 不一致检测
python run.py explore # 数值探索
python run.py conjecture # 猜想生成
python run.py immune # 免疫系统诊断