account for withdrawals after exit

assets/rpip-62/rewards-calculation-spec.md

@@ -634,10 +634,14 @@ If the range is empty (`eligibleStartTime >= eligibleEndTime`), award a `minipoo
 rewardStartBcSlot := math.Ceil((eligibleStartTime - genesisTime) / secondsPerSlot)
 rewardEndBcSlot := math.Ceil((eligibleEndTime - genesisTime) / secondsPerSlot)
 ```
-For each slot in the reward interval, get the list of validator withdrawals (e.g. `/eth/v2/beacon/blocks/<slotIndex>`). Note the `address` and `amount` for withdrawals that correspond to an eligible minipool and add them to the minipool's total. Withdrawals that do not occur in `(rewardStartBcSlot, rewardEndBcSlot]` should be ignored.
+For each slot in the reward interval, get the list of validator withdrawals (e.g. `/eth/v2/beacon/blocks/<slotIndex>`). Note the `address` and `amount` for withdrawals that correspond to an eligible minipool and add them to the minipool's total. Withdrawals that do not occur in `(rewardStartBcSlot, rewardEndBcSlot]` should be ignored. If the slot is ahead of the validator's `withdrawable_epoch` (e.g. `/eth/v1/beacon/states/<targetBcSlot>/validators?id=0x<pubkey>`), credit the full withdrawal amount.
 ```go
 minipoolWithdrawals[address] += amount
 ```
+Otherwise, only credit what is in excess of the maximum effective balance.
+```go
+minipoolWithdrawals[address] += max(0, amount - 32 Eth)
+```
 Use the cumulative withdrawals to calculate the minipool's eligible consensus income and corresponding bonus.
 ```go
 consensusIncome := minipoolWithdrawals[minipool.Address]