B3: the observable ledger, copied, and the separation lemma

The identities (eq:ledger)–(eq:relO) are copied with their domains. The cylinder integral of XII-F and the uniform-plateau argument of XIII-A are not repeated. The release statement remains: evaluation on ${{\mathcal{C}}_{\mathcal{W}}}^{\mathrm{bos}}$, with the pairing printed on ${{\mathcal{C}}_{\mathrm{sol}}}^{\mathrm{bos}}$; not closure on ${\mathcal{C}}_{\mathrm{sol}}$; the witness $u_{\ast }$ outside XIII-A's defect set; ${\mathfrak{g}}_W$ not shrunk after the witness.