识别器，而非生成器

这是 vibe-linter 与整个 jcl-the-ancestor 世系在根子上的分野。那 7 代都是生成器（generator）：(structure, input) → unique trajectory。vibe-linter 是一个识别器（recognizer）：结构定义的是合法轨迹的空间，走哪一条由 agent 在运行时选择（语法生成 / 自动机识别——计算理论里那个经典的对偶）。

make -j 和 SQL 都暗示过路径自由，但它们的路径选择者始终是系统自身可信的组件。vibe-linter 的新颖之处是双重的：既路径自由，路径选择者本身又不可信 → 于是轨迹必须携带证书（certificate-is-the-subagent-boundary——证书为何廉价，以及它如何同时充当 context 隔离边界）→ 识别器因此被迫是对抗性的。lcf-for-labor 从证明论一侧说的是同一件事，而它在控制理论里的精确归宿是 ramadge-wonham-supervisory-control。

上级：vibe-linter