Derive the population-level exponential saturation law
Derive from first principles the exponential saturating form of the true-outcome fairness gap as a function of prediction-error scale, including the fitted saturation parameters, by modeling how the identity of the marginal individual pair changes under repeated independent prediction-noise realizations.
References
Neither theoretical result derives Eq.~eq:fitted-curve's exponential saturating form, or the specific values of $c$ and $\tau$, from first principles. Doing so would require a distributional assumption on how the identity of the marginal pair changes under repeated independent draws of the noise $\varepsilon$ -- the population-level analog of the per-draw mechanism Theorem~\ref{thm:local-sensitivity} characterizes -- which we leave as an open direction (Section~\ref{sec:discussion}) rather than introduce unjustified assumptions to close it here.
Formalizing this threshold, and using it to derive the population-averaged small-$\sigma$ slope directly (rather than validating the per-draw mechanism only, as done here), is an open technical question.