Numbering and admission

The technical-continuation convention of XV-B–XV-E is retained. The admission criterion

is a later project gate and is not asserted here. One companion rendering of the record writes the output space with a different macro; the source line Jadmission is (eq:admission) with ${\mathcal{E}}_H$, and no second output space is introduced.