This document describes the verification of the Fragmetric staking program using manual code review. The work was undertaken from May 22nd 2025 to July 18th 2025.

The team performed a manual audit of all the contracts. During manual audit, the Certora team discovered issues in the code, as listed in the report.