Add MIP-X37 reserve reduction

Author: anajuliabit

chains/8453.json

@@ -1238,5 +1238,10 @@
         "addr": "0xccC994a46c0d81c934fd6c82d89f626aee336ade",
         "isContract": true,
         "name": "CHAINLINK_wrsETH_COMPOSITE_ORACLE"
+    },
+    {
+        "addr": "0x9917Ea34179D87F06C8b9D4AfB8BD78248B434ef",
+        "isContract": false,
+        "name": "ANA_EOA"
     }
 ]

proposals/mips/mip-x37/mip-x37.sol

@@ -0,0 +1,145 @@
+//SPDX-License-Identifier: GPL-3.0-or-later
+pragma solidity 0.8.19;
+
+import "@forge-std/Test.sol";
+
+import {MErc20} from "@protocol/MErc20.sol";
+import {IERC20} from "@openzeppelin-contracts/contracts/token/ERC20/IERC20.sol";
+
+import {HybridProposal, ActionType} from "@proposals/proposalTypes/HybridProposal.sol";
+import {AllChainAddresses as Addresses} from "@proposals/Addresses.sol";
+import {BASE_FORK_ID} from "@utils/ChainIds.sol";
+import {ProposalActions} from "@proposals/utils/ProposalActions.sol";
+
+/// @title MIP-X37: Reserve Reduction for Token Swap
+/// @author Moonwell Contributors
+/// @notice Proposal to reduce reserves from three Base markets and transfer to EOA for swapping:
+///         1. Reduce 347 WETH from MOONWELL_WETH market
+///         2. Reduce 490,000 USDC from MOONWELL_USDC market
+///         3. Reduce 3 cbBTC from MOONWELL_cbBTC market
+///         4. Transfer all tokens to ANA_EOA for swapping to VIRTUALS and cbXRP
+contract mipx37 is HybridProposal {
+    using ProposalActions for *;
+
+    string public constant override name = "MIP-X37";
+
+    // Reserve amounts to reduce
+    uint256 public constant WETH_AMOUNT = 347e18; // 347 WETH
+    uint256 public constant USDC_AMOUNT = 490_000e6; // 490,000 USDC
+    uint256 public constant cbBTC_AMOUNT = 3e8; // 3 cbBTC
+
+    constructor() {
+        bytes memory proposalDescription = abi.encodePacked(
+            vm.readFile("./proposals/mips/mip-x37/x37.md")
+        );
+        _setProposalDescription(proposalDescription);
+    }
+
+    function primaryForkId() public pure override returns (uint256) {
+        return BASE_FORK_ID;
+    }
+
+    function deploy(Addresses, address) public override {}
+
+    function build(Addresses addresses) public override {
+        vm.selectFork(BASE_FORK_ID);
+
+        address anaEoa = addresses.getAddress("ANA_EOA");
+
+        // === WETH Reserve Reduction ===
+        address moonwellWeth = addresses.getAddress("MOONWELL_WETH");
+        address weth = MErc20(moonwellWeth).underlying();
+
+        _pushAction(
+            moonwellWeth,
+            abi.encodeWithSignature("_reduceReserves(uint256)", WETH_AMOUNT),
+            "Reduce 347 WETH reserves from MOONWELL_WETH",
+            ActionType.Base
+        );
+
+        _pushAction(
+            weth,
+            abi.encodeWithSignature(
+                "transfer(address,uint256)",
+                anaEoa,
+                WETH_AMOUNT
+            ),
+            "Transfer 347 WETH to ANA_EOA",
+            ActionType.Base
+        );
+
+        // === USDC Reserve Reduction ===
+        address moonwellUsdc = addresses.getAddress("MOONWELL_USDC");
+        address usdc = MErc20(moonwellUsdc).underlying();
+
+        _pushAction(
+            moonwellUsdc,
+            abi.encodeWithSignature("_reduceReserves(uint256)", USDC_AMOUNT),
+            "Reduce 490,000 USDC reserves from MOONWELL_USDC",
+            ActionType.Base
+        );
+
+        _pushAction(
+            usdc,
+            abi.encodeWithSignature(
+                "transfer(address,uint256)",
+                anaEoa,
+                USDC_AMOUNT
+            ),
+            "Transfer 490,000 USDC to ANA_EOA",
+            ActionType.Base
+        );
+
+        // === cbBTC Reserve Reduction ===
+        address moonwellCbBtc = addresses.getAddress("MOONWELL_cbBTC");
+        address cbBtc = MErc20(moonwellCbBtc).underlying();
+
+        _pushAction(
+            moonwellCbBtc,
+            abi.encodeWithSignature("_reduceReserves(uint256)", cbBTC_AMOUNT),
+            "Reduce 3 cbBTC reserves from MOONWELL_cbBTC",
+            ActionType.Base
+        );
+
+        _pushAction(
+            cbBtc,
+            abi.encodeWithSignature(
+                "transfer(address,uint256)",
+                anaEoa,
+                cbBTC_AMOUNT
+            ),
+            "Transfer 3 cbBTC to ANA_EOA",
+            ActionType.Base
+        );
+    }
+
+    function teardown(Addresses, address) public pure override {}
+
+    function validate(Addresses addresses, address) public override {
+        vm.selectFork(BASE_FORK_ID);
+
+        address anaEoa = addresses.getAddress("ANA_EOA");
+
+        // Validate WETH transfer
+        address weth = MErc20(addresses.getAddress("MOONWELL_WETH"))
+            .underlying();
+        uint256 wethBalance = IERC20(weth).balanceOf(anaEoa);
+        assertGe(wethBalance, WETH_AMOUNT, "ANA_EOA should have received WETH");
+
+        // Validate USDC transfer
+        address usdc = MErc20(addresses.getAddress("MOONWELL_USDC"))
+            .underlying();
+        uint256 usdcBalance = IERC20(usdc).balanceOf(anaEoa);
+        assertGe(usdcBalance, USDC_AMOUNT, "ANA_EOA should have received USDC");
+
+        // Validate cbBTC transfer
+        address cbBtc = MErc20(addresses.getAddress("MOONWELL_cbBTC"))
+            .underlying();
+        uint256 cbBtcBalance = IERC20(cbBtc).balanceOf(anaEoa);
+        assertGe(
+            cbBtcBalance,
+            cbBTC_AMOUNT,
+            "ANA_EOA should have received cbBTC"
+        );
+    }
+}

proposals/mips/mip-x37/x37.md

@@ -0,0 +1,13 @@
+# MIP-X37: Reserve Reduction for Token Swap
+
+## Summary
+
+This proposal reduces reserves from three Base markets and transfers them to an
+EOA for swapping to VIRTUALS and cbXRP.
+
+## Actions
+
+- Reduce 347 WETH from MOONWELL_WETH market
+- Reduce 490,000 USDC from MOONWELL_USDC market
+- Reduce 3 cbBTC from MOONWELL_cbBTC market
+- Transfer all tokens to ANA_EOA (0x9917Ea34179D87F06C8b9D4AfB8BD78248B434ef)

proposals/mips/mips.json

@@ -1,4 +1,11 @@
 [
+    {
+        "envpath": "",
+        "governor": "MultichainGovernor",
+        "id": 0,
+        "path": "mip-x37.sol/mipx37.json",
+        "proposalType": "HybridProposal"
+    },
     {
         "envpath": "proposals/mips/mip-x35/x35.sh",
         "governor": "MultichainGovernor",