中心生成式雙向偏移螺旋命題

完整轉向、正厚度、不可重疊與螺旋環帶的形式化幾何 — 基本管狀幾何與分類命題可直接證明;接觸飽和與全域最優問題仍待研究。