% XVI-N.tex % Standalone transcription of the XVI-N r12 science volume (2026-10-07). % Scientific manuscript only. Computational listings are not included % and are not executed. No successful pipeline execution is claimed. % % The public package is the repository cheungngo/XVI-N. Its wrapper % inputs a body file that is not this registered text. Hash strings % printed in the science volume are provenance pointers, not a % byte-identity claim for the companion copies. \documentclass[11pt,letterpaper]{article} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage{lmodern} \usepackage[margin=1in]{geometry} \usepackage{amsmath,amssymb,amsthm,mathtools} \usepackage{array,booktabs} \usepackage{enumitem} \usepackage{microtype} \usepackage{tikz} \usepackage[hidelinks]{hyperref} \allowdisplaybreaks \setlength{\emergencystretch}{3em} \setlist{leftmargin=*,itemsep=3pt,topsep=5pt} \hypersetup{ pdftitle={XVI-N: Prepared classical BV interface through order kappa}, pdfauthor={} } \newtheorem{theorem}{Theorem} \newtheorem{proposition}[theorem]{Proposition} \newtheorem{lemma}[theorem]{Lemma} \theoremstyle{definition} \newtheorem{definition}[theorem]{Definition} \theoremstyle{remark} \newtheorem{remark}[theorem]{Remark} \DeclareMathOperator{\supp}{supp} \newcommand{\R}{\mathbb{R}} \newcommand{\dd}{\,\mathrm{d}} \title{\textbf{Landmark XVI-N}\\[0.4em] Classical completion\\[0.25em] \large PreparedClassicalBVInterfaceThroughOrderKappa\\ Science volume only (revision r12)} \author{} \date{2026-10-07} \begin{document} \maketitle \begin{abstract} Phase I constructs the unprepared classical BV complex and its prepared and switch deformations through order \(\kappa\), with reconciled odd-field antibracket couplings, the antifield rule \(s\Phi^\star_A=(S,\Phi^\star_A)\), and the invariant baseline \(S_{\mathrm{inv}}=S_D-V_\sigma-V_g\). Gate N-Ins uses the actual predecessor kernel \(t_D\) of XVI-I, XVI-H, and XII-D as inherited by XVI-K. The plain divergence \(D_{\mathrm{div}}\) is separated from the gauge-fixing divergence \(D_{\mathrm{gf}}=D_{\mathrm{div}}\mathcal{P}\). The corrected root current is \[ H=\alpha+2\mathcal{P}D^\star_{\mathrm{div}}E^A(D_{\mathrm{div}}\alpha), \qquad w=E^A(D_{\mathrm{div}}\alpha), \] not \(E^A(D_{\mathrm{div}}\mathcal{P}\alpha)\). All values computed for the superseded vector are withdrawn. For one massless special family, admissible smooth data give \(H|_U=2m_0(e_0\otimes e_1+e_1\otimes e_0)\) and \(C|_U=4m_0 p'(t-z)\,\mathrm{d}x^2\), with \(m_0=\int S>0\), and hence \(s_0 F_t\neq 0\). A validated enclosure is \(s_0 F_t\in[3.3566,3.3637]\times 10^{-4}\). That nonvanishing is conditional on inherited reduction identities, re-checked pointwise and not re-proved, and on configuration-space admissibility. Lemma 8 is discharged. Route A is sufficient. Route B is not claimed discharged. Theorem 11 is a conditional obstruction of one regular, seed-preserving, antifield-linear completion of that one massless instance. It is not a universal completion. The certified small-mass interval is \(0\le m<1.3715\times 10^{-4}\), with \(\mathrm{Chi}\le 17843\). Arbitrary prescribed \(m>0\) remains unresolved. N-Ins.4 remains unresolved as a universal antifield-linear completion. The prepared theory is not a BV complex. No ultraviolet completion, no loops, no graph closure, and no quantum coefficient are claimed. Numerical checks are corroboration, not certificates. No compilation is asserted. No symbolic execution is claimed. \end{abstract} \begin{figure}[ht] \centering \begin{tikzpicture}[x=1cm,y=1cm] \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (a) at (0,0) {Prepared classical insertion}; \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (b) at (5,0) {Massless special family}; \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (c) at (10,0) {Universal completion}; \node[draw,dashed,rounded corners,align=center,text width=9.6cm,font=\small,inner sep=3pt] (s) at (5,-2.35) {Theorem 11 covers one massless instance, not every kernel.}; \draw[->] (a) -- (b); \draw[->] (b) -- (c); \draw[->] (b) -- (s); \end{tikzpicture} \caption{A conditional obstruction is not a universal completion. The three boxes name objects this manuscript keeps separate. The dashed box is the stated stop. Not a proof, and not an admission of a quantum coefficient.} \label{fig:scope-XVI-N} \end{figure} \begin{figure}[ht] \centering \begin{tikzpicture}[x=1cm,y=1cm] \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (a) at (0,0) {Prepared classical insertion}; \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (b) at (5,0) {Massless special family}; \node[draw,dashed,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (c) at (10,0) {Universal completion}; \draw[->] (a) -- (b); \draw[->,dashed] (b) -- (c); \end{tikzpicture} \caption{A conditional obstruction is not a universal completion. Reading downward is not a transfer. Not a proof, and not an admission of a quantum coefficient.} \label{fig:split-XVI-N} \end{figure} \begin{figure}[ht] \centering \begin{tikzpicture}[x=1cm,y=1cm] \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (a) at (0,0) {Prepared classical insertion}; \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (b) at (5,0) {Massless special family}; \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (c) at (10,0) {Universal completion}; \draw[->] (a) -- (b); \draw[->] (b) -- (c); \end{tikzpicture} \caption{Reading downward is not a transfer. Not a proof, and not an admission of a quantum coefficient.} \label{fig:chain-XVI-N} \end{figure} \begin{figure}[ht] \centering \begin{tikzpicture}[x=1cm,y=1cm] \node[draw,rounded corners,align=center,text width=3.4cm,font=\small,inner sep=3pt] (a) at (0,0) {Prepared classical insertion}; \node[draw,rounded corners,align=center,text width=3.4cm,font=\small,inner sep=3pt] (b) at (6.2,0) {Universal completion}; \draw[dashed] (a) -- (b); \end{tikzpicture} \caption{Prepared classical insertion is not Universal completion. Not a proof, and not an admission of a quantum coefficient.} \label{fig:pair-XVI-N} \end{figure} \begin{figure}[ht] \centering \begin{tikzpicture}[x=1cm,y=1cm] \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (a) at (0,0) {Prepared classical insertion}; \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (b) at (5,0) {Massless special family}; \node[draw,rounded corners,align=center,text width=3.15cm,font=\small,inner sep=3pt] (c) at (10,0) {Universal completion}; \node[draw,dashed,rounded corners,align=center,text width=9.6cm,font=\small,inner sep=3pt] (s) at (5,-2.35) {Theorem 11 covers one massless instance, not every kernel.}; \end{tikzpicture} \caption{Three statuses stay separate. Not a proof, and not an admission of a quantum coefficient.} \label{fig:gate-XVI-N} \end{figure} Figure~\ref{fig:scope-XVI-N}, Figure~\ref{fig:split-XVI-N}, Figure~\ref{fig:chain-XVI-N}, Figure~\ref{fig:pair-XVI-N}, and Figure~\ref{fig:gate-XVI-N} name the stop. Not a proof, and not an admission of a quantum coefficient. \noindent\textbf{Scope of this revision.} The massless obstruction is conditional on Route A. Route B is not claimed discharged. Arbitrary prescribed \(m>0\) remains unresolved. The certified interval \(0\le m<1.3715\times 10^{-4}\) is not that arbitrary-mass statement. N-Ins.4 stays unresolved as a universal completion. The prepared theory is not a BV complex. XV-B is not opened. The stops at H2, I3, and J2 remain unresolved. This sheet does not repair X-G or XI-G. No quantum coefficient is admitted. \section{Three classical objects} A broken master identity is not a BV complex. The three objects kept separate are: the unprepared invariant action \(S_{\mathrm{inv}}\) with nilpotent \(Q_{\mathrm{inv}}\); the nilpotent diffeomorphism BRST operator \(s=s_0+\kappa s_1\); and the prepared action \(S_D=S_{\mathrm{inv}}+V_\sigma+V_g\), whose square is broken. The convention follows XIV-A: one may write \((S,S)=\kappa\int c^\nu B_\nu+\cdots\), and \[ Q_D^2 F=(B_{\mathrm{tot}},F), \qquad B_{\mathrm{tot}}=\tfrac12(S_D,S_D). \] Following that convention does not repair the square. \begin{definition}[Antibracket]\label{def:antibracket} For the frozen generators, \[ (F,G)=\sum_A\Bigl( \frac{\delta^R F}{\delta\Phi^A}\frac{\delta^L G}{\delta\Phi^\star_A} - \frac{\delta^R F}{\delta\Phi^\star_A}\frac{\delta^L G}{\delta\Phi^A} \Bigr), \qquad QF:=(S,F). \] Then \((S,\Phi^A)=-\delta^R S/\delta\Phi^\star_A\). The blanket identity \((S,\Phi)=\delta^L S/\delta\Phi^\star\) is false for odd \(\Phi\). The antifield rule is \(s\Phi^\star_A=(S,\Phi^\star_A)\), not the reverse bracket. \end{definition} Conventions: \(\eta=\mathrm{diag}(1,-1,-1,-1)\), \(q=\eta+\kappa h\), \(a=\tfrac12\), and \(\mathcal{P}\) is trace reversal. Parentheses symmetrization includes the factor \(\tfrac12\). The predecessor gauge map is written \(R^{\mathrm{pred}}_0\), and \(R_0(c)=R^{\mathrm{pred}}_0(ac)\). The letter \(K\) denotes only the kinetic operator \(-\square\mathcal{P}\). It is never the gauge map. \section{Extended action and master square} \begin{definition}[Invariant and prepared actions] Write \(S^{[1]}_{\mathrm{inv}}=S^{[2]}_{\mathrm{EH}}+S^{[3]}_{\mathrm{EH}}+S^{\mathrm{sc}}_{\mathrm{inv}}+S_{\mathrm{af}}\), \(V_\sigma=\kappa\int(\sigma_\varepsilon-1)\ell_3[h]\), and \(V_g\) for the switched-scalar deformation. Then \(S^{[1]}_D=S^{[1]}_{\mathrm{inv}}+V_\sigma+V_g\). Equivalently, \begin{equation} S_{\mathrm{inv}}=S_D-V_\sigma-V_g. \label{eq:Sinv} \end{equation} Setting \(\sigma_\varepsilon\equiv 1\) removes only \(V_\sigma\). The switched theory \(S_D-V_\sigma=S_{\mathrm{inv}}+V_g\) still carries the breaking \(B_g\). It is not \(S_{\mathrm{inv}}\). \end{definition} The cubic density and Euler source are quoted from XII-C, not re-proved: \(\ell_3=-2(r_3+b_1 r_2+b_2 r_1)\) and \(\mathrm{Euler}_h(\ell_3)=J_3\). The operators \(A=2G_{\mathrm{lin}}\), \(Q_\nu\), \(N_{0,\nu}\), and the ramp defect are likewise quoted. Gate 4 records an exact-arithmetic sampling of unrestricted retained jets. That sampling is corroboration. It is not a universal-identity certificate. \begin{proposition}[Proposition 5, master square through order \(\kappa\)]\label{prop:master-square} In the linear-antifield truncation, \begin{equation} (S_D,S_D)=\kappa\int c^\nu\bigl(B_{g,\nu}-B_\nu\bigr)+O(\kappa^2). \label{eq:master-square} \end{equation} Here \(B_\nu=N_{0,\nu}(Z)=-w Q_\nu(Ah)+\mathfrak{R}_{\sigma_\varepsilon,\nu}\) is the metric-ramp piece, and \(B_{g,\nu}\) is the switched-scalar breaking retained in the prepared square. The scalar variations cancel between the metric and scalar sectors. The value \(\sigma_\varepsilon=1\) removes \(V_\sigma\) but not \(B_g\). \end{proposition} Degree zero in antifields is the constructed action variation. Degree one vanishes by the inherited nilpotence of \(s_0\) on generators. Degree at least two is absent by the truncation \(S'_{\ge 2}=0\). The graph-to-action vertex identification stays unsettled. Free action, gauge fixing, \(K=-\square\mathcal{P}\), and the propagator interface are normalization inputs under N-Normfree, which is constructed. They are not a graph closure. \begin{proposition}[Proposition 6, broken square]\label{prop:broken-square} \(Q_D^2 F=(B_{\mathrm{tot}},F)\) with \(B_{\mathrm{tot}}=\tfrac12(S_D,S_D)\). At order \(\kappa\), \(B_{\mathrm{tot}}\) is determined by \eqref{eq:master-square}. The prepared theory is not a BV complex. \end{proposition} \section{Gate N-Ins and the inherited kernel} Gate N-Ins is the classical insertion interface through order \(\kappa\). The seed is \(F_t=\langle t_D,h\otimes h\otimes\phi\rangle\). The option that sets \(\phi=0\) is rejected, because that specialization kills \(F_t\). The completion space is the minimal sector \((h,\phi,c;h^\star,\phi^\star,c^\star)\), with \[ I_t=F_t+A_0+\kappa A_1, \qquad \mathrm{gh}(U,V,W)=(1,1,2), \] seed \(I_t|_{\Phi^\star=0}=F_t\), and no new inverse operators. The primary constructive definition of \(t_D\) is quoted from the predecessors and is not redefined. In the companion transcription the relevant XVI-I labels are \texttt{eq:t-test} and \texttt{prop:Ft}; the science volume's name \texttt{prop:test} is that predecessor statement, not a new label. XVI-H \texttt{thm:trep} is the equivalent polarized form. XII-D \texttt{thm:root} and \texttt{lem:root-kernel} supply the compact root. XVI-K retains the construction data and does not supply a new closed-form kernel. Component tensors of the cubic source remain implicit. They are not a single numerically expanded kernel. Sha256 strings printed beside those files in the science volume are provenance pointers. They are not a byte-identity claim for the copies registered here, and they are not a new premise. On the invariant free shell \(Ah=0\) and \((\square+m^2)\phi=0\), with compact ghost supported in the plateau where \(\sigma_\varepsilon=1\), the science volume records the reduction \[ s_0 F_t =2\int a_{\mathrm{root}}:J_D(R_0(c),h) =-\langle a_{\mathrm{root}},A(\mathcal{L}_\xi h)\rangle =-\langle H,\mathcal{L}_\xi h\rangle. \] The cubic-variation step cites XI-E \texttt{thm:cubicvar} and is re-checked pointwise. It is not re-proved. The nilpotence step cites XI-B \texttt{lem:nilpotence} as a written derivation. Neither citation is a declared input of a new theorem. \subsection{Corrected root current} Two divergence operators are kept distinct. \(D_{\mathrm{div}}T=\partial_\mu T^{\mu\nu}\) and \(D_{\mathrm{gf}}r=\partial_\mu(\mathcal{P}r)^{\mu\nu}=D_{\mathrm{div}}\mathcal{P}r\), with formal adjoints \(D^\star_{\mathrm{div}}v=-\partial_{(\mu}v_{\nu)}\) and \(D^\star_{\mathrm{gf}}=\mathcal{P}D^\star_{\mathrm{div}}\). From the displayed linearized Einstein operator, \[ A=2G_{\mathrm{lin}}=-\square\mathcal{P}-2D^\star_{\mathrm{gf}}D_{\mathrm{gf}}. \] For \(a_{\mathrm{root}}=-E^A\mathcal{P}\alpha\), \begin{equation} H=A a_{\mathrm{root}} =\alpha+2\mathcal{P}D^\star_{\mathrm{div}}w, \qquad w=E^A(D_{\mathrm{div}}\alpha). \label{eq:root-current} \end{equation} The superseded vector \(E^A(D_{\mathrm{div}}\mathcal{P}\alpha)\) is wrong for traceful \(\alpha\). Every r7 value computed for that vector is withdrawn. Since \(D_{\mathrm{div}}A=0\), one has \(D_{\mathrm{div}}H=0\). For symmetric \(H\), the root current of the reduction is \[ C_\rho=2\partial_\mu(H^{\mu\nu}h_{\rho\nu})-H^{\mu\nu}\partial_\rho h_{\mu\nu}, \] and \(s_0 F_t=\langle C,\xi\rangle\) for \(\xi\) supported in the plateau. On \(U\), equivalently, \(s_0 F_t=-2\langle w,D_{\mathrm{gf}}(\mathcal{L}_\xi h)\rangle\). \section{Massless special family} \begin{lemma}[Lemma 8, actual-source support]\label{lem:support} Let \(T=4\), \(\varepsilon=\tfrac12\), and \(U=(0.9,1.1)\times(-0.1,0.1)^3\). Let \(S\in C^\infty_c(\R;[0,1])\) with \(\supp S=[2,3]\), not claimed inside \((2,3)\), and let the cutoff profile of the science volume produce \(g=\sigma=1\) on a neighbourhood of \(U\), with \(U\subset\mathrm{Int}\{g=1\}\cap\{\varepsilon0\) on \(\supp\xi\) and \(0\le\xi^2\not\equiv 0\). In particular \(C|_U\neq 0\). The moment \(m_0\) is positive because \(S\ge 0\) and \(S\not\equiv 0\). \end{proposition} The identity is conditional on the inherited formulas XVI-I records for \(s_0 F_t\) and on XI-E \texttt{thm:cubicvar}, the latter re-checked pointwise and not re-proved. Scope: one special family, and only the instance \(m=0\). \begin{proposition}[Validated enclosure]\label{prop:enclosure} For the explicit compact ghost of the science volume, with width \(d=0.09\) and \(p(u)=u\), monotone interval Riemann sums give \begin{equation} s_0 F_t\in[3.3566,3.3637]\times 10^{-4}, \label{eq:enclosure} \end{equation} and \(0\) is not in that interval. Support and regularity are exact by construction. The quadrature error is enclosed. The enclosure is corroboration of the analytic sign. It is not a substitute for Proposition~\ref{prop:nonvanishing}, and it is not a certificate that every kernel is obstructed. \end{proposition} A one-plus-one planar auxiliary model has an exact nonzero variation after the divergence correction. That model establishes no frozen four-dimensional completion obstruction. Planar data are not compact in four dimensions, and the one-plus-one Green function is not the four-dimensional advanced kernel. The toy witness and the inadmissible value of \(g-1\) on ghost support are withdrawn. \subsection{Routes and the field-only projection} Route A quotes the frozen contract: fields are ambient smooth configurations, no spatial decay is required, and metric Cauchy data are unrestricted. The displayed free solutions \(\phi=x^1\) and \(h_{12}=p(t-z)\) are therefore admitted. Route A is discharged and is sufficient for Theorem~\ref{thm:massless-obstruction}. Route B, spatially compact Cauchy data, is not claimed discharged. A previous draft used domain-of-dependence cutoffs relative to \(\supp(g-\sigma)\). For \(t>\varepsilon\) one has \(\sigma=1\), while \(g=0\) outside a compact spatial support, so \(g-\sigma=-1\) on an unbounded spatial region. Cauchy shadows of that set are not spatially compact, and the draft is invalid as written. A repair that replaces \(\supp(g-\sigma)\) by an explicitly compact region actually entering the seed is not carried out. The algebraic transverse-traceless gadget remains a constraint-compatible generator. It does not by itself discharge Route B. \begin{lemma}[Lemma 10, field-only projection]\label{lem:field-only} Let \(A_0=\int\bigl(h^{\star\mu\nu}U_{\mu\nu}+\phi^\star V+c^\star_\mu W^\mu\bigr)\) be antifield-linear of ghost numbers \((1,1,2)\), with regular multilocal coefficients and no new inverse operators. Let \(P_0\) project to antifield number zero and let \(Q_0=(S_0,\cdot)\) be the free differential of the minimal free extended action. Then \begin{equation} P_0 Q_0 A_0 =\langle Ah,U\rangle-\langle(\square+m^2)\phi,V\rangle, \label{eq:field-only} \end{equation} and therefore \begin{equation} P_0 Q_0 A_0\big|_{\text{free shell}}=0. \label{eq:shell} \end{equation} A graded lattice check is corroboration of the algebra. It is not a substitute for the continuum statement. \end{lemma} \begin{theorem}[Theorem 11, conditional massless obstruction]\label{thm:massless-obstruction} Assume the inherited seed, the reduction identities as re-checked and not re-proved, Route A, the plateau and root-cutoff requirements, Lemma~\ref{lem:support}, and Lemma~\ref{lem:field-only}. For the specified massless special-family instance of Proposition~\ref{prop:nonvanishing}, no regular, seed-preserving, antifield-linear completion \(I_t=F_t+A_0+\kappa A_1\) satisfies \(Q_{\mathrm{inv}} I_t=O(\kappa^2)\). \end{theorem} \begin{proof} On the witness, with \(p'>0\) on \(\supp\xi\) and \(0\le\xi^2\not\equiv 0\), equation \eqref{eq:s0Ft} gives \(s_0 F_t>0\). Closure at field-only degree and order \(\kappa^0\) requires \(s_0 F_t+P_0 Q_0 A_0=0\). Lemma~\ref{lem:field-only} gives \(P_0 Q_0 A_0=0\) on the free shell, so \(s_0 F_t=0\), a contradiction. The higher term \(A_1\) cannot repair a contradiction already present at order \(\kappa^0\). \end{proof} The theorem covers one constructed instance. It does not obstruct every admissible kernel, and it does not obstruct a fixed \(m>0\) without further work. It does rule out a universal completion prescription that would have to cover this instance. N-Ins.4 therefore remains unresolved as a universal statement. The obstruction is not an ultraviolet subtraction, not a loop identity, and not a graph closure. It does not open XV-B. It is not the physical characteristic limit through the aligned-null locus, and it is not H2, I3, or J2. \section{Small-mass interval} Keep the metric, ghost, cutoff, and test region frozen, and vary only the scalar mass through \(f_m=(\square+m^2)\psi\) and \(\phi_m=x^1\cos\bigl(m(t-5/2)\bigr)\), with advanced solution \(v_{f_m}=\psi\). Do not replace every advanced operator by its massive counterpart. The tensor root and the coordinate completion remain massless. Only the scalar leg and the explicit \(m^2\) term in the scalar source carry the mass. Write \(W(m)=-\langle a_m,A(\mathcal{L}_\xi h)\rangle\). The difference \(W(m)-W(0)\) splits into a local channel and a nonlocal double-advanced channel. On the cone window of Lemma~\ref{lem:support} the rational factors are \(K_1=1113/500\) and \(K_2=11197151/10000000\). They are not free parameters. Inclusion-preserving interval arithmetic produces the release constants \[ C_{\mathrm{release}}=17843, \qquad W_{\mathrm{release}}=\frac{33566}{10^8}, \qquad m_{\mathrm{release}}=\frac{13715}{10^8}, \] with \(\mathrm{Chi}\le 17843\). Exact rational arithmetic yields \(C_{\mathrm{release}} m_{\mathrm{release}}^20 \quad\text{for}\quad 0\le m<1.3715\times 10^{-4}. \label{eq:small-mass} \end{equation} The bound is conditional on the same inherited reduction identities as \(W(0)\). It is an obstruction on a proved mass interval. It is not a theorem for every prescribed \(m>0\). The frozen contract fixes \(f\), \(g\), \(\sigma_\varepsilon\), and \(U\) for each instance. It does not grant a free length \(L\) that may be varied after the instance is chosen. Rescaling would change the supports and the relative geometry of the dip and the plateau. The localized scaling route is unavailable as an automatic extension. Arbitrary prescribed \(m>0\) remains outside \eqref{eq:small-mass}. Route B remains unresolved. \section{Prepared source and release status} N-Ins.5 is structural and contingent on invariant completion: \begin{equation} (S_D,I_t)=(V_\sigma+V_g,I_t)+O(\kappa^2). \label{eq:prepared-source} \end{equation} The second source order is excluded. The identity is not itself the missing invariant completion. \begin{remark}[Milestone status]\label{rem:milestones} 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~\ref{lem:support}, Route A, Proposition~\ref{prop:nonvanishing}, and Theorem~\ref{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. \end{remark} \begin{remark}[Non-claim 12]\label{rem:nonclaim} No ultraviolet completion is claimed. No loops, no graph closure, and no singular extensions are claimed. The toy kernel and the inadmissible value of \(g-1\) on ghost support are withdrawn. On shell, the analytic nonvanishing is for one massless special family and is conditional on inherited reduction identities. Bump membership is \(\supp S=[2,3]\) with \(S\in C^\infty_c(\R)\). The one-plus-one calculation is a model variation, not an obstruction. Values for the superseded vector are withdrawn. Numerical evidence is corroboration, not a certificate. Sampling is not a universal-identity certificate. The graph-to-action vertex identification is unsettled. Theorem~\ref{thm:massless-obstruction} covers one constructed instance, not every kernel and not a fixed \(m>0\). The prepared theory is not a BV complex. XV-B is not opened. No quantum coefficient is admitted. No compilation is asserted. No symbolic execution is claimed. \end{remark} \section{Package boundary} The science volume is the registrable manuscript. The companion appendix of listings, note-source archives, and provenance dumps is not this text and is not searched as a premise. The public package records a regression taxonomy that separates mathematical checks from packaging checks. This companion does not run that regression, does not execute a pipeline script, and does not treat an exit code, a log, or a hash as a theorem. A numerical enclosure already stated in the science volume is cited as that stated enclosure. It is not recomputed here, and it is not promoted to a quantum coefficient, an ultraviolet completion, a physical characteristic limit, an opened XV-B, or a derivation of a metric or of Einstein dynamics. \end{document}