% XVI-Q.tex
% Science volume of Landmark XVI-Q, release Q11 (2026-10-12).
% Source: cheungngo/XVI-Q manuscript/notes Q01 through Q11.
% Q11 is the current layer. Earlier layers are retained as the record they were.
% Certificates and gates are package evidence, not a series certificate.
% A source record is not a premise.

\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[hidelinks]{hyperref}

\allowdisplaybreaks
\setlength{\emergencystretch}{3em}
\setlist{leftmargin=*,itemsep=3pt,topsep=5pt}
\numberwithin{equation}{section}

\title{\textbf{Landmark XVI-Q}\\[0.4em]
P.6 evanescent counterterm at Q11:\\
BRST-trivial directions as $\sigma$-images, honest partial\\[0.35em]
\large Science volume (Q11: pole-level $\sigma_0$ exactness; 43 directions unclassified)}
\author{}
\date{2026-10-12}

\begin{document}
\maketitle

\begin{abstract}
Release Q11 continues the P.6 one-loop $\kappa^3$ three-point sector as an honest partial.
In the gauge-fixed BV variables the antifield of $h$ enters through $\tilde K=K+\bar c\cdot F'(h)$.
Of the nonzero $F$ images, 71 of 194 lie in $N$, and 8 of 33 $G$ images lie in $N$; those images also satisfy the ghost equation.
The remaining failures are open. They are not traced to the $\eta$-trace hypothesis alone.
The classification $\dim N_g=104=46+24-9+43$ is conditional: the 46 directions are trivial only if this $\sigma$ is the correct linearised Slavnov--Taylor operator on the evanescent sector.
No direction is certified physical. The invariant evanescent basis and the p22 $\kappa^2$ consistency check stay open.
Q10 withdrew the earlier counts of BRST-trivial directions. Those withdrawn counts are not current.
The O.1 record is closed only for the one-loop $\kappa^2$ two-point sector of the bulk invariant action $S_{\mathrm{inv}}$, and an independent rebuild confirmed that closure in Q02. Q03 records that confirmation as \texttt{O1\_closure\_confirmed}.
The scope assumes zero mass, the gauge fermion held fixed, QdS external legs, and XVI-P's prescription, including the p22 evanescent counterterms.
All 23 rows of that bulk identity are cancelled by local counterterms, and the cancellation is fully consistent under $\sigma_0$ on the bulk 11 directions.
The counterterm domain is enlarged beyond XVI-O's. XVI-O's prescription is not the one used, so the record does not update XVI-O, where O.1 stays NOT\_CLOSED.
This is the base for P.6, and one secured foothold for a quantum-gravity theory, not proof of one. It does not restore bulk symmetry, it does not discharge Route B or XVI-N, and it says nothing about three-point functions, higher loops, or ultraviolet completeness.
The inherited insertion stays frozen. XV-B is not opened. XIV-J is not opened.
The OpenAI catalogue and the En05--En07 sheets are not premises.
No quantum coefficient of the inherited characteristic graph is admitted.
No compilation is asserted.
\end{abstract}

\section{Reading map}
\label{sec:reading-map}
This section is the current reading of release Q11.
The later sections are the science notes Q01 through Q11, in release order.
A later note can withdraw a count in an earlier note. The withdrawn count is not a current result.
Citing one of these notes does not make it a premise of another manuscript.

\begin{remark}[Q11 current layer]
\label{rem:q11}
Q11 builds local ghost-number $-1$ functionals from $\tilde K=K+\bar c\cdot F'(h)$, with the gauge fermion $\Psi=\bar c\cdot F(h)$ and $B$ integrated out.
$Y_F=\tilde K\cdot F(h,h)$ absorbs the Q08 $P$ family as the $\bar c$ partner.
$Y_G=c^*\cdot G(c,h)$ supplies $X_{Khc}$, its $\bar c$ partner, and the $c^*cc$ piece that Q08 lacked.
$\sigma=(S_0,\cdot)$ uses the same channel operators as the rows, with antibracket sign $-1$ between antifield-type and field-type pieces.
Each generator is tested once on the rows, Bose symmetry, and the ghost equation. No per-generator fit is made.
The Q11 gate accepts the pinned values. Independent rebuild of Q11 was not requested. The gate is package evidence, not a series certificate.
\end{remark}

\begin{remark}[Conditional $\sigma$-images]
\label{rem:sigma}
With $\tilde K$, 71 of 194 nonzero $F$ images and 8 of 33 $G$ images lie in $N$, and those images satisfy the ghost equation.
Twelve $F$ generators fail through the antifield-type piece alone when the $\bar c$ partner and the $E$ channel are missing.
A $(\lambda,\mu)$ scan is only a diagnostic: no single normalisation works for every generator.
Failures occur with and without trace monomials, so the $\eta$-trace hypothesis is not the sole cause.
On the evanescent sector of the $h\cdot h\cdot c$ row, the row operators do not compose to zero with this $\sigma$.
A candidate cause is the four-dimensional momentum rule $T(p,\cdot)=0$ for hat components, under which $s_0\hat h=0$. That cause is open.
\end{remark}

\begin{remark}[Conditional classification]
\label{rem:classification}
$\dim N_g=104$ splits as $46$ directions in the $\sigma$ span, plus $24$ blind directions, minus $9$ overlap, plus $43$ unclassified directions.
The $46$ directions are trivial only if this $\sigma$ is the correct linearised Slavnov--Taylor operator on the evanescent sector.
The failures put that identification in doubt. No direction is certified physical.
The $43$ directions are not shown to be physical.
The invariant evanescent operator basis is not constructed. Consistency with the p22 $\kappa^2$ evanescent counterterms is not reached.
\end{remark}

\begin{remark}[Erratum on earlier trivial counts]
\label{rem:erratum}
Q10 withdraws the Q08 counts ``at least 97 in the trivial span'', ``at least 55 trivial'', and ``at least 36 unexplained'' as a count of non-trivial directions, and the Q09 counts ``F verified on 139 of 204'' and ``derived trivial span 59'' as counts of BRST-trivial directions.
The defect is in the construction of $\sigma(Y)$, not in a normalisation that a fit could repair.
The exact difference $152-116=36$ bounds only directions outside the span of the stated pieces. It is not a lower bound on physical directions and not an upper bound on trivial ones.
\end{remark}

\begin{remark}[P.6 stays partial]
\label{rem:p6}
P.6 is the one-loop $\kappa^3$ three-point sector. The scoped O.1 closure is the base it builds on. Its outcome at Q11 is an honest partial.
The four identity rows $c\phi\phi$, $cc\bar c$, $ccK$, and $hhc$ close in four dimensions.
The open part is the evanescent counterterm $X$: 43 of 104 directions are unclassified, no direction is certified physical, and the invariant basis and the p22 consistency check stay open.
The evanescent $\kappa^3$ three-point defect is $\sigma_0$-exact at pole level, and the counterterm $X$ is non-unique and ghost-equation compatible.
That pole-level statement is not a finite-amplitude evaluation, not uniqueness of $X$, and not physicality of an evanescent direction.
All fifteen P.6 graphs have poles recorded by Q06. That record is not $\sigma_0$ closure of the whole sector and not an evaluation beyond the stated pole level.
XVI-P's inventory of fifteen graphs is not this partial evaluation, and this partial evaluation does not rewrite XVI-P.
\end{remark}

