Manuscript X-L-ST@1 · X-L-ST.tex · section · 20a32a22
Debugging and acceptance audit
Debugging and acceptance audit · lines 2251–2354
{@{}p{.37}p{.58}@{}}
Potential inference & Correction in X-L-ST
Potential inference & Correction in X-L-ST
Positive ramp width is a worldsheet thickness &
The width is analytical metadata. No thick-core
conical geometry is introduced.
A nilpotent field rule restores the action &
The actual residual is
.
It is retained unless independently shown zero.
A square-zero restricted domain proves the
ambient master equation &
The centralizer restricts the domain; it does not
set the ambient residual to zero.
A classical free limit is already the free
quantum algebra &
The field reduction, equation quotient, and
graded causal presentation are separate operations.
A kernel specializes without qualification &
The full antifield centralizer may have a jumping
special fiber; no flatness is asserted.
A local field algebra is closed under products
of local functionals &
Finite products are placed in the multilocal
algebra.
A compact antighost condition is automatically
stable &
The -support must satisfy the same restriction
under .
Relative compact ghosts are unrestricted free
ghost solutions &
A spacetime-compact homogeneous wave is zero.
The mass-uniform scalar witness solves XVI-N &
It tests a different ideal and nonlinear scalar
rule, not the prepared insertion or Route B.
Cancellation at one witness proves descent &
The complete ideal must be preserved.
Cancellation of reciprocity proves the QME &
The reciprocity pairing has different arguments,
parity, and ghost number.
An obstruction is automatically a loop anomaly &
Both residuals here are classical. A quantum
master-Ward construction is additional.
A finite contact fit proves every identity &
Finite-dimensional residual coverage and an
exhaustive correction class are prerequisites.
A finite normal order is finite dimension &
Tangential distribution spaces can remain
infinite dimensional.
A Grassmann residual is a qubit amplitude &
Only an explicitly extracted ordinary real
coefficient is encoded.
One record returns an exact real parameter &
One attempt returns a random finite code.
Equal records identify the surviving mechanism &
Complete residual channels can differ while
their record laws agree.
A record at the sender is available remotely &
A causal classical delivery or enlarged payload
is charged before remote use.
An untouched reference marginal proves identity
transport &
The SWAP proof establishes the full
payload–reference identity instead.
A consumed clock is a second quantum input &
A new factor and its actual preparation or
restoration map are required.
Finite execution automatically fits the reserve &
Occupancy, ownership, time, locations, and
permissions require separate fit checks.
Stagewise marginals price hidden memory &
The actual complete memory belongs to matching
step interfaces.