feat: medusa tests

test/invariants/handlers/BaseHandler.t.sol

@@ -38,14 +38,14 @@ contract BaseHandler is Setup, Actors {
   // Aggregators
 
   function _totalPledgesFor(bytes32 _disputeId) internal view returns (uint256) {
-    return _aggregateSum(_ghost_pledgesFor, _disputeId);
+    return _reduceSum(_ghost_pledgesFor, _disputeId);
   }
 
   function _totalPledgesAgainst(bytes32 _disputeId) internal view returns (uint256) {
-    return _aggregateSum(_ghost_pledgesAgainst, _disputeId);
+    return _reduceSum(_ghost_pledgesAgainst, _disputeId);
   }
 
-  function _aggregateSum(
+  function _reduceSum(
     mapping(address => mapping(bytes32 => uint256)) storage _data,
     bytes32 _id
   ) internal view returns (uint256) {

test/invariants/properties/PropertyDisputer.t.sol

@@ -138,13 +138,19 @@ contract PropertyDisputer is HandlerParent {
     (bytes32 _disputeId, IOracle.Dispute memory _disputeData) = _getRandomDispute(_requestId, _disputeSeed);
 
     vm.prank(msg.sender);
-    try bondEscalationModule.pledgeAgainstDispute(_requestData, _disputeData) {
-      assertTrue(_ghost_escalatedDisputes[_disputeId], 'property 8a: pledging for a dispute not escalated');
+    try bondEscalationModule.pledgeForDispute(_requestData, _disputeData) {
+      assertTrue(
+        _totalPledgesFor(_disputeId) >= _totalPledgesAgainst(_disputeId), 'property 8b: pledging for the wrong side'
+      );
     } catch {
-      // !_ghost_escalatedDisputes or
-      // past deadline/tying buffer or
-      // already pledged this turn or
-      //
+      // add tying buffer to deadline
+
+      assertTrue(
+        !_ghost_escalatedDisputes[_disputeId]
+          || block.timestamp > oracle.disputeCreatedAt(_disputeId) + DISPUTE_DEADLINE
+          || _totalPledgesFor(_disputeId) < _totalPledgesAgainst(_disputeId),
+        'property 8b: fails on pledging for the correct side'
+      );
     }
   }