{
  "date": "2026-10-10",
  "commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "accepted_citation_urls": [
    "https://archive.ymsc.tsinghua.edu.cn/pacm_download/743/12781--2026.8.26.pdf",
    "https://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20260821091122099811781",
    "https://arxiv.org/html/1409.4347v2",
    "https://dmg.tuwien.ac.at/ludwig/projection.pdf",
    "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/CONTENTS.md",
    "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/README.md",
    "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-product-counterexample-to-the-simplex-maximum-for-projection-body-volume-September-24-2026/build/main.tex",
    "https://github.com/openai/math/tree/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/reasoning_traces",
    "https://link.springer.com/article/10.1007/s10473-025-0107-9",
    "https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/S002557930001175X"
  ],
  "snapshot_files": [
    {
      "path": "provenance_sources/Brannen1996-access.html",
      "bytes": 5653,
      "sha256": "760ce83597490848133260b0c9c80ab8081c21205bab1ebd0089af5688393765"
    },
    {
      "path": "provenance_sources/CONTENTS.md",
      "bytes": 638727,
      "sha256": "cc7c0b8a1cdedd845a777e77cf682657308503daf8346c1349e06e9259d063c2"
    },
    {
      "path": "provenance_sources/Henk2025-access.html",
      "bytes": 270363,
      "sha256": "add1118a616fc9f60c05de1b4645e7a01876b0d3eec25583ce0b6674246b0b59"
    },
    {
      "path": "provenance_sources/Ludwig2002.pdf",
      "bytes": 134433,
      "sha256": "0599fbc4064f522cb24e4733237dae0ffab7c567e90c5e6942346d087bf7e92e"
    },
    {
      "path": "provenance_sources/Ludwig2002.txt",
      "bytes": 26155,
      "sha256": "029fa9285e5b6399239bbf98f39674833a2da148ff3f92fc22c5bb6a7321d257"
    },
    {
      "path": "provenance_sources/ProductCounterexample.lean",
      "bytes": 2749,
      "sha256": "11e581596840767e782edf0a1d40d2c2b4beee04ab851fdd746099013b7bd972"
    },
    {
      "path": "provenance_sources/ProjectionCounterexample.json",
      "bytes": 375,
      "sha256": "f743e8d6c9a8a1d8ccb627457ab0c6ef59bd97e1b0034b4dfae2a9cc9939466b"
    },
    {
      "path": "provenance_sources/ProjectionCounterexample.lean",
      "bytes": 1324,
      "sha256": "6f695ad46f2cb035fb085c3e852fbf33fc956235cf7e69da6a662dd106f6ea30"
    },
    {
      "path": "provenance_sources/ProjectionVolume.json",
      "bytes": 347,
      "sha256": "c107f1d32562841448146ac9b5af3d4f24a2bdf20ebfe85ac82d92280185c6c9"
    },
    {
      "path": "provenance_sources/ProjectionVolume.lean",
      "bytes": 2112,
      "sha256": "877aba27508a77a7654082a4f12a5ba15159b0ddfd69d3c9e8cfdd58d3bf5e40"
    },
    {
      "path": "provenance_sources/README.md",
      "bytes": 4190,
      "sha256": "5e8878ee04866f52ec942852552b9c28db278f65691c7ab49a87c9e93a9199fd"
    },
    {
      "path": "provenance_sources/Saroglou2014v2.pdf",
      "bytes": 217753,
      "sha256": "883fc204a32815ccf94faee8eaf9b51c031d645fd15e705cbce5303d64ed0f97"
    },
    {
      "path": "provenance_sources/Saroglou2014v2.txt",
      "bytes": 59450,
      "sha256": "24133fe0a92a3e78dfa5be83ca31f55d5fc01d6f6ec8c0996d627aad42741270"
    },
    {
      "path": "provenance_sources/download_manifest.json",
      "bytes": 1959,
      "sha256": "3f018d0a2cf4efde2b0e043127615868ef1109b9fa8a54debc254d5454dbb8bc"
    },
    {
      "path": "provenance_sources/fetch_metadata.json",
      "bytes": 66,
      "sha256": "25a18314b338fd349de50e046c3e936db071009443dfd511a2e9e3368a5bd946"
    },
    {
      "path": "provenance_sources/formalization.yaml",
      "bytes": 79482,
      "sha256": "5a8a164259591208886cd018416e61552665265ec9e20cff636f9d51117c2278"
    },
    {
      "path": "provenance_sources/history.md",
      "bytes": 2281,
      "sha256": "41c2a2d470014b3628695c7aabf5fd0c93f6f687621fca172062f22b59ed6a1e"
    },
    {
      "path": "provenance_sources/lean-088.md",
      "bytes": 1964,
      "sha256": "ec69f1229043f34d0953ccce32c0adb9f51feba75a5dcfa94575d4023d5583cd"
    },
    {
      "path": "provenance_sources/lean-README.md",
      "bytes": 650,
      "sha256": "292ff9d539f494158dfbf68d989ba85a82782a4343b2fe43088f8fa62525bf1b"
    },
    {
      "path": "provenance_sources/linked_artifact_manifest.json",
      "bytes": 1806,
      "sha256": "db1a12664f015e940e5fd6f2d23623035c3b8037c740d0118a41be71b54f6a49"
    },
    {
      "path": "provenance_sources/literature_notes.md",
      "bytes": 9783,
      "sha256": "89125a5eb2c748e66b6cceae8558ec35f57eb827d47c0afda22cf8ca46207448"
    },
    {
      "path": "provenance_sources/ludwig-2002.pdf",
      "bytes": 134433,
      "sha256": "0599fbc4064f522cb24e4733237dae0ffab7c567e90c5e6942346d087bf7e92e"
    },
    {
      "path": "provenance_sources/ludwig-2002.txt",
      "bytes": 26155,
      "sha256": "029fa9285e5b6399239bbf98f39674833a2da148ff3f92fc22c5bb6a7321d257"
    },
    {
      "path": "provenance_sources/manuscript_commit_fetch.json",
      "bytes": 445,
      "sha256": "45bca811a6dc94d08dbb6eb36ad334cb949af06b1c87528796ad6b596e2f8511"
    },
    {
      "path": "provenance_sources/manuscript_public_commits.json",
      "bytes": 1098,
      "sha256": "726070e58952b06812a0feb7ba53d98bf0beb7e14d50dfb7328d392972206628"
    },
    {
      "path": "provenance_sources/overview.tex",
      "bytes": 321928,
      "sha256": "aa54c8e14b7647226264045ae846df7ce6803d2ded48aa3183195e45f9f91962"
    },
    {
      "path": "provenance_sources/process_notes.md",
      "bytes": 6903,
      "sha256": "ee1003386ac9b39ad41955e554831e2ce08194e0dfab9d935689fa09e4436b2c"
    },
    {
      "path": "provenance_sources/reasoning_traces/basic-semidefinite-threshold-np-hardness.pdf",
      "bytes": 143206,
      "sha256": "784dce26569eea63d999b9cf81db54bd0bdd50bacc998f1ddfb84866cb96018d"
    },
    {
      "path": "provenance_sources/reasoning_traces/basic-semidefinite-threshold-np-hardness.pdf.txt",
      "bytes": 61379,
      "sha256": "e0bc1039532e49b8bebfc792e7ad68d25e6a4c2fdc0de9e8f49440ce0dbcd070"
    },
    {
      "path": "provenance_sources/reasoning_traces/free-group-factor-isomorphism.pdf",
      "bytes": 120145,
      "sha256": "69464cf080f7d6eea46168d14b23cb3c8f25396191a4688f3cde96e2c79cd89c"
    },
    {
      "path": "provenance_sources/reasoning_traces/free-group-factor-isomorphism.pdf.txt",
      "bytes": 40846,
      "sha256": "83a81cbd63a003b52fd1b02df25ed0a193ebe158df2c29915d0af3d5999724cc"
    },
    {
      "path": "provenance_sources/reasoning_traces/irrationality-exponent-of-pi.pdf",
      "bytes": 265008,
      "sha256": "bc9f1fa5739ed93df6d83f5ac19b5addd1688cf53ff1fede0808d30029febf0d"
    },
    {
      "path": "provenance_sources/reasoning_traces/irrationality-exponent-of-pi.pdf.txt",
      "bytes": 145526,
      "sha256": "cf948a35c1c7436f14cf74f9371cf11cbec92fada933efb97145207d526de411"
    },
    {
      "path": "provenance_sources/reasoning_traces/kaplansky-direct-finiteness-characteristic-two.pdf",
      "bytes": 181791,
      "sha256": "b10deeca5a022bec37a177da8b5ab9205814c6cdbd1d45ae93553dbc1fa83a24"
    },
    {
      "path": "provenance_sources/reasoning_traces/kaplansky-direct-finiteness-characteristic-two.pdf.txt",
      "bytes": 87784,
      "sha256": "9e91b48177d768dbf85ba549f8fdb1e7b736009f189adc02275968a41193a20e"
    },
    {
      "path": "provenance_sources/reasoning_traces/mezard-parisi-formula.pdf",
      "bytes": 58016,
      "sha256": "76f3246085faa7098e0f37d2963b68f9b8fb9af8ca2c2f33b6c18afeb9e1b175"
    },
    {
      "path": "provenance_sources/reasoning_traces/mezard-parisi-formula.pdf.txt",
      "bytes": 14687,
      "sha256": "a3b22505cc672e14d7c34a658172a23eddb3556b5db928ad72828c66c25dbe75"
    },
    {
      "path": "provenance_sources/reasoning_traces/mezard-parisi-formula.tex",
      "bytes": 18641,
      "sha256": "e50a3193cc3ccb77d0131e109f523fa1f0e7ddb23b86c303cbaf43f477e4f020"
    },
    {
      "path": "provenance_sources/reasoning_traces/ordinary-two-point-correlations.pdf",
      "bytes": 80904,
      "sha256": "da7f147cfe9b5d4e7f810fc0547c4614282aa470fa572b82e8e8bfcaffcb67dc"
    },
    {
      "path": "provenance_sources/reasoning_traces/ordinary-two-point-correlations.pdf.txt",
      "bytes": 21622,
      "sha256": "f152c0ab79f20015e99e78815ca983527b52181ae2e181a6a2c3ac9db7c25a19"
    },
    {
      "path": "provenance_sources/reasoning_traces/quasipolynomial-arithmetic-progressions.pdf",
      "bytes": 277060,
      "sha256": "189100d26a5fdb119796c161ae881fbf4beb34528bdbd77e183a1a210e8d8f95"
    },
    {
      "path": "provenance_sources/reasoning_traces/quasipolynomial-arithmetic-progressions.pdf.txt",
      "bytes": 152921,
      "sha256": "586bb201b5044d5c8e1682520ded14ba5b6f6c1f8bac3c52f3df5e279c3171ae"
    },
    {
      "path": "provenance_sources/reasoning_traces/relativistic-vlasov-maxwell.pdf",
      "bytes": 68135,
      "sha256": "fbb80877b643c266a65f304b4db652ff8489bf7374266eadf60ea85c9d3a63a0"
    },
    {
      "path": "provenance_sources/reasoning_traces/relativistic-vlasov-maxwell.pdf.txt",
      "bytes": 17348,
      "sha256": "5a4947dd8af1c51cdd7a2c70b9ac854b4103cd55f6e7324cb53bc11d757ec959"
    },
    {
      "path": "provenance_sources/reasoning_traces/spontaneous-magnetization-quantum-heisenberg-ferromagnet.pdf",
      "bytes": 84439,
      "sha256": "63876a3bcdda96ec79f465b97959860e407d86370b2fc79ed4041aa3ca6d19b2"
    },
    {
      "path": "provenance_sources/reasoning_traces/spontaneous-magnetization-quantum-heisenberg-ferromagnet.pdf.txt",
      "bytes": 19936,
      "sha256": "8b61fbe48783e08d01ba846ee4d815ae34481e35c8cd415d126a8bdfeea302ec"
    },
    {
      "path": "provenance_sources/reasoning_traces/symmetric-and-general-mahler-conjectures.pdf",
      "bytes": 306257,
      "sha256": "933c27e3af898878d897adda58bdc5693bbf4a4eaeec37802daedbdb4d0f89f3"
    },
    {
      "path": "provenance_sources/reasoning_traces/symmetric-and-general-mahler-conjectures.pdf.txt",
      "bytes": 168502,
      "sha256": "f34e2eacb3b4f7810e28f8a6357cf9622d21240b66dc75e2ac772f7dc2806004"
    },
    {
      "path": "provenance_sources/reasoning_traces_tree.json",
      "bytes": 3507,
      "sha256": "d05ed47debccf290e4e3d24f7b904f287b10e932cbd26ae1b6b28b9a21999c33"
    },
    {
      "path": "provenance_sources/reviewer_fetch_metadata.json",
      "bytes": 1081,
      "sha256": "3c2f41f1ed518f3c2db5a67d3a1f753bae9e643913c18811f0ee30d42d8918c1"
    },
    {
      "path": "provenance_sources/root_tree.json",
      "bytes": 2583,
      "sha256": "c78b7dd6938ebc289322a8a96e7ce03a83fd37fb18fcae2cfaed9d0b5037a343"
    },
    {
      "path": "provenance_sources/trace_fetch_manifest.json",
      "bytes": 5874,
      "sha256": "c072f20e7211d217c243af4a866b650d72eca7af321ac2d2f6f0d80bc9e9ff64"
    },
    {
      "path": "provenance_sources/trace_text_search.json",
      "bytes": 3972,
      "sha256": "a601bb93afc140e2fa7af9100568406b467661e716905b263a26ff1ead5728da"
    },
    {
      "path": "sources/README.md",
      "bytes": 730,
      "sha256": "69a26a5bb67576b643ff699055a4802c5039af6ac8e5f19fe0cda946aa5a1011"
    },
    {
      "path": "sources/literature/Chen-et-al-Petty-three.pdf",
      "bytes": 426629,
      "sha256": "1ba49bc9cc5dfc9481043105c1ac689643114a9ccc74695ed2937e06c239fa01"
    },
    {
      "path": "sources/literature/Chen-et-al-Petty-three.txt",
      "bytes": 76118,
      "sha256": "47ce9072cbd12644db48a7fd9f3420fc5a45021b5d496a44585c477736638541"
    },
    {
      "path": "sources/literature/Feng-Hu-Liu-Xu-reverse-projection.pdf",
      "bytes": 371943,
      "sha256": "d9959e4c7889ecc3a8ab111ecd741762edd7208d0379ed32e43157782a89316d"
    },
    {
      "path": "sources/literature/Feng-Hu-Liu-Xu-reverse-projection.txt",
      "bytes": 72726,
      "sha256": "e19f03846b9744fba41ddd07d75f3947b1f6dc704bb67278053db6cbf058f2aa"
    },
    {
      "path": "sources/literature/manifest.json",
      "bytes": 669,
      "sha256": "fa59e8249bd7bf95098b32057a4a5fcbab114299c9c822d1d52e40a0ea504ee5"
    },
    {
      "path": "sources/main.tex",
      "bytes": 18985,
      "sha256": "5302b6298402cf1665e5747766b53055ecad84a5027b1657811731389879f0e0"
    },
    {
      "path": "sources/manuscript-expanded.tex",
      "bytes": 20710,
      "sha256": "628bd94e51987a4ab5879c572a01837154b2ace52c1be9fe9d672178951541df"
    },
    {
      "path": "sources/paper.pdf",
      "bytes": 264039,
      "sha256": "1d2211bb8d175f40fb55554586f02538fc9f4c04ecdc9793999a6f7ec514720a"
    },
    {
      "path": "sources/paper.txt",
      "bytes": 20796,
      "sha256": "0445fa264da9d4218738efcacd2eeff6c8413bdfda3152281d8e6663afd974e2"
    },
    {
      "path": "sources/references.tex",
      "bytes": 1743,
      "sha256": "bcc6e0d9296742e2e619f64a8af92d72fb1e2ffdf76d18b00c1a3c8edf75178d"
    }
  ],
  "graph_validation": "all edge endpoints exist; no documented acquisition events asserted",
  "panel_verdicts_included": false,
  "primary_access_limits": [
    "Brannen1996 original fullproof unavailable",
    "Henk2025 original fullproof unavailable"
  ],
  "search_absence_used_to_assert_novelty": false,
  "brief_local_links_checked": [
    "provenance_sources/process_notes.md",
    "provenance_sources/literature_notes.md",
    "provenance_sources/process_notes.md",
    "outputs/simplex-idea-provenance.graph.json",
    "outputs/simplex-idea-provenance.evidence.json"
  ],
  "report_sha256": "d403d32e8428fe525c99d4ef4032c180ea00e4ce3c8eb8ff20fe2bcd3e91ad92",
  "graph_sha256": "fc441280eb032bd0ce90b543700f80d9dd5f367f0d3251d2425f9f65fb9461bd"
}