The scope of this audit is limited to the fees/TokenDistirbutor.sol contract and the tokenization/BToken.sol contract. The remaining files were excluded from a detailed manual review. Veridise auditors programmatically compared the excluded files to their equivalents from the AAVE repository, and manually reviewed any differences to check that the functionality was unchanged. During the audit, the Veridise auditors referred to these excluded files, but assumed that they have otherwise been implemented correctly