# 两千线上挤三件，判官位空着——开发者效率象限第3轮·夜场 ## 概述 本栏早场已把 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 之后继续脱榜**。 ## 三、主拆一：FARM-IOS-Core，判定权最硬的在册货 **定位**（门牌承早场卷转印）：「A farm of real iPhones, run from your Mac」——把一排真 iPhone 插在 Mac 上当农场管，实时控制、批量自动化，TypeScript，1644 星首印即在高位。 **亮点**：放上判定光谱，它站在跑判层的最高格——真机格。推送、相机、按键、碎片化的 iOS 版本，这些题模拟器一律免考，只有真机能出卷；而「真机回归」过去是公司实验室的专属资产，它把这台考机的起价降到一台 Mac。更值得记的是它的上架位置：测试闸此前十期零新件，恢复供货的第一件不是又一个模拟器脚本，而是编制内没有的那一格——webapp-testing 已经把模拟跑判的位子坐了，社区要补就补真机格。**供给侧在往光谱的硬端爬，这个取向比 1644 这个数字本身更值钱。** **短板**：准入是全场最高——先有 Mac，再有一排真 iPhone；首印单点无轨迹，增速成谜；门牌截断处不补写。纸面判词八个字：好考机，贵考场。判定权越硬的件服务半径越窄，这是它与数判层共同的宿命，区别只在贵的是钱还是数学。 ## 四、主拆二：TLA+，131 分为什么换不来一颗星 **定位**：四十年工龄的形式化验证考官，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》能被编译成技能件；逻辑代码重构连对照物都没有。早场卷把观察写成门牌建议（「优先写能被机器判伪的那种」），本期把它推进成货架诊断：想补重构闸，先给重构补判定层——行为不变的回归跑判去测试闸借调并固化成件，抽象层级站没站对楼的评审去模判层立户。判定层到货之日，才是重构件上架之时。 ## 七、全景图 ```mermaid 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["两千线上挤三件"] ``` 重构闸的判定全是借的： ```mermaid flowchart TD R["重构闸 动存量代码"] -->|没改坏| T["借测试闸 跑回归"] R -->|改好了| V["借审查闸 模判"] R -->|站对楼层| S["altitude 人审"] T -->|回归不过| F["递回重写"] V -->|存疑| F S --> X["最终人眼定夺"] ``` ## 八、安装 / 使用命令 ```bash # 供料层：语义找码（承今日卷口径） 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 卷存档为准，不编命令 ``` ## 九、推荐排行榜 - **判定硬度榜**：TLA+（证明）＞ FARM-IOS-Core（真机）＞ lint（规则回判）＞ webapp-testing（模拟跑判，编内）＞ pr-lens／code-review（模判）＞ jevgrep／terminal-code（不判） - **10-02 星值榜**：jevgrep 2002 ＞ terminal-code 1997 ＞ nimble 1987 ＞ lint 1870 ＞ pr-lens 1817 ＞ FARM-IOS-Core 1644 ＞ cn 1620 ＞ refactoring-ui-skill 537 - **离手距离榜（越近星越多）**：terminal-code／jevgrep ＞ nimble ＞ lint ＞ pr-lens ＞ FARM-IOS-Core - **空位清单（给写件人，越靠前越缺）**：机判层第二件（lint 之外任何可机器回判的规矩域）＞ 重构闸的判定层（回归跑判固件 + 抽象层级评审件）＞ 跑判层模拟格的社区替身 ＞ 数判层的轻量格式（太重的下不了闸，太轻的还没出厂） ## 参考来源 1. 本站 10-02 期《拆shadcn-ui/lint：规矩写给Agent看》 — 早场卷：lint/cn/FARM-IOS-Core/refactoring-ui-skill/terminal-code 印值、门牌原文、存档分与四笔对账欠条 2. 本站 10-01 期《TLA+上首页：效率四闸考官对账》 — TLA+ HN 131 分、考官件花名册、nimble 与 pr-lens 轨迹前值、「太重下不了闸」判词 3. 本站 10-01 期《效率件进了编制：官方四闸拆解》 — 编制内 code-review/simplify/verify/security-review 描述行级引文 4. 本站 10-02 期《一千一百星，门牌空着》 — jevgrep 匀速破两千判词、pr-lens 平台期续判 5. 本站 10-02 期《货架一周挤进三根撬棍》 — 评审循环沉淀为生成件默认架构的跨品类旁证 6. 仓库门牌页（承存档转印）：[shadcn-ui/lint](https://github.com/shadcn-ui/lint)、[Git-Agni/prod-FARM-IOS-Core](https://github.com/Git-Agni/prod-FARM-IOS-Core)、[zenbu-labs/terminal-code](https://github.com/zenbu-labs/terminal-code)、[dzhng/jevgrep](https://github.com/dzhng/jevgrep)、[bespokelabsai/nimble](https://github.com/bespokelabsai/nimble)、[coldteadotai/pr-lens](https://github.com/coldteadotai/pr-lens) > [!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 等场景全覆盖。