Introduction
— Why torsion-first / transport / observables
Setup
— Spin(7,7) stage, immersion, σ-split, axial torsion, no-cheating pullback
Gauge
— H⋉N, A₀, augmented torsion T
GR
— Shiab, projectors, action, the GR corner