{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:IJ243GOKHNMG3VT77JRLDQ77C4","short_pith_number":"pith:IJ243GOK","canonical_record":{"source":{"id":"1805.05488","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-14T22:56:52Z","cross_cats_sorted":["cs.SC","math.CO"],"title_canon_sha256":"d21b2f61be1eedbabc320eff2eeadaf219ec98162381c7dbcb984b7e13e465c6","abstract_canon_sha256":"2ec1afef52dd7691ff08e91025c9a836c142a4b1289e897a2072455c488602a2"},"schema_version":"1.0"},"canonical_sha256":"4275cd99ca3b586dd67ffa62b1c3ff173dde8ab671c23765ccf70cecba2e8b01","source":{"kind":"arxiv","id":"1805.05488","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.05488","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"arxiv_version","alias_value":"1805.05488v2","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.05488","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"pith_short_12","alias_value":"IJ243GOKHNMG","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IJ243GOKHNMG3VT7","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IJ243GOK","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:IJ243GOKHNMG3VT77JRLDQ77C4","target":"record","payload":{"canonical_record":{"source":{"id":"1805.05488","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-14T22:56:52Z","cross_cats_sorted":["cs.SC","math.CO"],"title_canon_sha256":"d21b2f61be1eedbabc320eff2eeadaf219ec98162381c7dbcb984b7e13e465c6","abstract_canon_sha256":"2ec1afef52dd7691ff08e91025c9a836c142a4b1289e897a2072455c488602a2"},"schema_version":"1.0"},"canonical_sha256":"4275cd99ca3b586dd67ffa62b1c3ff173dde8ab671c23765ccf70cecba2e8b01","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:19.492335Z","signature_b64":"vb9C/Ow1t1FgbFX12Sk75GEDtYOx5RTT2+NTypbSXwzW6rYwdr6QCOYbMoLtwYnLUIjDoawdDDUTvkMOefGRCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4275cd99ca3b586dd67ffa62b1c3ff173dde8ab671c23765ccf70cecba2e8b01","last_reissued_at":"2026-05-18T00:01:19.491889Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:19.491889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.05488","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:01:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"InjVtq3vXK9RpEBSWWWY1twleoF+N5F9xNQKTCC4PEFdNuyn0ytb0igra96Obwu1Vg1cvNu8HzIh9NXk+WkiBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T22:11:08.181486Z"},"content_sha256":"809db44b09a26959fe8ff6723104d0d8daefeb9aefa544a02ef42c69358fa220","schema_version":"1.0","event_id":"sha256:809db44b09a26959fe8ff6723104d0d8daefeb9aefa544a02ef42c69358fa220"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:IJ243GOKHNMG3VT77JRLDQ77C4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enumeration of Complex Golay Pairs via Programmatic SAT","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SC","math.CO"],"primary_cat":"cs.LO","authors_text":"Albert Heinle, Curtis Bright, Ilias Kotsireas, Vijay Ganesh","submitted_at":"2018-05-14T22:56:52Z","abstract_excerpt":"We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This independently verifies work done by F. Fiedler in 2013 that confirms the 2002 conjecture of Craigen, Holzmann, and Kharaghani that complex Golay pairs of length 23 don't exist. Our enumeration method relies on the recently proposed SAT+CAS paradigm of combining computer algebra systems with SAT solvers to take advantage of the advances made in the fields of symbolic computation and satisfiability checking. The enum"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.05488","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:01:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sA1TuL+T9I4Iv42NKUgxaP4sO8z86/dfVeQTrLvMIqYf0PZhiqEBtLzNykuzCBvELj6+BFXzji/PwKsEIr1dAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T22:11:08.181957Z"},"content_sha256":"59730eb6bbdc22ad19031819b2b65b3415d066f583d976ff8efc8a5473b2cdd8","schema_version":"1.0","event_id":"sha256:59730eb6bbdc22ad19031819b2b65b3415d066f583d976ff8efc8a5473b2cdd8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IJ243GOKHNMG3VT77JRLDQ77C4/bundle.json","state_url":"https://pith.science/pith/IJ243GOKHNMG3VT77JRLDQ77C4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IJ243GOKHNMG3VT77JRLDQ77C4/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-24T22:11:08Z","links":{"resolver":"https://pith.science/pith/IJ243GOKHNMG3VT77JRLDQ77C4","bundle":"https://pith.science/pith/IJ243GOKHNMG3VT77JRLDQ77C4/bundle.json","state":"https://pith.science/pith/IJ243GOKHNMG3VT77JRLDQ77C4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IJ243GOKHNMG3VT77JRLDQ77C4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:IJ243GOKHNMG3VT77JRLDQ77C4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"2ec1afef52dd7691ff08e91025c9a836c142a4b1289e897a2072455c488602a2","cross_cats_sorted":["cs.SC","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-14T22:56:52Z","title_canon_sha256":"d21b2f61be1eedbabc320eff2eeadaf219ec98162381c7dbcb984b7e13e465c6"},"schema_version":"1.0","source":{"id":"1805.05488","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.05488","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"arxiv_version","alias_value":"1805.05488v2","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.05488","created_at":"2026-05-18T00:01:19Z"},{"alias_kind":"pith_short_12","alias_value":"IJ243GOKHNMG","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IJ243GOKHNMG3VT7","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IJ243GOK","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:59730eb6bbdc22ad19031819b2b65b3415d066f583d976ff8efc8a5473b2cdd8","target":"graph","created_at":"2026-05-18T00:01:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This independently verifies work done by F. Fiedler in 2013 that confirms the 2002 conjecture of Craigen, Holzmann, and Kharaghani that complex Golay pairs of length 23 don't exist. Our enumeration method relies on the recently proposed SAT+CAS paradigm of combining computer algebra systems with SAT solvers to take advantage of the advances made in the fields of symbolic computation and satisfiability checking. The enum","authors_text":"Albert Heinle, Curtis Bright, Ilias Kotsireas, Vijay Ganesh","cross_cats":["cs.SC","math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-14T22:56:52Z","title":"Enumeration of Complex Golay Pairs via Programmatic SAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.05488","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:809db44b09a26959fe8ff6723104d0d8daefeb9aefa544a02ef42c69358fa220","target":"record","created_at":"2026-05-18T00:01:19Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"2ec1afef52dd7691ff08e91025c9a836c142a4b1289e897a2072455c488602a2","cross_cats_sorted":["cs.SC","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-05-14T22:56:52Z","title_canon_sha256":"d21b2f61be1eedbabc320eff2eeadaf219ec98162381c7dbcb984b7e13e465c6"},"schema_version":"1.0","source":{"id":"1805.05488","kind":"arxiv","version":2}},"canonical_sha256":"4275cd99ca3b586dd67ffa62b1c3ff173dde8ab671c23765ccf70cecba2e8b01","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4275cd99ca3b586dd67ffa62b1c3ff173dde8ab671c23765ccf70cecba2e8b01","first_computed_at":"2026-05-18T00:01:19.491889Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:19.491889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vb9C/Ow1t1FgbFX12Sk75GEDtYOx5RTT2+NTypbSXwzW6rYwdr6QCOYbMoLtwYnLUIjDoawdDDUTvkMOefGRCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:19.492335Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.05488","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:809db44b09a26959fe8ff6723104d0d8daefeb9aefa544a02ef42c69358fa220","sha256:59730eb6bbdc22ad19031819b2b65b3415d066f583d976ff8efc8a5473b2cdd8"],"state_sha256":"83bd2f989d03bf0b4c50aec1f2469093d0986c42dc9e4b1a8551d0b38213092c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yu4VmPdwAVfdNSUH8aWmfG8RS8aexVfeU7eS558ByIzMdlLdI0svthb5kFFH7utRuhaTu0HVl9P4DjLwJVN3BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T22:11:08.184563Z","bundle_sha256":"8a892ef7e15d57959b17543d3cadc403f68e661a58986adf5a735f3823176657"}}