{"schema_version":"source-reader-v1","record":{"source_id":"petersen-coloring-archive","versions":[{"work":{"authors":["Bryce Putman"],"kind":"research_project","publication":"project","publication_note":"Source-reported results and external checks are separate from independent OpenMath assessment.","ai_role":"self_reported","ai_note":"The author attributes discovery and verification assistance to OpenAI systems; source logs are external computational reports.","artifacts":[{"kind":"dataset","title":"Exact graphs, encodings, manifests and logs","url":"https://zenodo.org/records/21845291/files/PCC_counterexample_112_compact_ancillary_v1.1.0.zip","version":"1.1.0","assessment":"not_executed","note":"Small archive inspected; exact graph data imported. SAT solving and DRAT certificate checking have not been rerun by OpenMath.","sha256":"75e935442fcb5457a9cfd0fd07c6d0a5b5fca80e1aeedab6e7243e8ccde9287b"},{"kind":"dataset","title":"Four DRAT proof certificates","url":"https://zenodo.org/records/21845291/files/PCC_112_DRAT_PROOFS_v1.0.0.zip","version":"1.0.0 (unchanged certificate bytes in release 1.1.0)","assessment":"external_report","note":"The source reports successful drat-trim checks for both formulations of both graphs. These large certificate files were not executed by OpenMath.","sha256":"8af3eec414b652f05c56979dc148321535cdc51ff9cbd59dff278ef3d53d9832"}],"published":{"value":"2026-08-08"}},"id":"petersen-coloring:source:archive:v1","source_id":"petersen-coloring-archive","title":"Petersen counterexample: frozen construction and certificates","owner":"Bryce Putman","url":"https://zenodo.org/records/21845291","subject_scope":"Version 1.1.0; exact graphs, encoders, manifests, logs and separate DRAT proof files.","revision":"1.1.0","content_sha256":null,"update_method":"Compare the pinned source before publishing another immutable revision.","identifier_policy":"Stable source identity; exact source passages are versioned.","observed_on":"2026-10-14","source_updated_on":null,"rights":"metadata-link","license":"Source document rights apply; OpenMath publishes original paraphrases.","terms_url":"https://zenodo.org/records/21845291","attribution":"Bryce Putman","rights_note":"Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive.","check_interval_days":90}],"entries":[{"id":"petersen-coloring:entry:certificates:v1","source_version_id":"petersen-coloring:source:archive:v1","item_id":"certificates","url":"https://zenodo.org/records/21845291","wording":"CaDiCaL 3.0.1 reports UNSAT; drat-trim reports VERIFIED for four DRAT proofs. Separate encoders, satisfiable controls and status-parsing negative controls support the reported checks.","wording_kind":"paraphrase","locator":"03_CERTIFICATION, 04_OPTIONAL_D3 and 05_DOCUMENTATION","supersedes":null}],"problems":[{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7}],"selected_version_id":"petersen-coloring:source:archive:v1","available_versions":[{"id":"petersen-coloring:source:archive:v1","revision":"1.1.0","observed_on":"2026-10-14","title":"Petersen counterexample: frozen construction and certificates","publication":"project","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-73e4351a726e53eb9abe","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"assessment","title":"External SAT and DRAT checks reported","claim":{"id":"claim-petersen-112-main-witness","version":1,"slug":"petersen-112-main-witness","title":"The main 112-vertex counterexample"},"fragment":"claim-petersen-112-main-witness","assessment":{"id":"petersen-coloring:report:certificates:v1","entry_id":"petersen-coloring:entry:certificates:v1","state":"resolved","source_label":"External SAT and DRAT checks reported","scope":"Four graph/formulation pairs; not an OpenMath execution.","source_date":"2026-08-08","observed_on":"2026-10-14","evidence_url":"https://zenodo.org/records/21845291","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-c87b3659b2403b3a7900","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"assessment","title":"External SAT and DRAT checks reported","claim":{"id":"claim-petersen-112-symmetric-witness","version":1,"slug":"petersen-112-symmetric-witness","title":"A distinct symmetric 112-vertex counterexample"},"fragment":"claim-petersen-112-symmetric-witness","assessment":{"id":"petersen-coloring:report:certificates:v1","entry_id":"petersen-coloring:entry:certificates:v1","state":"resolved","source_label":"External SAT and DRAT checks reported","scope":"Four graph/formulation pairs; not an OpenMath execution.","source_date":"2026-08-08","observed_on":"2026-10-14","evidence_url":"https://zenodo.org/records/21845291","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-a1e33ee5dc6922235ae6","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"construction","title":"Inspect the main graph","claim":{"id":"claim-petersen-112-main-witness","version":1,"slug":"petersen-112-main-witness","title":"The main 112-vertex counterexample"},"fragment":"claim-petersen-112-main-witness","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f7db998de2514ec38880","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"construction","title":"Inspect the symmetric graph","claim":{"id":"claim-petersen-112-symmetric-witness","version":1,"slug":"petersen-112-symmetric-witness","title":"A distinct symmetric 112-vertex counterexample"},"fragment":"claim-petersen-112-symmetric-witness","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-7b83533c4a59c64f35ff","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"milestone","title":"Two explicit counterexamples and certificates","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b3e98a5ae21a87fb25ed","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"proof","title":"Two independent coloring encodings","claim":{"id":"claim-petersen-112-main-witness","version":1,"slug":"petersen-112-main-witness","title":"The main 112-vertex counterexample"},"fragment":"claim-petersen-112-main-witness","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ca46ea84115d1f30836b","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"question","title":"Petersen coloring conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b6003d9590e754495321","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"reading","title":"Inspect the encodings, certificate manifests, logs and reproduction instructions.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d4006d23f5279e6896d9","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"statement","title":"The main 112-vertex counterexample","claim":{"id":"claim-petersen-112-main-witness","version":1,"slug":"petersen-112-main-witness","title":"The main 112-vertex counterexample"},"fragment":"claim-petersen-112-main-witness","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-e27e2986fa2ef4ef30a4","entry_id":"petersen-coloring:entry:certificates:v1","problem":{"slug":"petersen-coloring","title":"Petersen coloring conjecture","publication_version":7},"kind":"statement","title":"A distinct symmetric 112-vertex counterexample","claim":{"id":"claim-petersen-112-symmetric-witness","version":1,"slug":"petersen-112-symmetric-witness","title":"A distinct symmetric 112-vertex counterexample"},"fragment":"claim-petersen-112-symmetric-witness","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}