Proposition: Q2 fails at K 47

Of the six entries, two (${K_5}^{[a]}$, ${K_5}^{[z]}$) have a chart module with identified rule and open generators; three ($K_6$, $K_8$, $K_9$) have an identified normal-jet type of order at most three (Theorem thm:normalorder, Corollary cor:XIVJorder) with open coefficient class and open presentation space; one ($K_{47}$) has no presentation data in any sheet (Proposition prop:K47). The module action on ${\mathcal{P}}_{\mathrm{int}}$ and the image topology are open. Hence $\ker \mathsf{Rec}$ cannot be computed, and Q2 fails at the entry $K_{47}$, the first entry in the plan's enumeration without copied generators.

Proof. The cited results and the record.