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

Git 的内核是 content-addressable storage：每次 commit 创建的 blob/tree 都是只读的，后续 commit 要”修改”一个文件时不会动旧 blob，而是创建一个新 blob 并让新 tree 指向它。英美法系判例法几百年前就在做同样的事——1873 年的 Marbury v. Madison 从未被”修改”过：1950 年、2020 年的新判决如果不同意它，要么 distinguish（分叉出一条新”blob”），要么 overrule（创建一条新 commit 显式声明”忽略那个 blob”）。COW 的”惰性共享”机制在法律里就是：相同的判词被多次引用时不需要复制其内容——所有引用者共用同一份”precedent blob”，只有引用路径（tree）变化。Jordan Bryan 在 Version Story 上写了”On Building Git for Lawyers”，但他的洞见其实是反向的：法律系统一直是 git，律师只是没用 git 工具来管理它。

如果要做用 git 实际建模一份 case law 的演化历史——把每个 landmark case 作为一个 commit，把每个引用关系作为一个 tree entry，用 `git log --follow` 看一个判例被多少后续判决 distinguish / overrule / follow

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

Statute of Frauds（1677 英国）是法律史上第一次强制”某些合同必须写成文字才有约束力”的规则——它把口头承诺的”随时可变”状态切换到了”写下即冻结”的 COW 模式。在此之前，合同的强制力来自”在场证人的记忆”，每个证人实际上是独立副本，记忆偏差就会产生分支冲突；Statute of Frauds 把合同强制力锁定到一份写下来的文本上，任何修改都必须创建新副本而不是覆盖原文本。这等价于把”分布式系统里的 CAP 定理”应用到法律：一旦你要 consistent 共识（每个法官看到同样的事实），你就必须放弃 availability（每个证人的记忆版本）。Garret Wilson 在 “Refactoring the Law: Reformulating Legal Ontologies” 中明确指出：法律本体的”类”永远不是 immutable 的，但”实例”必须 immutable——这正是 COW 的设计哲学。

如果要做写一篇”Statute of Frauds 实现了第一个 CAP 定理”短文——解释为什么强制书面化是法律系统第一次严肃处理分布式一致性问题

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

Victor Morgante 的 “Formalism for Game-Theoretic Approach to Law” 把法律博弈形式化为 CCGOL（Common-Chance Game of Life），明确指出判例推理等价于 Ehrenfeucht-Fraïssé 游戏——比较两个”模型”的结构同构。这与 git 的”diff”机制完全同构：Overruled 不是删除旧判决（git 没有删除操作），而是在新 commit 里创建一个反向 patch，明确指向”那个 blob 现在不被引用了”。cherry-pick 在法律里的对应是”选择性遵循”——lower court 可以从多条相互冲突的 precedent line 中 cherry-pick 其中一条应用到当前 case，结果是 higher court 的 verdict 实际上是从多个 divergent branch 中 merge 出的版本。“Mechanism design”（机制设计）其实就是给法律系统设计 merge strategy——什么样的合宪审查机制能让 divergent precedents 最终收敛到一致的 case law？

如果要做把美国最高法院 50 个 landmark case 的 overruling 关系画成 git graph——用 gitk 或 gitgraph.js 渲染，看分支冲突的拓扑结构，对比 phylogenetic tree of programming languages

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

平面有 17 个 wallpaper group（数学上严格分类，依赖 Bieberbach 定理），空间有 230 个 space group（晶体学上的标准分类）。两者之间有一个干净的结构同构：每个 3D space group 都可以通过”忽略 z 轴”投影到一个 2D wallpaper group——或者说，每个 wallpaper group 是无数 space group 的”投影态”。这就像数学里的”cohomology reduction”：把高维结构降维观察，降维后的结构携带了原结构的全部 essential 信息。Zwillinger 1995 在 CRC 数学手册里正式引入 orbifold notation 给 wallpaper group 编目，让数学家可以用一个”基因型符号”（如 *632）描述整组对称操作——1995 年的 Polya 1924 思想终于有了标准符号。晶体学家看 wallpaper group 就像遗传学家看基因型表：每种”基因型”对应一族可能的”表现型”（physical crystal），但只有满足晶体学限制的”基因型”才能在自然界中找到对应物质。

如果要做选一个常见晶体（比如岩盐 NaCl，Fm-3m），画出它在不同 2D 切面上的 wallpaper group 投影——看同一晶体在不同 orientation 下能产生几个不同的 2D 对称类型

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

International Tables for Crystallography Vol. A（ITC A, Hahn 1995 第 4 版）是晶体学家的”圣经”——1000+ 页手绘风格的图表，每个空间群单独一页，列出了全部对称操作的矩阵表示和 Wyckoff position。1995 年没有免费的晶体结构可视化工具（VESTA 是 2003 年的事，Mercury 是 2001 年的事），晶体学家要么靠 ITC A 的纸本 + 投影仪，要么写自己的 Fortran 程序计算衍射图样。Polya 1924 已经证明 wallpaper group 与 crystal space group 之间的同构，但中间的”投影机制”直到 1995 年 Zwillinger 的 orbifold notation 才被系统化记号化——1995 年是个奇怪的中间年份：晶体学家能查 ITC A 但用不了 CAS，数学家能用 CAS 但没有 ITC A 这种”工程化目录”，两个领域都各自在自己的”图灵完备但没有 GUI”的世界里工作。1995 vintage 约束迫使我们思考：如果今天突然退回这个环境，怎么用 ITC A 和 Mathematica 3 时代的有限工具，重新发现”分子对称 → 宏观晶体形态”这条链路？

