M21b The TetraCore: Further Work Olympus Programme, Paper II: K4 Invariance via Koenigs, the Universal NC Quadratic Theorem, Étage-ONS Induction and Universal Properties, No-Singular-Birth as a Universal ONS Property, and the Path to Generalised ONS | Synapse