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

8086 中断向量表占用物理地址 0000:0000 到 0000:03FF，恰好 1024 字节，每 4 字节一项、共 256 项。其中头 32 项（INT 00h–1Fh）是 Intel 保留的硬件异常与 BIOS 中断（divide error、NMI、IRQ0–7 等），第 33–255 项才交给 BIOS/DOS 与用户程序自由挂接。这意味着一个 ISR 生成器在 IVT 里能”自由选择基底”的向量只有 224 个——剩余 32 个是硬件决定的固定权。把 SU(2) 不可约表示的维数公式 dim(V^j) = 2j+1 倒过来：j = (dim-1)/2 = 127.5 不合法，但维数 256 本身恰好是 spin-127/2 的不可约表示（维数 2·127/2+1 = 128）；256 = 2×128 暗示 IVT 不是单一不可约表示，而是两个 spin-127/2 不可约表示的直和——一个被硬件”硬破缺”成 32 个保留权，另一个开放给软件 ISR。Compiler 在生成 ISR 时的”在哪些槽位放哪些 handler”决策，等价于在一个已部分破缺的 SU(2) 表示上选择基底。

如果要做写一段 8086 汇编，编译时让”ISR slot 编号”作为立即数嵌入到 INT n 指令里；统计一下能让编译器”自由定义”的 ISR 数（= 224），再把它和 8086 上 spin-127/2 表示的权数（= 256）做并排打印。

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

8086 ISR 入口必须按顺序做三件事——PUSHF（保存标志寄存器）、PUSH CS、PUSH IP（保存代码段与指令指针），最后用 IRET 按相反顺序弹出。QFT 里时间序乘积 T{φ(x)φ(y)} 在 x⁰ > y⁰ 时把 φ(x) 排在 φ(y) 之前，保证因果性——两个场算符的”序”是散射振幅能算出来的前提。ISR 的 push/pop 序列是这条规则的指令级实现：保存顺序与恢复顺序严格相反，等价于在 ISR 入口/出口维持一次”时间反演对称”。编译器要为 ISR 生成 prologue/epilogue 时，必须知道调用者的栈帧布局与寄存器保存约定——这与 QFT 计算时必须显式选取时序约定（T-product vs 反时序）是同一个信息保存问题。

如果要做在 LLVM 里给 x86_32 目标写一个自定义 ISelLowering，让 ISR prologue/epilogue 的 push/pop 顺序作为 IR 的显式属性暴露给后续 pass；用 “instruction_count(push)+instruction_count(pop) = 2×instruction_count(prologue_body)” 做不变式检查。

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

8086 暴露给编译器后端的硬件寄存器是 4 个段寄存器（CS, DS, ES, SS）+ 8 个通用寄存器（AX, BX, CX, DX, SI, DI, BP, SP），合计 12 个槽位。Chaitin 1981 年的图着色寄存器分配把”虚拟寄存器到物理寄存器的映射”变成”用 K 种颜色覆盖干涉图”，K=12 在 8086 上已经非常紧张——一个稍大一点的 C 函数就会触发 spill 到内存。但 4 个段寄存器不能任意指派：CS 总是 code、SS 总是 stack、DS 默认 data、ES 留给字符串指令；它们是”硬编码的 spin-1/2 标记”，相当于 SU(2) 表示里的 4 个基本权（|↑↑⟩、|↑↓⟩、|↓↑⟩、|↓↓⟩），不能被任意的 L/R/SL 着色算法替换。编译器必须把段寄存器的分配从通用寄存器的分配里”解耦”出来——这一解耦在概念上等价于”在 SU(2) 直积分解里把不可破缺标记与自由标记分开”。

如果要做用 Chaitin 算法给一段实际 C 代码在 8086 上做 register allocation，统计它必须 spill 到内存的虚拟寄存器数；与同样代码在 x86_64（K=16 通用寄存器）上的 spill 数对比，看 K=12 比 K=16 多出多少代价。

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

