IV.D146 — Strong holonomy defect

The strong holonomy defect HolDef_{s,n}(f;ell) measures the norm difference between the holonomy of f composed with a gap loop ell and the holonomy of ell alone, quantifying how much an endomorphism distorts a single gap loop.