Stav dette: Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation