npm - @layerzerolabs/utils-upgradeable-evm-contracts - Versions diffs - 1.2.8 → 1.2.10 - Mend

@layerzerolabs/utils-upgradeable-evm-contracts 1.2.8 → 1.2.10

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (17) hide show

package/.turbo/turbo-lint.log +232 -228
package/.turbo/turbo-test.log +745 -768
package/package.json +4 -4
package/test/AccessControl2StepUpgradeable.t.sol +115 -111
package/test/AllowlistBaseUpgradeable.t.sol +10 -15
package/test/AllowlistRBACUpgradeable.t.sol +20 -16
package/test/FeeConfigBaseUpgradeable.t.sol +68 -70
package/test/FeeConfigRBACUpgradeable.t.sol +13 -10
package/test/FeeHandlerBaseUpgradeable.t.sol +22 -28
package/test/FeeHandlerRBACUpgradeable.t.sol +12 -9
package/test/PauseBaseUpgradeable.t.sol +72 -85
package/test/PauseByIDBaseUpgradeable.t.sol +84 -94
package/test/PauseByIDRBACUpgradeable.t.sol +101 -115
package/test/PauseRBACUpgradeable.t.sol +74 -106
package/test/RateLimiterBaseUpgradeable.t.sol +28 -24
package/test/RateLimiterRBACUpgradeable.t.sol +22 -12
package/test/RateLimiterRBACUpgradeableInvariant.t.sol +10 -10

package/.turbo/turbo-test.log CHANGED Viewed

@@ -4,23 +4,23 @@
 ✅ forge-1.3.6-hardhat-2.26.3
 🔧 forge version: 1.3.6
-📦 Using scoped workspace: /tmp/lz-scoped-workspace-JjjP8i
+📦 Using scoped workspace: /tmp/lz-scoped-workspace-RFkkNy
 📦 Copied 8 workspace package source(s)
 📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
-(node:199178) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
+(node:200146) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
 Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
 To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
 (Use `node --trace-warnings ...` to show where the warning was created)
 📦 Docker volumes:
-  -v /tmp/lz-scoped-workspace-JjjP8i:/workspace
+  -v /tmp/lz-scoped-workspace-RFkkNy:/workspace
   -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
   -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
 $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
 ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
 👤 Running container as UID:GID 1001:1001
-$ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-JjjP8i:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
+$ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-RFkkNy:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
 Compiling 84 files with Solc 0.8.22
-Solc 0.8.22 finished in 12.27s
+Solc 0.8.22 finished in 11.24s
 Compiler run successful with warnings:
 Warning (2018): Function state mutability can be restricted to view
   --> test/EnumerableSetPagination.t.sol:91:5:
@@ -143,49 +143,11 @@ Warning (2018): Function state mutability can be restricted to view
     |     ^ (Relevant source part starts here and spans across multiple lines).
-Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
-[PASS] test_checkpointRateLimits_Empty() (gas: 10824)
-[PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
-[PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
-[PASS] test_checkpointRateLimits_Single() (gas: 85741)
-[PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
-[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
-[PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
-[PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
-[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
-[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
-[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
-[PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
-[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
-[PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
-[PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
-[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
-[PASS] test_inflow_GloballyDisabled() (gas: 52015)
-[PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
-[PASS] test_initial_state_closed() (gas: 2034659)
-[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
-[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
-[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
-[PASS] test_outflow_GloballyDisabled() (gas: 52036)
-[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
-[PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
-[PASS] test_setRateLimitAddressExemptions() (gas: 59682)
-[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
-[PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
-[PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
-[PASS] test_setRateLimitConfigs_Single() (gas: 76669)
-[PASS] test_setRateLimitGlobalConfig() (gas: 49357)
-[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
-[PASS] test_setRateLimitStates_Single() (gas: 49974)
-[PASS] test_storageHash() (gas: 3414)
-[PASS] test_upscaleRateLimitAmount() (gas: 2014907)
-Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 42.86ms (40.18ms CPU time)
 Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
 [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
 [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
 [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
-[PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19822)
+[PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19814)
 [PASS] test_checkpointRateLimits_Single() (gas: 88573)
 [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
 [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
@@ -210,71 +172,201 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
 [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
 [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
 [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
-[PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19937)
+[PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19928)
 [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
 [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
-[PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21285)
+[PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21277)
 [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
 [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
-[PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19463)
+[PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19455)
 [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
-[PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20566)
+[PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20546)
 [PASS] test_setRateLimitStates_Single() (gas: 52512)
 [PASS] test_storageHash() (gas: 3392)
 [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
-Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 41.52ms (32.34ms CPU time)
+Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 17.00ms (20.98ms CPU time)
+Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
+[PASS] test_checkpointRateLimits_Empty() (gas: 10824)
+[PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
+[PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
+[PASS] test_checkpointRateLimits_Single() (gas: 85741)
+[PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
+[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
+[PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
+[PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
+[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
+[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
+[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
+[PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
+[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
+[PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
+[PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
+[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
+[PASS] test_inflow_GloballyDisabled() (gas: 52015)
+[PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
+[PASS] test_initial_state_closed() (gas: 2034659)
+[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
+[PASS] test_outflow_GloballyDisabled() (gas: 52036)
+[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
+[PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
+[PASS] test_setRateLimitAddressExemptions() (gas: 59682)
+[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
+[PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
+[PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
+[PASS] test_setRateLimitConfigs_Single() (gas: 76669)
+[PASS] test_setRateLimitGlobalConfig() (gas: 49357)
+[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
+[PASS] test_setRateLimitStates_Single() (gas: 49974)
+[PASS] test_storageHash() (gas: 3414)
+[PASS] test_upscaleRateLimitAmount() (gas: 2014907)
+Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 20.05ms (17.30ms CPU time)
 Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
-[PASS] test_feeDeposit() (gas: 17576)
-[PASS] test_setFeeDeposit() (gas: 24995)
+[PASS] test_feeDeposit() (gas: 17598)
+[PASS] test_setFeeDeposit() (gas: 24907)
 [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
 [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
 [PASS] test_storageHash() (gas: 3337)
-Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 57.61ms (57.08ms CPU time)
+Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 50.78ms (50.20ms CPU time)
+Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
+[PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
+[PASS] test_assertNotPaused_Success() (gas: 12539)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
+[PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
+[PASS] test_isPaused_InitialState() (gas: 15629)
+[PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
+[PASS] test_multipleRoleGrants() (gas: 395725)
+[PASS] test_pause() (gas: 42109)
+[PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
+[PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
+[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31015, ~: 42378)
+[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
+[PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
+[PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
+[PASS] test_setPaused_Success() (gas: 42640)
+[PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
+[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
+[PASS] test_storageHash() (gas: 3414)
+[PASS] test_unpause() (gas: 35177)
+[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41903, ~: 39122)
+[PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
+[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
+[PASS] test_whenNotPaused_Success() (gas: 38986)
+[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
+[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
+Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 98.21ms (154.27ms CPU time)
 Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
-[PASS] test_feeDeposit() (gas: 17638)
-[PASS] test_setFeeDeposit() (gas: 27596)
-[PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
-[PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
+[PASS] test_feeDeposit() (gas: 17660)
+[PASS] test_setFeeDeposit() (gas: 27618)
+[PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
+[PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
 [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
 [PASS] test_storageHash() (gas: 3315)
-Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 48.22ms (47.65ms CPU time)
+Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 137.92ms (137.21ms CPU time)
+Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
+[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
+[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
+[PASS] test_assertNotPaused_Success() (gas: 14891)
+[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
+[PASS] test_defaultPaused_InitialState() (gas: 15572)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18020)
+[PASS] test_isPaused_Default() (gas: 47316)
+[PASS] test_isPaused_InitialState() (gas: 22172)
+[PASS] test_isPaused_MultipleIDs() (gas: 80142)
+[PASS] test_isPaused_Override() (gas: 75171)
+[PASS] test_isPaused_Specific() (gas: 50105)
+[PASS] test_isPaused_SpecificDisabled() (gas: 55561)
+[PASS] test_pauseConfig() (gas: 51028)
+[PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
+[PASS] test_setDefaultPaused() (gas: 42196)
+[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30281, ~: 18826)
+[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
+[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
+[PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
+[PASS] test_setDefaultPaused_Success() (gas: 40744)
+[PASS] test_setPaused() (gas: 48361)
+[PASS] test_setPaused_DormantData() (gas: 297504)
+[PASS] test_setPaused_EmptyArray() (gas: 15702)
+[PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
+[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43766, ~: 48696)
+[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225639, ~: 219074)
+[PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
+[PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
+[PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
+[PASS] test_setPaused_Revert_Unauthorized() (gas: 25986)
+[PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 132969)
+[PASS] test_setPaused_Success() (gas: 45897)
+[PASS] test_setPaused_Success_Batch() (gas: 345312)
+[PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
+[PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
+[PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 243537)
+[PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
+[PASS] test_setPaused_Success_Toggle() (gas: 58022)
+[PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
+[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61968, ~: 50341)
+[PASS] test_storageHash() (gas: 3392)
+[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
+[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
+[PASS] test_whenNotPaused_Success() (gas: 41299)
+[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
+[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
+Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 367.47ms (492.30ms CPU time)
+Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
+[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
+[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
+[PASS] test_assertNotPaused_Success() (gas: 14934)
+[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
+[PASS] test_defaultPaused_InitialState() (gas: 15571)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
+[PASS] test_isPaused_Default() (gas: 44698)
+[PASS] test_isPaused_InitialState() (gas: 22070)
+[PASS] test_isPaused_MultipleIDs() (gas: 73915)
+[PASS] test_isPaused_Override() (gas: 69381)
+[PASS] test_isPaused_Specific() (gas: 46709)
+[PASS] test_isPaused_SpecificDisabled() (gas: 51615)
+[PASS] test_pauseConfig() (gas: 45626)
+[PASS] test_setDefaultPaused() (gas: 39667)
+[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
+[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
+[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
+[PASS] test_setPaused() (gas: 43060)
+[PASS] test_setPaused_EmptyArray() (gas: 10900)
+[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38179, ~: 43373)
+[PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
+[PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
+[PASS] test_setPaused_Success_Toggle() (gas: 51442)
+[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58162, ~: 46989)
+[PASS] test_storageHash() (gas: 3480)
+[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
+[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
+[PASS] test_whenNotPaused_Success() (gas: 41297)
+[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
+[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
+Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.09ms (311.98ms CPU time)
 Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
 [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
 [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
 [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
 [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
-[PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
+[PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
 [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
 [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
 [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
 [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
 [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
-Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 134.83ms (49.60ms CPU time)
-Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
-[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
-[PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
-[PASS] test_assertNotPaused_Success() (gas: 12516)
-[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
-[PASS] test_isPaused_InitialState() (gas: 15595)
-[PASS] test_pause() (gas: 39592)
-[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28370, ~: 39861)
-[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
-[PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
-[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
-[PASS] test_storageHash() (gas: 3414)
-[PASS] test_unpause() (gas: 31115)
-[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40388, ~: 38893)
-[PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
-[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
-[PASS] test_whenNotPaused_Success() (gas: 38744)
-[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
-[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
-[PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
-Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 163.43ms (306.26ms CPU time)
+Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 935.02ms (49.58ms CPU time)
 Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
 [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -306,7 +398,7 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
 [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
 [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
 [PASS] test_storageHash() (gas: 3458)
-Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 229.11ms (424.65ms CPU time)
+Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.16s (474.64ms CPU time)
 Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
 [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -320,948 +412,833 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
 [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
 [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
 [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
-[PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
+[PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
 [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
 [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
 [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
 [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
-[PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
-[PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
-[PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
-[PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
-[PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
-[PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
-[PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
-[PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
-[PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
-[PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
-[PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
-[PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
-[PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
-[PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
-[PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
-[PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
-[PASS] test_storageHash() (gas: 3380)
-Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 313.57ms (379.08ms CPU time)
-Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
-[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
-[PASS] test_getAmountBeforeFee_Default() (gas: 47637)
-[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47538, ~: 48966)
-[PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
-[PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
-[PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
-[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
-[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
-[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
-[PASS] test_getFee_BoundaryConditions() (gas: 75442)
-[PASS] test_getFee_Default() (gas: 43108)
-[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45715, ~: 47017)
-[PASS] test_getFee_Rounding() (gas: 45449)
-[PASS] test_getFee_Specific() (gas: 66985)
-[PASS] test_getFee_SpecificDisabled() (gas: 66943)
-[PASS] test_setDefaultFeeBps() (gas: 42199)
-[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35268, ~: 42268)
-[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
-[PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
-[PASS] test_setFeeBps() (gas: 77237)
-Logs:
-  Bound result 500
-[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68954, ~: 77570)
-[PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
-[PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
-[PASS] test_storageHash() (gas: 3436)
-Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 501.41ms (601.29ms CPU time)
-Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
-[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
-[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
-[PASS] test_assertNotPaused_Success() (gas: 14891)
-[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
-[PASS] test_defaultPaused_InitialState() (gas: 15572)
-[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
-[PASS] test_isPaused_Default() (gas: 47316)
-[PASS] test_isPaused_InitialState() (gas: 22172)
-[PASS] test_isPaused_MultipleIDs() (gas: 80142)
-[PASS] test_isPaused_Override() (gas: 75171)
-[PASS] test_isPaused_Specific() (gas: 50105)
-[PASS] test_isPaused_SpecificDisabled() (gas: 55561)
-[PASS] test_pauseConfig() (gas: 51028)
-[PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
-[PASS] test_setDefaultPaused() (gas: 42196)
-[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
-[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
-[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
-[PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
-[PASS] test_setDefaultPaused_Success() (gas: 40744)
-[PASS] test_setPaused() (gas: 48361)
-[PASS] test_setPaused_DormantData() (gas: 295234)
-[PASS] test_setPaused_EmptyArray() (gas: 15702)
-[PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
-[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43765, ~: 48696)
-[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222875, ~: 216804)
-[PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
-[PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
-[PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
-[PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
-[PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
-[PASS] test_setPaused_Success() (gas: 45897)
-[PASS] test_setPaused_Success_Batch() (gas: 345312)
-[PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
-[PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
-[PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
-[PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
-[PASS] test_setPaused_Success_Toggle() (gas: 58022)
-[PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
-[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62067, ~: 50341)
-[PASS] test_storageHash() (gas: 3392)
-[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
-[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
-[PASS] test_whenNotPaused_Success() (gas: 41299)
-[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
-[PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
-[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
-Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.22s (801.43ms CPU time)
-Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
-[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
-[PASS] test_getAmountBeforeFee_Default() (gas: 45067)
-[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45007, ~: 46317)
-[PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
-[PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
-[PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
-[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
-[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
-[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
-[PASS] test_getFee_BoundaryConditions() (gas: 71791)
-[PASS] test_getFee_Default() (gas: 40577)
-[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43049, ~: 44486)
-[PASS] test_getFee_Rounding() (gas: 42835)
-[PASS] test_getFee_Specific() (gas: 63968)
-[PASS] test_getFee_SpecificDisabled() (gas: 63920)
-[PASS] test_setDefaultFeeBps() (gas: 39576)
-[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31906, ~: 39667)
-[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
-[PASS] test_setFeeBps() (gas: 73871)
-Logs:
-  Bound result 500
-[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65491, ~: 74224)
-[PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
-[PASS] test_storageHash() (gas: 3426)
-Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.29s (414.05ms CPU time)
-Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
-[PASS] test_SwitchModes_PreservesState() (gas: 195548)
-[PASS] test_constructor_InitialMode() (gas: 15778)
-[PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
-[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
-[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
-[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
-[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
-[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
-[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
-[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
-[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
-[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
-[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
-[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
-[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
-[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
-[PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
-[PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
-[PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
-[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
-[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
-[PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
-[PASS] test_setMode_Blacklist() (gas: 42605)
-[PASS] test_setMode_MultipleChanges() (gas: 43274)
-[PASS] test_setMode_RevertSameMode() (gas: 51355)
-[PASS] test_setMode_Whitelist() (gas: 42714)
-[PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
-[PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
-[PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
-[PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
-[PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
-[PASS] test_storageHash() (gas: 3480)
-Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.39s (522.81ms CPU time)
-Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
-[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27221, ~: 41090)
-[PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
-[PASS] test_assertNotPaused_Success() (gas: 12539)
-[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
-[PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
-[PASS] test_isPaused_InitialState() (gas: 15629)
-[PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
-[PASS] test_multipleRoleGrants() (gas: 394130)
-[PASS] test_pause() (gas: 42109)
-[PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
-[PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
-[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30897, ~: 42378)
-[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
-[PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
-[PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
-[PASS] test_setPaused_Success() (gas: 40691)
-[PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
-[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
-[PASS] test_storageHash() (gas: 3414)
-[PASS] test_unpause() (gas: 35177)
-[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41686, ~: 44479)
-[PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
-[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
-[PASS] test_whenNotPaused_Success() (gas: 38800)
-[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
-[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
-[PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
-Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.39s (277.21ms CPU time)
+[PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
+[PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
+[PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
+[PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
+[PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
+[PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
+[PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
+[PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
+[PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
+[PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
+[PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
+[PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
+[PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
+[PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
+[PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
+[PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
+[PASS] test_storageHash() (gas: 3380)
+Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.36s (430.89ms CPU time)
-Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
+Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
 [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 508   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 542   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 539   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 573   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 552   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 580   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 568   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 554   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 574   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 536   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 537   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 452
-  Bound result 9900000000023720904299
-  Bound result 9900000037601110189097
-  Bound result 1620
-  Bound result 6687
-  Bound result 9900000000000411029180
-  Bound result 6914264337593535947489
-  Bound result 3123
-  Bound result 1378
-  Bound result 46
-  Bound result 26859
-  Bound result 3352
-  Bound result 3
-  Bound result 1229
-  Bound result 8307
-  Bound result 4812421941287723879844
-  Bound result 5575
-  Bound result 9900000000000000005818
-  Bound result 9900000000000000001147
-  Bound result 6052
-  Bound result 7448
+  Bound result 7938
+  Bound result 743562185218377077
+  Bound result 663714114
+  Bound result 519
+  Bound result 1
+  Bound result 1434
+  Bound result 1827
+  Bound result 1588
+  Bound result 6088514778278652143599
+  Bound result 9900000000000000113886
+  Bound result 6239
+  Bound result 2261
+  Bound result 1908562454564632574
+  Bound result 40
 [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 529   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 534   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 570   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 588   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 566   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 565   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 560   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 501   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1548580883601478649517
-  Bound result 4479867
-  Bound result 1
-  Bound result 275326166901063307525
-  Bound result 514264337593504336253
-  Bound result 216734224410546591882
+  Bound result 9900000000000000002654
+  Bound result 9900000000000000003340
+  Bound result 1921
+  Bound result 873
+  Bound result 3
+  Bound result 168352919750081
+  Bound result 27638585
+  Bound result 0
+  Bound result 97693615154362996930
+  Bound result 25164436771504
+  Bound result 0
   Bound result 0
-  Bound result 1874863407976662570135
-  Bound result 714458837924287871680
-  Bound result 9900000000000508542456
-  Bound result 9900000000000000000407
-  Bound result 8995
-  Bound result 7820
-  Bound result 4602884991323874048850
-  Bound result 9900027881197501094996
-  Bound result 377
-  Bound result 31
-  Bound result 144
-  Bound result 73213732616918306116
-  Bound result 9900000000000000005621
-  Bound result 9991855308653467102964
-  Bound result 3463
-  Bound result 687
-  Bound result 775
-  Bound result 1348
+  Bound result 9900000000000001854610
+  Bound result 9952969263309445683242
+  Bound result 10
+  Bound result 485
+  Bound result 6166365383668416141516
+  Bound result 8932344197216803664195
+  Bound result 9878
+  Bound result 3814
+  Bound result 283
+  Bound result 3996
+  Bound result 1446
+  Bound result 4
+  Bound result 261429761832
+  Bound result 74
+  Bound result 357482027
 [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 580   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 533   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 527   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 599   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 532   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 526   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 590   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 537   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 523   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 519   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 622   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1736814038240406134510
-  Bound result 1058
-  Bound result 718
-  Bound result 6554
-  Bound result 113
-  Bound result 255
-  Bound result 1481
-  Bound result 9449
-  Bound result 990
-  Bound result 943
-  Bound result 29737036263899241466
-  Bound result 1177839823627468095543
-  Bound result 3073559828434448285249
-  Bound result 4612
-  Bound result 2682
-  Bound result 12934
-  Bound result 9900000000029706865942
-  Bound result 9660994027430679475617
-  Bound result 3015
-  Bound result 96
-  Bound result 9900000000000000003047
-  Bound result 9900000000000000001172
-  Bound result 2335
-  Bound result 72
+  Bound result 8652
+  Bound result 1240
+  Bound result 1294955566520201
+  Bound result 1431176826918301668034
+  Bound result 9
+  Bound result 514264337593504336254
+  Bound result 0
+  Bound result 168
+  Bound result 3039
+  Bound result 240
+  Bound result 142
+  Bound result 8121
+  Bound result 5652
+  Bound result 523
+  Bound result 1916647990860038051180
+  Bound result 7056
+  Bound result 8298
+  Bound result 47
+  Bound result 2193
+  Bound result 495
+  Bound result 495
 [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 561   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 520   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 568   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 531   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 546   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 557   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 520   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 537   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 569   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 551   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1931
-  Bound result 815
-  Bound result 1
-  Bound result 68
-  Bound result 155444206180294169609
-  Bound result 283342707
-  Bound result 116977713357590587
-  Bound result 720
-  Bound result 9900000000126678020215
-  Bound result 100000000000000000003
-  Bound result 4558
-  Bound result 3417
-  Bound result 14255
-  Bound result 11
-  Bound result 1435
+  Bound result 6839
+  Bound result 3
+  Bound result 2
+  Bound result 9900005043220398239818
+  Bound result 9900000000000000000034
+  Bound result 6962
+  Bound result 137
+  Bound result 1050
+  Bound result 7300
+  Bound result 90
+  Bound result 6562
+  Bound result 4730
+  Bound result 9939
+  Bound result 8882
 [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 529   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 569   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 567   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 557   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 551   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 554   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 549   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 811
-  Bound result 582
-  Bound result 8397
-  Bound result 1399
-  Bound result 9351
-  Bound result 9900000000000027395763
-  Bound result 100000000000000000002
-  Bound result 3187
-  Bound result 9341
-  Bound result 2416
-  Bound result 791671132
-  Bound result 561
-  Bound result 6
-  Bound result 35449142038
-  Bound result 750100
-  Bound result 22
-  Bound result 2419
-  Bound result 9900000000000000000232
-  Bound result 9900000000004294967296
-  Bound result 2461
-  Bound result 2096
+  Bound result 9900000000000344526423
+  Bound result 9900000000000000004513
+  Bound result 746
+  Bound result 8764
+  Bound result 3856056067
+  Bound result 9900000000000000005055
+  Bound result 9900000000000000001854
+  Bound result 5185
+  Bound result 5549
+  Bound result 8001
+  Bound result 1795
+  Bound result 14325633530974656033946
+  Bound result 331434984580659861
+  Bound result 296
+  Bound result 537997120866
+  Bound result 18
+  Bound result 9900000000000452777888
+  Bound result 9900000000000000003575
+  Bound result 9849
+  Bound result 5632
+  Bound result 10213771662336123144852
 [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 547   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 562   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 523   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 562   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 508   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 545   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 543   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 579   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 573   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 616
-  Bound result 2165
-  Bound result 21
-  Bound result 3043
-  Bound result 359
-  Bound result 7393
-  Bound result 459
-  Bound result 2
-  Bound result 15349333446
-  Bound result 19
-  Bound result 2
-  Bound result 72120
-  Bound result 45
-  Bound result 1
-  Bound result 206113159719234512
-  Bound result 631894822407
-  Bound result 30
-  Bound result 1740
-  Bound result 9900000000000000001675
-  Bound result 7998996683314043846436
-  Bound result 1041
-  Bound result 3450
+  Bound result 9900000000000000000824
+  Bound result 9900000000000613063845
+  Bound result 417
+  Bound result 4893
+  Bound result 6699
+  Bound result 2348707489717669982469
+  Bound result 9900021373682299873086
+  Bound result 8958
+  Bound result 9999
+  Bound result 9900000000041642268223
+  Bound result 100000000000000000000
+  Bound result 6241
+  Bound result 10
+  Bound result 31147600888132
+  Bound result 210968819
+  Bound result 6002
+  Bound result 5
+  Bound result 15775181346105165161912
+  Bound result 826984041511484
+  Bound result 811
+  Bound result 9900000000003689055019
+  Bound result 9900000000003796991296
+  Bound result 566
+  Bound result 1004
+  Bound result 1587
+  Bound result 9900000000000000005690
+  Bound result 9900000000000000006853
+  Bound result 23
+  Bound result 9888
+  Bound result 10285
+  Bound result 10312
 [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 497   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 603   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 535   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 487   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 565   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 561   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 565   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 557   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 604   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 510   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1485
-  Bound result 21
-  Bound result 979
-  Bound result 2277
-  Bound result 9900000000098948848864
-  Bound result 100000000000000000001
-  Bound result 7310
-  Bound result 74
-  Bound result 9481167181146085100979
-  Bound result 2074
-  Bound result 1320
-  Bound result 2004
-  Bound result 36148380071
-  Bound result 2719922
-  Bound result 1908
-  Bound result 247671704908
-  Bound result 3793250972595378243
-  Bound result 688
-  Bound result 2
-  Bound result 100000000000000000000
-  Bound result 6914264337593535947491
-  Bound result 29
-  Bound result 1661
+  Bound result 1889
+  Bound result 9900000000000000000165
+  Bound result 100000000000000000002
+  Bound result 166
+  Bound result 5775
+  Bound result 126001497455170971036
+  Bound result 37321
+  Bound result 9900000000000000003931
+  Bound result 5083937887562345968612
+  Bound result 8924
+  Bound result 6112
+  Bound result 1894
+  Bound result 1307031099
+  Bound result 9900000000000000008144
+  Bound result 9900000000001263864545
+  Bound result 1122
+  Bound result 1576
+  Bound result 2991
+  Bound result 9900000000000000002103
+  Bound result 9900000000000000009704
+  Bound result 7402
+  Bound result 3642
+  Bound result 9924
 [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 523   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 512   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 531   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 580   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 520   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 554   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 580   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 532   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 554   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 563   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 532   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 10606647823578181610
-  Bound result 9900000000000000178684
-  Bound result 100000000000000000000
-  Bound result 9998
-  Bound result 9300
-  Bound result 9388
-  Bound result 2544
-  Bound result 0
-  Bound result 9900000002147620972234
-  Bound result 9900000000000000000417
-  Bound result 6241
-  Bound result 1309
-  Bound result 542
-  Bound result 18870501204219449971006
-  Bound result 225569
+  Bound result 514264337593543950335
+  Bound result 434
   Bound result 3
+  Bound result 158071627093403
+  Bound result 20
+  Bound result 1684
+  Bound result 514264337593543950334
+  Bound result 1477
+  Bound result 9677629563385959
+  Bound result 71653997732301
+  Bound result 497
+  Bound result 45093940
+  Bound result 198506145256530980
+  Bound result 530
   Bound result 1
-  Bound result 3551326
-  Bound result 1352666287025906513
-  Bound result 9858
+  Bound result 8727
+  Bound result 523433401375661689601
-Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.42s (9.01s CPU time)
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.36s (8.73s CPU time)
-Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
+Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25208, ~: 12763)
+[PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
+[PASS] test_assertNotPaused_Success() (gas: 12516)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
+[PASS] test_isPaused_InitialState() (gas: 15595)
+[PASS] test_pause() (gas: 39592)
+[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
+[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
+[PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
+[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
+[PASS] test_storageHash() (gas: 3414)
+[PASS] test_unpause() (gas: 31115)
+[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40713, ~: 39155)
+[PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
+[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
+[PASS] test_whenNotPaused_Success() (gas: 38930)
+[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
+[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
+Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.53s (182.11ms CPU time)
+Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
 [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 543   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 574   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 519   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 538   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 589   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 542   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 563   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 530   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 547   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 522   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 523   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 557   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 100328
-  Bound result 1663988164610123696057
-  Bound result 475785
-  Bound result 1
-  Bound result 319
-  Bound result 784
+  Bound result 46647
+  Bound result 360459320890115868480
+  Bound result 9900029671688840852750
+  Bound result 5583
+  Bound result 18
+  Bound result 9900757531943769654143
+  Bound result 9900001939643901365667
+  Bound result 344
+  Bound result 465
+  Bound result 10645
+  Bound result 11191600658700526724719
+  Bound result 86580543531556
+  Bound result 9900757531943769654143
+  Bound result 1618733760
+  Bound result 4147918859299493663445
+  Bound result 1253786026000873936947
   Bound result 0
-  Bound result 392173355372290913730
-  Bound result 441
-  Bound result 537174172434044694112
-  Bound result 6282
-  Bound result 678
-  Bound result 9456905736582705805
-  Bound result 13591879461
-  Bound result 1115511093974316443714
-  Bound result 489
-  Bound result 9900007096987149084627
-  Bound result 9900000000001032493803
-  Bound result 497
-  Bound result 30
-  Bound result 7431
-  Bound result 3482
-  Bound result 63
-  Bound result 14033297352986617913003
-  Bound result 77326629676205
+  Bound result 7986
+  Bound result 1763627
+  Bound result 18206401802793762
+  Bound result 0
+  Bound result 1066907510158752227348
+  Bound result 6914264337593535947490
+  Bound result 12
+  Bound result 4398
+  Bound result 7057
 [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 584   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 562   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 564   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 522   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 562   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 538   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 539   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 505   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 539   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 561   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 3573
-  Bound result 934805284
-  Bound result 344526421
+  Bound result 1006
+  Bound result 780
+  Bound result 2003375881112529310
+  Bound result 1819729935479965507365
+  Bound result 504
+  Bound result 3
   Bound result 1
-  Bound result 46020171
-  Bound result 514264337593543950332
-  Bound result 158610279475200
-  Bound result 1661571
-  Bound result 514264337593504336254
-  Bound result 0
-  Bound result 8463055308
-  Bound result 9
-  Bound result 9900000507845587545131
-  Bound result 824030058523604428037
-  Bound result 2716
-  Bound result 6241
-  Bound result 9900024795862163276820
-  Bound result 9920505445588318811298
-  Bound result 8247
-  Bound result 12
+  Bound result 900686989187468938738
 [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 528   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 548   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 578   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 593   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 533   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 536   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 560   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 546   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 547   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 497   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 645482110905166912324
-  Bound result 1831908794040158325432
-  Bound result 401472089959490854185
-  Bound result 5
-  Bound result 0
-  Bound result 927356862852934536829
-  Bound result 815
-  Bound result 329
-  Bound result 225725077
-  Bound result 514264337593504336253
-  Bound result 0
-  Bound result 3976321243
-  Bound result 3973
-  Bound result 0
-  Bound result 3
-  Bound result 9900000000000000007740
-  Bound result 9900000000000000000025
-  Bound result 3955
-  Bound result 578
-  Bound result 4866
-  Bound result 9904316375016999611120
-  Bound result 1972430923601754067877
+  Bound result 9900000000000000002908
+  Bound result 9900000000000000010948
+  Bound result 8795
+  Bound result 8801
+  Bound result 9900000000000000000223
+  Bound result 9900000000000000001586
+  Bound result 6051
+  Bound result 7151
+  Bound result 7063
+  Bound result 635
+  Bound result 1
+  Bound result 126513849
   Bound result 10
-  Bound result 6001
+  Bound result 7796
+  Bound result 5856
+  Bound result 1982
+  Bound result 4513327282563986734
+  Bound result 10645
+  Bound result 10469
+  Bound result 140
+  Bound result 266
+  Bound result 6361
+  Bound result 15871563965
 [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 528   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 560   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 575   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 548   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 564   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 573   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 583   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 560   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 521   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 518   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 537   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 44200218074
-  Bound result 9900000000045495692240
-  Bound result 9900000006284542095551
-  Bound result 6241
-  Bound result 4341
-  Bound result 19700965608594406092633
-  Bound result 2950134782757049742087
-  Bound result 1
-  Bound result 2233625730
-  Bound result 5320756347662
-  Bound result 12834414562989669087410
-  Bound result 8204
+  Bound result 9900001121344581979789
+  Bound result 9900000000020123444211
+  Bound result 62
+  Bound result 13
+  Bound result 2130906141702938992
+  Bound result 3
+  Bound result 1304
+  Bound result 18846437335942910876264
+  Bound result 8307
+  Bound result 731
   Bound result 0
-  Bound result 9900000000000001976518
-  Bound result 4561742027891098280905
-  Bound result 147
-  Bound result 6241
-  Bound result 2590
-  Bound result 452777887
-  Bound result 1
-  Bound result 1
-  Bound result 3362395015160
-  Bound result 887609337669933140682
-  Bound result 1
-  Bound result 320048802512520584725
-  Bound result 9900027880653097152688
-  Bound result 9900016822727333249033
-  Bound result 8996
-  Bound result 6239
+  Bound result 9900000051573452485596
+  Bound result 9900411334092934843586
+  Bound result 3656
+  Bound result 8524
+  Bound result 725
+  Bound result 8077207562
+  Bound result 10178
+  Bound result 9103576753121436200016
+  Bound result 9905709892656256682139
+  Bound result 1313
+  Bound result 3891
+  Bound result 273724534291008394700
 [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 570   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 570   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 559   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 537   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 526   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 567   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 551   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 551   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 496   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 539   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 591   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1340
-  Bound result 1572
-  Bound result 1971
-  Bound result 4
-  Bound result 9900000000000000000173
-  Bound result 9900000000000000000486
-  Bound result 6211
-  Bound result 5574
-  Bound result 1496637379279141786121
-  Bound result 4390
-  Bound result 4202047188
-  Bound result 8679
-  Bound result 4376
+  Bound result 1451642670479447367823
+  Bound result 160
+  Bound result 1676
+  Bound result 183813924518321735816
+  Bound result 9900000000000000006891
+  Bound result 55
+  Bound result 9996
+  Bound result 642
+  Bound result 346306110787391611985
+  Bound result 2012965625220
+  Bound result 6493756330965100506
+  Bound result 518914804
   Bound result 1
+  Bound result 5
 [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 501   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 561   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 533   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 566   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 561   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 563   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 556   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 526   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 535   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 562   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 570   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 518   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 7082
-  Bound result 186099735756211201328
+  Bound result 1097
+  Bound result 10358
+  Bound result 3644407703
+  Bound result 75
+  Bound result 24126
+  Bound result 31960593
+  Bound result 9900000000000000000022
+  Bound result 7234607919185110061679
+  Bound result 6702
+  Bound result 1687
+  Bound result 11969483808328121145598
+  Bound result 6914264337593363886342
+  Bound result 43468756631303973
+  Bound result 363
+  Bound result 79
+  Bound result 12491728045948010454678
+  Bound result 526
+  Bound result 8653
+  Bound result 9900000000003711257500
+  Bound result 9900000003699969945273
+  Bound result 2501
+  Bound result 2374
   Bound result 1
-  Bound result 2130107514633010
-  Bound result 3902
-  Bound result 1246
-  Bound result 514264337593543950333
-  Bound result 3021
-  Bound result 45534840732951
-  Bound result 6914264337593535947490
-  Bound result 9900000046358333908879
-  Bound result 4034
-  Bound result 6817
-  Bound result 16
-  Bound result 6127
-  Bound result 9900000000000000000334
-  Bound result 6914264337593535947490
-  Bound result 1030
-  Bound result 2906
-  Bound result 7029
 [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 555   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 524   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 523   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 552   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 573   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 588   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 556   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 528   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 571   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 522   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 9900000000000026403862
-  Bound result 177610587240003021062
-  Bound result 3016
-  Bound result 7503
-  Bound result 9900000000000000006853
-  Bound result 9900000000000000009378
-  Bound result 3350
-  Bound result 6028
-  Bound result 10220
-  Bound result 6509
-  Bound result 8911
-  Bound result 780
-  Bound result 4375
-  Bound result 4581
-  Bound result 649010003639538861676
-  Bound result 100000000000000000003
-  Bound result 257
-  Bound result 6006
-  Bound result 712
-  Bound result 37287
-  Bound result 5186
-  Bound result 222
-  Bound result 2
-  Bound result 1966
-  Bound result 398
-  Bound result 2408
+  Bound result 8361798740
+  Bound result 1339178633527364017425
+  Bound result 1
+  Bound result 3737
+  Bound result 9911668819574802234833
+  Bound result 9900000000000022892731
+  Bound result 6771
+  Bound result 7169
+  Bound result 4512
+  Bound result 15695808985538265366831
+  Bound result 2498146231229311554693
+  Bound result 394325683086357774966
+  Bound result 4283
+  Bound result 9900000000000000003194
+  Bound result 9900000000003856056066
+  Bound result 6242
+  Bound result 6093
+  Bound result 8484
+  Bound result 1
+  Bound result 4892
 [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 511   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 510   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 581   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 598   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 540   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 577   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 557   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 505   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 567   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 539   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 513   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 3930
-  Bound result 34006092189551
-  Bound result 1
-  Bound result 481
-  Bound result 719607800208086776264
-  Bound result 12573549
+  Bound result 33960
   Bound result 1
-  Bound result 36137
-  Bound result 100000000000000000000
-  Bound result 9900000008575257226795
-  Bound result 38
-  Bound result 8644
-  Bound result 7012358804670667576069
-  Bound result 9925571929403418548527
-  Bound result 214
-  Bound result 9888
-  Bound result 3868681460500477848343
-  Bound result 5405615708763147333619
-  Bound result 4126
-  Bound result 672
+  Bound result 0
+  Bound result 9900000025754975164923
+  Bound result 5356323746120361473672
+  Bound result 1028
+  Bound result 4496
+  Bound result 9900294965006506533355
+  Bound result 9900000003247617241918
+  Bound result 6241
+  Bound result 9996
+  Bound result 82
+  Bound result 9900000000000000007261
+  Bound result 9900000000000000006162
+  Bound result 4896
+  Bound result 2138
+  Bound result 3740
+  Bound result 3222002978
+  Bound result 7040
+  Bound result 517471313600096
+  Bound result 9660
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.53s (9.63s CPU time)
-Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.74s (10.31s CPU time)
+Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
+[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
+[PASS] test_getAmountBeforeFee_Default() (gas: 47637)
+[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47518, ~: 48966)
+[PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
+[PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
+[PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
+[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
+[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
+[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
+[PASS] test_getFee_BoundaryConditions() (gas: 75442)
+[PASS] test_getFee_Default() (gas: 43108)
+[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45719, ~: 47017)
+[PASS] test_getFee_Rounding() (gas: 45449)
+[PASS] test_getFee_Specific() (gas: 66985)
+[PASS] test_getFee_SpecificDisabled() (gas: 66943)
+[PASS] test_setDefaultFeeBps() (gas: 42199)
+[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34963, ~: 42268)
+[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
+[PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
+[PASS] test_setFeeBps() (gas: 77237)
+Logs:
+  Bound result 500
-Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
-[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
-[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
-[PASS] test_assertNotPaused_Success() (gas: 14934)
-[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
-[PASS] test_defaultPaused_InitialState() (gas: 15571)
-[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
-[PASS] test_isPaused_Default() (gas: 44698)
-[PASS] test_isPaused_InitialState() (gas: 22070)
-[PASS] test_isPaused_MultipleIDs() (gas: 73915)
-[PASS] test_isPaused_Override() (gas: 69381)
-[PASS] test_isPaused_Specific() (gas: 46709)
-[PASS] test_isPaused_SpecificDisabled() (gas: 51615)
-[PASS] test_pauseConfig() (gas: 45626)
-[PASS] test_setDefaultPaused() (gas: 39667)
-[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28007, ~: 16332)
-[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
-[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
-[PASS] test_setPaused() (gas: 43060)
-[PASS] test_setPaused_EmptyArray() (gas: 10900)
-[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38019, ~: 43373)
-[PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
-[PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
-[PASS] test_setPaused_Success_Toggle() (gas: 51442)
-[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58208, ~: 46989)
+[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68242, ~: 77570)
+[PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
+[PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
+[PASS] test_storageHash() (gas: 3436)
+Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.51s (386.78ms CPU time)
+Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
+[PASS] test_SwitchModes_PreservesState() (gas: 195548)
+[PASS] test_constructor_InitialMode() (gas: 15778)
+[PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
+[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
+[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
+[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
+[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
+[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
+[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
+[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
+[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
+[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
+[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
+[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
+[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
+[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
+[PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
+[PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
+[PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
+[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
+[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
+[PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
+[PASS] test_setMode_Blacklist() (gas: 42605)
+[PASS] test_setMode_MultipleChanges() (gas: 43274)
+[PASS] test_setMode_RevertSameMode() (gas: 51355)
+[PASS] test_setMode_Whitelist() (gas: 42714)
+[PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
+[PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
+[PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
+[PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
+[PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
 [PASS] test_storageHash() (gas: 3480)
-[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
-[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
-[PASS] test_whenNotPaused_Success() (gas: 41297)
-[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
-[PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
-[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
-Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 12.13s (599.88ms CPU time)
+Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 10.51s (511.18ms CPU time)
+Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
+[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
+[PASS] test_getAmountBeforeFee_Default() (gas: 45067)
+[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44977, ~: 46317)
+[PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
+[PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
+[PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
+[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
+[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
+[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
+[PASS] test_getFee_BoundaryConditions() (gas: 71791)
+[PASS] test_getFee_Default() (gas: 40577)
+[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43174, ~: 44486)
+[PASS] test_getFee_Rounding() (gas: 42835)
+[PASS] test_getFee_Specific() (gas: 63968)
+[PASS] test_getFee_SpecificDisabled() (gas: 63920)
+[PASS] test_setDefaultFeeBps() (gas: 39576)
+[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32512, ~: 39667)
+[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
+[PASS] test_setFeeBps() (gas: 73871)
+Logs:
+  Bound result 500
+[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65712, ~: 74224)
+[PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
+[PASS] test_storageHash() (gas: 3426)
+Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.51s (405.06ms CPU time)
 Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
 [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
 [PASS] test_address_paginate_EmptySet() (gas: 277856)
-[PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 756737, ~: 166984)
+[PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 776769, ~: 257260)
 [PASS] test_address_paginate_LargeSet() (gas: 465360224)
 [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
 [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1274,12 +1251,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
 [PASS] test_address_paginate_OffsetZero() (gas: 45775)
 [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
 [PASS] test_address_paginate_SingleElement() (gas: 344858)
-[PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11167123, ~: 10448372)
+[PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11157798, ~: 10385085)
 [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
 [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
 [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
 [PASS] test_uint_paginate_EmptySet() (gas: 266762)
-[PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 804253, ~: 311256)
+[PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 722726, ~: 106989)
 [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
 [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
 [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1292,10 +1269,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
 [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
 [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
 [PASS] test_uint_paginate_SingleElement() (gas: 333617)
-[PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11123793, ~: 10359874)
+[PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178638, ~: 10460962)
 [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
 [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
-Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.13s (28.65s CPU time)
+Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.51s (24.97s CPU time)
-Ran 17 test suites in 12.15s (34.26s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
-⏳ forge test: 26.799s
+Ran 17 test suites in 10.54s (50.98s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
+⏳ forge test: 23.561s