Wonderland — 2026-09-23

🎲 本期约束: 组合A 如果必须把它做成一个实体装置 | 组合B 如果必须用 LaTeX/数学符号表达所有内容 | 组合C 如果时间倒回 1995 年，用当时的技术怎么实现

速览（30 秒）

• 组合: 分布式系统与网络协议 × 古生物学与化石记录 / 建筑与空间设计 × 音乐理论与声音设计 / 密码学与信息安全 × 分子自组装与 DNA 纳米计算
• 本期火花 Top 3: #1 GSSP 金钉：全球地质年代尺是唯一把共识铸进一根黄铜钉、并把它物理植入岩层的分布式系统 / #5 shape grammar ≡ GTTM：1972 与 1983 两次”生成语法移植” / #7 1995 年的湿件机房：把 DES 密钥搜索交给一缸盐
• 可动手候选: #1（桌面版金钉装置：石膏层积岩 + 一根铜钉 + 5 枚投票铜牌）、#5（同一套 reduction 规则同时压平面与旋律，喂进同一个最短路径求解器）
• 值得写长文: #1（共识协议被物理固化后的政治经济学）、#7（分子密码分析败给 I/O，而不是败给理论）

火花板

组合 A：分布式系统与网络协议 × 古生物学与化石记录 + 必须把它做成一个实体装置

连接点分析：一边是”多主体在没有中心的情况下对同一份日志达成一致”，一边是”从被压实、被溶蚀、被采样的记录里重建时间”——两边的核心难题都不是写，而是”如何相信一份有缺失的日志”。化石记录是本星球写得最久、丢得最多的 append-only 日志；地质学家的定年技术，本质上是三种日志修复术：跨副本对齐（树轮交叉定年）、超多数冻结（金钉投票）、采样衰减判别（Signor-Lipps）。

💥 #1 — GSSP 金钉：全球地质年代尺是唯一把共识铸进一根黄铜钉、并物理植入岩层的分布式系统

碰撞

分布式系统 × 古生物学 + 必须做成实体装置

连接点

国际年代地层表的一条界线只能由一个点定义，而这个点必须被投票批准、被物理植入、并在一定年限内禁止重新讨论——ICS 章程规定：界线提案须在约 20 名投票成员（任期上限 12 年）中取得 >60% 超多数，再经 IUGS 执行委员会多数通过才算 ratified，且 ratified 后 10 年内不得提案修改。这就是分布式系统里”配置变更要 quorum、新配置在稳定窗口内冻结”的原样复刻，只不过它的 commit 记录是一根钉进岩层的黄铜钉，副本是全世界都可以去跑的岩芯比对。2024 年 Wuchiapingian 阶的金钉因原址被水电站永久淹没而重新选址——一个 replica 永久掉线后重新放置 checkpoint 的公开案例。

锚点

ICS GSSP 程序与章程（stratigraphy.org/gssps；Cowie et al. 1986 Guidelines and Statutes of ICS；>60% 超多数、投票成员约 20 人、任期上限 12 年、10 年修改冻结）/ 第一根金钉：1972 年捷克 Klonk，以笔石 Monograptus uniformis 首现为标志 / Wuchiapingian GSSP 因原址被水坝淹没而重选址（Shen et al. 2024）/ ScienceDirect 2025 综述 “Stability and precision in chronostratigraphic definition”

族

装置/原型

惊讶度

9

具体度

9

可行动度

8

如果要做

做一个桌面版 “golden spike” 装置：一块 30cm 的层积岩模型（石膏分层 + 颜料），在某一层插入一根铜钉，钉旁悬 5 枚小铜牌代表 5 个投票成员，底座贴一张打印的章程条文——说明”这一层只由这一根钉定义，且 10 年内不许改”。拍 40 秒视频。素材全部来自公开的 ICS 章程与 GSSP 列表，可直接引用。

状态

火花

画面

岩层剖面的等距切面里，一根抛光黄铜钉水平插入某一层，钉身微微发亮；周围几枚较小的同款铜牌浮在不同距离上，各由一根绷紧的细丝连向中央的钉子；钉下方的层理沉入黑暗，钉上方浮着一线微光

💥 #2 — 缺失年轮 = 从未写入的日志条目：树轮交叉定年就是一次跨样本 quorum 修复，它的物理实现是一把滑动对齐尺

