Manuscript XV-A@1 · XV-A.tex · definition · f53f3515

Definition: Exit contract

The open gates and the exit contract › Remaining obligations · lines 1593–1604

XV-A@1#eq:admission

For this audit, “XV-B may open” means that the inherited admission conclusion

Q_{H} R_{1}^{(1)} \in E_{H}

has been established for the required quantum coefficient, with the preceding construction and output obligations discharged. This is a project dependency contract, not a theorem that no other research project may be pursued.

Displayed formulas in this passage

XV-A@1#eq:admission · line 1596
$Q_{H} R_{1}^{(1)} \in E_{H}$

Nearby in this section

section: Remaining obligations
theorem: Theorem: No admission follows from the supplied partial releases
section: Remaining obligations