本卡由兩個實例歸納，兩例的形狀相同而取得方式不同，證據等級要分開讀。

第一例由併行 session 提供，該檔案由回報者持有，本卡的證據止於他的轉述。 一份互動規格的動畫提示表，列名寫「格選中態出現」，形式欄寫「點擊確認用內建 pressed 態，選中態本身無入場動畫（持續性標記）」。回報者指出還原這四個字要三項表外知識：「格」是哪一種格（回查該表所在章節的標題再對到元件目錄）、「選中態」是一次性回饋還是持續維持的標記（讀完形式欄的括號才知道）、「出現」在問什麼（看同表其他列才知道這一欄問的是狀態從無到有的那一瞬間要不要動畫）。自足寫法是「矩陣格的選取標記出現時」，多六個字。該列名另被下游規格四處逐字引用當跨檔錨點。回報者另記下同份文件的其他列寫得完整，判定為個案。

第二例是本站自測。 #302 定義的七種裝置，名字住在那張卡上，四個引用點各自轉述。三處保留完整形（docs/rules/writing.md〈content/ 文章的定位：教學；目錄頁與 report 卡另有體例〉（舊版的原則十一）的正文、compositional-writing 的 SKILL.md、multi-round-review 的 Round 2 reference），一處把限定語砍掉（AGENTS.md 完稿檢查清單的那一項）。

整行省下十九個字。省下這些字的那一行正是完稿檢查清單，也就是這份規範裡逐項執行、每次使用都要重新解碼的位置；該處已隨本卡同一次改動補回完整形。分佈本身也是證據——其餘四個引用點都保留完整形，壓縮只發生在一處，所以一致性掃描找不到可比對的異常。

兩例都是個案，沒有對照組，本卡不宣稱這種缺陷有多常見。 成立的是機制與判斷標準，不是分佈。

核心原則

替一個概念取短名時，省下的字數付一次，還原限定語的成本乘以讀者數與引用點數。 兩側的量級不對稱，所以標籤越像術語、被引用得越廣，短名的收益越小而代價越大。

#261 把檢索鍵位（title、description、表格鍵欄、卡名、錨點）的義務定為識別充足——讀者能指認它索引的是哪個命題——並記下跟精簡規範衝突時精簡優先。本卡限定那條優先序：精簡優先的前提是這個鍵只有一個消費點。鍵一旦被別處逐字引用，它就同時是錨點，而錨點有兩個性質讓天平倒過來：

• 引用點只交付那個字串。 引用的形式是逐字比對，加字即斷開比對；每一個引用點因此只給得出短名本身，補完的責任全部落回讀者。
• 展開的代價隨引用點數上升。 既有標籤要改時，它與全部引用點必須同一次改，否則錨點斷開；所以短名的修復成本本身也乘以引用點數，而那個乘數只會隨時間變大。

識別充足因此需要一個可執行的判斷標準。判斷標準是兩個問句：這個標籤裡的每個名詞，讀者知道是哪一個嗎；每個動詞，讀者知道主詞是誰嗎。 兩題都答得出來才算識別充足。省略的限定語補回標籤本身，不補在鄰欄——讀者先讀標籤才決定要不要讀那一列，補在鄰欄的限定語落在他已經跳過的位置。

例外有兩種。 表頭語境下已經自足的通用欄位標籤（「觸發」「反應」在該表結構下無歧義），以及領域內有正式定義而讀者一跳查得到的術語。

為什麼既有的檢查走不到它

壓縮標籤看起來像術語，於是每一條以「殘片」為入口的檢查都放行。

#108 查的是名詞頭有沒有被砍到只剩形容詞或單字，「盲」這種形態自己就現形——它讀起來是半個詞。「顛倒的後果」「配比數字」「格選中態出現」的名詞頭都在，語法完整，放進表格第一欄成立，拿去 grep 也命中；#108 的四道檢查（拿出句子後知不知道是什麼、能不能放進表格第一欄、讀者能不能用它問問題、能不能跟同類詞並列）它全部通過。被砍掉的是限定語，而限定語的缺席在語法上沒有痕跡。

#261 的指涉閉合條件形式上涵蓋這一類（殘片名詞要有完整形先行），執行時走不到——執行者要先認出那是殘片才會去找完整形，而這些標籤讀起來是完整的詞。本站那一例的完整形就在同一份檔案裡，與壓縮版相隔一百七十二行。

一致性掃描同樣無效，而理由更基本：周圍都是對的。兩例的作者在同一份文件的其他位置都寫了完整形，壓縮是零星發生的，所以掃描找不到可比對的異常，逐句自審讀起來也通順。

根因在時序。壓縮發生在作者剛把一件事想清楚的當下，限定語在腦中太顯然、寫出來像廢話——而像廢話正是讀者需要的形態，他沒有經歷那次想清楚的過程。審查抓不到的原因相同：熟悉該文件的審查者持有同一份脈絡。第一例是由一位讀者問「這四個字是什麼意思」暴露的，而回答那個問題所花的成本（兩次檔案查詢加一整段拆解）本身就是量測值。

偵測與修法

偵測的入口是引用點數，而引用點數可以直接算。

1rg -F -l -- "<標籤字串>" <內容根目錄>

命中兩個檔以上的標籤就是錨點，錨點逐個跑那兩個判斷標準問句。這條掃描的對象是定義處的標籤清單，不是全文的段標——用段標當代理會量到模板重複而不是引用（本站實測：段標出現次數的前幾名是 YAML、Problem、Server，全部是模板欄位）。

修法分兩種情形。

