Exact constant-slot regression

The background table comparison in the computational appendix is a regression check. The structural identity $L^{00}=L$ and uniqueness of the same extension prescription are the proof of this proposition.