{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:NM2LHIRP42QWHDGUMABW3V325U","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":"42097102362ac3cd64f110b6d443a87e03fa31d430614d313820c8cf5c5b206e","cross_cats_sorted":["cs.CG","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2012-08-13T06:22:37Z","title_canon_sha256":"5a4eb087bc25797d84406a5e6667e4e11b4db27d2009405c46b30d2a376f1890"},"schema_version":"1.0","source":{"id":"1208.2504","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.2504","created_at":"2026-05-18T03:32:47Z"},{"alias_kind":"arxiv_version","alias_value":"1208.2504v2","created_at":"2026-05-18T03:32:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.2504","created_at":"2026-05-18T03:32:47Z"},{"alias_kind":"pith_short_12","alias_value":"NM2LHIRP42QW","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"NM2LHIRP42QWHDGU","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"NM2LHIRP","created_at":"2026-05-18T12:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:aaa9988211aeb54cfff4d7a4ec0e36ee254d2cd3f2deb879f3bca0b3744bb872","target":"graph","created_at":"2026-05-18T03:32:47Z","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":"Regina is a software package for studying 3-manifold triangulations and normal surfaces. It includes a graphical user interface and Python bindings, and also supports angle structures, census enumeration, combinatorial recognition of triangulations, and high-level functions such as 3-sphere recognition, unknot recognition and connected sum decomposition.\n  This paper brings 3-manifold topologists up-to-date with Regina as it appears today, and documents for the first time in the literature some of the key algorithms, heuristics and implementations that are central to Regina's performance. Thes","authors_text":"Benjamin A. Burton","cross_cats":["cs.CG","cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2012-08-13T06:22:37Z","title":"Computational topology with Regina: Algorithms, heuristics and implementations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.2504","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:0e66ab0a0d168f84f5ac5c8c68d85f7de1abf842ebb23dfe6cb08cf45dccaac0","target":"record","created_at":"2026-05-18T03:32:47Z","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":"42097102362ac3cd64f110b6d443a87e03fa31d430614d313820c8cf5c5b206e","cross_cats_sorted":["cs.CG","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2012-08-13T06:22:37Z","title_canon_sha256":"5a4eb087bc25797d84406a5e6667e4e11b4db27d2009405c46b30d2a376f1890"},"schema_version":"1.0","source":{"id":"1208.2504","kind":"arxiv","version":2}},"canonical_sha256":"6b34b3a22fe6a1638cd460036dd77aed35dfb0f62eaf9461e90b5bede60f1de5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b34b3a22fe6a1638cd460036dd77aed35dfb0f62eaf9461e90b5bede60f1de5","first_computed_at":"2026-05-18T03:32:47.549064Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:32:47.549064Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C0y0Krrnjc4Zce37698Gch4fHEsCUOzauoarwIWN0dmR6dweIstLS/Gwa4UnaTUDuqcwbKyy/iHciDx06YsTDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:32:47.549893Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.2504","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e66ab0a0d168f84f5ac5c8c68d85f7de1abf842ebb23dfe6cb08cf45dccaac0","sha256:aaa9988211aeb54cfff4d7a4ec0e36ee254d2cd3f2deb879f3bca0b3744bb872"],"state_sha256":"728ee10115e8439a13234f9638efe7729fd738e240b158b278bd53d08149ea36"}