標籤還沒有被引用：直接把限定語補回標籤，成本是一次。

標籤已經是錨點：改動與全部引用點同一次進行，改完回頭跑一次同一條掃描確認沒有殘留舊字串。錨點斷開的失效形態跟 #155 的編號錯位同型——字面完好、語意 silent 指向錯的內容，比斷鏈難偵測。

跟其他抽象層原則的關係

• #353 從原則卡壓出來的操作形要獨立驗一次：同一個壓縮機制的另一個載體而軸不同。本卡的判斷標準是引用點數（被別處逐字引用兩處以上就要自足），那張的判斷標準是會不會被執行——衍生形通常只有一個消費點，而它是被照著做的那一個，所以引用一次也要自足。

判讀徵兆

核心：短名的收益結算一次，展開的代價由每一個讀者、每一個引用點各付一遍。標籤越像術語被到處引用，兩側的差距越大。

這一類名字在程式碼審查裡過不了關。沒有人會接受 branch1、step3、level1、a1 當變數名稱，理由是讀到呼叫點的人得跳回定義處才知道它是什麼，跟風格無關。教材裡同一個名字出現幾十次，每一次都是一個呼叫點。

失效的形態

一次 SQL 教材分類的全面檢視裡，這一類名字有三種形態，而三種常常出現在同一句裡。

計數當成集合的名字。 「三支」「七步」「兩個軸」「七個決定」。數字是成員數，不是這群成員共同的性質，所以讀者從「三支」得不到任何一支在講什麼。它同時是 #156 的形態——成員數一變名字就失真——而這裡的損害先於失真：成員數沒變的時候它已經讀不懂。

序數當成成員的名字。 「第一支」「第三步」「第五節」「第一級」「前提一」。序數只說這個成員排在第幾個，而讀者需要的是它是什麼。這個形態在作者用它推導的時候最嚴重。一個分類的目錄頁寫過這樣一句：

第一支的篇落在七步的第三、四、六步，第二支落在第五、七步，第三支落在第七步。

這句話是兩份索引的對照表，裡面沒有任何一個詞指向內容。讀者要同時持有「三支各是什麼」與「七步各是什麼」兩張清單才解得開，而作者寫它的時候兩張清單都在腦中，所以讀起來精確。改成用內容命名之後是：

講語意模型的篇用在選寫法、補前提、對邊界這幾個決定上，講文字之外的決定者的篇用在量代價與交付上。

字母代號當成實體的名字。 一張表把五個寫法標成 A 到 E，之後正文寫「A 與 B 從寬鬆的那一家搬到嚴格的那一家時屬於這一級」「D 與 E 在這裡」；另一篇把四種查詢形態標成 A1、A2、B、C，之後寫「A1 與 A2 的差別只在條件的形狀」「C 的排名從最後一名跳到第一名」。每一個字母都要讀者回到表格對一次。那五個寫法各自有現成的描述——未分組欄位、WHERE 用別名、同表未取別名、字串比對、空值排序——字母省下的只是幾個字。

這一類名字從哪裡來

它們是作者整理結構時的工作語言。規劃一個分類的時候，作者把篇章分成幾組、把流程切成幾步，而在規劃階段用編號稱呼它們是合理的：成員還在變，內容名還沒定，編號是最便宜的把手。問題在工作語言沒有在交稿前換掉，而且它跟另一個缺陷一起出現——作者把自己的編排思路寫進了正文。「本分類其餘各篇各自處理其中一步的機制，而讀者逐篇讀過去的時候看不出它們是同一條路上的七站」「兩個軸的用法不同：想理解這個語言為什麼長這樣，照三支讀」，這些句子在描述作者怎麼組織這個分類，而描述組織的時候最順手的詞就是組織用的編號。所以看到序數名字密集的段落，也要一併問這一段是不是在講作者的編排、而不是講主題。

為什麼既有的審查掃不到

作者與同源的 reviewer 都持有那張清單。寫的人剛定義完「三支」，讀的 reviewer 讀過整份規劃，兩者讀到「第一支」都能當場解開，所以這個名字在他們的閱讀裡沒有成本。成本只落在從搜尋或路由進來、落在中段的讀者身上，而審查的人不在那個位置。

既有的規則管到了這一類，而觸發條件放在另一個時間點。#155 的〈類別序數〉一節已經要求把「第二類」「第五步」換成類別名，它的論證是集合變動時序數會漂移——補了一類，九處「第三類」同時指錯。那個論證要等集合變動才成立，而這個分類的「三支」「七步」從寫成到檢視都沒有變過，於是每一輪審查都可以合理地判定它不漂移、放行。本卡的損害不需要等：集合沒變的時候，每一次出現都要讀者回頭查一次。#156 管的是標題裡嵌進成員數，同樣以成員增減為失效條件。字母代號（「A1」「D 與 E」）則兩張都沒有涵蓋，它不在任何標題裡，也不是類別序數。字句層 keyword bank 的「位置與集合指涉」列了「前者／後者／前兩篇」，列不到「第一支／第三步／第一級」，因為它是從論述文歸納的，而這一類的詞綴隨內容變（支、步、級、節、層、階段、前提、種）。

判讀方式

變數名稱測試：把這個名字當成程式裡的變數名稱，它過不過得了程式碼審查。step3 過不了，chooseQueryForm 過得了。

落點測試：讀者從搜尋落在這一句，沒讀過前文，他知不知道這個名字指什麼。要翻回去查才知道的，就是作者的索引。

掃描的入口是詞形，而詞綴要按內容換：

