  S. Donaldson disproved the smooth $\mathrm{h}$-cobordism conjecture in
dimension $4$ by studying invariants coming from the moduli space of
connections on $\mathrm{SO}(3)$-bundles over smooth $4$-dimension manifolds
$X$. In this paper, we reverse his point of view in dimension $8$. Namely, we
consider fibrations coming from diffeomorphisms classes of homotopy Hopf
manifolds $\Sigma^7\times\mathrm{S}^1$, i.e., $\Sigma^7$ is a homotopy sphere,
seeing the bases as moduli spaces for additional structures.
  Our overarching objective is to establish a correspondence between the smooth
invariants of Kervaire--Milnor and categorical invariants. One interprets
pairwise non-diffeomorphic smooth structures on $\Sigma^7\times\mathrm{S}^1$ in
terms of non-rationality. This paper's contributions are diverse, each carrying
its significance. We believe profound connections exist between the themes
addressed, which connect hypersurface singularity theory, Homological Mirror
Symmetry, Topological Modular forms ($\mathrm{tmf}$), and Spherical T-duality.
