Unraveling a Curious Edge Case in EigenLayer's Slashing Accounting

Examining an interesting edge case discovered in EigenLayer's beacon chain slashing calculation that affects withdrawable share calculations.