我们将$n$维$(r-1)$-连通紧致流形$M$（其中$r\geq 2$）的实同伦型编码为$H^*(M,\mathbb{R})$上的最小单位$C_\infty$-结构，该结构通过de Rham代数$\mathcal{A}^*(M)$的Hodge分解所关联的小商代数上的单位DGCA结构经过同伦传递获得，这一方法由Fiorenza-Kawai-Lê-Schwachhöfer在[Ann. Sc. Norm. Super Pisa (5), vol. XXII (2021), 79-107]中提出。我们证明了如果$n\leq \ell(r-1)+2$，且$\ell\geq 4$，则在最小单位$C_\infty$-代数$H^*(M,\mathbb{R})$上的乘法$\mu_k$对于所有$k\geq \ell-1$均消失。这扩展了[loc. cit.]中的结果，将维数限制从$5r-3$推广到一般限制$\ell(r-1)+2$。我们还证明了Zhou提出的变体结果，即如果$n\leq \ell(r-1)+4$且$b_r(M)=1$，则对于所有$k\geq \ell-1$，乘法$\mu_k$也均消失。这蕴含了Cavalcanti在[Math. Proc. Cambridge Philos. Soc. 141 (2006), 101-112]中给出的两个形式化结果。我们表明，在任意维数$n$下，Harrison上同调类$[\mu_3]\in \mathrm{HHarr}^{3,-1}(H^*(M,\mathbb{R}),H^*(M,\mathbb{R}))$是流形$M$的同伦不变量，并且是形式化的首个障碍；并且详细证明了如果$n\leq 4r-1$，这是唯一的障碍。此外，我们证明了在任意维数$n$下，类$[\mu_3]$与Crowley-Nordström在[J. Topol. 13(2020), 539-575]中引入的Bianchi-Massey张量彼此唯一定义。

We encode the real homotopy type of an $n$-dimensional $(r-1)$-connected compact manifold $M$, $ r\ge 2$ into a minimal unital $C_\infty$-structure on $H^* (M,\mathbb R)$, obtained via homotopy transfer of the unital DGCA structure of the small quotient algebra associated with a Hodge decomposition of the de Rham algebra $\mathcal A^*(M)$, which has been proposed by Fiorenza-Kawai-L\^e-Schwachh\"ofer in [Ann. Sc. Norm. Super Pisa (5), vol. XXII (2021), 79-107]. We prove that if $n \le \ell (r-1) +2$, with $\ell \geq 4$, the multiplication $\mu_k$ on the minimal unital $C_\infty$-algebra $H^*(M,\mathbb R)$ vanishes for all $k \ge \ell-1$. This extends the results from [loc. cit.], extending the bound on the dimension from $5r-3$ to the general bound $\ell(r-1) +2$. We also prove a variant of this result, conjectured by Zhou, stating that if $n \le \ell(r-1)+4$ and $b_r (M) =1$ then the multiplication $\mu_k$ for all $k \ge \ell-1$ vanishes. This implies two formality results by Cavalcanti [Math. Proc. Cambridge Philos. Soc. 141 (2006), 101-112]. We show that in any dimension $n$ the Harrison cohomology class $[\mu_3]\in \mathrm {HHarr}^{3,-1}(H^* (M, \mathbb R), H^*(M, \mathbb R)) $ is a homotopy invariant of $M$ and the first obstruction to formality, and provide a detailed proof that if $n\leq 4r-1$ this is the only obstruction. Furthermore, we show that in any dimension $n$ the class $[\mu_3]$ and the Bianchi-Massey tensor invented by Crowley-Nordstr\"om in [J. Topol. 13(2020), 539-575] define each other uniquely.