feat: initial mGlobal payload

avniculae · avniculae · commit 07fda6bead4c · 2026-06-16T22:37:33.000+03:00
diff --git a/diffs/AaveV3Horizon_JAAASupplyCap_20260518_before_AaveV3Horizon_JAAASupplyCap_20260518_after.md b/diffs/AaveV3Horizon_JAAASupplyCap_20260518_before_AaveV3Horizon_JAAASupplyCap_20260518_after.md
@@ -23,7 +23,7 @@
   },
   "raw": {
     "0xae05cd22df81871bc7cc2a04becfb516bfe332c8": {
-      "label": null,
+      "label": "AaveV3EthereumHorizon.POOL",
       "contract": "lib/aave-umbrella/lib/aave-v3-origin/lib/solidity-utils/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/proxy/transparent/TransparentUpgradeableProxy.sol:TransparentUpgradeableProxy",
       "balanceDiff": null,
       "nonceDiff": null,
diff --git a/diffs/AaveV3Horizon_mGLOBALListing_20260616_before_AaveV3Horizon_mGLOBALListing_20260616_after.md b/diffs/AaveV3Horizon_mGLOBALListing_20260616_before_AaveV3Horizon_mGLOBALListing_20260616_after.md
diff --git a/src/AaveV3Horizon_mGLOBALListing_20260616/AaveV3Horizon_mGLOBALListing_20260616.s.sol b/src/AaveV3Horizon_mGLOBALListing_20260616/AaveV3Horizon_mGLOBALListing_20260616.s.sol
@@ -0,0 +1,15 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.0;
+
+import {EthereumScript} from 'solidity-utils/contracts/utils/ScriptUtils.sol';
+import {AaveV3Horizon_mGLOBALListing_20260616} from './AaveV3Horizon_mGLOBALListing_20260616.sol';
+
+/**
+ * @dev Deploy Horizon mGLOBAL Listing payload.
+ * deploy-command: make deploy-payload
+ */
+contract DeployEthereum is EthereumScript {
+  function run() external broadcast {
+    new AaveV3Horizon_mGLOBALListing_20260616();
+  }
+}
diff --git a/src/AaveV3Horizon_mGLOBALListing_20260616/AaveV3Horizon_mGLOBALListing_20260616.sol b/src/AaveV3Horizon_mGLOBALListing_20260616/AaveV3Horizon_mGLOBALListing_20260616.sol
@@ -0,0 +1,54 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.0;
+
+import {AaveV3EthereumHorizonCustom} from 'src/utils/AaveV3EthereumHorizonCustom.sol';
+import {AaveV3PayloadHorizonEthereum} from 'src/utils/AaveV3PayloadHorizonEthereum.sol';
+import {IAaveV3ConfigEngine as IEngine} from 'aave-v3-origin/contracts/extensions/v3-config-engine/IAaveV3ConfigEngine.sol';
+import {EngineFlags} from 'aave-v3-origin/contracts/extensions/v3-config-engine/EngineFlags.sol';
+
+/**
+ * @title Horizon Listing — mGLOBAL
+ * @author Aave Labs
+ * @dev Lists mGLOBAL (Midas Global Diversified Alternative Debt Fund) as an RWA collateral asset
+ *      on the Horizon pool.
+ */
+contract AaveV3Horizon_mGLOBALListing_20260616 is AaveV3PayloadHorizonEthereum {
+  address public constant MGLOBAL = AaveV3EthereumHorizonCustom.MGLOBAL_UNDERLYING;
+  address public constant MGLOBAL_PRICE_FEED = AaveV3EthereumHorizonCustom.MGLOBAL_PRICE_FEED;
+
+  function newListingsCustom()
+    public
+    pure
+    override
+    returns (IEngine.ListingWithCustomImpl[] memory)
+  {
+    IEngine.ListingWithCustomImpl[] memory listingsCustom = new IEngine.ListingWithCustomImpl[](1);
+
+    listingsCustom[0] = IEngine.ListingWithCustomImpl(
+      IEngine.Listing({
+        asset: MGLOBAL,
+        assetSymbol: 'mGLOBAL',
+        priceFeed: MGLOBAL_PRICE_FEED,
+        rateStrategyParams: AaveV3EthereumHorizonCustom.defaultRwaInterestRateInputData(),
+        enabledToBorrow: EngineFlags.DISABLED,
+        borrowableInIsolation: EngineFlags.DISABLED,
+        withSiloedBorrowing: EngineFlags.DISABLED,
+        flashloanable: EngineFlags.DISABLED,
+        ltv: 70_00,
+        liqThreshold: 75_00,
+        liqBonus: 6_00,
+        reserveFactor: EngineFlags.KEEP_CURRENT,
+        supplyCap: 60_000_000,
+        borrowCap: 0,
+        debtCeiling: 0,
+        liqProtocolFee: 0
+      }),
+      IEngine.TokenImplementations({
+        aToken: AaveV3EthereumHorizonCustom.RWA_A_TOKEN_IMPL,
+        vToken: AaveV3EthereumHorizonCustom.DEFAULT_VARIABLE_DEBT_TOKEN_IMPL
+      })
+    );
+
+    return listingsCustom;
+  }
+}
diff --git a/src/AaveV3Horizon_mGLOBALListing_20260616/AaveV3Horizon_mGLOBALListing_20260616.t.sol b/src/AaveV3Horizon_mGLOBALListing_20260616/AaveV3Horizon_mGLOBALListing_20260616.t.sol
@@ -0,0 +1,85 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.0;
+
+import {IPool} from 'aave-v3-origin/contracts/interfaces/IPool.sol';
+import {IDefaultInterestRateStrategyV2} from 'aave-v3-origin/contracts/interfaces/IDefaultInterestRateStrategyV2.sol';
+import {ProtocolV3HorizonTestBase, ReserveConfig} from 'tests/utils/ProtocolV3HorizonTestBase.sol';
+import {HorizonConfigAssertionHelper} from 'tests/utils/HorizonConfigAssertionHelper.sol';
+import {AaveV3Horizon_mGLOBALListing_20260616} from 'src/AaveV3Horizon_mGLOBALListing_20260616/AaveV3Horizon_mGLOBALListing_20260616.sol';
+import {AaveV3EthereumHorizonCustom} from 'src/utils/AaveV3EthereumHorizonCustom.sol';
+
+abstract contract AaveV3Horizon_mGLOBALListing_20260616_TestBase is ProtocolV3HorizonTestBase {
+  AaveV3Horizon_mGLOBALListing_20260616 internal proposal;
+
+  ExpectedAssetConfig internal expectedAssetConfig;
+
+  function setUp() public virtual {
+    _setExpectedConfig();
+  }
+
+  function _setExpectedConfig() internal virtual override {
+    expectedAssetConfig = ExpectedAssetConfig({
+      underlying: AaveV3EthereumHorizonCustom.MGLOBAL_UNDERLYING,
+      isRwa: true,
+      oracle: AaveV3EthereumHorizonCustom.MGLOBAL_PRICE_FEED,
+      aTokenName: 'Aave Horizon RWA mGLOBAL',
+      aTokenSymbol: 'aHorRwamGLOBAL',
+      variableDebtTokenName: 'Aave Horizon RWA Variable Debt mGLOBAL',
+      variableDebtTokenSymbol: 'variableDebtHorRwamGLOBAL',
+      supplyCap: 60_000_000, // keep in sync with payload supplyCap
+      borrowCap: 0,
+      reserveFactor: 0,
+      borrowingEnabled: false,
+      flashloanable: false,
+      ltv: 70_00,
+      liquidationThreshold: 75_00,
+      liquidationBonus: 100_00 + 6_00,
+      debtCeiling: 0,
+      liqProtocolFee: 0,
+      rateData: IDefaultInterestRateStrategyV2.InterestRateData({
+        optimalUsageRatio: 99_00,
+        baseVariableBorrowRate: 0,
+        variableRateSlope1: 0,
+        variableRateSlope2: 0
+      })
+    });
+  }
+}
+
+/**
+ * @dev Test for Horizon mGLOBAL listing (pre-execution).
+ * command: FOUNDRY_PROFILE=test forge test --match-contract AaveV3Horizon_mGLOBALListing_20260616_Test -vv
+ */
+contract AaveV3Horizon_mGLOBALListing_20260616_Test is
+  AaveV3Horizon_mGLOBALListing_20260616_TestBase
+{
+  function setUp() public virtual override {
+    super.setUp();
+    vm.createSelectFork(vm.rpcUrl('mainnet')); // TODO: pin to a block once the asset/feed are deployed
+    proposal = new AaveV3Horizon_mGLOBALListing_20260616();
+  }
+
+  /**
+   * @dev executes the generic test suite including e2e and config snapshots
+   */
+  function _executeMGLOBALListing() internal {
+    _executeHorizonPayload(address(proposal));
+  }
+
+  function test_defaultProposalExecution() public virtual {
+    defaultTest_v3_3('AaveV3Horizon_mGLOBALListing_20260616', _pool(), _executeMGLOBALListing);
+  }
+
+  /**
+   * @dev verifies the exact config values set by the mGLOBAL listing payload
+   */
+  function test_mglobalConfig() public virtual {
+    IPool pool = _pool();
+
+    // execute payload
+    _executeHorizonPayload(address(proposal));
+
+    // verify mGLOBAL asset config
+    _assertAssetConfig(pool, expectedAssetConfig);
+  }
+}
diff --git a/src/utils/AaveV3EthereumHorizonCustom.sol b/src/utils/AaveV3EthereumHorizonCustom.sol
@@ -54,4 +54,10 @@ library AaveV3EthereumHorizonCustom {
   address public constant ACRED_UNDERLYING = 0x17418038ecF73BA4026c4f428547BF099706F27B;
   // https://etherscan.io/address/0x60AEd7d20AC6328f7BA771aD58931c996aff30E8
   address public constant ACRED_PRICE_FEED = 0x60AEd7d20AC6328f7BA771aD58931c996aff30E8;
+
+  // https://etherscan.io/address/0x7433806912Eae67919e66aea853d46Fa0aef98A8
+  address public constant MGLOBAL_UNDERLYING = 0x7433806912Eae67919e66aea853d46Fa0aef98A8;
+  // TODO: replace with the LlamaGuard-bounded NAV feed once deployed; this is the unbounded Chainlink feed
+  // https://etherscan.io/address/0xB92A68763b2F83e094595c7B41a7FB9D0f8Da193
+  address public constant MGLOBAL_PRICE_FEED = 0xB92A68763b2F83e094595c7B41a7FB9D0f8Da193;
 }
diff --git a/tests/utils/HorizonConfigAssertionHelper.sol b/tests/utils/HorizonConfigAssertionHelper.sol
@@ -406,6 +406,9 @@ abstract contract HorizonConfigAssertionHelper is Test {
     if (underlying == AaveV3EthereumHorizonCustom.ACRED_UNDERLYING) {
       return AaveV3EthereumHorizonCustom.ACRED_PRICE_FEED;
     }
+    if (underlying == AaveV3EthereumHorizonCustom.MGLOBAL_UNDERLYING) {
+      return AaveV3EthereumHorizonCustom.MGLOBAL_PRICE_FEED;
+    }
     revert('_expectedPriceFeed: unknown underlying');
   }
 
diff --git a/tests/utils/HorizonRwaWhitelistHelper.sol b/tests/utils/HorizonRwaWhitelistHelper.sol
@@ -14,6 +14,7 @@ import {AaveV3EthereumHorizonAssets} from 'aave-address-book-latest/AaveV3Ethere
  *        - Centrifuge  (JTRSY, JAAA) — RestrictionManager.endorse
  *        - Circle/USYC             — RolesAuthority.setUserRole
  *        - Securitize  (VBILL, ACRED) — RegistryService.addWallet
+ *        - Midas       (mGLOBAL) — MidasAccessControl GREENLISTED_ROLE
  *
  *      Override `_whitelistRwaActors` in concrete tests to add whitelisting for
  *      newly listed assets.
@@ -37,6 +38,14 @@ abstract contract HorizonRwaWhitelistHelper is Test {
   string internal constant VBILL_SECURITIZE_FUND_ID = 'f27e20ca73314651b387da0aa9116f30';
   string internal constant ACRED_SECURITIZE_FUND_ID = '69023a78d57776eca9542d33';
 
+  // ── Midas (mGLOBAL) ──────────────────────────────────────────────────
+  // Shared Midas access control (mGLOBAL.accessControl()). Transfers require the
+  // sender and recipient to hold mGLOBAL's product-specific greenlist role.
+  address internal constant MIDAS_ACCESS_CONTROL = 0x0312A9D1Ff2372DDEdCBB21e4B6389aFc919aC4B;
+  bytes32 internal constant MGLOBAL_GREENLISTED_ROLE = keccak256('M_GLOBAL_GREENLISTED_ROLE');
+  // Slot of the OZ `_roles` mapping (role => account => bool) in MidasAccessControl.
+  uint256 internal constant MIDAS_ROLES_SLOT = 101;
+
   // ── Whale addresses for tokens incompatible with foundry `deal` ────
   // Securitize DS-protocol tokens store balances in an external data store,
   // so cannot use native foundry deal. Transfer from a real holder instead.
@@ -61,6 +70,8 @@ abstract contract HorizonRwaWhitelistHelper is Test {
       _whitelistVbillRwa(actors[i]);
       // Securitize (ACRED) — only if listed (aToken exists)
       _whitelistAcredRwa(actors[i]);
+      // Midas (mGLOBAL)
+      _whitelistMidasRwa(actors[i]);
     }
   }
 
@@ -79,6 +90,8 @@ abstract contract HorizonRwaWhitelistHelper is Test {
     _whitelistVbillRwa(_requireAToken(pool, AaveV3EthereumHorizonAssets.VBILL_UNDERLYING));
     // Securitize (ACRED)
     _whitelistAcredRwa(_requireAToken(pool, AaveV3EthereumHorizonCustom.ACRED_UNDERLYING));
+    // Midas (mGLOBAL)
+    _whitelistMidasRwa(_requireAToken(pool, AaveV3EthereumHorizonCustom.MGLOBAL_UNDERLYING));
   }
 
   function _requireAToken(IPool pool, address underlying) internal view returns (address aToken) {
@@ -176,6 +189,27 @@ abstract contract HorizonRwaWhitelistHelper is Test {
     );
   }
 
+  /// @dev Midas whitelisting: grants mGLOBAL's greenlist role on the shared MidasAccessControl.
+  function _whitelistMidasRwa(address addressToWhitelist) internal {
+    bytes32 slot = keccak256(
+      abi.encode(
+        addressToWhitelist,
+        keccak256(abi.encode(MGLOBAL_GREENLISTED_ROLE, MIDAS_ROLES_SLOT))
+      )
+    );
+    vm.store(MIDAS_ACCESS_CONTROL, slot, bytes32(uint256(1)));
+
+    // Verify whitelisted
+    (bool success, bytes memory data) = MIDAS_ACCESS_CONTROL.call(
+      abi.encodeWithSignature(
+        'hasRole(bytes32,address)',
+        MGLOBAL_GREENLISTED_ROLE,
+        addressToWhitelist
+      )
+    );
+    require(success && abi.decode(data, (bool)), 'Midas: address not greenlisted');
+  }
+
   /**
    * @dev Generic Securitize whitelisting via RegistryService.addWallet.
    *      Reuse for any Securitize DS-protocol token (VBILL, ACRED, etc.) by supplying

Original file line number	Diff line number	Diff line change
`@@ -406,6 +406,9 @@ abstract contract HorizonConfigAssertionHelper is Test {`
`406`	`406`	`if (underlying == AaveV3EthereumHorizonCustom.ACRED_UNDERLYING) {`
`407`	`407`	`return AaveV3EthereumHorizonCustom.ACRED_PRICE_FEED;`
`408`	`408`	`}`
	`409`	`+ if (underlying == AaveV3EthereumHorizonCustom.MGLOBAL_UNDERLYING) {`
	`410`	`+ return AaveV3EthereumHorizonCustom.MGLOBAL_PRICE_FEED;`
	`411`	`+ }`
`409`	`412`	`revert('_expectedPriceFeed: unknown underlying');`
`410`	`413`	`}`
`411`	`414`