概念地图：五个近邻

一个做模型评测的人皱着眉说，我的 eval 有 performativity（操演性）问题。你追问，他描述的其实是：模型被反复测，慢慢长成了这套题的形状。那不是操演性，那是反应性。用错词看着无伤大雅，可下一步就麻烦了，因为不同的词指向完全不同的对策，抓错病名就会开错药。

五个总被当成同义词的近邻要分开：reactivity（反应性）、performativity（操演性）、looping effects（循环效应）、legibility（可读性）、audit culture（审计文化）。它们确实亲缘，共享一个内核，但每一个都比其余多说了一点别的。分清它们，靠问三个问题：谁在回望、朝哪个方向使劲、以及它相对反应性多讲了什么。

先给内核，五个词都绕着它转：被测量、被分类、被观察的对象，不是一块无所谓的铁，它会「回望」你的尺子，并据此改造自己。镜子只负责如实反映，不会被它照的东西改写；测量却会被测量对象倒过来改写自己。测量因此不是镜子，是引擎。哲学家 Ian Hacking 把这个内核说得最凝练，他区分「无所谓的种类」和「会互动的种类」：夸克不在乎你怎么命名它，被诊断的「多动症儿童」却会因为这个标签而改变自己。五个近邻，是这同一个内核在五个不同分析层次上的切片。

逐个白描一遍。反应性（R01，基准概念）的主体是被测的人或组织：你公布一个排名，被排的人为了名次改造自己。它扣住的是「测量效度」和「问责」，是这一族里最贴近日常评估的一个。操演性（你在 R07 见过）的主体是理论本身：Black–Scholes 公式一被交易员采用，市场价格就朝公式收敛，理论把世界拉成了自己描述的样子；它跟反应性的关键差别有两点：触发物是一整套理论而非一个评价性数字；它还天生自带一套强度分级，这是反应性缺的。循环效应（R06）的主体是「分类」与「被分类者」构成的双向回路，它多说的那点，是改变的不只是个体行为，而是类别本身在漂移，「什么算多动症」这条定义每一版都在变。可读性（R05）的主体是想把世界看清的国家或中心，它先把复杂社会强行简化成可清点的形式，推行统一姓氏、地籍图、单一树种的人工林，强调的是测量的前提，发生在测量之前。审计文化（R09）的主体是核查这套制度仪式，它讲组织为了「看起来可被审计」而重组自己，长出合规部门、文档系统，用「可审计性」置换掉了实质。

矩阵把五者的分工摊平了，但真正把它们拧成一股的，是蓝色和黄色两条分支。这两条处理的其实是同一个不变式，只是换了形式化的语言：Goodhart 与 Campbell 把它写成指标治理下的失效定律；Holmström–Milgrom 与 Baker 写成合约理论的定理；surrogation 给它补上认知层的微观基础，也就是人为什么会把指标当成目标本身；到了机器学习里，reward hacking 与 performative prediction 是它在梯度下降里的重演。社会学的五个近邻，是它在人间的切片；这两条分支，是它在数学里的切片。

D6 报告把这个不变式写成了一句精确的话：当你用一个低维、带噪、会被回应的指标，去优化或挑选一个高维、会回应的系统，你收敛到的不是系统的真优，而是指标的不动点、博弈的均衡、选择偏差的上序统计量、或退化模型的同态像；偏离的量随优化压力单调上升。契约论、优化不动点、Stackelberg 博弈、历史社会学、控制论、统计学，六种语言各自把它证过一遍。不必现在就读懂每个词，只要记住：这五个近邻不是散落的比喻，背后站着同一条可以被证明的规律。

五个近邻还能串成一条自上而下的因果链，帮你记住它们的次序。最上游，是 Weber 与 Simmel 描述的可计算性文化。往下一环，Foucault 的治理术用统计去「看见」人口。为了看得见，Scott 的可读性又把世界简化。世界简化的另一面，是可通约化——质被压成了量。量出来的度量接着被公开、周期发布。发布得多了，便长成排名与审计，也就是审计文化。而被度量者本来就是「会互动的种类」，一旦被这样度量，就产生反应性、循环效应与操演性。链条的最后一环，是度量本身成了靶子，被 Goodhart 与 Campbell 的博弈掏空。反应性正好坐在这条链的倒数第二环：行动者对公共测量的回应。这也解释了它为什么最贴近你手里的活儿，你做的 eval，正是一次公开测量。

顺带把你在 R08 学的反身性也安进这张图。反身性是这个内核在金融市场里的动态反馈版：观念影响现实、被改变的现实又喂养下一轮观念，同一个「回望」被写成了一个带符号的反馈回路，正反馈是泡沫，负反馈是均衡。它跟这五个近邻不冲突，是同一台引擎从「反馈动力学」这个角度拍的一张侧面照。你会发现，越是把这些词摆到一起看，越能确认它们不是六套理论在抢地盘，而是一件事被六个学科各自撞见、各起了一个名字。

留一个问题：这五个近邻各自都有一套现成的分析语言，但它们能不能被统一进一个带参数的模型，让你输入一个具体案例，就读出它主要属于哪一层、强度几何？D6 那句六语言表述已经把内核统一了，可它是定性的；把「谁在回望、朝哪使劲、强度多大」变成能算出来的量，还没有人做成。

一句话带走：这不是一个东西的五个名字；先分清谁在回望，才知道该往哪里下手。