test(medusa): update ghost state in property function

test/invariants/properties/PropertyRequester.t.sol

@@ -22,6 +22,27 @@ contract PropertyRequester is HandlerParent {
     catch {
       assert(false);
     }
+
+    // Get current request data
+    IOracle.Request memory requestData = eboRequestCreator.getRequestData();
+
+    // Build request module parameters
+    IEBORequestModule.RequestParameters memory requestParams =
+      abi.decode(requestData.requestModuleData, (IEBORequestModule.RequestParameters));
+    requestParams.epoch = _epoch;
+    requestParams.chainId = chainId;
+    requestData.requestModuleData = abi.encode(requestParams);
+
+    // Calculate request ID using same logic as Oracle
+    bytes32 requestId = keccak256(abi.encode(requestData));
+
+    // Track the request
+    _ghost_requests.push(requestId);
+    _ghost_requestsPerEpochChainId[_epoch][chainId].push(requestId);
+    _ghost_requestData[requestId] = requestData;
+    _ghost_validRequests[requestId] = true;
+
+    emit RequestCreated(requestId, _epoch, chainId);
   }
 
   /// @custom:property-id 2