The $δ$-calculus: from distinction to arithmetic

Let $δ$ denote the primitive act of distinction, formally realized as the one-step extension $r\mapsto Sr$ of a finite record. We prove that the $δ$-orbit is initial among $δ$-algebras: every $δ$-algebra admits a unique structure-preserving map from the orbit. The map is injective when the successor