The debt parameter for Repaid event denotes how much debt has been repaid excluding interest and fee.
There are 4 locations where Repaid event is emitted where debt parameter has different meaning.
loan.debt for Lender.repay(), Lender.refinance()
loan.debt + lenderInterest + protocolInterest for Lender.buyLoan(), Lender.giveLoan()
https://github.com/Cyfrin/2023-07-beedle/blob/main/src/Lender.sol#L409
https://github.com/Cyfrin/2023-07-beedle/blob/main/src/Lender.sol#L511
Manual Review
debt + lenderInterest + protocolInterest should be replaced with debt in Repaid event.
Lender.buyLoan(), Lender.giveLoan()
https://github.com/Cyfrin/2023-07-beedle/blob/main/src/Lender.sol#L409
https://github.com/Cyfrin/2023-07-beedle/blob/main/src/Lender.sol#L511
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.