【锚点】这一篇只钉一件事：Conant & Ashby (1970) 的 Good Regulator Theorem 说的是「最优调节器与系统之间存在同态映射」，不是「控制一个系统必须先理解它」。把同态读成同构，是控制论史上最成功的一次误引。

【显式】出处：Conant, R.C. & Ashby, W.R. (1970), “Every Good Regulator of a System Must Be a Model of That System”, International Journal of Systems Science 1(2): 89–97。标题本身就是那句名言。

【显式】定理的原始设定：系统 Z 分解为 (S, R)，S 是被调节部分，R 是调节器；R 只能看到 S 输出的某个函数，并作用于 S；存在一组 essential variables，要求它们保持在生存集内。定理：若 R 在所有可能的扰动下都能让 essential variables 不越界（即 R 是「good」的），则存在从 S 的状态到 R 的状态的同态映射，使 R 的行为可由 S 的模型导出。

【隐式】注意那个全称量词。「所有可能扰动」把 good 定义成了完美调节——零容错、最坏情形。真实系统里没有这种东西：恒温器滞后，央行误判，免疫系统会自免疫。

【细微】一旦把全称量词换成「在典型扰动分布下以高概率成立」，证明立刻失效。因为此时最优策略不必对每一个状态区分作出反应，它只需对影响期望损失的那些区分作出反应。于是存在不需要「模型」的调节器：查表器、PID 控制器、只有三条规则的专家系统，都可以是「足够好」的。它们与系统之间不存在同态，只存在充分统计量关系。

【极难发现】原文真正锐利的地方被误读掩盖了：同态 ≠ 同构。同态允许丢失信息——它只要求保留那些影响 essential variables 的区分。用更锋利的话说：模型不需要像系统，只需要在「后果相关」的维度上与系统保持结构对应。这其实是「抽象」的形式化定义，而不是「理解」的必要性证明。Ashby 在 An Introduction to Cybernetics (1956) 里反复强调的是 requisite variety（调节器多样性 ≥ 扰动多样性），而这条定律的实践含义恰恰相反于「建模一切」：你只需要匹配扰动多样性，多余的结构是浪费。

【流程节点链路】误引的生成链：原始定理（全称量化 + 完美调节）→ 摘出标题句 “must be a model” → 丢掉 good 的定义与量词范围 → “model” 被读成「内部表征/理解」→ 结论扩张为「管理复杂系统必须复制其复杂性」→ 落入政策与组织话语（「你必须先建模整个经济/供应链/大脑」）。

【显式】这条误引的代价是可测的：它给「我们必须建一个全系统数字孪生」这类主张提供了看似严格的数学背书，而该主张从未被同态论证支持过。反例俯拾皆是：TCP 拥塞控制不建模整个网络，只用丢包与 RTT 两个充分统计量；推荐系统不建模用户偏好的生成过程，只建模点击的条件分布。

【细微】一个可检验的推论：若该定理真的蕴含「必须建模系统」，那么在「扰动多样性低、系统复杂性高」的场景里简单调节器应系统性失败。但工程史给的是反例——恒温器、离心调速器，以及 Ashby 自己的 Homeostat：四个磁铁、随机接线的继电器，对环境没有任何表征，被扰动后靠搜索新稳定构型恢复平衡。它「好」到足以生存，却显然不是环境的模型。

【锚点】所以正确的读法是：Good Regulator Theorem 是一条关于耦合的定理，不是关于理解的定理。它说「好的调节必须与它所调节的东西在相关维度上结构对应」，而不是「你必须知道你在调节什么」。

值得辩论的问题：如果「好」被定义为部分成功（真实系统的常态），那么「模型」这个概念还剩下什么？同态？充分统计量？还是仅仅一个在后果维度上保序的映射？如果只剩后者，那么「理解」在控制里是不是一个多余的中间变量——一个我们为叙事方便而保留、却从未被任何定理要求的假设？