1rg -n "[一二三四五六七八九十兩]支|[一二三四五六七八九十]步|第[一二三四五六七八九十][步支節級層章階種類條項]|前提[一二三四五]|兩個軸|另一個軸|這個軸" content/<分類>
2rg -n "\b[A-E][0-9]?\b 那|\b[A-E][0-9]? 與 [A-E][0-9]?\b" content/<分類>

命中是候選。三種情形合規：緊鄰清單、隨即逐一具名展開的計數（「下面四個追問」後面立刻列出四個）；量測事實裡的數字（「差三個量級」「七十倍」）；外部凍結的編號（RFC 段號、法條、題號）。一段文字裡序數確實是順序本身的時候——「寫在最前面的 SELECT 在語意上排在倒數第二步」，前一句剛列完那串步驟——它描述的是位置，不是在當名字用。

修法

用它是什麼來命名。 分組用它回答的問題（「語意模型」「文字之外的決定者」），流程的步驟用動作（「追問需求」「選寫法」「量代價」），分級用它的判斷標準（「當場報錯」「等資料才報錯」「靜默而輸出不同」「靜默且輸出相同」），並排的做法用描述（「日期差自連接」「等值自連接」）。名字長一點沒關係——它要讓讀者不必翻回去，而那個成本乘上它出現的次數。

段標的序號拿掉，引用改成節名或內容。 「第五節那張表」改成「代價量測那張表」。段標保留序號時，作者會持續用序號引用它，所以拿掉序號是讓這個習慣沒有把手。

標題與網址裡的計數一起改。 「這條路有七步」這種標題把計數當成全篇的主題詞，網址 the-seven-steps 也是。改名時用 Hugo 的 aliases 保留舊網址，站內連結全部改到新網址。

跟著刪掉編排思路。 描述「各篇怎麼分組」「兩篇怎麼分工」「改哪一篇」的句子是作者的維護資訊，不是讀者要的內容。讀者需要的只有範圍交代，而範圍交代要帶內容名（「列數那一半在〈連接產出的是新的關係〉那一篇」）。

論述基礎與限制

證據來自一個 SQL 教材分類的一次檢視：目錄頁有十七處序數或計數名字，一篇總覽文章十一處，一篇實例文章八處，加上兩篇文章的字母代號共五十五處。一個分類的一次觀測只證明這一類名字會在全面檢視後殘留、而且會集中在規劃結構的那幾頁，不證明它在每個分類的密度都這麼高。掃描指令的詞綴也是從這一個分類歸納的，換到別的分類要先盤點那裡用的是哪些詞綴。

跟其他抽象層原則的關係

• #155 引用章節用語意標題、不用位置編號——那一張的〈類別序數〉一節要求同一件事，而它的失效條件是集合變動；本卡把失效條件移到集合不變的當下，所以「這個集合不會再變」不構成放行的理由。兩者的修法相同：序數換成類別名。
• #156 集合命名用角色、不內嵌數量——那一張的損害是成員數變了名字失真，本卡的計數形態在成員數不變時就已經讀不懂；兩張合起來看，計數當名字在兩個時間點都有成本。
• #270 敘事的解碼材料要在讀者已讀的文本裡——序數與代號是「作者的地圖」最純粹的形態：解碼它需要的正是那張地圖本身。
• #364 摘要另一份內容時寫出成員，計數只告訴讀者清單有多長——同一個成因的另一個位置：本卡是計數或序數當成一個對象的名字，#364 是計數當成一段摘要的全部內容；計數式摘要沒有被當成名字，所以本卡的掃描放過它。
• #84 Naming 是 iterated artifact——規劃階段的編號是第一版命名，本卡是那一條在教材上的具體出口：交稿前第一版的工作語言要換成內容名。
• #367 切開一個集合之前先寫切分的依據，再替每一塊命名——本卡管已有名字而名字是索引的對象；那一張管還沒被命名、只以「一部分」「另一半」出現的對象，並補上先寫切分依據這一步。

Case

2026-09-24，SQL 教材分類。使用者先指出總覽文章開頭一段「這七個決定⋯⋯讀者逐篇讀過去的時候看不出它們是同一條路上的七站」是作者的寫作脈絡，不該寫進文章；接著指出同一篇「三支與七步的對應」「同一步」「另一個軸」這些名字是最糟的寫法，因為它們在程式碼裡絕不會被接受。那一篇與它的實例文章在寫成當天走過三輪多輪審查，第二輪含理解探針，而這一類名字沒有被任何一輪回報。改寫的範圍擴到整個分類：三個分組改用各自的問題命名，步驟改用動作名，引擎差異的四個分級改用判斷標準命名，兩篇的字母代號換成描述，總覽文章的標題與網址一併改名。同一天稍後的逐段審查又在〈合不合法由引擎驗〉找到「第一種／第二種／第三種錯法」被單獨引用十餘次，這一篇在上述改寫裡被漏掉，原因是掃描指令的詞綴清單沒有「種」——補上之後正對照命中。這一條示範了本卡「詞綴要按內容盤點」那句限制的實際代價。

失效的形態

一篇 SQL 教材討論「答案對不對」這一層能不能交給機器判斷，原文三段的開頭是：

交不出那條判定，而這裡仍有一部分不必等人來判。

有一部分判斷標準交得出去。

交不出去的那一半仍然有一個可以機械化的做法。

同一個集合被切了三次，三塊都沒有名字，而三刀的依據各不相同，分散在段落中段的一句話裡（「交得出去的界線落在判斷需要什麼」只解釋了約束那一刀）。讀到「交不出去的那一半」時，讀者要先決定它指的是「這裡仍有一部分」切剩的、還是「有一部分判斷標準交得出去」切剩的。

同一節的最後一段是反例——它做對了：

預期值從哪裡取得叫 test oracle……「寫斷言的人與寫實作的人共用同一份誤解」叫 test provenance；而「造不出分岔的資料」在 Mutation Testing 裡叫 equivalent mutant。

三個概念都已經在別處定義過、有公認的名字，所以一句話就能引用三次，讀者不必重建任何定義。

改寫之後，那一節開頭先寫依據：一項判斷能不能交給機器，看判斷時要讀的資訊機器在那一刻讀不讀得到——引擎收到查詢時讀得到查詢文字與表結構，資料庫寫入時讀得到那一筆資料與它指向的列，「要問的是什麼」只有提問的人知道。依據寫出來之後三塊各有名字：只讀查詢文字與表結構的是靜態分析，只讀寫入那一筆的是約束，要讀「要問的是什麼」的只能記成一筆反例資料（counterexample）。之後每一段都用名字開頭。

取名這一步會逼出內容

找業界名字不只是換標籤。「這裡仍有一部分不必等人來判」要改叫靜態分析，就得說出靜態分析在這個例子上實際判得出什麼——追下去找到的是最佳化器本身就做這個判斷：WHERE 評價.星等 <> 5 讓 LEFT JOIN 失效，PostgreSQL 16 的 EXPLAIN 對那段查詢印 Hash Join、對正解印 Hash Left Join，MySQL 8 把它改寫成內連接。原文的「那個 LEFT 是死的」是一句斷言，取名之後它變成讀者可以自己跑一次驗證的現象。

「分岔的資料」換成「反例資料」也一樣：反例在邏輯裡的意思是「兩段查詢在它上面答案不同，就證明兩者不等價」，這個定義順手把最後一段的 equivalent mutant 接上了——造不出反例資料，就是兩段查詢等價。自創的「分岔的資料」接不上任何既有概念。

同一篇第二輪把成因分類與反例資料的狀態也命名之後，又對出兩處：成因那一節寫「問錯了問題，換引擎、加約束、跑靜態分析都碰不到」，而後面一節寫靜態分析判得出「不等於五」——兩類有了名字，才看得出「不等於五」同時屬於「誤解語意模型」，靜態分析判出的是後者；「這幾種狀態」列了四種資料狀態並說三種錯法都發生在上面，而「漏掉星等」的反例（某張訂單的評價全部不是五星）不在清單裡、清單裡的「指不到任何一列的編號」三種錯法都用不到。改叫等價類劃分（equivalence partitioning）並把資料實際寫出來跑過一次，清單才對得上。

為什麼命名的既有規則沒擋住

#363 要求正文裡的對象用內容命名，掃的是序數、計數與字母代號（「第一支」「三步」「A1」）。那些字面上就是索引，一眼看得出來。「一部分」「另一半」不是索引，它們是切分動作本身：作者寫下的時候手上有切法，所以對他來說「那一半」跟「約束那一類」一樣清楚，而 #363 的變數名稱測試問的是「這個名字能不能當變數」，「那一半」根本沒有被當成名字寫下，測試不觸發。

跟 #366 的關係是同一個成因的兩個尺度：#366 是一個名詞缺了所屬（「誰的輸出」），這一張是一整個集合缺了切分依據與成員名——「一部分」要求的所屬是「什麼的一部分、按什麼切出來的哪一部分」，句內兩樣都沒有。

偵測與它的射程

字詞層掃得到候選：一部分|另一半|這一半|那一半|這部分|那部分|另一部分|那一側|這一側|另一側|另一邊。在 SQL 分類 24 篇與知識卡上跑一次，程式碼區塊外 68 處命中，判定要改的 20 處。

不用改的那些，所屬寫在同一句：「子表這一側是填進一個指不到的值，父表那一側是把還被指著的那一列刪掉」「反連接留下的是另一半——左邊那些在右邊配不到任何對象的列」。要改的那些分兩種：

• 半邊沒有名字：「補決勝鍵只解決了並列那一半」（另一半是翻頁途中的寫入，要到另一篇才看得到）、「規則沒有規定的那一半」「列數那一半在 1.6」。改成直接寫出那一塊：「治得好並列造成的重複與遺漏、治不好翻頁途中有人寫入造成的那一種」。
• 「一側」當譬喻：「在條件這一側還有路」「語言這一側發生什麼」「代價那一側它是逐列執行的」。這裡沒有被切開的集合，「一側」只是換了個說法的「就……而言」，改成直接寫主詞（「改寫條件本身就能讓它走索引」）。

grep 分不出兩者與合規句，命中之後逐句問：讀者只讀這一句，說不說得出這一塊是什麼、另一塊是什麼。另外，切分依據沒寫出來這件事沒有字詞可掃——三刀之中真正缺的是依據，而依據的缺席沒有痕跡。寫到「一部分」的當下先回答「按什麼切的」，再把答案寫在第一次切的位置。

修法

