Function agree 

pub fn agree(downstream: Negotiation, upstream: Negotiation) -> Agreement

Resolves both legs from their negotiations and reconciles them.

The convenience path for the common case where the caller has Negotiation values rather than resolved profiles. Both legs are resolved independently — that is the point, and collapsing them into one negotiation would produce a profile nobody agreed to.