{"derivation":{"claims":[{"id":"openai.original_support.1","kind":"documentary","scope":"openai/math:Algebraicity of Weil classes on split abelian eightfolds:original-withdrawn-edition"},{"id":"openai.theorem.1","kind":"formal","scope":"openai/math:Algebraicity of Weil classes on split abelian eightfolds:original-withdrawn-edition"},{"id":"openai.original_support.2","kind":"documentary","scope":"openai/math:Algebraicity of Kuga–Satake Correspondences for K3 Surfaces:original-withdrawn-edition"},{"id":"openai.theorem.2","kind":"formal","scope":"openai/math:Algebraicity of Kuga–Satake Correspondences for K3 Surfaces:original-withdrawn-edition"},{"id":"openai.original_support.3","kind":"documentary","scope":"openai/math:The rational Hodge conjecture for products of K3 surfaces:original-withdrawn-edition"},{"id":"openai.theorem.3","kind":"formal","scope":"openai/math:The rational Hodge conjecture for products of K3 surfaces:original-withdrawn-edition"},{"id":"jpl.l4yaml.finite_parser_acceptance","kind":"formal","scope":"nasa-jpl/L4YAML@62bf7077910e888a0bc8adfc8e08a5f500ff3ca3:yaml/yaml-test-suite@da267a5c4782e7361e82889e76c0dc7df0e1e870:48-cases"}],"receipt_admission":{"documentary":"exact pinned OpenAI history notice","formal":"exact pinned JPL finite parser receipt"},"receipts":[{"id":"openai.original_publication_receipt.1","kind":"documentary","scope":"openai/math:Algebraicity of Weil classes on split abelian eightfolds:original-withdrawn-edition"},{"id":"openai.original_publication_receipt.2","kind":"documentary","scope":"openai/math:Algebraicity of Kuga–Satake Correspondences for K3 Surfaces:original-withdrawn-edition"},{"id":"openai.original_publication_receipt.3","kind":"documentary","scope":"openai/math:The rational Hodge conjecture for products of K3 surfaces:original-withdrawn-edition"},{"id":"mathgraph.l4yaml.48-case-qualification","kind":"formal","scope":"nasa-jpl/L4YAML@62bf7077910e888a0bc8adfc8e08a5f500ff3ca3:yaml/yaml-test-suite@da267a5c4782e7361e82889e76c0dc7df0e1e870:48-cases"}],"routes":[{"conclusion":"openai.original_support.1","evidence":["openai.original_publication_receipt.1"],"premises":[]},{"conclusion":"openai.original_support.2","evidence":["openai.original_publication_receipt.2"],"premises":[]},{"conclusion":"openai.original_support.3","evidence":["openai.original_publication_receipt.3"],"premises":[]},{"conclusion":"jpl.l4yaml.finite_parser_acceptance","evidence":["mathgraph.l4yaml.48-case-qualification"],"premises":[]}],"withdrawn_evidence":["openai.original_publication_receipt.1","openai.original_publication_receipt.2","openai.original_publication_receipt.3"]},"id":"mg-living-warrant-openai-jpl-20261010","interpretation":{"after":"The publisher withdrew three original arguments. Their prior documentary support paths are stale; mathematical truth remains UNKNOWN.","runtime_status":"IMMUTABLE_HISTORICAL_SNAPSHOT_NOT_CONTINUOUSLY_MONITORED","simulated_before":"Documentary original-support routes were modeled as active before publisher withdrawal; this does not prove their correctness.","source_contract":"Publication history is a source notice, not a formal theorem verifier.","unaffected":"An independently qualified JPL 48-case record survives without new verification or false promotion."},"publisher_notice":{"cause_as_reported":"sign_error_in_original_argument","documents":[{"editorial_status":"WITHDRAWN_BY_PUBLISHER","mathematical_truth":"UNKNOWN","name":"Algebraicity of Weil classes on split abelian eightfolds","original_support_claim":"openai.original_support.1"},{"editorial_status":"WITHDRAWN_BY_PUBLISHER","mathematical_truth":"UNKNOWN","name":"Algebraicity of Kuga–Satake Correspondences for K3 Surfaces","original_support_claim":"openai.original_support.2"},{"editorial_status":"WITHDRAWN_BY_PUBLISHER","mathematical_truth":"UNKNOWN","name":"The rational Hodge conjecture for products of K3 surfaces","original_support_claim":"openai.original_support.3"}],"does_not_imply":"mathematical_theorem_refuted","kind":"PUBLICATION_WITHDRAWAL"},"resolutions":{"jpl.l4yaml.finite_parser_acceptance":{"after":"WARRANTED_BOUNDED","before":"WARRANTED_BOUNDED","changed":false},"openai.original_support.1":{"after":"STALE","before":"SOURCE_DOCUMENTED","changed":true},"openai.original_support.2":{"after":"STALE","before":"SOURCE_DOCUMENTED","changed":true},"openai.original_support.3":{"after":"STALE","before":"SOURCE_DOCUMENTED","changed":true},"openai.theorem.1":{"after":"UNKNOWN","before":"UNKNOWN","changed":false},"openai.theorem.2":{"after":"UNKNOWN","before":"UNKNOWN","changed":false},"openai.theorem.3":{"after":"UNKNOWN","before":"UNKNOWN","changed":false}},"schema":"mathgraph.living-warrant-snapshot.v1","snapshot_sha256":"b95297a081d513fb0ec145a776cc997eaed18109d6b2af39fa8e61f6d637af41","sources":{"jpl_record_id":"mg-l4yaml-source-check-20261010","jpl_record_sha256":"f0d092974d5d710fe9e17fb6759a894f2c28f2d3f5456439c071bd0a71c8d3cb","openai":{"byte_sha256":"41c2a2d470014b3628695c7aabf5fd0c93f6f687621fca172062f22b59ed6a1e","commit":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","git_blob_sha1":"693874f398905b1bc59e01b898b223ae9956bfc2","notice_date":"2026-10-07","path":"history.md","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/history.md"}}}