On the Derivation of kciv: Recursive Closure of the Scaling Family and Bounded Remaining Residuals | Synapse