論述基礎與限制

本卡從兩次全站術語替換抽出。第一次的對象是「判準」，3007 處、813 個檔；第二次是「站得住」，97 處、53 個檔。兩個詞的共同點是作者寫了幾百次之後對它們已經沒有陌生感，而任何一次自審都不會把它們列成候選。

兩次的偵測都來自量測而不是閱讀。做法是派五個互不通訊的低階模型，各自定義同一個詞，看定義收不收斂——「判準」五份全部回報無法對到工程領域的通用說法，其中兩份直接寫「沒見過這個詞」。

限制有兩層。這個方法量的是詞面在目標語域裡有沒有穩定所指，不量它對不對：一個詞可以完全正確而不通用，也可以通用而用錯。收斂本身要先被驗證：沒有控制詞的話，五份都答不出來與五份模型能力不足在報告上長得一樣。

推翻方式很具體：拿一個公認的通用術語跑同一批探針而它也分歧，這批探針的分歧就不可歸因到詞，本卡對那一批不成立——這也正是控制詞存在的理由。

核心原則

一個詞在某個領域是不是通用術語，作者判斷不了，要用多份獨立定義的收斂度去量。 判斷的障礙是熟悉度而不是知識：寫過幾百次的詞在作者腦中已經有穩定的所指，而那個所指是作者自己給的，不是領域給的。低階模型在這個用途上是條件而不是妥協——推理能力越強，越會從上下文推出一個合理的定義，非通用性因此被填平而不現形。

控制詞決定這一批算不算數。 一批探針要同時測未知詞與至少兩個已知通用的術語，混在同一份指令裡、不標示哪個是控制。控制詞收斂，代表這批的能力足夠、測試詞的分歧可以歸因到詞本身；控制詞也分歧，這批的結果整批作廢。少了這一步，「五份都說不出來」這個結果有兩個互相排斥的解釋而報告分不出來。

回答的形態要分三類讀，不只看收不收斂。 五份收斂到同一個定義是通用術語；五份各給不同定義而都有把握是一名多義，處置是拆開或就地界定；五份回報「不確定 / 沒見過 / 像是自造」才是非通用。第二類與第三類的處置完全不同，而只看收斂度會把它們合成一類。

反模式：把語域錯配寫成自創詞

非通用與自創是兩件事。「判準」是真實存在的中文詞，住址在科學哲學（「分界判準」、「意義判準」）與教育評量（「評分判準」，即 rubric）；它在工程寫作裡讀不出來，是因為讀者不在那兩個領域裡，不是因為沒有人用過它。

兩者的處置相同——都是換掉——所以這個歸因錯誤不影響當次動作，也因此特別容易留著。它的代價落在紀錄上：檢討寫成「自創詞」時，下一個人會去查是誰造的而查不到，然後把整條結論當成不可靠。歸因的判斷標準是一條查證：這個詞在別的領域有沒有穩定用法。有就是語域錯配，沒有才是自造。

同一組方法也適用於口語譬喻。「站得住」問的是它算不算正式書面語，而不是它是不是術語——而兩者是同一個問題的兩面：這個詞面在目標語域裡有沒有穩定的所指。

修法

替換要按義項走，不能一條指令掃全站。 反覆使用多年的詞在站內通常已經長出好幾個所指。「判準」有五種：動作修飾語（選型、拆分、建卡）、狀態義（完成、升級、適用）、事物性修飾語（技術、設計、測試）、動詞帶賓語（壓縮、承擔）、以及專有概念（test oracle）。單一替換詞會在其中三種上讀成別的意思——「技術判準」壓成「技術標準」會被讀成規格。

先列詞形分佈再決定對映。 把左右各兩三個字連同該詞一起取出來分組計數，分組的結果就是義項的候選清單。這一步的成本是一條指令，而跳過它就只能用一個預設值賭全部。

分組指令本身要先驗一次：某些環境的 sort / uniq 在 UTF-8 locale 下會把中文字串視為等值，把所有詞形塌成一組並回報一個等於總出現次數的數字——那個數字會與另一條獨立指令算出的總數自洽，讀起來像驗證過的結果，而它給的結論（全部是裸用、沒有複合詞）正好會讓人選單一替換詞掃全站。驗法是餵三個已知不同的中文字串進去，看有沒有回報三組；回報一組就強制 byte 比較再跑。

分不出義項的那一群給最長的展開式。 展開式較長而永遠不會被讀錯；縮寫式較短而在部分義項上會碰撞。預設值選展開式，縮寫只給確定安全的那幾組。

有英文詞而無可靠中譯時，直接用英文並連回知識卡。 這是知識卡存在的理由之一——硬翻會製造第二個非通用詞，而那個新詞下一輪還要再換一次。實例是 test oracle：五份探針對三個候選中譯全部分歧，卡名因此改用英文，內文的指涉直接寫 oracle。

