Scope of Work:

• Review of Changes: We reviewed all updates to the main protocol since the last Certora audit, including modifications to the LC protocol before it was forked into the new DI Protocol.
• DI Protocol Audit Preparation: We documented all changes made to the DI Protocol after the fork.