{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GRYBYY6UFKJAGG6CWKIOUZW7ND","short_pith_number":"pith:GRYBYY6U","canonical_record":{"source":{"id":"1707.03924","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.SG","submitted_at":"2017-07-12T22:26:50Z","cross_cats_sorted":["math.DG","math.GT"],"title_canon_sha256":"096b38f261cce89e47528e17014f89f14cb34cd1eacef3d57cf0896d09276af0","abstract_canon_sha256":"e9e82a27dadd0ce51e0c687f395a3d0114208f8e8c5b7f74f69933366b3aab77"},"schema_version":"1.0"},"canonical_sha256":"34701c63d42a92031bc2b290ea66df68f2a6a1b8a3880a0301c902c8da5cb8b3","source":{"kind":"arxiv","id":"1707.03924","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03924","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03924v1","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03924","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"pith_short_12","alias_value":"GRYBYY6UFKJA","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GRYBYY6UFKJAGG6C","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GRYBYY6U","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GRYBYY6UFKJAGG6CWKIOUZW7ND","target":"record","payload":{"canonical_record":{"source":{"id":"1707.03924","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.SG","submitted_at":"2017-07-12T22:26:50Z","cross_cats_sorted":["math.DG","math.GT"],"title_canon_sha256":"096b38f261cce89e47528e17014f89f14cb34cd1eacef3d57cf0896d09276af0","abstract_canon_sha256":"e9e82a27dadd0ce51e0c687f395a3d0114208f8e8c5b7f74f69933366b3aab77"},"schema_version":"1.0"},"canonical_sha256":"34701c63d42a92031bc2b290ea66df68f2a6a1b8a3880a0301c902c8da5cb8b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:23.106918Z","signature_b64":"vqw0jR3nX+vgPtNhICXju0UN21dZV9hTgxrXuQld7y+uuoSuEWQdD+DsY1z6edGjfOgmEfeauy6UkKCNV1lsDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34701c63d42a92031bc2b290ea66df68f2a6a1b8a3880a0301c902c8da5cb8b3","last_reissued_at":"2026-05-18T00:40:23.106054Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:23.106054Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.03924","source_version":1,"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:40:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zRy+4165kyf/RlIhf4uPZt4S3bSyz0MCno/wOpBYddRlPoq+xebYREluX5PuFNZfw0GL714Cr0tH4sr803+tDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T11:28:28.221836Z"},"content_sha256":"57e07c27063edb2cf30ec2d976808a0bb2158a33c2f035a2c53238d54eafd7a5","schema_version":"1.0","event_id":"sha256:57e07c27063edb2cf30ec2d976808a0bb2158a33c2f035a2c53238d54eafd7a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GRYBYY6UFKJAGG6CWKIOUZW7ND","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Atiyah-Floer Conjecture: a Formulation, a Strategy to Prove and Generalizations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DG","math.GT"],"primary_cat":"math.SG","authors_text":"Aliakbar Daemi, Kenji Fukaya","submitted_at":"2017-07-12T22:26:50Z","abstract_excerpt":"Around 1988, Floer introduced two important theories: instanton Floer homology as invariants of 3-manifolds and Lagrangian Floer homology as invariants of pairs of Lagrangians in symplectic manifolds. Soon after that, Atiyah conjectured that the two theories should be related to each other and Lagrangian Floer homology of certain Lagrangians in the moduli space of flat connections on Riemann surfaces should recover instanton Floer homology. However, the space of flat connections on a Riemann surface is singular and the first step to address this conjecture is to make sense of Lagrangian Floer "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03924","kind":"arxiv","version":1},"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:40:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KynXOnyVflatlfMbVa6IMYQ3ErxdA/mlUAh3z+a6hfL0iRLcIP6AJOZKiplG/vXAHLPlYkGEijszLilfMDOADA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T11:28:28.222485Z"},"content_sha256":"f0925d93252056d18967e3ad369eb140ea9922076ef24c63e4e23d7c3e3f8a87","schema_version":"1.0","event_id":"sha256:f0925d93252056d18967e3ad369eb140ea9922076ef24c63e4e23d7c3e3f8a87"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GRYBYY6UFKJAGG6CWKIOUZW7ND/bundle.json","state_url":"https://pith.science/pith/GRYBYY6UFKJAGG6CWKIOUZW7ND/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GRYBYY6UFKJAGG6CWKIOUZW7ND/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-05-27T11:28:28Z","links":{"resolver":"https://pith.science/pith/GRYBYY6UFKJAGG6CWKIOUZW7ND","bundle":"https://pith.science/pith/GRYBYY6UFKJAGG6CWKIOUZW7ND/bundle.json","state":"https://pith.science/pith/GRYBYY6UFKJAGG6CWKIOUZW7ND/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GRYBYY6UFKJAGG6CWKIOUZW7ND/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GRYBYY6UFKJAGG6CWKIOUZW7ND","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":"e9e82a27dadd0ce51e0c687f395a3d0114208f8e8c5b7f74f69933366b3aab77","cross_cats_sorted":["math.DG","math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.SG","submitted_at":"2017-07-12T22:26:50Z","title_canon_sha256":"096b38f261cce89e47528e17014f89f14cb34cd1eacef3d57cf0896d09276af0"},"schema_version":"1.0","source":{"id":"1707.03924","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03924","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03924v1","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03924","created_at":"2026-05-18T00:40:23Z"},{"alias_kind":"pith_short_12","alias_value":"GRYBYY6UFKJA","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GRYBYY6UFKJAGG6C","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GRYBYY6U","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:f0925d93252056d18967e3ad369eb140ea9922076ef24c63e4e23d7c3e3f8a87","target":"graph","created_at":"2026-05-18T00:40:23Z","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":"Around 1988, Floer introduced two important theories: instanton Floer homology as invariants of 3-manifolds and Lagrangian Floer homology as invariants of pairs of Lagrangians in symplectic manifolds. Soon after that, Atiyah conjectured that the two theories should be related to each other and Lagrangian Floer homology of certain Lagrangians in the moduli space of flat connections on Riemann surfaces should recover instanton Floer homology. However, the space of flat connections on a Riemann surface is singular and the first step to address this conjecture is to make sense of Lagrangian Floer ","authors_text":"Aliakbar Daemi, Kenji Fukaya","cross_cats":["math.DG","math.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.SG","submitted_at":"2017-07-12T22:26:50Z","title":"Atiyah-Floer Conjecture: a Formulation, a Strategy to Prove and Generalizations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03924","kind":"arxiv","version":1},"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:57e07c27063edb2cf30ec2d976808a0bb2158a33c2f035a2c53238d54eafd7a5","target":"record","created_at":"2026-05-18T00:40:23Z","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":"e9e82a27dadd0ce51e0c687f395a3d0114208f8e8c5b7f74f69933366b3aab77","cross_cats_sorted":["math.DG","math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.SG","submitted_at":"2017-07-12T22:26:50Z","title_canon_sha256":"096b38f261cce89e47528e17014f89f14cb34cd1eacef3d57cf0896d09276af0"},"schema_version":"1.0","source":{"id":"1707.03924","kind":"arxiv","version":1}},"canonical_sha256":"34701c63d42a92031bc2b290ea66df68f2a6a1b8a3880a0301c902c8da5cb8b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34701c63d42a92031bc2b290ea66df68f2a6a1b8a3880a0301c902c8da5cb8b3","first_computed_at":"2026-05-18T00:40:23.106054Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:23.106054Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vqw0jR3nX+vgPtNhICXju0UN21dZV9hTgxrXuQld7y+uuoSuEWQdD+DsY1z6edGjfOgmEfeauy6UkKCNV1lsDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:23.106918Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.03924","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:57e07c27063edb2cf30ec2d976808a0bb2158a33c2f035a2c53238d54eafd7a5","sha256:f0925d93252056d18967e3ad369eb140ea9922076ef24c63e4e23d7c3e3f8a87"],"state_sha256":"647acecfa0798090d6a78cb8cf456989cb62ebb261f3d6183343aaf07677ac9c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xqnmRym77q86gj3GnaGWbjHoRQfSuuaN97yNdthoAi6WoRpZMpbNaqcKQUIcnhqr+cQ2JOig7iQrrtKmG285Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T11:28:28.226079Z","bundle_sha256":"d389b33722f1f830b6fadd93010e0d85a8d395d25b56f40c17de47566098a251"}}