<?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%9F%A5%E8%AD%89/</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>Wed, 19 Aug 2026 00:00:00 +0800</lastBuildDate><atom:link href="https://tarrragon.github.io/blog/tags/%E6%9F%A5%E8%AD%89/index.xml" rel="self" type="application/rss+xml"/><item><title>承重事實要對到 primary source：自己的舊分析是 secondary、不是 ground truth</title><link>https://tarrragon.github.io/blog/report/verify-load-bearing-facts-against-primary-source/</link><pubDate>Tue, 21 Jul 2026 00:00:00 +0800</pubDate><guid>https://tarrragon.github.io/blog/report/verify-load-bearing-facts-against-primary-source/</guid><description>&lt;h2 id="論述基礎與限制">論述基礎與限制&lt;/h2>
&lt;p>本卡的觀察來自一次財務分析的查證骨牌：分析中聯油脂時，先引用了本站自己一篇文章寫的「中聯未上市、無公開財報」——直接當事實用、沒對原始來源核對，於是把那篇的錯誤傳播進新分析。使用者質疑後才發現：中聯是公開發行未上市（有申報財報）、blog 寫錯了。而第一次更正時又只依「Goodinfo 顯示股票代號 1246」就說「它上市」，仍不精準；要到使用者觀察「有損益表卻沒股價」+ 調出 MOPS（公開資訊觀測站，台灣官方財報申報平台）年報，才落到正解。限制：本卡談的是「事實」的查證層級，不是「判斷」的對錯（判斷的承重驗證見 &lt;a href="../validate-load-bearing-claim-before-building/">#236&lt;/a>）；也不是要求每個枝節事實都追到原始文件——只有承重的、錯了會讓分析不成立的那些。&lt;/p>
&lt;hr>
&lt;h2 id="核心原則">核心原則&lt;/h2>
&lt;p>&lt;strong>一個事實的可信度等於它的來源層級；承重事實（分析建立在它上面的那些）要對到 primary source，而你自己先前寫的內容是 secondary source、不是 ground truth。&lt;/strong> 二手來源——新聞、彙整站、社群、甚至自己的知識庫——都可能夾帶錯誤；直接採用等於把它的錯誤繼承進來。承重事實要回到最權威的一手來源（申報書、原始紀錄、官方登記）核對，才算落地。&lt;/p>
&lt;p>還有一條配套：&lt;strong>更正一個錯誤事實時，別停在第一個反駁它的來源。&lt;/strong> 那個來源可能也只是部分對。要驗到 primary、或驗到多個獨立來源收斂，才算更正完成。&lt;/p>
&lt;hr>
&lt;h2 id="反模式把自己的舊分析當一手事實">反模式：把自己的舊分析當一手事實&lt;/h2>
&lt;p>最隱蔽的形態是引用&lt;strong>自己&lt;/strong>先前的產出。自己的知識庫、筆記、舊分析讀起來有權威感（是「我們查證過的」），但它只是二手——它繼承了當初產出時的任何錯誤，而且因為出自己手，更不會被重新質疑。事故實例：新分析直接採用本站舊文的「中聯未上市」當前提，那句話從沒被對回原始登記核對過，錯誤就這樣傳到下游、還成了一整條「財務不透明→監管盲點」的論證（見 &lt;a href="../validate-load-bearing-claim-before-building/">#236&lt;/a> 的承重錯誤傳播）。&lt;/p>
&lt;p>第二個形態是&lt;strong>半吊子更正&lt;/strong>：發現「未上市」錯，就抓第一個反例（彙整站顯示代號 1246）宣告「它上市」——但那也不精準（實為公開發行未上市）。停在第一個反駁來源，只是把一個錯換成另一個不完整。&lt;/p>
&lt;hr>
&lt;h2 id="修法承重事實回到-primary更正驗到收斂">修法：承重事實回到 primary、更正驗到收斂&lt;/h2>
&lt;ol>
&lt;li>&lt;strong>標出承重事實&lt;/strong>：分析裡哪些事實錯了會讓結論不成立？那些要查證，枝節不必。&lt;/li>
&lt;li>&lt;strong>排來源層級、對到 primary&lt;/strong>：一手（申報書 / 官方登記 / 原始紀錄）&amp;gt; 官方揭露 &amp;gt; 政府統計 &amp;gt; 可信報導 &amp;gt; 彙整站 &amp;gt; 社群。自己的舊分析歸在「二手」、不是一手。承重事實對到一手才落地。&lt;/li>
&lt;li>&lt;strong>更正驗到收斂&lt;/strong>：更正錯誤事實時，不停在第一個反例；驗到 primary、或多個獨立來源指向同一個精準答案（例：中聯＝公開發行未上市，要「有申報財報」+「無市場股價」兩個訊號同時到位才收斂）。&lt;/li>
&lt;/ol>
&lt;hr>
&lt;h2 id="跟其他原則的關係">跟其他原則的關係&lt;/h2>
&lt;table>
 &lt;thead>
 &lt;tr>
 &lt;th>原則&lt;/th>
 &lt;th>關係&lt;/th>
 &lt;/tr>
 &lt;/thead>
 &lt;tbody>
 &lt;tr>
 &lt;td>&lt;a href="../validate-load-bearing-claim-before-building/">#236 承重論點先對抗驗證再建下游&lt;/a>&lt;/td>
 &lt;td>姊妹——#236 驗承重的「判斷 / 推論」（對抗你的 reasoning），本卡驗承重的「事實」（對到一手來源）；一個管論點對不對、一個管事實準不準，都在建下游前&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>&lt;a href="../query-restraint-must-precede-the-query/">#265 查不查的判定要在查之前做完&lt;/a>&lt;/td>
 &lt;td>本卡的上游——本卡的「標出承重事實、枝節不必」那一步是 #265 的全部主題。本卡管「決定要用的事實驗到多深」，#265 管更前面的「該不該發動查證」；查證有配額或時間成本時先過 #265 的閘門，通過的才進本卡的來源層級&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>&lt;a href="../url-slug-must-be-explicit-fact/">#93 URL slug 必須顯式定義為 fact&lt;/a>&lt;/td>
 &lt;td>同「fact vs derivation」家族——本卡是「二手轉述 vs 一手事實」的來源層級版&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>&lt;a href="../clean-room-reproduce-reveals-non-repo-state/">#227 可重現性只有乾淨機器重跑才驗得出&lt;/a>&lt;/td>
 &lt;td>同型——#227 是「讀 repo 的宣告 ≠ 實跑的真相」，本卡是「讀二手的轉述 ≠ 一手的事實」；都要對到 ground truth，不對自己的宣告&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>&lt;a href="../review-needs-claim-support-frame/">#217 審查要有斷言支撐 frame&lt;/a>&lt;/td>
 &lt;td>斷言支撐問「靠什麼成立」，本卡補一層「就算有來源、來源是第幾手」——一手 vs 轉述的可信度不同&lt;/td>
 &lt;/tr>
 &lt;/tbody>
