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
Exact certificate and hostile audit agree; the import environment lacks the helper used by the primary replay.
Verification notes
The exact written argument and available certificate were inspected; the public maturity level reflects whether import-time replay was complete.
Limitations
- The count describes an atom orbit, not a full factorization orbit.