验证器：用真理收窄解空间

AI 在开放空间里漫游，验证器是轨道。轨道越多，歧路越少，监督趋近于零。

解空间 = 所有可能的代码产出
验证器 = 约束函数，砍掉不合格的区域
足够多验证器 → 解空间收窄到唯一解 → 不需要监督

验证器分类

1. 逻辑真理（已有）

TypeScript、TDD、ESLint、Build。 对错二值，AI 已经能自动闭环。

2. 结构熵（代码重构机解决）

循环依赖、死代码、过度抽象、碎片化、嵌套深度。 本质是代码的熵——无序度。decompose/repodex 就是这个方向的工具。 可形式化：熵可以度量，度量就能约束。

3. 视觉真理（缺）

间距、对比度、对齐、响应式、视觉回归。 人一眼能看到，AI 靠猜。 技术路径：Playwright 截图 diff + 结构化 UI 描述（不靠像素，靠语义）。

4. 运行时感知（急缺）

浏览器 console、DOM、网络请求、错误堆栈。 没有运行时信息，AI 等于闭眼写代码。 现有浏览器 MCP 是垃圾——逐个 API 轮询，低效，噪音大。 需要的是运行时的 repodex：把浏览器完整状态压缩成高密度摘要，自动注入 AI 上下文。 repodex 对源码做的事，这个对运行时做。

5. 性能预算（缺）

Bundle size、首屏速度、内存。 纯数值，最容易形式化，只是还没接。

6. 品味（圣杯）

"这个抽象该不该存在""这个设计方向对不对"。 不可预定义规则，只能从纠正历史中涌现。 路径：积累 (AI做法, 你的纠正) → 检索匹配 → 自动拦截。

终局

逻辑    ✓   → AI 不会写出跑不通的代码
结构    ◐   → 代码重构机在做
视觉    ✗   → 最大的监督消耗
运行时  ◐   → MCP 在接，但 AI 不会主动用
性能    ✗   → 最容易补的
品味    ✗   → 最难但最值钱

全部 ✓ → 你只给方向，AI 完全闭环