碰撞

分布式系统 × 古生物学 + 必须做成实体装置

连接点

交叉定年之所以存在，是因为单棵树的年轮日志本身就是有损的：有的年份整圈只长 1–2 个细胞宽到几乎看不见（missing ring），有的年份长出两条假轮（false ring）。因此定年从不相信单一样本，而是要求多棵树共享同一段”宽-窄模式”（如 N-W-W-N-N-W-N-W-N），只有在兄弟样本补上缺失条目后，这条日志才被接受——同组里只要有一棵树记下了那一年，整条 chronology 就能恢复真实索引。COFECHA（1983）与 dplR 做的正是跨样本互相关与错位报告，即日志一致性检查；“主年表”（master chronology）则是多数副本取中位数后的 committed log。

锚点

Douglass, A.E. 1941 “Crossdating in Dendrochronology” J. Forestry 39(10):825–831 / 亚利桑那 LTRR 交叉定年方法与 Skeleton Plot 练习（明示 missing ring / false ring 处理）/ Holmes 1983 COFECHA；Bunn 2008 dplR / Springer 2022 “Dendrochronology: Fundamentals and Innovations”（crossdating 为最基本概念）

族

装置/原型

惊讶度

8

具体度

9

可行动度

8

如果要做

用 12 条 30cm 木条搭一个”物理交叉定年台”：每条按年份刻出宽度不一的凹槽，木条压在滑轨上、衬一张带年份刻度的对齐尺，手动滑动直到 12 条的宽窄模式互相咬合。故意在其中 3 条擦掉某一年的凹槽，让操作者必须靠其余 9 条把它找回来——一张能摆在桌上演示 quorum 修复的桌子。

状态

火花

画面

十二条深色木条并排压在一条金属滑轨上，每条刻着深浅不一的横向凹槽；一条发亮的滑动标尺横跨所有木条，刻度密密排列；其中三条木条各缺了一个凹槽，缺口的空档在灯光下形成一条断续的虚线

💥 #3 — Signor-Lipps 效应 = 有损日志的尾部采样衰减：突变被读成渐变，只是因为中断处的写入密度塌陷了

碰撞

分布式系统 × 古生物学 + 必须做成实体装置

连接点

Signor-Lipps 效应指出：即便一个类群是被瞬间抹掉的，只要它在灭绝前的最后一段”写入”（埋藏与再发现）本就稀疏，最后一次观测就会被推前，于是突变看起来像渐弱。对应到日志系统：当尾部条目采样密度下降，truncation 与 graceful decay 在读取端不可区分，必须靠带外证据（铱异常、冲击石英这类物理信号）才能判决。反过来它也给出了一条论证义务——任何”渐变”结论都必须先证明采样密度没有衰减，这条义务在系统日志分析里同样成立。

锚点

Signor & Lipps 1982 “Sampling bias, gradual extinction patterns and catastrophes in the fossil record” / PMC4881338 “Estimating times of extinction in the fossil record” / Holland & Patzkowsky 2015 “The stratigraphy of mass extinction” / K-Pg 界线的带外证据（铱异常）

族

同构

惊讶度

8

具体度

8

可行动度

8

如果要做

写一页”采样衰减 vs 真实衰减”判别清单，把日志分析的 SLO 语言翻译成采样语言；再做 30 分钟演示：把同一段 100 行事件日志存两份，一份均匀采样、一份尾部每 10 行只留 1 行，请人只看这两份判断系统是崩了还是变慢了。

状态

火花

画面

一条由密到疏的光点序列向右延伸，越靠右点距越大；光点消失处立着一面半透明玻璃断层，断层另一侧是纯黑；疏密不同的两组光点被同一面玻璃隔开，看不出是被切断还是自然变淡

组合 B：建筑与空间设计 × 音乐理论与声音设计 + 必须用 LaTeX/数学符号表达所有内容

连接点分析：两个领域都是”用二维纸面记录高维结构”的手艺——建筑把三维身体空间压成平面/剖面/立面，音乐把时间中的结构压成谱面。两边各自发明过一套记号系统，而记号能写下什么，反过来决定了后来能造出什么。约束要求用数学符号表达，于是两张纸变成同一个投影问题。

💥 #4 — 两次”二维投影革命”：Monge 的平立剖（1799）与 mensural notation（约 1280）是同一类算子，而纸上能写下什么，决定了后来能造出什么

碰撞

建筑 × 音乐理论 + 必须用 LaTeX 与数学符号表达

连接点

Monge 在《Géométrie descriptive》(1799) 把三维实体表示为两个互相正交平面上的投影（plan / élévation / traces），这套符号最初是军工机密，后来成了工程与建筑制图的共同底座；mensural notation（Franco of Cologne 约 1280）第一次让节奏像音高一样拥有可计算的符号，直接使多声部独立运动成为可写作的对象。两者是同一种操作：把高维结构投影成二维记号，且记号系统的表达能力反过来决定创作的上限。用数学符号写就是同一个投影族：建筑 π: ℝ³ → ℝ²（plan），音乐 π: (T × P) → ℝ²（谱面）；而”投影不可逆”正是两者共同的痛点——立面才读得出比例，演奏才能从乐谱回到声音。

锚点

Gaspard Monge, Géométrie descriptive (1799)，orthographic projection（Britannica / MacTutor）/ Franco of Cologne 约 1280 mensural notation（Wikipedia；TISMIR 指出中世纪记谱中时值无法仅由图形符号推断——投影有损）/ JAMS 72(3) “Measuring Polyphony” 书评（13–14 世纪记谱首次把节奏放到与音高同等的层级）

族

文化隐喻

惊讶度

8

具体度

8

可行动度

7

如果要做

写一篇双栏短文：左栏画 plan / elevation / traces 的正交投影，右栏画 (time, pitch) 谱面，中间用同一个 π 记号标注”高维 → 二维”，并粗算一次信息损失（3D→2D 丢掉的自由度 vs 演奏→谱面丢掉的细节）。正文只用公式与符号表，文字只留图注。

状态

火花

画面

一张巨大的半透明方格坐标纸被折成两个互相垂直的平面；在纸面上，三维的体块投下轮廓，另一侧一组横向的波纹按时间向右排开；两个平面共享同一条交线，交线上密集排着细小的刻度

💥 #5 — shape grammar ≡ GTTM：1972 与 1983 两次”生成语法移植”，而 2025 年建筑界的轴向图收缩与音乐界的旋律 reduction 独立收敛到同一个最短路径算法

碰撞

建筑 × 音乐理论 + 必须用 LaTeX 与数学符号表达

连接点

Stiny & Gips (1972) 把生成语法搬进视觉与建筑，Stiny & Mitchell (1978) 用一组 shape rules 重造了 Palladio 的别墅语言（Hersey & Freedman 1992 后来真的用程序生成”可能/不可能的别墅”）；十年后 Lerdahl & Jackendoff (1983) 把同类生成语法搬进调性音乐，给出 group / metrical / time-span / prolongational 四层 reduction 规则。两者都是”用改写规则压缩一份人工制品，并据此判断变体是合法还是赝品”。更进一步：space syntax 把建筑平面化为轴向线图、再对同标签相邻边做 contraction，而 2025 年的旋律 reduction 论文把 reduction 形式化为图上的最短路径——两个学科在同一年各自把”结构简化”写成了同一个图论操作。

锚点

Stiny & Gips 1972；Stiny & Mitchell 1978 “The Palladian grammar” Environment and Planning B 5(1):5–18 / Hersey & Freedman 1992 “Possible Palladian Villas”（Planmaker / Façademaker）/ Lerdahl & Jackendoff 1983 GTTM（PMID 3070105 明示音乐与语言存在语法平行）/ Hillier & Hanson 1984 space syntax / arXiv 1504.00890（line graph 与 contraction 的严格 space syntax）/ arXiv 2508.01571（Automatic Melody Reduction via Shortest Path Finding）

族

同构

惊讶度

9

具体度

8

可行动度

8

如果要做

拿一个帕拉第奥式平面和一段 8 小节巴洛克旋律，各用同一套符号写一条 reduction 规则（平面：房间合并；旋律：音级跨越），再把两者喂进同一个最短路径求解器，比较输出的骨架是否呈现同一种层级树。规则集在公开文献里都找得到。

状态

火花

画面

