{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:KYYYMD57E5AKVTLBRTDT7MZ2IF","short_pith_number":"pith:KYYYMD57","canonical_record":{"source":{"id":"1211.6315","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-11-27T14:31:06Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"eb83e0f5e9dce786c46b47fc91c4d475416c4360819372c1e90d0fda8506a092","abstract_canon_sha256":"44fd19e4f458fa65b1f2d25cb510a7a8144840f19608a73e5599d5439b93aa83"},"schema_version":"1.0"},"canonical_sha256":"5631860fbf2740aacd618cc73fb33a4163a762b97be8ce0445086ba81737a486","source":{"kind":"arxiv","id":"1211.6315","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.6315","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"arxiv_version","alias_value":"1211.6315v5","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.6315","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"pith_short_12","alias_value":"KYYYMD57E5AK","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"KYYYMD57E5AKVTLB","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"KYYYMD57","created_at":"2026-05-18T12:27:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:KYYYMD57E5AKVTLBRTDT7MZ2IF","target":"record","payload":{"canonical_record":{"source":{"id":"1211.6315","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-11-27T14:31:06Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"eb83e0f5e9dce786c46b47fc91c4d475416c4360819372c1e90d0fda8506a092","abstract_canon_sha256":"44fd19e4f458fa65b1f2d25cb510a7a8144840f19608a73e5599d5439b93aa83"},"schema_version":"1.0"},"canonical_sha256":"5631860fbf2740aacd618cc73fb33a4163a762b97be8ce0445086ba81737a486","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:37.183190Z","signature_b64":"hANzXCUJRcJ7oOhvmQhX/0ljZ0t0kW6xLTDWtzrewHxrcVRhywjTsBNZaDwGM7rkCpH0sKsTJBEthh33yPkeDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5631860fbf2740aacd618cc73fb33a4163a762b97be8ce0445086ba81737a486","last_reissued_at":"2026-05-18T03:10:37.182670Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:37.182670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.6315","source_version":5,"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:10:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"972n83Iy0EW1+mD7kNHLbrhzTXljNmy1wz+9nzvBXjQMZJpd5D30JSj7VuF6mSA9kGgEU3CD4R+6Lz1EoXMbAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T17:23:27.037754Z"},"content_sha256":"d0e2ead0f630202094a4dc7abc574b2cc0990638878832a268d11808c60a60e1","schema_version":"1.0","event_id":"sha256:d0e2ead0f630202094a4dc7abc574b2cc0990638878832a268d11808c60a60e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:KYYYMD57E5AKVTLBRTDT7MZ2IF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Non-Interference and Local Correctness in Transactional Memory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.DC","authors_text":"Petr Kuznetsov, Sathya Peri","submitted_at":"2012-11-27T14:31:06Z","abstract_excerpt":"Transactional memory promises to make concurrent programming tractable and efficient by allowing the user to assemble sequences of actions in atomic transactions with all-or-nothing semantics. It is believed that, by its very virtue, transactional memory must ensure that all committed transactions constitute a serial execution respecting the real-time order. In contrast, aborted or incomplete transactions should not \"take effect.\" But what does \"not taking effect\" mean exactly?\n  It seems natural to expect that aborted or incomplete transactions do not appear in the global serial execution, an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.6315","kind":"arxiv","version":5},"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:10:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bp0w01Yateoo2hmFWtxpyXUtMNDzMnMRB9qlSLmSK0bxYz5ZtzCGsV6Rh3HyXgKUM8e4+h5IbVvRbNouCePNAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T17:23:27.038379Z"},"content_sha256":"32b577b4aeafe58bf2381abb3f36e4b0fdef0199ddc8ecc9573cc8bf55e2a2dc","schema_version":"1.0","event_id":"sha256:32b577b4aeafe58bf2381abb3f36e4b0fdef0199ddc8ecc9573cc8bf55e2a2dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KYYYMD57E5AKVTLBRTDT7MZ2IF/bundle.json","state_url":"https://pith.science/pith/KYYYMD57E5AKVTLBRTDT7MZ2IF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KYYYMD57E5AKVTLBRTDT7MZ2IF/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-25T17:23:27Z","links":{"resolver":"https://pith.science/pith/KYYYMD57E5AKVTLBRTDT7MZ2IF","bundle":"https://pith.science/pith/KYYYMD57E5AKVTLBRTDT7MZ2IF/bundle.json","state":"https://pith.science/pith/KYYYMD57E5AKVTLBRTDT7MZ2IF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KYYYMD57E5AKVTLBRTDT7MZ2IF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:KYYYMD57E5AKVTLBRTDT7MZ2IF","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":"44fd19e4f458fa65b1f2d25cb510a7a8144840f19608a73e5599d5439b93aa83","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-11-27T14:31:06Z","title_canon_sha256":"eb83e0f5e9dce786c46b47fc91c4d475416c4360819372c1e90d0fda8506a092"},"schema_version":"1.0","source":{"id":"1211.6315","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.6315","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"arxiv_version","alias_value":"1211.6315v5","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.6315","created_at":"2026-05-18T03:10:37Z"},{"alias_kind":"pith_short_12","alias_value":"KYYYMD57E5AK","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"KYYYMD57E5AKVTLB","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"KYYYMD57","created_at":"2026-05-18T12:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:32b577b4aeafe58bf2381abb3f36e4b0fdef0199ddc8ecc9573cc8bf55e2a2dc","target":"graph","created_at":"2026-05-18T03:10:37Z","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":"Transactional memory promises to make concurrent programming tractable and efficient by allowing the user to assemble sequences of actions in atomic transactions with all-or-nothing semantics. It is believed that, by its very virtue, transactional memory must ensure that all committed transactions constitute a serial execution respecting the real-time order. In contrast, aborted or incomplete transactions should not \"take effect.\" But what does \"not taking effect\" mean exactly?\n  It seems natural to expect that aborted or incomplete transactions do not appear in the global serial execution, an","authors_text":"Petr Kuznetsov, Sathya Peri","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-11-27T14:31:06Z","title":"Non-Interference and Local Correctness in Transactional Memory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.6315","kind":"arxiv","version":5},"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:d0e2ead0f630202094a4dc7abc574b2cc0990638878832a268d11808c60a60e1","target":"record","created_at":"2026-05-18T03:10:37Z","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":"44fd19e4f458fa65b1f2d25cb510a7a8144840f19608a73e5599d5439b93aa83","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2012-11-27T14:31:06Z","title_canon_sha256":"eb83e0f5e9dce786c46b47fc91c4d475416c4360819372c1e90d0fda8506a092"},"schema_version":"1.0","source":{"id":"1211.6315","kind":"arxiv","version":5}},"canonical_sha256":"5631860fbf2740aacd618cc73fb33a4163a762b97be8ce0445086ba81737a486","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5631860fbf2740aacd618cc73fb33a4163a762b97be8ce0445086ba81737a486","first_computed_at":"2026-05-18T03:10:37.182670Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:37.182670Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hANzXCUJRcJ7oOhvmQhX/0ljZ0t0kW6xLTDWtzrewHxrcVRhywjTsBNZaDwGM7rkCpH0sKsTJBEthh33yPkeDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:37.183190Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.6315","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d0e2ead0f630202094a4dc7abc574b2cc0990638878832a268d11808c60a60e1","sha256:32b577b4aeafe58bf2381abb3f36e4b0fdef0199ddc8ecc9573cc8bf55e2a2dc"],"state_sha256":"f8eeee7cdc0afafaf6269eb0c880925813ad32f775b8dc74b3a3a5517ffcbeaf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+d6eLUODE+9SY+JosI7c2EqWAh1KItf6QZom+4uGX2kxp6WdN6Kj6EFQDALc1mrctK4nXPbUPdj745rpPSajBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T17:23:27.045006Z","bundle_sha256":"5f844393d230efe8e7187fcaafcc750a250403028aa0ebb39966e614922670fa"}}