IV.D147 — Strong defect functional

The strong defect functional Delta_n^s(f) is the NFMin-aggregated minimum of holonomy defects over all gap loops in L_s[n], measuring the minimal holonomy distortion that endomorphism f inflicts on the gap-loop structure at stage n.