Gauss 1827 年证明的 Theorema Egregium 说：曲面之间的等距映射必须保持 Gauss 曲率——所以高斯曲率为正的球面不可能被平面投影成既保角又保面积的图。Fux 1725 年《通往帕纳索斯之阶》给出的对位法守则（禁止平行五八度、各声部必须独立可辨）则说：你不可能既让 4 个声部同时发音又让它们彼此独立——必须牺牲”同时响”才能换得”各自活”。两套规则都被一个不变量的不存在性逼出来：球面没有平面投影能保住 (angle, area) 两个量，对位文本没有作曲规则能同时满足 (consonance, voice independence) 两个条件。Huron’s perceptual derivation 把 Fux 的守则重写成 Bregman 听觉场景分析的 6 条心理学公理——它和 Gauss 用曲率证明定理是同一种方法：先把”必须保住的不变量”列出来，再证明它不能全保住。

如果要做写一张 2×2 表：横轴 (保角 / 失角)、纵轴 (保面积 / 失面积)——填入 4 个常见投影（Mercator、Peters、Stereographic、Equidistant）；再写一张 2×2 表：横轴 (声部独立 / 声部融合)、纵轴 (同时响 / 分时响)——填入 4 种对位织体（Fux 第一类、Fux 第三类、Fugue、Homophony）。两张表的几何应该同构。

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

Mercator 1569 年的投影把格陵兰放大 14 倍，但作为交换保留了一条极重要的几何不变量——恒向线（rhumb lines）是直线。这条不变量对 16 世纪欧洲航海家有巨大认知价值：他们只要保持罗盘方向不变就能从 A 到 B。Fux 1725 年禁止平行五度、八度等”完全协和音”在同向进行，听上去像在限制作曲家——但作为交换保留了”声部独立性”这条对听者来说更重要的不变量。Bregman 1990 年的听觉场景分析证明：声部独立性是一切 polyphonic 愉悦感的来源，平行五度会触发”融合”（fusion）让两个声部坍缩成一个；Fux 用禁律强迫作曲家绕开这条融合路径。两者都是工程上对人类注意力的”瓶颈结构”做反向利用：航海家的注意力被恒向线这种”直线”占据，听者的注意力被声部独立这种”分流”占据；Mercator 与 Fux 各自选了一个不同的”注意力锚点”做优化目标。

如果要做用 d3.js 写一个互动网页：拖动鼠标改变”投影注意力焦点”（航海/面积/距离），看 Mercator/Peters/Stereographic 三个投影如何动态切换；在旁边并排放一个 Web Audio API 小工具：拖动滑块改变”声部融合阈值”，听 4 声部 fugue 在不同阈值下被听成”4 个独立声部”还是”一团和声”。

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

Riemann 球面是复平面加一个无穷远点的紧致化映射——从北极看下来，球面上的每个点都被”立体投影”到赤道平面上，邻域角被保留（共形 / conformal），但面积和距离被系统地变形。Neo-Riemannian Tonnetz 是 Hugo Riemann 19 世纪末提出、Euler 1739 年更早版本的几何——把 12 个半音放在 2D 平面上，按纯五度与大三度两个轴向排成三角网格；每对相邻三和弦共享两个共音。两者干的是同一件事：把一个”局部不变量”（共形 / 共音）作为约束保留下来，让其他不变量（距离 / 调性强度）形变；这就是地图投影对位法的几何版。Tonnetz 的 PLR 三个基本变换（P: parallel、R: relative、L: leading-tone）每个都保留 2 个共音——和 Riemann 球面的 stereographic 投影保留 2D 角度是同一句”保结构换自由度”。

如果要做写一段 Python：输入一个 C major 三和弦的音 (C, E, G)，应用 P、L、R 各一次，画出三对 Tonnetz 邻接图；同时输入一个北极附近的复平面点 z = 1+0.5i，做 stereographic 投影到赤道平面，画出投影前后的局部角度 vs 距离；两张图并排打印。

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

Acquisti、Dingledine、Freedman 2003 年 WEIS 论文 “The Economics of Censorship Resistance” 把网络节点的资源分成”red”（被点名的、被审查者追捕的）与”blue”（普通的、可疑度低的）两类，节点可以选 t 单位预算做”防御”提升 P(t)——但 P(t) 单调凹，意味着预算回报递减。审查者的”防御预算”必须为每一个 red 副本付出独立代价；当翻译成多语种时，每个语种版本在审查者眼里都是新的 red 副本——审查预算随语种数线性增长，而译本生成成本是亚线性的（机器翻译、人力志愿者）。这条非对称让”翻译”成为 censorship resistance 的最便宜单位：一份文本的英文版被封，只需要中文+阿拉伯语+俄语+西班牙语四个版本就足以让审查预算爆炸。

如果要做用 30 行 Python 实现 Acquisti 2003 的 red/blue 模型；扫描参数空间 (red 副本数, blue 副本数, 防御预算 t) 看审查者在多少语种版本下被迫放弃；用真实项目数据（如维基百科条目、Tor 文档、SecureDrop 泄露文件）的语种分布做 sanity check。

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

Aumann 1976 年《Agreeing to Disagree》证明：两个有共同 priors 且对彼此理性是 common knowledge 的 Bayesian agent，后验必然相等。Quine 1960 年的”radical translation”——两个说话人无字典、无背景，只能靠暴露 priors 互相推断——正是 Aumann 定理的翻译学版本。但这条论证在审查环境下塌缩：审查者与翻译者 priors 不对称、且彼此知道不对称——“共同在先”假设不成立。Skyrms 2010 年《Signals》的 replicator dynamics 给出后续：当 priors 公开非对称时，separating equilibrium 会成为唯一稳定状态——翻译者只能用 Lewis 1969 意义上的”私人信号”（private signal）路径，把译文编码成审查者不能解码的形式。这与翻译学里的”不可译性”完美同构：当你不能用一种语言传达某个意义时，唯一的选择是让它变成另一门语言的”私人信号”——只对掌握那门语言的人可读。

如果要做写一篇方法论短文：把维基百科单条目修订历史按”译本方差 vs 时间”画图，作为 Aumann 定理在 0 元翻译下的经验证据（沿用 10-05 #1 的方法）；再找一个真正受审查的语言（如维吾尔语 / 藏语 / 俄语 opposition media）的条目，对比 Aumann 定理在那里是否塌缩为 partial pooling——如果塌缩，就是”翻译学版本的审查抵抗”的直接证据。

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

Tor 的 pluggable transport 体系（obfs4、meek、fteproxy、snowflake）把 Tor 协议”翻译”成普通 HTTPS、CDN 流、WebSocket 流——让审查者看到的流量在统计学上与 cloud provider 上的普通用户不可区分。从翻译学角度：这就是 polysemy（多义性）的工程实现——同一个符号（一个 HTTPS 请求）在 reader A（Tor 用户）那里是”连接中转节点”，在 reader B（审查者）那里是”普通 cloud 流量”。Domain fronting 在 2016 年被 cloud providers 封禁前正好是这条原理的最佳体现：让同一个 TLS 连接里的 SNI 字段是”无辜域名”而实际 Host 头是 Tor bridge，让中转 CDN 看到的与审查者看到的不是同一段文本。Skyrms 2010 的 separating equilibrium 在这里反向使用：审查者必须为每个 reader A 单独判断，而读者 A 的”语言”被混淆进 reader B 的”语言”里——这是一种”翻译的对称性破坏”。

如果要做用 mitmproxy 写一个本地 pluggable transport：把”明文 hello”翻译成”在 Cloudflare 上随便找一个看起来无害的 HTTPS 请求作为外壳”；然后用 Wireshark 看两端的 TLS Client Hello / SNI / Host 字段差异——体会 domain fronting 被 Cloudflare 封禁前的样子。