feat: ACRED supply cap (#7)

Author: yan-man

diffs/AaveV3Horizon_ACREDSupplyCap_20260401_before_AaveV3Horizon_ACREDSupplyCap_20260401_after.md

@@ -0,0 +1,51 @@
+## Reserve changes
+
+### Reserves altered
+
+#### ACRED ([0x17418038ecF73BA4026c4f428547BF099706F27B](https://etherscan.io/address/0x17418038ecF73BA4026c4f428547BF099706F27B))
+
+| description | value before | value after |
+| --- | --- | --- |
+| supplyCap | 30,000 ACRED | 1 ACRED |
+
+
+## Raw diff
+
+```json
+{
+  "reserves": {
+    "0x17418038ecF73BA4026c4f428547BF099706F27B": {
+      "supplyCap": {
+        "from": 30000,
+        "to": 1
+      }
+    }
+  },
+  "raw": {
+    "0xae05cd22df81871bc7cc2a04becfb516bfe332c8": {
+      "label": null,
+      "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,
+      "stateDiff": {
+        "0xe7569c1de36b7b382c11b8838312b8b7a0397157bf8b3c82731f39ca7162a47e": {
+          "previousValue": "0x10000000000000000000000000000007530000000000000001062a941db019c8",
+          "newValue": "0x10000000000000000000000000000000001000000000000001062a941db019c8"
+        }
+      }
+    },
+    "0xe6ec1f0ae6cd023bd0a9b4d0253bdc755103253c": {
+      "label": null,
+      "contract": null,
+      "balanceDiff": null,
+      "nonceDiff": null,
+      "stateDiff": {
+        "0x0000000000000000000000000000000000000000000000000000000000000005": {
+          "previousValue": "0x000000000000000000000000000000000000000000000000000000000000002d",
+          "newValue": "0x000000000000000000000000000000000000000000000000000000000000002e"
+        }
+      }
+    }
+  }
+}
+```

src/AaveV3Horizon_ACREDSupplyCap_20260401/AaveV3Horizon_ACREDSupplyCap_20260401.t.sol

@@ -0,0 +1,63 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.0;
+
+import {IPoolDataProvider} from 'aave-v3-origin/contracts/interfaces/IPoolDataProvider.sol';
+import {ProtocolV3HorizonTestBase, ReserveConfig} from 'tests/utils/ProtocolV3HorizonTestBase.sol';
+import {AaveV3EthereumHorizon} from 'aave-address-book-latest/AaveV3EthereumHorizon.sol';
+import {AaveV3EthereumHorizonCustom} from 'src/utils/AaveV3EthereumHorizonCustom.sol';
+
+/**
+ * @dev Test for GHO caps update via multisig transaction.
+ * command: FOUNDRY_PROFILE=test forge test --match-contract AaveV3Horizon_ACREDSupplyCap_20260401 -vv
+ */
+contract AaveV3Horizon_ACREDSupplyCap_20260401 is ProtocolV3HorizonTestBase {
+  address internal constant OPS_TARGET = 0x83Cb1B4af26EEf6463aC20AFbAC9c0e2E017202F;
+  bytes internal constant OPS_DATA =
+    hex'571f03e500000000000000000000000017418038ecf73ba4026c4f428547bf099706f27b0000000000000000000000000000000000000000000000000000000000000001';
+  uint256 internal constant OPS_NONCE = 45;
+  uint8 internal constant OPS_OPERATION = 0;
+
+  function setUp() public {
+    vm.createSelectFork(vm.rpcUrl('mainnet'), 24786649);
+  }
+
+  function _executeACREDSupplyCapUpdate() internal {
+    _executeOpsMultisigTx({
+      to: OPS_TARGET,
+      data: OPS_DATA,
+      operation: OPS_OPERATION,
+      nonce: OPS_NONCE
+    });
+  }
+
+  /**
+   * @dev Full test suite: snapshots, state diff, validations, e2e.
+   */
+  function test_defaultProposalExecution() public {
+    defaultTest_v3_3(
+      'AaveV3Horizon_ACREDSupplyCap_20260401',
+      _pool(),
+      _executeACREDSupplyCapUpdate
+    );
+  }
+
+  /**
+   * @dev Custom before/after assertions for the ACRED supply cap change.
+   */
+  function test_ACREDSupplyCapsChange() public {
+    (, uint256 supplyCapBefore) = (
+      IPoolDataProvider(AaveV3EthereumHorizon.AAVE_PROTOCOL_DATA_PROVIDER).getReserveCaps(
+        AaveV3EthereumHorizonCustom.ACRED_UNDERLYING
+      )
+    );
+    assertEq(supplyCapBefore, 30_000, 'Supply cap before');
+    _executeACREDSupplyCapUpdate();
+
+    (, uint256 supplyCapAfter) = (
+      IPoolDataProvider(AaveV3EthereumHorizon.AAVE_PROTOCOL_DATA_PROVIDER).getReserveCaps(
+        AaveV3EthereumHorizonCustom.ACRED_UNDERLYING
+      )
+    );
+    assertEq(supplyCapAfter, 1, 'Supply cap after');
+  }
+}