Function equivalent_traces 

pub fn equivalent_traces(
    roster_size: usize,
    left: &[AgentEvent],
    right: &[AgentEvent],
) -> bool

Compare protocol-specific traces after normalization has occurred. The event vocabulary is the compatibility boundary, so equivalent ACP/native traces must replay to equal state.