• 先寫依據：切開一個集合的第一句寫出「按什麼切」，而且是一個可以逐項判定的標準（「判斷時要讀什麼」），不是結果的描述（「有的交得出去」）。
• 再命名：業界有術語就用術語（靜態分析、約束、counterexample），並寫一句它在本文例子上的樣子；沒有術語就用文章裡的案例名（「不等於五的錯法」）；兩者都沒有才用描述短語。
• 之後只用名字：段落首句用名字開頭（「靜態分析只讀查詢的文字與表的結構」），不再用「這一部分」「另一半」回指。
• 審查端列為必修：教材逐段審查把「一個被反覆談論的概念沒有被界定與命名就被引用」列為必修，逐個概念點名檢查。審查者手上有作者的切法，讀到「那一半」解得開，所以靠讀起來順不順判斷永遠通過。同一條也涵蓋沒有字詞可掃的那一種：同一個概念每次換一個描述重講一次，讀者分不出幾次講的是不是同一件事——那是程式裡重複的運算式，一樣要抽成變數。
• 連到切分的句子一起改：別篇引用這個切分時用的也是「一部分交得出去」，要一併換成名字，否則讀者在兩篇之間拿到兩套說法。

命名由句子結構完成，取名的動作不寫進正文

一篇服務端監控的教材照這張卡先界定再命名，寫成：「一個觀察者的盲區有兩種，各取一個名字，下文都用這兩個名字。問題盲區是……位置盲區是……」。中間那個子句描述的是作者正在做的事（取名、約定下文怎麼用），刪掉之後讀者什麼都沒少：粗體與緊跟的定義已經完成命名，之後一律用名字是寫的人自己的紀律，不必向讀者宣告。

命名交給句子結構：

• 成員只有兩三個：一句寫完分類與成員的名字，下一句起逐一定義。「一個觀察者的盲區分成問題盲區與位置盲區。問題盲區是……」
• 成員更多：用清單列出名字，每一項可以附一句判別依據，下一段起逐一解釋。清單用編號只是版面，正文引用時仍然用名字。

判讀用刪除測試：刪掉這個子句，讀者少了什麼。 少了名字或它的所指就留下——「下文把主機、容器、資料庫、快取與入口這些組成服務的單位稱為元件」刪掉之後讀者不知道元件指什麼；什麼都沒少的刪掉——「各取一個名字」「下文都用這兩個名字」「以下逐一說明」。

這個形態是執行本卡規則的副作用：規則描述的是寫的人要做的動作（先界定、再命名），寫的人把動作本身寫進了正文。它和 #285 的文章自指是同一類，讀者讀的是主題，不是文章怎麼安排自己。

全站掃過一次之後：模糊的切分會藏住錯的論斷

SQL 以外的分類另有 550 處候選，分十批交給篩選者（判定只看目標句與前一句、不改要附逐字依據），判定要改 89 處，主 session 重讀依據薄弱的不改項後再改 7 處，約六分之一。不改的多數是組成句「X 是 Y 的一部分」——部分與整體都寫在句內，沒有切開任何集合；這一類可以直接豁免。

篩選者回報了規則原先沒寫到的三種形態：

• 每一塊有名字、被切開的整體沒有：「purgeable 是同一條線的另一半」「環境那一半的論證」——讀者知道這一半叫什麼，不知道它是什麼的一半。四個批次各自遇到，判定不一致，所以要寫進規則：整體也要在這一句或前一句具名。
• 裸「這部分」回指，而前面沒有切分：「或把這部分 relationalize」前一句有兩個名詞都可能是先行詞；「必要時用 chvt 切到別的 VT，這部分見……」跟在一長串操作之後。這是指涉問題，修法相同：寫出那一塊的名字。
• 同一組東西混用幾個詞、或同一個詞指兩塊：「單邊／那一腳／那一邊」指同一組兩腳；「只算資本這一邊（……談的是資本的另一半）」讓「資本」同時指資金與人力資本。命名時整組一起定，一個名字只指一塊。

最值得記的是另一件事：有兩處模糊的切分底下是錯的論斷。 存活者偏誤那一篇的通則寫「往被高估那一側走還是贏的結論仍然成立，靠近基準的指控型結論不成立」，而前一行才寫明觀察值是下界時「低於基準」存活——通則只在上界時成立。保證金模式那張卡寫「這個預設在猜錯時付出的是資金效率，猜對的另一邊付出的是同時被清算」，「另一邊」其實是反向的預設猜錯時，句子把邏輯寫反了。兩句讀起來都通順，因為「那一側」「另一邊」不必決定指的是什麼；替它們命名的時候才發現對不上。

反方向也發生了一次：篩選者替「purgeable 是同一條線的另一半」取名，寫成「與本地快照並列的另一個根因」，而同一段寫明 purgeable 主要由快照構成，兩者不並列。命名會逼作者決定所指，而決定錯了就把一個錯誤寫進文章，所以替換文字裡新出現的關係（並列、包含、因果）要回原文核對。

論述基礎與限制

依據是一次改寫：一篇文章的一節加上 SQL 分類的全掃（68 處候選、20 處改動，判定由主 session 做），以及其餘分類的全掃（550 處候選、96 處改動，篩選者判定、主 session 抽查與核對）。「取名會逼出內容」觀察到四例（最佳化器的外連接化簡、反例接上 equivalent mutant、兩處寫反的論斷），不代表每一次命名都會找到新材料。

跟其他抽象層原則的關係

• #363 正文裡的對象要用它是什麼來命名——那一張管已經有名字而名字是索引的對象；本卡管還沒被命名、只以切分動作出現的對象，並補上「先寫依據」這一步。
• #366 名詞要求的「誰的、什麼的」也是槽位——一個名詞缺所屬；「一部分」缺的所屬是整個切法。
• #364 計數式摘要只交付清單的長度——「三種寫法」只給長度、不給成員；「一部分」連長度都沒給，只給了有一刀。
• #365 逐段審查量讀者學不學得會——作者與審查者手上有切法，所以「那一半」對他們都解得開；讀者從中段落進來時手上沒有。
• #374 「問題」與「回答」當框架詞——自創術語建在譬喻框架上時（「問題盲區」），框架的歧義跟著進了名字；命名時先找業界術語，就是在避開這一種。

