Fairness Objectives and Constraints

In-processing writes a fairness criterion into training as a constraint; reductions, Lagrangian and alternating methods enforce it, but every guarantee is approximate, sample-bound and formulation-specific, so tolerance, formulation and out-of-sample behavior must be checked explicitly.