桌面浏览器放行了规范禁止的东西，于是那条路看起来是通的 —

昨天那位安卓 Edge 用户装上了新版本，然后贴回来一句新的报错：

import() is disallowed on ServiceWorkerGlobalScope
by the HTML specification.

规范确实是这么写的。service worker 里不许动态加载模块。而桌面 Chrome 与 Edge 给扩展开了口子，安卓 Edge 没有，它照规范办事。

于是 Chrome 那条路，也是靠一个规范禁止的特性才通的

引入它的正是前一天那道宿主接缝：「抓取跑在哪儿」要按能力挑一个实现，而那段代码两条分支都写成了动态加载。

只有 Firefox 那条需要动态：

分支	为什么
Firefox 那条必须动态	它会把整条抓取链拉进当前上下文——那正是它要的，因为后台就是页面。静态引的话，Chrome 的 service worker 会把整条链一起拖进来，而那些代码一加载就注册监听器、起线程。
Chrome 那条只能静态	它只引一堆常量，零副作用，拉进 service worker 没有任何代价 ——上一个版本就是这么写的。

所以这一版之前，桌面上从来看不出问题：那条路一直走得通，只是它走的是一条规范说不许走的路，而手边的浏览器恰好不拦。

一个上下文放行了规范禁止的东西，不等于那条路是通的。 判据要按规范写，而不是按手边那个浏览器的宽容度写——而手边那个，正是唯一跑得起来的那个。

接缝旁边有一条测试，写的是「这三个模块不许被 service worker 静态拉进去」。前两个是对的，第三个把那条规则多推了一个模块 ——它保护的是「那个文件一加载就有副作用」，而被多推的那个没有副作用。

于是这条测试钉住了「唯一正确的写法是错的」：改回去，它就红。

这个项目记过两次「测试比它描述的行为活得久」，但形状不一样：那两次是行为变了、测试没跟上。这一次是规则被推广到了一个不该管的对象上，而推广的那一刻，测试是绿的。

原来的代码会走进那个被禁的加载，于是把规范原文丢给用户。 这正是前一天那个形状原样重演——一句完全正确的话，指向一条修不好的路：看到「规范不允许」，用户只会去重装扩展。

现在它直接说：这个浏览器跑不了抓取、缺的是什么、不是登录问题也不是重装能解决的、去哪儿报。

写那条测试时还有个小插曲：反向断言的第一版写的是「消息里不许出现『登录』二字」， 它当场把自己判红了——因为这句话正需要说「不是登录问题」。禁一个词禁的是字面，要的却是「别把人送回那条修不好的路」，而做到这件事最好的办法，恰恰是把那条路点名否掉。

只挡「动态加载」是给自己打补丁。这一类的形状更大： 在某个上下文里用了那儿根本没有、或规范禁止的东西，而手边这台浏览器放行了。

入口	跑在哪儿	挡什么
后台脚本	Chrome 是 service worker，Firefox 是事件页	两者的交集：网页那一套、起线程、动态加载，外加只有 service worker 才有的那几样
三个专用线程	专用线程	网页那一套

实测：后台那张图 18 个模块，四类判据一共命中 1 处（就是 Firefox 那条分支）；三个线程那边0 处。所以这张表今天是严格的，只有一条点名的例外。

四条让它不至于变成摆设的判据，每条都验过：

例外按「哪个文件、加载哪个目标」点名。只按文件放行的话，这次的回归会被自己的例外放过去——它在同一个文件里对另一个目标也用了动态加载。
入口不在测试里抄。后台那个从两份配置文件里读（并断言两边还是同一个文件 ——「取交集」这个前提只有那时才成立），线程那些从代码里的调用点读。加第四个会自动进表。
每条判据自带一段必须命中、一段必须不命中的样例，而且跑的是真检查那条管道。 这当场抓到我自己写的两个毛病：其中一条判据的信号藏在字符串里，而检查会先把字符串抹掉——它永远不可能命中。
例外不许多余。哪天那条分支不再需要，例外必须一起删。一个没人需要的例外就是一个洞，而它看起来像有人想过。