遷移與外盤 AMM · BSC

說明 BSC 畢業時的 BNB/WBNB 包裝、預留 Engine 部署、LP 鎖定、捐贈邊界及 Pancake V2 定價。

內盤可售 Token 歸零後，協議把預留的2,000,000,000 Token + 全部真實曲線BNB儲備加入 PancakeSwap V2 Token/WBNB Pair，並部署初始化獨立 Short Engine。遷移不使用虛擬BNB，不混入其他曲線資金，也不把借貸庫存加入AMM。

1. 觸發條件與原子執行順序

順序	動作	結果
1	最終買入結算，發Token、處理費用與退款	可售量歸零，記錄Complete和曲線後狀態
2	讀取該幣MarketGroup與Engine預留	不採用後來切換的預設組或其他deployer
3	進入Migrating，重新校驗Pair、場所、儲備和餘額	拒絕不合法場所或Token汙染
4	將完整真實BNB儲備包裝為WBNB	逐wei驗證BNB減少與WBNB增加
5	向Pair轉入遷移Token和完整WBNB	核驗實際到賬，不做精度截斷
6	Registry記錄遷移儲備，固定deployer部署預留Engine 合約	Engine繫結市場、經濟快照和已有借貸庫存
7	校驗Engine繫結並開啟Token外盤	`externalTradingEnabled=true`
8	清零本曲線真實BNB賬本，儲存遷移結果	最終狀態Migrated

情境	資產 / 單位
內盤支付、Factory曲線賬本、Engine倉位結算	BNB，18位wei
Pair儲備、Router輸入輸出	WBNB，18位wei

設本曲線真實BNB儲備為Q，則本次包裝及入池WBNB數量為：

Q_{\mathrm{wrapped}}=Q_{\mathrm{migrated}}=Q

全部wei入池，不存在小數精度轉換產生的遷移dust，也沒有該類dust領取桶。 BNB與WBNB餘額獨立；轉入BNB不會自動增加WBNB餘額。Factory在包裝前後、Pair轉賬前後分別核驗餘額增量。

買完8,000,000,000 Token，按18位原始整數計算：

Q=\left\lceil\frac{(6.14\times10^{18})(8{,}000{,}000{,}000\times10^{18})}{(11{,}070{,}367{,}520-8{,}000{,}000{,}000)\times10^{18}}\right\rceil

本例外盤實際值恰好等於理想錨，是初始狀態、單次買滿且無捐贈的結果；不是強制每次畢業都轉入同一金額。內盤虛擬儲備與外盤真實儲備是兩套數值，不保證遷移前後邊際價格逐wei連續。

關鍵檢查包括：

檢查失敗回滾最終買單。場所 Factory / Router 的程式碼雜湊及關聯關係仍要複核；Engine 依據建立時預留的 deployer 和地址部署。

設遷移前Pair中實際WBNB餘額為 $Q_{\mathrm{pre}}$ ：

Q_{\mathrm{actual}}=Q_{\mathrm{pre}}+Q

捐贈留在池中，不返給捐贈者或最終買家；它提高實際初始價格及 actualStartMarketCap，不會改寫固定理想錨，也不跳過TWAP逐步確認額度的條件。

該例不保證任意規模捐贈均可接納；儲備整數範圍、LP及執行限制仍然成立。未同步捐贈也可能在遷移前被Pair正常操作移走，最終以執行時餘額為準。

直接給Factory的BNB不會自動增加某幣 realNativeReserves；直接給Factory的WBNB也不會被預設為該幣遷移資金。曲線賬本、Factory餘額、Pair實際餘額必須分開。

\mathrm{LPBalance}_{\mathrm{zero}}=\mathrm{LPTotalSupply}

本次返回的流動性須大於0，LP總量還須大於本次返回值，以覆蓋V2初始最小流動性結構。creator、協議錢包、運營和最終買家都不收到遷移LP。

這裡“鎖定/銷燬LP”指零地址持有且普通賬戶不能贖回，不是LP的總供應量清零，更不是基礎Token銷燬；不能據此聲稱外部AMM以後永遠無法新增其他流動性。

1,997,367,528 Token借貸庫存早已鑄至預留Engine地址。遷移只部署初始化Engine，不重複鑄幣、不把這筆本金加入Pair；Engine依據獨立賬本和實際餘額管理庫存。