There's an interesting application of stable homotopy theory to condensed-matter physics, and it makes heavy use of integral and torsion information, contradicting your 4<sup>th</sup> assumption.

Within the general program of understanding topological phases of matter, condensed-matter theorists are interested in [symmetry-protected topological phases](https://en.wikipedia.org/wiki/Symmetry_protected_topological_order) (SPT phases). Approximately speaking, these are systems which have interesting topological behavior in the presence of a symmetry, but become trivial when that symmetry is broken. Their classification has gradually gotten more homotopical: 

 - [Kitaev](https://arxiv.org/abs/0901.2686) uses real and complex
   $K$-theory to classify topological insulators and superconductors. [Freed-Moore](https://arxiv.org/abs/1208.5055) later generalized this to twisted equivariant $K$-theory.
 - [Kapustin](https://arxiv.org/abs/1403.1467) and [Kapustin-Thorngren-Turzillo-Wang](https://arxiv.org/abs/1406.7329) use $\mathit{MSpin}\wedge\mathit{BG}$ to classify fermionic SPT phases with symmetry group $G$.
 - [Freed](https://arxiv.org/pdf/1406.7278.pdf) and [Freed-Hopkins](https://arxiv.org/abs/1604.06527) classify SPTs as homotopy classes of maps
$$[\mathit{MTH}, \Sigma^{n+1}I_{\mathbb Z}],$$
where $\mathit{MTH}$ is the Madsen-Tillmann spectrum (a kind of Thom spectrum) for the symmetry type $H$ and $I_{\mathbb Z}$ is the Anderson dual of the sphere. The derivation uses some equivariant stable homotopy theory, and the calculations use the Adams spectral sequence.

In all of these examples, the torsion information is essential: a $\mathbb Z/2$ classification means there's a phase which is nontrivial, but such that two copies of it stacked together can be continuously deformed to a trivial phase. Examples of such phases have come up in condensed-matter theory and are expected to display this behavior in experiments.

-----

There are other places integral information is, well, integral: for example, if an electron moves in a loop $\ell$ around a magnetic monopole, the value of the action depends on the winding number of $\ell$, producing discrete invariants.