isotropy_forces_b1_eq_3

The module derives the spatial topology of the recognition substrate from three constraints: homogeneity (the comparison law $J(x)=\cosh(\log x)-1$ depends only on the ratio, so no preferred cell), flatness from $\varphi$-self-similarity (curvature would introduce a preferred scale), and the Bieberbach classification of compact orientable flat 3-manifolds.

That classification yields exactly six types: the 3-torus $T^3$ with $b_1=3$; four screw-motion quotients (half-turn, quarter-turn, third-turn, sixth-turn) each with $b_1=1$; and the Hantzsche-Wendt manifold with $b_1=0$. Here $b_1=\mathrm{rank},H^1(M;\mathbb{Z})$ counts independent 1-cycles.

Isotropy (no preferred spatial direction) is encoded by requiring $b_1$ equal to the ambient dimension: each independent homology cycle corresponds to an independent spatial direction, and full rotational symmetry demands all three directions be equivalent. The hypothesis $b_1=3$ is therefore the isotropy input.

One-line term proof: apply the sibling uniqueness lemma that, among the six Bieberbach types, only the 3-torus has first Betti number 3. The hypothesis $b_1(B)=3$ is passed through directly; the conclusion $B=T^3$ is that uniqueness.

This is the isotropy selection step inside the module's spatial topology forcing theorem, which jointly forces (1) flat geometry from $\varphi$-self-similarity, (2) $T^3$ topology from flatness plus compactness, orientability, and isotropy, and (3) $D=3$ spatial dimensions as the first Betti number of $T^3$.

The module doc is explicit that the external topological input used by T8 (the forcing-chain dimension theorem) is not uniqueness of $S^1$ as a compact connected 1-manifold, but rather the Bieberbach classification of flat compact 3-manifolds plus this isotropy constraint. Together with the flatness lemma from self-similarity and the discrete Bieberbach enumeration, the result closes the path from substrate symmetry properties to $D=3$ in the Recognition Science forcing chain.