&lt;/table>
&lt;hr>
&lt;h2 id="判讀徵兆">判讀徵兆&lt;/h2>
&lt;table>
 &lt;thead>
 &lt;tr>
 &lt;th>訊號&lt;/th>
 &lt;th>該做的事&lt;/th>
 &lt;/tr>
 &lt;/thead>
 &lt;tbody>
 &lt;tr>
 &lt;td>分析用到一個承重事實、來源是新聞 / 彙整站 / 自己的舊文&lt;/td>
 &lt;td>回到 primary source（申報書 / 官方登記）核對，別把二手當一手&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>引用「我們之前查過 / 我們自己寫過」當事實依據&lt;/td>
 &lt;td>自己的舊產出是二手、繼承當初的錯；承重的重新對到一手&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>發現一個事實錯了、抓到第一個反例就宣告更正&lt;/td>
 &lt;td>別停在第一個反駁來源；驗到 primary 或多來源收斂再定案&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>下游一整條論證都建在同一個未經一手核對的事實上&lt;/td>
 &lt;td>先驗那個事實，再看論證——事實錯了論證整條要重來（#236）&lt;/td>
 &lt;/tr>
 &lt;/tbody>
&lt;/table></description><content:encoded><![CDATA[<h2 id="論述基礎與限制">論述基礎與限制</h2>
<p>本卡的觀察來自一次財務分析的查證骨牌：分析中聯油脂時，先引用了本站自己一篇文章寫的「中聯未上市、無公開財報」——直接當事實用、沒對原始來源核對，於是把那篇的錯誤傳播進新分析。使用者質疑後才發現：中聯是公開發行未上市（有申報財報）、blog 寫錯了。而第一次更正時又只依「Goodinfo 顯示股票代號 1246」就說「它上市」，仍不精準；要到使用者觀察「有損益表卻沒股價」+ 調出 MOPS（公開資訊觀測站，台灣官方財報申報平台）年報，才落到正解。限制：本卡談的是「事實」的查證層級，不是「判斷」的對錯（判斷的承重驗證見 <a href="../validate-load-bearing-claim-before-building/">#236</a>）；也不是要求每個枝節事實都追到原始文件——只有承重的、錯了會讓分析不成立的那些。</p>
<hr>
<h2 id="核心原則">核心原則</h2>
<p><strong>一個事實的可信度等於它的來源層級；承重事實（分析建立在它上面的那些）要對到 primary source，而你自己先前寫的內容是 secondary source、不是 ground truth。</strong> 二手來源——新聞、彙整站、社群、甚至自己的知識庫——都可能夾帶錯誤；直接採用等於把它的錯誤繼承進來。承重事實要回到最權威的一手來源（申報書、原始紀錄、官方登記）核對，才算落地。</p>
<p>還有一條配套：<strong>更正一個錯誤事實時，別停在第一個反駁它的來源。</strong> 那個來源可能也只是部分對。要驗到 primary、或驗到多個獨立來源收斂，才算更正完成。</p>
<hr>
<h2 id="反模式把自己的舊分析當一手事實">反模式：把自己的舊分析當一手事實</h2>
<p>最隱蔽的形態是引用<strong>自己</strong>先前的產出。自己的知識庫、筆記、舊分析讀起來有權威感（是「我們查證過的」），但它只是二手——它繼承了當初產出時的任何錯誤，而且因為出自己手，更不會被重新質疑。事故實例：新分析直接採用本站舊文的「中聯未上市」當前提，那句話從沒被對回原始登記核對過，錯誤就這樣傳到下游、還成了一整條「財務不透明→監管盲點」的論證（見 <a href="../validate-load-bearing-claim-before-building/">#236</a> 的承重錯誤傳播）。</p>
<p>第二個形態是<strong>半吊子更正</strong>：發現「未上市」錯，就抓第一個反例（彙整站顯示代號 1246）宣告「它上市」——但那也不精準（實為公開發行未上市）。停在第一個反駁來源，只是把一個錯換成另一個不完整。</p>
<hr>
<h2 id="修法承重事實回到-primary更正驗到收斂">修法：承重事實回到 primary、更正驗到收斂</h2>
<ol>
<li><strong>標出承重事實</strong>：分析裡哪些事實錯了會讓結論不成立？那些要查證，枝節不必。</li>
<li><strong>排來源層級、對到 primary</strong>：一手（申報書 / 官方登記 / 原始紀錄）&gt; 官方揭露 &gt; 政府統計 &gt; 可信報導 &gt; 彙整站 &gt; 社群。自己的舊分析歸在「二手」、不是一手。承重事實對到一手才落地。</li>
<li><strong>更正驗到收斂</strong>：更正錯誤事實時，不停在第一個反例；驗到 primary、或多個獨立來源指向同一個精準答案（例：中聯＝公開發行未上市，要「有申報財報」+「無市場股價」兩個訊號同時到位才收斂）。</li>
</ol>
<hr>
<h2 id="跟其他原則的關係">跟其他原則的關係</h2>
<table>
  <thead>
      <tr>
          <th>原則</th>
          <th>關係</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td><a href="../validate-load-bearing-claim-before-building/">#236 承重論點先對抗驗證再建下游</a></td>
          <td>姊妹——#236 驗承重的「判斷 / 推論」（對抗你的 reasoning），本卡驗承重的「事實」（對到一手來源）；一個管論點對不對、一個管事實準不準，都在建下游前</td>
      </tr>
      <tr>
          <td><a href="../query-restraint-must-precede-the-query/">#265 查不查的判定要在查之前做完</a></td>
          <td>本卡的上游——本卡的「標出承重事實、枝節不必」那一步是 #265 的全部主題。本卡管「決定要用的事實驗到多深」，#265 管更前面的「該不該發動查證」；查證有配額或時間成本時先過 #265 的閘門，通過的才進本卡的來源層級</td>
      </tr>
      <tr>
          <td><a href="../url-slug-must-be-explicit-fact/">#93 URL slug 必須顯式定義為 fact</a></td>
          <td>同「fact vs derivation」家族——本卡是「二手轉述 vs 一手事實」的來源層級版</td>
      </tr>
      <tr>
          <td><a href="../clean-room-reproduce-reveals-non-repo-state/">#227 可重現性只有乾淨機器重跑才驗得出</a></td>
          <td>同型——#227 是「讀 repo 的宣告 ≠ 實跑的真相」，本卡是「讀二手的轉述 ≠ 一手的事實」；都要對到 ground truth，不對自己的宣告</td>
      </tr>
      <tr>
          <td><a href="../review-needs-claim-support-frame/">#217 審查要有斷言支撐 frame</a></td>
          <td>斷言支撐問「靠什麼成立」，本卡補一層「就算有來源、來源是第幾手」——一手 vs 轉述的可信度不同</td>
      </tr>
  </tbody>
</table>
<hr>
<h2 id="判讀徵兆">判讀徵兆</h2>
<table>
  <thead>
      <tr>
          <th>訊號</th>
          <th>該做的事</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>分析用到一個承重事實、來源是新聞 / 彙整站 / 自己的舊文</td>
          <td>回到 primary source（申報書 / 官方登記）核對，別把二手當一手</td>
      </tr>
      <tr>
          <td>引用「我們之前查過 / 我們自己寫過」當事實依據</td>
          <td>自己的舊產出是二手、繼承當初的錯；承重的重新對到一手</td>
      </tr>
      <tr>
          <td>發現一個事實錯了、抓到第一個反例就宣告更正</td>
          <td>別停在第一個反駁來源；驗到 primary 或多來源收斂再定案</td>
      </tr>
      <tr>
          <td>下游一整條論證都建在同一個未經一手核對的事實上</td>
          <td>先驗那個事實，再看論證——事實錯了論證整條要重來（#236）</td>
      </tr>
  </tbody>
</table>
]]></content:encoded></item><item><title>查不查的判定要在查之前做完：被丟棄的查詢不會在成品裡留下痕跡</title><link>https://tarrragon.github.io/blog/report/query-restraint-must-precede-the-query/</link><pubDate>Wed, 19 Aug 2026 00:00:00 +0800</pubDate><guid>https://tarrragon.github.io/blog/report/query-restraint-must-precede-the-query/</guid><description>&lt;h2 id="論述基礎與限制">論述基礎與限制&lt;/h2>
&lt;p>本卡的觀察來自一次書單建置：四十幾本書要逐本查出可核對的購書連結與中譯本狀態，累積把整個 session 的 web search 配額（200 次）用盡，最後兩項查證做不完。事後盤點發現至少三種可避免的耗用——查了最後沒用進成品的事實、同一個事實搜了又搜、以及查詢失敗後預設再發一次查詢而不是去抓上一次結果已經給出的連結。使用者質疑「是不是方法有問題」時，才發現這類浪費在成品裡完全看不出來。&lt;/p>
&lt;p>限制：本卡談的是&lt;strong>要不要發動查證&lt;/strong>這個決定，不談查到之後該驗到多深（那是 &lt;a href="../verify-load-bearing-facts-against-primary-source/">#238&lt;/a>）。也不主張少查——承重的事實該查多少次就查多少次，本卡處理的是那些查了以後被丟掉的。&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;p>&lt;strong>查了才判斷要不要用。&lt;/strong> 順序顛倒的成本全在被丟棄的那一側。實例：查一本書某個版次的出版年份，兩次查詢都沒查到，最後把年份從文章裡拿掉——而那個年份從一開始就不承重（該段的時效判定講的是書中預設的實體會議室與掛圖，跟年份無關）。判定發生在查之前的話，這兩次查詢不會存在。&lt;/p>
&lt;p>這個順序之所以會被顛倒，是因為&lt;strong>查證感覺起來像負責任、跳過查證感覺起來像偷懶&lt;/strong>，而兩者的差別在成品上看不出來。沒有任何審查維度會問「這一段你為了一個最後沒寫的事實查了幾次」。&lt;/p>
&lt;p>&lt;strong>查不到就再查一次。&lt;/strong> 失敗後的自然反應是換個關鍵字重發同一類動作，但手上通常已經有更便宜的資源：上一次查詢結果裡的連結。實例：確認一本書的版次出版日期時，先後發了兩次查詢加四次抓取，而第一次查詢的結果裡就已經有那個答案所在的頁面連結。&lt;/p>
&lt;p>&lt;strong>把被擋住的便宜工具靜默換成昂貴工具。&lt;/strong> 書目資料的權威來源（購書平台的商品頁）對抓取一律拒絕，於是每一筆「出版社、譯者、日期」都得改用查詢工具取得——而查詢回來的是模型改寫過的摘要而非原頁，成本更高、可靠度更低。替代發生時要記下這個降級，不要當成等價的兩條路徑。&lt;/p>
&lt;hr>
&lt;h2 id="修法">修法&lt;/h2>
&lt;ol>
&lt;li>&lt;strong>查之前先過承重閘門&lt;/strong>：把待查清單逐項問「查不到的話成品少掉什麼」。答案是可以直接刪掉的修飾語就從清單移除，不進查詢佇列。&lt;/li>
&lt;li>&lt;strong>一個對象一次查詢&lt;/strong>：同一本書 / 同一個實體的多項屬性（名稱、出處、日期、識別碼）用一條查詢一次帶回，不要拆成多次。&lt;/li>
&lt;li>&lt;strong>失敗後換資源、不換關鍵字&lt;/strong>：第一次失敗時先看上一次結果裡有沒有可以直接抓的連結；沒有才考慮重新查詢；不承重的事實在第一次失敗就放棄。&lt;/li>
&lt;li>&lt;strong>記下工具替代的降級&lt;/strong>：便宜的取用路徑被擋、改用昂貴工具頂替時，把可靠度差異寫進判斷，別把替代品的產出當成一手。&lt;/li>
&lt;li>&lt;strong>成品承擔查證紀錄&lt;/strong>：已經寫進成品的事實就是查證紀錄，跨 session 不重查。查不到而決定不寫的，在交付時明說哪一項沒查完，避免下一輪重跑同一條路。&lt;/li>
&lt;/ol>
&lt;hr>
&lt;h2 id="跟其他原則的關係">跟其他原則的關係&lt;/h2>
&lt;table>
 &lt;thead>
 &lt;tr>
 &lt;th>原則&lt;/th>
 &lt;th>關係&lt;/th>
 &lt;/tr>
 &lt;/thead>
 &lt;tbody>
 &lt;tr>
 &lt;td>&lt;a href="../verify-load-bearing-facts-against-primary-source/">#238 承重事實要對到 primary source&lt;/a>&lt;/td>
 &lt;td>姊妹——#238 管「決定要用的事實該驗到多深」，本卡管更前面一步的「該不該發動查證」；#238 的「標出承重事實、枝節不必」那一步是本卡的全部主題&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>&lt;a href="../validate-load-bearing-claim-before-building/">#236 承重論點先對抗驗證再建下游&lt;/a>&lt;/td>
 &lt;td>承重判定的原型。#236 用它決定哪個論點要先被挑戰，本卡把同一個判定前移到「要不要花成本去查」&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>&lt;a href="../judgment-rules-must-specify-their-trace/">#243 要求執行者做判定的規則要一併規定判定留下什麼痕跡&lt;/a>&lt;/td>
 &lt;td>同一種不可見性——#243 的「認真做過與完全沒做，產物長得一樣」在這裡是「查了丟掉與根本沒查，成品長得一樣」；差別在 #243 補痕跡讓判定可複驗，本卡的痕跡補不出來（丟棄的查詢無處記錄），只能把判定移到前面&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>&lt;a href="../filter-order-by-scan-cost/">#6 Filter 順序由使用者掃描成本決定&lt;/a>&lt;/td>
 &lt;td>結構同型——便宜的判定排在昂貴的動作之前。#6 排的是使用者的視線成本，本卡排的是查證的配額成本&lt;/td>
 &lt;/tr>
 &lt;/tbody>
