論述基礎與限制

本卡從一次教學分類的推導完整度稽核抽出，事件在 2026-09-01。做法是拿一道公開題目、先寫下答案與三個理由、再把答案拆成十個步驟逐步回分類裡找落點。十步裡七步找得到落點，而其中一步分類的判斷標準指向一個稽核者沒有走的落點，實測顯示那個落點與稽核者的答案等價且更貼合題意。

限制有三項。單一個案，一次稽核、一步分岔。稽核者與該分類的作者是同一個人，所以「經驗」與「判斷標準」這兩個來源的獨立性有限——它們出自同一個腦袋的不同時間點，跨作者的情形沒有測過。這一次分類贏一輪，不足以支持「判斷標準優先於經驗」；本卡主張的是分岔時先驗證，而非哪一邊有優先權。

核心原則

用一道具體題目驗一個教學集合推不推得出某個結論時，流程是先寫下答案再逐步找落點。那個答案來自經驗，而集合的判斷標準是另一個獨立的來源，兩者分岔的時候預設值決定了結論。

多數稽核的預設值是「以稽核者的答案為準」——分岔即記為集合的缺口。這個預設把一個未經檢驗的答案當成了量尺。稽核者的答案生成快，而它沒有被任何一條判斷標準審過；集合的判斷標準逐條累積，彼此之間至少對過一次。這個不對稱有它的條件：集合的判斷標準有沒有被獨立審查過決定它成不成立。作者稽核自己寫的集合時（本卡的實例正是這一種），兩邊出自同一個腦袋的不同時間點，不對稱減弱到只剩「一邊寫的時候比較慢、對照過鄰居」。條件弱的時候本卡的結論仍然成立，只是收在「先驗證」而非「預設哪一邊對」。兩者誰對誰錯是個經驗問題，而驗證的成本通常是一次量測。

預設錯的代價比一次白工大。 記下的是一次錯誤的缺口宣告，而缺口宣告會關掉後續對那一項的檢查——往後讀到報告的人拿到「這裡沒有東西」這個結論，並據此規劃補寫。

實例：分類推出了稽核者跳過的那一步

稽核者對一道題給了答案：用連接的寫法，並列了三個理由（宣告與意圖一致、條件形狀可走索引、正確性條件與連接條件是同一句）。

把答案拆成步驟往回找落點時，第三步撞上分類自己的一條判斷標準：只判斷「有沒有另一列符合條件」而不輸出它，就用半連接的寫法；要把兩列並排列出來才非連接不可。那一題只輸出符合條件的那一列，照這條判斷標準答案是半連接。

實測兩種寫法回同樣的 2724 列，時間 9 毫秒對 7 毫秒；而半連接的寫法讀起來更貼合題意（「有沒有前一列比它小」）。分類推得出這一步，而稽核者的答案跳過了它。

若照「以稽核者的答案為準」的預設，這一步會被記成「集合沒有承接選型這一層」。實際的情形相反：集合有，而稽核者憑經驗給答案時沒有走它。

同一步還帶出第二個結果——那條判斷標準給的理由（半連接省一次配對展開）在這一題上不成立，因為連接鍵唯一。兩個結果方向相反，各自要記（見 #312）。

為什麼預設值會偏向稽核者

稽核者先寫答案，再讀集合。 順序造成錨定：讀到集合的判斷標準時，手上已經有一個答案，而那個答案是自己的推理產物，可信度感覺上高於一段別人（或過去的自己）寫下的規則。

稽核的產出格式只留缺口。 報告的欄位是「這一步有沒有落點」，答「有」的那些寫一行就過去了。「集合這裡比我想的好」在多數格式裡沒有欄位可放，於是它不會被記錄，也就不會被當成證據累積。

分岔在報告上與缺口長得一樣。 「這一步找不到落點」與「這一步集合指向別處」都表現為「我的步驟對不上集合的內容」，而區分兩者要多做一次判讀。

修法

稽核前把答案寫下並凍結。 讀了集合之後回頭修改自己的答案，會讓報告變成「集合完全推得出來」而看不出分岔曾經存在。凍結的成本是一個檔案。

逐步表加第三欄。 兩欄的版本是「步驟 / 有沒有落點」，改成「稽核者怎麼走 / 集合怎麼走 / 兩者一致嗎」。第三欄取值有五種——一致、集合缺、集合指向別處、集合指向別處而它的理由有缺陷、以及集合給了一個明確而錯誤的答案。最後一種的來源是拿具體個案走判斷標準時判斷標準把人送去撞牆，它與「集合缺」的差別在於那裡有答案、只是錯的。第三種是本卡要救的那一格；第四種來自本卡自己的實例，那一步同時產出了兩個方向相反的結果（見 #312），少了它會把其中一個記漏。

分岔時先驗證，再判缺口。 驗證手段優先選可量測的（兩條路徑各跑一次、比對結果與代價）；量不了的領域退回逐條比對兩邊的推理，而結論要寫明沒有量測支撐。

集合贏的那幾步單獨記。 它們是這個集合推導體系兌現的直接證據（#219 說模組要有推導源頭，本卡的第三欄是驗它兌不兌現的地方），而預設格式會讓這些證據流失。

跟其他原則的關係

  • #232 自審的偵測方式要對得上規則的類型 那一支要求回報缺口之前先反證。本卡補的是其中一個具體的產生機制：缺口宣告的來源之一是稽核者把自己的答案當成了量尺，而這個機制在「有沒有全站搜過」這個檢查底下看不見——搜過了，找到的內容與自己的答案不一樣，於是被判為不相干。
  • #312 判斷標準指對了路，而它給的理由不成立 與本卡出自同一次稽核的同一步，方向相反：那一張是集合的判斷標準有缺陷，這一張是稽核者的答案有缺陷。一次稽核同時產出兩個方向的結果，這件事本身是分岔要先驗證的理由——先驗證之前，分不出眼前的是哪一種。
  • #219 教學模組要有推導源頭、不是主題集合 給的是模組該長什麼樣，本卡給的是驗它有沒有長成那樣的方法。源頭存不存在的判斷標準（各篇判斷標準能不能折算回同一個機制）在模組層面問，而本卡在個案層面問同一件事：一道具體題目的每一步，集合供不供得出判斷標準。
  • #297 判斷標準只收表徵 的個案實跑是本卡的近親而受測對象不同：那裡拿個案測一段判斷標準，這裡拿個案測整個集合的推導鏈。兩者共用「個案要落在作者沒設想的取值上」這個設計條件，而本卡多一條——個案的答案要由稽核者先獨立產出，因為要比對的正是那個答案。

判讀徵兆

  • 稽核報告全部是缺口，沒有任何一項是「集合這裡比我原本想的完整」。
  • 稽核者是該集合的作者或主要維護者。
  • 逐步表的步驟是從稽核者的答案拆出來的，而集合的結構沒有被獨立盤點過。
  • 「這一步集合沒有」這個判定沒有附上搜尋的範圍與關鍵詞。
  • 稽核結束後，稽核者的答案與稽核開始前那一版不同，而報告裡沒有記錄改動。