Manuscript I-B-VP-1@1 · I-B-VP-1-v1.tex · bibliography · 6d700be9
References
The unconstrained supported extension space · lines 1640–1864
BF
R. Brunetti and K. Fredenhagen,
Microlocal analysis and interacting quantum field theories:
Renormalization on physical backgrounds,
Communications in Mathematical Physics
208 (2000), 623–661.
https://arxiv.org/abs/math-ph/9903028.
Used for the scaling-degree extension framework,
especially Theorems 5.2–5.3; no interacting theory on the
singular completion is imported.
Dang
N. V. Dang,
The extension of distributions on manifolds, a microlocal approach,
Annales Henri Poincaré
17 (2016), 819–859.
https://arxiv.org/abs/1412.2808.
Used for supported normal-jet ambiguities and their
coefficient spaces, especially Section 8.
Hormander
L. Hörmander, The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, 2nd edition, Springer, 1990. Used for distributions supported on submanifolds and ordinary distributional differentiation.
NikolovStoraTodorov
N. M. Nikolov, R. Stora, and I. Todorov,
Renormalization of Massless Feynman Amplitudes
in Configuration Space,
preprint, 2013.
https://arxiv.org/abs/1307.6854.
Cited for almost-homogeneous extensions and
renormalization-invariant dilation residues, not for a new
graph construction in this manuscript.
GerochTraschen
R. Geroch and J. Traschen, Strings and other distributional sources in general relativity, Physical Review D 36 (1987), 1017–1031. DOI: 10.1103/PhysRevD.36.1017. Cited for the need to control singular-metric operations; no distributional curvature model is selected here.
Cheung companion records. The following manuscripts are cited by supplied version, identifier, and source label. Unpublished source records and quoted excerpts are distinguished from journal articles. Their citation does not assert verification of an entire corpus, a successful build, or a formal proof certificate.
CheungPhilosophy
N. Cheung,
The Philosophy of Enter:
Destructive Readout, Quantum Recovery, and the Refusal of Identification,
version 2, -v2.tex,
Enter Calculus Companion.
Introductory philosophical map, not a theorem premise.
https://enter.grok.me/enter.
CheungIB
N. Cheung,
I-B-v1: A Finite Enter Spacetime:
Calibrated Destructive Time Readout on a Prescribed Conical Product,
version 1, Enter Calculus Companion.
Used: prescribed geometry and worldsheet,
:instrument,
:not-source, and the Einstein-comparator
non-extraction distinction.
https://enter.grok.me/browse/I-B.
CheungIBG
N. Cheung, I-B-G: Intrinsic and holonomy-twisted Green operators on a prescribed conical spacetime: Self-adjoint extensions, diffraction, finite propagation, and supported transfer from flat-completion laboratories, version 2, October 2026. Supplied source -B-G-v2.tex, Enter Calculus Companion. Used: :host, :product, :positivity, :closed, :transfer, and :transfer-contract.
CheungIBVP
N. Cheung, I-B-VP: Vacuum polarization of the Friedrichs ground state on a prescribed conical spacetime: Local Hadamard subtraction, holonomy, and the renormalized stress tensor, version 2, October 2026. Supplied source -B-VP-v2.tex, Enter Calculus Companion. Used: :state, :infrared, :analytic, :hadamard, :phi2, :T-real, :T-complex, and the V1–V8 ledger.
CheungIBVPZero
N. Cheung, I-B-VP-0: The holonomy-odd vacuum current of the charged Friedrichs ground state: A local observable on the prescribed conical Enter spacetime, version 1, October 2026. Supplied source -B-VP-0-v1.tex, Enter Calculus Companion. Used: :current, :current, :imaginary, and :gaugecheck. Its regular-current calculation does not select the apex contacts constructed in this paper.
CheungXAST
N. Cheung,
X-A-ST, version 1, Enter Calculus Companion.
Used:
:noeinstein and the supported-completion
signature and scope distinctions.
https://enter.grok.me/browse/X-A-ST.
CheungXBST
N. Cheung,
X-B-ST: One scalar retarded map on the X-A-ST host,
version 1, Enter Calculus Companion.
Cited for the retained-shadow and supported-chart
contract, not for an apex state or counterterm.
https://enter.grok.me/browse/X-B-ST.
CheungVIID
N. Cheung, VII-D, version 1, -D.tex, Enter Calculus Companion. Supplied excerpt: :main, finite part for the prescribed VII-C family. Methodological comparison of strong subtraction and a stated counterterm class; its reflected kernel is not used.
CheungVIIH
N. Cheung, VII-H, version 1, -H.tex, Enter Calculus Companion. Supplied release excerpt concerning a restricted free-field response and its declared ambiguity. No contact classification for the present apex observables is imported.
CheungXVB
N. Cheung, XV-B, version 2, -B.tex, Enter Calculus Companion. Supplied excerpts: :lifting, :jetnull, :pointcorrection, and :release. Used for the distinction between an extension, presentation descent, a specified correction class, and quantum admission. Its graph-specific missing map is not constructed here.
CheungEmOneA
N. Cheung, Em01-A, version 1, 01-A.tex, Enter Calculus Companion. Supplied comparison excerpts distinguish smooth representatives, equation-space pairings, and unconstructed characteristic compositions. No such smoothing theorem is used to define the present apex distributions.
CheungEmOneD
N. Cheung, Em01-D, version 2, 01-D-v2.tex, Enter Calculus Companion. Supplied scope excerpt distinguishes a named fixed-kernel family from a map on every presentation. Its origin-germ hypotheses and asymptotic orders are not inputs here.
CheungOOneST
N. Cheung,
XVI-O1-ST, version 5,
-O1-ST-v5.tex, Enter Calculus Companion.
Used:
:instrument and the supplied
residual-retention, evidence, and execution-scope discipline.
No unrelated closure status is imported.
https://enter.grok.me/browse/XVI-O1-ST.
CheungEn09
N. Cheung,
En09-A, version 1,
Enter Calculus Companion.
Supplied excerpts concerning destructive finite
reporting, record–residual separation, and unchanged
downstream boundaries.
https://enter.grok.me/browse/En09-A.
CheungOaiTwoEightTwo
N. Cheung,
Oai282-A, version 1,
Enter Calculus Companion.
Used for the finite-test coverage distinction identified
in the supplied material by
:coverage and
:invisible.
No external catalogue theorem is a premise.
https://enter.grok.me/browse/Oai282-A.