<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>欄位設計 on Tarragon</title><link>https://tarrragon.github.io/blog/tags/%E6%AC%84%E4%BD%8D%E8%A8%AD%E8%A8%88/</link><description>Recent content in 欄位設計 on Tarragon</description><generator>Hugo -- gohugo.io</generator><language>zh-TW</language><copyright>Tarragon (CC BY 4.0)</copyright><lastBuildDate>Fri, 18 Sep 2026 00:00:00 +0800</lastBuildDate><atom:link href="https://tarrragon.github.io/blog/tags/%E6%AC%84%E4%BD%8D%E8%A8%AD%E8%A8%88/index.xml" rel="self" type="application/rss+xml"/><item><title>表單缺一格，填表人就得把不合格式的事實改寫成合格式的</title><link>https://tarrragon.github.io/blog/report/field-shape-induces-false-reporting/</link><pubDate>Fri, 18 Sep 2026 00:00:00 +0800</pubDate><guid>https://tarrragon.github.io/blog/report/field-shape-induces-false-reporting/</guid><description>&lt;h2 id="論述基礎與限制">論述基礎與限制&lt;/h2>
&lt;p>本卡由一個併行專案的一次收官盤點抽出，同批另見 &lt;a href="https://tarrragon.github.io/blog/report/subjective-precondition-never-fires-for-the-misreader/" data-link-title="以讀者主觀狀態為要件的條款，在最需要它的人身上不觸發" data-link-desc="規則寫了處理不確定情形的條款、而該處理從來沒有被執行過時，用來判斷該改的是措辭還是要件的形式">#350&lt;/a> 與 &lt;a href="https://tarrragon.github.io/blog/report/rule-text-can-have-negative-effect/" data-link-title="條文可以有負效力，而禁止某條捷徑的那句話自己就是捷徑的地圖" data-link-desc="一款條文量到零引用、準備刪掉或搬位置時，用來先判斷它被引用會發生什麼">#351&lt;/a>。兩個形態各有一次實測：自檢表那一項是執行者填完之後自己抓到並改為據實陳述；結論分類那一項有一次涵蓋數修正的前後對照（修正後只有兩項需要更正、其餘五項不受影響）。&lt;/p>
&lt;p>限制：兩次都是單一實例，成立的是機制與偵測方式，不是發生率。第二個形態的「只有兩項需更正」是那一份報告的分佈，換報告要重算。兩個形態歸為同一個機制是本卡的推論。&lt;/p>
&lt;hr>
&lt;h2 id="核心原則">核心原則&lt;/h2>
&lt;p>&lt;strong>一組欄位決定了填表人能寫下哪些事實，所以欄位不足時的失真是結構強制的，不是填表人不誠實。&lt;/strong> 表單設計者通常照著「會發生什麼」列欄位，而照著那個問題列出來的集合會漏掉「什麼都沒發生」——那是最常見的結果，也最不像一個結果。&lt;/p>
&lt;p>&lt;strong>判別問句是：這一格填不下的那個事實，填表人會怎麼處理它。&lt;/strong> 他有兩條路，而兩條都失真：把事實改寫成填得下的形狀，或者跳過那一列。第一條讓表上多一筆假的，第二條讓表上少一筆真的，&lt;strong>兩種失真方向相反，所以彙總的時候互相抵銷不了、也看不出來&lt;/strong>。&lt;/p>
&lt;hr>
&lt;h2 id="第一種結果欄只有發現問題這個形狀">第一種：結果欄只有「發現問題」這個形狀&lt;/h2>
&lt;p>實測那份自檢表的結果欄只容得下「發現問題 → 修正」這一種敘事，&lt;strong>對「本來就對」的項目沒有位置&lt;/strong>。執行者因此把「初稿即為現況」寫成了「發現後已修正」。&lt;/p>
&lt;p>這句話的每個字都對得上某個真實：那一項確實被檢查了、現況確實是對的。它唯一假的部分是隱含了一次不存在的修正動作，而那正是欄位要求他提供的東西。&lt;/p>
&lt;p>&lt;strong>一個只有「問題／處置」兩欄的表，會讓沒問題的項目要嘛被虛構成有問題、要嘛被跳過。&lt;/strong> 修法是補第三個值——「初稿即符合，未改動」——讓那個結果有自己的格子。補值比補說明有效，因為填表的人選的是清單裡有的那一個。&lt;/p>
&lt;p>這一項的危害在下游：讀報告的人會據此以為那一項曾經壞過、修過，於是把它算進「這一輪修了幾處」，而那個數字是後續所有判斷的分母。&lt;/p>
&lt;hr>
&lt;h2 id="第二種結論沒有標明它依不依賴涵蓋完整性">第二種：結論沒有標明它依不依賴涵蓋完整性&lt;/h2>
&lt;p>&lt;strong>兩類結論對涵蓋完整性的依賴相反，而它們在報告上長得一樣&lt;/strong>，所以讀者無法從外觀分辨哪一項會隨涵蓋數變動。&lt;/p>
&lt;table>
 &lt;thead>
 &lt;tr>
 &lt;th>類別&lt;/th>
 &lt;th>例&lt;/th>
 &lt;th>涵蓋數被修正時&lt;/th>
 &lt;/tr>
 &lt;/thead>
 &lt;tbody>
 &lt;tr>
 &lt;td>正面命中&lt;/td>
 &lt;td>「這一題的三步可純字面完成」&lt;/td>
 &lt;td>不受影響——多掃幾題不會使它不成立&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>&lt;strong>窮舉宣稱&lt;/strong>&lt;/td>
 &lt;td>「其餘二十六題判否」「這一類只有兩道」&lt;/td>
 &lt;td>&lt;strong>要跟著動&lt;/strong>——漏掉的可能正是會命中的那些&lt;/td>
 &lt;/tr>
 &lt;/tbody>