左半幅是建筑平面的轴向线图，右半幅是一段横向排列的音符序列；两侧正中间悬浮着同一个由细线构成的层级树，树的枝杈在左右两侧分别落回平面与音符；细线上有若干发亮的分支点

💥 #6 — 一个双曲抛物面被同时编译成乐谱和建筑平面，而 Colin Rowe 早在 1947 年就用一组比例式把 1550 年的别墅和 1927 年的别墅写成了同一行公式

碰撞

建筑 × 音乐理论 + 必须用 LaTeX 与数学符号表达

连接点

Xenakis 在 Metastaseis (1953–54) 里让弦乐声部按连续滑奏扫过 z = x² − y² 型曲面，随后把这个曲面的几何直接盖成了 1958 年布鲁塞尔世博会的飞利浦馆——同一组公式既是乐谱也是建筑。更早的旁证来自 Colin Rowe 1947 年的《The Mathematics of the Ideal Villa》：他把 Palladio 的 Malcontenta（1550–60）与 Le Corbusier 的 Villa Stein/Garches（1927）读成同一串比例序列（3:5、5:8，以及 12:16、16:16、16:24 的房间进深序列），一个用 Ionic order 度量、一个用黄金分割——同一个 schema 跨了 367 年。约束下的结论很直接：如果非要用数学符号写，一栋建筑与一首曲子可以共用同一行公式。

锚点

Xenakis, Metastaseis (1953–54) 滑奏 = 双曲抛物面投影；Xenakis, “Genèse de l’architecture du Pavillon,” Revue Technique Philips 1 (1958) / Clarke, J. 2012 “Iannis Xenakis and the Philips Pavilion” The Journal of Architecture 17(2):213–229 / Colin Rowe 1947 “The Mathematics of the Ideal Villa”（3:5、5:8 与房间进深序列）/ MIT Press 同名文集

族

装置/原型

惊讶度

8

具体度

9

可行动度

7

如果要做

用 20 行 Python 把 z = x² − y² 采样成两幅图——一半当”乐谱”（x=时间、y=音高、z=密度），一半当”平面”（x,y=柱网、z=层高）——上下排版共享同一套坐标标注；附一页 Rowe 的比例序列作为对照。

状态

火花

画面

一张马鞍形曲面悬浮在画面中央，曲面上同时印着两组稀疏几何线：一组像横向铺开的等高线，一组像竖向排列的波列；曲面下方是一张平面网格的投影，上方是几条平行的横向轨道，共用同一条中轴线

组合 C：密码学与信息安全 × 分子自组装与 DNA 纳米计算 + 如果时间倒回 1995 年

连接点分析：1995 年是分子计算的元年——Adleman 1994 用 7 城哈密顿路径证明”计算可以是湿的”，Lipton 1995 把它推到 SAT，1996 年 Boneh/Dunworth/Lipton 干脆提议用一缸 DNA 破 DES。约束”回到 1995”意味着：手上只有连接酶、PCR、凝胶、磁珠和一台 486。

💥 #7 — 1995 年的湿件机房：DES 的密钥搜索被设想交给一缸盐，真正的瓶颈不是理论而是”读结果要一整周”

碰撞

密码学 × 分子自组装 + 时间倒回 1995

连接点

Adleman (Science 1994) 用 DNA 解了 7 城哈密顿路径：每条边约 3×10¹³ 份寡核苷酸，一次连接反应里”执行”约 10¹⁴ 次操作，能量效率量级逼近热力学极限；Lipton (Science 1995) 给出生成全部 n 位二进制串的分子流程，把这类方法推到 SAT；1996 年 Boneh、Dunworth、Lipton 提议用分子计算机做 DES 的密钥搜索。回到 1995 年的技术栈（连接酶、PCR、琼脂糖凝胶、生物素-链霉亲和素磁珠），Adleman 自己已经点出瓶颈：实验的人工部分耗时约 7 天，读结果靠梯度 PCR 在凝胶上打出条带。也就是说，1995 年的分子密码分析不是败在理论，而是败在 I/O——密码学的敌人从来是”读出席”的成本。

锚点