判讀徵兆

• 同一個主題被「一部分」「另一半」「那一側」切了兩次以上，而切分的依據要讀完整段才歸納得出來。
• 段落首句用「這一部分」「另一半」回指上一段，而上一段沒有替它命名。
• 自創了一個描述性名稱（「分岔的資料」），而業界對同一件事已有術語。
• 命名的句子另有一個子句宣告取名或約定下文用法（「各取一個名字，下文都用這兩個名字」），刪掉之後讀者什麼都沒少。

Case

2026-09-29，SQL 教材分類的 SQL.13。使用者指出「交得出去的一部分、交不出去的另一半」是不好的例子，同一節的 test oracle / test provenance / equivalent mutant 那一句是好的例子：「當我們先說明界定好一個理論或者一個概念，我們就可以直接引用他的名字」；要解釋為什麼這個情境做得到、另一個做不到，然後給一個明確的命名——業界的說法，或直接舉一個案例、用案例的名字——「這也是當我們寫程式碼的時候有時候應該先嘗試抽變數的概念，只是這個變數在文章中他可以是一個 case，或者一個理論」。

法文的 flan 同時還指鑄幣用的金屬圓餅與幣模，而這個非食物的義項在法文裡出現得比食物義更早（十一世紀末，食物義約 1180 年）。兩個義項共有的只有形狀，食物內容從一開始就不是這個字管的。

法文辭典把甜與鹹並列在同一個義項底下——Larousse 的定義是「甜的或鹹的內餡在一層餅皮上烤成的塔」，甜鹹之分不構成兩個詞。這正是形狀這個切法的麻煩：它跟吃的人在意的每一項都不對應。甜的還是鹹的、當甜點還是當配菜、用蛋奶還是用蔬菜泥、需不需要冷藏——這幾項決定了要不要點它，而形狀對它們一個都不預測。所以在菜單上看到 flan 的當下，這個字本身給出的資訊接近於零。

各地的 flan 是什麼

西班牙、拉丁美洲與法國的 crème caramel 是同一種成品的傳播，不是各自的發明。真正分開的是蛋奶凍、派皮布丁塔、開放式塔、鹹味蔬菜凍派這四條線。

菜單上的三種線索，解析度差很多

國別是唯一有決定性的那一個，因為這個字的用法差異沿著國界走。同一個線索在不同國家指向相反的答案：西班牙甜點區的 flan de queso 是加了起司的蛋奶凍，甜的；英國的 cheese flan 是加了起司的派皮塔，接近鹹派。兩者同樣以起司為賣點、同樣叫 flan，而分開它們的只有國別。

菜單分區的解析度只到「在一餐裡的角色」。 甜點區或糕點櫃指向蛋奶凍與派皮布丁塔，配菜區指向鹹味蔬菜版——它答得出甜鹹，答不出形態，因為鹹味蔬菜凍派與鹹味的派皮塔會落在同一區。

主體食材指向形態而不指向國別。 牛奶、蛋、糖這組基本組合指向蛋奶凍，焦糖與香草也是；蔬菜名指向鹹味凍派；水果在英式菜單上指向開放式塔。

三種線索之間有依賴關係：後兩種的讀法隨國別改變，所以國別未定的時候它們給出的答案沒有意義。這是這個字最難用的地方——它自己不帶國別資訊，而它的一切都取決於國別。

從成品的樣子反查

這個字底下的四條線各自有自己的形態頁，而那些頁面用的是成品的性質而不是名字：

• 脫模後自己站著、會晃的蛋奶凍 → egg custard（蛋液凝凍），那一篇寫凝固與變質之間只有三度、以及各種孔洞分別怎麼形成的
• 有派皮當容器、側面看得到皮與餡兩層 → 派皮塔，那一篇寫塔皮與千層酥皮做出來的成品為什麼大小不同
• 底座是海綿蛋糕、餡沒有進過烤箱 → 海綿底塔，那一篇寫底座吸水為什麼限制了餡能放什麼
• 主體是蔬菜、蛋只當黏合劑 → 蒸蔬菜泥，那一篇寫濃度為什麼要另外補

別的字用別的方式切

flan 按形狀切，而同一個分類裡的其他名字各看一個面向：羹 的古義按材料切、今義按質地切，而台灣與中國的今義又不一樣——那一篇比對兩邊各要求什麼。

按動作切的例子是 sformato（字面是「脫模之物」），按誰有權使用那個名字切的例子是 Pastéis de Belém（受歐盟商標保護），兩者分別在 sformato 與 pastel de nata。

餡的組成是牛奶、蛋、糖、檸檬、肉桂，也有把牛奶換成鮮奶油、或加麵粉與澱粉的作法。

高溫短時間讓表面焦化時，中心還沒熱到出水

蛋奶糊能停留的溫度範圍很窄：蛋、奶、糖的混合物在 80 到 85 度之間凝固成形，88 到 90 度就開始把水擠出來、質地變粗，中間只剩三度——這一段就是 egg custard（蛋液凝凍） 說的容錯帶。成品要停在那三度裡，而烤箱的空氣遠高過它。

多數作法的對策是壓住升溫——蒸氣停在一百度、熱水在沸點以下吸熱，各自造一個上限讓蛋液慢慢靠近目標。這一道放棄了那個上限，改用時間。

