npm - @layerzerolabs/utils-upgradeable-evm-contracts - Versions diffs - 1.2.9 → 1.2.11 - Mend

@layerzerolabs/utils-upgradeable-evm-contracts 1.2.9 → 1.2.11

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 +765 -734
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,100 @@
 ✅ forge-1.3.6-hardhat-2.26.3
 🔧 forge version: 1.3.6
-📦 Using scoped workspace: /tmp/lz-scoped-workspace-UbGqPS
+📦 Using scoped workspace: /tmp/lz-scoped-workspace-LyBP5l
 📦 Copied 8 workspace package source(s)
 📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
-(node:251633) [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:87961) [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-UbGqPS:/workspace
+  -v /tmp/lz-scoped-workspace-LyBP5l:/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)
+Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+$ docker pull  438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
+86ec798129ac: Pulling fs layer
+eef7c391911c: Pulling fs layer
+cc2ecf4065b7: Pulling fs layer
+5760fdd70374: Pulling fs layer
+c70db14240a1: Pulling fs layer
+0cb2c6965bde: Pulling fs layer
+885bca26f927: Pulling fs layer
+86ec798129ac: Waiting
+8e167e77288f: Pulling fs layer
+45d43cc973ba: Pulling fs layer
+eef7c391911c: Waiting
+44c09156221f: Pulling fs layer
+f2fb700979ad: Pulling fs layer
+c70db14240a1: Waiting
+2a1ced882ba9: Pulling fs layer
+597168d5c38e: Pulling fs layer
+e431adaf232f: Pulling fs layer
+cc2ecf4065b7: Waiting
+5760fdd70374: Waiting
+36e15e3f2788: Pulling fs layer
+8e167e77288f: Waiting
+0cb2c6965bde: Waiting
+885bca26f927: Waiting
+45d43cc973ba: Waiting
+44c09156221f: Waiting
+e431adaf232f: Waiting
+2a1ced882ba9: Waiting
+36e15e3f2788: Waiting
+eef7c391911c: Download complete
+86ec798129ac: Verifying Checksum
+86ec798129ac: Download complete
+c70db14240a1: Download complete
+5760fdd70374: Verifying Checksum
+5760fdd70374: Download complete
+cc2ecf4065b7: Verifying Checksum
+cc2ecf4065b7: Download complete
+8e167e77288f: Verifying Checksum
+8e167e77288f: Download complete
+86ec798129ac: Pull complete
+45d43cc973ba: Verifying Checksum
+45d43cc973ba: Download complete
+eef7c391911c: Pull complete
+44c09156221f: Verifying Checksum
+44c09156221f: Download complete
+f2fb700979ad: Verifying Checksum
+f2fb700979ad: Download complete
+0cb2c6965bde: Verifying Checksum
+0cb2c6965bde: Download complete
+cc2ecf4065b7: Pull complete
+597168d5c38e: Download complete
+5760fdd70374: Pull complete
+c70db14240a1: Pull complete
+2a1ced882ba9: Verifying Checksum
+2a1ced882ba9: Download complete
+36e15e3f2788: Verifying Checksum
+36e15e3f2788: Download complete
+885bca26f927: Verifying Checksum
+885bca26f927: Download complete
+0cb2c6965bde: Pull complete
+e431adaf232f: Verifying Checksum
+e431adaf232f: Download complete
+885bca26f927: Pull complete
+8e167e77288f: Pull complete
+45d43cc973ba: Pull complete
+44c09156221f: Pull complete
+f2fb700979ad: Pull complete
+2a1ced882ba9: Pull complete
+597168d5c38e: Pull complete
+e431adaf232f: Pull complete
+36e15e3f2788: Pull complete
+Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
+Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
 👤 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-UbGqPS:/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-LyBP5l:/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 8.41s
+Solc 0.8.22 finished in 12.66s
 Compiler run successful with warnings:
 Warning (2018): Function state mutability can be restricted to view
   --> test/EnumerableSetPagination.t.sol:91:5:
