npm - @layerzerolabs/utils-upgradeable-evm-contracts - Versions diffs - 0.2.88 → 0.2.90 - Mend

@layerzerolabs/utils-upgradeable-evm-contracts 0.2.88 → 0.2.90

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 +691 -785
package/package.json +6 -6

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

@@ -5,86 +5,15 @@
 ✅ 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:67047) [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:97169) [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
-5760fdd70374: Waiting
-f2fb700979ad: Pulling fs layer
-2a1ced882ba9: Pulling fs layer
-597168d5c38e: Pulling fs layer
-eef7c391911c: Download complete
-e431adaf232f: Pulling fs layer
-36e15e3f2788: Pulling fs layer
-8e167e77288f: Waiting
-36e15e3f2788: Waiting
-45d43cc973ba: Waiting
-0cb2c6965bde: Waiting
-885bca26f927: Waiting
-44c09156221f: Waiting
-c70db14240a1: Waiting
-f2fb700979ad: Waiting
-597168d5c38e: Waiting
-e431adaf232f: Waiting
-2a1ced882ba9: Waiting
-5760fdd70374: Verifying Checksum
-5760fdd70374: Download complete
-86ec798129ac: Verifying Checksum
-86ec798129ac: Download complete
-c70db14240a1: Download complete
-cc2ecf4065b7: Verifying Checksum
-cc2ecf4065b7: Download complete
-86ec798129ac: Pull complete
-eef7c391911c: Pull complete
-8e167e77288f: Download complete
-0cb2c6965bde: Verifying Checksum
-0cb2c6965bde: Download complete
-45d43cc973ba: Verifying Checksum
-45d43cc973ba: Download complete
-44c09156221f: Download complete
-cc2ecf4065b7: Pull complete
-f2fb700979ad: Download complete
-5760fdd70374: Pull complete
-c70db14240a1: Pull complete
-597168d5c38e: Download complete
-0cb2c6965bde: Pull complete
-2a1ced882ba9: Download complete
-36e15e3f2788: Download complete
-885bca26f927: Verifying Checksum
-885bca26f927: Download 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
 👤 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 10.99s
+Solc 0.8.22 finished in 11.65s
 Compiler run successful with warnings:
 Warning (2018): Function state mutability can be restricted to view
   --> test/EnumerableSetPagination.t.sol:91:5:
@@ -243,7 +172,16 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
 [PASS] test_setRateLimitStates_Single() (gas: 49974)
 [PASS] test_storageHash() (gas: 3414)
 [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
-Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 9.98ms (7.38ms CPU time)
+Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 19.53ms (16.88ms 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 54.78ms (54.10ms CPU time)
 Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
 [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -286,72 +224,45 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
 [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 11.87ms (8.68ms CPU time)
+Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 38.72ms (16.48ms CPU time)
+Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26683, ~: 12786)
+[PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
+[PASS] test_assertNotPaused_Success() (gas: 12539)
+[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
+[PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
+[PASS] test_isPaused_InitialState() (gas: 15629)
+[PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
+[PASS] test_multipleRoleGrants() (gas: 394130)
+[PASS] test_pause() (gas: 42109)
+[PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
+[PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
+[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30094, ~: 18756)
+[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, μ: 41562, ~: 38860)
+[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 134.13ms (256.67ms 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_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
 [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
 [PASS] test_storageHash() (gas: 3337)
-Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 45.25ms (44.70ms 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 101.36ms (101.13ms 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 57.26ms (56.60ms 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 197.13ms (443.09ms CPU time)
+Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 176.33ms (85.76ms CPU time)
 Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
 [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -387,35 +298,39 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
 [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 204.54ms (277.92ms CPU time)
+Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 230.94ms (406.12ms 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, μ: 44926, ~: 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, μ: 42951, ~: 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, μ: 32637, ~: 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, μ: 65118, ~: 74224)
-[PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
-[PASS] test_storageHash() (gas: 3426)
-Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 869.67ms (339.20ms 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 1.00s (381.50ms CPU time)
 Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
 [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -432,16 +347,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, μ: 28290, ~: 39918)
+[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27841, ~: 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, μ: 38557, ~: 43373)
+[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38517, ~: 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, μ: 57800, ~: 46989)
+[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58637, ~: 69608)
 [PASS] test_storageHash() (gas: 3480)
 [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
 [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -449,845 +364,818 @@ 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 1.04s (261.42ms CPU time)
+Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.03s (293.03ms CPU time)
-Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
-[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25544, ~: 12763)
-[PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
-[PASS] test_assertNotPaused_Success() (gas: 12516)
-[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
-[PASS] test_isPaused_InitialState() (gas: 15595)
-[PASS] test_pause() (gas: 39592)
-[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27898, ~: 16219)
-[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
-[PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
-[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
-[PASS] test_storageHash() (gas: 3414)
-[PASS] test_unpause() (gas: 31115)
-[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40504, ~: 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 1.10s (234.73ms 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 931.65ms (73.97ms CPU time)
-Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
-[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27192, ~: 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, μ: 30826, ~: 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, μ: 41680, ~: 44479)
-[PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
-[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
-[PASS] test_whenNotPaused_Success() (gas: 38800)
-[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
-[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
-[PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
-Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.17s (163.00ms 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.12s (488.59ms CPU time)
-Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
+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, μ: 30352, ~: 18826)
+[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, μ: 43925, ~: 48696)
+[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222868, ~: 219722)
+[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, μ: 62203, ~: 50341)
+[PASS] test_storageHash() (gas: 3392)
+[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
+[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
+[PASS] test_whenNotPaused_Success() (gas: 41299)
+[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
+[PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
+[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
+Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.12s (529.44ms 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              | 522   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 524   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 557   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 534   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 566   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 585   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 566   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 549   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 266
-  Bound result 682
-  Bound result 7198
-  Bound result 9425
-  Bound result 9324
-  Bound result 321
-  Bound result 2
-  Bound result 418
-  Bound result 43
+  Bound result 9900000000000000006502
+  Bound result 9900000000000000006362
+  Bound result 5608
+  Bound result 7490
+  Bound result 8552
+  Bound result 2737072852
   Bound result 0
-  Bound result 9719
-  Bound result 448
-  Bound result 100000000000000000001
-  Bound result 9900000001495121234951
-  Bound result 6242
-  Bound result 11
-  Bound result 9900000000000000006607
-  Bound result 9900000000000000008226
-  Bound result 2629
-  Bound result 890
-  Bound result 5520
-  Bound result 2546
-  Bound result 647
-  Bound result 15555335576731306778703
-  Bound result 8436
-  Bound result 37462
-  Bound result 313
-  Bound result 3
+  Bound result 8394828540494898387143
+  Bound result 9028
+  Bound result 9976
+  Bound result 8667
+  Bound result 0
+  Bound result 307
+  Bound result 10558
+  Bound result 1
+  Bound result 2661
+  Bound result 6914264337541509458645
+  Bound result 842910713
 [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 560   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 528   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 504   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 572   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 583   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 541   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 572   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 536   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 9900000000001764130261
-  Bound result 9900177062347344251619
-  Bound result 7470
-  Bound result 9997
-  Bound result 9745
+  Bound result 936
+  Bound result 870680033952086880469
+  Bound result 9900000280956623565102
+  Bound result 10
+  Bound result 33
+  Bound result 9900000000000000005130
+  Bound result 9900000000000000008388
+  Bound result 5025
+  Bound result 9975
+  Bound result 2703
+  Bound result 555
+  Bound result 214
+  Bound result 7447
+  Bound result 7590
+  Bound result 17
+  Bound result 12284660694548556391805
+  Bound result 18432727978832894860358
+  Bound result 27
+  Bound result 1425372418870271346154
   Bound result 2
-  Bound result 5603
-  Bound result 4041
-  Bound result 1626
-  Bound result 9900000000306633693458
-  Bound result 9900000000000000000005
-  Bound result 688
-  Bound result 11
-  Bound result 8365
-  Bound result 122
-  Bound result 406
-  Bound result 100000000000000000003
-  Bound result 9900000000000000029643
-  Bound result 1165
-  Bound result 56
-  Bound result 9900000000000000010829
-  Bound result 9900000000000000003444
-  Bound result 2155
-  Bound result 8351
+  Bound result 131
+  Bound result 928
+  Bound result 3
+  Bound result 100000000000000000000
+  Bound result 160241908583501529056
+  Bound result 23
+  Bound result 9527
+  Bound result 9900000000002739854340
+  Bound result 9900000000000000004194
+  Bound result 6743
+  Bound result 8724
+  Bound result 1586
 [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 574   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 539   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 534   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 529   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 571   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 479   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 584   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 561   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 565   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 586   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 528   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 514264337593504336252
-  Bound result 7
-  Bound result 0
-  Bound result 625761768
-  Bound result 9900938080326754094145
-  Bound result 9900000000000000000005
-  Bound result 85
-  Bound result 3448
-  Bound result 4572
-  Bound result 2179033038
+  Bound result 120126172
+  Bound result 9900000000000000000384
+  Bound result 9900000000000000008081
+  Bound result 7533
+  Bound result 1106
+  Bound result 2361170317345673844
+  Bound result 79
+  Bound result 3930
+  Bound result 351
   Bound result 1
-  Bound result 1885
-  Bound result 13069422878675018803045
-  Bound result 9900000000000000010441
-  Bound result 3169422878675018803044
-  Bound result 2289
-  Bound result 7422
-  Bound result 9900000000087236089447
-  Bound result 9900000003287639150334
-  Bound result 34
-  Bound result 191
-  Bound result 34
-  Bound result 8256
-  Bound result 133783230806191199508
+  Bound result 64858553136453261
+  Bound result 10177970
+  Bound result 1
+  Bound result 7182
 [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 548   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 547   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 548   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 561   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 552   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 541   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 536   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 550   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 578   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 560   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 545   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1193
-  Bound result 950
-  Bound result 9008
-  Bound result 1062
-  Bound result 1416
-  Bound result 587
-  Bound result 1622370234201091457153
-  Bound result 983
-  Bound result 319
-  Bound result 203383
-  Bound result 514264337593543950334
-  Bound result 9900000000000000008164
-  Bound result 9900000000000000005841
-  Bound result 6770
-  Bound result 7291
-  Bound result 9059
-  Bound result 1235
-  Bound result 966
-  Bound result 9900000000000000008151
-  Bound result 9900000000000000002430
-  Bound result 7275
-  Bound result 1556
-  Bound result 5652
+  Bound result 1737283783321160611425
+  Bound result 1213176649727457792503
+  Bound result 0
+  Bound result 817
+  Bound result 5198
+  Bound result 1
+  Bound result 1140215158193694462296
+  Bound result 280433268348321584924
+  Bound result 88361866341315578110
+  Bound result 1
+  Bound result 688572355706
+  Bound result 502208948545
+  Bound result 1
+  Bound result 3480
+  Bound result 2163
+  Bound result 1
+  Bound result 9900000000000000005100
+  Bound result 9900000000000000003588
+  Bound result 580
+  Bound result 7064
+  Bound result 7470
+  Bound result 4208
+  Bound result 158152548184649
+  Bound result 96
+  Bound result 9900000000000000005805
+  Bound result 2171449129615187758927
+  Bound result 670
+  Bound result 8822
 [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 543   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 565   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 551   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 539   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 557   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 565   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 545   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 541   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 78
-  Bound result 20
-  Bound result 764
+  Bound result 100000000000000000002
+  Bound result 100000000000000000001
+  Bound result 9998
+  Bound result 9525
+  Bound result 245134047024
+  Bound result 58215655257559665
+  Bound result 8993
+  Bound result 6889
   Bound result 0
-  Bound result 9900481608213320064090
-  Bound result 131853355747112952674
-  Bound result 20
+  Bound result 6914264337593535947488
+  Bound result 3321806052017649644244
+  Bound result 93
+  Bound result 9281
+  Bound result 127651733157508988170
+  Bound result 45056012726518494
+  Bound result 10708
+  Bound result 3016663576
+  Bound result 1
+  Bound result 9900000272548288770462
+  Bound result 9900315524224576718983
+  Bound result 8082
   Bound result 12
-  Bound result 4008
-  Bound result 1661981
-  Bound result 8
-  Bound result 9918392014684758961034
-  Bound result 9900001993264902744496
-  Bound result 5593
-  Bound result 9720
-  Bound result 467861620771823830016
-  Bound result 4548
-  Bound result 10762480256783976092700
-  Bound result 186371296318635282977
-  Bound result 15693
 [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 563   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 540   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 528   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 564   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 524   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 516   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 509   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 585   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1474
-  Bound result 1528
-  Bound result 9900000000000000009451
-  Bound result 9900000000003644407704
-  Bound result 128
-  Bound result 906
-  Bound result 275
+  Bound result 9901435632743157644241
+  Bound result 9901969462164895524567
+  Bound result 3947
+  Bound result 52
+  Bound result 452777886
+  Bound result 921
+  Bound result 0
+  Bound result 2207
+  Bound result 441
+  Bound result 0
+  Bound result 47019549863
+  Bound result 6820916856024568582471
   Bound result 1
-  Bound result 8307605992826885565
-  Bound result 100000000000000000000
-  Bound result 9900000000000000000189
-  Bound result 506
-  Bound result 9051
-  Bound result 388
-  Bound result 1822203852
-  Bound result 279
-  Bound result 4255
-  Bound result 2108
-  Bound result 7452
-  Bound result 2
+  Bound result 18997737545007534654196
+  Bound result 9900000000000000008510
+  Bound result 9900000000000000000934
+  Bound result 3991
+  Bound result 868
+  Bound result 797
+  Bound result 12479280886668816485408
+  Bound result 131
+  Bound result 12
+  Bound result 9900000000000000000146
+  Bound result 9900000000000000007794
+  Bound result 7401
+  Bound result 7057
+  Bound result 9900000000001666094043
+  Bound result 9900000000000000000082
+  Bound result 5740
+  Bound result 187
+  Bound result 12549129077330
+  Bound result 7471
 [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 558   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 529   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 560   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 555   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 542   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 560   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 585   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 517   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 557   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 508   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 546   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 11178
-  Bound result 449
-  Bound result 1
-  Bound result 7798777546079952448952
-  Bound result 9900000000000005054783
-  Bound result 9995
-  Bound result 3652
-  Bound result 83
-  Bound result 260755
-  Bound result 741873031162
-  Bound result 0
-  Bound result 1225
-  Bound result 14201482529071046824519
-  Bound result 16299590608173165788272
-  Bound result 3439448184466023600725
-  Bound result 9900000000000000000274
-  Bound result 3273
-  Bound result 1626
-  Bound result 2636033095998659867858
-  Bound result 2
+  Bound result 9900000000000000008273
+  Bound result 9900000000000000009798
+  Bound result 6121
+  Bound result 4117
+  Bound result 97
+  Bound result 163
   Bound result 1
-  Bound result 2289400113066123904152
-  Bound result 1298090181993939592
-  Bound result 0
-  Bound result 29408870925745
-  Bound result 6914264337591347169654
+  Bound result 5303
+  Bound result 9910141428271184924719
+  Bound result 9900000278900667391154
+  Bound result 10
+  Bound result 337
+  Bound result 7119492002508891274431
+  Bound result 9900000000000000000022
+  Bound result 47
+  Bound result 4550
+  Bound result 20533959969648266
   Bound result 1
-  Bound result 483
-  Bound result 9900000000000000001895
-  Bound result 9900000000000000002115
-  Bound result 2685
-  Bound result 2041
+  Bound result 2244997822931059126814
+  Bound result 39250825971985
+  Bound result 9
+  Bound result 41
+  Bound result 9900000000000000008292
+  Bound result 9900000000002072215440
+  Bound result 9539
+  Bound result 8363
+  Bound result 611357
 [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 515   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 499   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 567   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 575   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 550   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 558   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 597   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 515   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 571   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 563
-  Bound result 299444063094638688
-  Bound result 9647485562296800769
-  Bound result 220
-  Bound result 1077
-  Bound result 395
+  Bound result 1976
+  Bound result 9900000000002739854341
+  Bound result 9900000000000000004861
+  Bound result 3135
+  Bound result 1141
+  Bound result 1082
+  Bound result 1808
+  Bound result 565
+  Bound result 4382
+  Bound result 1538
   Bound result 1
-  Bound result 9900000000000000000921
-  Bound result 9909647485562296800769
-  Bound result 4687
-  Bound result 4578
-  Bound result 0
-  Bound result 49462664087622
-  Bound result 59
-  Bound result 1725540767
-  Bound result 6775337674500201682265
-  Bound result 989
-  Bound result 8536
-  Bound result 3343
+  Bound result 3218
+  Bound result 3500
+  Bound result 695283524515289737
+  Bound result 154
+  Bound result 2703
+  Bound result 1980
+  Bound result 4780480609335395172676
+  Bound result 8151
-Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.16s (8.01s CPU time)
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.21s (7.53s 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, μ: 30352, ~: 18826)
-[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, μ: 43802, ~: 48533)
-[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223285, ~: 219722)
-[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, μ: 62364, ~: 50341)
-[PASS] test_storageHash() (gas: 3392)
-[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
-[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
-[PASS] test_whenNotPaused_Success() (gas: 41299)
-[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
-[PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
-[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
-Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.23s (700.81ms CPU time)
-Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
+Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
 [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 525   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 577   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 595   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 573   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 565   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 525   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 546   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 554   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 568   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 537   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 528   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 530   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 15756410177388
-  Bound result 10339
-  Bound result 2112
-  Bound result 3480
-  Bound result 1
-  Bound result 680843945370168292307
-  Bound result 4323140131840525635383
-  Bound result 8523
-  Bound result 11
-  Bound result 9900000007288840234757
-  Bound result 6914264337593535947490
-  Bound result 2968
-  Bound result 1013
-  Bound result 534
-  Bound result 6816340990616135322902
-  Bound result 3154640558
-  Bound result 1
-  Bound result 246495975683007979715
-  Bound result 1936
-  Bound result 5385652018671513
-  Bound result 0
+  Bound result 151682778951939441208
+  Bound result 2662
+  Bound result 1276903905756972045818
+  Bound result 2993501870104115
+  Bound result 8822
+  Bound result 8360
   Bound result 0
-  Bound result 6330922687912207087236
-  Bound result 377573854
-  Bound result 6047
+  Bound result 1424
+  Bound result 1489014834153439195724
+  Bound result 51
+  Bound result 1
+  Bound result 1008
+  Bound result 1098973056063784337
+  Bound result 514264337593504336252
+  Bound result 2
+  Bound result 21369408
+  Bound result 9640448787159967756
+  Bound result 94
 [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 574   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 574   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 539   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 520   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 568   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 547   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 569   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 510   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 516   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 478
-  Bound result 2242
-  Bound result 160986979834129688
-  Bound result 241439219
-  Bound result 78822295317
-  Bound result 270
-  Bound result 7514
-  Bound result 8616
-  Bound result 314
-  Bound result 2951
-  Bound result 663714114
-  Bound result 287
-  Bound result 827780903048172113294
-  Bound result 1919023671891984016484
-  Bound result 412
-  Bound result 9063
-  Bound result 5858
-  Bound result 204
-  Bound result 9900027463045794647316
-  Bound result 9900000000000000005906
-  Bound result 1494
-  Bound result 7445
+  Bound result 9900000000005213095882
+  Bound result 9900000000028674913627
+  Bound result 10
+  Bound result 214
+  Bound result 9900000000000000000057
+  Bound result 9900000000000000007156
+  Bound result 15
+  Bound result 837
+  Bound result 9900447468623958583769
+  Bound result 2547688749660059110349
+  Bound result 9340
+  Bound result 374
+  Bound result 9900000000000000006769
+  Bound result 3809390487600928818124
+  Bound result 6660
+  Bound result 295
+  Bound result 9040
+  Bound result 9900000000000000003213
+  Bound result 9900000000000000000719
+  Bound result 6028
+  Bound result 2469
+  Bound result 712
+  Bound result 789
+  Bound result 339
+  Bound result 3572
+  Bound result 17561954285545583716
+  Bound result 9900000000119889214994
+  Bound result 9900000000000000000024
+  Bound result 12
+  Bound result 7726
+  Bound result 5034
 [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 570   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 571   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 524   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 580   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
 | RateLimiterRBACUpgradeableHandler | setConfig           | 543   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 562   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 530   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 510   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 555   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 503   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 559   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 558   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 724
-  Bound result 2464
+  Bound result 7476
+  Bound result 131
+  Bound result 10031
   Bound result 0
-  Bound result 9900000000461781101632
-  Bound result 9900000000064315383611
-  Bound result 1756
-  Bound result 2234
-  Bound result 544
-  Bound result 1435
-  Bound result 2951
-  Bound result 1
-  Bound result 4
-  Bound result 4400385757059352780686
-  Bound result 9387
-  Bound result 9054006455419932287858
-  Bound result 9900000000005272335002
-  Bound result 9900000014560907777160
-  Bound result 10
-  Bound result 1192
-  Bound result 9900000000000483829832
-  Bound result 100000000000000000002
-  Bound result 10
-  Bound result 8972
+  Bound result 249
+  Bound result 684425853285779546398
+  Bound result 24
+  Bound result 1320
+  Bound result 1895
+  Bound result 169
+  Bound result 1668844
+  Bound result 1724764869414075024727
+  Bound result 222
 [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 577   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 553   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 510   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 577   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 554   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 514   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 554   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 558   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 521   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 513   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 551   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1695915
-  Bound result 278190289695296
-  Bound result 9900000000000002261916
-  Bound result 9967054382252403211121
-  Bound result 8862
-  Bound result 2443
-  Bound result 10264
-  Bound result 7395
-  Bound result 1311
-  Bound result 0
-  Bound result 9900000000000000007499
-  Bound result 9900000000000000008484
-  Bound result 7183
-  Bound result 9765
-  Bound result 2737072850
-  Bound result 116713981149828655699
-  Bound result 9900000000000000006389
-  Bound result 9900000000000000001763
-  Bound result 478
-  Bound result 2525
-  Bound result 64994500504
-  Bound result 219
-  Bound result 1
-  Bound result 3193
+  Bound result 895
+  Bound result 2457592463101872272094
+  Bound result 9900000000000000001377
+  Bound result 4351
+  Bound result 7182
+  Bound result 485
+  Bound result 1058825232582377226
+  Bound result 1777690607061088807993
+  Bound result 3687
+  Bound result 199
+  Bound result 66076353
+  Bound result 5226
+  Bound result 4470929879607923719828
+  Bound result 1436
+  Bound result 143
+  Bound result 9900000000000000139737
+  Bound result 6914264337593535947489
+  Bound result 9995
+  Bound result 3993
+  Bound result 4
+  Bound result 17734755
 [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 555   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 562   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 572   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 562   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 545   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 505   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 531   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 555   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 544   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 576   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1284
-  Bound result 808
-  Bound result 5533
-  Bound result 759
-  Bound result 683
-  Bound result 1807
-  Bound result 14
-  Bound result 1531108174798942166340
+  Bound result 876
+  Bound result 1766
+  Bound result 10075
+  Bound result 0
+  Bound result 121120430336020
+  Bound result 17668799789
+  Bound result 6
   Bound result 0
-  Bound result 91
-  Bound result 625761767
-  Bound result 9591
-  Bound result 454
-  Bound result 255278461221930126491
-  Bound result 1153
-  Bound result 241356
-  Bound result 221588701582452
-  Bound result 230
+  Bound result 13548451959704
+  Bound result 326091433760085296944
+  Bound result 6914264337593535947488
+  Bound result 9900000000000000226268
+  Bound result 9505
+  Bound result 14
+  Bound result 6123
+  Bound result 57
+  Bound result 1698
 [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 529   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 539   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 587   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 535   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 512   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 548   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 584   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 588   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 566   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 523   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 534   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 276034665707622
-  Bound result 514264337593543950334
-  Bound result 564822615475255625601
-  Bound result 9900068460829765944925
+  Bound result 9900017952458027690513
+  Bound result 8287091688005770826950
   Bound result 10
-  Bound result 9040
-  Bound result 157704379145375507296
-  Bound result 88994716493022
-  Bound result 1464
-  Bound result 11471
-  Bound result 9843
-  Bound result 4177296027574103048
-  Bound result 2788308075584169
-  Bound result 2
-  Bound result 8142
-  Bound result 496422074093579213392
-  Bound result 9900000000000244596958
-  Bound result 7561363661540362412279
-  Bound result 9051
-  Bound result 6241
-  Bound result 2004894859008475082132
-  Bound result 9900910754559575504675
-  Bound result 13
-  Bound result 529
+  Bound result 9691
+  Bound result 33760908301
+  Bound result 13090047
+  Bound result 55
+  Bound result 0
+  Bound result 6914264337593535947489
+  Bound result 9900096052103092089140
+  Bound result 3758
+  Bound result 1437
+  Bound result 663714115
+  Bound result 2439649222
+  Bound result 2733
+  Bound result 0
+  Bound result 9
+  Bound result 9900000000000000000010
+  Bound result 9900000068023548740028
+  Bound result 6240
+  Bound result 3344
+  Bound result 5804090968050
 [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 493   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 520   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 567   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 559   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 562   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 532   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 567   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 576   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 529   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 565   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 541   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1639907385012838898591
-  Bound result 8710793500579578103354
-  Bound result 8930
-  Bound result 5708
-  Bound result 9900000000014296949333
-  Bound result 9900000000000000000016
-  Bound result 37
-  Bound result 5249
-  Bound result 4100
-  Bound result 6853
-  Bound result 9900000000000000001081
-  Bound result 9900000000000000008720
-  Bound result 637
-  Bound result 9638
-  Bound result 24
-  Bound result 8780606157464091061336
-  Bound result 210
-  Bound result 3840
-  Bound result 807154940103
-  Bound result 919319078899173501
-  Bound result 227884
-  Bound result 2396
-  Bound result 9900000000000000009735
-  Bound result 9900000000000000002565
-  Bound result 7902
-  Bound result 2193
+  Bound result 9900000000000000005260
+  Bound result 9900000000000000008020
+  Bound result 1197
+  Bound result 2154
+  Bound result 3
+  Bound result 593731
+  Bound result 1
+  Bound result 45737202793946167
+  Bound result 10032
+  Bound result 1
+  Bound result 1750
+  Bound result 1161
+  Bound result 9901809734780428299969
+  Bound result 9900000000000000141425
+  Bound result 7273
+  Bound result 10000
+  Bound result 12828
+  Bound result 9900000000000005431081
+  Bound result 9900000000019871349026
+  Bound result 10
+  Bound result 2575
 [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
 ╭-----------------------------------+---------------------+-------+---------+----------╮
 | Contract                          | Selector            | Calls | Reverts | Discards |
 +======================================================================================+
-| RateLimiterRBACUpgradeableHandler | inflow              | 515   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | inflow              | 591   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | outflow             | 509   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | outflow             | 542   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setConfig           | 566   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setConfig           | 556   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | setState            | 570   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | setState            | 542   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleExemption     | 538   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleExemption     | 519   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549   | 0       | 0        |
 |-----------------------------------+---------------------+-------+---------+----------|
-| RateLimiterRBACUpgradeableHandler | warp                | 592   | 0       | 0        |
+| RateLimiterRBACUpgradeableHandler | warp                | 541   | 0       | 0        |
 ╰-----------------------------------+---------------------+-------+---------+----------╯
 Logs:
-  Bound result 1246
-  Bound result 9900000000000000008267
-  Bound result 9900000000000000007227
-  Bound result 2092
-  Bound result 1218
-  Bound result 5747629883115674161833
-  Bound result 9900000000000000000031
-  Bound result 100000000000000000001
-  Bound result 88
-  Bound result 52
-  Bound result 79
-  Bound result 851
-  Bound result 1414553418643056350
-  Bound result 180233191797656834267
-  Bound result 9
-  Bound result 6914264337593295862171
-  Bound result 411771209103
-  Bound result 912046796271351
-  Bound result 3711
-  Bound result 3480154038
-  Bound result 33
+  Bound result 2287
+  Bound result 1639805793218462478543
+  Bound result 2488403
+  Bound result 0
+  Bound result 6914264337593535947491
+  Bound result 8329126248925412494793
+  Bound result 10
+  Bound result 1844
+  Bound result 24
+  Bound result 1
+  Bound result 916102954409750450050
+  Bound result 727816287905
+  Bound result 340
+  Bound result 501800
+  Bound result 6640
-Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.30s (7.88s CPU time)
+Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.18s (7.63s 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, μ: 47612, ~: 48966)
+[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47252, ~: 48966)
 [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
 [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
 [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
@@ -1296,60 +1184,78 @@ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTes
 [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, μ: 45620, ~: 47017)
+[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45783, ~: 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, μ: 35123, ~: 42268)
+[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35023, ~: 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, μ: 68898, ~: 77570)
+[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68619, ~: 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 10.72s (693.82ms CPU time)
+Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.89s (614.76ms 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 10.72s (464.81ms CPU time)
+Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
+[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25776, ~: 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_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, μ: 40486, ~: 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 10.89s (223.17ms 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, μ: 44703, ~: 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, μ: 43069, ~: 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, μ: 32384, ~: 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, μ: 65917, ~: 74224)
+[PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
+[PASS] test_storageHash() (gas: 3426)
+Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.89s (431.43ms 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, μ: 770146, ~: 106794)
+[PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 853034, ~: 330469)
 [PASS] test_address_paginate_LargeSet() (gas: 465360224)
 [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
 [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1362,12 +1268,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, μ: 11259615, ~: 10651761)
+[PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11127624, ~: 10503557)
 [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, μ: 845498, ~: 416396)
+[PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 732328, ~: 200117)
 [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
 [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
 [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1380,10 +1286,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, μ: 11190881, ~: 10456685)
+[PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11227358, ~: 10488935)
 [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 10.78s (25.49s CPU time)
+Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.04s (26.08s CPU time)
-Ran 17 test suites in 10.81s (40.72s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
-⏳ forge test: 24.037s
+Ran 17 test suites in 11.06s (51.96s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
+⏳ forge test: 25.645s