numerically effective cotangent bundle; degree moduli space of connections modulo gauge; orientation on moduli space; topological bundle of orientations; \(\mathrm{Spin}(7)\) instanton; derived moduli stack; enumerative invariant; Calabi-Yau 4-fold; Donaldson-Thomas theory; semistable coherent sheaves; DT4 invariants 