What has not been proved about the full kernel

Theorem thm:jetnull does not prove that:

1. the full inherited presentation space is a finite normal-jet module;

2. all its null relations are generated by (eq:inheritednull) or by (eq:qidentity);

3. both complete $K_5$ placements, $K_{47}$, and every residual term are covered by this local module;

4. the actual joint operation acts continuously on this module.

The full descent test remains

A verified local null test cannot replace a complete description or other complete treatment of the actual reconstruction kernel.