Отправить по sms: Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation