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

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

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 (2) hide show

package/.turbo/turbo-test.log +725 -804
package/package.json +4 -4

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

@@ -4,100 +4,23 @@
 ✅ forge-1.3.6-hardhat-2.26.3
 🔧 forge version: 1.3.6
-📦 Using scoped workspace: /tmp/lz-scoped-workspace-LyBP5l
+📦 Using scoped workspace: /tmp/lz-scoped-workspace-1ezqv4
 📦 Copied 8 workspace package source(s)
 📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
-(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.
+(node:219110) [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-LyBP5l:/workspace
+  -v /tmp/lz-scoped-workspace-1ezqv4:/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
-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
+✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
 👤 Running container as UID:GID 1001:1001
-$ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-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
+$ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-1ezqv4:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
 Compiling 84 files with Solc 0.8.22
-Solc 0.8.22 finished in 12.66s
+Solc 0.8.22 finished in 14.63s
 Compiler run successful with warnings:
 Warning (2018): Function state mutability can be restricted to view
   --> test/EnumerableSetPagination.t.sol:91:5:
@@ -220,125 +143,74 @@ 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)
-[PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
-[PASS] test_checkpointRateLimits_Single() (gas: 85741)
-[PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
-[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
-[PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
-[PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
-[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
-[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
-[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
-[PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
-[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
-[PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
-[PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
-[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
-[PASS] test_inflow_GloballyDisabled() (gas: 52015)
-[PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
-[PASS] test_initial_state_closed() (gas: 2034659)
-[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
-[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
-[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
-[PASS] test_outflow_GloballyDisabled() (gas: 52036)
-[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
-[PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
-[PASS] test_setRateLimitAddressExemptions() (gas: 59682)
-[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
-[PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
-[PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
-[PASS] test_setRateLimitConfigs_Single() (gas: 76669)
-[PASS] test_setRateLimitGlobalConfig() (gas: 49357)
-[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
-[PASS] test_setRateLimitStates_Single() (gas: 49974)
-[PASS] test_storageHash() (gas: 3414)
-[PASS] test_upscaleRateLimitAmount() (gas: 2014907)
-Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.10ms (23.18ms CPU time)
+Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
+[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 217.99ms (217.49ms 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_Fuzz(address) (runs: 1000, μ: 24052, ~: 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: 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 53.42ms (52.46ms CPU time)
+Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 231.89ms (231.30ms CPU time)
 Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
-[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25208, ~: 12763)
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25802, ~: 38584)
 [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_Fuzz(bool) (runs: 1000, μ: 28063, ~: 39861)
 [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
 [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
 [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
 [PASS] test_storageHash() (gas: 3414)
 [PASS] test_unpause() (gas: 31115)
-[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40782, ~: 42291)
+[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40735, ~: 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)
+Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 339.06ms (523.24ms 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, μ: 47634, ~: 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, μ: 45500, ~: 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, μ: 34991, ~: 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, μ: 69483, ~: 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 584.39ms (790.31ms CPU time)
 Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
 [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -355,16 +227,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, μ: 27794, ~: 16332)
+[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27653, ~: 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, μ: 38636, ~: 43373)
+[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38398, ~: 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, μ: 57710, ~: 46989)
+[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58049, ~: 46989)
 [PASS] test_storageHash() (gas: 3480)
 [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
 [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -372,87 +244,7 @@ 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 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)
+Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 591.95ms (752.65ms CPU time)
 Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
 [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -464,7 +256,7 @@ 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, μ: 115139, ~: 115159)
+[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
 [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
 [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
 [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
@@ -487,12 +279,82 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
 [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
 [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
 [PASS] test_storageHash() (gas: 3480)
-Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.21s (477.48ms CPU time)
+Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.57s (740.42ms CPU time)
+Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
+[PASS] test_checkpointRateLimits_Empty() (gas: 10824)
+[PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
+[PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
+[PASS] test_checkpointRateLimits_Single() (gas: 85741)
+[PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
+[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
+[PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
+[PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
+[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
+[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
+[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
+[PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
+[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
+[PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
+[PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
+[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
+[PASS] test_inflow_GloballyDisabled() (gas: 52015)
+[PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
+[PASS] test_initial_state_closed() (gas: 2034659)
+[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
+[PASS] test_outflow_GloballyDisabled() (gas: 52036)
+[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
+[PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
+[PASS] test_setRateLimitAddressExemptions() (gas: 59682)
+[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
+[PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
+[PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
+[PASS] test_setRateLimitConfigs_Single() (gas: 76669)
+[PASS] test_setRateLimitGlobalConfig() (gas: 49357)
+[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
+[PASS] test_setRateLimitStates_Single() (gas: 49974)
+[PASS] test_storageHash() (gas: 3414)
+[PASS] test_upscaleRateLimitAmount() (gas: 2014907)
+Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 2.02s (25.70ms CPU time)
+Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
+[PASS] test_SwitchModes_PreservesState() (gas: 186406)
+[PASS] test_constructor_InitialMode() (gas: 15578)
+[PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
+[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
+[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
+[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
+[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
+[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
+[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
+[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
+[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
+[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
+[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
+[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
+[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
+[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
+[PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
+[PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
+[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
+[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
+[PASS] test_setMode_Blacklist() (gas: 40021)
+[PASS] test_setMode_MultipleChanges() (gas: 39734)
+[PASS] test_setMode_RevertSameMode() (gas: 45674)
+[PASS] test_setMode_Whitelist() (gas: 40108)
+[PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
+[PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
+[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 2.02s (1.25s 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, μ: 44973, ~: 46317)
+[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44670, ~: 46317)
 [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
 [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
 [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -501,21 +363,64 @@ 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, μ: 43183, ~: 44486)
+[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43022, ~: 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, μ: 32734, ~: 39667)
+[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32364, ~: 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, μ: 65042, ~: 74224)
+[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65240, ~: 74224)
 [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
 [PASS] test_storageHash() (gas: 3426)
-Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.65s (533.10ms CPU time)
+Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 2.02s (1.05s 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: 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 2.09s (23.35ms CPU time)
 Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
 [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -523,379 +428,465 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 565   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 530   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 547   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 552   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 531   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 569   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 608   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 538   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 526   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 533   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 6217
-  Bound result 145
-  Bound result 8402
-  Bound result 0
-  Bound result 327
+  Bound result 9900000000006160794795
+  Bound result 9400147100179763871227
+  Bound result 8290
+  Bound result 10
   Bound result 1
-  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
+  Bound result 6885577051127393224359
+  Bound result 7837
 [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 579   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 514   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 512   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 570   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 578   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 560   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 534   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 522   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
 | RateLimiterRBACUpgradeableHandler | toggleExemption     | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 564   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 557   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  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 23775923817526
+  Bound result 1720938221280156256617
   Bound result 1
-  Bound result 9900000000001688394122
-  Bound result 9900000000001936680693
-  Bound result 10
-  Bound result 1218
-  Bound result 9900000000000000031041
-  Bound result 4585828654358088839444
-  Bound result 429
-  Bound result 4613
+  Bound result 5
+  Bound result 1540668789998726
+  Bound result 1647
+  Bound result 3311428713
+  Bound result 9622
+  Bound result 8007
+  Bound result 824
+  Bound result 762
+  Bound result 48
+  Bound result 2
+  Bound result 9900001956531842778114
+  Bound result 9900004284826048771216
+  Bound result 14
+  Bound result 137
+  Bound result 8571
+  Bound result 3172
+  Bound result 22
 [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 556   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 534   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 550   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 551   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 540   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 538   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 5551
-  Bound result 128746520846
-  Bound result 73077478934
+  Bound result 2047
+  Bound result 9150
   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 4073366028498265169269
+  Bound result 9900000000000010971510
+  Bound result 3222
+  Bound result 865
+  Bound result 9900000000000000426484
+  Bound result 9905928963223958746827
+  Bound result 992
+  Bound result 4538
+  Bound result 9621961110184026234438
+  Bound result 9966411986996089760106
+  Bound result 6313
+  Bound result 2548
+  Bound result 18178743508580257509690
+  Bound result 53940793
+  Bound result 0
+  Bound result 1
+  Bound result 223410
+  Bound result 10961047130108141166878
+  Bound result 0
+  Bound result 1009
+  Bound result 8206
   Bound result 1
-  Bound result 7446
+  Bound result 204379759494399269
+  Bound result 9900184469484657293576
+  Bound result 9957214001608051080864
+  Bound result 3961
+  Bound result 5021
+  Bound result 1807
+  Bound result 1
+  Bound result 100000000000000000003
+  Bound result 9900000000000000115067
+  Bound result 11
+  Bound result 942
 [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 522   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 537   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 567   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 528   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 579   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 533   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 551   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 524   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 572   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  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 1516471264971776638835
+  Bound result 6707
+  Bound result 1655
   Bound result 1
-  Bound result 5171276080236251
-  Bound result 203819629
+  Bound result 23980331862650163
+  Bound result 6999
+  Bound result 1504431246315325493186
+  Bound result 181453383
   Bound result 1
-  Bound result 439
-  Bound result 42891005
-  Bound result 0
-  Bound result 60
-  Bound result 4149
-  Bound result 16552986500123039289717
-  Bound result 0
+  Bound result 2497
+  Bound result 916
+  Bound result 1147
 [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 612   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 545   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 506   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 557   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 543   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 530   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 526   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 596   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 532   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 558   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 526   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  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
+  Bound result 37431
+  Bound result 3689055020
+  Bound result 1
+  Bound result 6727361039
+  Bound result 5398
+  Bound result 1493888894347551175
+  Bound result 525
+  Bound result 730898720
+  Bound result 680
+  Bound result 5521
+  Bound result 167
+  Bound result 157452084471073743727
+  Bound result 28653520
+  Bound result 257
+  Bound result 244
 [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 521   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 560   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 514   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 526   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 569   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 536   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 581   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 583   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 534   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 531   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 6914264337593535947488
-  Bound result 100000000000000000000
-  Bound result 6242
-  Bound result 9996
-  Bound result 8885162886515083703497
-  Bound result 3695152416
+  Bound result 2354
+  Bound result 534
+  Bound result 304
   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 514264337593543950332
+  Bound result 1349510993355965866347
+  Bound result 10442366
+  Bound result 0
+  Bound result 7910
+  Bound result 235336713419060673732
+  Bound result 9900000000000007967000
+  Bound result 13
+  Bound result 10
+  Bound result 9900000000000000006770
+  Bound result 9900000000000000006889
+  Bound result 4280
+  Bound result 9449
+  Bound result 8791
+  Bound result 3105
   Bound result 0
-  Bound result 308
+  Bound result 89
+  Bound result 6754
 [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 535   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 499   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 497   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 564   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 571   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 611   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 557   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 552   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 576   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 573   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  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 593
+  Bound result 8973567783615217582773
+  Bound result 9900000000003390425204
+  Bound result 9733
+  Bound result 1282
+  Bound result 475145
+  Bound result 9281
+  Bound result 42
   Bound result 1
-  Bound result 6874
-  Bound result 53881663
-  Bound result 49059
-  Bound result 3888
-  Bound result 6914264337544902664500
-  Bound result 951
-  Bound result 934
+  Bound result 2117
+  Bound result 8653
+  Bound result 1901074598
+  Bound result 4306
+  Bound result 22518068
+  Bound result 98107083606798028553
+  Bound result 1920
+  Bound result 281
+  Bound result 280375465082879
+  Bound result 7941
+  Bound result 3
+  Bound result 8810330847042128610117
+  Bound result 9962314269098560544653
+  Bound result 1957
+  Bound result 5321
 [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 505   | 0       | 0        |
-|-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 583   | 0       | 0        |
-|-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 567   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 520   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 562   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 552   | 0       | 0        |
-|-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573   | 0       | 0        |
-|-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 561   | 0       | 0        |
-╰-----------------------------------+---------------------+-------+---------+----------╯
-Logs:
-  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)
+| RateLimiterRBACUpgradeableHandler | setConfig           | 532   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 524   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 563   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 555   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 500
+  Bound result 9900000000000000004897
+  Bound result 9900000000000000002114
+  Bound result 721
+  Bound result 1839
+  Bound result 9900000000000122027828
+  Bound result 8647894793828289421049
+  Bound result 9476
+  Bound result 90
+  Bound result 6658
+  Bound result 511
+  Bound result 9900000000001749912050
+  Bound result 9900000000000000000321
+  Bound result 4125
+  Bound result 1374
+  Bound result 7257474338158586860379
+  Bound result 9900000108745061734806
+  Bound result 4340581073463283813533
+  Bound result 9722
+  Bound result 3875
+  Bound result 4963094952179777962898
+  Bound result 14453
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.18s (13.50s CPU time)
-[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 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 2.43s (94.63ms CPU time)
+Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27249, ~: 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, μ: 30874, ~: 42378)
+[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
+[PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
+[PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
+[PASS] test_setPaused_Success() (gas: 42640)
+[PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
+[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
+[PASS] test_storageHash() (gas: 3414)
+[PASS] test_unpause() (gas: 35177)
+[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41807, ~: 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 2.42s (424.43ms 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, μ: 30565, ~: 18826)
+[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
+[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
+[PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
+[PASS] test_setDefaultPaused_Success() (gas: 40744)
+[PASS] test_setPaused() (gas: 48361)
+[PASS] test_setPaused_DormantData() (gas: 297504)
+[PASS] test_setPaused_EmptyArray() (gas: 15702)
+[PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
+[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43702, ~: 48533)
+[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225754, ~: 221992)
+[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, μ: 62287, ~: 50341)
+[PASS] test_storageHash() (gas: 3392)
+[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
+[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
+[PASS] test_whenNotPaused_Success() (gas: 41299)
+[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
+[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
+Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.43s (1.32s 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 2.43s (1.14s CPU time)
 Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
 [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -903,412 +894,342 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 523   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 608   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 545   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 514   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 552   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 521   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 569   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 526   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  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
+  Bound result 2196
+  Bound result 1082
+  Bound result 9900000000205616570824
+  Bound result 9900000000001788938223
+  Bound result 2378
+  Bound result 3635
+  Bound result 1795
+  Bound result 37603
+  Bound result 9900000000000000008784
+  Bound result 9900000000000613063843
+  Bound result 2289
+  Bound result 8424
+  Bound result 3979504843813997
+  Bound result 1583
+  Bound result 107048842565
+  Bound result 772157286194943803
+  Bound result 999
 [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 527   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 542   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 554   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 560   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 583   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 571   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 547   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 524   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 575   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 526   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 579   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 9900000000000000009891
-  Bound result 9900000000000000001819
-  Bound result 545
-  Bound result 508
-  Bound result 5238207093688483408819
-  Bound result 100000000000000000003
-  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
+  Bound result 1084
+  Bound result 1966
+  Bound result 1
+  Bound result 2314306614657126482
+  Bound result 0
+  Bound result 0
+  Bound result 3414
+  Bound result 4160
+  Bound result 1
+  Bound result 8103
+  Bound result 973
+  Bound result 0
+  Bound result 6914264337593535947490
+  Bound result 6914264337593535947491
+  Bound result 6764
+  Bound result 10
+  Bound result 6398
+  Bound result 6672
+  Bound result 28
+  Bound result 9589961865505609019478
+  Bound result 4620
+  Bound result 7072
 [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 518   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 513   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 535   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 552   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 609   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 575   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 585   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 536   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  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
+  Bound result 1352
+  Bound result 11
+  Bound result 3151
+  Bound result 3695152418
+  Bound result 267
+  Bound result 9952087529724784201211
+  Bound result 9900000000006339513760
+  Bound result 7256
+  Bound result 6242
+  Bound result 12689
+  Bound result 9900000000000000010336
+  Bound result 9900000000000000000031
+  Bound result 1031
+  Bound result 9419
+  Bound result 731
+  Bound result 2081050176
+  Bound result 36671915176604
+  Bound result 1961393461161763
+  Bound result 1165
+  Bound result 9900000388023239318983
+  Bound result 9900000000013504145395
+  Bound result 11
+  Bound result 12
 [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 561   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 533   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 576   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 563   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 587   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 561   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 492   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 523   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 518   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 586   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 7761381
-  Bound result 1900636112487811209680
-  Bound result 5137
+  Bound result 895
+  Bound result 2428
+  Bound result 2
+  Bound result 487692794323801000707
   Bound result 1
-  Bound result 9900000000000000010398
-  Bound result 9900000000000000000137
-  Bound result 1030
-  Bound result 7902
+  Bound result 89344766
   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 41394828
+  Bound result 9906
+  Bound result 3837073963344713306985
+  Bound result 6914264337593535947490
+  Bound result 6241
+  Bound result 6289
+  Bound result 9900000000000694075953
+  Bound result 9900000000000000038322
   Bound result 13
-  Bound result 453
-  Bound result 780
+  Bound result 1506
+  Bound result 523
+  Bound result 587
+  Bound result 6914258783011967940003
 [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 551   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 567   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 514   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 543   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 569   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 560   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 544   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 570   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 511   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 560   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 698402883142699256494
+  Bound result 4193
+  Bound result 9869
   Bound result 1
-  Bound result 664
-  Bound result 12
+  Bound result 230
+  Bound result 1513
   Bound result 1
-  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
+  Bound result 1353
+  Bound result 560189957556933
+  Bound result 51977754107646803670
+  Bound result 611
+  Bound result 78537445254651993286
+  Bound result 2446411859
+  Bound result 1944
+  Bound result 3578229792
 [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 575   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 527   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 521   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 527   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 540   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 537   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 540   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 568   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 556   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  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
+  Bound result 25012502495531928
+  Bound result 766577134570551230
+  Bound result 1
+  Bound result 9900326487455374659903
+  Bound result 127509110055070186129
+  Bound result 9134
+  Bound result 169
+  Bound result 3847
+  Bound result 7772283705447693399305
+  Bound result 61428158282281949965
+  Bound result 1
+  Bound result 16276152560320745149522
+  Bound result 33217623
+  Bound result 1
+  Bound result 880596752068785130657
+  Bound result 4197928202869160596833
+  Bound result 2149
+  Bound result 4663
+  Bound result 800
+  Bound result 100000000000000000000
+  Bound result 100000000000000000003
+  Bound result 39
+  Bound result 556
+  Bound result 10
+  Bound result 17
+  Bound result 21707690
+  Bound result 28692
 [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 521   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 555   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 490   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 582   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 601   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 545   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 530   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 541   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 546   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 9900219041556389095777
-  Bound result 100000000000000000000
-  Bound result 28
-  Bound result 6909
-  Bound result 2304574767635451153
-  Bound result 14112896150388432
+  Bound result 514264337593543950335
+  Bound result 42
+  Bound result 1094441035049178836663
   Bound result 0
-  Bound result 5152
-  Bound result 8183
-  Bound result 1
+  Bound result 112
+  Bound result 3854918171553
+  Bound result 718654791244591879002
+  Bound result 31
+  Bound result 8083
 [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 556   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 484   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 519   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 516   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 627   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 562   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 564   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 525   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 561   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 3
-  Bound result 810049336030723589793
+  Bound result 177025685970596525933
   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 514264337593504336253
+  Bound result 138246466455746620
   Bound result 1
+  Bound result 1
+  Bound result 8972658442353137
+  Bound result 1
+  Bound result 1199
+  Bound result 78220222
+  Bound result 0
+  Bound result 1178605356
+  Bound result 134940833098616001555
+  Bound result 1
+  Bound result 1163
+  Bound result 6933
+  Bound result 7338
+  Bound result 192
+  Bound result 1534
+  Bound result 9567914486731394516574
+  Bound result 9900000000000059234834
+  Bound result 11
+  Bound result 7404
+  Bound result 2
+  Bound result 7742894668992284747325
-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)
-[PASS] test_constructor_InitialMode() (gas: 15578)
-[PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
-[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
-[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
-[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
-[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
-[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
-[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
-[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
-[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
-[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
-[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
-[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
-[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
-[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
-[PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
-[PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
-[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
-[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
-[PASS] test_setMode_Blacklist() (gas: 40021)
-[PASS] test_setMode_MultipleChanges() (gas: 39734)
-[PASS] test_setMode_RevertSameMode() (gas: 45674)
-[PASS] test_setMode_Whitelist() (gas: 40108)
-[PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
-[PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
-[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 11.62s (492.83ms CPU time)
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.73s (14.66s 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, μ: 768180, ~: 163648)
+[PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 751291, ~: 106485)
 [PASS] test_address_paginate_LargeSet() (gas: 465360224)
 [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
 [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1321,12 +1242,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, μ: 11174279, ~: 10429988)
+[PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11132734, ~: 10457493)
 [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, μ: 727436, ~: 116338)
+[PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 781226, ~: 213006)
 [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
 [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
 [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1339,10 +1260,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, μ: 11121193, ~: 10359797)
+[PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11230912, ~: 10654920)
 [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 11.91s (28.37s CPU time)
+Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.19s (40.01s CPU time)
-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
+Ran 17 test suites in 17.23s (43.50s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
+⏳ forge test: 33.866s