CcipSteward Timelock Getter

certora/steward/harness/GhoCcipSteward_Harness.sol

@@ -10,8 +10,4 @@ contract GhoCcipSteward_Harness is GhoCcipSteward {
     address riskCouncil,
     bool bridgeLimitEnabled
   ) GhoCcipSteward(ghoToken, ghoTokenPool, riskCouncil, bridgeLimitEnabled) {}
-
-  function getCcipTimelocks() external view returns (CcipDebounce memory) {
-    return _ccipTimelocks;
-  }
 }

src/contracts/misc/GhoCcipSteward.sol

@@ -130,7 +130,12 @@ contract GhoCcipSteward is RiskCouncilControlled, IGhoCcipSteward {
   }
 
   /// @inheritdoc IGhoCcipSteward
-  function RISK_COUNCIL() public view override returns (address) {
+  function getCcipTimelocks() external view override returns (CcipDebounce memory) {
+    return _ccipTimelocks;
+  }
+
+  /// @inheritdoc IGhoCcipSteward
+  function RISK_COUNCIL() external view override returns (address) {
     return _riskCouncil;
   }
 

src/contracts/misc/interfaces/IGhoCcipSteward.sol

@@ -7,6 +7,9 @@ pragma solidity ^0.8.10;
  * @notice Defines the basic interface of the GhoCcipSteward
  */
 interface IGhoCcipSteward {
+  /**
+   * @notice Struct storing the last update by the steward of the bridge and rate limit param.
+   */
   struct CcipDebounce {
     uint40 bridgeLimitLastUpdate;
     uint40 rateLimitLastUpdate;
@@ -41,6 +44,12 @@ interface IGhoCcipSteward {
     uint128 inboundRate
   ) external;
 
+  /**
+   * @notice Returns timestamp of the last update of Ccip parameters.
+   * @return The CcipDebounce struct describing the last update of Ccip parameters.
+   */
+  function getCcipTimelocks() external view returns (CcipDebounce memory);
+
   /**
    * @notice Returns the minimum delay that must be respected between parameters update.
    * @return The minimum delay between parameter updates (in seconds)