@@ -143,6 +220,49 @@ Warning (2018): Function state mutability can be restricted to view
     |     ^ (Relevant source part starts here and spans across multiple lines).
+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: 19814)
+[PASS] test_checkpointRateLimits_Single() (gas: 88573)
+[PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
+[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
+[PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
+[PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
+[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
+[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
+[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
+[PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
+[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
+[PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
+[PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
+[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
+[PASS] test_inflow_GloballyDisabled() (gas: 54520)
+[PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
+[PASS] test_initial_state_closed() (gas: 2770122)
+[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
+[PASS] test_outflow_GloballyDisabled() (gas: 54496)
+[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
+[PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
+[PASS] test_setRateLimitAddressExemptions() (gas: 62304)
+[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
+[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: 21277)
+[PASS] test_setRateLimitConfigs_Single() (gas: 79162)
+[PASS] test_setRateLimitGlobalConfig() (gas: 52231)
+[PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19455)
+[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
+[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 12.70ms (9.28ms CPU time)
 Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
 [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
 [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
@@ -179,101 +299,46 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
 [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 18.83ms (17.07ms CPU time)
+Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.10ms (23.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_Single() (gas: 88573)
-[PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
-[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
-[PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
-[PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
-[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
-[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
-[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
-[PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
-[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
-[PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
-[PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
-[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
-[PASS] test_inflow_GloballyDisabled() (gas: 54520)
-[PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
-[PASS] test_initial_state_closed() (gas: 2770122)
-[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
-[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
-[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
-[PASS] test_outflow_GloballyDisabled() (gas: 54496)
-[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
-[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_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
-[PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
-[PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21285)
-[PASS] test_setRateLimitConfigs_Single() (gas: 79162)
-[PASS] test_setRateLimitGlobalConfig() (gas: 52231)
-[PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19463)
-[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
-[PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20566)
-[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 17.16ms (15.05ms CPU time)
+Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
+[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 51.99ms (51.44ms 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 59.74ms (59.35ms CPU time)
+Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 53.42ms (52.46ms 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, μ: 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 31.11ms (30.97ms CPU time)
-Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
-[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26202, ~: 12786)
-[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, μ: 31275, ~: 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)
+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, μ: 28158, ~: 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: 35177)
-[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41809, ~: 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 164.53ms (249.79ms CPU time)
+[PASS] test_unpause() (gas: 31115)
+[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40782, ~: 42291)
+[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 76.33ms (176.49ms CPU time)
 Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
 [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -290,16 +355,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
 [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
 [PASS] test_pauseConfig() (gas: 45626)
 [PASS] test_setDefaultPaused() (gas: 39667)
-[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28125, ~: 28125)
+[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 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, μ: 38875, ~: 43373)
+[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38636, ~: 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, μ: 58140, ~: 46989)
+[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57710, ~: 46989)
 [PASS] test_storageHash() (gas: 3480)
 [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
 [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -307,7 +372,87 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
 [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 172.22ms (319.77ms CPU time)
+Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.39ms (428.24ms 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, μ: 30636, ~: 30636)
+[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, μ: 43105, ~: 48533)
+[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224797, ~: 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, μ: 62694, ~: 73465)
+[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 378.62ms (775.67ms CPU time)
+Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27588, ~: 41090)
+[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, μ: 30401, ~: 18756)
+[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, μ: 41886, ~: 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 1.02s (399.47ms CPU time)
 Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
 [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -319,19 +464,19 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
 [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_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 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_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: 23329)
+[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)
@@ -340,14 +485,14 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
 [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_setWhitelisted_Revert_Unauthorized() (gas: 23066)
 [PASS] test_storageHash() (gas: 3480)
-Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 470.14ms (335.18ms CPU time)
+Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.21s (477.48ms 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, μ: 45248, ~: 46317)
+[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44973, ~: 46317)
 [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
 [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
 [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -356,118 +501,21 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
 [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, μ: 43405, ~: 44486)
+[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43183, ~: 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, μ: 32171, ~: 39667)
+[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32734, ~: 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, μ: 65759, ~: 74224)
+[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65042, ~: 74224)
 [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
 [PASS] test_storageHash() (gas: 3426)
-Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 686.32ms (347.42ms 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, μ: 47544, ~: 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, μ: 45607, ~: 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, μ: 34578, ~: 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, μ: 68586, ~: 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 728.06ms (509.91ms 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, μ: 24055, ~: 24055)
-[PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
-[PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
-[PASS] test_storageHash() (gas: 3315)
-Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 901.29ms (85.84ms CPU time)
-Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
-[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25053, ~: 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, μ: 27874, ~: 16219)
-[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, μ: 40439, ~: 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 1.00s (221.73ms CPU time)
-Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
-[PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
-[PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
-[PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
-[PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
-[PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
-[PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
-[PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
-[PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
-[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_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 1.06s (496.77ms CPU time)
+Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.65s (533.10ms CPU time)
 Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
 [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -475,367 +523,379 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 533   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 565   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 589   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 524   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 532   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 539   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 569   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 546   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 526   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 249401334
-  Bound result 9900000967009981754853
-  Bound result 135331867862359706384
-  Bound result 5091
-  Bound result 248
-  Bound result 4604
-  Bound result 2
-  Bound result 1
+  Bound result 6217
+  Bound result 145
+  Bound result 8402
+  Bound result 0
+  Bound result 327
   Bound result 1
-  Bound result 830885669
-  Bound result 6236
-  Bound result 2179643790316
-  Bound result 1025
-  Bound result 49466527
-  Bound result 9900000000295940043683
-  Bound result 100000000000000000002
-  Bound result 2901
-  Bound result 12
-  Bound result 657
+  Bound result 573
+  Bound result 334497530723783784271
+  Bound result 1363803916526838015616
+  Bound result 10253840027524121828
+  Bound result 671
+  Bound result 3
+  Bound result 9900000000000000002498
+  Bound result 9900000000000000000714
+  Bound result 7196
+  Bound result 3739
+  Bound result 6914264337587829919716
+  Bound result 5023
+  Bound result 51269343508923
+  Bound result 19338
+  Bound result 271
 [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 562   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 579   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 557   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 512   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 551   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 578   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 534   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 508   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 575   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 564   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 5123
-  Bound result 8923
-  Bound result 4730
+  Bound result 9900000000000107477465
+  Bound result 9900000000000000004172
+  Bound result 5235
+  Bound result 9327
+  Bound result 9900000000000000001700
+  Bound result 9900000000000000002861
+  Bound result 441
+  Bound result 6835
+  Bound result 9900000000000000000999
+  Bound result 9900000000000000001089
+  Bound result 5628
+  Bound result 539
+  Bound result 287009066585010220927
+  Bound result 32440872
+  Bound result 0
+  Bound result 3972
+  Bound result 538
+  Bound result 7601
   Bound result 1
-  Bound result 3844438871423435
-  Bound result 2
-  Bound result 104
-  Bound result 9900000000000033540519
-  Bound result 9900000000000000005092
-  Bound result 7533
-  Bound result 1219
-  Bound result 9900000000003788300596
-  Bound result 9900000000000000000573
-  Bound result 3864
-  Bound result 156
-  Bound result 266
-  Bound result 1303
-  Bound result 470760
-  Bound result 4
-  Bound result 14
-  Bound result 4
-  Bound result 152244
-  Bound result 73
+  Bound result 9900000000001688394122
+  Bound result 9900000000001936680693
+  Bound result 10
+  Bound result 1218
+  Bound result 9900000000000000031041
+  Bound result 4585828654358088839444
+  Bound result 429
+  Bound result 4613
 [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 563   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 534   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 540   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 536   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 518   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 559   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 585   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 541   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 2139
-  Bound result 8824734014500567170091
-  Bound result 9900000000005170027665
-  Bound result 10
-  Bound result 197
-  Bound result 3013121951
-  Bound result 8049
-  Bound result 100000000000000000000
-  Bound result 9900781438957450629900
-  Bound result 10
-  Bound result 110
-  Bound result 27
-  Bound result 850
-  Bound result 9900000000067236026615
-  Bound result 8647130675055789711591
-  Bound result 26
-  Bound result 9573
-  Bound result 349
+  Bound result 5551
+  Bound result 128746520846
+  Bound result 73077478934
+  Bound result 1
+  Bound result 1341
+  Bound result 1456
+  Bound result 1343483354306172571427
+  Bound result 9900000000000037121127
+  Bound result 9900264811929320549644
+  Bound result 3413
+  Bound result 5338
+  Bound result 7670
+  Bound result 2230292476
+  Bound result 1570
+  Bound result 1816
+  Bound result 12
+  Bound result 1340474
+  Bound result 50485448181145635825
+  Bound result 1
+  Bound result 7446
 [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 559   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 537   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 520   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 567   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 550   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 579   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 524   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 533   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 573   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 524   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 24
-  Bound result 2
-  Bound result 9900000000000000003319
-  Bound result 9900000000000000003954
-  Bound result 682
-  Bound result 6744
-  Bound result 8703317570394093476212
-  Bound result 118661522788
-  Bound result 2
-  Bound result 8363
-  Bound result 9904105280027130256543
-  Bound result 9907716075315507157728
-  Bound result 3957
-  Bound result 6894
-  Bound result 18919249064488153895393
-  Bound result 23
-  Bound result 9900000000000000004896
-  Bound result 9900000000000000009552
-  Bound result 2072
-  Bound result 4237
+  Bound result 3
+  Bound result 100796297063226421697
+  Bound result 1
+  Bound result 9900000000000625761770
+  Bound result 9900000000000000004834
+  Bound result 6347
+  Bound result 5462
+  Bound result 2562799991870968
+  Bound result 1
+  Bound result 4367574830923820799627
+  Bound result 0
+  Bound result 1
+  Bound result 1661
+  Bound result 57
+  Bound result 1
+  Bound result 5171276080236251
+  Bound result 203819629
+  Bound result 1
+  Bound result 439
+  Bound result 42891005
+  Bound result 0
+  Bound result 60
+  Bound result 4149
+  Bound result 16552986500123039289717
+  Bound result 0
 [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 543   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 612   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 529   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 506   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 531   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 569   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 526   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 558   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 331
-  Bound result 9900000000000000010077
-  Bound result 9900000000000000009176
-  Bound result 437
-  Bound result 681
-  Bound result 1
-  Bound result 59
-  Bound result 204
-  Bound result 9900000000000000001521
-  Bound result 9900000000000000002236
-  Bound result 416
-  Bound result 1024
-  Bound result 6980
-  Bound result 5608
-  Bound result 9900000000002670455648
-  Bound result 9995669728503188202574
-  Bound result 13
-  Bound result 7336
-  Bound result 6397
-  Bound result 378
-  Bound result 40
-  Bound result 11829
+  Bound result 6641467028271451800203
+  Bound result 9905039423860344220071
+  Bound result 3628
+  Bound result 9996
+  Bound result 16
+  Bound result 9900000000000001446844
+  Bound result 3661232766815772140603
+  Bound result 9949
+  Bound result 6241
+  Bound result 9900000000000000001015
+  Bound result 9900000000000000002330
+  Bound result 492
+  Bound result 766
+  Bound result 7
+  Bound result 2398769950328542430103
+  Bound result 6269193
+  Bound result 3856056065
+  Bound result 10038
+  Bound result 3901
+  Bound result 8851
 [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 534   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 521   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 550   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 514   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 545   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 569   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 585   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 581   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 536   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 534   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 703
-  Bound result 457455047
-  Bound result 239387
-  Bound result 140
-  Bound result 2519872883731242448268
-  Bound result 9900000000000000442526
-  Bound result 27
-  Bound result 6240
-  Bound result 9667
-  Bound result 9900000410049171399429
-  Bound result 9900000000000006967500
-  Bound result 5622
-  Bound result 3100
-  Bound result 33540518
-  Bound result 800627396
-  Bound result 425
-  Bound result 9900000002765127274623
-  Bound result 9900000000000199754392
-  Bound result 10
-  Bound result 3649
-  Bound result 9900000000000000918192
-  Bound result 6914264337593535947489
-  Bound result 5141
-  Bound result 10
-  Bound result 9900000000000000000007
-  Bound result 7345066543504128490412
-  Bound result 5498
-  Bound result 12
-  Bound result 100000000000000000000
-  Bound result 9900000000000000066416
-  Bound result 13
-  Bound result 4845
   Bound result 6914264337593535947488
-  Bound result 9198622265605461154065
-  Bound result 10
-  Bound result 395
-  Bound result 9900000000000000008460
-  Bound result 9900000000000000000853
-  Bound result 3686
-  Bound result 221
+  Bound result 100000000000000000000
+  Bound result 6242
+  Bound result 9996
+  Bound result 8885162886515083703497
+  Bound result 3695152416
+  Bound result 0
+  Bound result 2
+  Bound result 9900000000000000010284
+  Bound result 9900000000000000000517
+  Bound result 590
+  Bound result 1291
+  Bound result 942308
+  Bound result 30196575466447
+  Bound result 1
+  Bound result 1433898603789133518
+  Bound result 2189
+  Bound result 766
+  Bound result 1311270510412975
+  Bound result 0
+  Bound result 308
 [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 506   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 532   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 591   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 499   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 564   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 518   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 571   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 605   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 557   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 576   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1961229132548949
-  Bound result 9900000000000000000081
-  Bound result 9900000000000000000756
-  Bound result 2034
-  Bound result 5404
-  Bound result 9900000000000119774529
-  Bound result 1232538659258885977784
-  Bound result 11
-  Bound result 15
-  Bound result 4425838632303874730446
-  Bound result 12
-  Bound result 106722676
-  Bound result 0
-  Bound result 2293517444
-  Bound result 6720
+  Bound result 9900000000000000006078
+  Bound result 9900000000001263864543
+  Bound result 1349
+  Bound result 5348
+  Bound result 3819
+  Bound result 8149
+  Bound result 155
+  Bound result 9789
   Bound result 1
-  Bound result 1199
-  Bound result 6389
-  Bound result 625761769
-  Bound result 0
-  Bound result 29
-  Bound result 9900000000000000006349
-  Bound result 9900000000000000009844
-  Bound result 258
-  Bound result 733
+  Bound result 6874
+  Bound result 53881663
+  Bound result 49059
+  Bound result 3888
+  Bound result 6914264337544902664500
+  Bound result 951
+  Bound result 934
 [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 521   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 505   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 583   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 516   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 546   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 520   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 600   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 552   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 558   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 561   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 3157992578248926462
-  Bound result 4731
-  Bound result 3
-  Bound result 9900000000000000003483
-  Bound result 9900000000000000000418
-  Bound result 5632
-  Bound result 7551
-  Bound result 15699894110165045297865
-  Bound result 2179129468859501004481
-  Bound result 2642311176727772131649
-  Bound result 288
-  Bound result 9996
-  Bound result 1
-  Bound result 537
-  Bound result 7713648161366203881373
-  Bound result 9900296591568597210262
-  Bound result 1847
-  Bound result 1402
-  Bound result 9900000000000000005594
-  Bound result 9900000000000000000235
-  Bound result 532
-  Bound result 3094
-Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.04s (6.03s CPU time)
+  Bound result 1052
+  Bound result 1699915097630
+  Bound result 1809609504639539553973
+  Bound result 1314527689600155736
+  Bound result 28
+  Bound result 19
+  Bound result 6396
+  Bound result 1483
+  Bound result 2067408715435015872111
+  Bound result 9900000000000000098902
+  Bound result 16
+  Bound result 1008
+  Bound result 1005
+  Bound result 831
+  Bound result 4782588997790494
+  Bound result 9900000000011074433265
+  Bound result 100000000000000000001
+  Bound result 3531
+  Bound result 2118
+  Bound result 8132
+  Bound result 800627395
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.66s (10.02s 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, μ: 47716, ~: 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, μ: 45535, ~: 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, μ: 35435, ~: 42268)
+[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
+[PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
+[PASS] test_setFeeBps() (gas: 77237)
+Logs:
+  Bound result 500
+[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68458, ~: 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 1.73s (428.71ms CPU time)
 Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
 [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -843,404 +903,375 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 571   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 523   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 539   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 568   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 525   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 514   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 536   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 544   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 569   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 574   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 552   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 27
-  Bound result 9734
-  Bound result 714
-  Bound result 11
-  Bound result 4236
-  Bound result 6979
-  Bound result 105
-  Bound result 102
-  Bound result 9900003245595099148928
-  Bound result 9900000000000013133329
-  Bound result 27
-  Bound result 465
+  Bound result 3705889412816
+  Bound result 300
+  Bound result 13301085
+  Bound result 205575640828662096338
+  Bound result 245796848408628627166
+  Bound result 6101
+  Bound result 26
+  Bound result 5807
+  Bound result 26
+  Bound result 111
+  Bound result 1212
+  Bound result 16776782
+  Bound result 0
+  Bound result 10479054162049
+  Bound result 0
+  Bound result 1493
+  Bound result 2675
+  Bound result 2093
+  Bound result 368
 [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 591   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 527   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 556   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 554   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 536   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 583   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 548   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 575   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 531   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 538   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 65280
-  Bound result 9900000000000120126173
-  Bound result 9900000000000000001171
-  Bound result 2960
-  Bound result 4426
-  Bound result 270312519555443886110
-  Bound result 3807
-  Bound result 100000000000000000001
-  Bound result 9900000000000763600052
-  Bound result 7469
-  Bound result 411
-  Bound result 121462477567911657780
-  Bound result 9900000000000000000088
-  Bound result 10000
-  Bound result 7248
-  Bound result 1
-  Bound result 5094812242021750
-  Bound result 2103086232
-  Bound result 185140673550199688892
-  Bound result 23301205766463
-  Bound result 0
-  Bound result 9900000000012734545336
+  Bound result 9900000000000000009891
+  Bound result 9900000000000000001819
+  Bound result 545
+  Bound result 508
+  Bound result 5238207093688483408819
   Bound result 100000000000000000003
-  Bound result 815
-  Bound result 805
-  Bound result 56931251788476
-  Bound result 114264337590770964648
-  Bound result 1
-  Bound result 3695152416
+  Bound result 2639
+  Bound result 6558
+  Bound result 2945
+  Bound result 14193452550803284343
+  Bound result 464195773601796043
+  Bound result 10500
+  Bound result 802525242547
+  Bound result 137
+  Bound result 79105
+  Bound result 9900000096640739275398
+  Bound result 9900000000000358429874
+  Bound result 316
+  Bound result 489
+  Bound result 8924
+  Bound result 81
 [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 550   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 532   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 566   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 518   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 531   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 535   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 565   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 542   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 533   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 609   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 558   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 585   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 17285014442880500
-  Bound result 3964
-  Bound result 1958
-  Bound result 9388
-  Bound result 5881
-  Bound result 418
-  Bound result 9900000000000000001577
-  Bound result 9900000000000000003663
-  Bound result 4175
-  Bound result 5679
-  Bound result 100000000000000000002
-  Bound result 9900000000000000011643
-  Bound result 13
-  Bound result 7295
-  Bound result 12578
-  Bound result 4256
-  Bound result 1376
-  Bound result 9900000020740148075182
-  Bound result 9900000000000000002125
-  Bound result 6400
-  Bound result 848
+  Bound result 359460779786799174313
+  Bound result 6661761361131266467556
+  Bound result 218
+  Bound result 266
+  Bound result 2
+  Bound result 9213
+  Bound result 129
+  Bound result 9900000000379411867454
+  Bound result 4100168519963057415778
+  Bound result 651
+  Bound result 10
+  Bound result 407
+  Bound result 3856056066
+  Bound result 0
+  Bound result 1955
+  Bound result 1271164073815130
+  Bound result 385416002
+  Bound result 1
+  Bound result 7330
+  Bound result 9900000000002719481311
+  Bound result 6697854339302607069824
+  Bound result 615
+  Bound result 301
 [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 561   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 557   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 576   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 554   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 587   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 530   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 559   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 492   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 556   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 518   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 9900000000000000000926
-  Bound result 9953286136514201383853
-  Bound result 19
-  Bound result 11
-  Bound result 5806
-  Bound result 9900004343286786227703
-  Bound result 9900000000000000000235
-  Bound result 11
-  Bound result 9662
-  Bound result 3614
-  Bound result 6494
-  Bound result 7940
-  Bound result 9900000000000000006805
-  Bound result 9900000000000000004113
-  Bound result 908
-  Bound result 9471
+  Bound result 7761381
+  Bound result 1900636112487811209680
+  Bound result 5137
+  Bound result 1
+  Bound result 9900000000000000010398
+  Bound result 9900000000000000000137
+  Bound result 1030
+  Bound result 7902
+  Bound result 3
+  Bound result 1367382036005220683490
+  Bound result 62799733
+  Bound result 1
+  Bound result 9900000000000000000250
+  Bound result 9900000000000000008049
+  Bound result 553
+  Bound result 7885
+  Bound result 4116
+  Bound result 9900000000000000009851
+  Bound result 9900000000000000009736
+  Bound result 3996
+  Bound result 7624
+  Bound result 9900000007719607212233
+  Bound result 100000000000000000002
+  Bound result 424
+  Bound result 13
+  Bound result 453
+  Bound result 780
 [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 551   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 536   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 555   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 560   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 570   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 559   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 534   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 511   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 8031
-  Bound result 177453533256140836264
-  Bound result 2
+  Bound result 698402883142699256494
   Bound result 1
-  Bound result 9900000000000000000133
-  Bound result 9900000000000000010911
-  Bound result 6115
-  Bound result 881
-  Bound result 289
-  Bound result 15992557683573110829912
-  Bound result 1789660162463978503
-  Bound result 357094980
-  Bound result 1478
-  Bound result 0
-  Bound result 951749114430530716242
-  Bound result 525434489160389738734
-  Bound result 13
-  Bound result 11
+  Bound result 664
+  Bound result 12
   Bound result 1
-  Bound result 6
+  Bound result 290
+  Bound result 1976
+  Bound result 650945005910909914344
+  Bound result 664342333814183324530
+  Bound result 3
+  Bound result 9900000000000000001326
+  Bound result 9900000000000000007071
+  Bound result 5741
+  Bound result 752
+  Bound result 6563004161581751608524
 [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 575   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 488   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 521   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 527   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 580   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 537   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 537   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 540   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 559   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 514264337593504336252
-  Bound result 481052639417998575726
-  Bound result 1
-  Bound result 514264337593504336251
-  Bound result 373117577947864591893
-  Bound result 1
-  Bound result 1497
-  Bound result 2080
-  Bound result 0
-  Bound result 8194
-  Bound result 8244
-  Bound result 0
-  Bound result 411
-  Bound result 5223
-  Bound result 2957397981
-  Bound result 0
-  Bound result 17
-  Bound result 9900000000000000001326
-  Bound result 9900000000000000008302
-  Bound result 3027
-  Bound result 1545
-  Bound result 2664
-  Bound result 13851300968658145989971
-  Bound result 9900000000000000000561
-  Bound result 9900000000000008287629
-  Bound result 12
-  Bound result 6048
+  Bound result 9900000000000000004721
+  Bound result 9900000000000000003464
+  Bound result 6046
+  Bound result 9944
+  Bound result 322522876908
+  Bound result 7682144
+  Bound result 352
+  Bound result 16666191081172561784566
+  Bound result 6914264337565822098718
+  Bound result 8737
+  Bound result 9900002450189686404757
+  Bound result 9901987831695856671178
+  Bound result 5063
+  Bound result 1916
+  Bound result 14134913023711
+  Bound result 12888483068107
+  Bound result 3
+  Bound result 34352222350168952964
+  Bound result 16212053650930577783
 [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 528   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 521   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 551   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 490   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 550   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 601   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 537   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 555   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 572   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 541   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 529   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 568   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 254967
-  Bound result 6608878579253505647
+  Bound result 9900219041556389095777
+  Bound result 100000000000000000000
+  Bound result 28
+  Bound result 6909
+  Bound result 2304574767635451153
+  Bound result 14112896150388432
   Bound result 0
-  Bound result 1884
-  Bound result 7910
-  Bound result 4201
-  Bound result 8943
-  Bound result 555
-  Bound result 408
-  Bound result 784
-  Bound result 851
-  Bound result 46456375252667235
-  Bound result 508
-  Bound result 9900000000000000008591
-  Bound result 9900000000000350726091
-  Bound result 1201
-  Bound result 916
-  Bound result 336
-  Bound result 9827
-  Bound result 626
-  Bound result 528
-  Bound result 8418
-  Bound result 18873567282814835862184
-  Bound result 1077
-  Bound result 9900000016980404243728
-  Bound result 100000000000000000001
-  Bound result 12
-  Bound result 6689
+  Bound result 5152
+  Bound result 8183
+  Bound result 1
 [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 577   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 484   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 516   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 540   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 627   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 548   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 564   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 530   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 525   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1389
-  Bound result 9270579923892996857576
-  Bound result 9900000000000000011079
-  Bound result 7521
-  Bound result 7600
-  Bound result 5093313890
-  Bound result 13149595474
-  Bound result 371610
-  Bound result 984
-  Bound result 8809417495435341343876
-  Bound result 9806
-  Bound result 100000000000000000000
-  Bound result 6914264337593535947488
-  Bound result 3776
-  Bound result 1876
-  Bound result 1936
-  Bound result 43960581054121
-  Bound result 13633769491721782954832
-  Bound result 135
-  Bound result 1967
-  Bound result 5213
-  Bound result 1394
-  Bound result 7394
-Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.15s (6.56s CPU time)
+  Bound result 3
+  Bound result 810049336030723589793
+  Bound result 1
+  Bound result 1875809624070006700812
+  Bound result 4
+  Bound result 545
+  Bound result 493
+  Bound result 612
+  Bound result 1214
+  Bound result 5578
+  Bound result 5689
+  Bound result 635
+  Bound result 1796
+  Bound result 1
-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, μ: 44087, ~: 48696)
-[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223100, ~: 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, μ: 62591, ~: 73465)
-[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.15s (657.70ms CPU time)
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.76s (10.40s CPU time)
+Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
+[PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
+[PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
+[PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
+[PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
+[PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
+[PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
+[PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
+[PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
+[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: 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 1.76s (356.78ms 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, μ: 3388, ~: 3388)
+[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 11.62s (49.51ms CPU time)
 Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
 [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -1272,12 +1303,12 @@ 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 5.71s (406.94ms CPU time)
+Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.62s (492.83ms 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, μ: 819253, ~: 270308)
+[PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 768180, ~: 163648)
 [PASS] test_address_paginate_LargeSet() (gas: 465360224)
 [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
 [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1290,12 +1321,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, μ: 11145806, ~: 10355998)
+[PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11174279, ~: 10429988)
 [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, μ: 733362, ~: 171458)
+[PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 727436, ~: 116338)
 [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
 [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
 [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1308,10 +1339,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, μ: 11184806, ~: 10478726)
+[PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11121193, ~: 10359797)
 [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 5.73s (14.76s CPU time)
+Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.91s (28.37s CPU time)
-Ran 17 test suites in 5.75s (20.11s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
-⏳ forge test: 16.064s
+Ran 17 test suites in 11.93s (46.92s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
+⏳ forge test: 26.495s