Harness 中的良好调节器

上级：theory · 参考：good-regulator-theorem

"控制即建模"落到 harness 上有三种体现：

1. 可观测性上限存在的正面理由（convergence-needs-an-observable-target）：控制需要一个模型；系统中不可观测的部分（隐藏变量、心情）无法被建模 → 无法被调节 → 你只能收敛到可观测的边缘分布。"必须建模"⟺"你无法收敛到你建不出模型的东西上。"
2. LLM 本身就是那个模型： 一个负责调节某项任务的 LLM-agent，按此定理必然是该任务域的一个模型——它的常识 / 世界知识就是它用来调节的那个模型（tacit-spec-as-spec-compression）。调节质量 = 模型保真度。
3. 位于"控制 = 消灭多样性 / 收敛"（control-methods、recursion-convergence-contraction）的上游：多样性匹配（Ashby）→ 匹配需要一个模型（良好调节器）。