References

OAI365a

OpenAI, Determination of a metric and a unitary connection from one boundary patch, catalogue manuscript 365-01, 5 October 2026. External claim; not verified or used as a premise. Accessed 14 October 2026. https://enter.grok.me/openai/365-01

OAI365b

OpenAI, Smooth anisotropic uniqueness in the Calderón problem from one boundary patch, catalogue manuscript 365-02, 24 September 2026. External claim; not verified or used as a premise. Accessed 14 October 2026. https://enter.grok.me/openai/365-02

OAI365c

OpenAI, Nonuniqueness for bounded measurable scalar conductivities in three dimensions, catalogue manuscript 365-03, 23 September 2026. External counterexample claim and formalization-scope record; not verified or used as a premise. Accessed 14 October 2026. https://enter.grok.me/openai/365-03

ItoLourenco

M. Ito and B. F. Lourenço, “The $p$-cones in dimension $n\ge 3$ are not homogeneous when $p\ne 2$,” Linear Algebra and its Applications 533 (2017), 326–335. doi:10.1016/j.laa.2017.07.029. https://arxiv.org/abs/1701.05801

OCB

O. Oreshkov, F. Costa, and Č. Brukner, “Quantum correlations with no causal order,” Nature Communications 3 (2012), 1092. https://arxiv.org/abs/1105.4464

SylvesterUhlmann

J. Sylvester and G. Uhlmann, “A global uniqueness theorem for an inverse boundary value problem,” Annals of Mathematics 125 (1987), 153–169. doi:10.2307/1971291. https://annals.math.princeton.edu/1987/125-1/p04

GabdurakhmanovKokarev

R. Gabdurakhmanov and G. Kokarev, On Calderón's problem for the connection Laplacian, preprint, 2021; subsequently published in Proceedings of the Royal Society of Edinburgh Section A: Mathematics. Real-analytic geometric hypotheses; not the general smooth catalogue claim. https://arxiv.org/abs/2112.13419

LassasLiimatainenSalo

M. Lassas, T. Liimatainen, and M. Salo, “The Poisson embedding approach to the Calderón problem,” Mathematische Annalen 373 (2019), 151–185. doi:10.1007/s00208-019-01818-3. Geometric inverse-problem comparison only.

Hoeffding

W. Hoeffding, “Probability inequalities for sums of bounded random variables,” Journal of the American Statistical Association 58 (1963), 13–30.

CheungXXIIA

N. Cheung, XXII-A: Freeze the precise claim and the gap, version 1, manuscript XXII-A.tex. Relevant identifiers: def:representation, target:selection, thm:classification, and the acceptance conditions. Enter Calculus Companion. https://enter.grok.me/browse/XXII-A

CheungXXIIB

N. Cheung, XXII-B: Catalogue the additional quantum data and the hypothesis ledger, version 1, manuscript XXII-B.tex. Relevant identifiers: prop:finite-generation, prop:tolerance, and the Stage 2 handoff. Enter Calculus Companion. https://enter.grok.me/browse/XXII-B

CheungXXIIICDummy

N. Cheung, XXII series source-identification convention. This entry is not a theorem citation; all operative references use the individual manuscript identifiers below.

CheungXXIIC

N. Cheung, XXII-C: Freeze one quantum process class and the extraction obligations, version 1, manuscript XXII-C.tex. Relevant identifiers: def:class, def:data, prop:binary, thm:order, target:selection. Enter Calculus Companion. https://enter.grok.me/browse/XXII-C

CheungXXIID

N. Cheung, XXII-D: Operational approximation of an extracted Lorentz cone, version 1, manuscript XXII-D.tex. Relevant identifiers: thm:anchored-obstruction, thm:geometry-not-transport, thm:certificate, and the moving-arrival and resource audits. Enter Calculus Companion. https://enter.grok.me/browse/XXII-D

CheungXXIIE

