Release and proof boundary

and proof boundary{ Release: Unresolved. This manuscript proves the new partial results stated above. It does not supply the remaining degree-four descent and overlap proofs by declaring a common graph sum to be a binary product.

A missing map is not a nonexistence theorem. The results below are relative to the explicitly stated inherited premises. The full IX-A, IX-B, and VII-D proofs are not independently certified here.}