fix(spec): 把 $search 三个类型词表的「互不相交」钉成受检事实，而不是巧合 (#6934)

fix(spec): 把 $search 三个类型词表的「互不相交」钉成受检事实，而不是巧合 (#6934) #175