N. Cheung, XXII-E: Dynamics matching on an extracted Lorentz cone, version 1, manuscript XXII-E.tex. Relevant identifiers: thm:flat, prop:conformal, prop:energy, and target:dynamics. Enter Calculus Companion. https://enter.grok.me/browse/XXII-E

CheungXXIIF

N. Cheung, XXII-F, version 1, manuscript XXII-F.tex. Relevant identifiers: thm:assembly, cor:approximation, prop:symmetry, and target:existence. Conditional assembly is distinct from nonempty operational instantiation. Enter Calculus Companion. https://enter.grok.me/browse/XXII-F

CheungEn08A

N. Cheung, En08-A, version 1, manuscript En08-A.tex. Relevant identifiers: thm:main, thm:weaker, and the conclusion's affine-representation and classification boundaries. Enter Calculus Companion. https://enter.grok.me/browse/En08-A

CheungEn08B

N. Cheung, En08-B, version 1, manuscript En08-B.tex. Relevant identifiers: thm:main, cor:operational-limit, and prop:accumulation. Prescribed-boundary approximation and global error accounting. Enter Calculus Companion. https://enter.grok.me/browse/En08-B

CheungEn10A

N. Cheung, En10-A, version 1, manuscript En10-A.tex. Supplied theorem thm:main and fixed-shot statistical assumptions. Finite source-weight inference, not a DN boundary apparatus. Not a theorem premise of XXII-F. Enter Calculus Companion. https://enter.grok.me/browse/En10-A

CheungEn10B

N. Cheung, En10-B: Physical Acquisition and Identification for a Declared Positron-Source Observable, version 1, manuscript En10-B.tex. Relevant identifiers: thm:derived, thm:calibrated, thm:main, thm:release. The physical acceptance package remains a separate obligation. Enter Calculus Companion. https://enter.grok.me/browse/En10-B

CheungEn09A

N. Cheung, En09-A, version 1, manuscript En09-A.tex. Relevant identifier: thm:main. Clock-conditioned extraction, destructive consumption, and the additional covariance hypothesis. Enter Calculus Companion. https://enter.grok.me/browse/En09-A

CheungVIIJ

N. Cheung, Landmark VII-J: Scheduled dependencies and certified physical causality in localized quantum simulation, version 1, manuscript VII-J.tex. Relevant identifiers: thm:schedule, thm:nosignal, thm:physical, and thm:release. Enter Calculus Companion. https://enter.grok.me/browse/VII-J

CheungI

N. Cheung, Landmark I, version 2, manuscript I.tex. Relevant identifiers: thm:main, prop:pullback, ex:equal-records. Record compatibility is distinct from complete residual-instrument equality. Enter Calculus Companion. https://enter.grok.me/browse/I

CheungXIVH

N. Cheung, Landmark XIV-H: Internal kernel relations on the operator route, version 1, manuscript XIV-H.tex. Supplied identifiers: prop:K5exact, thm:H2. Documentary analytic boundary, not a premise of the finite pilot. Enter Calculus Companion. https://enter.grok.me

CheungXIVI

N. Cheung, XIV-I, version 1, manuscript XIV-I.tex. Supplied identifiers: thm:I2, thm:I3, thm:release. Internal amplitude construction is distinct from the full joint map. Enter Calculus Companion. https://enter.grok.me

CheungXIVJ

N. Cheung, XIV-J, version 1, manuscript XIV-J.tex. Supplied identifiers: prop:descent, lem:null, thm:reference, thm:J2, cor:noadmission. Enter Calculus Companion. https://enter.grok.me

CheungXVB

N. Cheung, XV-B, version 2, manuscript XV-B.tex. Supplied identifiers: thm:lifting, thm:jetnull, thm:release. Standalone lifting interfaces do not admit the inherited characteristic coefficient. Enter Calculus Companion. https://enter.grok.me

CheungXVIN

N. Cheung, XVI-N, revision r12, manuscript XVI-N.tex. Supplied identifier: thm:massless-obstruction, with its Route A hypotheses and undischarged Route B discussion. Enter Calculus Companion. https://enter.grok.me