we should make our report a bit more technical because our target audience is experts
in particular, let's describe the K Framework verification approach in more detail and its limitations --- what can be verified and what cannot be verified
we can use a similar approach to Dexter to the liquidity-baking
they would also like us to validate the lqt_fa12.ligo contract since that will be their liquidity token contract
the client would like this review to be complete before the Grenada protocol goes live which could happen around Aug. 4th --- thus, according to that timeline, we have roughly 7 weeks
Some initial thoughts from the kick-off meeting: