Notebook update: A(7) <= 8 bounds the last open Kakeya-type cases with 45 instances closed

An open notebook on Kakeya-type problems extends earlier work on finite 2-groups whose involutions are all central. The central question reduces to a number A(t), and the author reports that the largest anisotropic dimension over F_2^7 is now bounded by 8, with A(7) = 7 still unresolved. The argument proceeds by ruling out rank-4 elements and then case-checking the rank-3 shapes, which closes 45 remaining instances labeled (B6). A new bounds script recomputes the derived corollaries and passes unit tests against hand-checked values. The first open cases with small b, (11, 2) and (11, 3), still depend on bounds for A(8) and A(9). Certification jobs for the closed instances are queued but have not yet produced results.