Background, attribution, and proof boundary

and novelty. The source-level mathematical findings are attributed to N. Cheung. No priority claim over IXD,IXE,IXE2,IXE3 is made. The supported adaptation and its hypothesis audit are different from an independent verification of the whole source corpus.

kinds of missing result. Failure to construct a map is not proof that every such map is impossible. Conversely, a conditional theorem is a proved implication, not a discharge of its hypothesis. Both distinctions are maintained in every release below.