Adleman, Science 266:1021–1024 (1994)（7 城问题、约 7 天实验室工作、梯度 PCR 读出）/ Lipton, Science 268:542–545 (1995)（SAT 的 DNA 方案）/ Boneh, Dunworth & Lipton, “On the computational power of DNA,” Discrete Applied Mathematics 71:79–94 (1996)（含 DNA 破 DES 的提议）

族

同构

惊讶度

9

具体度

9

可行动度

8

如果要做

做一份”1995 分子密码分析器”的可行性与成本清单：用 Adleman 的每条边拷贝数（约 3×10¹³）推算破 56-bit DES 所需的 DNA 质量与凝胶通量，算出”读结果”要多少块凝胶、多少人次；结论大概率是”理论可行、I/O 不可行”，这本身就是一篇好短文。

状态

火花

画面

一只玻璃小瓶里装着透明液体，悬浮其中是发亮的双螺旋束；小瓶外环绕着九十年代风格的黄铜与搪瓷实验台装置——凝胶托盘与磁珠柱；一束细光穿过凝胶后散开成一叠横向条纹；背景隐约浮着一台老式阴极射线显示器的轮廓

💥 #8 — Pseudopath = 侧信道：连接酶偶发连接出的”图上不存在的路径”，是分子计算版的伪造，而 1995 年的对策只有”重复纯化”这种事后审计

碰撞

密码学 × 分子自组装 + 时间倒回 1995

连接点

Adleman 在自己的实验里明确警告：连接步骤中不兼容边的偶发连接会产生编码 pseudopath 的分子——图上根本不存在的路径；反之真正的解也可能在分离步骤中丢失。他给出的缓解手段是重复纯化、更严格的分离、以及用特定引物周期性复核，即”事后审计 + 重复抽样”，而不是任何密码学意义上的完整性校验（原文特别强调：计算结束后应当核验这条路径在图上确实存在）。对照生物自身的写入机制：聚合酶校对把错误率压到约每 10⁹ 个碱基 1 个，而 1995 年的实验室协议没有这种保障。这条类比对手工分子计算的当代复兴（DNA 存储、链置换电路）依然成立：能自组装的系统需要可验证的写入，而不只是可并行的搜索。

锚点

Adleman, Science 266:1021–1024 (1994)（pseudopath 段落与”prudent to confirm”式核验建议）/ 聚合酶校对错误率量级（每 10⁹ 碱基约 1 个）/ PMC34296 “Computation with biomolecules” 综述（DNA 计算的错误与放大问题）

族

方法论

惊讶度

8

具体度

8

可行动度

7

如果要做

写一页”分子计算的失败模式表”，把 pseudopath / 真路径丢失 / 非特异结合 / 扩增偏倚逐一映射到经典安全与存储术语（伪造、丢失、混淆、侧信道），指出 1995 年的对策属于”审计”而非”校验和”，并附引用清单（Adleman 1994 作主锚）。

状态

火花

画面

一条由许多小珠串成的透明长链在画面中蜿蜒前行，链上有几处出现分叉后又并回原路的细小岔枝，岔枝材质更暗淡；链的末端被拉长、变细、几近断开，旁边漂浮着几颗游离的单珠

💥 #9 — 把消息藏进微点：1995 年你已经拥有”碱基编码 + 微点”两件旧工具，两者相加就是一次连载体都不必知道的隐写

碰撞

密码学 × 分子自组装 + 时间倒回 1995

连接点

微点（microdot）是把整页文字缩到句点大小、贴在普通信件上的二战技术；DNA 合成与测序在 1995 年已经能按需写入和读出任意短序列。把两者叠加，就得到一次”载体不知情”的隐写：把密文按固定映射编码进 DNA 序列（三位碱基映射一个字母或数字），再把这段 DNA 混进普通信件上的一枚微点。1999 年 Clelland、Risca & Bancroft 在 Nature 上真的做了这件事，所用器材正是 1995 年就已存在的合成与测序设备。对密码学而言，意义在于：当信道本身不知道自己在承载消息时，流量分析全线失效——而分子隐写把载体从电子介质换成了任何含 DNA 的东西（信封、邮票、墨水）。

锚点

Clelland, Risca & Bancroft, “Hiding messages in DNA microdots,” Nature 399:533–534 (1999)（含碱基三元组到字母/数字的映射方案）/ microdot 的二战情报史背景

族

文化隐喻

惊讶度

8

