test(host-contracts): drop cast-granularity invariant

Author: Eikix

host-contracts/test/hcuLimit/HCULimit.invariants.t.sol

@@ -155,10 +155,9 @@ contract HCULimitInvariantTest is StdInvariant, Test {
     function setUp() public {
         // Invariants targeted by this harness:
         // 1) block meter block number equals current block.
-        // 2) used block HCU stays aligned with cast-op granularity (multiple of 32).
-        // 3) whitelisted callers never consume the public block meter.
-        // 4) non-whitelisted accounting is consistent with successful casts.
-        // 5) meter resets after block advancement.
+        // 2) whitelisted callers never consume the public block meter.
+        // 3) non-whitelisted accounting is consistent with successful casts.
+        // 4) meter resets after block advancement.
         _deployAndEtchACL();
 
         address proxy =
@@ -191,12 +190,6 @@ contract HCULimitInvariantTest is StdInvariant, Test {
         assertEq(blockNumber, uint64(block.number));
     }
 
-    function invariant_blockMeterUsesCastGranularity() public view {
-        // Invariant: accounted block HCU is made of Uint8 cast ops (32 HCU each), so it stays a multiple of 32.
-        (, uint192 usedHCU) = hcuLimit.getBlockMeter();
-        assertEq(uint256(usedHCU) % 32, 0);
-    }
-
     function invariant_whitelistedCallsDoNotConsumePublicMeter() public view {
         // Invariant: calls from whitelisted callers must never increase the public block meter.
         assertFalse(handler.whitelistViolation());