Center-Generated Bidirectional-Offset Spiral Proposition

Formalized geometry of full turning, positive thickness, non-overlap, and spiral annuli — the basic tubular geometry and classification propositions are directly provable; contact saturation and the global optimum problem remain to be studied.