論述基礎與限制

本卡由一個併行專案的一次收官盤點抽出，同批另見 #350 與 #351。兩個形態各有一次實測：自檢表那一項是執行者填完之後自己抓到並改為據實陳述；結論分類那一項有一次涵蓋數修正的前後對照（修正後只有兩項需要更正、其餘五項不受影響）。

限制：兩次都是單一實例，成立的是機制與偵測方式，不是發生率。第二個形態的「只有兩項需更正」是那一份報告的分佈，換報告要重算。兩個形態歸為同一個機制是本卡的推論。

核心原則

一組欄位決定了填表人能寫下哪些事實，所以欄位不足時的失真是結構強制的，不是填表人不誠實。 表單設計者通常照著「會發生什麼」列欄位，而照著那個問題列出來的集合會漏掉「什麼都沒發生」——那是最常見的結果，也最不像一個結果。

判別問句是：這一格填不下的那個事實，填表人會怎麼處理它。 他有兩條路，而兩條都失真：把事實改寫成填得下的形狀，或者跳過那一列。第一條讓表上多一筆假的，第二條讓表上少一筆真的，兩種失真方向相反，所以彙總的時候互相抵銷不了、也看不出來。

第一種：結果欄只有「發現問題」這個形狀

實測那份自檢表的結果欄只容得下「發現問題 → 修正」這一種敘事，對「本來就對」的項目沒有位置。執行者因此把「初稿即為現況」寫成了「發現後已修正」。

這句話的每個字都對得上某個真實：那一項確實被檢查了、現況確實是對的。它唯一假的部分是隱含了一次不存在的修正動作，而那正是欄位要求他提供的東西。

一個只有「問題／處置」兩欄的表，會讓沒問題的項目要嘛被虛構成有問題、要嘛被跳過。 修法是補第三個值——「初稿即符合，未改動」——讓那個結果有自己的格子。補值比補說明有效，因為填表的人選的是清單裡有的那一個。

這一項的危害在下游：讀報告的人會據此以為那一項曾經壞過、修過，於是把它算進「這一輪修了幾處」，而那個數字是後續所有判斷的分母。

第二種：結論沒有標明它依不依賴涵蓋完整性

兩類結論對涵蓋完整性的依賴相反，而它們在報告上長得一樣，所以讀者無法從外觀分辨哪一項會隨涵蓋數變動。

正面命中是在某個具體對象上量到的，它的真假由那個對象決定；窮舉宣稱是對一個集合的全稱陳述，它的真假由集合劃得對不對決定。不要用量詞當判斷標準——「其餘」「只有」「全部」是常見的表面訊號而不是判斷標準，一句「這一類的成員已經列完」沒有任何量詞而它是窮舉宣稱；一次派給三份獨立讀者的量測裡有兩份把分辨退化成掃這幾個字，成因是舉例用的兩句恰好都含量詞。同一份報告裡兩類混在一起而沒有標記時，涵蓋數一旦被修正，讀者無從判斷哪幾項結論要重新檢查，於是可選的動作只有兩個極端：整份重驗，或整份照用。

實測那次涵蓋數修正之後，七項結論裡只有兩項窮舉宣稱需要更正，其餘五項正面命中不受影響。有了分類，那次修正的代價是重驗兩項；沒有分類，它是重驗七項或者賭五項。

修法是報告的每一項結論加一欄，值只有兩個。 這一欄的成本是填表時的一次判斷，而它買到的是「輸入被修正時，哪些產出要跟著動」這個問題有答案。

兩個形態的共同機制

欄位集合是一個關於「會有哪些結果」的宣稱，而那個宣稱通常沒有被當成宣稱來檢查。 設計表單的人在列格式，不覺得自己在斷言什麼；而每一個沒有格子的結果，都被那張表宣告為不會發生。

驗收因此有一個便宜的形式：把表單的每一欄拿出來，逐欄列舉它可能的值，問有沒有一種真實情形落在全部的值之外。 落在外面的那些就是會被改寫或被跳過的。這一步在設計階段花幾分鐘，而它在事後只能靠填表人自己察覺——實測那一次確實是填表人自己抓到的，而那不是一條可以依靠的防線。

判讀徵兆

• 自檢表或盤點表的結果欄只有「發現問題」「已修正」這類值，沒有「本來就符合」
• 某一列的敘述讀起來像一次修正，而找不到對應的改動紀錄
• 報告的結論裡混著具體對象上的觀測與對集合的全稱陳述，沒有分開標記
• 涵蓋範圍或樣本數被修正之後，沒有人說得出哪幾項結論要重看
• 一張表的某幾列被跳過，而跳過的理由沒有欄位可以記
• 表單設計的檢討只問了「這些欄位夠不夠表達我要的東西」，沒問「有哪種真實情形填不進去」

跟其他抽象層原則的關係

• #333 「我以為觀測到的」躲在「引用的」那一欄裡：同一個機制在來源分類上的形態。那張卡說來源欄的類別不足時，兩種不同來源的宣稱會併進同一格；本卡的第二個形態是它的正交軸——那裡分的是這個宣稱從哪裡來，本卡分的是它依賴什麼才成立。兩欄都缺的報告，讀者既不知道某項結論的來源，也不知道輸入變動時它要不要跟著動。
• #243 要求執行者做判定的規則，要一併規定判定留下什麼痕跡：那張卡要求判定留下痕跡，本卡指出痕跡的格式本身會決定痕跡的真假。兩張接在一起才完整：加一欄讓判定可見（那張），而那一欄的值域要涵蓋所有真實結果（本卡），否則產生的痕跡是一份合格式的假紀錄。那張卡點出的「三級量表全部填中」也是本卡的形態——值域裡只有一個值不必舉證。
• #351 條文可以有負效力：同批的鄰居，而機制相反。那張是條文提供了讀者不該有的東西，本卡是表單沒有提供讀者需要的東西；兩者共用的推論是產物的形狀本身在做功，而它不在任何一輪檢查內容的審查射程裡。
• #262 內容壓力的出口是擴充結構、不是壓縮內容：本卡是它在欄位上的形態。那張講內容裝不進容器時不該裁內容，本卡講事實裝不進欄位時不該改寫事實——出口同樣在結構那一側（補一個值、補一欄），而就地遷就的代價在兩者都是靜默的。