The smart contract coverage report is derived from our formal verification of Silo Contracts V2, which used Certora's Prover to analyze security and verify correctness of rules across all in-scope Solidity contracts. The following report provides details of the attack vectors and rules coverage analysis.