Assumption: Constructed quantum repair problem

A successor has supplied Definition def:package. On its admitted domain:

1. the complete native breaking is a defined element $B\in {\mathcal{V}}_{\mathrm{def}}$;

2. a specified vector space ${\mathcal{C}}_{\mathrm{adm}}$ contains the fully constrained corrections and their calculated insertion images;

3. their exact leading change in the breaking is a linear map $L:{\mathcal{C}}_{\mathrm{adm}}\to {\mathcal{V}}_{\mathrm{def}}$;

4. if subsidiary repair is also required, the same correction data have a calculated map $T:{\mathcal{C}}_{\mathrm{adm}}\to {\mathcal{V}}_{\mathrm{sub}}$ and the initial subsidiary defect is $D\in {\mathcal{V}}_{\mathrm{sub}}$.

These are constructed application data, not definitions that authenticate themselves.