智能是模拟量，文明是数字量——你在打造一个 ADC

这是 control-methods 的收官篇，也是其"方向"那一半——8 种方法都没能提供的那个转向。不受约束的智能做的是在连续测度上的软推进；制度做的是在一个受监督的商空间上的硬决策——而后者必须是离散的，出于三个相互独立的强制力：

1. 可传递性——一个连续的"置信度 0.834"无法被接收方独立复现（它只是私人信念，不是共同知识）；而一个布尔式的通过/不通过是自足的。"硬币必须是硬币，而不是硬币的概率"（香农的离散信道，作为可靠通信的前提）。
2. 承诺——强度为 0.7 的约束等于没有约束（未来的自己会把那 0.3 的余量优化掉）；承诺的力量在于不可谈判——也就是二元的（Schelling）。
3. 可控性——这正是 ramadge-wonham-supervisory-control：监督者的动作空间 {allow, disable} 是布尔的；一个阈值算子必须把连续测度切成可判定的事件。

于是阈值才是真正承载价值的那个对象——它无法从任何一侧推导出来（智能能把测度磨得更精细，却说不出该在哪里切；机制能执行这一刀，却生成不出该切在哪里）。墙 = 阈值本身：把连续压成布尔的那个标量，由某人设定，一旦设定便不可验证，只能被承受。

"智能是模拟的，文明是数字的，而你在打造一个 ADC。"——这是 vibe-linter 最终的名字。

Up: vibe-linter