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 stored faithful Artin and Magnus transcript pins the first differing degree.
Verification notes
The exact written argument and available certificate were inspected; the public maturity level reflects whether import-time replay was complete.
Limitations
- Rejecting this word does not reject other lifts in its quotient fibre.