{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:QNVKS6AS4TG3VKXAN5GDRNBV5G","short_pith_number":"pith:QNVKS6AS","canonical_record":{"source":{"id":"1310.3418","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2013-10-12T19:46:18Z","cross_cats_sorted":[],"title_canon_sha256":"ba294bcf312e7bea31f48b3a211ba1b927bde1c336cb2bc845328dfd30f7a19b","abstract_canon_sha256":"a44b6455298bb8afb247ff327578621f101b6cefa7f1f81300c08e61dd8d4749"},"schema_version":"1.0"},"canonical_sha256":"836aa97812e4cdbaaae06f4c38b435e995df90e0dbaad364ffdcd9b13b4e6482","source":{"kind":"arxiv","id":"1310.3418","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.3418","created_at":"2026-05-18T02:19:36Z"},{"alias_kind":"arxiv_version","alias_value":"1310.3418v3","created_at":"2026-05-18T02:19:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.3418","created_at":"2026-05-18T02:19:36Z"},{"alias_kind":"pith_short_12","alias_value":"QNVKS6AS4TG3","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"QNVKS6AS4TG3VKXA","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"QNVKS6AS","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:QNVKS6AS4TG3VKXAN5GDRNBV5G","target":"record","payload":{"canonical_record":{"source":{"id":"1310.3418","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2013-10-12T19:46:18Z","cross_cats_sorted":[],"title_canon_sha256":"ba294bcf312e7bea31f48b3a211ba1b927bde1c336cb2bc845328dfd30f7a19b","abstract_canon_sha256":"a44b6455298bb8afb247ff327578621f101b6cefa7f1f81300c08e61dd8d4749"},"schema_version":"1.0"},"canonical_sha256":"836aa97812e4cdbaaae06f4c38b435e995df90e0dbaad364ffdcd9b13b4e6482","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:19:36.383051Z","signature_b64":"q1Qi88mMtBGEceY5SiMHFUMSKjVCwKXIG8MvI1SVOhU9Y8SmKYs1hUHVevqGsxXlcXLI9jXkEgwz6eJ9k000BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"836aa97812e4cdbaaae06f4c38b435e995df90e0dbaad364ffdcd9b13b4e6482","last_reissued_at":"2026-05-18T02:19:36.382642Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:19:36.382642Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.3418","source_version":3,"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-18T02:19:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KuV5fM2PknuMWJl3fUxEoIDq26Xh5Bw3537lo+wHg5yrW5zj4BddiLuI8F/EwgXw/RCi8c6pgiB3vMHKTeCTDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T10:06:46.868422Z"},"content_sha256":"4e374e0d2a153903010bba6ab7c69ee9bb4502c5c10fd6559df0dd09eb32df96","schema_version":"1.0","event_id":"sha256:4e374e0d2a153903010bba6ab7c69ee9bb4502c5c10fd6559df0dd09eb32df96"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:QNVKS6AS4TG3VKXAN5GDRNBV5G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A survey of Heegaard Floer homology","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GT","authors_text":"Andras Juhasz","submitted_at":"2013-10-12T19:46:18Z","abstract_excerpt":"This work has two goals. The first is to provide a conceptual introduction to Heegaard Floer homology, the second is to survey the current state of the field, without aiming for completeness. After reviewing the structure of Heegaard Floer homology, we list some of its most important applications. Many of these are purely topological results, not referring to Heegaard Floer homology itself. Then, we briefly outline the construction of Lagrangian intersection Floer homology. We construct the Heegaard Floer chain complex as a special case of the above, and try to motivate the role of the various"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.3418","kind":"arxiv","version":3},"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-18T02:19:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rLq4+QE+libuw8rRqSfL/g6c2/StniHzsXpUmhlcO+Oyx9DevT5W91EQVwJxeIdbAcZ12FdJejCgWtHJ2+Y7DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T10:06:46.868801Z"},"content_sha256":"f60a638c3b0ffa4bad055854e1920ab3aedea321324bf7fa35d8af7a80f3bc5a","schema_version":"1.0","event_id":"sha256:f60a638c3b0ffa4bad055854e1920ab3aedea321324bf7fa35d8af7a80f3bc5a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QNVKS6AS4TG3VKXAN5GDRNBV5G/bundle.json","state_url":"https://pith.science/pith/QNVKS6AS4TG3VKXAN5GDRNBV5G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QNVKS6AS4TG3VKXAN5GDRNBV5G/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-25T10:06:46Z","links":{"resolver":"https://pith.science/pith/QNVKS6AS4TG3VKXAN5GDRNBV5G","bundle":"https://pith.science/pith/QNVKS6AS4TG3VKXAN5GDRNBV5G/bundle.json","state":"https://pith.science/pith/QNVKS6AS4TG3VKXAN5GDRNBV5G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QNVKS6AS4TG3VKXAN5GDRNBV5G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:QNVKS6AS4TG3VKXAN5GDRNBV5G","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":"a44b6455298bb8afb247ff327578621f101b6cefa7f1f81300c08e61dd8d4749","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2013-10-12T19:46:18Z","title_canon_sha256":"ba294bcf312e7bea31f48b3a211ba1b927bde1c336cb2bc845328dfd30f7a19b"},"schema_version":"1.0","source":{"id":"1310.3418","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.3418","created_at":"2026-05-18T02:19:36Z"},{"alias_kind":"arxiv_version","alias_value":"1310.3418v3","created_at":"2026-05-18T02:19:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.3418","created_at":"2026-05-18T02:19:36Z"},{"alias_kind":"pith_short_12","alias_value":"QNVKS6AS4TG3","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"QNVKS6AS4TG3VKXA","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"QNVKS6AS","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:f60a638c3b0ffa4bad055854e1920ab3aedea321324bf7fa35d8af7a80f3bc5a","target":"graph","created_at":"2026-05-18T02:19:36Z","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":"This work has two goals. The first is to provide a conceptual introduction to Heegaard Floer homology, the second is to survey the current state of the field, without aiming for completeness. After reviewing the structure of Heegaard Floer homology, we list some of its most important applications. Many of these are purely topological results, not referring to Heegaard Floer homology itself. Then, we briefly outline the construction of Lagrangian intersection Floer homology. We construct the Heegaard Floer chain complex as a special case of the above, and try to motivate the role of the various","authors_text":"Andras Juhasz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2013-10-12T19:46:18Z","title":"A survey of Heegaard Floer homology"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.3418","kind":"arxiv","version":3},"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:4e374e0d2a153903010bba6ab7c69ee9bb4502c5c10fd6559df0dd09eb32df96","target":"record","created_at":"2026-05-18T02:19:36Z","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":"a44b6455298bb8afb247ff327578621f101b6cefa7f1f81300c08e61dd8d4749","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2013-10-12T19:46:18Z","title_canon_sha256":"ba294bcf312e7bea31f48b3a211ba1b927bde1c336cb2bc845328dfd30f7a19b"},"schema_version":"1.0","source":{"id":"1310.3418","kind":"arxiv","version":3}},"canonical_sha256":"836aa97812e4cdbaaae06f4c38b435e995df90e0dbaad364ffdcd9b13b4e6482","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"836aa97812e4cdbaaae06f4c38b435e995df90e0dbaad364ffdcd9b13b4e6482","first_computed_at":"2026-05-18T02:19:36.382642Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:19:36.382642Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q1Qi88mMtBGEceY5SiMHFUMSKjVCwKXIG8MvI1SVOhU9Y8SmKYs1hUHVevqGsxXlcXLI9jXkEgwz6eJ9k000BA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:19:36.383051Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.3418","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e374e0d2a153903010bba6ab7c69ee9bb4502c5c10fd6559df0dd09eb32df96","sha256:f60a638c3b0ffa4bad055854e1920ab3aedea321324bf7fa35d8af7a80f3bc5a"],"state_sha256":"8d60ebe0f4f45b5bb6cdc2d1e66dc2d13c88b5393d204051b3bd8cce497b4ddd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yEwXY96nM/wclnyMAc+rNfymJkQHQxs1T1XeWUQEqPuKI4ON1UDqdkBVJ1d2eH39jOdpJOxnSkUp8Th4R60VDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T10:06:46.870772Z","bundle_sha256":"2461809c06bc5365de53314b985dbd80278afc71be272bc7d5883c516c4d463c"}}