{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:ET6OFKXZXILDBOD2WC6THTVMPX","short_pith_number":"pith:ET6OFKXZ","canonical_record":{"source":{"id":"1111.7055","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2011-11-30T06:01:36Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"ed38c202696c1dc4b39d8f1f4745547358c5189f79b75e789b1d9d574237456f","abstract_canon_sha256":"e0cb96f5da2818b344d79d21f18836afa43e09e07416cc949491bba1bd69cd63"},"schema_version":"1.0"},"canonical_sha256":"24fce2aaf9ba1630b87ab0bd33ceac7df62387ca7dda75c9c239501caa0dcfb3","source":{"kind":"arxiv","id":"1111.7055","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.7055","created_at":"2026-05-18T03:03:21Z"},{"alias_kind":"arxiv_version","alias_value":"1111.7055v2","created_at":"2026-05-18T03:03:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.7055","created_at":"2026-05-18T03:03:21Z"},{"alias_kind":"pith_short_12","alias_value":"ET6OFKXZXILD","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"ET6OFKXZXILDBOD2","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"ET6OFKXZ","created_at":"2026-05-18T12:26:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:ET6OFKXZXILDBOD2WC6THTVMPX","target":"record","payload":{"canonical_record":{"source":{"id":"1111.7055","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2011-11-30T06:01:36Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"ed38c202696c1dc4b39d8f1f4745547358c5189f79b75e789b1d9d574237456f","abstract_canon_sha256":"e0cb96f5da2818b344d79d21f18836afa43e09e07416cc949491bba1bd69cd63"},"schema_version":"1.0"},"canonical_sha256":"24fce2aaf9ba1630b87ab0bd33ceac7df62387ca7dda75c9c239501caa0dcfb3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:03:21.474180Z","signature_b64":"uNV6EB5doWPMSwMXMBEnxAD/+IIS7EvIvwbRAlcs0lAk52rj1VRTcmBLM6TKu4J93eB6du/ucjkJQiHpqrdCCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"24fce2aaf9ba1630b87ab0bd33ceac7df62387ca7dda75c9c239501caa0dcfb3","last_reissued_at":"2026-05-18T03:03:21.473486Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:03:21.473486Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1111.7055","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-18T03:03:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aViYvaROdTcNpPDLh3kV3NsanvrkCu04DPzAxFKem0/ZN2dbAaB6jV5GcHpVB51Ty+nM47/87uC2DtiiRKR0CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T20:39:57.232525Z"},"content_sha256":"651e7dbc6a73525f4367569aab096aec1a1ba2827b31cbb37aa3c57b9a986ec0","schema_version":"1.0","event_id":"sha256:651e7dbc6a73525f4367569aab096aec1a1ba2827b31cbb37aa3c57b9a986ec0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:ET6OFKXZXILDBOD2WC6THTVMPX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enumerating fundamental normal surfaces: Algorithms, experiments and invariants","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"math.GT","authors_text":"Benjamin A. Burton","submitted_at":"2011-11-30T06:01:36Z","abstract_excerpt":"Computational knot theory and 3-manifold topology have seen significant breakthroughs in recent years, despite the fact that many key algorithms have complexity bounds that are exponential or greater. In this setting, experimentation is essential for understanding the limits of practicality, as well as for gauging the relative merits of competing algorithms.\n  In this paper we focus on normal surface theory, a key tool that appears throughout low-dimensional topology. Stepping beyond the well-studied problem of computing vertex normal surfaces (essentially extreme rays of a polyhedral cone), w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.7055","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-18T03:03:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rf8PesBdcaeLu2zARMPLoBt2rdgUtgjF8c2jZcxdkp1zSZXT1EryxBl1iBoJr349MJTyo/7u58/Cl6D7X6PPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T20:39:57.233293Z"},"content_sha256":"ca3d977921e47843365d6a583de5fc0e7da57402722a7ec3bf98686b73c00fa1","schema_version":"1.0","event_id":"sha256:ca3d977921e47843365d6a583de5fc0e7da57402722a7ec3bf98686b73c00fa1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ET6OFKXZXILDBOD2WC6THTVMPX/bundle.json","state_url":"https://pith.science/pith/ET6OFKXZXILDBOD2WC6THTVMPX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ET6OFKXZXILDBOD2WC6THTVMPX/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-11T20:39:57Z","links":{"resolver":"https://pith.science/pith/ET6OFKXZXILDBOD2WC6THTVMPX","bundle":"https://pith.science/pith/ET6OFKXZXILDBOD2WC6THTVMPX/bundle.json","state":"https://pith.science/pith/ET6OFKXZXILDBOD2WC6THTVMPX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ET6OFKXZXILDBOD2WC6THTVMPX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:ET6OFKXZXILDBOD2WC6THTVMPX","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":"e0cb96f5da2818b344d79d21f18836afa43e09e07416cc949491bba1bd69cd63","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2011-11-30T06:01:36Z","title_canon_sha256":"ed38c202696c1dc4b39d8f1f4745547358c5189f79b75e789b1d9d574237456f"},"schema_version":"1.0","source":{"id":"1111.7055","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.7055","created_at":"2026-05-18T03:03:21Z"},{"alias_kind":"arxiv_version","alias_value":"1111.7055v2","created_at":"2026-05-18T03:03:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.7055","created_at":"2026-05-18T03:03:21Z"},{"alias_kind":"pith_short_12","alias_value":"ET6OFKXZXILD","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"ET6OFKXZXILDBOD2","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"ET6OFKXZ","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:ca3d977921e47843365d6a583de5fc0e7da57402722a7ec3bf98686b73c00fa1","target":"graph","created_at":"2026-05-18T03:03:21Z","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":"Computational knot theory and 3-manifold topology have seen significant breakthroughs in recent years, despite the fact that many key algorithms have complexity bounds that are exponential or greater. In this setting, experimentation is essential for understanding the limits of practicality, as well as for gauging the relative merits of competing algorithms.\n  In this paper we focus on normal surface theory, a key tool that appears throughout low-dimensional topology. Stepping beyond the well-studied problem of computing vertex normal surfaces (essentially extreme rays of a polyhedral cone), w","authors_text":"Benjamin A. Burton","cross_cats":["cs.CG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2011-11-30T06:01:36Z","title":"Enumerating fundamental normal surfaces: Algorithms, experiments and invariants"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.7055","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:651e7dbc6a73525f4367569aab096aec1a1ba2827b31cbb37aa3c57b9a986ec0","target":"record","created_at":"2026-05-18T03:03:21Z","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":"e0cb96f5da2818b344d79d21f18836afa43e09e07416cc949491bba1bd69cd63","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2011-11-30T06:01:36Z","title_canon_sha256":"ed38c202696c1dc4b39d8f1f4745547358c5189f79b75e789b1d9d574237456f"},"schema_version":"1.0","source":{"id":"1111.7055","kind":"arxiv","version":2}},"canonical_sha256":"24fce2aaf9ba1630b87ab0bd33ceac7df62387ca7dda75c9c239501caa0dcfb3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"24fce2aaf9ba1630b87ab0bd33ceac7df62387ca7dda75c9c239501caa0dcfb3","first_computed_at":"2026-05-18T03:03:21.473486Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:03:21.473486Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uNV6EB5doWPMSwMXMBEnxAD/+IIS7EvIvwbRAlcs0lAk52rj1VRTcmBLM6TKu4J93eB6du/ucjkJQiHpqrdCCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:03:21.474180Z","signed_message":"canonical_sha256_bytes"},"source_id":"1111.7055","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:651e7dbc6a73525f4367569aab096aec1a1ba2827b31cbb37aa3c57b9a986ec0","sha256:ca3d977921e47843365d6a583de5fc0e7da57402722a7ec3bf98686b73c00fa1"],"state_sha256":"ddafe64d9263e0c2c24b5d499224b0ae3c749354eaf596acc59f1073f178bdd6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LTD65OajffePo2757WLygJhMnplLmU1OzUsKDVFfKNFRunexgLoTyvgrk5UrxH0b0FhdGnN4HWykgngZzuLTBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T20:39:57.237753Z","bundle_sha256":"b86f790f6e3f94c4f69bd509a310b17510ddd60bfda540d62e3b547fb06c7508"}}