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

PUF 最反直觉的一点是它根本不存储密钥：每次应答都从不可复制的物理随机性里重新导出，再用模糊提取器把带噪读数纠回同一串比特。免疫系统对病原体做的也是同一件事——它不”存储”抗原，而是在再次暴露时让记忆 B 细胞重新培养出一批高亲和抗体。两者都把”秘密”从静态存储改成”每次重新长出”。约束把这条直觉逼成一件实物：一块培养皿就是一台密钥派生装置，而芯片上原该放存储器的位置只剩一个空焊盘。

如果要做用一片廉价 SRAM 的上电噪声当”培养皿”，在 Arduino 上跑一次 sketch/recover：同一块板重复上电应重建出同一串 128-bit 密钥，换一块板则完全不匹配；把辅助数据单独存在一张纸上。

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

2025 年一篇 Nature 论文测出一个反直觉的设计：生发中心里亲和力越高的 B 细胞分裂越多，但每次分裂的体细胞高频突变率越低——把”探索预算”从已经很好的解上撤走，留给还需要改进的细胞。这和密码学里按强度分配工作量是同一笔账：已经强的密钥不必再全速迭代，弱的部分才值得继续加盐重算。约束下的实体形态会让这条规则看得见：一台只对”还不合格的那部分”继续做功的机器，刻度盘随当前质量自动回退。

如果要做写一个自适应 KDF demo：维护一个”候选解质量”标量，质量越高迭代轮次越少；用同一套代码跑”固定轮次”与”自适应轮次”两版，对比总计算量与被攻破的边际成本。

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

亲和力成熟的本质是”用大量错误版本换一个对的版本”：随机突变加选择，重复若干轮，成功的突变被保留进种群记忆。把它做成实体装置：一把没有预置齿形的锁，内部弹子被几十把未成功的钥匙反复摩擦，逐渐把”能开启”的齿形刻进自己。约束要求的正是这个反直觉的物理化——密钥不是设计出来的，是被经历刻进去的；而同一条性质恰恰是 PUF 不可克隆性的来源：制造过程不可精确复现。

如果要做用 3D 打印一批”钥匙坯 + 可塑插销”的挂锁，让一个简单搜索脚本按”试插-失败-微调”循环上千次，把成功齿形逐渐固化；记录固化前后的齿形照片。

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

抗体必须既特异又泛化：单个抗体能与多个结构不同的抗原结合，这在免疫学里叫多特异性（退化性），一度被当作缺陷，如今被量化成一种系统性质。密码学里同一件事叫碰撞：我们希望哈希把不同输入尽量分开，但真实系统总在”够分离”和”够便宜”之间妥协。两边的度量其实是同一条曲线上的两个点——用可用性的裕量换识别边界的锐度。做成实体装置，就是一台把”碰撞裕量”变成可读刻度的仪器。

如果要做做一个”识别裕量”演示装置：一排间距可调的栅格对着一束光，栅距越密越”特异”但越易误判；用手机拍下不同栅距下的误判率，画成一条”特异性-鲁棒性”曲线。

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

恒星、星系和超新星爆发都不能被重放，天文学家只能尽量多地观测同类”化石”，在天体数量里等效地做对照；判例法法官同样不能对已发生的争议做实验，只能从既有判决里读出可推广的规则（ratio），再约束到新事实上。两边共享同一句问题：当”不可干预”时，靠什么把一次观测升级成一条规则？天文学家的答案是”同类样本的重复出现”，法官的答案是”先例的约束力”。把这条平行做成游戏机制，就是让玩家在只能观测、不能干预的世界里逐步写出判定规则。

如果要做做一个小游戏：程序只给出一串历史观测（不可干预），玩家每回合提出一条”规则”，系统将其作为此后所有解释的默认（先例），结算时看这条规则被后续样本推翻多少次。

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

EteRNA 把 RNA 折叠变成可投票、可送湿实验室合成的游戏，玩家的直觉被提炼成设计规则，甚至反过来变成算法 EternaBot；Quantum Moves 让玩家在量子控制上给出”种子解”，再被优化器吸收。这里发生的事和判例法惊人地相似：散落的个案判断被提炼成一条可复用的规则，并被后来的工作引用——游戏机制本身就是把”观测”升级为”先例”的装置。约束把”用游戏机制表达”变成一项方法论主张：研究对象不可干预时，就设计一套让判断可被沉淀、可被引用的规则系统。

如果要做给一个不可实验的小系统（例如只有历史日志的时序数据）设计三关游戏：观测→提交规则→规则被后续日志检验；把每一轮的”规则”存档成一份可被下一轮引用的判例清单。

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

2014 年 BICEP2 高调宣布在宇宙微波背景里看到原初引力波的 B 模偏振；一年后，Planck 的尘埃图显示同一片天空的偏振信号足以由银河尘埃解释，三方联合分析撤回了这一结论。这就是科学版的推翻先例：不是发现新事实，而是用一套更完整的既有数据（尘埃的多频段地图）推翻一个已被广泛引用的”先例”。判例法同样如此——推翻先例往往不靠新立法，而靠把旧判决放进一套更完整的规则体系里重新读。游戏机制角度：这类推翻要能发生，前提是所有”判例”（数据）都是公开、可复核、可重新组合的。

如果要做做一份”可复核清单”模板：任何结论都必须附上”哪些数据一旦发布可能推翻它”，并把它作为发布前必须公开的一栏。

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

复利轮的锚点是上期那张”2KB 里只放得下检查器”的卡：信任基越小越好。再往前追一跳，这条原则有确切的名字——de Bruijn 判据：证明助手应当产出可被一个简单程序独立校验的证明项，而这个程序”一个持怀疑态度的用户自己就能写”。1995 年前后能被打印、能被通读的 LCF 风格内核，与微控制器上那个 2KB 校验器是同一个想法的两个年代版本。它同样受认知约束支配：de Bruijn 判据的代价是证明项会迅速撑爆内存——Milner 1972 年的机器只有约 1MB；LCF 的选择是放弃存储证明、把信任压进一个小内核。这不是技术退步，是又一次”够用即停”。

如果要做用 150 行以内的脚本实现一个”独立校验器”：只吃一份显式证明项、拒绝任何未在规则内构造的步骤；再把同一命题分别用”信任求解器”和”信任校验器”两种方式交付，比较信任基的行数。

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

HOL88 的可信内核是一个用 ML 实现、跑在 Common Lisp 上的库，遵循 LCF 架构：定理类型是抽象的，只能由推理规则函数构造。这意味着 1995 年的”信任边界”是一件可以整段打印出来、逐条阅读、钉在墙上的东西——它不藏在求解器内部。与之对照，今天许多证明工作把信任交给看不见的证明搜索与巨大的内核。约束把这条历史事实变成设计题：可信内核必须能脱离系统被打印、被通读、被手抄。这也是对”够用即停”的一种回答——信任边界应当是能被一个人的注意力覆盖的规模。

如果要做把自己项目里”可信”的那部分代码或配置渲染成一张可打印的长图，贴到墙上用红笔逐条审；凡是无法在一条视线内读到的部分，都标注为”需额外信任”。

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

上期那张卡说”证明搜寻是只能够用即停的启发式搜索，校验是廉价确定判定”。用 1995 年的技术看，这条分工会更赤裸：交互式证明的效率瓶颈不在能证什么（有效性早已够），而在人要花多少力气（效率不足）——这正是可用性研究反复测到的结论。1995 年的证明脚本因此普遍停在”够用”：能过就行，风格与惯例兜底。把它看成一次现场实验：把每条证明脚本拆成”必须步骤”与”为让人读懂而多写的步骤”，量化后者的比例，就能看见有限理性在形式化工作里的具体占比。

如果要做拿一个现有证明脚本，逐行标注”必需”与”为可读性而写”，统计比例；再让第二个人在不知道标注的情况下重写同一命题，比较两人的”必需集”重合度。