chore: format echidna harnesses

Run Prettier (with Solidity plugin) to satisfy CI formatting checks.

Made-with: Cursor

Author: 0xCardiE

src/echidna/EchidnaPostageStampHarness.sol

@@ -193,9 +193,13 @@ contract EchidnaPostageStampHarness {
         token.transfer(address(_actor(actorId)), x);
     }
 
-    function act_createBatch(uint8 actorId, uint256 initialPerChunk, uint8 depthRaw, bytes32 nonce, bool immutableFlag)
-        external
-    {
+    function act_createBatch(
+        uint8 actorId,
+        uint256 initialPerChunk,
+        uint8 depthRaw,
+        bytes32 nonce,
+        bool immutableFlag
+    ) external {
         _clearPending();
         uint256 potBefore = stamp.pot();
         // Normalize expiry so createBatch's internal expireLimited() doesn't unexpectedly mutate other batches.
@@ -418,7 +422,9 @@ contract EchidnaPostageStampHarness {
     }
 
     function echidna_minimumInitialBalancePerChunk_matches_formula() external view returns (bool) {
-        return stamp.minimumInitialBalancePerChunk() == uint256(stamp.minimumValidityBlocks()) * uint256(stamp.lastPrice());
+        return
+            stamp.minimumInitialBalancePerChunk() ==
+            uint256(stamp.minimumValidityBlocks()) * uint256(stamp.lastPrice());
     }
 
     function echidna_lastExpiryBalance_never_exceeds_currentTotalOutPayment() external view returns (bool) {
@@ -469,15 +475,19 @@ contract EchidnaPostageStampHarness {
         if (stamp.lastUpdatedBlock() != pendingSetPriceLastUpdatedExpected) return false;
         if (stamp.lastPrice() != pendingSetPriceLastPriceExpected) return false;
         uint256 blocksSince = block.number - uint256(pendingSetPriceLastUpdatedExpected);
-        uint256 expected = pendingSetPriceTotalOutPaymentBefore + uint256(pendingSetPriceLastPriceExpected) * blocksSince;
+        uint256 expected = pendingSetPriceTotalOutPaymentBefore +
+            uint256(pendingSetPriceLastPriceExpected) *
+            blocksSince;
         return stamp.currentTotalOutPayment() == expected;
     }
 
     function echidna_withdraw_postconditions_hold() external view returns (bool) {
         if (!pendingWithdraw) return true;
         if (stamp.pot() != 0) return false;
-        if (token.balanceOf(pendingWithdrawBeneficiary) != pendingWithdrawBeneficiaryBalBefore + pendingWithdrawExpectedAmount)
-            return false;
+        if (
+            token.balanceOf(pendingWithdrawBeneficiary) !=
+            pendingWithdrawBeneficiaryBalBefore + pendingWithdrawExpectedAmount
+        ) return false;
         return token.balanceOf(address(stamp)) == pendingWithdrawStampBalBefore - pendingWithdrawExpectedAmount;
     }
 
@@ -506,16 +516,17 @@ contract EchidnaPostageStampHarness {
     function _batchDigest(bytes32 batchId) internal view returns (bytes32) {
         address owner = stamp.batchOwner(batchId);
         if (owner == address(0)) return bytes32(0);
-        return keccak256(
-            abi.encodePacked(
-                owner,
-                stamp.batchDepth(batchId),
-                stamp.batchBucketDepth(batchId),
-                stamp.batchImmutableFlag(batchId),
-                stamp.batchNormalisedBalance(batchId),
-                stamp.batchLastUpdatedBlockNumber(batchId)
-            )
-        );
+        return
+            keccak256(
+                abi.encodePacked(
+                    owner,
+                    stamp.batchDepth(batchId),
+                    stamp.batchBucketDepth(batchId),
+                    stamp.batchImmutableFlag(batchId),
+                    stamp.batchNormalisedBalance(batchId),
+                    stamp.batchLastUpdatedBlockNumber(batchId)
+                )
+            );
     }
 
     function _armNonInterference(uint8 batchIndex, bytes32 target) internal {
@@ -598,4 +609,3 @@ contract EchidnaPostageStampHarness {
         pendingCreate = true;
     }
 }
-

src/echidna/EchidnaPriceOracleHarness.sol

@@ -319,4 +319,3 @@ contract EchidnaPriceOracleHarness {
         pendingAdjust = false;
     }
 }
-

src/echidna/EchidnaRedistributionClaimHarness.sol

@@ -17,7 +17,13 @@ contract EchidnaStakeRegistryMock2 is IStakeRegistry {
     mapping(address => Node) internal nodes;
     mapping(address => uint256) public freezeCount;
 
-    function setNode(address owner, bytes32 overlay, uint8 height, uint256 effectiveStake, uint256 lastUpdated) external {
+    function setNode(
+        address owner,
+        bytes32 overlay,
+        uint8 height,
+        uint256 effectiveStake,
+        uint256 lastUpdated
+    ) external {
         nodes[owner] = Node({
             overlay: overlay,
             height: height,
@@ -98,31 +104,58 @@ contract EchidnaPostageStampPotMock is IPostageStamp {
 
     // Unused in this claim-stub harness but required by the interface.
     function setPrice(uint256) external {}
-    function validChunkCount() external view returns (uint256) { return validChunkCountValue; }
-    function batchOwner(bytes32) external pure returns (address) { return address(0); }
-    function batchDepth(bytes32) external pure returns (uint8) { return 0; }
-    function batchBucketDepth(bytes32) external pure returns (uint8) { return 0; }
-    function remainingBalance(bytes32) external pure returns (uint256) { return 0; }
-    function minimumInitialBalancePerChunk() external pure returns (uint256) { return 0; }
-    function batches(bytes32)
+    function validChunkCount() external view returns (uint256) {
+        return validChunkCountValue;
+    }
+    function batchOwner(bytes32) external pure returns (address) {
+        return address(0);
+    }
+    function batchDepth(bytes32) external pure returns (uint8) {
+        return 0;
+    }
+    function batchBucketDepth(bytes32) external pure returns (uint8) {
+        return 0;
+    }
+    function remainingBalance(bytes32) external pure returns (uint256) {
+        return 0;
+    }
+    function minimumInitialBalancePerChunk() external pure returns (uint256) {
+        return 0;
+    }
+    function batches(
+        bytes32
+    )
         external
         pure
-        returns (address owner, uint8 depth, uint8 bucketDepth, bool immutableFlag, uint256 normalisedBalance, uint256 lastUpdatedBlockNumber)
+        returns (
+            address owner,
+            uint8 depth,
+            uint8 bucketDepth,
+            bool immutableFlag,
+            uint256 normalisedBalance,
+            uint256 lastUpdatedBlockNumber
+        )
     {
         return (address(0), 0, 0, false, 0, 0);
     }
 }
 
 contract RedistributionClaimStub is Redistribution {
-    constructor(address staking, address postageContract, address oracleContract) Redistribution(staking, postageContract, oracleContract) {}
+    constructor(
+        address staking,
+        address postageContract,
+        address oracleContract
+    ) Redistribution(staking, postageContract, oracleContract) {}
 
     /// @notice Fuzz-only claim: run real winnerSelection(), then withdraw pot to winner.
     /// @dev Bypasses inclusion/SOC/stamp proof verification entirely.
     function claimStub() external whenNotPaused {
         winnerSelection();
         Reveal memory winnerSelected = winner;
 
-        (bool success, ) = address(PostageContract).call(abi.encodeWithSignature("withdraw(address)", winnerSelected.owner));
+        (bool success, ) = address(PostageContract).call(
+            abi.encodeWithSignature("withdraw(address)", winnerSelected.owner)
+        );
         if (!success) {
             emit WithdrawFailed(winnerSelected.owner);
         }
@@ -209,7 +242,13 @@ contract EchidnaRedistributionClaimHarness {
         stampMock.seedPot(x);
     }
 
-    function act_setActorNode(uint8 actorId, bytes32 overlay, uint8 height, uint256 effectiveStake, uint256 lastUpdated) external {
+    function act_setActorNode(
+        uint8 actorId,
+        bytes32 overlay,
+        uint8 height,
+        uint256 effectiveStake,
+        uint256 lastUpdated
+    ) external {
         uint256 idx = uint256(actorId) % ACTOR_COUNT;
         uint8 h = uint8(height % 16);
         uint256 stake = effectiveStake == 0 ? 1e18 : (effectiveStake % 1e24) + 1;
@@ -347,4 +386,3 @@ contract EchidnaRedistributionClaimHarness {
         return 1;
     }
 }
-