Chart, insertions, and two reconstructions

In the language of XV-B's interface XVB, this module is the instance

where $r:{\mathcal{D}}^{\prime }(U)\to {\mathcal{D}}^{\prime }(U^{\circ })$ is restriction. The canonical contraction is the identity because the punctured reconstruction already is the composed object on the canonical domain. The role of the characteristic set is played by $Z\times V_q$; the role of the response incidence by $S$.