live merge proof