TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/native-arc-charge-source-interface-20261026/algorithmic_sources.json
Original file SHA-256: da890e08795681359a30279dbdbf19e0c4c5550e38cc16dccff230eb4f23ae9e
Inclusive original lines: 1-26
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | {
000002 |   "date": "2026-10-26",
000003 |   "atlas_revision_when_read": "a58dccfc183f59137dcac420",
000004 |   "scope": "Read-only Atlas and original-source comparison; no repository science or ledger changes; known results reconstructed, not a new physical theorem.",
000005 |   "local_originals": [
000006 |     "tfpt_explorer/process.py:242-258",
000007 |     "tfpt_explorer/cartan_source.py:58-98",
000008 |     "experiments/theory-contracts/joint-native-algebra-selection-20261016/PROOF.md:11-56",
000009 |     "experiments/theory-contracts/joint-native-algebra-selection-20261016/operator_audit.md:1-85",
000010 |     "experiments/theory-contracts/collective-native-marginal-origin-20261026/PROOF.txt:1-100",
000011 |     "experiments/theory-contracts/em-positive-root-convexity-20261013/PROOF.txt:1-76"
000012 |   ],
000013 |   "primary_literature": [
000014 |     {"title": "The Clifford group fails gracefully to be a unitary 4-design", "authors": "Zhu, Kueng, Grassl, Gross", "url": "https://arxiv.org/html/1609.08172v1", "sections": "3.1, 3.2, Table 1, equations 34 and 67"},
000015 |     {"title": "Multiqubit Clifford groups are unitary 3-designs", "authors": "Zhu", "url": "https://arxiv.org/abs/1510.02619"},
000016 |     {"title": "Improved Simulation of Stabilizer Circuits", "authors": "Aaronson, Gottesman", "url": "https://arxiv.org/abs/quant-ph/0406196"},
000017 |     {"title": "Predicting Many Properties of a Quantum System from Very Few Measurements", "authors": "Huang, Kueng, Preskill", "url": "https://arxiv.org/abs/2002.08953"},
000018 |     {"title": "Universal optimality of the E8 and Leech lattices and interpolation formulas", "authors": "Cohn, Kumar, Miller, Radchenko, Viazovska", "url": "https://arxiv.org/abs/1902.05438"},
000019 |     {"title": "Index theory of one dimensional quantum walks and cellular automata", "authors": "Gross, Nesme, Vogts, Werner", "url": "https://arxiv.org/abs/0910.3675"},
000020 |     {"title": "Reversible quantum cellular automata", "authors": "Schumacher, Werner", "url": "https://arxiv.org/abs/quant-ph/0405174"},
000021 |     {"title": "Sufficient Subalgebras and the Relative Entropy of States of a von Neumann Algebra", "authors": "Petz", "url": "https://math.bme.hu/~petz/pdf/29suff.pdf"},
000022 |     {"title": "Computational Mechanics: Pattern and Prediction, Structure and Simplicity", "authors": "Shalizi, Crutchfield", "url": "https://csc.ucdavis.edu/~cmg/papers/cmppss.pdf"},
000023 |     {"title": "Operational Markov condition for quantum processes", "authors": "Pollock et al.", "url": "https://arxiv.org/abs/1801.09811"},
000024 |     {"title": "Logical Reversibility of Computation", "authors": "Bennett", "url": "https://www.cs.princeton.edu/courses/archive/fall06/cos576/papers/bennett73.html"}
000025 |   ]
000026 | }