"Verification"
- 字面攔截 vs 行為精煉:驗證手段跟錯誤層次的對齊
驗證手段必須跟錯誤層次對齊:字面錯誤(typo / syntax / 缺欄位)用 hook / lint / CI 攔截;行為錯誤(思考偏差 / 判斷錯位 / collapse 反模式)用 multi-pass spiral 收斂。強行用 hook 蓋行為錯誤 = 給出 false confidence、反而比沒保護危險。本卡是 #72 結構性對策在「驗證粒度」維度的 ceiling — 不是所有錯誤都該被攔截。
- Vendor Feature 時間敏感性:Claim Verification 必跑、寫作日期必標
寫 vendor article 時、feature limitation claim(『不支援 X』『最多 Y』『預設 Z』)有時間敏感性 — vendor 持續演進、寫作後 N 個月可能 invalidate 整段 audit 邏輯。Case:PlanetScale FK 不支援是 2022 年的事實、2023 末 Vitess 18 加 FK 支援、寫作時若不 verify、Phase 1 audit「FK audit + 全 drop」整段過時。機制:LLM training cutoff vs vendor changelog 速度差、且 LLM 預設不標 claim 的時間性。修法:每篇 vendor article 標 *Last verified* date、limitation claim 必要時加 *as of N* 註、claim 反轉 invalidates 整段 audit 時必須重寫不是修補。
- 驗證導向的 CLI 工具文章:官方 docs 查核放過的落差類型
CLI 工具教學的指令正確性不能只靠官方文件查核、要實機驗證時回來。官方文件驗的是「文件說的是否正確」、驗不了「文件沒說的是否存在」。