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 elementary matrices satisfy while .
Verification notes
The exact written argument and available certificate were inspected; the public maturity level reflects whether import-time replay was complete.
Limitations
- No novelty or specialist-review claim is made; the statement is limited to the displayed presentation and hypotheses.