This result begins with one small but decisive distinction. An archived AIM problem-list page displays a tensorization bound using the analytic rank of the identity, raised as a scalar to the m-th power. Read literally and without normalization, that analytic-rank statement is false. Work over the field with two elements, at tensor order three and side length two. A pure diagonal tensor has analytic rank a, where a is log base two of four thirds. The two-coordinate identity has analytic rank two a. But every fixed-order Kronecker power of the pure tensor still has just one active diagonal coordinate, so its analytic rank remains a. The exact inequality sixteen ninths is less than two shows that two a is below one. Therefore, for every fixed c below one, the proposed right-hand side, two a c to the m, tends to zero and eventually falls below a. There is also a clean repair diagnostic. If the denominator is the analytic rank of the powered identity, then on every diagonal tensor the ratio is exactly k over n to the m. The release does not claim that this powered formulation is the uniquely intended one. It does not settle partition rank, historical intention, novelty, or priority. Python and JavaScript replay, direct small coefficient enumeration, seven negative controls, and public Linux CI support the arithmetic and finite bridges. They are producer-side checks, not independent reconstruction or peer review. This synthetic-voice briefing is a communication aid, not additional mathematical evidence.