\begin{remark}[Scoped O.1 is closed, and XVI-O is unchanged]
\label{rem:o1}
O.1 is closed only for the one-loop, order $\kappa^2$ two-point sector of the bulk invariant action $S_{\mathrm{inv}}$.
That scope assumes zero mass, the gauge fermion held fixed, QdS external legs, and XVI-P's prescription, including the p22 evanescent counterterms.
Within that scope, all 23 rows of the bulk identity are cancelled by local counterterms, and the cancellation is fully consistent under $\sigma_0$ on the bulk 11 directions.
An independent rebuild confirmed that closure in Q02. The review decision is CONFIRM CLOSED (scoped). Q03 records \texttt{O1\_closure\_confirmed} as true and does not change the science of Q02.
The counterterm domain is enlarged beyond XVI-O's, and the write-up has to name it: the 11 four-dimensional p14r directions over $\mathbb{Q}(i)$, plus the 10 p22 evanescent operators, 21 directions in all.
XVI-O's prescription is not the one used. XVI-O's closure reason 8 is not answered in XVI-O's terms. That is why this record does not update XVI-O, where O.1 stays NOT\_CLOSED.
Both reviews ran on the same computer as the author. The graphs D01 and D03 were never rederived from fully independent Feynman rules; they were cross-checked through the $c\cdot h$ defect. Q05's own rules later match XVI-P's two-point poles for D01 and D03.
This scoped closure is the base for P.6. Treat it as one secured foothold for a quantum-gravity theory, not proof of one.
It does not restore bulk symmetry. It does not discharge Route B or XVI-N. It says nothing about three-point functions, higher loops, or ultraviolet completeness.
Outside that scope, O.1 stays NOT\_CLOSED. The series standing stop is not updated.
\end{remark}

\begin{remark}[QdS is not a de Sitter state]
\label{rem:qds}
The declared prescription uses QdS loop momenta and Q4S vertex indices.
QdS is an external-leg scheme. It is not a de Sitter state, not Em02-E's relational lapse, and not horizon entropy.
\end{remark}

\begin{remark}[Bulk symmetry is not restored]
\label{rem:bulk}
\texttt{bulk\_symmetry\_restored} stays false.
A pole-level $\sigma_0$ statement on the evanescent three-point defect is not bulk BV restoration and not a derivation of a metric or of Einstein dynamics.
\end{remark}

\begin{remark}[Insertion frozen]
\label{rem:insertion}
The inherited insertion stays frozen. XVI-N is not discharged. Route B is not discharged.
XIV-J is not opened. XV-B is not opened.
H2, I3, and J2 stay unresolved.
This is not a Page curve, not a holographic identification, and not spacetime emergence.
\end{remark}

\begin{remark}[What is not a premise]
\label{rem:premises}
XVI-O, XVI-N, and XVI-P are read-only inputs of the repository intake. Citing them here does not make them premises of a later sheet, and this sheet is not a premise of them.
The OpenAI catalogue and the En05--En07 sheets are not premises.
A source record is not a premise.
\end{remark}

\begin{remark}[Package evidence]
\label{rem:package}
The certificates, the pinned expected files, and the layer gates are package evidence, not a series certificate.
The full Q11 zip has sha256 \texttt{e2e5980e46ce\ldots}. The author rebuild matched 68 of 68 reference values. The packaged \texttt{XVI-Q.pdf} is 221 pages.
That author rebuild is not an independent rebuild. Independent rebuild of Q11 was not requested. Q07 and Q08 record reviewer rebuilds.
No compilation of this science volume is asserted.
No quantum coefficient of the inherited characteristic graph is admitted.
\end{remark}

\section{XVI-Q Q01: scope and registration}
XVI-Q is a new landmark (registered locally: \texttt{registration/local\_registration.json}; not published). Its aim
is to import XVI-P's verified $\ell_4$ to discharge O.2, to state the bulk identity, and to attempt O.1 closure.
XVI-O, XVI-N and XVI-P are read-only. They are imported by sha256 (\texttt{intake/imports.json}; XVI-P frozen at p23,
source zip \texttt{3f4a88db\ldots}). Q01 covers the intake and O.2. O.1 stays NOT\_CLOSED, bulk symmetry is not
claimed, and the insertion stays frozen.

\paragraph{O.1 target (XVI-O ledger, verbatim).} ``one-loop\_order\_kappa2\_bulk\_two\_point\_on\_S\_inv'': bulk
two-point (graviton, scalar, ghost), including the Einstein--scalar $hh$ channels and the vertex-derived gh$=0$
BV/source tree seeds; baseline $S_{\rm inv}$; frozen gauge fermion; $m=0$. Closure requires a \emph{verified}
retained quantum identity with O.2, O.4, O.5, O.6 and O.7 earned.

\paragraph{Errata from the p23 review (intake).}
\begin{itemize}
\item E1 (medium): the p23 O.5 line ``all $E=2$ graphs evaluated'' overclaims. D04 and D05a were never evaluated,
D06 only as the ghost self-energy, and D12 is Missing. Bulk O.5 is open.
\item E2: the stated reason ``grav $\ell_4$ Incomplete'' is stale.
\item E3: guard bypasses (fixed here).
\item E4: gate value gaps (fixed here: every number is value-checked).
\item E5: scaleless 5-leg tadpoles are missing from the $\kappa^3$ inventory.
\end{itemize}

\section{O.2: the classical $\kappa^2$ master $2(S_0,S_2)+(S_1,S_1)=0$ on $S_{\rm inv}$}
\paragraph{(a) Full $\ell_4$ --- Constructed.} XVI-P's p23 stages, re-executed from the pinned zip, reproduce the
$\ell_{2,3,4}$ exports byte-identically. The $\ell_4$ export (3360 terms) equals, term by term, an
\emph{independent} reconstruction from the $\Gamma\Gamma$ Lagrangian
$\sqrt{-g}\,g^{mn}(\Gamma^a_{mb}\Gamma^b_{na}-\Gamma^a_{mn}\Gamma^b_{ab})$. That reconstruction uses exact
$\epsilon$-grading, $g^{-1}$ and $\sqrt{-g}$ to second order in $H$, and a sparse ring over $\mathbb Q$. Its only
normalisation, $-2$, is fixed by XVI-O's conformal probe and coincides with XVI-O's convention
$\ell_4=-2[\epsilon^4](\sqrt{-q}R)$, since $L_{\Gamma\Gamma}=\sqrt{-g}R+\partial B$. A one-term mutation is detected.

\paragraph{(b) Explicit $O(\kappa^2)$ antibracket expansion --- Constructed.} With $S_{\rm EH}=\sum_n\kappa^{n-2}\int\ell_n$,
$s=s_0+\kappa s_1$ ($s_2=0$, derived), and $S_{af}\ni\int h^{*mn}(sh)_{mn}$, the field projection is
\[(S,S)|_{af0,{\rm grav}}=2\!\int\!\sum_{m\le n}\frac{\delta S_{\rm EH}}{\delta h_{mn}}(sh)_{mn}.\]
Its $\kappa^2$ coefficient is $2\int W_2$ with
$W_2=\sum E_{mn}(\ell_4)(s_0h)_{mn}+E_{mn}(\ell_3)(s_1h)_{mn}$. This is the component form of $2(S_0,S_2)+(S_1,S_1)$.
$W_2$ is linear in $c$, so $\int W_2=0$ for all $c$ iff $E_{c^\mu}(W_2)=0$. On an independent XVI-Q jet engine,
$W_2$ has 15428 terms and $E_{c^\mu}(W_2)=0$ exactly for $\mu=0..3$; the $\kappa^0$ and $\kappa^1$ regressions
also vanish. Doubling one $\ell_4$ term, or dropping $s_1$, breaks the result.

\paragraph{(c) Ghost/antifield sector --- Constructed (re-executed evidence).} In XVI-P's exact P13 master
(re-executed; content-identical to p23), every $\kappa^2$ cell vanishes: af0 ghost/gauge fixing (transformed), and
af1 and af2 in both invariant and $\Psi$-transformed variables. $s_2$ is \emph{derived} zero in all sectors, from
the affine $g$, the linear Lie derivative, and the ghost law; it is not invented. This answers XVI-O's ``absent under
inherited $s$''. $s$ is nilpotent exactly. Seven mutations each produce residuals. Caveat: Q01 has no second,
independent engine for this sector.

\paragraph{Outcome.} O.2 at $\kappa^2$ is \textbf{Constructed in XVI-Q}; XVI-O's own record is unchanged (read-only).
The scope is classical, $S_{\rm inv}$, $m=0$: not quantum, not the prepared $S_D$, not the insertion.

