@bananapus/core-v6 0.0.37 → 0.0.39

package/test/invariants/Phase3DeepInvariant.t.sol

@@ -1,412 +0,0 @@
-// SPDX-License-Identifier: MIT
-pragma solidity ^0.8.6;
-
-import {StdInvariant} from "forge-std/StdInvariant.sol";
-import {TestBaseWorkflow} from "../helpers/TestBaseWorkflow.sol";
-import {IJBRulesetApprovalHook} from "../../src/interfaces/IJBRulesetApprovalHook.sol";
-import {IJBSplitHook} from "../../src/interfaces/IJBSplitHook.sol";
-import {JBRulesetMetadataResolver} from "../../src/libraries/JBRulesetMetadataResolver.sol";
-import {JBCurrencyAmount} from "../../src/structs/JBCurrencyAmount.sol";
-import {JBFundAccessLimitGroup} from "../../src/structs/JBFundAccessLimitGroup.sol";
-import {JBRuleset} from "../../src/structs/JBRuleset.sol";
-import {JBRulesetConfig} from "../../src/structs/JBRulesetConfig.sol";
-import {JBRulesetMetadata} from "../../src/structs/JBRulesetMetadata.sol";
-import {JBSplit} from "../../src/structs/JBSplit.sol";
-import {JBSplitGroup} from "../../src/structs/JBSplitGroup.sol";
-import {JBTerminalConfig} from "../../src/structs/JBTerminalConfig.sol";
-import {Phase3Handler} from "./handlers/Phase3Handler.sol";
-import {JBAccountingContext} from "../../src/structs/JBAccountingContext.sol";
-import {JBConstants} from "../../src/libraries/JBConstants.sol";
-
-/// @title Phase3DeepInvariant
-/// @notice Multi-project deep invariant tests with strict equality checks.
-///         4 projects (fee collector, standard, split-recipient, feeless beneficiary).
-///         14 handler operations with ghost variable tracking for exact fee flow verification.
-contract Phase3DeepInvariant_Local is StdInvariant, TestBaseWorkflow {
-    using JBRulesetMetadataResolver for JBRuleset;
-
-    Phase3Handler public handler;
-
-    uint256 public project2;
-    uint256 public project3;
-    uint256 public project4;
-
-    function setUp() public override {
-        super.setUp();
-
-        address owner = multisig();
-
-        // =====================================================================
-        // Fee collector project (#1)
-        // =====================================================================
-        {
-            JBRulesetConfig[] memory feeRuleset = new JBRulesetConfig[](1);
-            feeRuleset[0].mustStartAtOrAfter = 0;
-            feeRuleset[0].duration = 0;
-            feeRuleset[0].weight = uint112(1000e18);
-            feeRuleset[0].weightCutPercent = 0;
-            feeRuleset[0].approvalHook = IJBRulesetApprovalHook(address(0));
-            feeRuleset[0].metadata = _defaultMetadata();
-            feeRuleset[0].splitGroups = new JBSplitGroup[](0);
-            feeRuleset[0].fundAccessLimitGroups = new JBFundAccessLimitGroup[](0);
-
-            JBTerminalConfig[] memory feeTermCfg = new JBTerminalConfig[](1);
-            feeTermCfg[0] =
-                JBTerminalConfig({terminal: jbMultiTerminal(), accountingContextsToAccept: _nativeTokenContextArray()});
-
-            uint256 feeProjectId = jbController()
-                .launchProjectFor({
-                    owner: owner,
-                    projectUri: "FeeProject",
-                    rulesetConfigurations: feeRuleset,
-                    terminalConfigurations: feeTermCfg,
-                    memo: ""
-                });
-            require(feeProjectId == 1, "Fee project must be #1");
-        }
-
-        // =====================================================================
-        // Project #2: 20% reserved, 30% cashOutTax, holdFees=true,
-        //             5 ETH payout limit, 3 ETH surplus allowance,
-        //             split 50% to Project #3
-        // =====================================================================
-        {
-            JBRulesetConfig[] memory ruleset2 = new JBRulesetConfig[](1);
-            ruleset2[0].mustStartAtOrAfter = 0;
-            ruleset2[0].duration = 0;
-            ruleset2[0].weight = uint112(1000e18);
-            ruleset2[0].weightCutPercent = 0;
-            ruleset2[0].approvalHook = IJBRulesetApprovalHook(address(0));
-
-            JBRulesetMetadata memory meta2 = _defaultMetadata();
-            meta2.reservedPercent = 2000; // 20%
-            meta2.cashOutTaxRate = 3000; // 30%
-            meta2.holdFees = true;
-            ruleset2[0].metadata = meta2;
-
-            // Split: 50% to project 3 (project 3 doesn't exist yet, we'll set ID=3)
-            JBSplit[] memory splits2 = new JBSplit[](1);
-            splits2[0] = JBSplit({
-                preferAddToBalance: true,
-                percent: uint32(JBConstants.SPLITS_TOTAL_PERCENT / 2), // 50%
-                projectId: 3, // Will be project 3
-                beneficiary: payable(address(0)),
-                lockedUntil: 0,
-                hook: IJBSplitHook(address(0))
-            });
-
-            JBSplitGroup[] memory splitGroups2 = new JBSplitGroup[](1);
-            splitGroups2[0] = JBSplitGroup({groupId: uint32(uint160(JBConstants.NATIVE_TOKEN)), splits: splits2});
-            ruleset2[0].splitGroups = splitGroups2;
-
-            // Fund access limits: 5 ETH payout, 3 ETH surplus allowance
-            JBFundAccessLimitGroup[] memory limits2 = new JBFundAccessLimitGroup[](1);
-            JBCurrencyAmount[] memory payoutLimits2 = new JBCurrencyAmount[](1);
-            payoutLimits2[0] =
-                JBCurrencyAmount({amount: uint224(5 ether), currency: uint32(uint160(JBConstants.NATIVE_TOKEN))});
-            JBCurrencyAmount[] memory surplusAllowances2 = new JBCurrencyAmount[](1);
-            surplusAllowances2[0] =
-                JBCurrencyAmount({amount: uint224(3 ether), currency: uint32(uint160(JBConstants.NATIVE_TOKEN))});
-            limits2[0] = JBFundAccessLimitGroup({
-                terminal: address(jbMultiTerminal()),
-                token: JBConstants.NATIVE_TOKEN,
-                payoutLimits: payoutLimits2,
-                surplusAllowances: surplusAllowances2
-            });
-            ruleset2[0].fundAccessLimitGroups = limits2;
-
-            JBTerminalConfig[] memory termCfg = new JBTerminalConfig[](1);
-            termCfg[0] =
-                JBTerminalConfig({terminal: jbMultiTerminal(), accountingContextsToAccept: _nativeTokenContextArray()});
-
-            project2 = jbController()
-                .launchProjectFor({
-                    owner: owner,
-                    projectUri: "Project2",
-                    rulesetConfigurations: ruleset2,
-                    terminalConfigurations: termCfg,
-                    memo: ""
-                });
-        }
-
-        // =====================================================================
-        // Project #3: Split recipient — 10% cashOutTax, holdFees=false
-        // =====================================================================
-        {
-            JBRulesetConfig[] memory ruleset3 = new JBRulesetConfig[](1);
-            ruleset3[0].mustStartAtOrAfter = 0;
-            ruleset3[0].duration = 0;
-            ruleset3[0].weight = uint112(1000e18);
-            ruleset3[0].weightCutPercent = 0;
-            ruleset3[0].approvalHook = IJBRulesetApprovalHook(address(0));
-
-            JBRulesetMetadata memory meta3 = _defaultMetadata();
-            meta3.cashOutTaxRate = 1000; // 10%
-            meta3.holdFees = false;
-            ruleset3[0].metadata = meta3;
-            ruleset3[0].splitGroups = new JBSplitGroup[](0);
-            ruleset3[0].fundAccessLimitGroups = new JBFundAccessLimitGroup[](0);
-
-            JBTerminalConfig[] memory termCfg3 = new JBTerminalConfig[](1);
-            termCfg3[0] =
-                JBTerminalConfig({terminal: jbMultiTerminal(), accountingContextsToAccept: _nativeTokenContextArray()});
-
-            project3 = jbController()
-                .launchProjectFor({
-                    owner: owner,
-                    projectUri: "Project3",
-                    rulesetConfigurations: ruleset3,
-                    terminalConfigurations: termCfg3,
-                    memo: ""
-                });
-            require(project3 == 3, "Project 3 must be #3");
-        }
-
-        // =====================================================================
-        // Project #4: Feeless beneficiary
-        // =====================================================================
-        {
-            JBRulesetConfig[] memory ruleset4 = new JBRulesetConfig[](1);
-            ruleset4[0].mustStartAtOrAfter = 0;
-            ruleset4[0].duration = 0;
-            ruleset4[0].weight = uint112(1000e18);
-            ruleset4[0].weightCutPercent = 0;
-            ruleset4[0].approvalHook = IJBRulesetApprovalHook(address(0));
-            ruleset4[0].metadata = _defaultMetadata();
-            ruleset4[0].splitGroups = new JBSplitGroup[](0);
-            ruleset4[0].fundAccessLimitGroups = new JBFundAccessLimitGroup[](0);
-
-            JBTerminalConfig[] memory termCfg4 = new JBTerminalConfig[](1);
-            termCfg4[0] =
-                JBTerminalConfig({terminal: jbMultiTerminal(), accountingContextsToAccept: _nativeTokenContextArray()});
-
-            project4 = jbController()
-                .launchProjectFor({
-                    owner: owner,
-                    projectUri: "Project4",
-                    rulesetConfigurations: ruleset4,
-                    terminalConfigurations: termCfg4,
-                    memo: ""
-                });
-
-            // Register project 4's owner as feeless
-            vm.prank(multisig());
-            jbFeelessAddresses().setFeelessAddress(owner, true);
-        }
-
-        // =====================================================================
-        // Deploy handler
-        // =====================================================================
-        handler = new Phase3Handler(
-            jbMultiTerminal(), jbTerminalStore(), jbController(), jbTokens(), project2, project3, project4, owner
-        );
-
-        // Deploy ERC20 token for project 2 so claimCredits2 works
-        vm.prank(owner);
-        jbController().deployERC20For({projectId: project2, name: "Token2", symbol: "TK2", salt: bytes32(0)});
-
-        // Register handler selectors
-        bytes4[] memory selectors = new bytes4[](16);
-        selectors[0] = Phase3Handler.payProject2.selector;
-        selectors[1] = Phase3Handler.payProject3.selector;
-        selectors[2] = Phase3Handler.cashOutProject2.selector;
-        selectors[3] = Phase3Handler.cashOutProject3.selector;
-        selectors[4] = Phase3Handler.sendPayoutsProject2.selector;
-        selectors[5] = Phase3Handler.useAllowanceProject2.selector;
-        selectors[6] = Phase3Handler.sendReservedTokens2.selector;
-        selectors[7] = Phase3Handler.processHeldFees2.selector;
-        selectors[8] = Phase3Handler.addToBalanceReturnFees2.selector;
-        selectors[9] = Phase3Handler.addToBalanceNoReturn2.selector;
-        selectors[10] = Phase3Handler.burnTokens2.selector;
-        selectors[11] = Phase3Handler.burnTokens3.selector;
-        selectors[12] = Phase3Handler.claimCredits2.selector;
-        selectors[13] = Phase3Handler.advanceTime.selector;
-        // Double-weight pay operations (most common)
-        selectors[14] = Phase3Handler.payProject2.selector;
-        selectors[15] = Phase3Handler.payProject3.selector;
-
-        targetSelector(FuzzSelector({addr: address(handler), selectors: selectors}));
-        targetContract(address(handler));
-    }
-
-    // =========================================================================
-    // Helpers
-    // =========================================================================
-
-    function _defaultMetadata() internal pure returns (JBRulesetMetadata memory) {
-        return JBRulesetMetadata({
-            reservedPercent: 0,
-            cashOutTaxRate: 0,
-            baseCurrency: uint32(uint160(JBConstants.NATIVE_TOKEN)),
-            pausePay: false,
-            pauseCreditTransfers: false,
-            allowOwnerMinting: false,
-            allowSetCustomToken: true,
-            allowTerminalMigration: false,
-            allowSetTerminals: false,
-            ownerMustSendPayouts: false,
-            allowSetController: false,
-            allowAddAccountingContext: true,
-            allowAddPriceFeed: false,
-            holdFees: false,
-            useTotalSurplusForCashOuts: false,
-            useDataHookForPay: false,
-            useDataHookForCashOut: false,
-            dataHook: address(0),
-            metadata: 0
-        });
-    }
-
-    function _nativeTokenContextArray() internal pure returns (JBAccountingContext[] memory) {
-        JBAccountingContext[] memory ctx = new JBAccountingContext[](1);
-        ctx[0] = JBAccountingContext({
-            token: JBConstants.NATIVE_TOKEN, decimals: 18, currency: uint32(uint160(JBConstants.NATIVE_TOKEN))
-        });
-        return ctx;
-    }
-
-    // =========================================================================
-    // INV-P3-1: Terminal balance == sum(store.balanceOf) + held fees accounting
-    // =========================================================================
-    /// @notice The terminal's actual ETH balance must be >= the sum of all recorded balances.
-    ///         This catches any accounting leak where ETH escapes tracking.
-    function invariant_P3_1_terminalBalanceCoversRecorded() public view {
-        uint256 balanceFee = jbTerminalStore().balanceOf(address(jbMultiTerminal()), 1, JBConstants.NATIVE_TOKEN);
-        uint256 balance2 = jbTerminalStore().balanceOf(address(jbMultiTerminal()), project2, JBConstants.NATIVE_TOKEN);
-        uint256 balance3 = jbTerminalStore().balanceOf(address(jbMultiTerminal()), project3, JBConstants.NATIVE_TOKEN);
-        uint256 balance4 = jbTerminalStore().balanceOf(address(jbMultiTerminal()), project4, JBConstants.NATIVE_TOKEN);
-
-        uint256 totalRecorded = balanceFee + balance2 + balance3 + balance4;
-        uint256 actualBalance = address(jbMultiTerminal()).balance;
-
-        // Terminal balance must be >= recorded (held fees account for the difference)
-        assertGe(
-            actualBalance,
-            totalRecorded,
-            "INV-P3-1: Terminal actual balance must >= sum of all project recorded balances"
-        );
-    }
-
-    // =========================================================================
-    // INV-P3-2: Fee consistency — ghost fees deducted vs fees sent + held
-    // =========================================================================
-    /// @notice Total fees deducted from project 2 should correlate with fees sent to
-    ///         project 1 plus unprocessed held fees. This catches fee rounding mismatches.
-    function invariant_P3_2_feeFlowConsistency() public view {
-        // Fee project (#1) balance represents all fees actually received
-        uint256 feeProjectBalance = jbTerminalStore().balanceOf(address(jbMultiTerminal()), 1, JBConstants.NATIVE_TOKEN);
-
-        // The fee project balance should be non-negative (always true for uint)
-        // and should be bounded by total ghost inflows
-        assertGe(
-            handler.ghost_globalInflows(),
-            feeProjectBalance,
-            "INV-P3-2: Fee project balance should not exceed total inflows"
-        );
-    }
-
-    // =========================================================================
-    // INV-P3-3: No actor extracts more than contributed (per project, pre-external)
-    // =========================================================================
-    /// @notice With cashOutTaxRate > 0, no single actor should extract more than they contributed
-    ///         from project 2, unless addToBalance was used (which inflates surplus).
-    function invariant_P3_3_noActorExtractionExceedsContribution() public view {
-        if (handler.ghost_totalAddedToBalance(project2) > 0) return; // Skip if external surplus added
-
-        for (uint256 i = 0; i < handler.NUM_ACTORS(); i++) {
-            address actor = handler.getActor(i);
-            uint256 contributed = handler.ghost_actorContributed(actor, project2);
-            uint256 extracted = handler.ghost_actorExtracted(actor, project2);
-
-            assertGe(
-                contributed, extracted, "INV-P3-3: Actor should not extract more than contributed with cash out tax"
-            );
-        }
-    }
-
-    // =========================================================================
-    // INV-P3-4: Token supply * bonding floor <= terminal balance
-    // =========================================================================
-    /// @notice Token supply should never exceed what the terminal can back.
-    ///         This catches token overissuance bugs.
-    function invariant_P3_4_tokenSupplyBoundedByBalance() public view {
-        uint256 supply2 = jbController().totalTokenSupplyWithReservedTokensOf(project2);
-        uint256 balance2 = jbTerminalStore().balanceOf(address(jbMultiTerminal()), project2, JBConstants.NATIVE_TOKEN);
-
-        // The token supply should relate to the balance. With weight=1000e18 tokens per ETH,
-        // each token represents 0.001 ETH. A non-zero supply with zero balance is a problem.
-        if (supply2 > 0) {
-            // At minimum, some balance should exist to back the tokens
-            // (unless all tokens were from reserved minting with no funds)
-            // This is a soft check — tokens from pay() always have backing
-            uint256 totalPaid = handler.ghost_totalPaidIn(project2) + handler.ghost_totalAddedToBalance(project2);
-            uint256 totalOut = handler.ghost_totalCashedOut(project2) + handler.ghost_totalPaidOut(project2)
-                + handler.ghost_totalAllowanceUsed(project2);
-
-            if (totalPaid > totalOut) {
-                assertGt(balance2, 0, "INV-P3-4: Tokens exist but terminal balance is 0");
-            }
-        }
-    }
-
-    // =========================================================================
-    // INV-P3-5: Global conservation — inflows == outflows + balances
-    // =========================================================================
-    /// @notice Total ETH entering the system must equal ETH leaving + ETH remaining.
-    function invariant_P3_5_globalConservation() public view {
-        uint256 totalInflows = handler.ghost_globalInflows();
-
-        // Use actual terminal balance as ground truth.
-        // Note: ghost_globalOutflows overcounts because sendPayoutsOf returns gross amounts
-        // before fee deduction, but fees stay in the terminal. Using actual balance avoids this.
-        uint256 actualBalance = address(jbMultiTerminal()).balance;
-
-        // Terminal balance should not exceed total inflows
-        assertGe(totalInflows, actualBalance, "INV-P3-5: Terminal balance should not exceed total inflows");
-    }
-
-    // =========================================================================
-    // INV-P3-6: Held fee return safety
-    // =========================================================================
-    /// @notice After addToBalance(shouldReturn=true), returned fees must not exceed held fees.
-    function invariant_P3_6_heldFeeReturnBounded() public view {
-        uint256 returned = handler.ghost_totalReturnedFees(project2);
-
-        // Returned fees should never exceed what was held
-        // (heldTotal may be 0 if we never tracked, so only check when both nonzero)
-        if (returned > 0) {
-            // Returned fees came from actual held fees, which is bounded by payouts * fee%
-            // This is a sanity check — the system should never return more than was held
-            assertTrue(true, "INV-P3-6: Fee return check passed (nonzero return)");
-        }
-    }
-
-    // =========================================================================
-    // INV-P3-7: Payout + allowance usage bounded by balance
-    // =========================================================================
-    /// @notice Used payout limit + used surplus allowance should not drain more than the balance.
-    function invariant_P3_7_limitUsageBoundedByBalance() public view {
-        uint256 totalDrained = handler.ghost_totalPaidOut(project2) + handler.ghost_totalAllowanceUsed(project2);
-        uint256 totalAvailable = handler.ghost_totalPaidIn(project2) + handler.ghost_totalAddedToBalance(project2);
-
-        // Total drained should not exceed total available
-        assertGe(
-            totalAvailable,
-            totalDrained,
-            "INV-P3-7: Total drained (payouts + allowance) must not exceed total available"
-        );
-    }
-
-    // =========================================================================
-    // INV-P3-8: Reserved tokens — after sendReservedTokens, pending == 0
-    // =========================================================================
-    /// @notice After sendReservedTokensToSplitsOf, the pending reserved count should be 0.
-    ///         Also verifies that token supply increased by the correct amount.
-    function invariant_P3_8_reservedTokenConsistency() public view {
-        // Check that total supply with reserves >= total supply (reserves are pending)
-        uint256 supplyWithReserves = jbController().totalTokenSupplyWithReservedTokensOf(project2);
-        uint256 rawSupply = jbTokens().totalSupplyOf(project2);
-
-        assertGe(supplyWithReserves, rawSupply, "INV-P3-8: Supply with reserves must >= raw supply");
-    }
-}

package/test/invariants/RulesetsInvariant.t.sol

@@ -1,125 +0,0 @@
-// SPDX-License-Identifier: MIT
-pragma solidity ^0.8.6;
-
-import {StdInvariant} from "forge-std/StdInvariant.sol";
-import {TestBaseWorkflow} from "../helpers/TestBaseWorkflow.sol";
-import {IJBRulesetApprovalHook} from "../../src/interfaces/IJBRulesetApprovalHook.sol";
-import {JBConstants} from "../../src/libraries/JBConstants.sol";
-import {JBRulesetMetadataResolver} from "../../src/libraries/JBRulesetMetadataResolver.sol";
-import {JBAccountingContext} from "../../src/structs/JBAccountingContext.sol";
-import {JBFundAccessLimitGroup} from "../../src/structs/JBFundAccessLimitGroup.sol";
-import {JBRuleset} from "../../src/structs/JBRuleset.sol";
-import {JBRulesetConfig} from "../../src/structs/JBRulesetConfig.sol";
-import {JBRulesetMetadata} from "../../src/structs/JBRulesetMetadata.sol";
-import {JBSplitGroup} from "../../src/structs/JBSplitGroup.sol";
-import {JBTerminalConfig} from "../../src/structs/JBTerminalConfig.sol";
-import {RulesetsHandler} from "./handlers/RulesetsHandler.sol";
-
-/// @notice Invariant tests for JBRulesets cycling, weight decay, and monotonicity.
-contract RulesetsInvariant_Local is StdInvariant, TestBaseWorkflow {
-    using JBRulesetMetadataResolver for JBRuleset;
-
-    RulesetsHandler public handler;
-
-    uint256 public projectId;
-    address public projectOwner;
-
-    function setUp() public override {
-        super.setUp();
-        projectOwner = multisig();
-
-        // Launch a project with a cycled ruleset (30-day duration, 10% weight decay)
-        JBRulesetConfig[] memory rulesetConfig = new JBRulesetConfig[](1);
-        rulesetConfig[0].mustStartAtOrAfter = 0;
-        rulesetConfig[0].duration = 30 days;
-        rulesetConfig[0].weight = 1000e18;
-        rulesetConfig[0].weightCutPercent = JBConstants.MAX_WEIGHT_CUT_PERCENT / 10; // 10% cut
-        rulesetConfig[0].approvalHook = IJBRulesetApprovalHook(address(0));
-        rulesetConfig[0].metadata = JBRulesetMetadata({
-            reservedPercent: 0,
-            cashOutTaxRate: 0,
-            baseCurrency: uint32(uint160(JBConstants.NATIVE_TOKEN)),
-            pausePay: false,
-            pauseCreditTransfers: false,
-            allowOwnerMinting: true,
-            allowSetCustomToken: true,
-            allowTerminalMigration: false,
-            allowSetTerminals: false,
-            ownerMustSendPayouts: false,
-            allowSetController: false,
-            allowAddAccountingContext: true,
-            allowAddPriceFeed: false,
-            holdFees: false,
-            useTotalSurplusForCashOuts: false,
-            useDataHookForPay: false,
-            useDataHookForCashOut: false,
-            dataHook: address(0),
-            metadata: 0
-        });
-        rulesetConfig[0].splitGroups = new JBSplitGroup[](0);
-        rulesetConfig[0].fundAccessLimitGroups = new JBFundAccessLimitGroup[](0);
-
-        JBTerminalConfig[] memory terminalConfigurations = new JBTerminalConfig[](1);
-        JBAccountingContext[] memory tokensToAccept = new JBAccountingContext[](1);
-        tokensToAccept[0] = JBAccountingContext({
-            token: JBConstants.NATIVE_TOKEN, decimals: 18, currency: uint32(uint160(JBConstants.NATIVE_TOKEN))
-        });
-        terminalConfigurations[0] =
-            JBTerminalConfig({terminal: jbMultiTerminal(), accountingContextsToAccept: tokensToAccept});
-
-        projectId = jbController()
-            .launchProjectFor({
-                owner: projectOwner,
-                projectUri: "rulesetsTest",
-                rulesetConfigurations: rulesetConfig,
-                terminalConfigurations: terminalConfigurations,
-                memo: ""
-            });
-
-        // Deploy handler
-        handler = new RulesetsHandler(jbRulesets(), jbController(), projectId, projectOwner);
-
-        // Register handler
-        bytes4[] memory selectors = new bytes4[](3);
-        selectors[0] = RulesetsHandler.queueRuleset.selector;
-        selectors[1] = RulesetsHandler.advanceTime.selector;
-        selectors[2] = RulesetsHandler.updateWeightCache.selector;
-
-        targetContract(address(handler));
-        targetSelector(FuzzSelector({addr: address(handler), selectors: selectors}));
-    }
-
-    /// @notice INV-RS-1: After launch, currentOf(pid).id != 0 always.
-    /// @dev A launched project must always have an active ruleset.
-    function invariant_RS1_currentRulesetAlwaysExists() public view {
-        JBRuleset memory current = jbRulesets().currentOf(projectId);
-        assertGt(current.id, 0, "INV-RS-1: currentOf must return non-zero ruleset ID after launch");
-    }
-
-    /// @notice INV-RS-2: cycleNumber never decreases.
-    /// @dev Even after time advances and new rulesets take effect, cycle numbers
-    ///      must monotonically increase.
-    function invariant_RS2_cycleNumberNeverDecreases() public view {
-        JBRuleset memory current = jbRulesets().currentOf(projectId);
-
-        // The current cycle number should be >= 1 (first cycle).
-        assertGe(uint256(current.cycleNumber), 1, "INV-RS-2: cycleNumber must be >= 1");
-    }
-
-    /// @notice INV-RS-3: Weight is always within valid bounds.
-    /// @dev Weight must fit in uint112 and should never be 0 unless explicitly set.
-    function invariant_RS3_weightWithinBounds() public view {
-        JBRuleset memory current = jbRulesets().currentOf(projectId);
-
-        // Weight should fit in uint112 (it's stored as uint112, so this is a sanity check).
-        assertLe(uint256(current.weight), uint256(type(uint112).max), "INV-RS-3: weight must fit in uint112");
-    }
-
-    /// @notice INV-RS-4: Ruleset start timestamp is always <= block.timestamp.
-    /// @dev The current ruleset's start must be in the past or present.
-    function invariant_RS4_rulesetStartNotFuture() public view {
-        JBRuleset memory current = jbRulesets().currentOf(projectId);
-
-        assertLe(uint256(current.start), block.timestamp, "INV-RS-4: current ruleset start must be <= block.timestamp");
-    }
-}