Theorem: Separated raw failure

The complete seven-row family has no weak distributional limit. The fixed test above satisfies

Moreover,

Proof. Equation (eq:isolation) and the $5a$ calculation in Proposition prop:six prove the fixed-test expansion. A weak limit would give a finite limit on every fixed compact test, contradicting this expansion. Theorem thm:seven identifies its coefficient with $C_{\mathrm{seven}}({\Phi }_A)$. The failure proof itself needs no $5z$ asymptotic theorem.