npm - @layerzerolabs/utils-upgradeable-evm-contracts - Versions diffs - 0.2.74 - Mend

@layerzerolabs/utils-upgradeable-evm-contracts 0.2.74

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

package/.turbo/turbo-lint.log +491 -0
package/.turbo/turbo-test.log +1356 -0
package/LICENSE +23 -0
package/contracts/access/AccessControl2StepUpgradeable.sol +144 -0
package/contracts/allowlist/AllowlistBaseUpgradeable.sol +184 -0
package/contracts/allowlist/AllowlistRBACUpgradeable.sol +55 -0
package/contracts/fee-accounting/FeeHandlerBaseUpgradeable.sol +69 -0
package/contracts/fee-accounting/FeeHandlerRBACUpgradeable.sol +34 -0
package/contracts/fee-config/FeeConfigBaseUpgradeable.sol +128 -0
package/contracts/fee-config/FeeConfigRBACUpgradeable.sol +44 -0
package/contracts/libs/EnumerableSetPagination.sol +77 -0
package/contracts/pause/PauseBaseUpgradeable.sol +107 -0
package/contracts/pause/PauseRBACUpgradeable.sol +47 -0
package/contracts/pause-by-id/PauseByIDBaseUpgradeable.sol +127 -0
package/contracts/pause-by-id/PauseByIDRBACUpgradeable.sol +74 -0
package/contracts/rate-limiter/RateLimiterBaseUpgradeable.sol +636 -0
package/contracts/rate-limiter/RateLimiterRBACUpgradeable.sol +89 -0
package/contracts/rate-limiter/libs/RateLimiterUtils.sol +82 -0
package/foundry.toml +27 -0
package/package.json +34 -0
package/solhint.config.js +3 -0
package/test/AccessControl2StepUpgradeable.t.sol +374 -0
package/test/AllowlistBaseUpgradeable.t.sol +380 -0
package/test/AllowlistRBACUpgradeable.t.sol +84 -0
package/test/EnumerableSetPagination.t.sol +445 -0
package/test/FeeConfigBaseUpgradeable.t.sol +232 -0
package/test/FeeConfigRBACUpgradeable.t.sol +59 -0
package/test/FeeHandlerBaseUpgradeable.t.sol +78 -0
package/test/FeeHandlerRBACUpgradeable.t.sol +45 -0
package/test/PauseBaseUpgradeable.t.sol +244 -0
package/test/PauseByIDBaseUpgradeable.t.sol +337 -0
package/test/PauseByIDRBACUpgradeable.t.sol +414 -0
package/test/PauseRBACUpgradeable.t.sol +258 -0
package/test/RateLimiterBaseUpgradeable.t.sol +826 -0
package/test/RateLimiterRBACUpgradeable.t.sol +128 -0
package/test/RateLimiterRBACUpgradeableInvariant.t.sol +444 -0
package/test/RateLimiterUtils.t.sol +137 -0

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

