Claim ledger

The full joint map remains unresolved at J2; subsequent gates are not discharged. & XIV-J@1, thm:J2, lines 1608–1649; thm:release, lines 1894–1939. & Unchanged retained instance and frozen map class. & Full reconstructed sum on tests meeting $N$. & Required quantum coefficient. & Copied input\ (source: unresolved at J2). & A universal obstruction or admission from the supported-sector reference.

XIV-J admits no ${R_1}^{(1)}$ and does not open XV-B. & XIV-J@1, cor:noadmission, lines 1808–1822. & Required pushed-forward coefficient and stated output space. & Required output admission $Q_H{R}_1^{(1)}\in {\mathcal{E}}_H$. & Quantum admission unasserted. & Copied input\ (source: no admission in this release). & Nonexistence of every possible coefficient or permission to form its interacting Ward defect.