feat: MySQL／MariaDB ↔ PostgreSQL 受控邏輯搬移（07）

[NickYCLin]

這輪做什麼／為什麼

MySQL／MariaDB DDL 隱含 commit，不能沿用 PG／SQLite 的整批 DDL 交易。新增正式 Core 與 Avalonia 雙向搬移：空目標、本輪 staging、分批 DML、結構／SHA256 驗證、單一 multi-table RENAME 與發布後驗證。殘留為 StagingRemains，發布 ack lost／斷線為 Uncertain，兩者禁止盲重試；不刪除既有物件、不修改權限。

精確子集

MySQL 8.4.x／MariaDB 11.4.x ↔ PG14–17；signed bigint、longblob／bytea、longtext utf8mb4 NO PAD binary／text C，整數單欄／複合 PK 與具名普通升冪索引。文字與 binary 可作欄位，但不放行 MySQL 配對的文字／binary 索引鍵。其他寬度／unsigned、時間／decimal、identity/default、FK/CHECK/UNIQUE、prefix／expression／descending／invisible、trigger/procedure/event、partition 等 catalog＋完整 SHOW CREATE TABLE grammar fail closed；PG 自訂 PK 名稱往 MySQL 拒絕。完整範圍與技術限制見 docs/LOGICAL_MIGRATION_MATRIX.md。

本機正式來源驗證

• CrossPlatform Release build：0 errors、12 個既有 warnings；smoke 33/33。
• Xvfb 正式 Avalonia handler／搬移入口：PASS；MySQL／MariaDB 版本選項與 warning 顯示另有 UI assertion。UI 真 MySQL/SSH 尚未實測。
• 正式 Core project-reference fixture：PG16.15 ↔ MySQL8.4.11／MariaDB11.4.13，各1007列＋空表，UTF8／emoji／NULL／empty bytes/text／Int64極值／整數複合PK／named index與真正 duplicate PK 拒絕。來源hash與最終工作樹一致。
• 真引擎取消、批次錯誤、結構破壞、發布碰撞、真正 RENAME 後 ack lost／斷線、stale same-count source、PG目標部分寫入回滾／零物件、16MiB BLOB有界拒絕、pre-cancel與unsupported catalog：PASS。不是斷電／process crash測試。
• 新schema來源再跑PG17.10↔14.24及16.15＋SQLite seed/roundtrip，各1007列＋空表：PASS；證據先前已由PR49整合並直接link正式Core。
• 證據：/tmp/mysqlpunk-07-final-build.log、/tmp/mysqlpunk-07-final-smoke.log、/tmp/mysqlpunk-07-final-ui.log；/tmp/mysqlpunk-07-my-pg-final、/tmp/mysqlpunk-07-pg14-final、/tmp/mysqlpunk-07-pg16-final 的 evidence.json／migration.log（版本、image digest、source hash、cleanup）。所有自有容器清理成功。

CI／剩餘界線

新head CI Linux新增可重跑 tests/Run-MySqlLogicalMigration.py，四平台編譯，artifact保留合成fixture evidence；既有56/56 provider suite與這輪新fixture分開。Windows與跨平台結果以本PR精確head為準，尚在等待。
PG15／其他MySQL與MariaDB版本配對、真SSH/UI MySQL、process/engine crash、其他引擎配對未驗證；未宣稱任意資料庫無損轉换。使用已授權合成容器、loopback隨機ports／ownership label／tmpfs，無真資料、無新權限／安全設定。

Release hold不變：沒有版更、tag、Release-Now或發布。整體跨引擎需求仍分階段，待獨立驗收。

[NickYCLin]

最終head 501d2cd 五平台全部success，已核對API與Linux／Windows job log。Windows build/smoke 240通過；cross Linux既有provider 56/56，另有真正PG16.15↔MySQL8.4.11／MariaDB11.4.13新fixture，各1007列＋空表、故障／取消／殘留／發布ack lost與PG明確PRIMARY名稱全部PASS。CI run：Windows38528154449、cross38528154637（Linux115733338177）。

命名映射補正後，再以同一最終正式來源跑PG17.10↔14.24及16.15＋SQLite seed/roundtrip，兩組成功且全部source hash匹配；證據/tmp/mysqlpunk-07-501d2cd-pg14與/tmp/mysqlpunk-07-501d2cd-pg16的evidence.json、migration.log。新MySQL fixture同樣hash匹配，3個容器清理成功；PG兩組各2個容器清理成功。

審查確認：只有MySQL內建PRIMARY才映射預設PG名稱；MySQL DDL未聲稱ROLLBACK，寫入後取消／不確定狀態禁止盲重試，不自動刪 staging；未知或不支援schema拒絕。PR可正常合併，沒有繞過保護／review。版本仍1.0.0.22，release hold；未測process crash、真SSH/UI MySQL、PG15與其他MySQL版本配對，也未宣稱全引擎完成。