Generic Christoffel symbols of the Kerr metric equal the closed-form Christoffel symbols

For all real $M,a$, every point $x$ of the regular domain and all indices $i,j,k\in\{0,1,2,3\}$,

where the left-hand side is the generic coordinate Christoffel symbol christoffel (gKerr M a) (giKerr M a) i j k x of the specification layer, computed from the metric, the candidate inverse and the slice derivatives, and the right-hand side is the generated closed form evaluated at the atoms of $x$.

This is the Christoffel bridge of Layer II. Downstream, the closed forms are differentiated (hdchrKerr_all) and substituted into the Ricci formula (ricci_bridge_Kerr).