Remark: Milestone status

N-A is constructed, including odd signs, the antifield prose, $S_{\mathrm{inv}}$, and the separation of $D_{\mathrm{div}}$ from $D_{\mathrm{gf}}$. N-Ins.1, N-Ins.2, and N-Ins.5 are constructed, the last only contingently. N-Ins.3 is analytic four-dimensional nonvanishing for the massless special family, conditional on Lemma lem:support, Route A, Proposition prop:nonvanishing, and Theorem thm:massless-obstruction. N-Ins.4 is unresolved as a universal antifield-linear completion. N-Normfree is constructed. N-B through N-E are not claimed. Unresolved normalization items of XVI-M beyond N-Normfree are untouched.