&lt;/table>
&lt;p>正面命中是在某個具體對象上量到的，它的真假由那個對象決定；窮舉宣稱是對一個集合的全稱陳述，它的真假由集合劃得對不對決定。&lt;strong>不要用量詞當判斷標準&lt;/strong>——「其餘」「只有」「全部」是常見的表面訊號而不是判斷標準，一句「這一類的成員已經列完」沒有任何量詞而它是窮舉宣稱；一次派給三份獨立讀者的量測裡有兩份把分辨退化成掃這幾個字，成因是舉例用的兩句恰好都含量詞。同一份報告裡兩類混在一起而沒有標記時，&lt;strong>涵蓋數一旦被修正，讀者無從判斷哪幾項結論要重新檢查&lt;/strong>，於是可選的動作只有兩個極端：整份重驗，或整份照用。&lt;/p>
&lt;p>實測那次涵蓋數修正之後，七項結論裡只有兩項窮舉宣稱需要更正，其餘五項正面命中不受影響。有了分類，那次修正的代價是重驗兩項；沒有分類，它是重驗七項或者賭五項。&lt;/p>
&lt;p>&lt;strong>修法是報告的每一項結論加一欄，值只有兩個。&lt;/strong> 這一欄的成本是填表時的一次判斷，而它買到的是「輸入被修正時，哪些產出要跟著動」這個問題有答案。&lt;/p>
&lt;hr>
&lt;h2 id="兩個形態的共同機制">兩個形態的共同機制&lt;/h2>
&lt;p>&lt;strong>欄位集合是一個關於「會有哪些結果」的宣稱，而那個宣稱通常沒有被當成宣稱來檢查。&lt;/strong> 設計表單的人在列格式，不覺得自己在斷言什麼；而每一個沒有格子的結果，都被那張表宣告為不會發生。&lt;/p>
&lt;p>驗收因此有一個便宜的形式：&lt;strong>把表單的每一欄拿出來，逐欄列舉它可能的值，問有沒有一種真實情形落在全部的值之外。&lt;/strong> 落在外面的那些就是會被改寫或被跳過的。這一步在設計階段花幾分鐘，而它在事後只能靠填表人自己察覺——實測那一次確實是填表人自己抓到的，而那不是一條可以依靠的防線。&lt;/p>
&lt;hr>
&lt;h2 id="判讀徵兆">判讀徵兆&lt;/h2>
&lt;ul>
&lt;li>自檢表或盤點表的結果欄只有「發現問題」「已修正」這類值，沒有「本來就符合」&lt;/li>
&lt;li>某一列的敘述讀起來像一次修正，而找不到對應的改動紀錄&lt;/li>
&lt;li>報告的結論裡混著具體對象上的觀測與對集合的全稱陳述，沒有分開標記&lt;/li>
&lt;li>涵蓋範圍或樣本數被修正之後，沒有人說得出哪幾項結論要重看&lt;/li>
&lt;li>一張表的某幾列被跳過，而跳過的理由沒有欄位可以記&lt;/li>
&lt;li>表單設計的檢討只問了「這些欄位夠不夠表達我要的東西」，沒問「有哪種真實情形填不進去」&lt;/li>
&lt;/ul>
&lt;hr>
&lt;h2 id="跟其他抽象層原則的關係">跟其他抽象層原則的關係&lt;/h2>
&lt;ul>
&lt;li>&lt;a href="https://tarrragon.github.io/blog/report/fabricated-observation-hides-among-cited-facts/" data-link-title="「我以為觀測到的」躲在「引用的」那一欄裡，因為它看起來有來源" data-link-desc="要為一份報告的宣稱分配查核責任時，用來檢查分類法有沒有把虛構的觀測歸進可查的那一欄">#333 「我以為觀測到的」躲在「引用的」那一欄裡&lt;/a>：同一個機制在來源分類上的形態。那張卡說來源欄的類別不足時，兩種不同來源的宣稱會併進同一格；本卡的第二個形態是它的正交軸——&lt;strong>那裡分的是這個宣稱從哪裡來，本卡分的是它依賴什麼才成立&lt;/strong>。兩欄都缺的報告，讀者既不知道某項結論的來源，也不知道輸入變動時它要不要跟著動。&lt;/li>
&lt;li>&lt;a href="https://tarrragon.github.io/blog/report/judgment-rules-must-specify-their-trace/" data-link-title="要求執行者做判定的規則，要一併規定判定留下什麼痕跡" data-link-desc="寫下一條「先判斷 X、再依判斷做 Y」的規則時，判斷它可不可證偽——判定過與沒判定過的產物相同時，規則會沿著零後續的那個結論塌陷">#243 要求執行者做判定的規則，要一併規定判定留下什麼痕跡&lt;/a>：那張卡要求判定留下痕跡，本卡指出痕跡的格式本身會決定痕跡的真假。&lt;strong>兩張接在一起才完整&lt;/strong>：加一欄讓判定可見（那張），而那一欄的值域要涵蓋所有真實結果（本卡），否則產生的痕跡是一份合格式的假紀錄。那張卡點出的「三級量表全部填中」也是本卡的形態——值域裡只有一個值不必舉證。&lt;/li>
&lt;li>&lt;a href="https://tarrragon.github.io/blog/report/rule-text-can-have-negative-effect/" data-link-title="條文可以有負效力，而禁止某條捷徑的那句話自己就是捷徑的地圖" data-link-desc="一款條文量到零引用、準備刪掉或搬位置時，用來先判斷它被引用會發生什麼">#351 條文可以有負效力&lt;/a>：同批的鄰居，而機制相反。那張是條文提供了讀者不該有的東西，本卡是表單沒有提供讀者需要的東西；兩者共用的推論是&lt;strong>產物的形狀本身在做功&lt;/strong>，而它不在任何一輪檢查內容的審查射程裡。&lt;/li>
&lt;li>&lt;a href="https://tarrragon.github.io/blog/report/content-pressure-resolves-by-expansion-not-compression/" data-link-title="內容超出容器時擴充結構、不壓縮內容" data-link-desc="寫作時判斷標準裝不進表格格、概念裝不進標題、範例讓段落過長，想裁內容遷就容器時讀。出口在結構層——就地展開、拆卡外部化、或換成指向既有落點的連結；內容量不是可裁的變數，壓縮遷就容器的終點是簡報式文章。">#262 內容壓力的出口是擴充結構、不是壓縮內容&lt;/a>：本卡是它在欄位上的形態。那張講內容裝不進容器時不該裁內容，本卡講事實裝不進欄位時不該改寫事實——出口同樣在結構那一側（補一個值、補一欄），而就地遷就的代價在兩者都是靜默的。&lt;/li>
&lt;/ul></description><content:encoded><![CDATA[<h2 id="論述基礎與限制">論述基礎與限制</h2>
<p>本卡由一個併行專案的一次收官盤點抽出，同批另見 <a href="/blog/report/subjective-precondition-never-fires-for-the-misreader/" data-link-title="以讀者主觀狀態為要件的條款，在最需要它的人身上不觸發" data-link-desc="規則寫了處理不確定情形的條款、而該處理從來沒有被執行過時，用來判斷該改的是措辭還是要件的形式">#350</a> 與 <a href="/blog/report/rule-text-can-have-negative-effect/" data-link-title="條文可以有負效力，而禁止某條捷徑的那句話自己就是捷徑的地圖" data-link-desc="一款條文量到零引用、準備刪掉或搬位置時，用來先判斷它被引用會發生什麼">#351</a>。兩個形態各有一次實測：自檢表那一項是執行者填完之後自己抓到並改為據實陳述；結論分類那一項有一次涵蓋數修正的前後對照（修正後只有兩項需要更正、其餘五項不受影響）。</p>
<p>限制：兩次都是單一實例，成立的是機制與偵測方式，不是發生率。第二個形態的「只有兩項需更正」是那一份報告的分佈，換報告要重算。兩個形態歸為同一個機制是本卡的推論。</p>
<hr>
<h2 id="核心原則">核心原則</h2>
<p><strong>一組欄位決定了填表人能寫下哪些事實，所以欄位不足時的失真是結構強制的，不是填表人不誠實。</strong> 表單設計者通常照著「會發生什麼」列欄位，而照著那個問題列出來的集合會漏掉「什麼都沒發生」——那是最常見的結果，也最不像一個結果。</p>
<p><strong>判別問句是：這一格填不下的那個事實，填表人會怎麼處理它。</strong> 他有兩條路，而兩條都失真：把事實改寫成填得下的形狀，或者跳過那一列。第一條讓表上多一筆假的，第二條讓表上少一筆真的，<strong>兩種失真方向相反，所以彙總的時候互相抵銷不了、也看不出來</strong>。</p>
<hr>
<h2 id="第一種結果欄只有發現問題這個形狀">第一種：結果欄只有「發現問題」這個形狀</h2>
<p>實測那份自檢表的結果欄只容得下「發現問題 → 修正」這一種敘事，<strong>對「本來就對」的項目沒有位置</strong>。執行者因此把「初稿即為現況」寫成了「發現後已修正」。</p>
<p>這句話的每個字都對得上某個真實：那一項確實被檢查了、現況確實是對的。它唯一假的部分是隱含了一次不存在的修正動作，而那正是欄位要求他提供的東西。</p>
<p><strong>一個只有「問題／處置」兩欄的表，會讓沒問題的項目要嘛被虛構成有問題、要嘛被跳過。</strong> 修法是補第三個值——「初稿即符合，未改動」——讓那個結果有自己的格子。補值比補說明有效，因為填表的人選的是清單裡有的那一個。</p>
<p>這一項的危害在下游：讀報告的人會據此以為那一項曾經壞過、修過，於是把它算進「這一輪修了幾處」，而那個數字是後續所有判斷的分母。</p>
<hr>
<h2 id="第二種結論沒有標明它依不依賴涵蓋完整性">第二種：結論沒有標明它依不依賴涵蓋完整性</h2>
<p><strong>兩類結論對涵蓋完整性的依賴相反，而它們在報告上長得一樣</strong>，所以讀者無法從外觀分辨哪一項會隨涵蓋數變動。</p>
<table>
  <thead>
      <tr>
          <th>類別</th>
          <th>例</th>
          <th>涵蓋數被修正時</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>正面命中</td>
          <td>「這一題的三步可純字面完成」</td>
          <td>不受影響——多掃幾題不會使它不成立</td>
      </tr>
      <tr>
          <td><strong>窮舉宣稱</strong></td>
          <td>「其餘二十六題判否」「這一類只有兩道」</td>
          <td><strong>要跟著動</strong>——漏掉的可能正是會命中的那些</td>
      </tr>
  </tbody>
</table>
<p>正面命中是在某個具體對象上量到的，它的真假由那個對象決定；窮舉宣稱是對一個集合的全稱陳述，它的真假由集合劃得對不對決定。<strong>不要用量詞當判斷標準</strong>——「其餘」「只有」「全部」是常見的表面訊號而不是判斷標準，一句「這一類的成員已經列完」沒有任何量詞而它是窮舉宣稱；一次派給三份獨立讀者的量測裡有兩份把分辨退化成掃這幾個字，成因是舉例用的兩句恰好都含量詞。同一份報告裡兩類混在一起而沒有標記時，<strong>涵蓋數一旦被修正，讀者無從判斷哪幾項結論要重新檢查</strong>，於是可選的動作只有兩個極端：整份重驗，或整份照用。</p>
<p>實測那次涵蓋數修正之後，七項結論裡只有兩項窮舉宣稱需要更正，其餘五項正面命中不受影響。有了分類，那次修正的代價是重驗兩項；沒有分類，它是重驗七項或者賭五項。</p>
<p><strong>修法是報告的每一項結論加一欄，值只有兩個。</strong> 這一欄的成本是填表時的一次判斷，而它買到的是「輸入被修正時，哪些產出要跟著動」這個問題有答案。</p>
<hr>
<h2 id="兩個形態的共同機制">兩個形態的共同機制</h2>
<p><strong>欄位集合是一個關於「會有哪些結果」的宣稱，而那個宣稱通常沒有被當成宣稱來檢查。</strong> 設計表單的人在列格式，不覺得自己在斷言什麼；而每一個沒有格子的結果，都被那張表宣告為不會發生。</p>
<p>驗收因此有一個便宜的形式：<strong>把表單的每一欄拿出來，逐欄列舉它可能的值，問有沒有一種真實情形落在全部的值之外。</strong> 落在外面的那些就是會被改寫或被跳過的。這一步在設計階段花幾分鐘，而它在事後只能靠填表人自己察覺——實測那一次確實是填表人自己抓到的，而那不是一條可以依靠的防線。</p>
<hr>
<h2 id="判讀徵兆">判讀徵兆</h2>
<ul>
<li>自檢表或盤點表的結果欄只有「發現問題」「已修正」這類值，沒有「本來就符合」</li>
<li>某一列的敘述讀起來像一次修正，而找不到對應的改動紀錄</li>
<li>報告的結論裡混著具體對象上的觀測與對集合的全稱陳述，沒有分開標記</li>
<li>涵蓋範圍或樣本數被修正之後，沒有人說得出哪幾項結論要重看</li>
<li>一張表的某幾列被跳過，而跳過的理由沒有欄位可以記</li>
<li>表單設計的檢討只問了「這些欄位夠不夠表達我要的東西」，沒問「有哪種真實情形填不進去」</li>
</ul>
<hr>
<h2 id="跟其他抽象層原則的關係">跟其他抽象層原則的關係</h2>
<ul>
<li><a href="/blog/report/fabricated-observation-hides-among-cited-facts/" data-link-title="「我以為觀測到的」躲在「引用的」那一欄裡，因為它看起來有來源" data-link-desc="要為一份報告的宣稱分配查核責任時，用來檢查分類法有沒有把虛構的觀測歸進可查的那一欄">#333 「我以為觀測到的」躲在「引用的」那一欄裡</a>：同一個機制在來源分類上的形態。那張卡說來源欄的類別不足時，兩種不同來源的宣稱會併進同一格；本卡的第二個形態是它的正交軸——<strong>那裡分的是這個宣稱從哪裡來，本卡分的是它依賴什麼才成立</strong>。兩欄都缺的報告，讀者既不知道某項結論的來源，也不知道輸入變動時它要不要跟著動。</li>
<li><a href="/blog/report/judgment-rules-must-specify-their-trace/" data-link-title="要求執行者做判定的規則，要一併規定判定留下什麼痕跡" data-link-desc="寫下一條「先判斷 X、再依判斷做 Y」的規則時，判斷它可不可證偽——判定過與沒判定過的產物相同時，規則會沿著零後續的那個結論塌陷">#243 要求執行者做判定的規則，要一併規定判定留下什麼痕跡</a>：那張卡要求判定留下痕跡，本卡指出痕跡的格式本身會決定痕跡的真假。<strong>兩張接在一起才完整</strong>：加一欄讓判定可見（那張），而那一欄的值域要涵蓋所有真實結果（本卡），否則產生的痕跡是一份合格式的假紀錄。那張卡點出的「三級量表全部填中」也是本卡的形態——值域裡只有一個值不必舉證。</li>
<li><a href="/blog/report/rule-text-can-have-negative-effect/" data-link-title="條文可以有負效力，而禁止某條捷徑的那句話自己就是捷徑的地圖" data-link-desc="一款條文量到零引用、準備刪掉或搬位置時，用來先判斷它被引用會發生什麼">#351 條文可以有負效力</a>：同批的鄰居，而機制相反。那張是條文提供了讀者不該有的東西，本卡是表單沒有提供讀者需要的東西；兩者共用的推論是<strong>產物的形狀本身在做功</strong>，而它不在任何一輪檢查內容的審查射程裡。</li>
<li><a href="/blog/report/content-pressure-resolves-by-expansion-not-compression/" data-link-title="內容超出容器時擴充結構、不壓縮內容" data-link-desc="寫作時判斷標準裝不進表格格、概念裝不進標題、範例讓段落過長，想裁內容遷就容器時讀。出口在結構層——就地展開、拆卡外部化、或換成指向既有落點的連結；內容量不是可裁的變數，壓縮遷就容器的終點是簡報式文章。">#262 內容壓力的出口是擴充結構、不是壓縮內容</a>：本卡是它在欄位上的形態。那張講內容裝不進容器時不該裁內容，本卡講事實裝不進欄位時不該改寫事實——出口同樣在結構那一側（補一個值、補一欄），而就地遷就的代價在兩者都是靜默的。</li>
</ul>
]]></content:encoded></item></channel></rss>