Submitted by dipp, also found by cccz, cryptphi, datapunk, hyh, kenzo, Lambda, and WatchPug
The maxRedeem function is a view function which only returns the balance of the Redeemer.sol contract. After this value is obtained, the PT is not redeemed from Notional. The user will be unable to redeem PT from Notional through Redeemer.sol.
Notional code:
Call redeem from Notional using the amount from maxRedeem as the shares input after the call to maxRedeem.
kenzo (warden) commented:
gzeoneth (judge) increased severity to High
sourabhmarathe (Illuminate) confirmed and commented