\section{d guard (carried)}
The XVI-P p23 dred is imported unchanged, with one added rule. Polynomial construction (\texttt{Poly.new}, a class
attribute) and any internal rename of $d$ are admitted only when the \emph{entry} sympy function called from user
code is an allow-listed rational normaliser; otherwise they are denied. This closes the p23 bypasses:
\texttt{sympy.polys.rem}, pre-import capture, \texttt{reduced}, \texttt{groebner}, the Dummy rename and
\texttt{rep.eval}. Probe: 16 forms $\times$ 4 expressions all raise, and ordinary algebra is unchanged.

\section{Status and Q02 plan}
After Q01: O.2 Constructed; O.4 inventory (with E1); O.5 bulk open; O.6/O.7 bulk open; enlarge rule not triggered at
$\kappa^2$. Hence O.1 is NOT\_CLOSED. Q02 will:
\begin{enumerate}
\item evaluate the bulk O.5 graphs D04, D05a and D06 (full $c\bar c$ two-point), and settle D12 (Missing, never
zero);
\item state and verify the bulk retained identity ST4a/ST4b on the full two-point sector;
\item solve for the bulk counterterms and attempt O.1.
\end{enumerate}


\section{Q02 scope and outcome}
Q02 evaluates the bulk O.5 graphs D04, D05a and D06, reconciles D12, states XVI-O's ST4a/ST4b on the full one-loop
$\kappa^2$ bulk two-point sector of $S_{\rm inv}$ ($m=0$), solves the bulk counterterms, checks full $\sigma_0$ closure,
and walks the O.1 checklist. XVI-O, XVI-N and XVI-P are read-only and hash-pinned. The prescription is XVI-P's declared
one: DRED with QdS loop momenta and Q4S vertex indices; $d$ opaque behind the XVI-Q guard; MS-bar; Feynman $+i0$; the p22
evanescent counterterms.
Normalisation: $i\Gamma_1=\sum$ graphs. Coefficients are given per $\kappa^2$, in units of
$M_B=\hat I(1,1)=1/\epsilon+2-L+O(\epsilon)$, with $L=\log(-p^2/\mu^2-i0)$.

\section{Bulk graphs}
\begin{tabular}{llll}
graph & content & value & evidence\\\hline
D04 & $\phi\phi$, two $V_{h\phi\phi}$, $h$+$\phi$ lines & $0$ exactly in $d$ & two routes + hand contraction\\
D05a & $\phi\phi$, $hh\phi\phi$, $h$ loop & $0$ (derived) & numerator $l$-independent, $\omega=2$, no log member\\
D06 & $\bar c c$, two $V_{\bar c c h}$, $h$+$c$ lines & $\delta^\rho_\nu p^4$: $-\frac{4d-7}{8(d-1)}$;
 $p^\rho p_\nu p^2$: $\frac{3(d-2)}{8(d-1)}$; $\tilde G^\rho{}_\nu p^4$: $-\frac{3}{8(d-1)}$ & $=$ XVI-P P15 $\Sigma$ exactly\\
D12 & $hh$, $hh\phi\phi$, $\phi$ loop & $0$ (derived) & $\omega\in\{2,4\}$, no log member
\end{tabular}

\textbf{D04: mechanism.} The D04 bubble at $p\neq0$ is \emph{not} scaleless, so its zero needs an explicit reason.

