Manuscript Em01-A@1 · Em01-A.tex · section · 880b67af

Distinct stops must not be collapsed

Source audit and corrected stopping rules › Distinct stops must not be collapsed · lines 1505–1521

Back to manuscript

The supplied record must not be summarized by saying that every manuscript XV-A through XV-F has the identical F0 ending. The individual descriptions have different stops: XV-A retains J2; XV-B records B1; XV-C, XV-D, and XV-E record C0, D0, and E0; XV-F and its patches retain F0 XVrecord,XVf,Registry.

Likewise, the phrase “XV-B remains closed” in the supplied XIV-I and XIV-J releases concerns the downstream admission exit. It must not be read as denying the existence or technical content of the separately registered XV-B manuscript XIVi (Theorem thm:release) XIVj (Corollary cor:noadmission) XVrecord.