References

DJH1984

S. Deser, R. Jackiw, and G. 't Hooft, “Three-dimensional Einstein gravity: Dynamics of flat space,” Annals of Physics 152 (1984), 220–235. doi:10.1016/0003-4916(84)90085-X.

Kadar2005

Z. Kádár, “Polygon model from first order gravity,” Classical and Quantum Gravity 22 (2005), 809–824. doi:10.1088/0264-9381/22/5/004. arXiv:gr-qc/0410012.

Bennett1973

C. H. Bennett, “Logical reversibility of computation,” IBM Journal of Research and Development 17 (1973), 525–532. doi:10.1147/rd.176.0525.

Toffoli1980

T. Toffoli, “Reversible computing,” in J. W. de Bakker and J. van Leeuwen, eds., Automata, Languages and Programming, Lecture Notes in Computer Science 85, Springer, 1980, pp. 632–644.

KnillLaflamme1997

E. Knill and R. Laflamme, “Theory of quantum error-correcting codes,” Physical Review A 55 (1997), 900–911. doi:10.1103/PhysRevA.55.900. arXiv:quant-ph/9604034.

HorodeckiShorRuskai2003

M. Horodecki, P. W. Shor, and M. B. Ruskai, “Entanglement breaking channels,” Reviews in Mathematical Physics 15 (2003), 629–641. doi:10.1142/S0129055X03001709. arXiv:quant-ph/0302031.

ADH2015

A. Almheiri, X. Dong, and D. Harlow, “Bulk locality and quantum error correction in AdS/CFT,” Journal of High Energy Physics 04 (2015), 163. doi:10.1007/JHEP04(2015)163. arXiv:1411.7041. External comparison only.

DHW2016

X. Dong, D. Harlow, and A. C. Wall, “Reconstruction of bulk operators within the entanglement wedge in gauge-gravity duality,” Physical Review Letters 117 (2016), 021601. doi:10.1103/PhysRevLett.117.021601. arXiv:1601.05416. External comparison only.

CheungVIIIA

N. Cheung, Einstein-constraint certificates for geometric and coupling rules: Landmark VIII-A, version 2, manuscript VIII-A-v2.tex, n.d. Fixed-presentation matching, stale-rotation and time-shift rejections; supplied revision excerpts. Enter Calculus Companion, https://enter.grok.me.

CheungVIIE

N. Cheung, Landmark VII-E, version 1, manuscript VII-E.tex, n.d. Observation-boundary, accessible-output, and residual-instrument criteria; especially prop:accessible and thm:residual-obstruction, as identified in the supplied revision record. Enter Calculus Companion, https://enter.grok.me.

CheungVIIG

N. Cheung, Landmark VII-G, version 1, manuscript VII-G.tex, n.d. “Deterministic packet selection and affinity,” prop:affine; supplied excerpt. Enter Calculus Companion, https://enter.grok.me.

CheungVIIIC

N. Cheung, Landmark VIII-C, version 2, manuscript VIII-C-v2.tex, n.d. Hybrid command histories and prescribed schedule support, thm:C4 and thm:C5; successor comparison only. Enter Calculus Companion, https://enter.grok.me.

CheungOai280C

N. Cheung, Oai280-C, version 1, manuscript Oai280-C.tex, n.d. “Full-code recovery and a constant complement,” thm:complement; supplied excerpt. Enter Calculus Companion, https://enter.grok.me.

CheungHawk04B

N. Cheung, Hawk04-B, version 2, manuscript Hawk04-B.tex, n.d. “Classical-output and measure-and-prepare obstruction,” thm:classical; supplied excerpt. Enter Calculus Companion, https://enter.grok.me.

CheungEm02E

N. Cheung, Em02-E, version 1, manuscript Em02-E-v1.tex, n.d. “Complete relational lapse through second order,” thm:lapse; comparison only. Enter Calculus Companion, https://enter.grok.me.

CheungXVIIA

N. Cheung, Landmark XVII-A, version 1, manuscript XVII-A.tex, n.d. “No entanglement-wedge inference,” rem:no-wedge; comparison only. Enter Calculus Companion, https://enter.grok.me.

CheungOai282A

N. Cheung, Oai282-A, version 1, manuscript Oai282-A.tex, n.d. “A conserved traceless tensor need not source its declared flat metric,” prop:einstein; supplied excerpt. Enter Calculus Companion, https://enter.grok.me.

CheungOai282B

N. Cheung, Oai282-B, version 1, manuscript Oai282-B.tex, n.d. “The gravitational dictionary is not implied,” prop:einstein; comparison only. Enter Calculus Companion, https://enter.grok.me.

CheungXIVJ

N. Cheung, Landmark XIV-J, version 1, manuscript XIV-J.tex, n.d. Reconstruction descent, partial reference construction, and “No quantum admission in this release,” cor:noadmission; documentary separation only. Enter Calculus Companion, https://enter.grok.me.

CheungXVIO

N. Cheung, Landmark XVI-O, revision o70-sync, manuscript XVI-O.tex, n.d. rem:three-verdicts and conv:package; documentary status and evidence boundaries only. Enter Calculus Companion, https://enter.grok.me.

Catalogue

N. Cheung, Enter Calculus Companion: registered manuscript catalogue, n.d. A documentary and retrieval interface, not a proof checker. https://enter.grok.me.

OpenAICatalogue

OpenAI, External mathematics catalogue, catalogue section recorded in the Enter Calculus Companion, n.d. Separate from the Cheung manuscript series; no listed family is used as a formal premise here. https://enter.grok.me.