Take the vertex $V_{ab}(p,q)=p_aq_b+p_bq_a-\eta_{ab}\,p\cdot q$ with $q=l-p$, and the graviton numerator
$P=\tfrac12(\eta\eta+\eta\eta)-c\,\eta\eta$, where the vertex-index trace is $\eta\cdot\eta=n$. Then
\[V\cdot P\cdot V'=2p^2q^2+(n-2)(p\cdot q)^2\,[1-c(n-2)].\]
The $(p\cdot q)^2$ term is the coupling to the trace mode. It cancels exactly when $c=1/(n-2)$, which holds for the de
Donder propagator in DRED ($n=4$, $c=\tfrac12$, the declared prescription) and in CDR ($n=d$, $c=1/(d-2)$). What remains
is $2p^2(l-p)^2$. This cancels the scalar propagator and leaves $p^2\!\int 1/l^2$, which is scaleless with $\omega=2$ and
no logarithmic member, so D04 $=0$ exactly in $d$.

D04 $=0$ is therefore a statement about de Donder gauge, minimal coupling and $m=0$, off shell. It is not a general
property of the bubble, and no free-EOM equivalence is used.

\textbf{D04: routes.}
\begin{itemize}
\item Engine route 1: Feynman parameters, with no scaleless rule.
\item Engine route 2: an invariant fit identical to $\tfrac12p^2(l-p)^2$, followed by IBP.
\item Route 4: fully independent of the engine. It uses its own covariant algebra and its own Feynman-parameter
integration with symbolic $D$ for arbitrary propagator powers.
\end{itemize}
In route 4, both the DRED and CDR cases give $0$. The mutations, as ratios to the master, are:
\begin{itemize}
\item mixed scheme ($n=4$, $c=1/(D-2)$): $\frac{D-4}{2(D-2)}p^4$, i.e.\ $O(\epsilon)\times$pole;
\item vertex trace normalisation $\tfrac12$: $p^4/4$;
\item non-de Donder gauge pieces of Fr\"ob's propagator: $T^{(4)}$ gives $(D-1)p^4$ and $T^{(5)}$ gives
$\frac{(D-2)(D-1)}{8}p^4$;
\item non-minimal coupling $\xi$: $-\xi p^4$, which is linear in $\xi$;
\item engine mutation dropping the trace term of the propagator: $-i/8$.
\end{itemize}
The gauge piece $T^{(3)}$ gives $0$, and this is expected rather than a failure: $l^aV_{ab}=p_bq^2+q_bp^2$, so every
$T^{(3)}$ term carries $q^2$ and is scaleless. It is recorded as a Ward-identity zero, not counted as a detector.

\textbf{D04: literature.} M.~B.~Fr\"ob, CQG 35 (2018) 055006 (arXiv:1710.00839), works in flat space, in a general
gauge, in $n$ dimensions. The de Donder part of the graviton-loop scalar self-energy (his eq.~inv2pf\_termsumint\_grav) has
an integrand bracket proportional to $m^2$ or $\xi$, and ``vanishes identically'' for $\xi=0$, $m=0$, in accordance with
Kahya and Woodard (2007). For $m=0$ his $\xi^2$ terms vanish, and the gauge-parameter pieces contribute. \textbf{All three
statements agree} with our results. The 1PI self-mass is gauge dependent; D04 $=0$ holds in the declared gauge only.

\textbf{E7.} The symmetry factor of D04 is $1$. XVI-O's ``$\tfrac12$'' was marked Unverified and never used for a value.
XVI-P never evaluated D04, and its D11, which has two identical $\phi$ lines, keeps $\tfrac12$. No earlier value changes.

\textbf{D05a, D12.} These are genuine one-propagator tadpoles: no external momentum flows through the loop line. They
are pure power divergences ($\omega=2$, and $2,4$ for D12) with no logarithmic member, so there is no pole on either
side, and the zero is not a cancellation between UV and IR poles. Fr\"ob also notes that graviton tadpoles vanish in
dimensional regularisation around flat space.

\textbf{D06.} This is the full $\bar c c$ two-point function. MS-bar poles: $-3/8$, $1/4$, $-1/8$. Local finite parts:
$-2/3$, $5/12$, $-1/3$. Coefficients of $L$: $3/8$, $-1/4$, $1/8$. It is identical in $d$ to the ghost self-energy
$\Sigma$ of XVI-P P15, for which the ghost equation against D13 is verified.

\textbf{D12 reconciliation.} XVI-O never labels D12 ``Missing''. The word survives only as stale p14r text in XVI-P's
P23 O.5 line. XVI-P p15 derived D12 $=0$, and Q02 confirms this independently. The value is derived, never set by
convention; this is erratum E6.

\section{Bulk retained identity, counterterms, closure}
XVI-O's definitions, quoted verbatim:
\begin{itemize}
\item ST4a: $\Gamma_{1,\rm local}=\sum z_iC_i$ (gh $0$);
\item ST4b: $P_{\rm ret}(S,C)=-P_{\rm ret}A_1$ (gh $1$);
\item retained identity: $(S,\Gamma_1)=\mathcal A_1$ at one loop and order $\kappa^2$ in the retained sector.
\end{itemize}

\textbf{Rows.} All 23 one- and two-field monomials of ghost number $0$ and $1$ are classified, each with its own
justification. Two independent one-loop enumerations agree with XVI-P: $E=2$ gives 9 graphs and $E=1$ gives 3.

\textbf{Counterterms (ST4a).} The MS-bar counterterm, $-$pole, in the 11-direction declared p14r domain over
$\mathbb Q(i)$:
\begin{itemize}
\item $h\!\cdot\!h$: $\tfrac{49i}{480},\tfrac{41i}{160},-\tfrac{49i}{240},-\tfrac{41i}{80},\tfrac{43i}{120}$;
\item $c\!\cdot\!\bar c$: $-\tfrac38,\tfrac14$, in the route-G orientation; these equal the D06 poles up to the
orientation sign $-1$;
\item $c\!\cdot\!K'$: $0,-\tfrac38,\tfrac14$;
\item $\phi\!\cdot\!\phi$: $0$. P19 carried this coordinate as a placeholder; it is now earned.
\end{itemize}
The p22 evanescent counterterms ($K'c$ E2: $-\tfrac1{16}$; $\bar cc$ SE: $\tfrac18$; $hh$ sum) subtract the evanescent
poles only. They lie outside the p14r 4D domain as a disclosed contract revision. They are not needed for the identity:
the ch defect is zero with $x=0$.

\textbf{ST4b and closure.}
\begin{itemize}
\item $c\cdot h$: the defect is zero exactly in $d$ (P19).
\item $c\cdot b$: this is the ghost equation, and its $\Sigma$ equals D06.
\item $c\cdot\bar c^*$: unreachable.
\item $c\cdot\phi$: zero by parity.
\end{itemize}
Full $\sigma_0$ closure of the complete MS-bar counterterm holds in every gh$+1$ sector. The $\sigma_0$ rank on
$\phi\!\cdot\!\phi$ is $0$, and the cohomology of the domain is $0$. \textbf{Outcome: cancellable, with no residual.}

\section{O.1 walk (verbatim ledger)}
\begin{enumerate}
\item \emph{State retained quantum identity}: earned. XVI-O status was Constructed\_as\_statement.
\item \emph{List amplitudes constrained by identity}: earned. XVI-O status was ``manually\_specified\_partially\_checked''.
Completeness now rests on two mechanical enumerations.
\item \emph{$S_{\rm inv}^{[2]}$ classical consistency}: earned in Q01.
\item \emph{Evaluate inventory graphs}: earned. All 12 graphs have exact values.
\item \emph{Remainder cancellation / CT solution}: earned, as above.
\item \emph{Enlarge target}: not triggered. At one loop the $\kappa^2$ part of $(S,\Gamma_1)$ is
$(S_0,\Gamma_1[\kappa^2])+(S_1,\Gamma_1[\kappa])$. $\Gamma_1[\kappa]$ is one-point only and is $0$, and $\Gamma_1$ with
three fields starts at $\kappa^3$.
\end{enumerate}
All eight closure-check reasons are answered. Enlarge rule 3 is respected: no XVI-M graph is used or identified with an
action graph. Downgrade rule 2 is respected: no amplitude is omitted without its own justification.

\textbf{O1\_closure = CLOSED\_PENDING\_INDEPENDENT\_REVIEW} (confirmed: false). The scope is the one-loop $\kappa^2$ bulk
two-point retained sector of $S_{\rm inv}$ at $m=0$, with the frozen gauge fermion, under the declared prescription, with
external momenta in QdS. The functional ST4b (all $n$-point) and bulk symmetry restoration are \emph{not} claimed.

\section{Guard, gate and records}
\begin{itemize}
\item The guard refuses any \texttt{Poly} that has $d$ as a generator. $d$ inside the coefficient domain is admitted, as
used by the XVI-P integral library. \texttt{apart} and \texttt{apart\_list} are removed from the allow-list. 18 bypass
forms $\times$ 4 expressions are probed, and all of them raise.
\item The gate compares every Q01/Q02 certificate value path by path against \texttt{q02\_expected.json}, whose sha256 is
pinned in the gate. It independently checks the O.2(c) cells (exact set, all true, $\kappa^0$..$\kappa^2$, including the
build input), each per-file pin, the conventions files and the errata file, and fails closed.
\item \texttt{tools/build.py} no longer syncs by default; a release opts in with \texttt{--sync}.
\item The registration record, errata E2 (severity low) and E4 (unpinned \texttt{p23\_conventions}) are corrected, and
the XVI-N label note (r10 file, r12 content) is added.
\end{itemize}


\section{Q03: correction release (no new science)}
Q03 corrects the O.1 closure record after the Q02 independent review (report
\texttt{reproducibility/independent\_rebuild\_report\_q02.json}, sha256 \texttt{e4b54702bc76\ldots}, reviewed
source zip \texttt{378651a3\ldots}, tree \texttt{4b551b98\ldots}; decision: CONFIRM CLOSED (scoped)).
The Q02 certificates are a frozen layer; the authoritative record is \texttt{certificates/Q03\_O1\_record.json}.

\subsection{O.1 status}
$\texttt{O1\_closure} = $ CLOSED (scoped), $\texttt{O1\_closure\_confirmed} = $ true, bound to the report sha256 and the
reviewed tree (the gate re-hashes the report). Scope (verbatim from the review): one-loop, order $\kappa^2$, bulk
two-point retained sector of $S_{\rm inv}$ ($h,\phi,c,\bar c,b$ + antifields; gh0 seeds), $m=0$, frozen gauge
fermion, under XVI-P's declared prescription (DRED: QdS loop momenta, Q4S vertex indices, MS-bar) including the p22
evanescent counterterm contract revision.

\subsection{Correction 1: counterterm domain of O.1 item 5 (medium)}
The counterterm domain used is the \emph{enlarged} domain: the 11 p14r 4D directions over $\mathbb{Q}(i)$
\emph{plus} the 10 p22 evanescent operators ($K'\!\cdot c$ E2, coefficient $-1/16$; $\bar c c$ SE, $1/8$; eight
$h\!\cdot\!h$ evanescent structures), 21 directions in all. With QdS (d-dimensional) external momenta the local divergent part contains
evanescent poles that only the p22 operators cancel. ``ST4a in the declared p14r domain'' on its own holds only for 4D
externals. $\sigma_0$ closure including the evanescent operators was verified in the p20/p22 independent reviews.

\subsection{Correction 2: prescription; XVI-O closure reason 8 (medium)}
The closure uses XVI-P's prescription, not XVI-O's. XVI-O's o70-sync D11 matter-loop kernel counterterm (closure
reason 8) is superseded on evanescent legs: both XVI-O kernel continuations fail there (p22). Reason 8 is therefore
recorded as NOT ANSWERED in XVI-O's terms; reasons 1--7 are answered as in Q02, and reason 7 now names the enlarged domain.

\subsection{What O.1 CLOSED (scoped) does not imply}
Not the functional/all-$n$-point ST4b; not bulk symmetry restoration (\texttt{bulk\_symmetry\_restored} = false);
no change to XVI-O's own ledger (read-only, O.1 there stays NOT\_CLOSED); not the three-point sector / P.6
($\kappa^3$) or higher orders; not the insertion (frozen); not finite amplitudes with $\epsilon$-scalar externals.

\subsection{Caveats}
(i) Both independent reviews ran on the same box as the author (shared Python/sympy and TeX Live).
(ii) The D01/D03 pole values were never recomputed from independent Feynman rules; they are cross-checked only
through the exact cancellation of the $c\!\cdot\!h$ defect in $d$.
(iii) Full $\sigma_0$ closure and the $c\!\cdot\!h$ defect rely on the earlier p19--p22 independent checks.
(iv) D06 is accepted through its exact equality with XVI-P P15 $\Sigma$.

\subsection{Correction 3: gate and guard (low)}
The gate now re-hashes every pinned provenance file (all 33, and it rejects any unpinned provenance file), every
pinned code/conventions file and the bound independent report at gate time. It also checks that every file it reads
is in the source set or is a build output. The d guard now refuses value assignment
(\texttt{evaluate}/\texttt{subs}/\texttt{\_\_call\_\_}/\texttt{compose}) on \texttt{PolyRing}/\texttt{FracField}
elements whose generators include $d$ when called directly. All 8 reviewer forms raise, and the 18 earlier forms still
raise. Disclosed residual: raw dense-list evaluation carries no symbol information and is not guarded; no package code
uses it.


\section{Q04: P.6 entry --- one-loop $\kappa^3$ three-point sector (honest partial)}
P.6 is the one-loop $\kappa^3$ three-point sector. It lies outside the O.1 scope (one-loop $\kappa^2$ two-point), and
\textbf{O.1 CLOSED (scoped) is unchanged}. Q04 releases the stages listed below. Anything not evaluated is marked
\emph{Missing}, never set to zero.

\subsection{Inventory and vertices (Constructed)}
An independent enumerator (one-loop 1PI graphs as cycles of at most 3 vertices; each vertex of an $E=3$ graph carries at
least one external leg) is run on the p14r loop-capable vertices plus the $\kappa^3$ vertices. It reproduces XVI-P P23's
15 loop graphs exactly (hhh 5, h$\phi\phi$ 4, $\bar c c h$ 2, $Kch$ 2, $c c c^*$ 1, $\phi^* c\phi$ 1). It adds three
$\kappa^3$ tadpoles: V5\_grav $\to$ hhh, and V\_hhh$\phi\phi$ with an hh line $\to$ h$\phi\phi$ or a $\phi\phi$ line
$\to$ hhh. All three are scaleless (massless self-contraction; $\int d^dl\, l^{2k}/l^2=0$, no log member), so they
are derived 0.

Power counting: at one loop $I=V$, so $\sum_v(\mathrm{legs}_v-2)=E$ and the $\kappa$ power equals $E$ (checked on every
enumerated graph). Hence the one-loop $\kappa^3$ one-point and two-point sectors are empty.

$\kappa^3$ vertices: the ghost, antifield and gauge-fixing vertices are exact at their order. $s h=\tfrac12 L_c(\eta+\kappa h)$
is affine in $h$, $\Psi$ is linear in $h$, and $s c$, $s\phi$ are exact at $\kappa$. The only new vertices are therefore
V5\_grav and V\_hhh$\phi\phi$. The cubic term of $\sqrt{-g}g^{\mu\nu}$ is derived in closed form and agrees with an
independent exact determinant/inverse series; a mutation is detected. V5\_grav is not constructed, because it enters only
the scaleless tadpole.

\subsection{Identity at $\kappa^3$ (ledger Constructed)}
$(S,\Gamma_1)=A_1$ at $\kappa^3$ is $(S_0,\Gamma_1^{[3]})+(S_1,\Gamma_1^{[2]})+(S_2,\Gamma_1^{[1]})+(S_3,\Gamma_1^{[0]})$.
The last two terms vanish ($\Gamma_1^{[1]}=0$ by D14; $\Gamma_1^{[0]}$ is field independent). The ghost-number-1 three-field
rows are enumerated mechanically: 14 rows. Four are odd under $\phi$-parity (zero), six contain auxiliary or nonminimal
fields, and four need P.6 inputs ($c\,h\,h$, $c\,\phi\phi$, $c\,c\,\bar c$, $c\,c\,K$); each needed input is recorded. The
$\kappa^3$ counterterm domain is given only as structural monomial counts (4D versus evanescent); its BRST/$\sigma_0$
reduction is Missing.

\subsection{Evaluation (Partial)}
\textbf{Own UV-pole engine} (\texttt{code/q04/uvpole.py}). It uses its own Feynman rules, symbolic opaque $d$ through
qguard, and the DRED hat/tilde split (QdS momenta, Q4S vertex indices); MS-bar residues are taken only through
\texttt{dred.substitute\_d}. The UV pole is extracted by an exact Taylor (IR-rearranged) expansion.
\emph{Validation:} the engine's scalar bubble equals $i\times$ XVI-P's P18 D11 pole on all 14 structures, including the
8 evanescent ones. A vertex mutation breaks the agreement.

\textbf{Evaluated:} P6-G14 (scalar triangle) and P6-G15 (scalar bubble), the scalar-loop contributions to hhh, at the
UV-pole level (exact residue; Bose symmetric). \textbf{Matter Ward identity at three points}: diffeomorphism invariance
of the scalar-loop $W[g]$, i.e.\ the matter part of row $c\,h\,h$, with $\Gamma_2$ the validated D11. The pole residue
satisfies it exactly, including the evanescent structures. A wrong Lie-derivative sign and dropping the
$\sqrt{-g}g^{-1}$ quadratic-vertex bubbles are both detected. The $d$-dependent coefficient differs from zero by
$O(d-4)\times U$, which is finite and not evaluated.

\textbf{Missing:} 13 graphs, namely every graph with a graviton or ghost loop, V3/V4\_grav, the ghost/antifield vertices
or mixed lines (P6-G01..G13). Also Missing: their finite parts, the $\kappa^3$ defect assembly, the counterterm solve
and $\sigma_0$ closure.

\subsection{Next step}
Implement V3\_grav (own rules, validated against XVI-P D01) and the ghost vertex (validated against D06/D13). Evaluate
G01--G13 at the pole level, starting with the rows $c\,\phi\phi$ (G05, G06, G11, G12, G13) and $c\,c\,\bar c$/$c\,c\,K$
(G03, G04, G07, G09, G10). Assemble the projected $\kappa^3$ defect, reduce the counterterm domain, solve, and check
$\sigma_0$ closure.

\subsection{Q03 review findings (low), folded in}
(i) \texttt{tools/source\_set.py}, which decides which files count as source, is now pinned in the gate together with
\texttt{build.py} and \texttt{rebuild\_from\_source.py}; the gate also re-hashes the Q03 independent report.
(ii) The d guard cannot see code that leaves sympy symbolics. This covers a pure-Python term walk that identifies $d$ by
name (comparing with \texttt{== d} is already refused by the p22 guard), a \texttt{str}/\texttt{srepr} rename followed by
a re-parse, and raw dense-list evaluation. The probes in \texttt{certificates/Q04\_guard\_scan.json} show these
\emph{do} bypass the runtime guard, and they cannot be closed at runtime. The class is closed by policy: an AST
static scan of every package file (\texttt{code/q0*/*.py}; the guard probe files are exempt) forbids the escape
primitives, and the gate requires the scan to be clean.


\section{Q05: P.6 continued (one-loop $\kappa^3$ three-point sector) --- honest partial}
\textbf{Scope.} Pole level, one loop, $\kappa^3$, under the XVI-P declared prescription (DRED with opaque $d$ guarded by
\texttt{qguard}, MS-bar, Feynman $+i0$, evanescent structures kept as tilde metrics). O.1 stays CLOSED (scoped, $\kappa^2$
two-point) and is not changed; \texttt{bulk\_symmetry\_restored} stays false.

\subsection*{Own gravity and ghost Feynman rules}
Derived in \texttt{code/p6q05/gravity.py} from the XVI-P declared action: $S_{EH}=-(2/\kappa^2)\int L_{\Gamma\Gamma}$, the
gauge fixing obtained by eliminating $b$ ($+D_\mu D^\mu$), $S_{gh}=\int i\bar c_\mu D^\mu[(\partial c+\partial c)+\kappa L_c h]$,
$K\,s h$ with $s h=\tfrac12 L_c(\eta+\kappa h)$, and $s c=\tfrac{\kappa}{2}c\cdot\partial c$, $s\phi=\tfrac{\kappa}{2}c\cdot\partial\phi$
(XVI-P P13 $s$-images). Checks: the EH quadratic form is gauge invariant. EH plus gauge fixing equals $k^2(I-\tfrac12 J)$
(XVI-P $K=-\Box P$), so the graviton propagator is $i/k^2\,(I-\tfrac12J)$ with $\mathrm{tr}\,\eta=4$ (Q4S).
Validation against pinned XVI-P two-point poles, all structures including evanescent ones, constant ratio (own/XVI-P):
D01 (V3$\times$V3) $=I$, D03 (ghost loop) $=I$, D06 ($\bar cc$) $=I$, D13 ($K'\!\cdot c$) $=-I$.
$I$ is the Q04 convention factor (D11). \textbf{Disclosure:} D13 has the opposite overall sign: the orientation of the
$K'\!\cdot c$ slot differs between the two codes. Own rows use own D13 consistently. The ghost equation holds at two
points ($D06=-2\,D13[K\to T]$) and graph by graph at three points ($G04=-2\,G03[K\to T]$, $G09=-2\,G07[K\to T]$).

\subsection*{Graphs (UV pole residues, own rules)}
Evaluated: G03--G13; nonzero poles are certified in \texttt{Q05\_P6\_graphs.json}. Q04 carried G14, G15 and the scaleless
T1--T3. \textbf{Missing} (never set to zero): G01 (V3$^3$, implemented, evaluation did not finish within the release
budget) and G02 (needs V4, not constructed).

\subsection*{Identity rows at the pole}
Antifield-channel signs are calibrated on the classical $(S_0,S_1)=0$ (tree level) and used unchanged at one loop.
\textbf{Row $c\phi\phi$: closed.} The residual is identically 0. It needs the channel $\delta S_1/\delta h|_{\phi\phi}\cdot\Gamma_{Kc}$,
which the Q04 ledger omitted (erratum Q05-E1). Detected mutations: flipped $\sigma$, dropped $K$-channel, dropped G06/G12/G13.
G05's $s_0$-projection vanishes identically, so dropping G05 is undetectable in this row; that is recorded, not a failure.
\textbf{Rows $cc\bar c$, $ccK$: OPEN.} The tree identities close with one constant $\sigma_c$. The one-loop rows do not
close, and no rescaling of the four channels closes them. They are \emph{not} reported as an obstruction. Since the ghost
equation holds, the defect is located in G10 (one sign bug already fixed, erratum Q05-E4), in the $K$/$c$ channels, or in
the Grassmann bookkeeping of the two identical $c$ legs. \textbf{Row $hhc$: Missing} (needs G01, G02).

\subsection*{Counterterms and $\sigma_0$ closure}
In the $h\phi\phi$ and $\phi^*c\phi$ sector, the MS-bar counterterm is minus the certified poles. Its consistency in row
$c\phi\phi$ is exactly the closed row. Every other $\kappa^3$ sector is Missing or Open. The $\kappa^3$ counterterm-domain
reduction is not done. \textbf{$\sigma_0$ closure at $\kappa^3$ is not established.} Finite parts are Missing.

\subsection*{Q04 review folded in}
The static scan is hardened (\texttt{guard\_scan2}: recursive over \texttt{code/}, flags all 7 reviewer evasion forms). The
claim is downgraded to a \emph{best-effort policy scan, not a security boundary}. The Q05 gate rejects any unpinned file in
\texttt{code/**}, \texttt{tools/} or \texttt{tests/}. The \texttt{scalar\_loop3.py} docstring (G13/G14 should read G14/G15)
is erratum Q05-E2; the file is pinned by the Q04 layer gate and left unchanged. Pinned Q04 tools are left unchanged, and Q05
adds \texttt{build\_q05.py}, \texttt{source\_set\_q05.py}, \texttt{rebuild\_q05.py} and \texttt{make\_expected\_q05.py}.

\subsection*{Next step}
Independently check G10 and the $c$-channel, then close or diagnose the ghost rows. Evaluate G01 (lower-cost contraction)
and construct V4 for G02, which gives row $hhc$. Then reduce the $\kappa^3$ counterterm domain and attempt $\sigma_0$ closure.


\section{Q06: P.6 continued (honest partial)}
\subsection*{Scope and standing constraints}
One-loop $\kappa^3$ three-point sector at UV-pole level, XVI-P declared prescription (DRED, opaque $d$ via qguard,
MS-bar, Feynman $+i0$), own Feynman rules of Q05.  XVI-O/N/P read-only; O.1 remains CLOSED (scoped, $\kappa^2$
two-point) and is not affected; bulk symmetry restoration is not claimed; insertion frozen; no Missing is ever set to zero.

\subsection*{1. Ghost rows $c\,c\,\bar c$ and $c\,c\,K$: diagnosis and fix}
Q05 reported both rows OPEN: the assembled one-loop row did not vanish and no rescaling of the four channels closed it.
Q06 splits every channel by orientation of the two identical ghosts and fits all six coefficients freely on the 4D
(non-evanescent) part.  The fit has a unique solution (up to scale), every coefficient $\pm1$:
the h channel and both c channels enter as assembled in Q05, but the K channel
$\delta S_1/\delta h|_{X c_j}\cdot\Gamma_{K c_i}$ enters with the \emph{opposite} orientation sign.  Reason: in the K
channel the external $c_i$ sits inside $\Gamma_{Kc_i}$, to the right of $c_j$, while in the h channel the order is
reversed; bringing the monomial to the row ordering $c_1c_2$ costs one Grassmann transposition.  The tree row has no K
channel, so the tree calibration ($\sigma_c=-1$ for $\bar c$, $+1$ for K) is unchanged.  With this fix the 4D part of
both rows vanishes exactly, and every single-channel mutation (drop $h_{1,2}$, $K_{1,2}$, $c_1$, $c_2$, flip $\sigma_c$,
restore the Q05 K sign) leaves a nonzero 4D residual.

\emph{Second route for G10.}  The $c^*cc$ triangle was recomputed with a re-routed loop momentum (graviton carries
$l-p_1$) and the two $c$ slots of $V_{c^*cc}$ entered in the opposite order (Grassmann sign $-1$): bit-identical to the
Q05 pole.  G10 was therefore not the defect.

\emph{What remains.}  A purely evanescent remainder (22 terms for $ccK$, 24 for $cc\bar c$; every term carries one
$T$ between external polarisations).  Because the row is linear and its 4D part vanishes, local evanescent counterterms equal to minus the evanescent
pole parts (p22 prescription) remove it; whether those counterterms are $s_0$-consistent on the full $\kappa^3$
evanescent domain is OPEN; it is recorded explicitly (sha256 in the certificate) and is
not called an obstruction.

\subsection*{2. hhh graphs G01 and G02}
A sparse-ring fast path (same algorithm as the Expr path, partial products truncated in the Taylor parameter at the
pole order) reproduces G05 and G06 bit-identically and makes G01 (V$_3^3$ triangle) and G02 feasible.
G02 needs the quartic vertex: $V_4$ was derived from $S_{EH}$ by expanding $\sqrt{-g}\,g^{mn}g^{ac}g^{bd}$ to second
order.  No non-scaleless XVI-P graph contains $V_4$ (its tadpole is scaleless), so $V_4$ is validated by the exact
Einstein--Hilbert gauge identity $\delta_0S_4+\delta_1S_3=0$ ($\delta_0h=\partial\xi+\partial\xi$,
$\delta_1h=L_\xi h$), which vanishes identically; the same identity at $n=2$ ($V_3$ vs $V_2$) is the machinery control.
G02 (three channels) and G01 are Bose-symmetric under $(a_1,p_1)\leftrightarrow(a_2,p_2)$, and G02's channels map onto
each other.  All 15 P.6 graphs now have pole values (G14/G15 from Q04).

\subsection*{3. Row $h\,h\,c$, $\kappa^3$ defect, counterterms, $\sigma_0$ closure}
Not assembled: Missing.  The channel ledger is recorded, including a channel absent from the Q04 ledger: with $b$
eliminated, $s\bar c\propto F(h)$, so $F(h)\cdot\Gamma_{\bar c c h}$ (G04+G09) enters (erratum Q06-E2).  The
$\kappa^3$ counterterm-domain reduction, defect, counterterm solve and $\sigma_0$ closure are not established.

\subsection*{Errata}
Q06-E1 (low): Q05's ghost rows were OPEN because of the K-channel Grassmann sign in the assembly, not because of the
graphs; corrected here, Q05 record kept.  Q06-E2 (low): Q04 h h c ledger lacks the $F(h)\cdot\Gamma_{\bar cch}$ channel.

\subsection*{Disclosed revision of a frozen layer}
Q06-R1: the Q05 gate (code/p6q05/release\_q05.py) now treats the pinned Q05 guard-scan file count as a lower bound
(the recursive scan grows when Q06 adds code) and leaves Q06-owned files to the Q06 gate; Q05\_guard\_scan.json was
regenerated (26 to 33 files, still clean).  The revised Q05 gate is re-pinned by the Q06 expected-values file.

\subsection*{Status}
P.6 Partial.  execution\_pass true; claim\_status partial; scope: pole level, one loop, $\kappa^3$.
Next: evanescent $s_0$-exactness of the ghost-row remainder; h h c row; $\kappa^3$ counterterm domain, defect,
counterterm solve and $\sigma_0$ closure.


\section{Q07: $\kappa^3$ three-point rows --- h h c, evanescent counterterms, pole-level $\sigma_0$ closure}
\subsection*{Scope}
One loop, $\kappa^3$, UV-pole level, declared XVI-P prescription (DRED, opaque $d$, MS-bar, Feynman $+i0$). Rows of
$(S,\Gamma_1^{\rm pole})$ with three external legs: $c\phi\phi$ (closed, Q05), $cc\bar c$ and $ccK$ (4D part closed,
Q06), and $hhc$ (this release). Four-point and higher $\kappa^3$ rows and finite parts are not addressed.
\subsection*{Row h h c}
Channels: (A) $\Gamma_{hhh}$ (G01+G02+G08+G14+G15) with one leg replaced by $s_0h(c)$; (B) own $\Gamma_{hh}$ pole
(graviton, ghost and scalar loops) with one leg $s_1h=\tfrac12 L_c h$; (C) $\delta S_{EH,3}/\delta h\cdot\Gamma_{Kc}$;
(D) $\delta S_2/\delta h$ (EH + gauge fixing) $\cdot\Gamma_{Khc}$; (E) $s\bar c=\sigma_F F(h)$:
$F\cdot\Gamma_{\bar c c h}$ (the channel missing from the Q04 ledger, erratum Q06-E2). The tree row
$(S,S)/2|_{hhc}$ closes exactly with $\sigma_F=i$ and requires channel E. The scalar loops G14, G15 and the scalar
part of $\Gamma_{hh}$ were recomputed with the Q05 engine; the matter sector alone closes exactly (incl.\ evanescent
terms). Result: the 4D part of the row vanishes identically with all channels at $+1$ (the unconstrained fit has the
unique solution all-equal), every single-channel deletion and a flip of $\sigma_F$ re-open it; an explicit
evanescent remainder (248 terms, every term containing a $\tilde g$ contraction) is left.
\subsection*{Evanescent counterterms}
(i) The naive p22-type choice (subtract the $\tilde g$ part of every loop input) is \emph{not} $\sigma_0$-consistent:
tree vertices regenerate $\tilde g$ structures from 4D loop parts (22 / 26 terms left on $ccK$ / $cc\bar c$).
(ii) Joint test: $CT=-\Gamma^{\rm pole}+X$ with $X$ a generic local, purely evanescent $\kappa^3$ functional
(monomials with at least one $\tilde g$) for $\Gamma_{Kch}$, $\Gamma_{\bar c ch}$, $\Gamma_{c^*cc}$ and a Bose-symmetric
$\Gamma_{hhh}$; the same $X_{Kch}$, $X_{\bar c ch}$ enter the ghost rows and $hhc$. The linear system over
$\mathbb Q(i)$ (821 unknowns) is solvable; a particular solution ($X_{c^*cc}=0$) is certified and verified by
substitution; 152 parameters stay free (non-unique). Not tested: ghost-equation compatibility of $X$, four-point rows.
\subsection*{Outcome}
$\sigma_0$ closure at $\kappa^3$: CLOSED at pole level on the one-loop three-point rows in the enlarged (evanescent)
counterterm domain. P.6 remains Partial: CT-domain reduction to an invariant operator basis, four-point rows, finite
parts, ghost-equation compatibility and uniqueness of $X$ are open. O.1 (scoped, $\kappa^2$ two-point) unchanged;
bulk symmetry restoration not claimed.
\subsection*{Disclosed revision of a frozen layer}
Q07-R1: the Q06 gate (code/p6q06/release\_q06.py) leaves files under code/p6q06/q07/ and tools/*q07* to the Q07 gate
and treats the pinned Q05 guard-scan file count as a lower bound (as Q06-R1 did for the Q05 gate). The Q05 gate is
byte-identical to Q06. The revised Q06 gate is pinned by the Q07 expected-values file.


\section{Q08: structure of the $\kappa^3$ evanescent counterterm}
\subsection*{Scope}
Pole level, one loop, $\kappa^3$, three-point rows (c$\phi\phi$, cc$\bar c$, ccK, hhc) as in Q07. Unknowns: the local
evanescent counterterm $X$ of Q07 (821 coordinates: $X_{Kch}$ 134, $X_{\bar c ch}$ 81, $X_{c^*cc}$ 18, Bose-symmetric
$X_{hhh}$ 588).
\subsection*{1. Ghost equation}
The loop poles obey $\Gamma_{\bar c ch}=\rho\,\Gamma_{Kch}[K\to T(\bar c)]$, $T(\bar c)=\mathrm{sym}(k,\bar c)-\tfrac12(k\cdot\bar c)\eta$,
with one constant $\rho=-2$ (graph by graph: G04/G03 and G09/G07). Imposing $X_{\bar c ch}=-2X_{Kch}[K\to T]$ keeps the
system solvable; a particular solution is certified ($A x=b$ verified). Free directions drop from 152 to 104. The
$\eta$-trace is taken at the $d\to4$ residue level (hat trace 4, tilde trace 0).
\subsection*{2--3. Free directions and trivial families}
Kernel $N$ of the rows: dim 152 (104 with the ghost equation). Single-sector blind directions: 69 in $X_{Kch}$ alone,
12 in $X_{c^*cc}$ alone, 26 in $X_{hhh}$ alone ($\sigma_0$-closed evanescent cubic structures, candidates for cubic
parts of invariant evanescent operators), none in $X_{\bar c ch}$ alone. BRST-trivial candidates $\sigma(Y)$, gh $-1$:
$Y=K\cdot F(h,h)$ (field redefinition of $h$), $Y=c^*\cdot G(c,h)$, $Y=\bar c\cdot\Phi(h,h)$ (gauge fermion). The relative
normalisation of the two pieces of each family was fitted (best uniform $\lambda$: $-1$, $i/2$, $-2$); with it at
least 97 directions of $N$ (55 inside the ghost-equation subspace) are trivial, at most 116. At least 36 directions
are not shown trivial. Whether they are physical ambiguities (invariant evanescent operators) is not settled, and no
explicit operator basis was constructed.
\subsection*{4. Consistency with p22}
Open: the cubic completion of the p22 $\kappa^2$ evanescent operators was not built.
\subsection*{Outcome}
P.6 Partial. Q07's pole-level $\sigma_0$ closure on the three-point rows now holds with a ghost-equation compatible
$X$. Not implied: four-point rows, finite parts, uniqueness/physicality of $X$, p22 consistency.
\subsection*{Disclosed revision of a frozen layer}
Q08-R1: the Q07 gate (code/p6q06/q07/release\_q07.py) leaves files under code/p6q06/q07/q08/ and tools/*q08* to the
Q08 gate; it is pinned by the Q08 expected-values file. The Q05 and Q06 gates are unchanged.


\section{Q09: review fixes; derived BRST-trivial directions of X}
\subsection*{Q07 review fixes}
(i) Status relabelled: \emph{evanescent $\kappa^3$ three-point defect $\sigma_0$-exact at pole level; X non-unique
(ghost-equation compatible)}. This supersedes the Q07/Q08 wording ``$\sigma_0$ closure CLOSED at pole level''; the
frozen Q07/Q08 certificates are left unchanged. (ii) The Q04 independent rebuild report is bound by its sha256 in the
Q09 gate. (iii) A new static scan module (guard\_scan3) flags operator.methodcaller in any form and
coefficient/exponent walks aimed at $d$ (coeff, as\_coeff\_exponent, as\_independent, collect, as\_poly, degree,
and dictionary walks of the power/coefficient dictionaries keyed by $d$). All 10 probes are flagged; code/, tools/ and
tests/ are clean. The Q05 scan is unchanged; the runtime guard stays primary.
\subsection*{(a) Derived normalisations}
For $Y=K\cdot F(h,h)$ the components of $\sigma Y=(S_0,Y)$ are produced by the same operators that build the rows
($X_{hhh}$ by the $\delta S_0/\delta h$ contraction, $X_{Khc}$ by $h\to s_0h(c)$). These operators commute, so
$\sigma^2=0$ fixes the relative sign $\lambda_F=-1$; likewise $\lambda_P=-1$ for $Y=\bar c\cdot\Phi$, and $\lambda_G=+1$ for
$Y=c^*\cdot G$. Check: at $\lambda_F=-1$, 139 of 204 generators lie in the kernel. All 65 failures carry a $K$- or
$h$-trace monomial, which points to the $\eta$-trace convention in the probe contraction (open). The Q08 $G$ and
$P$ constructions do not close at the derived values (0/33, 0/134); they were assembled by hand and are open. The
Q08 fitted counts are superseded.
\subsection*{(b)--(d)}
(b) Derived trivial span: 59 directions, 27 of them inside the 104-dimensional ghost-equation subspace. The rest are
not classified. (c) No invariant evanescent operator basis was constructed: open. (d) Consistency with the p22
$\kappa^2$ evanescent counterterms: open.
\subsection*{Disclosed revision}
Q09-R1: the Q08 gate leaves code/p6q06/q07/q08/q09/ and tools/*q09* to the Q09 gate; it is pinned by the Q09
expected-values file. The Q05--Q07 gates and guard\_scan2 are unchanged.


\section{Q10: erratum on the trivial counts; anatomy of the family vectors}
\subsection*{New manuscripts (intake, context only)}
The companion source (cheungngo/enter-companion, head bb663a2, 2026-10-11) adds En05-A/B/C, En06-A/B and En07-A
(partitioned Enter dynamics, operational causality, thermodynamic access) and OpenAI separation edges. The OpenAI
catalogue is linked only by separations (``not a premise and not a declared path''). None of these has BRST,
dimensional-regularisation, evanescent or counterterm content; nothing is imported as a premise. XV-B (modified in the
same commit) stays unopened. Record: intake/new\_manuscripts\_q10.json.
\subsection*{Erratum Q10-E1 (medium)}
Withdrawn: the Q08 counts ``$\geq97$ in the trivial span at the best fitted $\lambda$'', ``$\geq55$ trivial'' and
``$\geq36$ unexplained'' as a count of non-trivial directions; the Q09 counts ``F verified on 139/204'' and ``derived
trivial span 59 (27 in the ghost-equation subspace)'' as counts of BRST-trivial directions.
Reason (Q10\_family\_anatomy): of the 204 F generators, 15 vanish after the $h$-leg symmetrisation; all 124 nonzero
generators that pass have \emph{each piece separately} in $N$, so the $\lambda$ test is vacuous on them, and 62 of them
are supported only on blind coordinates. 64 of the 65 failures admit no $\lambda$ at all. For G, 28/33 admit no
$\lambda$ (5 need $i/2$); for P, 132/134 admit no $\lambda$ (2 need $-2$). The Q08 hand-built pieces are not
$\sigma$-images of the stated $Y$ for most generators. The defect lies in the construction, not the normalisation, so no
normalisation (derived $-1,-1,+1$ or fitted $-1,i/2,-2$) can repair it.
\subsection*{Blind directions and the restated bound}
42 X coordinates (30 in the $K\!\cdot\!c\!\cdot\!h$ sector, 12 in the $c^*\!cc$ sector) enter no three-point row and
no Bose condition. 24 of these survive the ghost equation. They are free at this order and unconstrained by the
rows. $\dim N-\dim(N\cap\mathrm{span\ of\ all\ Q08\ pieces})=152-116=36$ is exact linear algebra, but the spanning
pieces are not verified $\sigma$-images. So 36 bounds only the directions outside that span. It is neither a lower
bound on physical directions nor an upper bound on trivial ones.
\subsection*{Open}
The F trace-type failures (the $\eta$-trace hypothesis is neither confirmed nor excluded); a correct construction of
$\sigma(Y)$ for $Y=K\!\cdot\!F$, $c^*\!\cdot\!G$, $\bar c\!\cdot\!\Phi$ (or a proof of absence); classification of $N$;
the invariant evanescent operator basis and X in it; consistency with the p22 $\kappa^2$ evanescent counterterms.
\subsection*{Disclosed revision}
Q10-R1: the Q09 layer gate leaves code/p6q06/q07/q08/q09/q10/ and tools/*q10* to the Q10 gate; it treats the guard\_scan3 file count as a lower bound (Q10 files are scanned, not exempted); it is pinned by
q10\_expected.json. The Q05--Q08 gates are unchanged.


\section{Q11: BRST-trivial directions as $\sigma$-images in the gauge-fixed BV variables}
\subsection*{Construction}
The gauge fixing is the canonical shift by $\Psi=\bar c\cdot F(h)$ with $B$ integrated out. So the antifield of $h$
enters only through $\tilde K=K+\bar c\cdot F'(h)$, and the Q08 ghost equation ($\rho=-2$) is this statement on the
amplitudes. A local ghost-number $-1$ functional must therefore be built from $\tilde K$: $Y_F=\tilde K\cdot F(h,h)$ has
the $\bar c$ partner $\rho\,T(K\cdot F)$, and the Q08 $P$ family is absorbed into it. $Y_G=c^*\cdot G(c,h)$ gives
$X_{Khc}$ ($c^*\to D^T\tilde K$), its $\bar c$ partner, and the $c^*cc$ piece ($h\to s_0h$, antisymmetrised in the
two ghosts). Q08 lacked that last piece. $\sigma=(S_0,\cdot)$ is applied with the same channel operators that build
the rows, with the antibracket sign $-1$ between antifield-type and field-type pieces. Every generator gets one test:
rows, Bose and ghost equation. No per-generator fit is made.
\subsection*{Results}
Q08 $F$ pieces violate only the $h\!\cdot\!h\!\cdot\!c$ row. 12 generators fail through the antifield-type piece alone,
because the $\bar c$ partner and the $E$ channel are missing. With $\tilde K$: 71 of 194 nonzero $F$ images and 8 of 33
$G$ images lie in $N$, all of them also satisfying the ghost equation. The remaining failures are all in the
$h\!\cdot\!h\!\cdot\!c$ row (for $G$, also in the ghost rows). A $(\lambda,\mu)$ scan, used only as a diagnostic, shows
that no single normalisation works for every generator. Failures occur with and without trace monomials, so the
$\eta$-trace hypothesis is not the (sole) cause. Conclusion: on the evanescent sector of the $h\!\cdot\!h\!\cdot\!c$ row,
the row operators do not compose to zero with this $\sigma$. A candidate cause is the 4D-momentum rule
$T(p,\cdot)=0$ for hat components, under which $s_0\hat h=0$. This is OPEN.
\subsection*{Classification (conditional)}
$\dim N_g=104=46$ ($\sigma$ span) $+\,24$ (blind) $-\,9$ (overlap) $+\,43$ (unclassified). The 46 directions are
trivial only if this $\sigma$ is the correct linearised Slavnov--Taylor operator on the evanescent sector. No
direction is certified physical. The invariant evanescent basis and the p22 $\kappa^2$ consistency check remain OPEN.
\subsection*{Disclosed revision}
Q11-R1: the Q10 layer gate leaves code/p6q06/q07/q08/q09/q10/q11/ and tools/*q11* to the Q11 gate and treats the
guard\_scan3 file count as a lower bound; it is pinned by
q11\_expected.json. The OpenAI catalogue and the En05--En07 sheets are not premises.

\end{document}