宣稱可機械執行的條文，要先把中文允許不決定的那幾項決定掉

2026-09-04

論述基礎與限制

本卡從一次翻譯探針的兩處分歧抽出，對象是一份自稱可機械執行的規則條文。兩處實例；未盤點中文還有哪些語法項會落進同一個缺口，所以本卡列出的兩項是已知形態、不是窮舉。

「可機械執行」是一個宣稱，它要求兩個執行者拿同一條規則與同一份輸入得到同一個判定。 條文寫成中文時，有幾個語義參數中文允許留在語法之外，而規則文件的讀者補得比誰都順——他們自帶答案，作者的意圖對他們是可得的。所以人工審查通不過這一關。

已知的兩項是基數與否定的轄域。 兩者的共通結構是中文把一個必須決定的語義參數留在語法之外，而讀者用上下文補。

基數：「每個排列關係都對應到一個容器元件」。這句話在中文裡不決定是至少一個還是恰好一個，而兩者的判定結果不同——一個關係對到兩個元件時，前者通過、後者不通過。該條自稱是可機械執行的存在性檢查，而它連要檢查什麼都還沒定下來。

否定的轄域：「排列不變式不裁」。中文的「不」加單音節動詞可以是「不執行這個動作」，也可以是「不施加這個要求」。在規則文裡這兩個讀法分別代表「保留它」與「可以不填」，方向相反。

翻譯探針對這兩項有效，因為英文對兩項都強制決定：a / the / exactly one，以及 does not cut / does not require。份與份之間的分歧就是位置。

判讀有一個限制要記住：這一類的分歧不會出現在探針自己的決策清單裡。 實測那個語意相反的一處未進入任何一份決策清單——譯者當下沒有意識到自己在決定，所以他也不會把它列成「原文沒有給出而我必須決定的東西」。判讀因此要把譯文並排逐句對照；只讀決策清單，漏掉的正是最嚴重的那些。

基數寫成「恰好一個」或「至少一個」。 判定的邊界個案因此明確：一個關係對到兩個元件時，哪一個寫法讓它通過。

否定式動詞換成不可雙讀的形式。 「排列不變式不裁」改成「排列不變式仍須填，不隨欄位一併縮減」——前半句給正向的要求，後半句才處理否定，兩個讀法都被關掉。

把「可機械執行」當成待驗的宣稱。 驗法是拿一個邊界個案走一遍：關係對到兩個元件、欄位被縮減。兩個人各走一次比對判定，判定不同就是條文還沒關上。

翻譯探針：中文可以不決定的，英文強制決定 — 偵測方法的來源，而本卡指出它的一個判讀限制：這兩項的分歧不進決策清單、只在譯文並排時現形，所以「決策清單很短」不代表原文乾淨。
規則要指到一個打得開的東西 — 同一個成因的兩個失效端。那一張是規則的指涉端（照它工作的第一個動作指不出來），本卡是規則的判定端（照它工作的判定結果因人而異）；共通的成因是規則文件的讀者全部自帶答案，補完發生在讀者那一側而且無聲。
語句要在它的消費單位內資訊自足 — 那一張的四個條件（命題完整、指涉閉合、實詞可反推、一句一命題）判不到量詞與否定轄域，因為這兩項在中文裡看起來已經完整：主詞、謂語、對象、條件全部在場，缺的是一個中文不要求出現的參數。