@bananapus/core-v6 0.0.37 → 0.0.38

package/test/invariants/handlers/ComprehensiveHandler.sol

@@ -1,303 +0,0 @@
-// SPDX-License-Identifier: MIT
-pragma solidity ^0.8.6;
-
-import {Test} from "forge-std/Test.sol";
-import {JBConstants} from "../../../src/libraries/JBConstants.sol";
-import {IJBMultiTerminal} from "../../../src/interfaces/IJBMultiTerminal.sol";
-import {IJBTerminalStore} from "../../../src/interfaces/IJBTerminalStore.sol";
-import {IJBController} from "../../../src/interfaces/IJBController.sol";
-import {IJBTokens} from "../../../src/interfaces/IJBTokens.sol";
-
-/// @notice Comprehensive handler for JBTerminalStore invariant testing.
-/// @dev Extends the basic handler with 10 operations including reserves, allowance, burns, claims, time, and fees.
-contract ComprehensiveHandler is Test {
-    IJBMultiTerminal public terminal;
-    IJBTerminalStore public store;
-    IJBController public controller;
-    IJBTokens public tokens;
-
-    uint256 public projectId;
-    address public projectOwner;
-
-    // Ghost variables for fund tracking
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalPaidIn;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalCashedOut;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalPaidOut;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalAddedToBalance;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalAllowanceUsed;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_feeProjectBalanceLast;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_feeProjectBalanceDecreased; // should always be 0
-
-    // Track actors
-    address[] public actors;
-    mapping(address => bool) public isActor;
-    uint256 public constant NUM_ACTORS = 5;
-
-    // Operation counters for debugging
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_pay;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_cashOut;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_sendPayouts;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_addToBalance;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_sendReservedTokens;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_useAllowance;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_burnTokens;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_claimCredits;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_advanceTime;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_processHeldFees;
-
-    constructor(
-        IJBMultiTerminal _terminal,
-        IJBTerminalStore _store,
-        IJBController _controller,
-        IJBTokens _tokens,
-        uint256 _projectId,
-        address _projectOwner
-    ) {
-        terminal = _terminal;
-        store = _store;
-        controller = _controller;
-        tokens = _tokens;
-        projectId = _projectId;
-        projectOwner = _projectOwner;
-
-        // Create actor addresses
-        for (uint256 i = 0; i < NUM_ACTORS; i++) {
-            // forge-lint: disable-next-line(unsafe-typecast)
-            address actor = address(uint160(0x2000 + i));
-            actors.push(actor);
-            isActor[actor] = true;
-        }
-
-        // Initialize fee project balance tracking
-        ghost_feeProjectBalanceLast = store.balanceOf(address(terminal), 1, JBConstants.NATIVE_TOKEN);
-    }
-
-    /// @notice Selects an actor based on a seed.
-    function _getActor(uint256 seed) internal view returns (address) {
-        return actors[seed % actors.length];
-    }
-
-    /// @notice Track fee project balance monotonicity.
-    function _trackFeeProjectBalance() internal {
-        uint256 currentFeeBalance = store.balanceOf(address(terminal), 1, JBConstants.NATIVE_TOKEN);
-        if (currentFeeBalance < ghost_feeProjectBalanceLast) {
-            ghost_feeProjectBalanceDecreased++;
-        }
-        ghost_feeProjectBalanceLast = currentFeeBalance;
-    }
-
-    // ─── Operation 1: Pay
-    // ─────────────────────────────────────────────
-
-    function payProject(uint256 actorSeed, uint256 amount) public {
-        amount = bound(amount, 0.01 ether, 100 ether);
-        address actor = _getActor(actorSeed);
-
-        vm.deal(actor, amount);
-        vm.prank(actor);
-        terminal.pay{value: amount}({
-            projectId: projectId,
-            token: JBConstants.NATIVE_TOKEN,
-            amount: amount,
-            beneficiary: actor,
-            minReturnedTokens: 0,
-            memo: "",
-            metadata: new bytes(0)
-        });
-
-        ghost_totalPaidIn += amount;
-        callCount_pay++;
-        _trackFeeProjectBalance();
-    }
-
-    // ─── Operation 2: Cash Out
-    // ────────────────────────────────────────
-
-    function cashOutTokens(uint256 actorSeed, uint256 cashOutPercent) public {
-        address actor = _getActor(actorSeed);
-        uint256 tokenBalance = tokens.totalBalanceOf(actor, projectId);
-        if (tokenBalance == 0) return;
-
-        cashOutPercent = bound(cashOutPercent, 1, 100);
-        uint256 cashOutCount = (tokenBalance * cashOutPercent) / 100;
-        if (cashOutCount == 0) return;
-
-        vm.prank(actor);
-        uint256 reclaimAmount = terminal.cashOutTokensOf({
-            holder: actor,
-            projectId: projectId,
-            cashOutCount: cashOutCount,
-            tokenToReclaim: JBConstants.NATIVE_TOKEN,
-            minTokensReclaimed: 0,
-            beneficiary: payable(actor),
-            metadata: new bytes(0)
-        });
-
-        ghost_totalCashedOut += reclaimAmount;
-        callCount_cashOut++;
-        _trackFeeProjectBalance();
-    }
-
-    // ─── Operation 3: Send Payouts
-    // ────────────────────────────────────
-
-    function sendPayouts(uint256 amount) public {
-        uint256 balance = store.balanceOf(address(terminal), projectId, JBConstants.NATIVE_TOKEN);
-        if (balance == 0) return;
-
-        amount = bound(amount, 1, balance);
-
-        vm.prank(projectOwner);
-        try terminal.sendPayoutsOf({
-            projectId: projectId,
-            token: JBConstants.NATIVE_TOKEN,
-            amount: amount,
-            currency: uint32(uint160(JBConstants.NATIVE_TOKEN)),
-            minTokensPaidOut: 0
-        }) returns (
-            uint256 amountPaidOut
-        ) {
-            ghost_totalPaidOut += amountPaidOut;
-        } catch {}
-
-        callCount_sendPayouts++;
-        _trackFeeProjectBalance();
-    }
-
-    // ─── Operation 4: Add to Balance
-    // ──────────────────────────────────
-
-    function addToBalance(uint256 amount) public {
-        amount = bound(amount, 0.01 ether, 50 ether);
-
-        vm.deal(address(this), amount);
-        terminal.addToBalanceOf{value: amount}({
-            projectId: projectId,
-            token: JBConstants.NATIVE_TOKEN,
-            amount: amount,
-            shouldReturnHeldFees: false,
-            memo: "",
-            metadata: new bytes(0)
-        });
-
-        ghost_totalAddedToBalance += amount;
-        callCount_addToBalance++;
-        _trackFeeProjectBalance();
-    }
-
-    // ─── Operation 5: Send Reserved Tokens
-    // ────────────────────────────
-
-    function sendReservedTokens() public {
-        try controller.sendReservedTokensToSplitsOf(projectId) {} catch {}
-        callCount_sendReservedTokens++;
-        _trackFeeProjectBalance();
-    }
-
-    // ─── Operation 6: Use Allowance
-    // ───────────────────────────────────
-
-    function useAllowance(uint256 amount) public {
-        uint256 balance = store.balanceOf(address(terminal), projectId, JBConstants.NATIVE_TOKEN);
-        if (balance == 0) return;
-
-        amount = bound(amount, 0.001 ether, 3 ether);
-
-        vm.prank(projectOwner);
-        try terminal.useAllowanceOf({
-            projectId: projectId,
-            token: JBConstants.NATIVE_TOKEN,
-            amount: amount,
-            currency: uint32(uint160(JBConstants.NATIVE_TOKEN)),
-            minTokensPaidOut: 0,
-            beneficiary: payable(projectOwner),
-            feeBeneficiary: payable(projectOwner),
-            memo: "allowance"
-        }) returns (
-            uint256 netAmountPaidOut
-        ) {
-            ghost_totalAllowanceUsed += netAmountPaidOut;
-        } catch {}
-
-        callCount_useAllowance++;
-        _trackFeeProjectBalance();
-    }
-
-    // ─── Operation 7: Burn Tokens
-    // ─────────────────────────────────────
-
-    function burnTokens(uint256 actorSeed, uint256 burnPercent) public {
-        address actor = _getActor(actorSeed);
-        uint256 tokenBalance = tokens.totalBalanceOf(actor, projectId);
-        if (tokenBalance == 0) return;
-
-        burnPercent = bound(burnPercent, 1, 100);
-        uint256 burnCount = (tokenBalance * burnPercent) / 100;
-        if (burnCount == 0) return;
-
-        vm.prank(actor);
-        try controller.burnTokensOf({holder: actor, projectId: projectId, tokenCount: burnCount, memo: "burn"}) {}
-            catch {}
-
-        callCount_burnTokens++;
-    }
-
-    // ─── Operation 8: Claim Credits as ERC20
-    // ──────────────────────────
-
-    function claimCredits(uint256 actorSeed, uint256 claimPercent) public {
-        address actor = _getActor(actorSeed);
-        uint256 creditBalance = tokens.creditBalanceOf(actor, projectId);
-        if (creditBalance == 0) return;
-
-        claimPercent = bound(claimPercent, 1, 100);
-        uint256 claimCount = (creditBalance * claimPercent) / 100;
-        if (claimCount == 0) return;
-
-        vm.prank(actor);
-        try controller.claimTokensFor({
-            holder: actor, projectId: projectId, tokenCount: claimCount, beneficiary: actor
-        }) {}
-            catch {}
-
-        callCount_claimCredits++;
-    }
-
-    // ─── Operation 9: Advance Time
-    // ────────────────────────────────────
-
-    function advanceTime(uint256 timeSeed) public {
-        uint256 timeJump = bound(timeSeed, 1 hours, 90 days);
-        vm.warp(block.timestamp + timeJump);
-        callCount_advanceTime++;
-    }
-
-    // ─── Operation 10: Process Held Fees
-    // ──────────────────────────────
-
-    function processHeldFees(uint256 count) public {
-        count = bound(count, 1, 10);
-        try terminal.processHeldFeesOf(projectId, JBConstants.NATIVE_TOKEN, count) {} catch {}
-        callCount_processHeldFees++;
-        _trackFeeProjectBalance();
-    }
-
-    receive() external payable {}
-}

package/test/invariants/handlers/EconomicHandler.sol

@@ -1,377 +0,0 @@
-// SPDX-License-Identifier: MIT
-pragma solidity ^0.8.6;
-
-import {Test} from "forge-std/Test.sol";
-import {JBConstants} from "../../../src/libraries/JBConstants.sol";
-import {IJBMultiTerminal} from "../../../src/interfaces/IJBMultiTerminal.sol";
-import {IJBTerminalStore} from "../../../src/interfaces/IJBTerminalStore.sol";
-import {IJBController} from "../../../src/interfaces/IJBController.sol";
-import {IJBTokens} from "../../../src/interfaces/IJBTokens.sol";
-
-/// @notice Multi-project economic handler for invariant testing.
-/// @dev Manages 3 projects with distinct configurations and 10 actors.
-///      Project A: 20% reserved, 60% cash out tax, splits 50% to B
-///      Project B: 0% reserved, 0% cash out tax, splits 50% to C
-///      Project C: 50% reserved, 80% cash out tax
-contract EconomicHandler is Test {
-    IJBMultiTerminal public terminal;
-    IJBTerminalStore public store;
-    IJBController public controller;
-    IJBTokens public tokens;
-
-    uint256 public projectA;
-    uint256 public projectB;
-    uint256 public projectC;
-    address public projectOwner;
-
-    // Ghost variables for conservation tracking
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalPaidInA;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalPaidInB;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalPaidInC;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalCashedOutA;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalCashedOutB;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalCashedOutC;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalPaidOutA;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalPaidOutB;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalPaidOutC;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_totalAddedToBalanceA;
-
-    // Fee project tracking
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_feeProjectBalance;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_feeProjectBalancePrev;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    bool public ghost_feeProjectBalanceDecreased;
-
-    // Cross-project split tracking
-    // forge-lint: disable-next-line(mixed-case-variable)
-    bool public ghost_splitCascadeOccurred;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_projectBBalanceBeforeSplit;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public ghost_projectBBalanceAfterSplit;
-
-    // Track actors
-    address[] public actors;
-    mapping(address => bool) public isActor;
-    uint256 public constant NUM_ACTORS = 10;
-
-    // Operation counters
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_payA;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_payB;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_payC;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_cashOutA;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_cashOutB;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_cashOutC;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_sendPayoutsA;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_sendPayoutsB;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_sendPayoutsC;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_addToBalanceA;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_sendReservedA;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_sendReservedC;
-    // forge-lint: disable-next-line(mixed-case-variable)
-    uint256 public callCount_advanceTime;
-
-    // Per-actor tracking
-    mapping(address => uint256) public actorPaidInA;
-    mapping(address => uint256) public actorCashedOutA;
-
-    constructor(
-        IJBMultiTerminal _terminal,
-        IJBTerminalStore _store,
-        IJBController _controller,
-        IJBTokens _tokens,
-        uint256 _projectA,
-        uint256 _projectB,
-        uint256 _projectC,
-        address _projectOwner
-    ) {
-        terminal = _terminal;
-        store = _store;
-        controller = _controller;
-        tokens = _tokens;
-        projectA = _projectA;
-        projectB = _projectB;
-        projectC = _projectC;
-        projectOwner = _projectOwner;
-
-        for (uint256 i = 0; i < NUM_ACTORS; i++) {
-            // forge-lint: disable-next-line(unsafe-typecast)
-            address actor = address(uint160(0x3000 + i));
-            actors.push(actor);
-            isActor[actor] = true;
-        }
-
-        ghost_feeProjectBalance = store.balanceOf(address(terminal), 1, JBConstants.NATIVE_TOKEN);
-        ghost_feeProjectBalancePrev = ghost_feeProjectBalance;
-    }
-
-    function _getActor(uint256 seed) internal view returns (address) {
-        return actors[seed % actors.length];
-    }
-
-    function _trackFeeProjectBalance() internal {
-        ghost_feeProjectBalancePrev = ghost_feeProjectBalance;
-        ghost_feeProjectBalance = store.balanceOf(address(terminal), 1, JBConstants.NATIVE_TOKEN);
-        if (ghost_feeProjectBalance < ghost_feeProjectBalancePrev) {
-            ghost_feeProjectBalanceDecreased = true;
-        }
-    }
-
-    // =========================================================================
-    // Operations
-    // =========================================================================
-
-    function payProjectA(uint256 seed) external {
-        uint256 amount = bound(seed, 0.001 ether, 5 ether);
-        address actor = _getActor(seed);
-        vm.deal(actor, amount);
-
-        vm.prank(actor);
-        try terminal.pay{value: amount}(projectA, JBConstants.NATIVE_TOKEN, amount, actor, 0, "", "") {
-            ghost_totalPaidInA += amount;
-            actorPaidInA[actor] += amount;
-            callCount_payA++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function payProjectB(uint256 seed) external {
-        uint256 amount = bound(seed, 0.001 ether, 5 ether);
-        address actor = _getActor(seed);
-        vm.deal(actor, amount);
-
-        vm.prank(actor);
-        try terminal.pay{value: amount}(projectB, JBConstants.NATIVE_TOKEN, amount, actor, 0, "", "") {
-            ghost_totalPaidInB += amount;
-            callCount_payB++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function payProjectC(uint256 seed) external {
-        uint256 amount = bound(seed, 0.001 ether, 5 ether);
-        address actor = _getActor(seed);
-        vm.deal(actor, amount);
-
-        vm.prank(actor);
-        try terminal.pay{value: amount}(projectC, JBConstants.NATIVE_TOKEN, amount, actor, 0, "", "") {
-            ghost_totalPaidInC += amount;
-            callCount_payC++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function cashOutA(uint256 seed) external {
-        address actor = _getActor(seed);
-        // Use the actor's actual token balance (credits + ERC20), not total supply
-        uint256 actorBalance = tokens.totalBalanceOf(actor, projectA);
-        if (actorBalance == 0) return;
-
-        uint256 cashOutAmount = bound(seed, 1, actorBalance);
-        if (cashOutAmount == 0) return;
-
-        vm.prank(actor);
-        try terminal.cashOutTokensOf({
-            holder: actor,
-            projectId: projectA,
-            cashOutCount: cashOutAmount,
-            tokenToReclaim: JBConstants.NATIVE_TOKEN,
-            minTokensReclaimed: 0,
-            beneficiary: payable(actor),
-            metadata: ""
-        }) returns (
-            uint256 reclaimAmount
-        ) {
-            ghost_totalCashedOutA += reclaimAmount;
-            actorCashedOutA[actor] += reclaimAmount;
-            callCount_cashOutA++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function cashOutB(uint256 seed) external {
-        address actor = _getActor(seed);
-        uint256 actorBalance = tokens.totalBalanceOf(actor, projectB);
-        if (actorBalance == 0) return;
-
-        uint256 cashOutAmount = bound(seed, 1, actorBalance);
-        if (cashOutAmount == 0) return;
-
-        vm.prank(actor);
-        try terminal.cashOutTokensOf({
-            holder: actor,
-            projectId: projectB,
-            cashOutCount: cashOutAmount,
-            tokenToReclaim: JBConstants.NATIVE_TOKEN,
-            minTokensReclaimed: 0,
-            beneficiary: payable(actor),
-            metadata: ""
-        }) returns (
-            uint256 reclaimAmount
-        ) {
-            ghost_totalCashedOutB += reclaimAmount;
-            callCount_cashOutB++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function cashOutC(uint256 seed) external {
-        address actor = _getActor(seed);
-        uint256 actorBalance = tokens.totalBalanceOf(actor, projectC);
-        if (actorBalance == 0) return;
-
-        uint256 cashOutAmount = bound(seed, 1, actorBalance);
-        if (cashOutAmount == 0) return;
-
-        vm.prank(actor);
-        try terminal.cashOutTokensOf({
-            holder: actor,
-            projectId: projectC,
-            cashOutCount: cashOutAmount,
-            tokenToReclaim: JBConstants.NATIVE_TOKEN,
-            minTokensReclaimed: 0,
-            beneficiary: payable(actor),
-            metadata: ""
-        }) returns (
-            uint256 reclaimAmount
-        ) {
-            ghost_totalCashedOutC += reclaimAmount;
-            callCount_cashOutC++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function sendPayoutsA(uint256 seed) external {
-        uint256 balance = store.balanceOf(address(terminal), projectA, JBConstants.NATIVE_TOKEN);
-        if (balance == 0) return;
-
-        uint256 amount = bound(seed, 1, balance);
-
-        // Track B's balance before payout (for cross-project split cascade)
-        ghost_projectBBalanceBeforeSplit = store.balanceOf(address(terminal), projectB, JBConstants.NATIVE_TOKEN);
-
-        vm.prank(projectOwner);
-        try terminal.sendPayoutsOf({
-            projectId: projectA,
-            token: JBConstants.NATIVE_TOKEN,
-            amount: amount,
-            currency: uint32(uint160(JBConstants.NATIVE_TOKEN)),
-            minTokensPaidOut: 0
-        }) returns (
-            uint256 amountPaidOut
-        ) {
-            ghost_totalPaidOutA += amountPaidOut;
-            callCount_sendPayoutsA++;
-
-            // Track B's balance after payout
-            ghost_projectBBalanceAfterSplit = store.balanceOf(address(terminal), projectB, JBConstants.NATIVE_TOKEN);
-            if (ghost_projectBBalanceAfterSplit > ghost_projectBBalanceBeforeSplit) {
-                ghost_splitCascadeOccurred = true;
-            }
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function sendPayoutsB(uint256 seed) external {
-        uint256 balance = store.balanceOf(address(terminal), projectB, JBConstants.NATIVE_TOKEN);
-        if (balance == 0) return;
-
-        uint256 amount = bound(seed, 1, balance);
-
-        vm.prank(projectOwner);
-        try terminal.sendPayoutsOf({
-            projectId: projectB,
-            token: JBConstants.NATIVE_TOKEN,
-            amount: amount,
-            currency: uint32(uint160(JBConstants.NATIVE_TOKEN)),
-            minTokensPaidOut: 0
-        }) returns (
-            uint256 amountPaidOut
-        ) {
-            ghost_totalPaidOutB += amountPaidOut;
-            callCount_sendPayoutsB++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function sendPayoutsC(uint256 seed) external {
-        uint256 balance = store.balanceOf(address(terminal), projectC, JBConstants.NATIVE_TOKEN);
-        if (balance == 0) return;
-
-        uint256 amount = bound(seed, 1, balance);
-
-        vm.prank(projectOwner);
-        try terminal.sendPayoutsOf({
-            projectId: projectC,
-            token: JBConstants.NATIVE_TOKEN,
-            amount: amount,
-            currency: uint32(uint160(JBConstants.NATIVE_TOKEN)),
-            minTokensPaidOut: 0
-        }) returns (
-            uint256 amountPaidOut
-        ) {
-            ghost_totalPaidOutC += amountPaidOut;
-            callCount_sendPayoutsC++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function addToBalanceA(uint256 seed) external {
-        uint256 amount = bound(seed, 0.001 ether, 1 ether);
-        address actor = _getActor(seed);
-        vm.deal(actor, amount);
-
-        vm.prank(actor);
-        try terminal.addToBalanceOf{value: amount}(projectA, JBConstants.NATIVE_TOKEN, amount, false, "", "") {
-            ghost_totalAddedToBalanceA += amount;
-            callCount_addToBalanceA++;
-        } catch {}
-        _trackFeeProjectBalance();
-    }
-
-    function sendReservedTokensA(uint256 seed) external {
-        seed; // unused but needed for handler interface
-        vm.prank(projectOwner);
-        try controller.sendReservedTokensToSplitsOf(projectA) {
-            callCount_sendReservedA++;
-        } catch {}
-    }
-
-    function sendReservedTokensC(uint256 seed) external {
-        seed;
-        vm.prank(projectOwner);
-        try controller.sendReservedTokensToSplitsOf(projectC) {
-            callCount_sendReservedC++;
-        } catch {}
-    }
-
-    function advanceTime(uint256 seed) external {
-        uint256 delta = bound(seed, 1 hours, 30 days);
-        vm.warp(block.timestamp + delta);
-        callCount_advanceTime++;
-    }
-}