The repair criterion

For the present target, $B$ and the complete native image map $L$ have not been constructed. They are marked undefined for the native quantum insertion, not zero. Theorem thm:repair is therefore an admission criterion, not a cancellation theorem for the lapse.