同构惊讶 9 · 具体 8 · 可行 8

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”——只在与现行案件不一致的部分走新路径，其他部分继承。

如果要做写一篇”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），两个树用相同的颜色编码（共享块=蓝，独立块=红），附文：两者都不在原数据上写，而是写新节点；旧节点不可变，永远可访问。

方法论惊讶 8 · 具体 8 · 可行 7

软件工程中的 `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 与 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”。

文化隐喻惊讶 8 · 具体 9 · 可行 7

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 链。

如果要做写一篇 “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，不是覆盖。

同构惊讶 9 · 具体 9 · 可行 8

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。

如果要做写一篇 “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 反射的最短路径。

同构惊讶 8 · 具体 8 · 可行 8

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 路径积分下的”测地线”——两者同构。

如果要做写一篇 “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 操作。

同构惊讶 8 · 具体 8 · 可行 7

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

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