The copied ledger and the evaluation identity

The release statement is: evaluation on ${{\mathcal{C}}_{\mathcal{W}}}^{\mathrm{bos}}$, with the pairing (eq:eval) printed on ${{\mathcal{C}}_{\mathrm{sol}}}^{\mathrm{bos}}$. It is not closure on ${\mathcal{C}}_{\mathrm{sol}}$. The witness $u_{\ast }$ lies outside XIII-A's defect set, and ${\mathfrak{g}}_W$ is not shrunk after it.