openzeppelin-contracts/certora/diff/governance_extensions_GovernorTimelockControl.sol.patch

--- governance/extensions/GovernorTimelockControl.sol	2023-05-04 11:44:55.587737817 +0200
+++ governance/extensions/GovernorTimelockControl.sol	2023-05-04 15:18:42.661075263 +0200
@@ -24,7 +24,7 @@
  * _Available since v4.3._
  */
 abstract contract GovernorTimelockControl is IGovernorTimelock, Governor {
-    TimelockController private _timelock;
+    TimelockController public _timelock; // FV: public for link
     mapping(uint256 => bytes32) private _timelockIds;
 
     /**
@@ -84,6 +84,11 @@
         return eta == 1 ? 0 : eta; // _DONE_TIMESTAMP (1) should be replaced with a 0 value
     }
 
+    // FV
+    function _proposalQueueId(uint256 proposalId) internal view returns (bytes32) {
+        return _timelockIds[proposalId];
+    }
+
     /**
      * @dev Function to queue a proposal to the timelock.
      */
@@ -163,4 +168,9 @@
         emit TimelockChange(address(_timelock), address(newTimelock));
         _timelock = newTimelock;
     }
+
+    // FV
+    function timelockId(uint256 proposalId) public view returns (bytes32) {
+        return _timelockIds[proposalId];
+    }
 }