fix(Governor): remove CappedMath

Author: unknownunknown1

contracts/src/arbitration/KlerosGovernor.sol

@@ -9,12 +9,9 @@ pragma solidity 0.8.24;
 
 import {IArbitrableV2, IArbitratorV2} from "./interfaces/IArbitrableV2.sol";
 import "./interfaces/IDisputeTemplateRegistry.sol";
-import "../libraries/CappedMath.sol";
 
 /// @title KlerosGovernor for V2. Note that appeal functionality and evidence submission will be handled by the court.
 contract KlerosGovernor is IArbitrableV2 {
-    using CappedMath for uint256;
-
     // ************************************* //
     // *         Enums / Structs           * //
     // ************************************* //
@@ -74,16 +71,13 @@ contract KlerosGovernor is IArbitrableV2 {
 
     modifier duringSubmissionPeriod() {
         uint256 offset = sessions[sessions.length - 1].durationOffset;
-        require(block.timestamp - lastApprovalTime <= submissionTimeout.addCap(offset), "Submission time has ended.");
+        require(block.timestamp - lastApprovalTime <= submissionTimeout + offset, "Submission time has ended.");
         _;
     }
 
     modifier duringApprovalPeriod() {
         uint256 offset = sessions[sessions.length - 1].durationOffset;
-        require(
-            block.timestamp - lastApprovalTime > submissionTimeout.addCap(offset),
-            "Approval time not started yet."
-        );
+        require(block.timestamp - lastApprovalTime > submissionTimeout + offset, "Approval time not started yet.");
         _;
     }
 
@@ -248,7 +242,7 @@ contract KlerosGovernor is IArbitrableV2 {
         submission.submissionTime = block.timestamp;
         session.sumDeposit += submission.deposit;
         session.submittedLists.push(submissions.length - 1);
-        if (session.submittedLists.length == 1) session.durationOffset = block.timestamp.subCap(lastApprovalTime);
+        if (session.submittedLists.length == 1) session.durationOffset = block.timestamp - lastApprovalTime;
 
         emit ListSubmitted(submissions.length - 1, msg.sender, sessions.length - 1, _description);
 
@@ -273,10 +267,10 @@ contract KlerosGovernor is IArbitrableV2 {
         session.submittedLists[_submissionID] = session.submittedLists[session.submittedLists.length - 1];
         session.alreadySubmitted[_listHash] = false;
         session.submittedLists.pop();
-        session.sumDeposit = session.sumDeposit.subCap(submission.deposit);
+        session.sumDeposit = session.sumDeposit - submission.deposit;
         payable(msg.sender).transfer(submission.deposit);
 
-        reservedETH = reservedETH.subCap(submission.deposit);
+        reservedETH = reservedETH - submission.deposit;
     }
 
     /// @dev Approves a transaction list or creates a dispute if more than one list was submitted.
@@ -299,17 +293,17 @@ contract KlerosGovernor is IArbitrableV2 {
             session.status = Status.Resolved;
             sessions.push();
 
-            reservedETH = reservedETH.subCap(sumDeposit);
+            reservedETH = reservedETH - sumDeposit;
         } else {
             session.status = Status.DisputeCreated;
             uint256 arbitrationCost = arbitrator.arbitrationCost(arbitratorExtraData);
             session.disputeID = arbitrator.createDispute{value: arbitrationCost}(
                 session.submittedLists.length,
                 arbitratorExtraData
             );
-            session.sumDeposit = session.sumDeposit.subCap(arbitrationCost);
-
-            reservedETH = reservedETH.subCap(arbitrationCost);
+            // Check in case arbitration cost increased after the submission. It's unlikely that its increase won't be covered by the base deposit, but technically possible.
+            session.sumDeposit = session.sumDeposit > arbitrationCost ? session.sumDeposit - arbitrationCost : 0;
+            reservedETH = reservedETH > arbitrationCost ? reservedETH - arbitrationCost : 0;
             emit DisputeRequest(arbitrator, session.disputeID, sessions.length - 1, templateId, "");
         }
     }
@@ -331,7 +325,7 @@ contract KlerosGovernor is IArbitrableV2 {
             submission.submitter.send(session.sumDeposit);
         }
         // If the ruling is "0" the reserved funds of this session become expendable.
-        reservedETH = reservedETH.subCap(session.sumDeposit);
+        reservedETH = reservedETH - session.sumDeposit;
 
         session.sumDeposit = 0;
         lastApprovalTime = block.timestamp;
@@ -370,7 +364,7 @@ contract KlerosGovernor is IArbitrableV2 {
     /// @dev Gets the sum of contract funds that are used for the execution of transactions.
     /// @return Contract balance without reserved ETH.
     function getExpendableFunds() public view returns (uint256) {
-        return address(this).balance.subCap(reservedETH);
+        return address(this).balance - reservedETH;
     }
 
     /// @dev Gets the info of the specific transaction in the specific list.