机器入库总览

机器入库 · 未经人工审阅

语义核糖体整章读取后自动入库的内容汇总，不代表任何人工审阅。发现问题时按运行整体撤销：python3 scripts/machine_library.py rollback <运行> --reason …。

已入库

书	章	陈述	依赖	入库
Nakahara · second-edition-local	Nakahara 第 3 章：同调群	70	33	2026-10-18
Schwartz · local-experiment	Schwartz 第 13 章：量子电动力学	56	26	2026-10-18
Schwartz · local-experiment	Schwartz 第 14 章：路径积分	92	38	2026-10-18

运行与模型（撤销时使用运行名）：

• semantic-ribosome-batch-20261014--trial-v17-qwen：deepseek-v4.1-flash + qwen3.8-max；章节 nakahara-3、schwartz-13、schwartz-14

临时概念

在用 134，已撤回 134；疑似重复待判定 48 对。

疑似重复

• 相对论Dirac旋量（至少四分量） ↔ 外费米子线的旋量（临时） · 同名
• 外费米子线的旋量（临时） ↔ 三维自旋旋量（二分量） · 同名
• 格林函数 ↔ 四点格林函数 $G_4$（临时） · 同名
• 费米子圈约定（临时） ↔ 旋量矩阵相乘方向规则（临时） · 同一运行内别名重叠
• 路径积分推导（临时） ↔ 路径积分 · 同名
• 路径积分推导计划（临时） ↔ 路径积分 · 同名
• 路径积分表达式（临时） ↔ 路径积分 · 同名
• 传播子 ↔ 传播子 $\Pi (x-y)$（临时） · 同名
• 路径积分 ↔ 从路径积分重现费曼规则（临时） · 同名
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ 路径积分 · 同名
• 路径积分 ↔ 路径积分中的 S 矩阵与边界条件（临时） · 同名
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ 路径积分中的 S 矩阵与边界条件（临时） · 同一运行内别名重叠
• 路径积分推导计划（临时） ↔ 路径积分中的 S 矩阵与边界条件（临时） · 同一运行内别名重叠
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ 与费曼传播子一致（差 $i\epsilon$ 因子）（临时） · 同一运行内别名重叠
• 自由真空振幅的高斯形式（临时） ↔ 自由真空与自由量子场（临时） · 同一运行内别名重叠
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ 反射正定性（临时） · 同一运行内别名重叠
• 与费曼传播子一致（差 $i\epsilon$ 因子）（临时） ↔ 费曼传播子的历史来源（临时） · 同一运行内别名重叠
• 场本征态（临时） ↔ 场算符本征态 $|\varphi ⟩$（临时） · 同一运行内别名重叠
• 真空泡从 S 矩阵连通部分中脱落（临时） ↔ 路径积分中的 S 矩阵与边界条件（临时） · 同一运行内别名重叠
• 反射正定性（临时） ↔ $i\epsilon$ 的符号与因果性（临时） · 同一运行内别名重叠
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ 真空泡从 S 矩阵连通部分中脱落（临时） · 同一运行内别名重叠
• $i\epsilon$ 的符号与因果性（临时） ↔ 与费曼传播子一致（差 $i\epsilon$ 因子）（临时） · 同一运行内别名重叠
• 路径积分推导（临时） ↔ 从路径积分重现费曼规则（临时） · 同一运行内别名重叠
• 规范不变性与 $\xi$ 无关性（临时） ↔ 协变规范参数无关性（临时） · 同一运行内别名重叠
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ $i\epsilon$ 的符号与因果性（临时） · 同一运行内别名重叠
• 路径积分推导（临时） ↔ 路径积分表达式（临时） · 同一运行内别名重叠
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ 路径积分推导计划（临时） · 同一运行内别名重叠
• 反射正定性（临时） ↔ 与费曼传播子一致（差 $i\epsilon$ 因子）（临时） · 同一运行内别名重叠
• 路径积分表达式（临时） ↔ 路径积分推导计划（临时） · 同一运行内别名重叠
• 路径积分推导（临时） ↔ 路径积分中的 S 矩阵与边界条件（临时） · 同一运行内别名重叠
• 薛定谔绘景 ↔ 场算符本征态 $|\varphi ⟩$（临时） · 同一运行内别名重叠
• 路径积分表达式（临时） ↔ 路径积分中的 S 矩阵与边界条件（临时） · 同一运行内别名重叠
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ 从路径积分重现费曼规则（临时） · 同一运行内别名重叠
• 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） ↔ 路径积分表达式（临时） · 同一运行内别名重叠
• 路径积分中的 S 矩阵与边界条件（临时） ↔ 从路径积分重现费曼规则（临时） · 同一运行内别名重叠
• 通过施温格-戴森微分方程定义生成泛函（临时） ↔ 生成泛函（临时） · 同一运行内别名重叠
• 路径积分表达式（临时） ↔ 从路径积分重现费曼规则（临时） · 同一运行内别名重叠
• 路径积分推导（临时） ↔ 路径积分中的 $i\epsilon$ 与时间排序边界条件（临时） · 同一运行内别名重叠
• 路径积分推导计划（临时） ↔ 从路径积分重现费曼规则（临时） · 同一运行内别名重叠
• 路径积分推导（临时） ↔ 路径积分推导计划（临时） · 同一运行内别名重叠
• 循环群（临时） ↔ 循环群 · 同名
• 面（临时） ↔ 面 · 同名
• 边界（临时） ↔ 边界 · 同名
• 同胚 ↔ 欧拉示性数的拓扑不变性（临时） · 同名
• 莫比乌斯带的一维同调群（临时） ↔ 射影平面的一维同调群（临时） · 同一运行内别名重叠
• 莫比乌斯带的三角剖分（临时） ↔ 四面体表面的三角剖分（临时） · 同一运行内别名重叠
• 欧拉示性数的拓扑不变性（临时） ↔ 欧拉示性数 · 同一运行内别名重叠
• 边界群（临时） ↔ 贝蒂数 · 同一运行内别名重叠

撤销记录

运行	时间	原因	移除陈述
semantic-ribosome-batch-20261014--trial-v17-qwen	2026-10-18	重新打包：候选译文改为按整句截取并保留公式；此前的入库尚未发布	218