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 Hurwitz move and its inverse act factorwise and preserve the ordered product exactly.
Verification notes
The ordered-product proof was reconstructed with its square-zero and mod-eight domains explicit. An independent implementation checked 69,632 affine/quadratic matrix identities and 1,625 relative Nielsen and split-central identities, including an order-reversal hostile control.
Limitations
- The admissible local lift sets must be conjugation-compatible.