@rtyler @Will Jones, as we are moving the lock client, I was wondering how we should proceed the the proofs (tla / stateright) in the delta-rs repo?