論述基礎與限制

本卡由一個併行專案的七輪探針量測抽出，同批另見 #350 與 #352。量測形態是低階探針讀規範文字後作答，兩名獨立判定者判讀依據句與實際套用。

兩個形態的證據不同。負效力通路那一項是推導加分類：把讀者依回答形態分類之後，指出其中一類若讀到該支會從正確翻成錯誤，而「該類讀者實際讀到它之後翻面」沒有直接讀數——該支的引用率是零，所以那個翻面沒有發生過。後設資訊旁路那一項有前後對照：加入該句的那一輪，兩名判定者各自走了被它禁止的那條路；刪除之後三輪皆以正面觸發條件命中，無一走排除法。

限制：單一條文集合。第一個形態的因果由分類推出、未觀測；第二個形態的「刪除即解」只有一次三輪的對照，沒有第二個位置重複驗證。

核心原則

一款條文的效力有正負號，而零引用讀起來像中性。 盤點到某一款從未被引用時，最順的兩個結論是「題材沒觸及它」與「它寫得不夠清楚」，兩者都預設它被觸及會有幫助。第三種可能是它被觸及會讓結果更差，而那一種在零引用的數字上看不出來。

所以評估一款的零引用之前，先問它被引用會發生什麼。 這個問句的成本是一次推演，而它決定處置的方向：搬位置（讓它被走到）與刪掉它（別讓它被走到）是相反的動作，而零引用對兩者同等相容。

實測的那一款有一支，會把原本答對的讀者推向答錯——把讀者依回答形態分類之後，其中一類（否決了誤指派、但沒有自陳他依據的假設）若讀到該支，就會從「否決」轉成「接受」。該款因此不只是無效，它有一條負效力的通路。先前把它的零引用純粹當成「題材沒有觸及」，沒有想過觸及了可能更糟。

最隱形的那一種：結構說明本身是一條旁路

寫出「這裡有幾種、互斥、窮盡」等於交給讀者一張走捷徑的地圖。 實測那一次改文寫入的是一句防守用的話：「本款的結論只有三種，互斥且窮盡，不得由排除其中一種逕行認定另一種」。它想擋的正是排除法。

同一輪的推導證明它零效力——兩名判定者各自走的都是被它禁止的那條路。 而刪除它最強的理由是反直覺的那一條：那句話自己就是旁路。它交代了「存在第三格，且與另兩格互斥且窮盡」，而讀者拿這個後設資訊去做排除法——排除掉兩格就得到第三格，不需要知道第三格的觸發條件是什麼。

禁止語與它附帶的結構說明綁在同一句裡，所以那一句同時禁止了排除法並提供了排除法所需的全部前提。讀者取用前半還是後半由他的成本決定，而後半更便宜。

刪除之後的三輪全部以正面觸發條件命中第三格，無一走排除法，而可讀性沒有下降。

為什麼禁止語無效而正面觸發條件有效

禁止語要求讀者在得到答案之後回頭否決自己，正面觸發條件讓他一開始就走另一條路。 排除法之所以被選中，是因為它比逐格查觸發條件便宜；一句禁止不改變那個價差，只是要求讀者付了便宜的成本之後把結果丟掉。

要防排除法，靠的是每一格各有正面觸發條件，不是加一句禁止排除法。 每一格都有自己的入口時，逐格查就跟排除法一樣便宜，於是不需要禁止。

這一條把「補痕跡、別補語氣」推進一階。#243 指出「務必認真執行」這類語氣詞不改變產物、所以不改變任何事；本卡的禁止語不只沒有改變產物，它還附帶交出了它要防的那條路徑的地圖。語氣詞是零，結構說明是負的。

處置

盤點零引用的條款時，每一款寫下一句「它被引用會發生什麼」。 三種答案對應三種處置：有幫助的搬位置、沒作用的刪掉、會讓結果更差的優先刪掉。

要擋某條推理捷徑時，不要寫出那條捷徑需要的前提。 具體說，不要在條文裡宣告某組結論的個數、互斥性或窮盡性——那三項正好是排除法的全部輸入。

每一格各給一個正面的觸發條件。 這是上一條的配套：拿掉結構說明之後，讀者要有別的路可以走到每一格。

刪除之後複驗依據句，而不只複驗判定值。 判定值可能在刪除前後都正確，而依據句會顯示讀者走的是哪一條路。實測就是靠依據句才確認「無一走排除法」。

判讀徵兆

  • 某一款零引用，而檢討只考慮了「題材沒觸及」與「寫得不夠清楚」兩種成因
  • 條文裡有一句同時禁止某種推理並交代那種推理所需的前提
  • 某句禁止語加入之後，同一輪的推導走的正是它禁止的路
  • 某組結論在條文裡被宣告為互斥且窮盡，而其中某一格沒有自己的觸發條件
  • 處置寫成「加一句禁止」，而那一句沒有改變任何人要付的成本
  • 盤點零引用的產出是一張要搬位置的清單，裡面沒有一款被判定為該刪

跟其他抽象層原則的關係

  • #243 要求執行者做判定的規則，要一併規定判定留下什麼痕跡：那張卡的省力路徑推演在本卡有一個更糟的結果——規則不只沒有擋住那條路徑，它自己鋪了那條路徑。那裡的三個問題（想少做事的人會怎麼合規執行、差多少、規則有沒有擋住）在本卡多第四個：這條規則有沒有交代那條省力路徑需要的前提。
  • #348 規範文字的效力由它在讀者程序裡的位置決定：那張卡把零引用讀成位置問題而處置是前移，本卡指出零引用有一類的處置是刪除，方向相反。兩張要照順序用：先問它被引用會發生什麼（本卡），答案是有幫助才進位置判斷（那張）。順序顛倒會把一條負效力通路搬到讀者一定會走到的地方。
  • #350 以讀者主觀狀態為要件的條款，在最需要它的人身上不觸發：同批的鄰居。兩張合起來是條文零效力的三格——不觸發、觸發了沒作用、觸發了把讀者推向錯的方向——而三格的處置分別是改要件、改位置、刪掉它。
  • #334 代理比本體便宜：排除法是逐格查觸發條件的代理，而本卡的處置形態正是那張卡指定的那一種——改成本結構（給每一格一個一樣便宜的入口），不是加一句要求。禁止語屬於那張卡說了無效的「下次更仔細」家族。