Twisted Cohomotopy implies M-theory anomaly cancellation on 8-manifolds

We consider the hypothesis that the C-field 4-flux and 7-flux forms in M-theory are in the image of the non-abelian Chern character map from the non-abelian generalized cohomology theory called J-twisted Cohomotopy theory. We prove for M2-brane backgrounds in M-theory on 8-manifolds that such charge quantization of the C-field in Cohomotopy theory implies a list of expected anomaly cancellation conditions, including: shifted C-field flux quantization and C-field tadpole cancellation, but also the DMW anomaly cancellation and the C-field's integral equation of motion.
Comment: 55 pages; v2: proof of fluxed tadpole cancellation added; v3: exposition reorganized, discussion of M5 brane backgrounds postponed to a subsequent article arXiv:2002.07737, title and abstract adjusted accordingly; v4: published version