Ideas for ensuring fair solutions: envy-freeness of AMMs and capped surplus

Right, that sounds good. I’m guessing the deriving a robust function of estimating the AMM spot price would depend on implementation details of contributing AMMs, could be something like midpoint of the best AMM, or midpoint between (potentially weighted) bid/ask for very small volume of different AMMs, or something similar.