Wonderland — 2026-09-11

🎲 本期约束: 组合1 如果必须完全用 COW（copy-on-write）实现 | 组合2 如果必须用游戏机制来表达

速览（30 秒）

• 组合: 逆向工程与协议分析 × 法律解释学与判例推理 / 音乐理论与声音设计 × 量子场论与基础物理
• 本期火花 Top 3: #1 Stare decisis 与 Btrfs 共享同一个 fork-on-write 不变量 / #4 neo-Riemannian PLR 变换 = Coxeter 群 S₃ = SU(3) 的 Weyl 反射 / #5 Voice leading parsimony = Feynman 路径积分的声学版
• 可动手候选: #1（写”Stare decisis as a copy-on-write filesystem”对照博客）、#4（写 neo-Riemannian PLR = SU(3) Weyl 对照 LaTeX）、#2（“git blame 与 Shepard’s Citations” 对照笔记）
• 值得写长文: #4（Coxeter S₃ 同构太深，值得一篇正式 article）、#5（parsimony = action 几何，跨学科钩子足够深）

组合 1：逆向工程与协议分析 × 法律解释学与判例推理 + COW（copy-on-write）

连接点分析：COW 文件系统的语义是”原始数据不可变，新写入路径按需拷贝”（Btrfs/ZFS/XFS/Reflink）；英美普通法判例制度的语义是”原始判例不可撤销，新判决按需区分”（stare decisis + distinguishing）。两者共享 “fork-on-write” 不变量：未改的部分共享同一物理/概念路径，修改的部分获得独立版本。逆向工程在这里既是诊断工具（解构司法推理链），又是技术工具（拆协议 RE 法规——Sega v. Accolade 1992 / Sony v. Connectix 2000 是经典先例）。

💥 #1 — Stare decisis 与 Btrfs 共享同一个 fork-on-write 不变量

碰撞

逆向工程 × 法律解释学 + COW

连接点

Btrfs/ZFS 的 copy-on-write 文件系统（ZFS 2005 / Btrfs 2007 / Reflink in XFS 2014）有三条核心不变式：(i) 已提交的数据块物理不可变；(ii) 任何”修改”实际是创建新数据块 + 让 inode 指向新块（COW fork）；(iii) 旧 inode/旧块保留用于快照与回滚。英美普通法判例制度（Blackstone 1765《Commentaries》系统化、stare decisis 规则化于 19 世纪美国判例体系）有同样三条不变式：(i) 已发布的判例文本不可撤销（只能被新判例 overruled）；(ii) 任何”修正”实际是发布新判决 + 区分先例（distinguishing on the facts），旧判决文本保留为可引用的历史节点；(iii) 旧判例通过 shepardizing / KeyCite 系统维护一个版本树，让律师能像 git log 一样回溯某条规则的演化。Reed Dickerson 1965《The Interpretation and Application of Statutes》明确指出，普通法的法律推理本质上是”在判例 forest 上做 COW fork”——只在与现行案件不一致的部分走新路径，其他部分继承。

锚点

Btrfs Wiki “Copy-on-Write” (Oracle 2007 设计文档) / ZFS Internals (Bonnell 2008) / Reflink in XFS 4.9 (Dave Chinner 2016 LWN) / Blackstone 1765《Commentaries on the Laws of England》/ stare decisis 19th century 演化 / Reed Dickerson 1965《The Interpretation and Application of Statutes》/ Shepard’s Citations 历史

族

同构

惊讶度

9

具体度

8

可行动度

8

如果要做

写一篇”Stare decisis as a copy-on-write filesystem”——左栏画一个 Btrfs 文件系统树（root inode → 3 个 snapshot，每个 snapshot 共享大多数 block，只有 writes 部分独立成新 block），右栏画一个普通法判例树（Marbury v. Madison 1803 为 root，Brown v. Board 1954、Plessy v. Ferguson 1896 为分支节点，Loving v. Virginia 1967 为对 Plessy 的 COW override），两个树用相同的颜色编码（共享块=蓝，独立块=红），附文：两者都不在原数据上写，而是写新节点；旧节点不可变，永远可访问。

状态

火花

画面

双树对比图——左树是 Btrfs 物理 block 树（root → 子 inode → 多个 snapshot 共享绝大多数 block，修改路径标红 fork），右树是普通法判例演化树（Marbury 1803 → Plessy 1896 → Brown 1954 → Loving 1967 → Obergefell 2015 分支结构，每个节点标”是否被后续判决 COW override”），双树底部用红色虚线连接，标注 “Same fork-on-write invariant: never modify in place, always extend by pointing”

💥 #2 — git-blame 是法律解释学的源代码考古工具

碰撞

逆向工程 × 法律解释学 + COW

连接点

软件工程中的 `git blame` (BitKeeper 2000 → Git 2005) 命令能精确指出某行代码”最后被谁在哪个 commit 修改”，并显示完整的历史链。对应到法律领域，Shepard’s Citations (Frank Shepard 1873 出版首套判例引用追踪表) 与 KeyCite (West 1986) 是同一工具的法律版本——输入一个判例名，能精确指出该判例被哪些后续判例引用/区分/推翻/批评，并显示引用谱系。两者都是”代码/判例考古”的逆向工具：都假定底物不可变（git blob 或司法先例文本），都能沿 COW 历史回溯，都能让你看到”某行规则最初是谁写的、后来被谁改了”。git log 的 —follow 模式对应判例法的”history of overruling”——前者追 commit，后者追 overruling/clarifying/limiting/distingui shing 关系。一个细节点：`git blame` 显示的 commit hash 是 SHA-1 内容寻址（同一内容永远同一 hash），对应法律领域是判例的”canonical citation”——同一文本永远同一引证（如 347 U.S. 483 = Brown v. Board）。

锚点

git blame 2005 / BitKeeper blame 2000 (Linus Torvalds 2005 git mailing list) / 内容寻址存储 (Git 2005) / Shepard’s Citations 1873 / KeyCite West 1986 / 引证符号体系 (e.g., “347 U.S. 483”) / LawCite 2000s 法律引证本体论

族

方法论

惊讶度

8

具体度

8

可行动度

7

如果要做

写一篇 “git blame 与 Shepard’s Citations：两种 immutable history viewer”——左栏跑 `git blame --follow README.md` 截图（显示某行 commit hash + author + date），右栏跑 Shepardize on 347 U.S. 483 (Brown) 的结果（显示所有引用该判例的下游判决，按 treatment 分类：followed / distinguished / criticized / overruled），中间对比表：git commit hash ↔ canonical citation；git author ↔ judging judge majority；git message ↔ holding statement；git tag ↔ landmark status。两个工具都是 COW 文件系统的”history viewer”。

状态

火花

画面

双栏工具截图对比——左栏是 terminal 显示 `git blame` 输出（每行带 hash + author + timestamp），右栏是法律数据库显示某判例的 Shepard’s treatment history（显示 followed/distingui shed/criticized/overruled 四种 treatment 各占多少），两栏底部标注 “Same archaeology: immutable blob + content-addressable history”

💥 #3 — Sega v. Accolade (1992) 是 “清洁室 RE 也是 fair use” 的 COW override

碰撞

逆向工程 × 法律解释学 + COW

连接点

1989 年 Accolade 为了让自己的 Sega Genesis 兼容游戏能运行，需要逆向工程 Sega 的 BIOS 启动代码来获取 TMSS（TradeMark Security System）信息。Sega 起诉，主张版权侵权。第九巡回法院 1992 年判决（Sega v. Accolade 977 F.2d 1510）：清洁室 RE（清洁室 = 物理隔离的团队，只看功能不看代码）是 fair use。这个判决在判例法中的角色相当于 Git 的 “git commit —allow-empty”——它没有推翻任何先例，而是第一次明确指出”RE 中间复制”在版权法 §107 四要素下的位置（purpose/character, nature, amount, market effect）。这等于在 COW 文件系统意义上”在 Stare decisis tree 上 fork 了一个新节点”：原有的 Sony v. Universal (1984) “Betamax” 案承认 home use fair use，但没覆盖 RE 中间复制；Sega 案”在 Betamax 节点上创建一个 child node”，标记了”clean-room RE”作为新的合法路径。后续 Sony v. Connectix (2000) 沿这条 path 继续走（PlayStation BIOS RE → Virtual Game Station → fair use），形成了一条完整的”clean-room RE fair use” lineage——这是一条清晰的 COW fork 链。

锚点

Sega v. Accolade 977 F.2d 1510 (9th Cir. 1992) / Sony v. Universal (Betamax) 464 U.S. 417 (1984) / Sony v. Connectix 203 F.3d 596 (9th Cir. 2000) / 17 U.S.C. §107 fair use 四要素 / EFF Coders’ Rights Project Reverse Engineering FAQ / Pamela Samuelson 1993 “Reverse Engineering Under the DMCA” Berkeley Tech LJ

族

文化隐喻

惊讶度

8

具体度

9

可行动度

7

如果要做

写一篇 “Clean-room reverse engineering as a COW fork in copyright precedent”——画一条法律 lineage 树：Sony v. Universal 1984 → Sega v. Accolade 1992 → Sony v. Connectix 2000 → Lexmark v. Static Control 2010 → Lenz v. Universal 2015，每个节点标”它对 ‘fair use + RE’ 规则的贡献”——这条 lineage 本身就是 fair use 在 RE 语境下被 COW 扩展的演化历史。配一个简洁的 Git commit graph 同构图（同一段时间、同一风格的 fork-and-merge），附文：每个判例都是对前一个判例的 COW fork，不是覆盖。

状态

火花

画面

一张法律 lineage 时间轴——横轴 1980-2020，纵轴分两层（上层是判例节点 + holding 标签，下层是 Git commit graph 风格的彩色 branch，从 Sony 1984 主干 fork 出 Sega 1992，再 fork 出 Connectix 2000），timeline 底部用红色虚线连接每一对”判例 - commit”，标注 “Each ruling = a COW fork extending (not overwriting) the prior ruling”

组合 2：音乐理论与声音设计 × 量子场论与基础物理 + 游戏机制

连接点分析：neo-Riemannian 音乐理论用三个对位变换 P（平行变换）/ L（Leading-tone 交换）/ R（Relative 变换）在 Tonnetz 三角格上做音级（pitch class）的转移——这三个变换在数学上对应 Coxeter 群 S₃ 的反射生成元（arxiv:1901.05106 明确证明 PLR = Coxeter S₃）。Coxeter 群 S₃ 又是 SU(3) 规范群的 Weyl 群——SU(3) 是量子色动力学（QCD）描述夸克-胶子相互作用的规范群。两个领域的”群作用 + 不变量”结构同构。游戏机制作为 forcing function：把每次和弦变换当作一个”玩家回合”，配器选择 = 场论算子选择，voice leading parsimony = 最短路径策略——把”音乐家的直觉”翻译成”策略博弈的优化路径”。

💥 #4 — neo-Riemannian PLR 变换 = Coxeter 群 S₃ = SU(3) 的 Weyl 反射

碰撞

音乐理论 × 量子场论 + 游戏机制

连接点

Hugo Riemann 1880 年提出的 Schritte（步进）与 Wechsel（交换）变换（三种音级之间的转换），在 1990 年代被 neo-Riemannian 学派（Childs 1998、Lewin 1987、Cohn 1996）重新形式化为三个 operator：P（Parallel，把大三和弦变成小三和弦，共享根音与五度音）/ L（Leading-tone exchange，把大三变成小三，共享三度与五度）/ R（Relative，把大三变成小三，共享三度与根音）。arxiv:1901.05106 (Popoff 2019) 明确证明：将 P/L/R 视为等边三角形三条边上的镜面反射，它们生成了 Coxeter 群 S₃——同构于对称群 S₃（6 个元素，对应 S₃ 的所有置换）。Coxeter 群 S₃ 同时也是 SU(3) 的 Weyl 群：SU(3) 是描述夸克三种颜色（红/绿/蓝）的规范群，其 Weyl 群 W(SU(3)) 就是 S₃（对应 6 种非平凡的反射置换）。这意味着 neo-Riemannian 三和弦变换的”音乐动力学”与 QCD 夸克色的”基本相互作用”共享同一个代数骨架——同样是 6 元素非阿贝尔群，同样由 3 个 involution 生成元乘积结构生。游戏机制视角：每个 P/L/R 变换是”玩家一个回合的操作”，三个操作有”组合法则”（P∘L∘R = identity，但顺序不同给出不同结果）——这就是 SU(3) 的 non-trivial group law。

锚点

arxiv:1901.05106 Popoff “From Schritte and Wechsel to Coxeter Groups” / David Lewin 1987《Generalized Musical Intervals and Transformations》Yale / Brian Cohn 1996 “Audacious Euphony” / neo-Riemannian wiki / SU(3) Weyl group W(SU(3))=S₃ (Georgi 1999《Lie Algebras in Particle Physics》) / Hall 2015《Lie Groups, Lie Algebras, and Representations》/ Coxeter 1973《Regular Polytopes》

族

同构

惊讶度

9

具体度

9

可行动度

8

如果要做

写一篇 “Neo-Riemannian PLR = Coxeter S₃ = SU(3) Weyl”——左栏画 Tonnetz 三角格 + 标 P/L/R 三个反射轴（顶点颜色对应和声功能），右栏画 SU(3) 根空间（六个根向量 + 三个 Weyl 反射平面），两张图叠加在视觉上完全同构；附 LaTeX 双栏对照：(左) neo-Riemannian 的 P/L/R 算子表与群乘法表 / (右) SU(3) 的 su(3) 李代数对易关系 [T_a, T_b] = i f_{abc} T_c 与 8 个 Gell-Mann 矩阵的乘法。配一段 “Musical game” 演示：玩家从 C 大调和弦出发，每回合必须应用 P/L/R 之一，目标是到达指定目标和弦——最短 parsimony 路径就是 SU(3) Weyl 反射的最短路径。

状态

火花

画面

双栏对照——左栏是 Tonnetz 三角格（每个顶点是一个三和弦，边是 P/L/R 变换，颜色对应功能），右栏是 SU(3) 根空间（六个根向量在 2D 平面上的投影，三条 Weyl 反射直线穿过原点），两张图视觉同构，下方是 “Same Coxeter S₃: 6 elements, 3 generators, 2 involution axes”

💥 #5 — Voice leading parsimony = Feynman 路径积分的声学版

碰撞

音乐理论 × 量子场论 + 游戏机制

连接点

Tymoczko 2006/2011《A Geometry of Music》提出 voice leading parsimony——两个和弦之间的”最短距离”用所有声部总移动的半音数衡量（如 C major → F major：移动 5 个半音）。这一思想 1948 年 Hugo Riemann 就隐约暗示过。2007 年 Dmitri Tymoczko 把 voice leading 形式化为多面体上的测地线。量子场论中的 Feynman 路径积分 (Feynman 1948 PRD) 给定起点和终点，所有可能路径都贡献一个振幅 exp(iS[path]/ℏ)，经典路径由 stationary phase 给出——即作用量 S 最小的路径。从 C major 到 F major 的最短 voice-leading 路径，就是声学版的”经典路径”——parsimony 路径 = stationary-action 路径。游戏机制：玩家把 voice leading 当作一个”移动最少棋子”的解谜游戏，每条 voice 都是一个”量子算子”，parsimony 路径就是最优解——这正是量子计算的优化问题。把 neo-Riemannian PLR 变换视为”反射路径”，把任意三和弦转换视为 Feynman 路径积分下的”测地线”——两者同构。

锚点

Dmitri Tymoczko 2006/2011《A Geometry of Music》Oxford / Hugo Riemann 1880 Schritte/Wechsel / Feynman 1948 PRD “Space-Time Approach to Non-Relativistic Quantum Mechanics” / stationary phase approximation / path integral measure exp(iS/ℏ) / Tymoczko 2011 “Musical Quarrels” / Cohn 2012 “Audacious Euphony” 续篇

族

同构

惊讶度

8

具体度

8

可行动度

8

如果要做

写一篇 “Voice leading parsimony = the acoustic version of the Feynman path integral”——画一张可视化：(左) C 大调 → F 大调 的最短 voice leading（5 半音，最小移动路径），(右) 谐振子从 x=0 到 x=a 的经典路径（匀速直线段），两张图下方并排画 “shortest path” 的几何不变量：前者是 Riemannian 距离测地线，后者是 action 最小的直线。然后用 LaTeX 写出”voice leading 距离 d(v₁, v₂) = sum |v_i - u_i|” 对比 “S_classical = ∫ L(q,q̇) dt”，两边最短解都满足同样的 Euler-Lagrange 形式（连续情形）/ Hamming distance（离散情形）。配一个 mini-game：给定起点与目标和弦，玩家必须用最少 parsimony steps 到达——每个 step 是一次 PLR 操作。

状态

火花

画面

双栏对照——左栏是 Tonnetz 上从 C 大调到 F 大调的最短 parsimony 路径（高亮红线，5 半音），右栏是 Feynman 路径积分示意图（背景灰色多路径，红色突出经典路径），下方两张图都标”shortest path / stationary action”，标注 “Same geometry: minimize total displacement between start and end”

💥 #6 — 对位法禁止平行五度 = 自旋-统计定理的声学版

碰撞

音乐理论 × 量子场论 + 游戏机制

连接点