具体度

8

可行动度

7

如果要做

用三位碱基编码 26 个字母 + 10 个数字（恰好 64 种组合），把一句 20 字消息编成一段 ≤120bp 的序列写成一页”信纸”，再用普通打印机把整页缩印到 1mm 见方当”微点”贴在信封角落。全部动作只需文本工具，不必进实验室。

状态

火花

画面

一枚极小的深色方点贴在一张泛黄信纸的角落，方点在放大的环形光晕里显出细密的横向条纹；条纹向画面右侧延伸、逐渐变成一段盘旋的双螺旋；信纸的纹理与螺旋的纹理在交界处几乎无缝衔接

元数据

• 搜索查询:
  • 组合A: “dendrochronology crossdating consensus algorithm tree ring chronology alignment” / “Signor-Lipps effect incomplete fossil record sampling artifact looks like sudden extinction” / “GSSP golden spike physical marker global boundary stratotype section point ratification” / “varve chronology annually laminated sediments Suigetsu radiocarbon calibration” / “International Commission on Stratigraphy ratification vote procedure GSSP supermajority” / “write-ahead log truncation compaction recovering state from incomplete event log” / “De Geer varve chronology 1910s teleconnection Swedish varves”
  • 组合B: “shape grammar Stiny 1972 architectural design formal language rewrite rules Palladian villas” / “Iannis Xenakis architect composer mathematics Philips Pavilion stochastic music notation” / “space syntax syntactic analysis of buildings Hillier formal grammar spatial configuration” / “generative theory of tonal music formal grammar Lerdahl Jackendoff reduction rules” / “Colin Rowe Mathematics of the Ideal Villa Palladio Le Corbusier proportional schema 1947” / “Gaspard Monge descriptive geometry 1799 orthographic projection plan section” / “mensural notation Ars Nova Franco of Cologne rhythmic polyphony notation as technology”
  • 组合C: “Lipton 1995 DNA solution hard computational problems Adleman molecular computing DES Boneh Dunworth Lipton” / “Adleman 1994 molecular computation seven city Hamiltonian path DNA error rate scaling limits”
• 检索来源分布: 组合A Brave × 3 / Firecrawl × 3 / Firecrawl research_search_papers（PubMed 期刊索引）× 1；组合B Brave × 3 / Firecrawl × 2 / Firecrawl research_search_papers（arXiv + PubMed）× 2；组合C Firecrawl × 2
• 论文检索次数（期刊/预印本索引）: 3 次工具调用，覆盖 PMID 9469804、PMID 23087245、PMC12317751、PMC4881338、PMID 3070105、PMID 20480681、arXiv 1504.00890、arXiv 1009.5249、arXiv 2508.01571、PMC34296、Science 266:1021、Science 268:542、Nature 399:533
• 检索次数合计: 16
• 丢弃数: 0
• 领域池版本: core 18 + generated 15
• 族分布: 装置/原型 ×3（#1 #2 #6）/ 同构 ×3（#3 #5 #7）/ 文化隐喻 ×2（#4 #9）/ 方法论 ×1（#8）
• 本期亮点: 三个约束都当成了透镜而不是限制。“实体装置”把分布式系统里最抽象的一步——commit——逼回物理形态：地质年代尺用一根黄铜钉宣告”这一层只由这个点定义”，树轮交叉定年用一把滑动对齐尺演示 quorum 修复；“用数学符号表达”把建筑与音乐还原成两种二维投影，于是 Monge 的平立剖与中世纪记谱走进同一个函子，shape grammar 与 GTTM 成为同一次生成语法移植的两个落点，Xenakis 则给出一个公式同时是乐谱也是建筑的实例；“回到 1995”把密码学的战场搬到实验室台面上——分子计算不是输在理论，而是输在读出一次结果要七天。
• 本期回顾: 三组各出 3 张，共 9 张，满足每组硬下限；族分布最大一族占 33%（≤50% 上限）。本期约束照 90% 档位抽取，三项均为具体约束，且与所选领域对无语义重叠（“实体装置”不落在分布式/古生物的逻辑标签上；“数学符号”不落在建筑/音乐的逻辑标签上；“1995”不落在密码学/分子自组装的逻辑标签上）。本期未出现同族并列 3 张以上的组合。