遷移資料庫最可怕的不是 crash，是默默算錯 — 行為等價驗證法

資料庫遷移出事，你會期待它大聲地壞——查詢報錯、pod 起不來、CI 紅一片。那種其實好處理，因為你看得到。

真正可怕的是默默算錯：查詢照樣跑、頁面照樣開、沒有一行紅字，只是回來的數字悄悄錯了。字串串接變成布林、大小寫比對突然不分、upsert 靜默插了重複——這些在 PostgreSQL 和 MySQL 之間全是行為差異，而且都不會 crash。

所以「遷移完測一測、沒壞就上」是危險的。你需要的是行為等價（parity）驗證：證明「新舊 DB 對同一批操作的行為一致」，而不是「跑起來沒噴錯」。

做成一條 CI 可跑的 pass/fail，而不是人肉盯畫面。分三階段。

證明「同一個查詢在新舊 DB 回一樣的結果」。

1. 挑約 40 支代表性且高風險的查詢——專挑方言差異大的：JSON 抽值、LIKE 文字比對、DISTINCT ON、回 Decimal 的聚合。不是隨便挑，是挑最容易在方言差異上翻車的。
2. 對舊 DB 跑一輪，結果序列化成 JSON fixtures。
3. 切一個環境變數把輸出目錄換掉，對新 DB 再跑同一批。
4. 順手 pin 每張表的 row count 當 bulk sanity check——整批數量對不上，先別談細節。

精髓：golden snapshot 挑的是「高風險 query」不是「常用 query」。常用的通常簡單、不會出事；出事的都是那些用到方言特性的角落查詢。

讀路徑對了，不代表寫路徑對。設計 5 個寫入場景：upsert 冪等性、JSON round-trip（unicode / 巢狀）、CRUD + 稽核表、欄位鎖。

兩個關鍵原則：

• 斷言值寫在程式碼裡，不是從 DB 反推。 同一份斷言在新舊 DB 都跑，不一致 = 遷移 bug。如果你從 DB 讀值再拿去比 DB，那是自我循環，測不到東西。
• 頭號場景是冪等性。 專抓「upsert 的 conflict target 沒對到真的 unique key → 默默雙插」——這是遷移最陰的靜默 bug 之一。

用 TEST-* 前綴的合成資料，走 SETUP → ACT → ASSERT → CLEANUP 自清，不污染真實資料。

直接比對兩份 fixtures 會被合法的非決定性淹沒——時間戳、排序、浮點誤差每次都不同，但那些不算行為改變。所以先正規化：

1. 排序所有 list——消掉 GROUP_CONCAT / 聚合的順序噪音。
2. 截斷浮點——吸收 NOW() 之類的時間漂移。
3. 數字字串統一——"1" 與 1 別當成不同。

正規化之後，每個 fixture 分三級：

只有 SIGNIFICANT / MISSING 才讓 CI 紅。

這一步的精髓：你是在「論證為什麼一個 diff 不算行為改變」，不是無腦比對。每一條被判 TRIVIAL 的差異，背後都有一個「因為它是排序噪音 / 時間漂移，所以不算 bug」的理由。這才是 parity 驗證跟「diff 兩個檔案」的本質差別。

遷移時逐一踩過的坑。這些錯多半不會 crash、只會默默算錯：

三個致命隱形陷阱

1. ON DUPLICATE KEY UPDATE 的 conflict target 必須對到真的 PRIMARY / UNIQUE KEY，否則不觸發、默默插重複。
2. ai_ci collation 讓 WHERE name = 'Hotfix' 也吃到 'hotfix'——unique key 會意外衝突。
3. Upsert 對「沒列出的欄位」天然保留舊值，別用子查詢自我 reference（MySQL 1093 錯誤）。

MySQL 環境還要注意

• ONLY_FULL_GROUP_BY：MySQL 不會從 PK 推函數依賴（PG 會）→ PG 能跑的 GROUP BY 在 MySQL 丟 1055，補欄位或用 ANY_VALUE()。
• STRICT_TRANS_TABLES：INT 欄收到 'abc' 會硬報錯而非默默變 0 → int(epoch) cast 要在 Python 先做。
• RETURNING id 沒有 MySQL 對應 → 用 cursor.lastrowid。
• 時區：server time_zone=SYSTEM（=UTC）+ 連線後 SET time_zone='+00:00'，本機 my.cnf 也設 default-time-zone='+00:00'，否則遷移後時間全體偏移。

遷移最可怕的不是 crash，是默默算錯——因為 crash 你看得到，錯數字你看不到。用查詢快照逐筆比對證明新舊行為一致，而不是『測一測沒壞就上』。 做成一條 CI 的 pass/fail，讓「行為變了」在合併前就紅燈。