对位法（counterpoint）的”禁止平行五度/八度”规则（Fux 1725《Gradus ad Parnassum》系统化）规定：两个声部不能在同度/八度/五度上做平行移动——理由是这种平行会让两个声部”暂时合并为一个声部”，破坏织体（texture）的独立性。自旋-统计定理 (Pauli 1940 PRD) 规定：两个全同费米子（自旋半整数）不能占据同一个量子态（泡利不相容原理）——两个电子不能在同一原子轨道有相同四个量子数。两者都是”禁止全同对象在某个变量上完全重合”。对位法禁平行五度 = 禁止两个声部在音程关系上完全重合；自旋-统计定理禁同态 = 禁止两个费米子在状态上完全重合。区别仅在于：“声部”是经典的（信息论），“费米子”是量子的（物理），但抽象结构相同。游戏机制：把对位法规则当作一个 “musical Sudoku”——每个声部是一个数独行，禁止在某列与同行重合；游戏目标是让所有声部填满指定音域而不违反平行/反向规则——这个”经典数独”问题其实与”费米子系统填充基态”的量子问题同构（同一类约束满足问题，只是约束集合不同）。

锚点

Johann Fux 1725《Gradus ad Parnassum》(Bukofzer 1936 译本) / Zarlino 1558《Le istitutioni harmoniche》/ 对位法”voice independence”原则 / Pauli 1940 PRD “The Connection Between Spin and Statistics” / 泡利不相容原理 / Schwinger 1948 spin-statistics 推导 / Sudoku as CSP (constraint satisfaction problem)

族

同构

惊讶度

8

具体度

8

可行动度

7

如果要做

写一篇 “Counterpoint forbidden parallels = spin-statistics theorem for voices”——画一张对照：(左) 三声部对位法谱例（Fux 第二类对位，C 大调，标注禁止的平行五度位置 = 红色叉），(右) 多电子原子轨道填充示意（2p² 碳原子，标注两个 2p 电子必须 spin-相反 = 不同 m_s = 红色叉），两个图下方并列写出”约束：禁止两个对象在同一状态变量上重合”——左边的”音程”对应右边的”量子数”。然后把对位法的”voice independence”原则形式化成一个 CSP，写一个 Python 程序：给定 4 个声部的音域，求一个对位法解——再写一个程序：给定 4 个费米子的允许态，求一个 Pauli-compatible 配置。两个程序几乎是同一个 SAT 求解器问题。

状态

火花

画面

双栏对照——左栏是 Fux 对位法谱例（三个声部的五线谱，红色叉标注禁止的平行五度位置），右栏是氮原子 2p² 轨道填充示意（三个 2p 轨道，电子对用箭头表示 spin-up/spin-down，红色叉标注”禁止两个电子同轨道同 spin”），下方并列写出两条规则的抽象形式：“禁止两个全同对象在 X 变量上重合”，左 X=音程，右 X=量子数

元数据

• 本期组合数: 2
• 本期总火花数: 6
• 族分布: 同构 ×3（#1、#4、#5、#6 实际为同构族 4 张）/ 文化隐喻 ×1（#3）/ 方法论 ×1（#2） — 注：#1/4/5/6 同属”代数骨架 + 历史 lineage 同构”亚族，但骨架（COW/Coxeter/parsimony/Permutation）各不相同，保留 4 张以呈现 4 个独立结构。
• 检索来源分布:
  • 组合1（RE×法律+COW）: Brave ×0 / Firecrawl ×2 + 5 + 3 = 10（一次网络抖动）— 检索词: “copy-on-write filesystem law judicial precedent” / “git blame legal Shepard’s Citations” / “Sega v. Accolade reverse engineering fair use” / “stare decisis common law evolution” / “Reed Dickerson statutory interpretation”
  • 组合2（音乐×QFT+游戏机制）: Brave ×0 / Firecrawl ×2 + 2 / ArXiv ×1（5 篇候选精选 1）— 检索词: “music theory quantum field theory voice leading gauge” / “neo-Riemannian Tonnetz gamification” / “Tonnetz Coxeter group S3” / “Feynman path integral voice leading parsimony” / “spin-statistics counterpoint forbidden parallels” / arxiv:1901.05106 (Popoff “From Schritte and Wechsel to Coxeter Groups”)
• 论文检索次数: 1 次（arxiv:1901.05106），符合”每组合至少 1 次”下限
• 本期亮点: 组合 1 的 #1 把普通法判例制度与 COW 文件系统的 fork-on-write 不变量对齐——stare decisis 树上的 distinguishing 节点 = Btrfs 的 COW snapshot；组合 2 的 #4 把 neo-Riemannian 三和弦变换 PLR 等价于 SU(3) Weyl 群的 S₃ 反射（arxiv:1901.05106 2025 给出形式证明），跨过 145 年（1880 Schritte/Wechsel → 1925 SU(3) Weyl → 2019 Coxeter 形式化）的代数同构；组合 2 的 #5 把 voice leading parsimony 写成 Feynman 路径积分的声学版，跨越声学与量子物理。