Successor requirement

Each item is to be returned with file, label, and line numbers, as defines:

1. XIV-J: the display of ${\mathcal{P}}_{\mathrm{int}}={⨁}_e{\mathcal{P}}_e$ and, for $e=47$, any presentation space, rule, and coefficient class; for $e\in \{6,8,9\}$, whether the presentation is the coefficient tuple or a smooth module (Corollary cor:tworeadings); the coefficient seminorms (Q2).

2. XIV-I, def:amodule: generators, coefficient class, and module action of ${\mathcal{A}}^m(V)$ (Q2).

3. XIV-H, input:EC: the quoted $a_1$, $b_1$, $a_2$ (Q3, items $\mathsf{A}$, $a_2$); XIV-H preceding eq:L: ${\sigma }_{\epsilon }$, $f$; XIV-H source incidence and eq:K9: $\mathsf{P}$, $\mathfrak{b}$, the declaration of ${E^{\mathrm{A}}}_m$; XIV-H lines 653–665 and XII-C: the expansion of ${q^{L,I,J}}_{\alpha \beta }$ (Q3).

4. XIII-C: formulas for $D_{\Gamma }$, $w_{\Gamma }$, $S_{\Gamma /I}$; any statement about maps on presentations; a dictionary between the cycle-vertex labels and $(a,b,z,y)$ (Q4).

5. XIV-I, XIV-J: the list of specified products constituting $U_{\mathrm{can}}$, or a statement relating $U\setminus N_U$ to $U_{\mathrm{can}}$ (Q5).

6. A decision on Convention def:Eres (Q1).

7. Carried: XIV-J eq:target, def:class, the blocks of (eq:cross), and the normalization of $T^{\mu \nu }(\varphi ,\psi )$.

With (1)–(7) supplied, the threshold sentence of sec:reassess may be written; it would enter F1 and nothing beyond.