Manuscript IX-A-ST@1 · IX-A-ST.tex · section · 6e99d1b2

Debugging and support checklist

Debugging and support checklist · lines 2219–2301

Potential mistaken inference	Correct statement in IX-A-ST
Potential mistaken inference	Correct statement in IX-A-ST
A conical singular line in four dimensions	The completed product defect is a two-dimensional worldsheet. Fixed axial sections are worldlines.
A chart around the observation is enough	The chart contains the entire truncated past $D_{f}$ , with a strict spatial margin.
A global cone inverse is available	Only auxiliary Minkowski inverses on the saturated supported prescription are used.
Zero Cauchy data constrain $h$ and $ϕ$	They constrain the prescribed response $w = E_{0} C h$ , not the off-shell input fields.
An initial trace is an independent boundary field	It is determined by the actual linear metric derivative modulo the specified bulk kernels.
Zero trace means no surface singularity	The trace need not detect every step singularity.
Equal on-shell formulas are identified	Only equality on every smooth off-shell configuration is used.
Classical closure implies Wick closure	Classical products use exterior tensor products; contractions have separate product hypotheses.
Bulk topology is unchanged in every respect	The inclusion from each normal bulk stage is continuous; the induced bulk topology is the strong coefficient topology.
Regularization converges in the new topology	The normalized boundary coordinate is one on the nonzero sharp insertion and zero on every regular approximant.
A finite diagnostic decides the full domain	Its finite-dimensional kernel leaves infinitely many admitted functionals indistinguishable.
A table reads an unknown field	It contains supplied evaluations and certified enclosures. No field-acquisition map is present.
A rounded label gives a small channel error	A complete-channel approximation is made on a fixed interface, using normalized amplitude or channel estimates.
A finite clock is the time axis	It is one finite encoding; the supplied coordinate and metric remain after consumption.
Equal records fix residual sources	The complete residual-effect criterion is stronger than equality of record effects.
Scheduled support is physical causality	Physical containment requires causal curves for every complete controller and payload dependency.
A local quantum coefficient has been admitted	Only selected existing free coefficients are located in the classical carrier; the inherited quantum-admission gate is not passed.