Manuscript XV-A@1 · XV-A.tex · section · f53f3515
Remaining obligations
The open gates and the exit contract › Remaining obligations · lines 1628–1633
The theorem proves the audit consequence from copied release statements. It does not independently re-prove their analytic estimates or their account of every omitted calculation.