FPRD LabShare an approach

← Claims

Computational finding

QA-BUCK-FIB-C08.1

Sparse degree-four lift witness

Exact statement

The alternative residual-two word has a sparse-polynomial degree-four target lift recorded by an independent witness.

StatusStored witness; import replay blocked
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 witness and transcript hash are preserved, but the checker imports the missing helper.

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

  • This public ID disambiguates the computation from QA-HUR-FIB-C08.

Open work

Restore and replay the sparse checker.