A6: the completion interface and its integrability conditions

The quotient obstruction does not answer whether an additional classical term can cancel ${\mathfrak{B}}_{\xi }$ on the full shell. Conversely, a cancellation of one evaluated pairing would not construct a reduced quantum algebra. We keep those problems separate.