{
  "personId": "von-neumann",
  "uid": "SL-0018",
  "name": "约翰·冯·诺伊曼",
  "version": "V2研究贡献账",
  "updatedAt": "2026-09-15",
  "formula": {
    "q": "Q = 10^(M/2) − 1",
    "light": "Lᵢ = aᵢ × Qᵢ",
    "total": "L = Σ Lᵢ",
    "score": "S = 2 × log₁₀(1 + L)"
  },
  "scopeNote": "本轮当前已列26项有限研究账；M与归功份额为可修订判断。未覆盖内容和未核清的负面作用不按零处理，具体缺口见逐项说明。",
  "exclusions": [
    {
      "id": "NEUMANN-MILITARY-CONSEQUENCES",
      "title": "军事咨询与相关后果",
      "reason": "曾参与军方及核武器相关研究和咨询。当前尚未形成完整的个人决策、责任及伤害账；不把军事项目完成自动记为文明安全收益。"
    },
    {
      "id": "NEUMANN-OTHER-RESEARCH",
      "title": "尚未量定的其他数学与计算工作",
      "reason": "零散优化、连续几何等研究与既有成果族的边界仍需补充；未明确的独立增量不按标题另加分。"
    },
    {
      "id": "NEUMANN-GROUP-CREDIT",
      "title": "尚未拆分的共同前驱份额",
      "reason": "矩阵分析以及香农象棋设计的部分前驱归功仍属于多人合组，未整体划给冯·诺伊曼。"
    },
    {
      "id": "NEUMANN-SERVICE-GAPS",
      "title": "其他教学、编辑与帮助",
      "reason": "仅有编辑委员会任职的记录未作已交付编辑服务评分。其他未覆盖行为及影响不按零处理。"
    }
  ],
  "items": [
    {
      "id": "OUT-SL0018-N08A-BOUNDED-CONTRIBUTION",
      "title": "有限二人零和博弈的最小最大定理",
      "year": "1928",
      "summary": "证明有限二人零和博弈在混合策略下的最小最大定理。",
      "mReason": "它建立一个新理论领域的核心存在/对偶结论，略高于Watt成熟系统M5.8；但对象远窄于Shannon信息论M7，故取6.0。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：有限二人零和博弈的最小最大定理",
          "url": "https://competitionandappropriation.econ.ucla.edu/wp-content/uploads/sites/95/2017/08/Kuhn-TuckerOnVonNeumann.pdf"
        }
      ],
      "missing": "1928原证明未读；前驱预算与Borel角色待核，不能把数学前提数量机械转为扣分。",
      "status": "缺证暂估",
      "overlapNote": "限随机策略下有限二人零和博弈的最小最大结论；不收入整部博弈论、一般均衡或N08B/C。",
      "M": "6.0",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.70"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N08A::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.20"
        },
        {
          "actor": "未分配",
          "actorId": "N08A::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.70",
      "exactLight": "699.30",
      "light": "699.300000",
      "standaloneScore": "5.69",
      "lightSharePercent": "15.2001"
    },
    {
      "id": "OUT-SL0018-N02-BOUNDED-CONTRIBUTION",
      "title": "Hilbert空间无界算子理论",
      "year": "1929",
      "summary": "将希尔伯特空间算子研究扩展到无界情形，建立相关数学工具。",
      "mReason": "比ACE M5的单一计算机设计报告更抽象且跨多个数学物理问题复用，故高0.6；低于M6级完整新理论体系，因为当前scope是工具族而非算子代数分类或量子公理整体。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：Hilbert空间无界算子理论",
          "url": "https://www.nasonline.org/wp-content/uploads/2024/06/von-neumann-john.pdf"
        }
      ],
      "missing": "原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。",
      "status": "缺证暂估",
      "overlapNote": "N02独占无界/自伴算子与相关谱论的一般数学工具价值；N03、N06和N07C只把它作为已消费输入。",
      "M": "5.6",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.70"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N02::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.20"
        },
        {
          "actor": "未分配",
          "actorId": "N02::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.70",
      "exactLight": "440.9701411361352746040520956356407052710616800317601071694106701834464603083807653010398474205565854",
      "light": "440.970141",
      "standaloneScore": "5.29",
      "lightSharePercent": "9.5850"
    },
    {
      "id": "OUT-SL0018-N03-BOUNDED-CONTRIBUTION",
      "title": "与Murray合作的算子代数体系",
      "year": "1936–1943",
      "summary": "与默里发展算子代数的结构理论。",
      "mReason": "相对N02 M5.6，N03新增可持续发展的代数对象、结构和分类体系，故高0.4；仍低于Shannon M7的跨领域通用理论。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：与Murray合作的算子代数体系",
          "url": "https://www.nasonline.org/wp-content/uploads/2024/06/von-neumann-john.pdf"
        }
      ],
      "missing": "原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。；仍应补原作中具体独立结构的定位，但不阻挡公开暂估。",
      "status": "缺证暂估",
      "overlapNote": "编号论文系列合为一个算子环/代数结构与分类成果族；Hilbert空间和一般无界算子工具由N02消费，不重复抬升M。",
      "M": "6.0",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "弗朗西斯·默里",
          "actorId": "EXT-NAME:FRANCIS-J-MURRAY",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N03::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.10"
        },
        {
          "actor": "未分配",
          "actorId": "N03::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.40",
      "exactLight": "399.60",
      "light": "399.600000",
      "standaloneScore": "5.21",
      "lightSharePercent": "8.6858"
    },
    {
      "id": "OUT-SL0018-N06-BOUNDED-CONTRIBUTION",
      "title": "量子力学的Hilbert空间数学形式化",
      "year": "1927–1932",
      "summary": "用希尔伯特空间中的状态和可观测量组织量子力学的数学表达。",
      "mReason": "和N02 M5.6同档但价值来源不同：N02是一般数学工具，N06是对量子理论对象的统一组织；二者均比ACE M5覆盖更广，低于Shannon M7。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：量子力学的Hilbert空间数学形式化",
          "url": "https://www.nasonline.org/wp-content/uploads/2024/06/von-neumann-john.pdf"
        }
      ],
      "missing": "原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。；联合账必须把N02标为CONSUMED_TOOL而非第二次领取工具价值。",
      "status": "缺证暂估",
      "overlapNote": "只取量子状态、可观测量和公理组织的公共数学形式化；物理发现、N02一般算子工具、N07Q统计定理和普遍排除隐变量均排除。",
      "M": "5.6",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.60"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N06::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.30"
        },
        {
          "actor": "未分配",
          "actorId": "N06::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.60",
      "exactLight": "377.9744066881159496606160819734063188037671543129372347166377173000969659786120845437484406461913589",
      "light": "377.974407",
      "standaloneScore": "5.16",
      "lightSharePercent": "8.2157"
    },
    {
      "id": "OUT-SL0018-N09A-BOUNDED-CONTRIBUTION",
      "title": "EDVAC存储程序计算机逻辑设计与报告传播",
      "year": "1945",
      "summary": "组织存储程序计算机的算术、控制、存储及输入输出逻辑，并形成公开设计报告。",
      "mReason": "相对ACE M5，EDVAC报告提供更早且传播更广的完整存储程序逻辑框架，故高1.0；仍低于Shannon M7跨领域理论。ACE行中John的13%只表示EDVAC输入，不把ACE全部价值反向抬升N09A。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：EDVAC存储程序计算机逻辑设计与报告传播",
          "url": "https://fab.cba.mit.edu/classes/862.16/notes/computation/vonNeumann-1945.pdf"
        },
        {
          "label": "研究原文与档案：EDVAC存储程序计算机逻辑设计与报告传播",
          "url": "https://conservancy.umn.edu/bitstream/handle/11299/107206/oh075aab.pdf?isAllowed=y&sequence=1"
        }
      ],
      "missing": "读取同期讨论记录核对个人技术增量及份额；35/50/15是公开attribution scaffold，不能拆成无证据的个人精细比例。；IAS可运行机器和跨机构复制资料补足了下游采用锚；它只支持架构得到工程承接，不证明N09A逐人发明份额。",
      "status": "缺证暂估",
      "overlapNote": "1945 EDVAC存储程序逻辑设计与公开报告，保留多人技术输入；IAS实际工程由N09D只领残余实现，ACE后继设计只领其新增构造，既有13%为具体前驱输入。",
      "M": "6.0",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.35"
        },
        {
          "actor": "EDVAC共同设计团队",
          "actorId": "N09A::EDVAC-DESIGN-COLLABORATORS",
          "type": "TEAM",
          "share": "0.50"
        },
        {
          "actor": "未分配",
          "actorId": "N09A::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.15"
        }
      ],
      "share": "0.35",
      "exactLight": "349.65",
      "light": "349.650000",
      "standaloneScore": "5.09",
      "lightSharePercent": "7.6000"
    },
    {
      "id": "OUT-SL0018-N01-BOUNDED-CONTRIBUTION",
      "title": "集合论的一阶公理化路线",
      "year": "1925–1929",
      "summary": "发展集合论的一阶公理化方案，为后来的体系改写提供基础。",
      "mReason": "相对Church M5的专门形式体系，N01覆盖集合论基础对象和一阶公理组织，方法受益面更广，故高0.4；仍显著低于Shannon M7的跨学科基础平台。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：集合论的一阶公理化路线",
          "url": "https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/system-of-axiomatic-set-theorypart-i/A42100297D0138740F9B304AF7962F87"
        }
      ],
      "missing": "原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。；现有承接证据仍以Bernays回顾为主，需保留calibration-required标记。",
      "status": "缺证暂估",
      "overlapNote": "只取1925–1929原始一阶公理化方案族；Bernays的改写和Gödel后续结果不进入本体价值。",
      "M": "5.4",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.65"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N01::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.25"
        },
        {
          "actor": "未分配",
          "actorId": "N01::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.65",
      "exactLight": "325.1217018577269852510102214752147492393067933913325215543033463278573161977399478238508507062923458",
      "light": "325.121702",
      "standaloneScore": "5.03",
      "lightSharePercent": "7.0669"
    },
    {
      "id": "OUT-SL0018-N07C-BOUNDED-CONTRIBUTION",
      "title": "经典平均遍历定理",
      "year": "1931–1932",
      "summary": "证明酉算子时间平均的强收敛，连接动力系统与算子方法。",
      "mReason": "作为一般动力系统的可复用收敛工具，与Watt冷凝方法M5.2同属通用方法档；比条件更窄的N07Q M4.5高，低于N02 M5.6的一般无界算子工具族。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：经典平均遍历定理",
          "url": "https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-64/issue-3.P2/Von-Neumann-on-measure-and-ergodic-theory/bams/1183522373.pdf"
        }
      ],
      "missing": "1932原论文本轮仍未读，现代抽象表述来自Halmos回顾；Carleman等独立证明线索及Weil建议待一手核读；1932原论文本轮未通读；Carleman独立证明和Weil建议仍待一手核读。",
      "status": "缺证暂估",
      "overlapNote": "只取Hilbert空间中酉算子遍历平均的强/L2收敛；Koopman提供算子化前驱。不收入Birkhoff逐点定理、1929量子遍历或物理应用的重复定理价值。",
      "M": "5.2",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.65"
        },
        {
          "actor": "伯纳德·库普曼",
          "actorId": "EXT-NAME:BERNARD-KOOPMAN",
          "type": "PREDECESSOR",
          "share": "0.15"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N07C::OPERATOR-MEASURE-FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.10"
        },
        {
          "actor": "未分配",
          "actorId": "N07C::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.65",
      "exactLight": "258.1196608597732130006639983070388282669900742432972904624346962391461550151477253981119025447952842",
      "light": "258.119661",
      "standaloneScore": "4.83",
      "lightSharePercent": "5.6105"
    },
    {
      "id": "OUT-SL0018-SELF-REPRODUCING-AUTOMATA-CONSTRUCTION",
      "title": "自复制自动机的逻辑构造与设计补完",
      "year": "1940年代末–1966",
      "summary": "研究抽象自动机如何构造并复制自身，未完成部分由伯克斯整理和补完。",
      "mReason": "和ACE M5同档：两者都是有界而未完全物理实现的通用计算构造；不借现代人工生命和生物技术把它升到成熟系统档。",
      "aReason": "John构想/遗稿60%、Burks技术补完20%、Ulam简化模型输入10%、Turing方法前驱5%、未知5%；均为粗估。",
      "sources": [
        {
          "label": "研究原文与档案：自复制自动机的逻辑构造与设计补完",
          "url": "https://fab.cba.mit.edu/classes/862.16/notes/computation/vonNeumann-1966.pdf"
        },
        {
          "label": "研究原文与档案：自复制自动机的逻辑构造与设计补完",
          "url": "https://www.tim-taylor.com/selfrepbook/web/chapter-5.html"
        }
      ],
      "missing": "原书第五章细节未逐页核对；Ulam模型输入来自研究专著对原材料的转引；原书第五章未逐页核对；Ulam输入部分来自研究专著转引。",
      "status": "缺证暂估",
      "overlapNote": "只取通用构造与描述复制的形式方案，以及Burks对未完成设计的技术补完；排除概率可靠逻辑N11A、存储程序N09A、实际自复制硬件、能量闭合和后继所有元胞自动机。",
      "M": "5.0",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.60"
        },
        {
          "actor": "阿瑟·伯克斯",
          "actorId": "EXT-NAME:ARTHUR-W-BURKS",
          "type": "PERSON",
          "share": "0.20"
        },
        {
          "actor": "斯坦尼斯瓦夫·乌拉姆",
          "actorId": "EXT-NAME:STANISLAW-ULAM",
          "type": "PERSON",
          "share": "0.10"
        },
        {
          "actor": "艾伦·图灵",
          "actorId": "SL-0006",
          "type": "PREDECESSOR",
          "share": "0.05"
        },
        {
          "actor": "未分配",
          "actorId": "N11B::UNALLOCATED",
          "type": "UNALLOCATED",
          "share": "0.05"
        }
      ],
      "share": "0.60",
      "exactLight": "189.1366596101027599199336126659631120231733083595130096114502911675556663183542932806548865027580177",
      "light": "189.136660",
      "standaloneScore": "4.56",
      "lightSharePercent": "4.1111"
    },
    {
      "id": "OUT-SL0018-N08B-BOUNDED-CONTRIBUTION",
      "title": "博弈信息结构与合作解的共同形式化",
      "year": "1944",
      "summary": "与摩根斯特恩共同组织博弈的信息结构、分配和合作解框架。",
      "mReason": "该框架比ACE M5多出对多种博弈结构的形式组织，但当前终端与采用链不如单一定理清晰；从5.5下调到5.3，低于N08A M6。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：博弈信息结构与合作解的共同形式化",
          "url": "https://competitionandappropriation.econ.ucla.edu/wp-content/uploads/sites/95/2017/08/Kuhn-TuckerOnVonNeumann.pdf"
        }
      ],
      "missing": "原书章节差分未完整核读；对称份额是暂估而非分工已证；不声称所有合作博弈均有解。；40/40为共同署名下的对称暂估，不声称已测得分工。",
      "status": "缺证暂估",
      "overlapNote": "作为1944合著中的一个书级共同框架episode，领取信息集/扩展式组织与合作博弈形式化的组合增量；内部两类内容此后不得再分项计M。明确排除N08A最小最大证明、N08C效用表示及后继具体合作解概念。",
      "M": "5.3",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "奥斯卡·摩根斯特恩",
          "actorId": "EXT-NAME:OSKAR-MORGENSTERN",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N08B::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.10"
        },
        {
          "actor": "未分配",
          "actorId": "N08B::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.40",
      "exactLight": "178.2734368603852474225002097277506465509200714432058272806689409310473691365100639551462646594492877",
      "light": "178.273437",
      "standaloneScore": "4.51",
      "lightSharePercent": "3.8750"
    },
    {
      "id": "OUT-SL0018-N04-BOUNDED-CONTRIBUTION",
      "title": "群上概周期函数理论",
      "year": "1934–1935",
      "summary": "将概周期函数研究推广到群，并与博赫纳继续发展这一方法。",
      "mReason": "残余理论仍是可复用群分析框架，和ACE M5同档；因关键等价性明确剔除，不再用原先较宽scope支撑Watt冷凝方法同档的5.2。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：群上概周期函数理论",
          "url": "https://www.nasonline.org/wp-content/uploads/2024/06/von-neumann-john.pdf"
        }
      ],
      "missing": "原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。；必须保留机器可查EXCLUDES关系，禁止恢复模糊的整篇论文价值。",
      "status": "缺证暂估",
      "overlapNote": "只取1934群上推广与1935合著续篇除left/right almost-periodicity equivalence之外的增量。已采用图灵共享行继续独占该等价性本体价值。",
      "M": "5.0",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.55"
        },
        {
          "actor": "萨洛蒙·博赫纳",
          "actorId": "EXT-NAME:SALOMON-BOCHNER",
          "type": "PERSON",
          "share": "0.20"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N04::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.15"
        },
        {
          "actor": "未分配",
          "actorId": "N04::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.55",
      "exactLight": "173.3752713092608632599391449437995193545755326628869254771627669035926941251581021739336459608615162",
      "light": "173.375271",
      "standaloneScore": "4.48",
      "lightSharePercent": "3.7685"
    },
    {
      "id": "OUT-SL0018-N08D-BOUNDED-CONTRIBUTION",
      "title": "扩张经济模型的均衡存在论证",
      "year": "1937",
      "summary": "在特定线性经济模型中论证扩张均衡的存在。",
      "mReason": "比N10A M4.5的专门误差分析略广到经济均衡结构，但比N08C M5的一般风险表示和N08A M6核心定理窄。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：扩张经济模型的均衡存在论证",
          "url": "https://competitionandappropriation.econ.ucla.edu/wp-content/uploads/sites/95/2017/08/Kuhn-TuckerOnVonNeumann.pdf"
        }
      ],
      "missing": "原论文和与Wald工作的比较未读，需核证明工具重复价值及适用条件。",
      "status": "缺证暂估",
      "overlapNote": "限特定线性活动扩张模型中的均衡存在；1932报告、1937刊文和后续英译是同一成果链，不复制M。",
      "M": "4.8",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.65"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N08D::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.25"
        },
        {
          "actor": "未分配",
          "actorId": "N08D::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.65",
      "exactLight": "162.6226180481227072205270844069562806203036765508609028641927473590358111020314850495003155770568023",
      "light": "162.622618",
      "standaloneScore": "4.43",
      "lightSharePercent": "3.5348"
    },
    {
      "id": "OUT-SL0018-1946-1949-COMPUTER-MONTE-CARLO-METHOD",
      "title": "电子计算机上的蒙特卡洛抽样方法组织与实现",
      "year": "1946–1949",
      "summary": "与乌拉姆、梅特罗波利斯、克拉拉等共同推进计算机上的随机采样方法。",
      "mReason": "比ACE M5多出跨问题迁移的计算抽样范式，故取5.5；仍低于成熟工程系统M5.8和更完整理论体系。",
      "aReason": "根据参与者叙述区分概念、方案和实现，Ulam30%、John25%、Metropolis20%、Klára10%为粗估而非测量；其他池合计15%。",
      "sources": [
        {
          "label": "研究原文与档案：电子计算机上的蒙特卡洛抽样方法组织与实现",
          "url": "https://mcnp.lanl.gov/pdf_files/Article_1987_LAS_Metropolis_125--130.pdf"
        }
      ],
      "missing": "参与者晚年回忆未与所有同期文件交叉验证；完整战争后果保持独立未量化，不声称净全生涯分；角色细分主要来自Metropolis晚年回忆，尚未与全部同期文件交叉。",
      "status": "缺证暂估",
      "overlapNote": "只取1946–1949把既有统计抽样组织为电子计算机可运行方案及早期实现；不计统计抽样首创、1953 Metropolis算法、ENIAC硬件、全部后世模拟或战争后果。",
      "M": "5.5",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.25"
        },
        {
          "actor": "斯坦尼斯瓦夫·乌拉姆",
          "actorId": "EXT-NAME:STANISLAW-ULAM",
          "type": "PERSON",
          "share": "0.30"
        },
        {
          "actor": "尼古拉斯·梅特罗波利斯",
          "actorId": "EXT-NAME:NICHOLAS-METROPOLIS",
          "type": "PERSON",
          "share": "0.20"
        },
        {
          "actor": "克拉拉·丹·冯·诺伊曼",
          "actorId": "EXT-NAME:KLARA-DAN-VON-NEUMANN",
          "type": "PERSON",
          "share": "0.10"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N10C::STATISTICAL-SAMPLING-PREHISTORY",
          "type": "PREDECESSOR",
          "share": "0.05"
        },
        {
          "actor": "采样计算实现团队",
          "actorId": "N10C::IMPLEMENTATION-TEAM",
          "type": "TEAM",
          "share": "0.05"
        },
        {
          "actor": "未分配",
          "actorId": "N10C::UNALLOCATED",
          "type": "UNALLOCATED",
          "share": "0.05"
        }
      ],
      "share": "0.25",
      "exactLight": "140.3353312975872700987377599441203078670627607746729160204223559339708921607657122264644961315550765",
      "light": "140.335331",
      "standaloneScore": "4.30",
      "lightSharePercent": "3.0503"
    },
    {
      "id": "OUT-SL0018-N08C-BOUNDED-CONTRIBUTION",
      "title": "风险选择的期望效用表示",
      "year": "1944–1947",
      "summary": "与摩根斯特恩研究在偏好公设下用期望效用表示风险选择。",
      "mReason": "和ACE M5同为可跨具体应用复用的形式框架；范围比N08A最小最大核心定理的学科奠基面窄，故低1.0。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：风险选择的期望效用表示",
          "url": "https://competitionandappropriation.econ.ucla.edu/wp-content/uploads/sites/95/2017/08/Kuhn-TuckerOnVonNeumann.pdf"
        }
      ],
      "missing": "需原书公设及版本页码；Ramsey、Bernoulli、Menger等依赖仅暂保留前驱池，不冒充已定具名比例。",
      "status": "缺证暂估",
      "overlapNote": "只取偏好公设下的期望效用表示及后续版证明补充；不把所有现实选择或行为经济学归入。",
      "M": "5.0",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "奥斯卡·摩根斯特恩",
          "actorId": "EXT-NAME:OSKAR-MORGENSTERN",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N08C::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.10"
        },
        {
          "actor": "未分配",
          "actorId": "N08C::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.40",
      "exactLight": "126.0911064067351732799557417773087413487822055730086730743001941117037775455695288537699243351720118",
      "light": "126.091106",
      "standaloneScore": "4.21",
      "lightSharePercent": "2.7407"
    },
    {
      "id": "OUT-SL0018-N05A-BOUNDED-CONTRIBUTION",
      "title": "闭线性变换群的Lie结构",
      "year": "1929",
      "summary": "证明有限维空间中的闭线性变换群具有李群结构。",
      "mReason": "它是清楚而可复用的结构定理，和N10A数值误差方法M4.5同档；范围比N02一般算子工具M5.6窄。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：闭线性变换群的Lie结构",
          "url": "https://www.nasonline.org/wp-content/uploads/2024/06/von-neumann-john.pdf"
        }
      ],
      "missing": "原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。",
      "status": "缺证暂估",
      "overlapNote": "1929结论限于闭有限维线性群是Lie群；不收入Cartan后来一般闭子群结果、1933紧局部欧氏群或完整Hilbert第五问题。",
      "M": "4.5",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.70"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N05A::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.20"
        },
        {
          "actor": "未分配",
          "actorId": "N05A::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.70",
      "exactLight": "123.7795587027245960857794836634879391315053368481578750608281505943411317077645663430210279495091508",
      "light": "123.779559",
      "standaloneScore": "4.19",
      "lightSharePercent": "2.6905"
    },
    {
      "id": "OUT-SL0018-1929-QUANTUM-ERGODIC-H-THEOREM",
      "title": "量子统计力学中的有条件遍历与熵定理",
      "year": "1929",
      "summary": "在明确的能级和宏观划分条件下，证明量子系统的遍历与熵结果。",
      "mReason": "比N07C M5.2更依赖特定量子统计条件且一般工具覆盖更窄，故低0.7；与N10A M4.5同属条件明确的专门数学方法。",
      "aReason": "论文具名作者承担该证明工作，暂置65%；基础依赖暂保留合组25%、未明10%，不将文献引用机械换成具名百分比。需与其他原创理论的归功标准对称复核。",
      "sources": [
        {
          "label": "研究原文与档案：量子统计力学中的有条件遍历与熵定理",
          "url": "https://arxiv.org/html/1003.2133"
        }
      ],
      "missing": "已读原作英译的引言、定理条件和讨论，未逐式复核全部证明；比例及适用影响仍可修订。",
      "status": "缺证暂估",
      "overlapNote": "限1929年在能级、能隙和宏观划分条件下的量子遍历/H定理证明族；不称无条件热化或熵处处单调，不消费1932经典平均定理。",
      "M": "4.5",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.65"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N07Q::STATISTICAL-AND-QUANTUM-FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.25"
        },
        {
          "actor": "未分配",
          "actorId": "N07Q::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.65",
      "exactLight": "114.9381616525299820796523776875245149078263842161465982707689969804596223000670973185195259531156401",
      "light": "114.938162",
      "standaloneScore": "4.13",
      "lightSharePercent": "2.4983"
    },
    {
      "id": "OUT-SL0018-PROBABILISTIC-LOGIC-REDUNDANT-COMPUTATION",
      "title": "不可靠元件上的概率逻辑与冗余计算构造",
      "year": "1952–1956",
      "summary": "研究如何通过冗余组织，在元件可能出错的情况下构造可靠计算。",
      "mReason": "原文给出多层误差控制与多路复用构造，后继Moore–Shannon明确采用并改进。以邱奇有界综合方法M4.5为邻近锚暂取4.5，区别于后继继电器专门结果M3.7；不把器件实用化、全部可靠计算领域及未完成的热力学理论计入。",
      "aReason": "理论结果预算仅保留本人候选及待核前史/未知池；致谢、记录、机构支持在角色清单保留但无本项单独份额。",
      "sources": [
        {
          "label": "研究原文与档案：不可靠元件上的概率逻辑与冗余计算构造",
          "url": "https://www.smri.it/Publications/vonNeumannNew.pdf"
        },
        {
          "label": "研究原文与档案：不可靠元件上的概率逻辑与冗余计算构造",
          "url": "https://fab.cba.mit.edu/classes/862.22/notes/computation/Moore-1956.pdf"
        }
      ],
      "missing": "原扫描与重排文本的关键公式尚未逐字校验。；完整误差独立性及随机连线条件未形式化复证。",
      "status": "缺证暂估",
      "overlapNote": "1952讲座与1956发表合一成果链；不另按多数表决、多路复用、讲座和出版分别全额加分。与香农可靠继电器结果区分；已存在的16%前驱预算尚须在合账中审查是否与本项价值重复。",
      "M": "4.5",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": ".60"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N11::THEORETICAL-FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": ".19"
        },
        {
          "actor": "未分配",
          "actorId": "N11::UNALLOCATED",
          "type": "UNALLOCATED",
          "share": ".21"
        }
      ],
      "share": "0.60",
      "exactLight": "106.0967646023353680735252717115610906841474315841353214807098433665781128923696282940180239567221293",
      "light": "106.096765",
      "standaloneScore": "4.06",
      "lightSharePercent": "2.3061"
    },
    {
      "id": "OUT-SL0018-N05B-BOUNDED-CONTRIBUTION",
      "title": "紧情形的局部欧氏群解析参数",
      "year": "1933",
      "summary": "利用群不变测度等方法，处理局部欧氏群在紧情形下的解析结构。",
      "mReason": "与N05A同属有界Lie结构推进，但抽象到非预设线性表示的紧局部欧氏群并依赖Haar测度；适用仍受紧性限制，故M4.4与N05A近邻而略低。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：紧情形的局部欧氏群解析参数",
          "url": "https://www.nasonline.org/wp-content/uploads/2024/06/von-neumann-john.pdf"
        }
      ],
      "missing": "原作正文及逐项前驱份额未全部核读，当前为公开缺证暂估候选；M/a均为可修订研究判断。",
      "status": "缺证暂估",
      "overlapNote": "1933结果限于紧的局部欧氏拓扑群具有解析参数，并明确使用Haar测度。它不是N05A线性群特例的重复，也不是完整Hilbert第五问题。",
      "M": "4.4",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.65"
        },
        {
          "actor": "阿尔弗雷德·哈尔",
          "actorId": "EXT-NAME:ALFRED-HAAR",
          "type": "PREDECESSOR",
          "share": "0.10"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N05B::FOUNDATIONS",
          "type": "PREDECESSOR",
          "share": "0.15"
        },
        {
          "actor": "未分配",
          "actorId": "N05B::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.65",
      "exactLight": "102.3680575099723765381365892704479558625137386986275394405592928005826961384495087071631770499972179",
      "light": "102.368058",
      "standaloneScore": "4.03",
      "lightSharePercent": "2.2251"
    },
    {
      "id": "OUT-SL0018-IAS-COMPUTER-IMPLEMENTATION-DISSEMINATION-1946-1960",
      "title": "IAS计算机的工程实现与公开复制体系",
      "year": "1946–1960",
      "summary": "与比格洛等工程人员将逻辑设计实现为IAS计算机，并通过报告和人员交流传播工程经验。",
      "mReason": "相对ACE设计报告M5，本点增加了可运行通用研究设备和公开工程复制，故取5.2；但存储程序原理已经由N09A领取，不能按完整计算架构或所有应用升至M6。",
      "aReason": "John负责项目倡议、逻辑方向及组织；Bigelow负责核心工程落地；Goldstine与Burks的组织/逻辑输入另列；其他工程、编程、维护团队合组。比例为粗粒度研究估值，不是人员工作量测量。机构只领提供项目条件的作用，不复制个人工程劳动。",
      "sources": [
        {
          "label": "研究原文与档案：IAS计算机的工程实现与公开复制体系",
          "url": "https://www.ias.edu/electronic-computer-project"
        },
        {
          "label": "研究原文与档案：IAS计算机的工程实现与公开复制体系",
          "url": "https://www.computerhistory.org/timeline/1952/"
        }
      ],
      "missing": "项目资金、运行成本、各成员具体份额及全部用途的净后果尚未审结；战争及核武器相关用途有记录，不能把计算任务完成自动解释为净正向文明后果；Bigelow核心工程角色已有直接支持；其余工程、编程和维护者仍须保留团队池。；军方资金及战争、核武器用途属于未知净后果，不能从合同或任务完成推成文明安全正收益。",
      "status": "缺证暂估",
      "overlapNote": "只取把已存在的存储程序逻辑落实为可运行IAS机器、形成工程报告和跨机构复制的残余实现增量。N09B逻辑报告与N09C编程报告并入这一交付链，不另立M；N09A独占存储程序逻辑本体。N10B天气和N10C抽样方法也不由机器实现点领取。",
      "M": "5.2",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.20"
        },
        {
          "actor": "朱利安·比格洛",
          "actorId": "EXT-NAME:JULIAN-H-BIGELOW",
          "type": "PERSON",
          "share": "0.20"
        },
        {
          "actor": "赫尔曼·戈尔德斯坦",
          "actorId": "EXT-NAME:HERMAN-GOLDSTINE",
          "type": "PERSON",
          "share": "0.10"
        },
        {
          "actor": "阿瑟·伯克斯",
          "actorId": "EXT-NAME:ARTHUR-W-BURKS",
          "type": "PERSON",
          "share": "0.05"
        },
        {
          "actor": "IAS工程、编程与维护团队",
          "actorId": "N09D::ENGINEERING-PROGRAMMING-MAINTENANCE-TEAM",
          "type": "TEAM",
          "share": "0.25"
        },
        {
          "actor": "高等研究院电子计算机项目支持",
          "actorId": "INSTITUTION:IAS-ECP-SUPPORT",
          "type": "INSTITUTION",
          "share": "0.10"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N09D::WILLIAMS-MEMORY-AND-HARDWARE-PREDECESSORS",
          "type": "PREDECESSOR",
          "share": "0.05"
        },
        {
          "actor": "未分配",
          "actorId": "N09D::UNALLOCATED",
          "type": "UNALLOCATED",
          "share": "0.05"
        }
      ],
      "share": "0.20",
      "exactLight": "79.42143411069945015405046101755040869753540745947608937305682961204497077389160781480366232147547206",
      "light": "79.421434",
      "standaloneScore": "3.81",
      "lightSharePercent": "1.7263"
    },
    {
      "id": "OUT-SL0018-1950-BAROTROPIC-NUMERICAL-WEATHER",
      "title": "正压涡度数值预报的方法与四次实测资料试算",
      "year": "1950",
      "summary": "与查尼、菲约托夫将简化天气模型与实际资料结合，完成四次有条件的数值预报试算。",
      "mReason": "与ACE M5同为模型、计算和实际试算闭合的有界方法系统；没有证据支持把后世全部天气预报收益收入而升至通用系统M5.8。",
      "aReason": "共同作者在没有细粒度分工证据时对称暂估各25%，不是署名测得份额。正文另明确编码教学/校验、资料准备及运行等实际任务，合组15%而不按致谢人头拆分；前史5%和未知5%均为可修订估计。",
      "sources": [
        {
          "label": "研究原文与档案：正压涡度数值预报的方法与四次实测资料试算",
          "url": "https://maths.ucd.ie/~plynch/eniac/CFvN-1950.pdf"
        }
      ],
      "missing": "三名作者内部工作量和技术贡献比例未据同期分工确认；未逐页复核所有实验图及稳定性推导；未用本次试算证明长期业务预报的收益规模；三名作者无细粒度同期分工，25/25/25是对称暂估。",
      "status": "缺证暂估",
      "overlapNote": "只取1950正压涡度模型、边界稳定处理和四次500mb实测资料24小时试算的闭环；四次试算不拆成四份，不计ENIAC硬件或后世业务预报系统。",
      "M": "5.0",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.25"
        },
        {
          "actor": "朱尔·查尼",
          "actorId": "EXT-NAME:JULE-G-CHARNEY",
          "type": "PERSON",
          "share": "0.25"
        },
        {
          "actor": "拉格纳·菲约托夫",
          "actorId": "EXT-NAME:RAGNAR-FJORTOFT",
          "type": "PERSON",
          "share": "0.25"
        },
        {
          "actor": "编码、数据准备与运行团队",
          "actorId": "N10B::CODING-DATA-RUN-TEAM",
          "type": "TEAM",
          "share": "0.15"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N10B::PRIOR-NUMERICAL-WEATHER-METHODS",
          "type": "PREDECESSOR",
          "share": "0.05"
        },
        {
          "actor": "未分配",
          "actorId": "N10B::UNALLOCATED",
          "type": "UNALLOCATED",
          "share": "0.05"
        }
      ],
      "share": "0.25",
      "exactLight": "78.80694150420948329997233861081796334298887848313042067143762131981486096598095553360620270948250738",
      "light": "78.806942",
      "standaloneScore": "3.80",
      "lightSharePercent": "1.7130"
    },
    {
      "id": "OUT-SL0018-1947-MATRIX-NUMERICAL-ERROR-METHOD",
      "title": "高阶矩阵求逆的舍入误差分析",
      "year": "1947–1951",
      "summary": "与戈尔德斯坦研究矩阵数值计算中的舍入误差和条件限制。",
      "mReason": "与已采用Turing 1948条件误差方法M4.5同档；范围比ACE M5计算架构窄。Turing行应只计其独立推广，不能再完整领取已由本点计入的正定结论。",
      "aReason": "同署名共同分析暂对称各40%，保留既有方法和未知池；数字为规范判断。",
      "sources": [
        {
          "label": "研究原文与档案：高阶矩阵求逆的舍入误差分析",
          "url": "https://paperity.org/p/95087842/rounding-off-errors-in-matrix-processes"
        },
        {
          "label": "研究原文与档案：高阶矩阵求逆的舍入误差分析",
          "url": "https://epubs.siam.org/doi/10.1137/1013095"
        },
        {
          "label": "研究原文与档案：高阶矩阵求逆的舍入误差分析",
          "url": "https://www.ias.edu/library/ecp"
        }
      ],
      "missing": "原1947/1951全文未核，系列内部定理暂不拆；图灵旧合组7%不可整体转给John；1947/1951原文未通读；现有依据含Turing原文引言、Wilkinson摘要与IAS署名目录。",
      "status": "缺证暂估",
      "overlapNote": "1947/1951系列合并为有限精度矩阵求逆误差分析；不领取Gauss消元、Turing 1948独立推广、完整逆向误差理论或所有科学计算。",
      "M": "4.5",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "赫尔曼·戈尔德斯坦",
          "actorId": "EXT-NAME:HERMAN-GOLDSTINE",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "前驱知识池",
          "actorId": "N10A::PRIOR-MATRIX-METHODS",
          "type": "PREDECESSOR",
          "share": "0.15"
        },
        {
          "actor": "未分配",
          "actorId": "N10A::UNALLOCATED",
          "type": "UNALLOCATED",
          "share": "0.05"
        }
      ],
      "share": "0.40",
      "exactLight": "70.73117640155691204901684780770739378943162105609021432047322891105207526157975219601201597114808620",
      "light": "70.731176",
      "standaloneScore": "3.71",
      "lightSharePercent": "1.5374"
    },
    {
      "id": "OUT-SL0006-1946-ACE-REPORT-ARCHITECTURE",
      "title": "ACE 报告的计算机体系结构",
      "year": "1946",
      "mReason": "一份具体的存储程序机器设计把运算、存储和控制组织为可实现的架构能力；不把实际建造、其他机器路线或现代计算产业一并计入。",
      "sources": [
        {
          "label": "Alan Turing Institute: ACE report",
          "url": "https://www.turing.org.uk/scrapbook/ace.html"
        }
      ],
      "aReason": "图灵完成 ACE 的架构设计；von Neumann 的既有存储程序工作与未分配工程输入保留，未由报告作者身份消除。",
      "M": "5.0",
      "status": "已纳入研究估分",
      "budget": [
        {
          "actor": "艾伦·图灵",
          "actorId": "SL-0006",
          "type": "PERSON",
          "share": "0.82"
        },
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.13"
        },
        {
          "actor": "未分配",
          "actorId": "TUR-NET-ACE1946-DESIGN::UNALLOCATED::2",
          "type": "UNALLOCATED",
          "share": "0.05"
        }
      ],
      "share": "0.13",
      "exactLight": "40.97960958218893131598561607762534093835421681122781874914756308630372770231009687747522540893090384",
      "light": "40.979610",
      "standaloneScore": "3.25",
      "lightSharePercent": "0.8907"
    },
    {
      "id": "OUT-SL0100-1950-TWO-PERSON-BARGAINING-SOLUTION",
      "title": "双人合作谈判的公理解与效用边界",
      "year": "1950",
      "summary": "用可比较的可行效用集合和若干公理约束刻画谈判解，使公平/效率主张成为显式可争论的模型。",
      "mReason": "1950原文明确双人合作互利范围并致谢von Neumann、Morgenstern审读；学术导言指出无关替代独立性长期有争议。按独立公理方法和持续分析用途取M6.0。",
      "aReason": "Nash .47；von Neumann .04；Morgenstern .04；前史 .25；机构 .05；未解析 .15。",
      "sources": [
        {
          "label": "原作与学术资料：www.haverford.edu",
          "url": "https://www.haverford.edu/sites/default/files/Nash1950.pdf"
        },
        {
          "label": "原作与学术资料：www.jstor.org",
          "url": "https://www.jstor.org/stable/1907266"
        },
        {
          "label": "原作与学术资料：www.jstor.org",
          "url": "https://www.jstor.org/stable/j.ctt1c3gwz0"
        }
      ],
      "missing": "各公理的直接思想前史与审读建议内容未闭合。；经验适用性及权力不对称边界未系统评价。",
      "status": "缺证暂估",
      "overlapNote": "1950《The Bargaining Problem》对两人可合作互利情形的公理模型与唯一解刻画；不把工会、垄断、外交或现实政策结果计作已交付，也不与非合作均衡合并。",
      "M": "6.0",
      "budget": [
        {
          "actor": "约翰·纳什",
          "actorId": "SL-0100",
          "type": "PERSON",
          "share": "0.47"
        },
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.04"
        },
        {
          "actor": "奥斯卡·摩根斯特恩",
          "actorId": "EXT-NAME:OSKAR-MORGENSTERN",
          "type": "PERSON",
          "share": "0.04"
        },
        {
          "actor": "效用合作博弈与谈判前驱",
          "actorId": "JOHN-NASH::UTILITY-COOPERATIVE-GAME-AND-BARGAINING-PREDECESSORS",
          "type": "PREDECESSOR_POOL",
          "share": "0.25"
        },
        {
          "actor": "《计量经济学》与普林斯顿机构",
          "actorId": "JOHN-NASH::ECONOMETRICA-AND-PRINCETON-INSTITUTIONS",
          "type": "INSTITUTION",
          "share": "0.05"
        },
        {
          "actor": "未分配的纳什谈判贡献",
          "actorId": "JOHN-NASH::UNRESOLVED-NASH-BARGAINING-ATTRIBUTION",
          "type": "UNALLOCATED",
          "share": "0.15"
        }
      ],
      "share": "0.04",
      "exactLight": "39.96",
      "light": "39.960000",
      "standaloneScore": "3.22",
      "lightSharePercent": "0.8686"
    },
    {
      "id": "OUT-SL0017-1956-RELIABLE-RELAY-NETWORK-CONSTRUCTION",
      "title": "Moore–Shannon可靠继电器网络构造及界",
      "year": "1956",
      "summary": "",
      "M": "3.7",
      "budget": [
        {
          "actor": "克劳德·香农",
          "actorId": "SL-0017",
          "type": "PERSON",
          "share": ".37"
        },
        {
          "actor": "Person Edward F Moore",
          "actorId": "PERSON-EDWARD-F-MOORE",
          "type": "PERSON",
          "share": ".37"
        },
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PREDECESSOR",
          "share": ".16"
        },
        {
          "actor": "Mcculloch Pitts Synchronous Model",
          "actorId": "RELIABLE56::MCCULLOCH_PITTS_SYNCHRONOUS_MODEL",
          "type": "PREDECESSOR",
          "share": ".03"
        },
        {
          "actor": "未分配",
          "actorId": "RELIABLE56::UNALLOCATED_INPUTS_TRANSMISSION",
          "type": "UNALLOCATED",
          "share": ".07"
        }
      ],
      "mReason": "具体可靠性构造及规模界超过单一技巧、问题类别明确，但不足以证明更宽国际方法平台；中心M=3.7。",
      "aReason": "Moore 与 Shannon 各37%，von Neumann 问题前史16%、McCulloch/Pitts模型池3%、未知7%；个人各段证明分工未知，份额是规范判断。",
      "overlapNote": "",
      "status": "已纳入研究估分",
      "missing": "沿用既有来源和有限主要族评估；未穷尽持续使用、独立替代路径和前驱贡献证据。本次修订并未重新全文核读所有原作。",
      "sources": [
        {
          "label": "《香农论文集》印刷第 796 页起",
          "url": "https://www.jonglage.net/theorie/notation/siteswap-avancee/refs/books/Claude%20Shannon%20-%20Collected%20Papers.pdf",
          "note": "作品定位：with Edward F. Moore) Reliable circuits using less reliable relays I。书目只用于定位，具体采信范围与量级/归功判断见本项说明；同篇可含多个不同结果。"
        },
        {
          "label": "《香农论文集》印刷第 814 页起",
          "url": "https://www.jonglage.net/theorie/notation/siteswap-avancee/refs/books/Claude%20Shannon%20-%20Collected%20Papers.pdf",
          "note": "作品定位：with Edward F. Moore) Reliable circuits using less reliable relays II。书目只用于定位，具体采信范围与量级/归功判断见本项说明；同篇可含多个不同结果。"
        }
      ],
      "share": "0.16",
      "exactLight": "11.16713255014620657283543907502900334967092744882077890123454775400266703185913468611284617967228212",
      "light": "11.167133",
      "standaloneScore": "2.17",
      "lightSharePercent": "0.2427"
    },
    {
      "id": "OUT-SL0006-1938-CONNECTED-LIE-FINITE-APPROXIMATION",
      "title": "连通 Lie 群的有限近似证明",
      "year": "1937–1938",
      "mReason": "连通 Lie 群范围内的有限近似结论是可复用的专业群论方法；原命题不能无条件扩至非连通群，因而不作更广的学科基础主张。",
      "sources": [
        {
          "label": "图灵档案：Finite approximations to Lie groups（AMT-B-13）",
          "url": "https://turingarchive.kings.cam.ac.uk/publications-lectures-and-talks-amtb/amt-b-13"
        }
      ],
      "aReason": "图灵完成受连通条件限制的证明；Jordan 与 von Neumann 的前驱工具及出版支持保留，有限群反例不被忽略。",
      "M": "3.8",
      "status": "已纳入研究估分",
      "budget": [
        {
          "actor": "艾伦·图灵",
          "actorId": "SL-0006",
          "type": "PERSON",
          "share": "0.7"
        },
        {
          "actor": "卡米耶·若尔当",
          "actorId": "EXT-LITERAL:Camille Jordan",
          "type": "PERSON",
          "share": "0.12"
        },
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.1"
        },
        {
          "actor": "LIE PUBLICATION SUPPORT",
          "actorId": "LIE_PUBLICATION_SUPPORT",
          "type": "TEAM",
          "share": "0.03"
        },
        {
          "actor": "未分配",
          "actorId": "LIE_UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.05"
        }
      ],
      "share": "0.1",
      "exactLight": "7.843282347242815020659182828363879325889606317554843320923239293169556971914875374970952518471902781",
      "light": "7.843282",
      "standaloneScore": "1.89",
      "lightSharePercent": "0.1705"
    },
    {
      "id": "OUT-SL0006-1935-LEFT-RIGHT-ALMOST-PERIODICITY-EQUIVALENCE",
      "title": "左右概周期性的等价证明",
      "year": "1935",
      "mReason": "一个有限而可复核的等价证明提供专业数学知识，却没有显示跨领域平台或广泛应用，故限于专业方法量级。",
      "sources": [
        {
          "label": "Turing Archive",
          "url": "https://turingarchive.kings.cam.ac.uk/"
        }
      ],
      "aReason": "图灵给出两种概周期性定义的等价证明；Bohr 的概周期理论仍保留为前提，未把定义传统转写为图灵独创。",
      "M": "3.2",
      "status": "已纳入研究估分",
      "budget": [
        {
          "actor": "艾伦·图灵",
          "actorId": "SL-0006",
          "type": "PERSON",
          "share": "0.9"
        },
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.08"
        },
        {
          "actor": "未分配",
          "actorId": "AP1935::UNALLOCATED",
          "type": "UNALLOCATED",
          "share": "0.02"
        }
      ],
      "share": "0.08",
      "exactLight": "3.104857364427978006162018440702016347901416298379043574922273184481798830955664312592146492859018882",
      "light": "3.104857",
      "standaloneScore": "1.23",
      "lightSharePercent": "0.0675"
    },
    {
      "id": "OUT-SL0018-N13A-BOUNDED-CONTRIBUTION",
      "title": "1935–1936与Veblen合办数学研讨班",
      "year": "1935–1936",
      "summary": "与维布伦共同主持1935—1936年的数学研讨班。",
      "mReason": "只评1935—1936正在进行的一届合作研讨服务，低于长期教学培养服务；不继承参与者后来成果，课次和人数仍待补。",
      "aReason": "作者、共同研究和前驱角色依现有来源暂估，完整预算保留未识别输入；不将署名或引文次数视为贡献比例。",
      "sources": [
        {
          "label": "研究原文与档案：1935–1936与Veblen合办数学研讨班",
          "url": "https://www.ias.edu/sites/default/files/library/pdfs/bulletins/Bulletin5.pdf"
        }
      ],
      "missing": "具体课次、人数和讲义未取得，保留暂估。",
      "status": "缺证暂估",
      "overlapNote": "",
      "M": "1.0",
      "budget": [
        {
          "actor": "约翰·冯·诺伊曼",
          "actorId": "SL-0018",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "奥斯瓦尔德·维布伦",
          "actorId": "EXT-NAME:OSWALD-VEBLEN",
          "type": "PERSON",
          "share": "0.40"
        },
        {
          "actor": "普林斯顿高等研究院",
          "actorId": "INSTITUTION:IAS",
          "type": "INSTITUTION",
          "share": "0.10"
        },
        {
          "actor": "未分配",
          "actorId": "N13A::UNRESOLVED",
          "type": "UNALLOCATED",
          "share": "0.10"
        }
      ],
      "share": "0.40",
      "exactLight": "0.8649110640673517327995574177730874134878220557300867307430019411170377754556952885376992433517201180",
      "light": "0.864911",
      "standaloneScore": "0.54",
      "lightSharePercent": "0.0188"
    }
  ],
  "exactTotalLight": "4600.632221466046894646511134465789803137196044620952038125788315301401366240868291353053080239424317",
  "totalLight": "4600.632221",
  "exactScore": "7.325823810772791123293491651725615168695875211782332270793402607777417432527731285558650852063482110",
  "displayScore": "7.33",
  "provisionalCount": 22,
  "provenance": {
    "releaseId": "research-200-20260914",
    "baselineLedgerSha256": "8bdd406b3e20ae22357644499e622922c670ff11010df0478c70c23b38902108",
    "c24DeltaSha256": "b0b96144d1d3397e54a61c3d706ff2da5920fe7617e3bef50407149cb97d9d62",
    "generatorSha256": "25de659e9852503508e7c27d8a31773b8da5d6310531b1e3699d18cc94319929"
  },
  "priorScopeNote": "27项已列贡献的研究估分，含22项暂估。账本覆盖有限的主要成果，尚未穷尽生涯。M与归功份额是可修订的评估判断；未覆盖经历和负面影响不按零处理。",
  "rank": 6
}