烤箱燒得夠熱、烤的時間夠短，熱來不及傳到中心，所以表面早就越過焦化的溫度而中心還沒熱到出水。黑色焦斑證明表面到過那個溫度，柔軟內餡證明中心沒有跟上——那個對比本身就是溫差拉得夠開的證據，不是烤不均勻。

酥皮的層次限制了它的尺寸

千層酥皮由麵團與油脂反覆摺疊而成，每摺一次層數翻倍。進烤箱後麵皮裡的水分變成蒸氣，把層與層之間撐開，所以它是酥的、咬下去有層、會掉屑。

這個撐開需要熱在短時間裡到達每一層。 體積越大，中心的層就越晚受熱，等到那裡的水變成蒸氣時外圈已經定形，撐不開了。所以這一類做成一口到兩口的大小，而不是整模再切。

壓實不摺疊的塔皮沒有這個限制。它的成品是脆的、切得開、不分層，因此可以做大。港式蛋撻的牛油皮就是這一種，而賣港式蛋撻的店往往也賣酥皮的版本，兩者從斷面分得開；港式蛋撻 那一篇另外寫它的餡是中式燉蛋那一路，跟這裡的蛋奶糊來歷不同。塔皮的兩種作法（摺疊的酥皮與壓實的塔皮）為什麼決定成品能做多大，派皮塔 有一節專講。

名字的邊界由商標劃定

pastel de nata 是通稱，指的是這一整類。Pastéis de Belém 是里斯本貝倫區那一家店的名字，受商標保護：ANTIGA CONFEITARIA DE BELEM LDA 持有歐盟商標 EUTM 001254895，1999 年申請、2000 年註冊，涵蓋餅乾與糕點類。

所以同一份配方換一家店做，就只能叫 pastel de nata。這一種切法連食物本身都不看——分開兩個名字的是誰有權使用它，而不是成品有什麼差別。台灣說的「葡式蛋塔」指的就是這一整類。按形狀切的名字是 flan，古義按材料、今義按質地切的是 羹。

起源查得到的只有三個年份，而它們分屬三個等級

1834 年葡萄牙解散修會、關閉全國的修道院與女修院。這一條有法令。

1879 年一份公證書記載 Domingos Rafael Alves 以十萬 réis 向教子 José Vicente da Silva Pinto 買下配方的祕密。這是關於這家店最早的文件證據。

1837 年是店家自述的開業年份，而這個說法的來源是 1983 年由該店一位股東提供的資訊。

修道院起源這一條更弱：葡文維基寫的是「terá sido criado pelos monges jerónimos」，用的是推測式。本篇因此不寫成事實。另一個流傳很廣的說法——修士用大量蛋白替衣物上漿、剩下的蛋黃拿來做點心——在查得到的每一個來源裡都標為相傳，同樣不採用。

兩道都焦黑：這一道靠溫差，派皮布丁塔靠放寬的容錯帶

flan pâtissier（派皮布丁塔） 同樣直接進烤箱、表面同樣焦黑，而它走的是另一條路：烤得久、烤得透，餡裡加玉米粉把容錯帶放寬。它的焦斑來自寬容錯帶給的餘裕，表面有時間走到焦化而內部仍然完整，所以成品內外一致、扎實得可以整模烤好再切片。這一道的焦斑則是溫差的證據，內外本來就不一致。澱粉怎麼穩定蛋白質的網、厚度與可切片從哪裡來，是派皮布丁塔那一頁的主題；兩條路怎麼分、成品為什麼不同，在 直接烘烤。

• flan：按形狀切。而形狀跟目的、調味、材料一個都不對應，所以同一個字底下同時有甜點與配菜
• 羹：古義按材料切、今義按質地切。台灣又在質地之上加了一道古義沒有的條件（勾芡），於是按質地命名的「蛋羹」在台灣讀不通

另有兩種切法不看食物長什麼樣。quiche 按它所屬的上位類別切——字來自德語的 Kuchen「蛋糕」，說的是它歸在哪一類底下，不是它是什麼樣子。還有一種連食物都不看：pastel de nata 是通稱，而 Pastéis de Belém 是一家店的註冊商標——同一份配方換一家店做就換一個名字，劃界的是誰有權使用那個名字。

這裡不寫作法

每道菜的完整作法、比例與判讀住在 菜 底下的單篇裡，這裡只給指向。這個索引若也各寫一份說明，同一道菜會有兩份講法而隨時間漂移。

想從成品的樣子反查的話，入口是 形態；想知道某一步在解什麼問題，入口是 手法。

這個字約束形狀，不約束內容

「有邊、無上蓋、圓形」把它跟兩類食物分開：有蓋的那些在英文裡多半叫 pie，而沒有邊、餡直接攤在底座上的那些不算。剩下的空間很寬——甜的鹹的、蛋做的水果做的、冷的熱的，全部收得進來。

所以在菜單上看到這個字，能確定的只有端上來的是什麼形狀。 它是甜點還是正餐、要不要冷藏、裡面有沒有蛋，這個字一項都不預測，要看寫在它前面的那個詞（fruit flan、cheese flan、custard flan）或者問。

底座有兩種，而它們的加熱關係相反

派皮底是生的麵團，餡倒進去之後一起進烤箱，餡在裡面凝固——成敗因此綁在烤箱的溫度上。海綿蛋糕底反過來，底座先單獨烤成、放涼，餡才鋪上去，所以餡從來沒有進過烤箱。

這個相反是這個字最麻煩的地方：它把兩個失敗條件完全不同的東西裝在同一個名字底下，而名字本身不透露端上來的是哪一種。派皮那一種的凝固物理在 派皮塔，海綿底那一種為什麼餡能放什麼受限制在 海綿底塔。

