Computational finding

QA-BUCK-FIB-C06

Eight comparison words lift

Exact statement

Eight other selected quotient words have rank-ten product images containing the target, with explicit degree-four witnesses.

StatusStored witnesses; replay dependency incomplete
External reviewNo documented external or specialist review of this Quotient Arsenal result is recorded.

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 certificate lists direct witnesses and target membership for all eight.

Verification notes

The exact written argument and available certificate were inspected; the public maturity level reflects whether import-time replay was complete.

Limitations

  • Selected words do not classify all quotient Hurwitz orbits.

Open work

Restore direct witness replay.