UnripeFacet.addMigratedUnderlying() wouldn't work with FOT tokens.
addMigratedUnderlying() increases the underlying by amount after the transfer and the underlying tracking might be broken if unripeToken is a FOT token.
UnripeFacet would be broken with FOT unripeToken.
Manual Review
Underlying balances should be tracked using pre/post balances.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.