Codex 為既有程式補測試：鎖住現有行為、專攻邊界、零行為改動

讓 Codex 為一段沒有測試的既有程式碼補上特徵化測試（characterization tests）：先讀懂並記錄它『現在實際的行為』（含 bug 也照鎖），系統性覆蓋正常路徑＋邊界＋錯誤路徑，且絕對不修改被測程式。