Current version of Beanstalk deployed on Mainnet has following logic of order creation in Market:
Order on Market means that order creator wants to buy Pod for Beans. During creation Market transfers Beans from orderer to Beanstalk. Problem is that those transferred Beans are not reflected on User's internal balance.
It means after migration these Beans won't be returned because it is not internal balance.
Here you can see that Market transfers Beans from user via function LibTransfer.receiveToken()
:
https://github.com/BeanstalkFarms/Beanstalk/pull/909/files#diff-38bfddf2eaaa5a2f714bcff17d7bef97c83eed773fb2a0e51c6e327eee98b839L113-L133
As you can see these Beans are not reflected in internal balance:
So it means Users will lose those Beans during migration because it won't be refunded via contract ReseedInternalBalances.sol
Users who have open orders on Market during migration will lose their Beans submitted during order creation.
Manual Review
Migrate orderers' Beans submitted to Beanstalk.
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.