λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XIX-E@1 · XIX-E.tex · section · 702f146e

Unchanged standing record

Boundary theorem and exact outside list › Unchanged standing record · lines 1311–1333

Back to manuscript
\boxed{
 \begin{gathered}
 \text{Declared path: null},\\
 \text{VI quantum certificate: RG-open in the supplied record},\\
 \text{Em02-E quantum gauge identity: not verified here},\\
 \texttt{\detokenize{O.1 = NOT_CLOSED}}
       \quad\text{outside the separately scoped Q11 report},\\
 \text{XVI-N and spatially compact Route B: not discharged},\\
 \text{I3/J2 full characteristic target: not completed here},\\
 \text{XV-B downstream quantum-admission exit: not opened},\\
 Q_HR_1^{(1)}\in\mathscr E_H:\ \text{not asserted}.
 \end{gathered}}

The documentary qualifications are those of the cited versions CheungVI,CheungEm02E,CheungXVIQ, CheungXVIN,CheungXIVI,CheungXIVJ,CheungXVB. The H2 label continues to describe XIV-H's own stop, without withdrawing XIV-I's narrower I2 construction.

Displayed formulas in this passage

  • unlabeled · line 1313

    \boxed{
 \begin{gathered}
 \text{Declared path: null},\\
 \text{VI quantum certificate: RG-open in the supplied record},\\
 \text{Em02-E quantum gauge identity: not verified here},\\
 \texttt{\detokenize{O.1 = NOT_CLOSED}}
       \quad\text{outside the separately scoped Q11 report},\\
 \text{XVI-N and spatially compact Route B: not discharged},\\
 \text{I3/J2 full characteristic target: not completed here},\\
 \text{XV-B downstream quantum-admission exit: not opened},\\
 Q_HR_1^{(1)}\in\mathscr E_H:\ \text{not asserted}.
 \end{gathered}}