Context
Finite quotient words do not lift one factor at a time independently. Local affine lift fibres must be transported through the ordered product; the target defect then lives in a product-image cokernel that is invariant under quotient Hurwitz moves.
Proof or evidence
The already-published QA-BK-T05 witness has generated permutation subgroups of orders two and six.
Verification notes
The exact written argument and available certificate were inspected; the public maturity level reflects whether import-time replay was complete.
Limitations
- The witness is not itself a boundary multitwist factorization.