O.1 and the prepared insertion

The standing value

\texttt{\detokenize{O.1 = NOT_CLOSED}}

is retained outside each independently earned scope. The supplied XVI-Q Q11 description reports a limited massless one-loop ${\kappa }^2$ two-point closure under its enlarged counterterm domain and XVI-P prescription; that record does not update XVI-O's different prescription or establish bulk symmetry restoration XVIrecords.

Accordingly,

\texttt{\detokenize{bulk_symmetry_restored = false}}.

XVI-N and its Route B are not discharged. The mass parameter in Theorem thm:nondescent belongs to a different scalar equation-descent witness, not to the prepared insertion of XVI-N XVIN.