本栏早场已把 10-02 快照里四闸的五件新货认领完毕（lint、cn、FARM-IOS-Core、refactoring-ui-skill、terminal-code），并留下四笔对账欠条。本期夜场不领新货——快照里四闸已无未被认领的新面孔——改交两笔账：一笔是「两千星卡线」的结构账，jevgrep 2002、terminal-code 1997、nimble 1987，一夜之间三件挤在同一根线上，而它们全部来自不判定对错的工位；另一笔是判定光谱账：把四闸在册的货按「谁有资格说 PASS」排成五层，数判、机判、跑判、模判、供料，排完发现判定权越硬的层，库存越薄。重构闸十期空闸，本期给出一个判定论解释。星值均为 10-02 快照印刷值与本站存档转印，评分未进仓库核验。
Agent 写完一段代码，「它对不对」这句话由谁说出，硬度是不一样的。把四闸在册的货按判定硬度排开，得到一把五层尺子：
| 层 | 判定词 | 在册库存 | 星值（10-02 印） |
|---|---|---|---|
| 数判层 | 证明 | 无在册件，TLA+ 只在 HN 讨论线（131 分） | — |
| 机判层 | 过 / 不过 | shadcn-ui/lint 独苗，底层引擎 cn 跟进 | 1870 / 1620 |
| 跑判层 | 真机行为 | FARM-IOS-Core 首印一件 | 1644 |
| 模判层 | 评审意见 | pr-lens 独苗；编制内 code-review、security-review 驻守 | 1817，编内不计星 |
| 供料层 | 不判定，只供证据 | jevgrep、terminal-code，存量还有 sentry、抓包三件套 | 2002 / 1997 |
两个编内注记补全这把尺子。其一，模判层自己承认测不准：编制内 code-review 的档位说明写明，高档「覆盖广但可能含存疑项」——模判是唯一把不确定度写进规格的判定方式（承 10-01 编制卷行级引文）。其二，最高风险的判定不进光谱：security-review 做成裸名直调，免描述即免误触发，审计动作必须有人按按钮——判定权可以外派，判定责任不能。这两条编内设计，社区件至今没有一件学会。
已有存档分的并列出示、不翻案，承存档复测纪律；本期只对从未开卷的 TLA+ 新打一卷。
| 件 | 判定层 | 轨迹印值 | 存档分 | 本期纸面判词 |
|---|---|---|---|---|
| Git-Agni/prod-FARM-IOS-Core | 跑判·真机 | 1644（10-02 首印） | 3.1（早场卷） | 判定权第二硬，准入第一高，候二印 |
| zenbu-labs/terminal-code | 供料·台面 | 1792(08-31)→1997(09-15)，此后未再进榜 | 3.4（早场卷） | 差三星，今日快照仍无新印，跨线与否继续挂账 |
| bespokelabsai/nimble | 考官·出卷 | 667(09-20)→1987(10-01)，十日+896 | 3.80/3.50（09-21/09-29 卷） | 冲高转匀速，差十三星候考 |
| TLA+（讨论线） | 数判 | HN 131 分（10-01），无星印值 | 无存档分 | 本期新开卷：3.1，见下节 |
对账行（只记新值，不重评）：jevgrep 1905(10-01)→2002(10-02)，单日+97，过线兑现；今日姊妹卷补了关键判词——它是本周唯一匀速无脉冲的大件，星数含金量高，两千线站得住的把握比脉冲件大。pr-lens 1770→1817，单日+47，回暖未放量，09-28 平台期判词继续暂缓。lint 1870（09-16 印）之后仍无新印，「三周无印值的原因」欠条未结。refactoring-ui-skill 537 之后继续脱榜。
定位（门牌承早场卷转印）：「A farm of real iPhones, run from your Mac」——把一排真 iPhone 插在 Mac 上当农场管，实时控制、批量自动化，TypeScript，1644 星首印即在高位。
亮点：放上判定光谱，它站在跑判层的最高格——真机格。推送、相机、按键、碎片化的 iOS 版本，这些题模拟器一律免考，只有真机能出卷；而「真机回归」过去是公司实验室的专属资产，它把这台考机的起价降到一台 Mac。更值得记的是它的上架位置：测试闸此前十期零新件，恢复供货的第一件不是又一个模拟器脚本，而是编制内没有的那一格——webapp-testing 已经把模拟跑判的位子坐了，社区要补就补真机格。供给侧在往光谱的硬端爬，这个取向比 1644 这个数字本身更值钱。
短板：准入是全场最高——先有 Mac，再有一排真 iPhone；首印单点无轨迹，增速成谜；门牌截断处不补写。纸面判词八个字：好考机，贵考场。判定权越硬的件服务半径越窄，这是它与数判层共同的宿命，区别只在贵的是钱还是数学。
定位：四十年工龄的形式化验证考官，10-01 被 HN 首页顶上榜，131 分。判定词是数学证明——通过就是通过，不可上诉，是整面光谱的天花板刻度。
亮点：它照出了货架的定价逻辑。需求侧认可它的权威（上首页即为证），但它没有星、没有架——10-01 卷的判词至今成立：「太重的考官下不了闸，太轻的考官还没出厂」。判定硬度与上手成本在它身上完全正相关，证明换不回装机量，这是光谱两端的第一条铁律。
短板：重——会用它的前置是会写规约，比配一排真机还贵；轻——就算下了闸，它考的也多是规约而非日常改动，多数 PR 轮不到它。本期新开纸面卷 3.1：功能五星、设计四星、实战二星、上手一星、活跃二星。它对读者的正确用法不是安装，是当尺子用：任何新件宣称「自动保证正确」，先问它离 TLA+ 那一格还差几层——差一层是营销，差四层是诚实。
一夜三件卡在同一根线上不是巧合，是工位性质：三件全部不判定对错。jevgrep 用「问功能」代替「搜关键词」，语义检索找码，改动一落地就要用它，离写码的手最近；terminal-code 门牌只有五个词「VS Code in the terminal」，给 Agent 铺终端台面，装上即用；nimble 在测试闸下层给决策模型出卷，十日+896 是全场最陡的星线。
三件的共同点是见效发生在改动进行时，而判定层的货（lint、FARM、TLA+）见效发生在改动完成之后——晚上岗一步，星线就平一截。早场卷测出的「日均十四星怠速」（terminal-code +13.7、ai-manager +14、pr-lens 平台期 +14，三个互不相干的件齐得像同一块仪表盘）放进光谱里多出一层含义：巡航速度是供料层的市场价，判定层的货连怠速都还没挂上挡。星是装机量投的票，装机发生在干活的时候，不发生在验收的时候——供需两端的错位，就是这面货架的形状。
重构闸十期零面孔，口径内唯一前任 refactoring-ui-skill 停在 537 星。此前各期归因于「没人做」，把判定光谱架上去能看到第二层原因：四闸里只有重构没有自己的判定层。
逐闸对一遍：审查有模判（pr-lens、编内 code-review），还有机判（lint）；测试有跑判（编内 webapp-testing、社区 FARM）；调试闸哪怕是空坑期也一直有供料件站岗（sentry、抓包三件套、x64dbg 先后到货）。重构的验收却是两头借——「没改坏」要借测试闸的跑判跑回归，「改好了」要借审查闸的模判加人的眼睛。编制内 simplify 把这件事写成了明文边界句：只管改，不抓 bug，抓 bug 去 /code-review（承 10-01 编制卷）。判定全靠借的工序，货站不住。
唯一到过货的子类恰好印证这条解释：UI 重构有自带对照物——改前改后两张图，人眼能判，所以《Refactoring UI》能被编译成技能件；逻辑代码重构连对照物都没有。早场卷把观察写成门牌建议（「优先写能被机器判伪的那种」），本期把它推进成货架诊断：想补重构闸，先给重构补判定层——行为不变的回归跑判去测试闸借调并固化成件，抽象层级站没站对楼的评审去模判层立户。判定层到货之日，才是重构件上架之时。
flowchart TD
A["待验收的改动"] --> B["数判层·证明"]
A --> C["机判层·规矩比对"]
A --> D["跑判层·真机执行"]
A --> E["模判层·评审意见"]
A --> F["供料层·找码开台"]
B --> B1["TLA+ 榜外"]
C --> C1["lint 独苗 1870"]
D --> D1["FARM 首印 1644"]
E --> E1["pr-lens 独苗 1817"]
F --> F1["两千线上挤三件"]
重构闸的判定全是借的：
flowchart TD
R["重构闸 动存量代码"] -->|没改坏| T["借测试闸 跑回归"]
R -->|改好了| V["借审查闸 模判"]
R -->|站对楼层| S["altitude 人审"]
T -->|回归不过| F["递回重写"]
V -->|存疑| F
S --> X["最终人眼定夺"]
# 供料层：语义找码（承今日卷口径）
npx skills add dzhng/jevgrep
# 机判层、跑判层、供料层台面（克隆为本栏通用写法，接入以各自 README 为准）
git clone --depth 1 https://github.com/shadcn-ui/lint
git clone --depth 1 https://github.com/Git-Agni/prod-FARM-IOS-Core
git clone --depth 1 https://github.com/zenbu-labs/terminal-code
# 编制内模判与验收：随 Claude Code 出厂，会话内直调
/code-review --comment # 发现贴成 PR 行内评论，--fix 则落工作区
/simplify # 只清理不抓 bug
# verify 不用敲：说「跑起来验证这个改动」即触发
# 数判层：无门牌印值，入口以本站 10-01 卷存档为准，不编命令
[!tip] 51学通信知识星球 星主：爱卫生（微信：gprshome201101）——公众号「51学通信」创办者，19 年通信行业运维与讲师经验，著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书（各大电商平台有售）。 星球定位：深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域，主打运维岗位与信令分析。 当前规模：5200 篇主题 / 990 个回答，198 元/年。 加入福利：加入星球后请加爱卫生微信，拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题，另有群内分享。 AI 加持：51学通信知识星球已作为 skill 接入 WorkBuddy，使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例，做总结、找文档和 PPT 等场景全覆盖。