LOGIC-ATLAS · 统一底层逻辑图谱

加载中…
全部🟢双源最强🟠机制被数据反对🟡待验证🔵仅验证🔗桥接边
📐 三个版本(2026-09-03 主席指示)
主席说「这些逻辑太多有点乱」,要三个版本:只留最核心、最有实证因果、不是单纯统计相关、更接近能用数学公式推出来的真理的那一版;一个更精简但比现在复杂的中间版;以及现在这一版。 所以分档判据不是「相关性高低」,是「凭什么成立」——每条逻辑标了推导强度:🟪恒等(写得出恒等式,定义域内永真)、🟦定理(在写明的假设下可从模型推出)、🟨经验(只有统计相关)、⬜叙述(只有一句话机制)。 标注表是唯一真源 derivation.yaml(人工判断、写出公式),档位由机器算、不许手填;机器负控已证:把「曲线倒挂→衰退」这种纯统计的谎报成恒等式,它会当场混进真理档 —— 说明这套标注真在起作用。
📎 引用协议(这就是主席要的「真理只有一条」)
仓库里两张底层逻辑图讲的是同一个世界:广度图(world-total,5 大子系统 45 节点 93 边,有机制无验证)与 验证图(logic-engine,27 节点 75 边,每条边有 60 年历史检验+证据图)。 本页把两者按实体对齐表熔成一套编号:同一条逻辑只有一个 LL-xxx,机制来自广度图、验证来自验证图。
怎么引用:任何报告里写 [LL-020],读者点 本页#LL-020 就落到唯一那条逻辑,看得到它的机制、历史相关系数、可信度与证据图。命令行核对:logic_atlas.py cite "…[LL-020]…"。
🔪 该拆的已拆(2026-09-03 复核):主席要求复核后,对 4 条"代理级"对齐做了【数据检验 + 独立盲审】双证据复核,结论是**全部该拆**——股价≠CAPE(1966 标普 94 点与 1996 年 740 点的 CAPE 一样贵)、GDP≠产出缺口(水平量 vs 平稳残差,类型错误)、消费≠信心(2022-06 信心创历史最低而消费仍增长)、房市≠拖欠率(2020 房价暴涨与拖欠暴涨同时发生,极性直接翻转)。拆开不等于断开:它们之间的真实关系连成 6 条🔗桥接边。另有 2 条"同一个量"降级为代理并登记失效条件(点开实体可见)。
🔴 极性已统一:广度图的「就业↑=好」与验证图的「失业率↑=坏」是同一件事的反向计量,熔合时按对齐表翻转,否则这些边的符号会全反(负控已证:故意不翻转,同一条边立刻被判方向冲突)。
老编号不作废:TM-xx(验证图传导边)、AX-xx(公理)、EL-xxx(经济规律)全部降为来源标识,在每条 LL 卡里都列出来。