&lt;/table>
&lt;hr>
&lt;h2 id="判讀徵兆">判讀徵兆&lt;/h2>
&lt;table>
 &lt;thead>
 &lt;tr>
 &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;/tr>
 &lt;tr>
 &lt;td>同一個實體分了三四次查詢（名稱一次、日期一次、版本一次）&lt;/td>
 &lt;td>併成一條查詢；多屬性一次帶回&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>一個事實查了兩次以上還沒到手&lt;/td>
 &lt;td>先問它承不承重；不承重就從成品拿掉，承重就改抓已有的連結而非再查&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>權威來源拒絕存取、改用另一個工具頂替&lt;/td>
 &lt;td>記下可靠度降級；別把替代品的產出當一手&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>配額 / 時間耗盡才發現查證失控&lt;/td>
 &lt;td>這個訊號要等成本累積到上限才出現、結構上滯後，不能當控制手段；控制點在每次查詢發動之前&lt;/td>
 &lt;/tr>
 &lt;tr>
 &lt;td>交付時有查不完的項目&lt;/td>
 &lt;td>明說哪一項沒查完、以及成品有沒有主張它，讓下一輪不必重跑&lt;/td>
 &lt;/tr>
 &lt;/tbody>
&lt;/table></description><content:encoded><![CDATA[<h2 id="論述基礎與限制">論述基礎與限制</h2>
<p>本卡的觀察來自一次書單建置：四十幾本書要逐本查出可核對的購書連結與中譯本狀態，累積把整個 session 的 web search 配額（200 次）用盡，最後兩項查證做不完。事後盤點發現至少三種可避免的耗用——查了最後沒用進成品的事實、同一個事實搜了又搜、以及查詢失敗後預設再發一次查詢而不是去抓上一次結果已經給出的連結。使用者質疑「是不是方法有問題」時，才發現這類浪費在成品裡完全看不出來。</p>
<p>限制：本卡談的是<strong>要不要發動查證</strong>這個決定，不談查到之後該驗到多深（那是 <a href="../verify-load-bearing-facts-against-primary-source/">#238</a>）。也不主張少查——承重的事實該查多少次就查多少次，本卡處理的是那些查了以後被丟掉的。</p>
<hr>
<h2 id="核心原則">核心原則</h2>
<p><strong>查證的成本結構是不對稱的：判斷一個事實承不承重是免費的（讀一下自己的草稿就知道），發動查證是有成本的，而查了以後沒用進成品的那些不會留下任何痕跡。</strong> 因此節制必須發生在查之前——事後檢討看不到被丟棄的查詢，而配額耗盡這個訊號抵達時已經來不及調整。</p>
<p>判定只有一個問題：<strong>這個事實如果查不到，成品會少掉什麼？</strong> 答案是「一個可以直接拿掉的修飾語」時，不查；答案是「一段論證不成立」或「一個讀者要拿去用的座標消失」時，查到落地為止。</p>
<hr>
<h2 id="反模式">反模式</h2>
<p><strong>查了才判斷要不要用。</strong> 順序顛倒的成本全在被丟棄的那一側。實例：查一本書某個版次的出版年份，兩次查詢都沒查到，最後把年份從文章裡拿掉——而那個年份從一開始就不承重（該段的時效判定講的是書中預設的實體會議室與掛圖，跟年份無關）。判定發生在查之前的話，這兩次查詢不會存在。</p>
<p>這個順序之所以會被顛倒，是因為<strong>查證感覺起來像負責任、跳過查證感覺起來像偷懶</strong>，而兩者的差別在成品上看不出來。沒有任何審查維度會問「這一段你為了一個最後沒寫的事實查了幾次」。</p>
<p><strong>查不到就再查一次。</strong> 失敗後的自然反應是換個關鍵字重發同一類動作，但手上通常已經有更便宜的資源：上一次查詢結果裡的連結。實例：確認一本書的版次出版日期時，先後發了兩次查詢加四次抓取，而第一次查詢的結果裡就已經有那個答案所在的頁面連結。</p>
<p><strong>把被擋住的便宜工具靜默換成昂貴工具。</strong> 書目資料的權威來源（購書平台的商品頁）對抓取一律拒絕，於是每一筆「出版社、譯者、日期」都得改用查詢工具取得——而查詢回來的是模型改寫過的摘要而非原頁，成本更高、可靠度更低。替代發生時要記下這個降級，不要當成等價的兩條路徑。</p>
<hr>
<h2 id="修法">修法</h2>
<ol>
<li><strong>查之前先過承重閘門</strong>：把待查清單逐項問「查不到的話成品少掉什麼」。答案是可以直接刪掉的修飾語就從清單移除，不進查詢佇列。</li>
<li><strong>一個對象一次查詢</strong>：同一本書 / 同一個實體的多項屬性（名稱、出處、日期、識別碼）用一條查詢一次帶回，不要拆成多次。</li>
<li><strong>失敗後換資源、不換關鍵字</strong>：第一次失敗時先看上一次結果裡有沒有可以直接抓的連結；沒有才考慮重新查詢；不承重的事實在第一次失敗就放棄。</li>
<li><strong>記下工具替代的降級</strong>：便宜的取用路徑被擋、改用昂貴工具頂替時，把可靠度差異寫進判斷，別把替代品的產出當成一手。</li>
<li><strong>成品承擔查證紀錄</strong>：已經寫進成品的事實就是查證紀錄，跨 session 不重查。查不到而決定不寫的，在交付時明說哪一項沒查完，避免下一輪重跑同一條路。</li>
</ol>
<hr>
<h2 id="跟其他原則的關係">跟其他原則的關係</h2>
<table>
  <thead>
      <tr>
          <th>原則</th>
          <th>關係</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td><a href="../verify-load-bearing-facts-against-primary-source/">#238 承重事實要對到 primary source</a></td>
          <td>姊妹——#238 管「決定要用的事實該驗到多深」，本卡管更前面一步的「該不該發動查證」；#238 的「標出承重事實、枝節不必」那一步是本卡的全部主題</td>
      </tr>
      <tr>
          <td><a href="../validate-load-bearing-claim-before-building/">#236 承重論點先對抗驗證再建下游</a></td>
          <td>承重判定的原型。#236 用它決定哪個論點要先被挑戰，本卡把同一個判定前移到「要不要花成本去查」</td>
      </tr>
      <tr>
          <td><a href="../judgment-rules-must-specify-their-trace/">#243 要求執行者做判定的規則要一併規定判定留下什麼痕跡</a></td>
          <td>同一種不可見性——#243 的「認真做過與完全沒做，產物長得一樣」在這裡是「查了丟掉與根本沒查，成品長得一樣」；差別在 #243 補痕跡讓判定可複驗，本卡的痕跡補不出來（丟棄的查詢無處記錄），只能把判定移到前面</td>
      </tr>
      <tr>
          <td><a href="../filter-order-by-scan-cost/">#6 Filter 順序由使用者掃描成本決定</a></td>
          <td>結構同型——便宜的判定排在昂貴的動作之前。#6 排的是使用者的視線成本，本卡排的是查證的配額成本</td>
      </tr>
  </tbody>
</table>
<hr>
<h2 id="判讀徵兆">判讀徵兆</h2>
<table>
  <thead>
      <tr>
          <th>訊號</th>
          <th>該做的事</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>查到一半發現這個事實最後不會寫進成品</td>
          <td>這次查詢是可避免的；回頭確認待查清單有沒有過承重閘門</td>
      </tr>
      <tr>
          <td>同一個實體分了三四次查詢（名稱一次、日期一次、版本一次）</td>
          <td>併成一條查詢；多屬性一次帶回</td>
      </tr>
      <tr>
          <td>一個事實查了兩次以上還沒到手</td>
          <td>先問它承不承重；不承重就從成品拿掉，承重就改抓已有的連結而非再查</td>
      </tr>
      <tr>
          <td>權威來源拒絕存取、改用另一個工具頂替</td>
          <td>記下可靠度降級；別把替代品的產出當一手</td>
      </tr>
      <tr>
          <td>配額 / 時間耗盡才發現查證失控</td>
          <td>這個訊號要等成本累積到上限才出現、結構上滯後，不能當控制手段；控制點在每次查詢發動之前</td>
      </tr>
      <tr>
          <td>交付時有查不完的項目</td>
          <td>明說哪一項沒查完、以及成品有沒有主張它，讓下一輪不必重跑</td>
      </tr>
  </tbody>
</table>
]]></content:encoded></item></channel></rss>