We provide a complete proof of the Ahlswede–Khachatrian theorem in the $\mu_p$ setting: for all values of $n,t,p$, we determine the maximum $\mu_p$-measure of a $t$-intersecting family on $n$ points, and describe all optimal families (except for a few exceptional parameter settings). Our proof is based on several different articles of Ahlswede and Khachatrian.
The full version below includes more details, as well as some follow-up work.