Certora’s manual code review of the MoviePass Exchange repository (msx-smart-contract) was conducted over a period from February 10 to 13, 2025. This audit focused on Sui ecosystem smart contracts written in Move, including key files such as big_vector.move, exchange.move, msx.move, and moviepass_tests.move. The following report provides details of the findings and reviews.