What separates vibe-linter from the whole jcl-the-ancestor lineage at the root. Those 7 generations are generators: (structure, input) → unique trajectory. vibe-linter is a recognizer: the structure defines the space of legal trajectories, and the agent chooses which one at runtime (grammar generates / automaton recognizes — the classic computation-theory duality).
make -j and SQL hinted at path-freedom, but their path-chooser is the system's own trusted component. vibe-linter's novelty is double: path-free and the path-chooser is untrusted → trajectories must carry certificates (certificate-is-the-subagent-boundary — why a certificate is cheap, and doubles as the context-isolation boundary) → the recognizer is forced adversarial. This is the same thing lcf-for-labor says from the proof-theory side, and its precise control-theory home is ramadge-wonham-supervisory-control.
Up: vibe-linter