Compound Upgrade Bug

if (supplierIndex == 0 && supplyIndex > compInitialIndex) {
    // Covers the case where users supplied tokens before the market's supply state index was set.
    // Rewards the user with COMP accrued from the start of when supplier rewards were first
    // set for the market.
    supplierIndex = compInitialIndex;
}

// CONCEPTUAL - Verify that COMP accrual never exceeds the maximum possible rate
function assertionValidCompAccrual() external view {
    PhEvm.CallInputs[] memory distributions = ph.getCallInputs(
        address(comptroller), Comptroller.distributeSupplierComp.selector
    );

    for (uint256 i = 0; i < distributions.length; i++) {
        // Decode call inputs (selector already stripped by cheatcode)
        (address cToken, address supplier) = abi.decode(distributions[i].input, (address, address));

        // Check COMP accrued before distribution
        PhEvm.ForkId memory preCallFork = PhEvm.ForkId({forkType: 2, callIndex: distributions[i].id});
        uint256 preAccrued = comptroller.compAccrued(supplier);
        uint256 supplyIndex = comptroller.compSupplyState(cToken).index;
        uint256 maxDeltaPerToken = supplyIndex - comptroller.compInitialIndex();
        uint256 supplierTokens = CToken(cToken).balanceOf(supplier);
        uint256 maxIncrease = supplierTokens * maxDeltaPerToken;

        // Check COMP accrued after distribution
        PhEvm.ForkId memory postCallFork = PhEvm.ForkId({forkType: 3, callIndex: distributions[i].id});
        uint256 postAccrued = comptroller.compAccrued(supplier);

        if (postAccrued > preAccrued) {
            uint256 increase = postAccrued - preAccrued;
            require(increase <= maxIncrease, "COMP accrual increase exceeds maximum possible rate");
        }
    }
}