Actual J2 Complete Circle Rows
Abstract
Independent T and contact supplier ownership identifies each full H row and its sole native b cut. Every intermediate row excludes all actual marked ports. The earned native b-complement theorem then constructs the entire row and its full circle support inside the surviving graph.
The private proof declarations in this module are consumed by the actual surviving-word component construction. No separate specialization or unproved endpoint interface is exported.