@@ -0,0 +1,1356 @@
+> @layerzerolabs/utils-upgradeable-evm-contracts@0.0.0 test /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable
+> pnpm lz-tool forge test
+✅ forge-1.3.6-hardhat-2.26.3
+🔧 forge version: 1.3.6
+$ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+(node:66898) [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)
+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
+8e167e77288f: Pulling fs layer
+45d43cc973ba: Pulling fs layer
+44c09156221f: Pulling fs layer
+f2fb700979ad: Pulling fs layer
+2a1ced882ba9: Pulling fs layer
+597168d5c38e: Pulling fs layer
+e431adaf232f: Pulling fs layer
+36e15e3f2788: Pulling fs layer
+36e15e3f2788: Waiting
+eef7c391911c: Download complete
+5760fdd70374: Waiting
+c70db14240a1: Waiting
+0cb2c6965bde: Waiting
+885bca26f927: Waiting
+8e167e77288f: Waiting
+45d43cc973ba: Waiting
+44c09156221f: Waiting
+f2fb700979ad: Waiting
+2a1ced882ba9: Waiting
+597168d5c38e: Waiting
+e431adaf232f: Waiting
+5760fdd70374: Verifying Checksum
+5760fdd70374: Download complete
+c70db14240a1: Download complete
+cc2ecf4065b7: Verifying Checksum
+cc2ecf4065b7: Download complete
+86ec798129ac: Verifying Checksum
+86ec798129ac: Download complete
+8e167e77288f: Verifying Checksum
+8e167e77288f: Download complete
+45d43cc973ba: Verifying Checksum
+45d43cc973ba: Download complete
+44c09156221f: Verifying Checksum
+44c09156221f: Download complete
+f2fb700979ad: Verifying Checksum
+f2fb700979ad: Download complete
+0cb2c6965bde: Verifying Checksum
+0cb2c6965bde: Download complete
+597168d5c38e: Verifying Checksum
+597168d5c38e: Download complete
+86ec798129ac: Pull complete
+eef7c391911c: Pull complete
+cc2ecf4065b7: Pull complete
+5760fdd70374: Pull complete
+c70db14240a1: Pull complete
+2a1ced882ba9: Verifying Checksum
+2a1ced882ba9: Download complete
+36e15e3f2788: Verifying Checksum
+36e15e3f2788: Download complete
+0cb2c6965bde: Pull complete
+e431adaf232f: Download complete
+885bca26f927: Download complete
+885bca26f927: Pull complete
+8e167e77288f: Pull complete
+45d43cc973ba: Pull complete
+44c09156221f: Pull complete
+f2fb700979ad: Pull complete
+2a1ced882ba9: Pull complete
+597168d5c38e: Pull complete
+e431adaf232f: Pull complete
+36e15e3f2788: Pull complete
+Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
+Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
+👤 Running container as UID:GID 1001:1001
+$ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -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 14.96s
+Compiler run successful with warnings:
+Warning (2018): Function state mutability can be restricted to view
+  --> test/EnumerableSetPagination.t.sol:91:5:
+   |
+91 |     function test_address_paginate_OffsetZero() public {
+   |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+  --> test/EnumerableSetPagination.t.sol:99:5:
+   |
+99 |     function test_address_paginate_MiddleOffset() public {
+   |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:107:5:
+    |
+107 |     function test_address_paginate_OffsetAtEnd() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:113:5:
+    |
+113 |     function test_address_paginate_OffsetBeyondEnd() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:120:5:
+    |
+120 |     function test_address_paginate_LimitZero() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:124:5:
+    |
+124 |     function test_address_paginate_LimitOne() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:130:5:
+    |
+130 |     function test_address_paginate_LimitExceedsRemaining() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:135:5:
+    |
+135 |     function test_address_paginate_LimitExceedsTotal() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:139:5:
+    |
+139 |     function test_address_paginate_MaxUint256Limit() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:145:5:
+    |
+145 |     function test_address_paginate_SequentialPagesCompleteSet() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:258:5:
+    |
+258 |     function test_uint_paginate_OffsetZero() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:266:5:
+    |
+266 |     function test_uint_paginate_MiddleOffset() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:274:5:
+    |
+274 |     function test_uint_paginate_OffsetAtEnd() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:280:5:
+    |
+280 |     function test_uint_paginate_OffsetBeyondEnd() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:287:5:
+    |
+287 |     function test_uint_paginate_LimitZero() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:291:5:
+    |
+291 |     function test_uint_paginate_LimitOne() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:297:5:
+    |
+297 |     function test_uint_paginate_LimitExceedsRemaining() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:302:5:
+    |
+302 |     function test_uint_paginate_LimitExceedsTotal() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:306:5:
+    |
+306 |     function test_uint_paginate_MaxUint256Limit() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Warning (2018): Function state mutability can be restricted to view
+   --> test/EnumerableSetPagination.t.sol:312:5:
+    |
+312 |     function test_uint_paginate_SequentialPagesCompleteSet() public {
+    |     ^ (Relevant source part starts here and spans across multiple lines).
+Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
+[PASS] test_checkpointRateLimits_Empty() (gas: 10824)
+[PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
+[PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
+[PASS] test_checkpointRateLimits_Single() (gas: 85741)
+[PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
+[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
+[PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
+[PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
+[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
+[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
+[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
+[PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
+[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
+[PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
+[PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
+[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
+[PASS] test_inflow_GloballyDisabled() (gas: 52015)
+[PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
+[PASS] test_initial_state_closed() (gas: 2034659)
+[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
+[PASS] test_outflow_GloballyDisabled() (gas: 52036)
+[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
+[PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
+[PASS] test_setRateLimitAddressExemptions() (gas: 59682)
+[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
+[PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
+[PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
+[PASS] test_setRateLimitConfigs_Single() (gas: 76669)
+[PASS] test_setRateLimitGlobalConfig() (gas: 49357)
+[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
+[PASS] test_setRateLimitStates_Single() (gas: 49974)
+[PASS] test_storageHash() (gas: 3414)
+[PASS] test_upscaleRateLimitAmount() (gas: 2014907)
+Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 42.62ms (26.84ms CPU time)
+Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
+[PASS] test_feeDeposit() (gas: 17576)
+[PASS] test_setFeeDeposit() (gas: 24995)
+[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 94.53ms (93.93ms CPU time)
+Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
+[PASS] test_checkpointRateLimits_Empty() (gas: 13362)
+[PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
+[PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
+[PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19822)
+[PASS] test_checkpointRateLimits_Single() (gas: 88573)
+[PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
+[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
+[PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
+[PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
+[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
+[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
+[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
+[PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
+[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
+[PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
+[PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
+[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
+[PASS] test_inflow_GloballyDisabled() (gas: 54520)
+[PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
+[PASS] test_initial_state_closed() (gas: 2770122)
+[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
+[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
+[PASS] test_outflow_GloballyDisabled() (gas: 54496)
+[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
+[PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
+[PASS] test_setRateLimitAddressExemptions() (gas: 62304)
+[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
+[PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19937)
+[PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
+[PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
+[PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21285)
+[PASS] test_setRateLimitConfigs_Single() (gas: 79162)
+[PASS] test_setRateLimitGlobalConfig() (gas: 52231)
+[PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19463)
+[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
+[PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20566)
+[PASS] test_setRateLimitStates_Single() (gas: 52512)
+[PASS] test_storageHash() (gas: 3392)
+[PASS] test_upscaleRateLimitAmount() (gas: 2750380)
+Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 45.67ms (30.69ms CPU time)
+Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
+[PASS] test_feeDeposit() (gas: 17638)
+[PASS] test_setFeeDeposit() (gas: 27596)
+[PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
+[PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
+[PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
+[PASS] test_storageHash() (gas: 3315)
+Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 211.90ms (211.25ms CPU time)
+Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26603, ~: 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, μ: 28962, ~: 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, μ: 40473, ~: 42029)
+[PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
+[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
+[PASS] test_whenNotPaused_Success() (gas: 38744)
+[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
+[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
+Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 375.83ms (425.75ms 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 267.38ms (267.21ms CPU time)
+Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
+[PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
+[PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
+[PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
+[PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
+[PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
+[PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
+[PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
+[PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
+[PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
+[PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
+[PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
+[PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
+[PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
+[PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
+[PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
+[PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
+[PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
+[PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
+[PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
+[PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
+[PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
+[PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
+[PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
+[PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
+[PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
+[PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
+[PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
+[PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
+[PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
+[PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
+[PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
+[PASS] test_storageHash() (gas: 3380)
+Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 717.98ms (787.88ms CPU time)
+Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
+[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
+[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
+[PASS] test_assertNotPaused_Success() (gas: 14891)
+[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
+[PASS] test_defaultPaused_InitialState() (gas: 15572)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
+[PASS] test_isPaused_Default() (gas: 47316)
+[PASS] test_isPaused_InitialState() (gas: 22172)
+[PASS] test_isPaused_MultipleIDs() (gas: 80142)
+[PASS] test_isPaused_Override() (gas: 75171)
+[PASS] test_isPaused_Specific() (gas: 50105)
+[PASS] test_isPaused_SpecificDisabled() (gas: 55561)
+[PASS] test_pauseConfig() (gas: 51028)
+[PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
+[PASS] test_setDefaultPaused() (gas: 42196)
+[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30895, ~: 42446)
+[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
+[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
+[PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
+[PASS] test_setDefaultPaused_Success() (gas: 40744)
+[PASS] test_setPaused() (gas: 48361)
+[PASS] test_setPaused_DormantData() (gas: 295234)
+[PASS] test_setPaused_EmptyArray() (gas: 15702)
+[PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
+[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43661, ~: 48533)
+[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222984, ~: 216804)
+[PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
+[PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
+[PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
+[PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
+[PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
+[PASS] test_setPaused_Success() (gas: 45897)
+[PASS] test_setPaused_Success_Batch() (gas: 345312)
+[PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
+[PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
+[PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
+[PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
+[PASS] test_setPaused_Success_Toggle() (gas: 58022)
+[PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
+[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62924, ~: 73465)
+[PASS] test_storageHash() (gas: 3392)
+[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
+[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
+[PASS] test_whenNotPaused_Success() (gas: 41299)
+[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
+[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
+Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.13s (1.34s CPU time)
+Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
+[PASS] test_SwitchModes_PreservesState() (gas: 195548)
+[PASS] test_constructor_InitialMode() (gas: 15778)
+[PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
+[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
+[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
+[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
+[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
+[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
+[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
+[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
+[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
+[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
+[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
+[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
+[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
+[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
+[PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
+[PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
+[PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
+[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
+[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
+[PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
+[PASS] test_setMode_Blacklist() (gas: 42605)
+[PASS] test_setMode_MultipleChanges() (gas: 43274)
+[PASS] test_setMode_RevertSameMode() (gas: 51355)
+[PASS] test_setMode_Whitelist() (gas: 42714)
+[PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
+[PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
+[PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
+[PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
+[PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
+[PASS] test_storageHash() (gas: 3480)
+Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.34s (1.34s CPU time)
+Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 28013, ~: 41090)
+[PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
+[PASS] test_assertNotPaused_Success() (gas: 12539)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
+[PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
+[PASS] test_isPaused_InitialState() (gas: 15629)
+[PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
+[PASS] test_multipleRoleGrants() (gas: 394130)
+[PASS] test_pause() (gas: 42109)
+[PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
+[PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
+[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30874, ~: 42378)
+[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
+[PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
+[PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
+[PASS] test_setPaused_Success() (gas: 40691)
+[PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
+[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
+[PASS] test_storageHash() (gas: 3414)
+[PASS] test_unpause() (gas: 35177)
+[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41725, ~: 44479)
+[PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
+[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
+[PASS] test_whenNotPaused_Success() (gas: 38800)
+[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
+[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
+Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 4.44s (239.73ms CPU time)
+Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
+[PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 592   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 487   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 582   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 611   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 530   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 498   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 540   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 6285
+  Bound result 9900000720599650909745
+  Bound result 9900000019037486127394
+  Bound result 6388
+  Bound result 11
+  Bound result 3
+  Bound result 877
+  Bound result 1587
+  Bound result 1
+  Bound result 13498903784564286285435
+  Bound result 37463
+  Bound result 1957
+  Bound result 0
+  Bound result 1
+  Bound result 321300683
+  Bound result 5902
+  Bound result 9900004882799464682452
+  Bound result 7302100345466024707996
+  Bound result 6297
+  Bound result 996
+  Bound result 33
+[PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 550   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 569   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 549   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 533   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 562   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 529   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 33608727664276041780
+  Bound result 1994382204881099413008
+  Bound result 37320
+  Bound result 13533
+  Bound result 25375885529
+  Bound result 1
+  Bound result 1
+  Bound result 1
+  Bound result 538548725861451760691
+  Bound result 8754640398170986187508
+  Bound result 242
+  Bound result 3318
+  Bound result 6814
+[PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 552   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 560   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 578   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 536   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 527   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 529   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 16903424
+  Bound result 9900000000000613063844
+  Bound result 9900000000000000009077
+  Bound result 2314
+  Bound result 8762
+  Bound result 1829561007606824
+  Bound result 16371
+  Bound result 7959897164862022
+  Bound result 54
+  Bound result 1894431
+  Bound result 8483
+  Bound result 1113219430
+  Bound result 2
+  Bound result 547659574635
+  Bound result 9900000000000000008026
+  Bound result 9900000000000000009488
+  Bound result 7113
+  Bound result 657
+  Bound result 6258
+  Bound result 15059
+  Bound result 6914264337517608965039
+  Bound result 3329
+  Bound result 4301
+  Bound result 3015439342
+  Bound result 4242438485340447
+  Bound result 3841
+[PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 558   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 517   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 560   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 569   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 522   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 580   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 22170
+  Bound result 58349649087492133910
+  Bound result 50
+  Bound result 5
+  Bound result 9900236984601829499831
+  Bound result 8930629262154154363854
+  Bound result 4672
+  Bound result 74
+  Bound result 100000000000000000002
+  Bound result 100000000000000000003
+  Bound result 4116
+  Bound result 6240
+  Bound result 9900000000000000000992
+  Bound result 9900000000000000001558
+  Bound result 4891
+  Bound result 639
+  Bound result 2344
+  Bound result 1255
+  Bound result 141339338231289
+  Bound result 3964
+  Bound result 733
+  Bound result 613
+[PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 560   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 524   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 581   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 525   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 576   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 522   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 284
+  Bound result 21187888770
+  Bound result 999969235329528
+  Bound result 0
+  Bound result 2443899313024
+  Bound result 514264337593504336254
+  Bound result 111309540042374898
+  Bound result 0
+  Bound result 9900217622783906603763
+  Bound result 6914264337593535947491
+  Bound result 1369
+  Bound result 886
+  Bound result 1113111
+  Bound result 24097210917120933870
+  Bound result 0
+  Bound result 3274
+  Bound result 1161
+  Bound result 0
+  Bound result 13633769491721754308201
+  Bound result 650855966766945
+[PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 535   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 529   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 556   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 540   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 561   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 536   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 315
+  Bound result 9900000000058659386548
+  Bound result 9900000000000000254991
+  Bound result 8123
+  Bound result 5491
+  Bound result 14691
+  Bound result 1
+  Bound result 5123
+  Bound result 9900000000058659386548
+  Bound result 920
+  Bound result 9324
+  Bound result 1957
+  Bound result 8037
+[PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 547   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 526   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 581   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 538   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 534   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 551   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 9900000000000000009387
+  Bound result 9900000000000000000766
+  Bound result 5131
+  Bound result 1643
+  Bound result 1
+  Bound result 9900000000000000003135
+  Bound result 9900000000000000001180
+  Bound result 1957
+  Bound result 7182
+  Bound result 5351
+  Bound result 18446744073709551617
+  Bound result 0
+  Bound result 54
+  Bound result 396256878
+  Bound result 91060998345
+  Bound result 2
+  Bound result 302
+  Bound result 12117
+  Bound result 14292854090331003987750
+  Bound result 32383287330
+  Bound result 4478
+[PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 556   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 581   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 512   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 558   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 521   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 576   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 8876
+  Bound result 2185
+  Bound result 1
+  Bound result 5578
+  Bound result 2891
+  Bound result 94
+  Bound result 6312
+  Bound result 0
+  Bound result 5122
+  Bound result 4266781249
+  Bound result 0
+  Bound result 1
+  Bound result 9900017944187723704829
+  Bound result 100000000000000000000
+  Bound result 5329
+  Bound result 105
+  Bound result 3864
+  Bound result 10212
+  Bound result 0
+  Bound result 4184
+  Bound result 1713
+  Bound result 2982
+  Bound result 856
+  Bound result 3308859969128441802283
+  Bound result 9900000000000513945705
+  Bound result 1560
+  Bound result 5169
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 4.78s (24.81s 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, μ: 44746, ~: 46317)
+[PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
+[PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
+[PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
+[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
+[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
+[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
+[PASS] test_getFee_BoundaryConditions() (gas: 71791)
+[PASS] test_getFee_Default() (gas: 40577)
+[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43171, ~: 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, μ: 32455, ~: 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, μ: 65406, ~: 74224)
+[PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
+[PASS] test_storageHash() (gas: 3426)
+Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 5.00s (836.61ms CPU time)
+Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
+[PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 535   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 564   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 509   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 542   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 598   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 501   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 683446938206129230797
+  Bound result 6613131989
+  Bound result 7081
+  Bound result 634
+  Bound result 3658286192
+  Bound result 1019
+  Bound result 1295
+  Bound result 28003946290508
+  Bound result 173
+  Bound result 10179499969586290
+  Bound result 18
+  Bound result 4
+  Bound result 1558170778552680178
+  Bound result 482
+  Bound result 1868
+[PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 539   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 527   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 570   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 533   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 592   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 528   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 3859
+  Bound result 2
+  Bound result 232
+  Bound result 2429
+  Bound result 1
+  Bound result 336
+  Bound result 378585425351100230422
+  Bound result 1
+  Bound result 277
+  Bound result 23
+  Bound result 786417
+  Bound result 338
+  Bound result 6739140940960629139665
+  Bound result 100000000000000000003
+  Bound result 6241
+  Bound result 291
+  Bound result 8117488580878472918247
+  Bound result 1
+  Bound result 732
+  Bound result 5213
+  Bound result 16
+  Bound result 10170
+  Bound result 7
+  Bound result 5362
+  Bound result 6101
+[PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 538   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 503   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 572   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 589   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 523   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 556   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 245941473372
+  Bound result 1377614282097724962926
+  Bound result 9900000000000000000181
+  Bound result 6453
+  Bound result 9721
+  Bound result 1
+  Bound result 16043
+  Bound result 3178984042653
+  Bound result 9901464590545649019247
+  Bound result 100000000000000000001
+  Bound result 16
+  Bound result 9410
+  Bound result 17766
+  Bound result 1445
+  Bound result 1750472768029558
+  Bound result 10575
+  Bound result 9900000000000000837084
+  Bound result 1946347317636702334354
+  Bound result 6201
+  Bound result 12
+[PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 570   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 497   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 586   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 547   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 565   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 548   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 9900000433351468135632
+  Bound result 235733557052269266073
+  Bound result 8472
+  Bound result 9689
+  Bound result 11619212053119913364
+  Bound result 9900000000339156452687
+  Bound result 9900000118331476590252
+  Bound result 6239
+  Bound result 3184
+  Bound result 6531568553507873541
+  Bound result 3576315115912293
+  Bound result 1
+  Bound result 9900000000000000001060
+  Bound result 9900000000000000000434
+  Bound result 3815
+  Bound result 571
+  Bound result 3997
+  Bound result 9900000000000001135215
+  Bound result 9900000000000000123460
+  Bound result 4504
+  Bound result 8555
+  Bound result 10991
+  Bound result 2101
+  Bound result 1
+[PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 498   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 561   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 585   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 547   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 569   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 542   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 9900000000000000301978
+  Bound result 9900000072608146853908
+  Bound result 5729
+  Bound result 6381
+  Bound result 744529665630
+  Bound result 27140768195805479755
+  Bound result 17411059444839
+  Bound result 1
+  Bound result 6885
+  Bound result 6943090836212624178854
+  Bound result 9900000843863858636159
+  Bound result 9022
+  Bound result 4446
+  Bound result 5662467510559214525
+  Bound result 10248190436761191049101
+  Bound result 1511
+  Bound result 11817699421609256226476
+  Bound result 3214091157308377248534
+  Bound result 510
+  Bound result 1408163968098649925975
+  Bound result 15303664012009892466940
+  Bound result 1402
+  Bound result 11421156858503949300184
+  Bound result 6
+  Bound result 2814
+  Bound result 167
+[PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 552   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 570   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 500   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 562   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 558   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 551   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 20
+  Bound result 27
+  Bound result 772
+  Bound result 120198225
+  Bound result 2666
+  Bound result 1566
+  Bound result 356
+  Bound result 9900000000000000012596
+  Bound result 8429252504872731903774
+  Bound result 723
+  Bound result 10
+  Bound result 280
+  Bound result 3532
+  Bound result 310
+  Bound result 9900000000000000008870
+  Bound result 9900000000000000004951
+  Bound result 5638
+  Bound result 2030
+  Bound result 9900000000000000002516
+  Bound result 9900000000000000003616
+  Bound result 9995
+  Bound result 1255
+[PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 564   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 544   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 538   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 551   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 563   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 505   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 364428125098
+  Bound result 17819495
+  Bound result 947433
+  Bound result 1
+  Bound result 1702
+  Bound result 1810
+  Bound result 9900047974496035985411
+  Bound result 9900000230831447138760
+  Bound result 10
+  Bound result 11
+  Bound result 2661
+  Bound result 15477275130211353660191
+  Bound result 1
+  Bound result 2978
+  Bound result 15
+  Bound result 7010
+[PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
+╭-----------------------------------+---------------------+-------+---------+----------╮
+| Contract                          | Selector            | Calls | Reverts | Discards |
++======================================================================================+
+| RateLimiterRBACUpgradeableHandler | inflow              | 568   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | outflow             | 566   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setConfig           | 506   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | setState            | 542   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 522   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583   | 0       | 0        |
+|-----------------------------------+---------------------+-------+---------+----------|
+| RateLimiterRBACUpgradeableHandler | warp                | 553   | 0       | 0        |
+╰-----------------------------------+---------------------+-------+---------+----------╯
+Logs:
+  Bound result 10738
+  Bound result 9900000000000000003126
+  Bound result 9900000000000023763063
+  Bound result 6522
+  Bound result 1435
+  Bound result 4602
+  Bound result 1088
+  Bound result 3038968249621671736711
+  Bound result 942
+  Bound result 82684051525
+  Bound result 8654
+  Bound result 4594638
+  Bound result 9900554292863722104551
+  Bound result 100000000000000000000
+  Bound result 12
+  Bound result 13
+  Bound result 7315
+  Bound result 9334
+  Bound result 6
+  Bound result 9900000000000000002554
+  Bound result 9900000000000000000712
+  Bound result 209
+  Bound result 5306
+  Bound result 17310320808264713803406
+  Bound result 10202
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 4.90s (21.96s 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 18.56s (717.19ms 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, μ: 718949, ~: 87205)
+[PASS] test_address_paginate_LargeSet() (gas: 465360224)
+[PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
+[PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
+[PASS] test_address_paginate_LimitOne() (gas: 14973)
+[PASS] test_address_paginate_LimitZero() (gas: 11561)
+[PASS] test_address_paginate_MaxUint256Limit() (gas: 2837429)
+[PASS] test_address_paginate_MiddleOffset() (gas: 45685)
+[PASS] test_address_paginate_OffsetAtEnd() (gas: 15008)
+[PASS] test_address_paginate_OffsetBeyondEnd() (gas: 13565)
+[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, μ: 11205156, ~: 10413875)
+[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, μ: 769644, ~: 138894)
+[PASS] test_uint_paginate_LargeSet() (gas: 463783795)
+[PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
+[PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
+[PASS] test_uint_paginate_LimitOne() (gas: 14809)
+[PASS] test_uint_paginate_LimitZero() (gas: 11638)
+[PASS] test_uint_paginate_MaxUint256Limit() (gas: 2748363)
+[PASS] test_uint_paginate_MiddleOffset() (gas: 44646)
+[PASS] test_uint_paginate_OffsetAtEnd() (gas: 14887)
+[PASS] test_uint_paginate_OffsetBeyondEnd() (gas: 13433)
+[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, μ: 11068422, ~: 10359841)
+[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 17.95s (44.66s CPU time)
+Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
+[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
+[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
+[PASS] test_assertNotPaused_Success() (gas: 14934)
+[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
+[PASS] test_defaultPaused_InitialState() (gas: 15571)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
+[PASS] test_isPaused_Default() (gas: 44698)
+[PASS] test_isPaused_InitialState() (gas: 22070)
+[PASS] test_isPaused_MultipleIDs() (gas: 73915)
+[PASS] test_isPaused_Override() (gas: 69381)
+[PASS] test_isPaused_Specific() (gas: 46709)
+[PASS] test_isPaused_SpecificDisabled() (gas: 51615)
+[PASS] test_pauseConfig() (gas: 45626)
+[PASS] test_setDefaultPaused() (gas: 39667)
+[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27865, ~: 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, μ: 38437, ~: 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, μ: 58253, ~: 46989)
+[PASS] test_storageHash() (gas: 3480)
+[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
+[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
+[PASS] test_whenNotPaused_Success() (gas: 41297)
+[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
+[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
+Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 18.40s (945.44ms 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, μ: 47667, ~: 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, μ: 45580, ~: 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, μ: 35069, ~: 42268)
+[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
+[PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
+[PASS] test_setFeeBps() (gas: 77237)
+Logs:
+  Bound result 500
+[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68628, ~: 77570)
+[PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
+[PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
+[PASS] test_storageHash() (gas: 3436)
+Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 18.56s (1.02s CPU time)
+Ran 17 test suites in 18.60s (96.81s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
+⏳ forge test: 35.640s