{"PUBLISHED_RECORD":{"classification":"PUBLISHED_RECORD","default_scenario":"published-after","graph":{"claims":[{"id":"jpl.l4yaml.finite_parser_acceptance","kind":"formal","scope":"nasa-jpl/L4YAML@62bf7077910e888a0bc8adfc8e08a5f500ff3ca3:yaml/yaml-test-suite@da267a5c4782e7361e82889e76c0dc7df0e1e870:48-cases"},{"id":"openai.original_support.1","kind":"documentary","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.original_support.3","kind":"documentary","scope":"openai/math:The rational Hodge conjecture for products of K3 surfaces: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.theorem.2","kind":"formal","scope":"openai/math:Algebraicity of Kuga–Satake Correspondences for 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"}],"receipts":[{"id":"mathgraph.l4yaml.48-case-qualification","kind":"formal","scope":"nasa-jpl/L4YAML@62bf7077910e888a0bc8adfc8e08a5f500ff3ca3:yaml/yaml-test-suite@da267a5c4782e7361e82889e76c0dc7df0e1e870:48-cases"},{"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"}],"routes":[{"conclusion":"jpl.l4yaml.finite_parser_acceptance","evidence":["mathgraph.l4yaml.48-case-qualification"],"premises":[]},{"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":[]}]},"scenarios":[{"active_routes":[{"conclusion":"jpl.l4yaml.finite_parser_acceptance","evidence":["mathgraph.l4yaml.48-case-qualification"],"premises":[]},{"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":[]}],"basis":"MODELED_BEFORE","description":"Documentary original-support routes were modeled as active before publisher withdrawal; this does not prove their correctness.","id":"modeled-before","label":"Modeled before publisher withdrawal","resolutions":{"jpl.l4yaml.finite_parser_acceptance":{"after":"WARRANTED_BOUNDED","before":"WARRANTED_BOUNDED","changed":false},"openai.original_support.1":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"openai.original_support.2":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"openai.original_support.3":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"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}},"states":{"jpl.l4yaml.finite_parser_acceptance":"WARRANTED_BOUNDED","openai.original_support.1":"SOURCE_DOCUMENTED","openai.original_support.2":"SOURCE_DOCUMENTED","openai.original_support.3":"SOURCE_DOCUMENTED","openai.theorem.1":"UNKNOWN","openai.theorem.2":"UNKNOWN","openai.theorem.3":"UNKNOWN"},"withdrawn_evidence":[]},{"active_routes":[{"conclusion":"jpl.l4yaml.finite_parser_acceptance","evidence":["mathgraph.l4yaml.48-case-qualification"],"premises":[]}],"baseline":"modeled-before","basis":"PUBLISHED_AFTER","description":"The publisher withdrew three original arguments. Their prior documentary support paths are stale; mathematical truth remains UNKNOWN.","id":"published-after","label":"Published after publisher 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}},"states":{"jpl.l4yaml.finite_parser_acceptance":"WARRANTED_BOUNDED","openai.original_support.1":"UNKNOWN","openai.original_support.2":"UNKNOWN","openai.original_support.3":"UNKNOWN","openai.theorem.1":"UNKNOWN","openai.theorem.2":"UNKNOWN","openai.theorem.3":"UNKNOWN"},"withdrawn_evidence":["openai.original_publication_receipt.1","openai.original_publication_receipt.2","openai.original_publication_receipt.3"]},{"active_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":[]}],"baseline":"modeled-before","basis":"SIMULATION","description":"Hypothetical single-dependency withdrawal from the modeled-before graph; not an additional historical event.","id":"withdraw-mathgraph.l4yaml.48-case-qualification","label":"Simulate withdrawal: mathgraph.l4yaml.48-case-qualification","resolutions":{"jpl.l4yaml.finite_parser_acceptance":{"after":"STALE","before":"WARRANTED_BOUNDED","changed":true},"openai.original_support.1":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"openai.original_support.2":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"openai.original_support.3":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"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}},"states":{"jpl.l4yaml.finite_parser_acceptance":"UNKNOWN","openai.original_support.1":"SOURCE_DOCUMENTED","openai.original_support.2":"SOURCE_DOCUMENTED","openai.original_support.3":"SOURCE_DOCUMENTED","openai.theorem.1":"UNKNOWN","openai.theorem.2":"UNKNOWN","openai.theorem.3":"UNKNOWN"},"withdrawn_evidence":["mathgraph.l4yaml.48-case-qualification"]},{"active_routes":[{"conclusion":"jpl.l4yaml.finite_parser_acceptance","evidence":["mathgraph.l4yaml.48-case-qualification"],"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":[]}],"baseline":"modeled-before","basis":"SIMULATION","description":"Hypothetical single-dependency withdrawal from the modeled-before graph; not an additional historical event.","id":"withdraw-openai.original_publication_receipt.1","label":"Simulate withdrawal: openai.original_publication_receipt.1","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":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"openai.original_support.3":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"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}},"states":{"jpl.l4yaml.finite_parser_acceptance":"WARRANTED_BOUNDED","openai.original_support.1":"UNKNOWN","openai.original_support.2":"SOURCE_DOCUMENTED","openai.original_support.3":"SOURCE_DOCUMENTED","openai.theorem.1":"UNKNOWN","openai.theorem.2":"UNKNOWN","openai.theorem.3":"UNKNOWN"},"withdrawn_evidence":["openai.original_publication_receipt.1"]},{"active_routes":[{"conclusion":"jpl.l4yaml.finite_parser_acceptance","evidence":["mathgraph.l4yaml.48-case-qualification"],"premises":[]},{"conclusion":"openai.original_support.1","evidence":["openai.original_publication_receipt.1"],"premises":[]},{"conclusion":"openai.original_support.3","evidence":["openai.original_publication_receipt.3"],"premises":[]}],"baseline":"modeled-before","basis":"SIMULATION","description":"Hypothetical single-dependency withdrawal from the modeled-before graph; not an additional historical event.","id":"withdraw-openai.original_publication_receipt.2","label":"Simulate withdrawal: openai.original_publication_receipt.2","resolutions":{"jpl.l4yaml.finite_parser_acceptance":{"after":"WARRANTED_BOUNDED","before":"WARRANTED_BOUNDED","changed":false},"openai.original_support.1":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"openai.original_support.2":{"after":"STALE","before":"SOURCE_DOCUMENTED","changed":true},"openai.original_support.3":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"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}},"states":{"jpl.l4yaml.finite_parser_acceptance":"WARRANTED_BOUNDED","openai.original_support.1":"SOURCE_DOCUMENTED","openai.original_support.2":"UNKNOWN","openai.original_support.3":"SOURCE_DOCUMENTED","openai.theorem.1":"UNKNOWN","openai.theorem.2":"UNKNOWN","openai.theorem.3":"UNKNOWN"},"withdrawn_evidence":["openai.original_publication_receipt.2"]},{"active_routes":[{"conclusion":"jpl.l4yaml.finite_parser_acceptance","evidence":["mathgraph.l4yaml.48-case-qualification"],"premises":[]},{"conclusion":"openai.original_support.1","evidence":["openai.original_publication_receipt.1"],"premises":[]},{"conclusion":"openai.original_support.2","evidence":["openai.original_publication_receipt.2"],"premises":[]}],"baseline":"modeled-before","basis":"SIMULATION","description":"Hypothetical single-dependency withdrawal from the modeled-before graph; not an additional historical event.","id":"withdraw-openai.original_publication_receipt.3","label":"Simulate withdrawal: openai.original_publication_receipt.3","resolutions":{"jpl.l4yaml.finite_parser_acceptance":{"after":"WARRANTED_BOUNDED","before":"WARRANTED_BOUNDED","changed":false},"openai.original_support.1":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"openai.original_support.2":{"after":"SOURCE_DOCUMENTED","before":"SOURCE_DOCUMENTED","changed":false},"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}},"states":{"jpl.l4yaml.finite_parser_acceptance":"WARRANTED_BOUNDED","openai.original_support.1":"SOURCE_DOCUMENTED","openai.original_support.2":"SOURCE_DOCUMENTED","openai.original_support.3":"UNKNOWN","openai.theorem.1":"UNKNOWN","openai.theorem.2":"UNKNOWN","openai.theorem.3":"UNKNOWN"},"withdrawn_evidence":["openai.original_publication_receipt.3"]}]},"SYNTHETIC_CONFORMANCE":{"classification":"SYNTHETIC_CONFORMANCE","description":"Synthetic kernel tests, not historical facts about OpenAI or JPL.","historical_fact":false,"purpose":"KERNEL_TESTS","scenarios":[{"active_routes":[{"conclusion":"B","evidence":["rB"],"premises":["C"]},{"conclusion":"C","evidence":["rC"],"premises":[]}],"basis":"KERNEL_TEST","description":"Synthetic kernel test, not a historical fact or newly verified mathematical claim.","graph":{"claims":[{"id":"A","kind":"formal","scope":"synthetic-conformance"},{"id":"B","kind":"formal","scope":"synthetic-conformance"},{"id":"C","kind":"formal","scope":"synthetic-conformance"}],"receipts":[{"id":"rA","kind":"formal","scope":"synthetic-conformance"},{"id":"rB","kind":"formal","scope":"synthetic-conformance"},{"id":"rC","kind":"formal","scope":"synthetic-conformance"}],"routes":[{"conclusion":"A","evidence":["rA"],"premises":[]},{"conclusion":"B","evidence":["rB"],"premises":["A"]},{"conclusion":"B","evidence":["rB"],"premises":["C"]},{"conclusion":"C","evidence":["rC"],"premises":[]}]},"id":"alternative-route","label":"Alternative support survives withdrawal","resolutions":{"A":{"after":"STALE","before":"WARRANTED_BOUNDED","changed":true},"B":{"after":"WARRANTED_BOUNDED","before":"WARRANTED_BOUNDED","changed":false},"C":{"after":"WARRANTED_BOUNDED","before":"WARRANTED_BOUNDED","changed":false}},"states":{"A":"UNKNOWN","B":"WARRANTED_BOUNDED","C":"WARRANTED_BOUNDED"},"withdrawn_evidence":["rA"]},{"active_routes":[{"conclusion":"C","evidence":["rC"],"premises":[]}],"basis":"KERNEL_TEST","description":"Synthetic kernel test, not a historical fact or newly verified mathematical claim.","graph":{"claims":[{"id":"A","kind":"formal","scope":"synthetic-conformance"},{"id":"B","kind":"formal","scope":"synthetic-conformance"},{"id":"C","kind":"formal","scope":"synthetic-conformance"}],"receipts":[{"id":"rA","kind":"formal","scope":"synthetic-conformance"},{"id":"rB","kind":"formal","scope":"synthetic-conformance"},{"id":"rC","kind":"formal","scope":"synthetic-conformance"}],"routes":[{"conclusion":"A","evidence":["rA"],"premises":[]},{"conclusion":"B","evidence":["rB"],"premises":["A"]},{"conclusion":"C","evidence":["rC"],"premises":[]}]},"id":"localized-invalidation","label":"Withdrawal changes only dependent support","resolutions":{"A":{"after":"STALE","before":"WARRANTED_BOUNDED","changed":true},"B":{"after":"STALE","before":"WARRANTED_BOUNDED","changed":true},"C":{"after":"WARRANTED_BOUNDED","before":"WARRANTED_BOUNDED","changed":false}},"states":{"A":"UNKNOWN","B":"UNKNOWN","C":"WARRANTED_BOUNDED"},"withdrawn_evidence":["rA"]},{"active_routes":[],"basis":"KERNEL_TEST","description":"Synthetic kernel test, not a historical fact or newly verified mathematical claim.","graph":{"claims":[{"id":"A","kind":"formal","scope":"synthetic-conformance"},{"id":"B","kind":"formal","scope":"synthetic-conformance"}],"receipts":[{"id":"rA","kind":"formal","scope":"synthetic-conformance"},{"id":"rB","kind":"formal","scope":"synthetic-conformance"}],"routes":[{"conclusion":"A","evidence":["rA"],"premises":["B"]},{"conclusion":"B","evidence":["rB"],"premises":["A"]}]},"id":"rootless-cycle","label":"A cycle without a qualified root stays UNKNOWN","resolutions":{"A":{"after":"UNKNOWN","before":"UNKNOWN","changed":false},"B":{"after":"UNKNOWN","before":"UNKNOWN","changed":false}},"states":{"A":"UNKNOWN","B":"UNKNOWN"},"withdrawn_evidence":[]}]},"maturity":{"action_policy":"READ_ONLY_PRECOMPUTED_SELECTION","lifecycle":"PUBLISHED_IMMUTABLE_SNAPSHOT","research_maturity":"BOUNDED_REFERENCE_IMPLEMENTATION","runtime_status":"IMMUTABLE_HISTORICAL_SNAPSHOT_NOT_CONTINUOUSLY_MONITORED"},"provenance":{"consumer":{"boundary":"Implementation-independent replay under the same owner; does not rerun the original JPL Lean proof.","commit":"9b3189a64825e2cb6ebc7b5c17f5f193bdf5cfe3","implementation_independent":true,"independently_owned_adoption":false,"name":"RealityGraph","repository":"heathsanchez/realitygraph","reruns_jpl_lean_proof":false,"run_id":"38025236380","run_url":"https://github.com/heathsanchez/realitygraph/actions/runs/38025236380","same_owner":true},"integrity_boundary":"Pinned hashes detect byte substitution; self-hashes do not authenticate publishers or qualify new evidence.","producer":{"commit":"040456fc8862c79c8b384ce63846628274b678be","repository":"metalogiclabs/mathgraph","run_id":"38025044631","run_url":"https://github.com/metalogiclabs/mathgraph/actions/runs/38025044631"}},"record_id":"mg-living-warrant-openai-jpl-20261010","schema":"mathgraph.resolve-scenarios.v1","snapshot_sha256":"b95297a081d513fb0ec145a776cc997eaed18109d6b2af39fa8e61f6d637af41","status_contract":{"resolutions":"Compared with the graph's no-withdrawal baseline (modeled-before for PUBLISHED_RECORD); STALE marks lost support, never theorem refutation.","states":"Raw kernel epistemic results at each claim's original kind and scope.","terminal_form_admission":"These warrant states do not accept new mathematical claims into the terminal-form kernel."},"transport_sha256":"0a850b112cce200f2fa97f0d861db712f3752712a6326e62f4c0d56996a95d87"}