FPRD LabShare an approach

← Claims

Computational finding

QA-BUCK-FIB-C07

Rank-seven versus rank-ten span geometry

Exact statement

The obstructed word transports eight identical rank-seven spaces, while the lifting word transports three classes whose distinct pairs meet in dimension four and together span rank ten.

StatusCertificate available; 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 stored span-geometry certificate pins every dimension.

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 geometry is specific to the chosen finite quotient and words.

Open work

Find a structural explanation of the three transported classes.