But we’re not bargaining. This works even if we never meet.
Yeah, which would make it acausal trade. It’s still bargaining in the game theoretic sense. The agents have a “sufficiently advanced” decision theory to allow them to reach a Pareto optimal outcome (e.g. Nash bargaining solution) rather than e.g. Nash equilibrium even acausally. It has nothing to do with “respecting agency”.
Yeah, which would make it acausal trade. It’s still bargaining in the game theoretic sense. The agents have a “sufficiently advanced” decision theory to allow them to reach a Pareto optimal outcome (e.g. Nash bargaining solution) rather than e.g. Nash equilibrium even acausally. It has nothing to do with “respecting agency”.