Every local atom fibre has rank seven

Exact statement

Each degree-four atom fibre above a degree-three colored atom is an affine $\mathbb F_2$ -space of rank seven with 128 states.

StatusStored 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

Primary and sparse archived orbit computations agree on uniform rank and size.

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

Local fibre rank alone does not determine the product image.

Open work

Restore full replay and retain transported directions for each position.