أرسل هذا في رسالة قصيرة: Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation