based on the design of the protocol, after claim period has ended and the manager has taken her cut, the remainingCut in the Pot should be shared amongst the claimants and NOT the players; hence using the logic uint256 claimantCut = (remainingRewards - managerCut) / i_players.length; in Pot::closePot is wrong and results in distributing to users who do not meet up with the criteria for distribution.
based on the docs, it states that ...the manager takes a cut of the remaining pool and the remainder is distributed equally to those who claimed in time!, therefore using i_players.length is wrong
distribution of remaing reward to non qualified users
manual review
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.