Computer search closes 420 classes of a Kakeya-type configuration, leaving one case open

A research notebook on finite 2-groups with all involutions central reports progress on a number A(t) that would settle a family of such groups. The author's open-source work proves that one configuration, called (B5), is empty, meaning no anisotropic system with t = 7 and dimension 9 can contain an element of rank 3 in that configuration. The result rests on many SAT-solver answers saved without proof certificates, together with hand-written lemmas. With this step, the bound A(7) <= 8 reduces exactly to showing that a second configuration, (B6), is also empty, and 20 of its 68 classes remain unresolved. The notebook states that the work was researched and written with AI agents, and that no human mathematician has yet checked the proofs.