同一個字在英國與西班牙指相反的兩種食物

西班牙的 flan de queso 是加了起司的蛋奶凍，甜的，脫模後淋焦糖醬；英國的 cheese flan 是加了起司的派皮塔，接近鹹派。兩者同樣以起司為賣點、同樣叫 flan，而端上來的是兩種不同的食物。

分開它們的是國別，不是菜名裡的任何一個字。看到 flan 這個字的當下，先確認這是哪一國的菜單，後面的線索才讀得對。

這個字底下裝了兩類東西，而別的語言把它們分開叫

英國用一個字涵蓋兩個形態，其他語言則各給名字。派皮底那一類在法國按餡分成兩個：加了玉米粉的甜餡叫 flan pâtissier，鹹餡加培根與起司的叫 quiche——派皮布丁塔 寫澱粉怎麼撐寬容錯帶，法式鹹派 寫傳統的 quiche lorraine 到底加不加起司。

海綿底那一類在別的語言裡沒有對應的單一名稱，因為它的分類依據（底座先烤、餡後鋪）在那些語言裡不構成一個類。

所以「英國的 flan 是什麼」這個問題答不出一個東西，只答得出一個形狀。 想從成品反查它屬於哪一類，見 派皮塔 與 海綿底塔；想知道這個字為什麼落在只管形狀這個位置，見 flan。

派皮那一種的完整成員與兩種容器形態，在 派皮塔；海綿底那一種為什麼餡能放什麼受限制，在 海綿底塔。派皮那一種的餡為什麼難烤、失敗長什麼樣，在 egg custard（蛋液凝凍）。

這個字為什麼會落在「只管形狀」這個位置、以及它在各國分別指什麼，在 flan。

《說文解字》收的本字是「𩱧」，在䰜部（一般說的鬻部），說解作「五味盉羹也」——盉是調和，後世字書引它時多寫成通行的「和」。這一條說的也是調味，不是稠度。

這個字的邊界寬到調味與不調味都收得進去。《周禮·天官·亨人》記祭祀要備「大羹鉶羹」兩種，注解說「羹加五味，盛以鉶器，故曰鉶羹」——加了五味的叫鉶羹，不加的叫大羹；《禮記·樂記》講大饗之禮「大羹不和，有遺味者矣」，講的就是不加五味的那一種。

稠不稠不在這些條件裡。而今天兩岸叫得出口的羹，認的正是稠——這個字的判斷標準從材料換成了質地。雞蛋羹是蛋做的，按「肉謂之羹」根本掛不上這個字，讓它掛得上的是它舀起來的樣子。

台灣拿這個字去描述一碗湯時，它要求勾芡

肉羹、魷魚羹、花枝羹、羊肉羹，稠度一律來自太白粉或番薯粉——勾芡就是把澱粉調成水漿倒進滾湯裡攪散，讓湯變稠。在台灣，稠度若不是這樣來的，就不叫羹。

這個字也出現在外來語的名字裡

羊羹是一塊可以切開的凝固甜點，多半是紅豆泥加洋菜凝成，跟湯與勾芡都無關。這個名字連同它指的那樣點心一起從日語來，中文這一邊拿到的是整個現成的詞。

所以本篇的條件對它不適用。 前面幾節說的是拿這個字去描述一碗湯的時候，它在兩岸各要求什麼。外來語碰巧用上了同一個字，而它指的那樣點心落在這些條件的範圍之外。

中國的羹不要求勾芡

中國說的 雞蛋羹 是蛋液蒸成的滑嫩凝凍，濃稠、半固體、用湯匙舀著吃，稠度來自蛋而非澱粉。中國同樣有大量勾芡的羹——西湖牛肉羹、酸辣羹——兩種都叫羹。

兩邊都按質地認，而台灣在質地之上多要求了一件事：稠度得是勾芡來的。中國沒有這道限制，質地夠濃稠就算。

「雞蛋羹」與「蒸蛋」是兩種命名方式

同一道菜，兩個名字按完全不同的方式切開它。「蛋羹」按質地切：濃稠、半固體，落在羹這一類裡。「蒸蛋」按手法切：用蒸的蛋。手法相同，兩個名字說的是不同的事。

台灣讀者對不上這兩個名字，因為台灣的羹要求勾芡，而蒸蛋沒有——「蛋羹」在台灣被讀成加了蛋花的勾芡湯。

從成品的樣子反查

這個字在兩岸各自涵蓋的成品落在兩個不同的類別，而分開它們的是稠度從哪裡來：

• 稠度來自澱粉、成品仍然是液體只是流得慢 → 勾芡濃湯，那一篇寫這一類的完整成員、以及主料換過一輪而湯那一層沒變
• 稠度來自蛋、成品是半固體舀得起來 → egg custard（蛋液凝凍），那一篇寫凝固與變質之間只有三度

台灣的 肉羹 落在前一個，那一篇寫塊與湯為什麼是兩層不同的稠化；中國的 雞蛋羹 落在後一個，那一篇寫水量怎麼同時決定嫩度與成形難度。兩岸對同一個字的要求差在哪，正好對應這兩頁的分界。

別的字用別的方式切

羹的古義按材料切、今義按質地切，而歐洲語言也有名字比作法更分歧的同型現象：flan 按形狀切，那一篇寫這個字在西班牙、拉丁美洲、法國、英國、義大利分別指哪一種成品，以及為什麼形狀這個切法跟吃的人在意的每一項都對不上。