新的關鍵詞進 grep 清單之前跑一次入選判斷。 「站得住」進了清單，因為技術寫作裡它幾乎沒有字面義；「站穩」評估後沒進——實際用法多數合規（攻擊鏈的階段名、「」內引用、就地展開的類比），收進去只會製造假陽性。

判讀徵兆

這條原則什麼時候不成立

領域本身還沒有共識術語的新概念不成立。那裡的探針分歧反映的是領域的狀態而不是這個詞的問題，處置是建卡定義它，不是換詞。

專案內部刻意定義的術語不成立，前提是站內有一個定義段而且它被連得到。這種詞對探針一定分歧——它本來就不在任何語料裡。

外部凍結的名稱不成立：規格名、法條名、產品名、書名照抄，探針對它們的分歧沒有處置。

跟其他抽象層原則的關係

#281 理解檢查用低階 model 取樣讀者的實際理解 是本卡的母卡，兩者共用同一套派發紀律（指令逐字相同、不給審查框架、明令標記不確定、問理解不問評價）。差別在量測對象與歸因方向：#281 量的是一段文字被帶走了什麼、歸因要回原文找證據；本卡量的是一個詞在語域裡有沒有所指、歸因要去別的領域查用法。#281 的五種用途都問「讀者讀到什麼」，本卡問的是「這個詞面本身有沒有共識」，所以它可以脫離任何一篇文章單獨跑。

#286 翻譯強制消歧 是同一個家族的另一個成員，機制相同而施力點不同：那裡靠換輸出語言逼出中文允許不決定的語法項，這裡靠換提問對象逼出作者已經失去陌生感的詞。兩者都用份與份之間的分歧當訊號，也都要先有一個對照才能證明分歧可歸因——那裡是命題層要先收斂，這裡是控制詞。

#234 用詞要貼合概念的屬性 給的是判斷標準（問這個動詞照字面成立需要什麼物理條件），本卡給的是偵測。兩者的分工跟 #267 與它的清單一樣：那一張說明「站得住」為什麼該換，本卡說明它為什麼一直沒被發現——判斷標準要先有人把某個詞列成候選才會被套用，而作者對自己的高頻用詞列不出候選。

#267 關鍵字清單只收違規義項佔多數的詞 管的是探針的產出往 grep 清單走的那一段。本卡新增的候選要先過它的入選判斷才進清單——「站得住」過了、「站穩」沒過，而兩者是同一次量測抓出來的。

#149 命中是候選不是判決 的不對稱在這裡以另一個形態出現：探針的回報跟 grep 的命中一樣是候選，中間隔著一個歸因步驟。差別在這裡的歸因要離開稿件去查別的領域，而不是回原文找字串。

#290 譯者拿得到作者的意圖時，最該被偵測的那一類歧義會被安靜譯對 是同一個獨立性要求在另一個受測單位上的形態。本卡的對應設計是控制詞（證明分歧可歸因到詞），那裡是脈絡隔離（證明分歧可歸因到文字）。兩者要防的是同一件事：報告上的分歧或收斂，來自受測對象還是來自量測條件。

#291 掃描指令壞掉時不會報錯，它報一個數字 把本卡修法段的一個特例（詞形分組指令要先驗）一般化到所有驅動改動的掃描。本卡的控制詞與那裡的探測輸入是同一個設計：先用已知答案證明工具會動，再拿它去量未知——差別只在這裡量的是模型、那裡量的是指令。

• #304 探針回報的信心與它的準確度是兩個量：同一種分欄紀律的另一個形態。本卡用控制詞分開「這批可信」與「這個詞有問題」，那張卡分開「探針覺得自己答得出來」與「它答對了」。

• #307 收斂度分不出無主的詞與已經有主人的詞：限定本卡歸因段的射程。本卡的判斷標準問「這個詞在別的領域有沒有穩定用法」，那個問句預設了它在目標領域沒有所指；同一個領域裡已經有主人的形態落在預設之外，而它在收斂度上與非通用詞長得一樣。那張卡的處置比語域錯配與自造都嚴格——後兩者可以就地定義後留用，同域佔用不行。

• #370 借用中文日常詞當術語譯名的誤讀：補本卡沒處理的一個偏差。本卡用收斂度判通用，而模型對某個譯名的熟悉度可能來自另一個語域的語料（簡體中文把 cursor 寫成游标），探針報告「約定俗成」時要先問常見在哪一種中文的語料。另一個交界是本卡的「有英文詞而無可靠中譯時直接用英文」：#370 要求這類詞第一次出現仍附一句中文描述，讀者手上才不是只有英文。

• #309 探針讀得到定義那個詞的系統提示，量到的就不是語域：限定本卡的執行條件。本卡的方法預設探針手上只有它既有的知識，而在專案目錄下派 subagent 這個最常見的做法不滿足這個預設——規範檔會自動進入它的提示，而值得量的詞多半就寫在那裡面。設計條件因此要多一條：測試詞不能出現在探針讀得到的提示裡，或同批放一個安慰劑詞。控制詞對這一種無感，因為通用詞讀不讀得到提示都收斂。