論述基礎與限制

本卡由一個併行專案的七輪探針量測抽出，同批的其餘診斷見 #351 與 #352。量測形態是低階探針讀一份規範文字後作答，由兩名獨立判定者判讀，可觀測的有四項：判定值、依據句原文、引用了哪幾款、有沒有實際套用。

三個形態的證據強度不同。主觀要件那一項有直接讀數：三輪的自陳欄都回報「沒有讀出兩種以上可能的判定」，而同輪的判定值是錯的。極性詞那一項有單變項序列：第一版處置（改成直述句）驗不過，第二版（整段廢除並明文禁用）通過。雙重否定那一項只有一次改文的觀察，「三處並存才失效、單處不失效」這個門檻沒有量過。

限制：單一條文集合、單一探針配置。三個形態被歸為同一個機制是本卡的推論，來源那邊是分開記的。

核心原則

一條要件寫成讀者的主觀狀態時，它在最需要它的人身上不會觸發。 「無法判定時」「有疑義時」「不確定時」「判斷不出來的話」這類條件，要讀者先承認自己處於那個狀態，而誤讀的定義就是他不認為自己誤讀。

實測那一款原本寫「無法判定時，視為……」。三輪的自陳欄都填「是否讀出兩種以上可能判定：否」——它們的判定值錯了，而它們沒有察覺，所以那個條款的前提在它們身上從未成立。條款存在，措辭清楚，而它保護的正好是走不到它的那些人。

處置是把要件換成外部可查的條件。 那一款改為「該歸屬有沒有清單字面或界定句的直接支持」——這個條件的真假由文件的內容決定，不由讀者的自我評估決定。同一次改動還加了一句擋住回流的話：判定者自認顯然成立，不改變本款結果。少了這一句，讀者會用「我覺得這裡很明顯」把外部條件再繞回主觀狀態。

第二個形態：極性詞是讀者自行附加的

讀者會替沒有極性的判定點自己補上極性，所以把極性詞改成直述句不足以消除它。 實測那一款以「成立／不成立」命名兩個判定點，有讀者把極性讀反並反向再現整個結論。

第一版處置是改成直述句，驗不過——讀者仍然在直述句上自行加回「成立／不成立」。定案的處置是整段廢除極性詞並明文禁用，也就是把那個詞從可用的詞彙裡移除，而不是換一種寫法。

這一步揭露的是措辭與詞彙的差別：換寫法留下了那個概念，而讀者會用自己順手的標籤去指稱它；廢除加禁用才動到概念本身。

第三個形態：雙重否定會連帶擴散，所以要全庫一次清完

同一份文件裡的雙重否定殘留會互相支撐，清一處不夠。 「不使第一點不成立」這類連鎖否定單獨讀還解得開，而同一份文件有三處並存時，讀者會在其中一處取到與本意相反的極性，然後把那個極性帶到其他款次。

實測的處置是一次改文清掉三處。這一項與極性詞那一項接在一起才完整：廢除一個款次的極性詞而別處還留著，讀者仍然取得到舊極性。

三個形態共用同一個機制

讀者會把規則沒有給定的東西自己補上，而規則的措辭決定他有沒有那個空間。 主觀要件給了他評估自己的空間，極性詞給了他貼標籤的空間，雙重否定給了他挑一個方向的空間。三者的處置因此同向——把由讀者填的那一格換成由文件填。

這一條有一個直接的推論：自陳欄的價值在它與比對欄不一致的時候才浮現，它自己說了什麼不構成證據。實測那三輪的自陳欄全部回報沒有疑義，而判定值是錯的；若當初只讀自陳欄，那一款會被記為「不適用，因為沒有人遇到無法判定的情形」。

沒這樣做的麻煩

條款會以「從來沒有被觸發過」的形式長期存在，而那個紀錄讀起來像「這個情形很罕見」。兩者在盤點表上同形：真的罕見，與結構上不可能觸發，都表現為零次。

第二層代價落在後續的改動上。零觸發的條款會被當成低風險而留著，於是每一次改文都要繞過它、每一份引用都要涵蓋它，而它從來沒有做過任何功。

判讀徵兆

  • 某個條款處理的是「不確定」「無法判定」「有疑義」的情形，而它從來沒有被執行過
  • 自陳欄回報沒有疑義，而同一輪的判定值是錯的
  • 某個判定點用「成立／不成立」「是／否」「通過／不通過」命名，而讀者的結論出現反向再現
  • 一份文件裡有兩處以上的雙重否定，而它們分屬不同款次
  • 改寫成直述句之後，同一個誤讀照樣發生
  • 盤點表上某一列是零次，而沒有人問過它是罕見還是不可觸發

跟其他抽象層原則的關係

  • #348 規範文字的效力由它在讀者程序裡的位置決定：同一份條文的兩個獨立失效軸。那張問這一款在讀者的程序裡排第幾，本卡問它的要件在讀者身上成不成立；兩者都會產生零效力而處置完全不同——位置問題靠前移解決，要件問題前移之後照樣不觸發。順序是先查引用（位置），引用正常而行為沒變才查要件。
  • #243 要求執行者做判定的規則，要一併規定判定留下什麼痕跡：那張卡說規則會沿著零後續動作的結論塌陷，本卡給那個機制一個更難察覺的版本——這裡的執行者沒有選擇最省力的分支，他根本不知道有分支。所以那張卡的痕跡要求在這裡只能記錄到「判定為不適用」，而那個判定完全合規。痕跡讓問題可見，改要件才讓它消失。
  • #281 理解檢查用低階 model 取樣讀者的實際理解：本卡是它「自評欄與比對欄分開讀」那一條最尖銳的實例。自陳欄與判定值在同一輪相反，而只讀自陳欄會得到與事實相反的結論。
  • #351 條文可以有負效力，而結構說明是最隱形的那一種：同批的鄰居，兩張合起來是條文失效的三格——不觸發（本卡）、觸發了沒有作用、觸發了把讀者推向錯的方向（那張）。評估一款零效力時三格都要過一次，因為它們的處置分別是改要件、改位置、刪掉它。