如果要做找一张 ITC A 实际页面（拍摄一张纸本照片），用 Mathematica 3 时代的代码风格重画一遍对应的对称操作——体会 1995 年晶体学家怎么把”抽象群论”和”实物晶体”用手画的矩阵和投影图连接起来

装置/原型惊讶 8 · 具体 8 · 可行 7

Polya 1924 年在 “On the analog of crystallographic symmetry in the plane” 中已经证明 wallpaper group 的完整分类（17 个）——但他没意识到 1924 年的同时代有个荷兰艺术家 Escher 正在 Alhambra 旅行并被他看到的伊斯兰瓷砖中的对称震惊，开始把这些对称用作画作的视觉语言。Escher 在 1924 年不知道 wallpaper group 是什么，Polya 在 1924 年不知道 Escher 是谁。两个人在 1924 年做的”同一件事”——发现 17 个平面对称模式——直到 45 年后才因为 Artlandia SymmetryWorks 等现代工具的”可视化 wallpaper group”项目被人并置。1995 年是其中一个交汇点：Zwillinger 的 orbifold notation 给数学符号提供了形式语言，同年 Artlandia 团队开始用 PostScript 程序生成”带 metadata 的 Escher 图案”——Escher 的画终于有了数学注解。“silent isomorphism” 这个概念（结构同构但两边语言不通）的代价是 45 年。

如果要做用 Mathematica 3 / Maple V 时代的代码（5-10 行）生成一个”带 metadata 的 Escher 图案”——把 Polya 1924 的符号和 Escher 1924 的视觉元素在同一个画面里并置，重现 45 年后的对话

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

Jeffrey Jacobs 2012 的 Chronopoint 系统（arXiv:1207.5560, IEEE CEC 2011 Workshop on Evolutionary Music）用遗传算法进化对位旋律，发现 aesthetic fitness 评估的”主观性”反而让演化过程展现真正的 punctuated equilibrium 模式——不是平滑收敛到 fitness peak，而是在数代停滞后突然爆发到新的 music 形态（jazz fugue、baroque fugue、romantic fugue 等不同 fitness landscape）。这与 Mauch et al. 2015 (Royal Society Open Science) 在流行音乐里发现的三次”风格革命”（1964 Beatles 入场 / 1983 synth / 1991 grunge）完全对应——puntuated equilibrium 不是流行音乐的特例，而是所有”主观 fitness 评估的演化系统”的固有节律。游戏机制约束在这里揭示了一个意外事实：把对位法变成”演化游戏”既不是创新也不是堕落，而是把对位法本来就在做的”fitness-evaluated generation”显式化——巴赫写 Goldberg Variations 时已经在用脑内的 fitness function 迭代了。

如果要做跑 Chronopoint 系统（GitHub 上有开源复刻）200 代，记录每一代的”fitness variance”，画出 fitness landscape 的演化轨迹，对照 Mauch 2015 的流行音乐节律图

装置/原型惊讶 7 · 具体 8 · 可行 8

一支巴赫 fugue 的结构等价于一个 micro-evolution 模拟器：subject（主题）在第一声部进入，answer（答题）在另一声部严格重复 subject 的音高（属调），counter-subject（对题）则与 subject 共享 harmonic field 但 melodic contour 完全不同——这是”协同进化”（co-evolution）的活教材：subject 和 counter-subject 不是独立进化的，而是在 mutual selection pressure 下共同收敛到 musical fitness peak。stretto（紧接）则是 convergent evolution 的极致表现——多个声部越来越快地重复 subject 的同一片段，最终合成一个”ultra-fit” 的 musical motif，物种在资源竞争中越压越紧凑。Springer 的 “Fugue Composition with Counterpoint Melody Generation Using Genetic Algorithms” 用 GA 模拟过这个过程，发现生成的最优 fugue subject 与巴赫风格有 60% 的相似度但又是真正 novel 的。游戏机制约束：把 fugue 当作 playable model 来教学——学生扮演”演化压力源”，决定每个声部的 fitness 函数，看不同压力下 fugue 的演化方向。

如果要做做一个 web 端的”fugue evolution game”——学生设定 3-5 个 fitness 函数（harmonic compatibility, melodic contour, rhythmic variety），演化算法实时生成 4 声部 fugue，可视化每个声部的 fitness trajectory

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

1450-1600 年的 Renaissance polyphony 兴起（Josquin des Prez → Lassus → Palestrina → Victoria）不是孤立的”天才涌现”，而是一次 continental-scale 的 gene flow（基因流）事件——佛兰德乐派（Flemish school）的作曲家网络像一条河流一样向意大利、西班牙、德国扩散 melodical DNA（cantus firmus 的使用方式、对位规则的方言），不同接收地区的”作曲家种群”在 selection pressure（教会礼仪、本地传统、赞助人偏好）下产生 local adaptation。Palestrina 在罗马的风格与 Victoria 在马德里的风格不是”独立进化”，而是同一基因池（cantus firmus tradition）在不同选择压力下的分支表达。游戏机制约束下的可视化：把 Josquin → Lassus → Palestrina → Victoria 这条传播链画成一张 “gene flow map”，每个作曲家的作品特征作为”等位基因频率”，看 150 年间的 melodic DNA 漂移。

如果要做用现代 MIDI 数据 + 自然语言处理 + network science 构建一张 “Renaissance polyphony gene flow map”——以 50 位 Renaissance 作曲家的作品为节点，以”调式、和声进程、旋律轮廓相似度”为边，画出 150 年的 melodical DNA 漂移