IV.D145 — Strong loop class

The strong loop class L_s[n] at primorial stage n is the subset of loops in the boundary holonomy algebra H_partial[n] satisfying eta-support, gap-class membership, and nonzero contraction defect conditions.