syncing to trunk: has proofs and case studies