All five clauses of the joint-map class

The fifth clause must not be omitted. A map which assigns formal values but lacks the required complete-graph wavefront theorem does not meet the source definition. Displaying the class does not prove that it is nonempty.

The residual-species codomain in (eq:jointmap) has the status specified in Definition def:Eres. Its source name is preserved, while an actual bundle-valued realization still requires the output fiber and pairing. This prevents the map-class display from being used to claim that the unidentified codomain has become a concrete vector bundle.