A complete local product fibre misses the target

Exact statement

For one selected residual-two quotient word, the rank-seven transported product image misses the target defect, so none of its $2^{56}$ local lift tuples reaches the degree-four target.

StatusExact stored certificate; 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 sparse target-separation certificate and hostile audit agree, but both import the missing helper for full recomputation.

Quotient Arsenal synthesis →

Verification notes

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

Limitations

The obstruction is for one quotient word, not the entire residual class.

Open work

Repair the checker and retain this as a product-cokernel witness.