Quantitative Thomas-Yau uniqueness

Under Floer theoretic conditions, we obtain quantitative estimates on the closeness (Hausdorff distance, flat norm, F-metric) between two Lagrangians, depending on the smallness of Lagrangian angles. Some applications include a strong-weak uniqueness theorem for special Lagrangians, and a characterization of varifold convergence to special Lagrangians in terms of Lagrangian angles.