{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:F76OUOVNA4LUEOUQ573YE3ELAT","short_pith_number":"pith:F76OUOVN","canonical_record":{"source":{"id":"1309.3324","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-12T22:37:10Z","cross_cats_sorted":[],"title_canon_sha256":"c892245a27acf7917a1927969e335bc98363e9d4afbe9ae9e9705cbcb72913b2","abstract_canon_sha256":"c39b6081403f6a911c14ae766a47bd8a7687af93510c28883dc115e7b2926c12"},"schema_version":"1.0"},"canonical_sha256":"2ffcea3aad0717423a90eff7826c8b04db9173a4ea96b9aa6e7abde4b1b757c6","source":{"kind":"arxiv","id":"1309.3324","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.3324","created_at":"2026-05-18T03:06:02Z"},{"alias_kind":"arxiv_version","alias_value":"1309.3324v2","created_at":"2026-05-18T03:06:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.3324","created_at":"2026-05-18T03:06:02Z"},{"alias_kind":"pith_short_12","alias_value":"F76OUOVNA4LU","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"F76OUOVNA4LUEOUQ","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"F76OUOVN","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:F76OUOVNA4LUEOUQ573YE3ELAT","target":"record","payload":{"canonical_record":{"source":{"id":"1309.3324","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-12T22:37:10Z","cross_cats_sorted":[],"title_canon_sha256":"c892245a27acf7917a1927969e335bc98363e9d4afbe9ae9e9705cbcb72913b2","abstract_canon_sha256":"c39b6081403f6a911c14ae766a47bd8a7687af93510c28883dc115e7b2926c12"},"schema_version":"1.0"},"canonical_sha256":"2ffcea3aad0717423a90eff7826c8b04db9173a4ea96b9aa6e7abde4b1b757c6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:02.933863Z","signature_b64":"sDFBiq/OCjkS0WHcLKsiboO/ZokhGJybPnpk0I2/l3EoQtAdb3MS6KKCFm0Rtp53RYNN7OErIibC1taPVLrPCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ffcea3aad0717423a90eff7826c8b04db9173a4ea96b9aa6e7abde4b1b757c6","last_reissued_at":"2026-05-18T03:06:02.933432Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:02.933432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.3324","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:06:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9Z/nXuS0FwWpWVBWnZBStrPbGQLgsPCLiVo6c1UIYD7OL0QytgCMg/X3w76ZU2Z7bqd6yVV77Zd2fD5sVJXoBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T02:37:59.103933Z"},"content_sha256":"8c8f8411f5d3b3f2ac9bbe9e1f13e250afd7ed164e76e99cb2e601e7733c0f2a","schema_version":"1.0","event_id":"sha256:8c8f8411f5d3b3f2ac9bbe9e1f13e250afd7ed164e76e99cb2e601e7733c0f2a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:F76OUOVNA4LUEOUQ573YE3ELAT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Blazes: Coordination Analysis for Distributed Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"David Maier, Joseph M. Hellerstein, Neil Conway, Peter Alvaro","submitted_at":"2013-09-12T22:37:10Z","abstract_excerpt":"Distributed consistency is perhaps the most discussed topic in distributed systems today. Coordination protocols can ensure consistency, but in practice they cause undesirable performance unless used judiciously. Scalable distributed architectures avoid coordination whenever possible, but under-coordinated systems can exhibit behavioral anomalies under fault, which are often extremely difficult to debug. This raises significant challenges for distributed system architects and developers. In this paper we present Blazes, a cross-platform program analysis framework that (a) identifies program lo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.3324","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:06:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hxRPgcrFsta1V2dLqPpGva+j11TSwrc4lwMDOVZOb/+ueSDYG3G1HGaLCAa8hQOOogOgpvS2Bv2fFmabaBszBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T02:37:59.104288Z"},"content_sha256":"1b04ea1b4c31e2fd482bb171596f6c78f580ec4cb7bd3655b3c0aa5c07f0cb2c","schema_version":"1.0","event_id":"sha256:1b04ea1b4c31e2fd482bb171596f6c78f580ec4cb7bd3655b3c0aa5c07f0cb2c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F76OUOVNA4LUEOUQ573YE3ELAT/bundle.json","state_url":"https://pith.science/pith/F76OUOVNA4LUEOUQ573YE3ELAT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F76OUOVNA4LUEOUQ573YE3ELAT/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-23T02:37:59Z","links":{"resolver":"https://pith.science/pith/F76OUOVNA4LUEOUQ573YE3ELAT","bundle":"https://pith.science/pith/F76OUOVNA4LUEOUQ573YE3ELAT/bundle.json","state":"https://pith.science/pith/F76OUOVNA4LUEOUQ573YE3ELAT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F76OUOVNA4LUEOUQ573YE3ELAT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:F76OUOVNA4LUEOUQ573YE3ELAT","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":"c39b6081403f6a911c14ae766a47bd8a7687af93510c28883dc115e7b2926c12","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-12T22:37:10Z","title_canon_sha256":"c892245a27acf7917a1927969e335bc98363e9d4afbe9ae9e9705cbcb72913b2"},"schema_version":"1.0","source":{"id":"1309.3324","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.3324","created_at":"2026-05-18T03:06:02Z"},{"alias_kind":"arxiv_version","alias_value":"1309.3324v2","created_at":"2026-05-18T03:06:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.3324","created_at":"2026-05-18T03:06:02Z"},{"alias_kind":"pith_short_12","alias_value":"F76OUOVNA4LU","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"F76OUOVNA4LUEOUQ","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"F76OUOVN","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:1b04ea1b4c31e2fd482bb171596f6c78f580ec4cb7bd3655b3c0aa5c07f0cb2c","target":"graph","created_at":"2026-05-18T03:06:02Z","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":"Distributed consistency is perhaps the most discussed topic in distributed systems today. Coordination protocols can ensure consistency, but in practice they cause undesirable performance unless used judiciously. Scalable distributed architectures avoid coordination whenever possible, but under-coordinated systems can exhibit behavioral anomalies under fault, which are often extremely difficult to debug. This raises significant challenges for distributed system architects and developers. In this paper we present Blazes, a cross-platform program analysis framework that (a) identifies program lo","authors_text":"David Maier, Joseph M. Hellerstein, Neil Conway, Peter Alvaro","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-12T22:37:10Z","title":"Blazes: Coordination Analysis for Distributed Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.3324","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:8c8f8411f5d3b3f2ac9bbe9e1f13e250afd7ed164e76e99cb2e601e7733c0f2a","target":"record","created_at":"2026-05-18T03:06:02Z","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":"c39b6081403f6a911c14ae766a47bd8a7687af93510c28883dc115e7b2926c12","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-09-12T22:37:10Z","title_canon_sha256":"c892245a27acf7917a1927969e335bc98363e9d4afbe9ae9e9705cbcb72913b2"},"schema_version":"1.0","source":{"id":"1309.3324","kind":"arxiv","version":2}},"canonical_sha256":"2ffcea3aad0717423a90eff7826c8b04db9173a4ea96b9aa6e7abde4b1b757c6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2ffcea3aad0717423a90eff7826c8b04db9173a4ea96b9aa6e7abde4b1b757c6","first_computed_at":"2026-05-18T03:06:02.933432Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:06:02.933432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sDFBiq/OCjkS0WHcLKsiboO/ZokhGJybPnpk0I2/l3EoQtAdb3MS6KKCFm0Rtp53RYNN7OErIibC1taPVLrPCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:06:02.933863Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.3324","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c8f8411f5d3b3f2ac9bbe9e1f13e250afd7ed164e76e99cb2e601e7733c0f2a","sha256:1b04ea1b4c31e2fd482bb171596f6c78f580ec4cb7bd3655b3c0aa5c07f0cb2c"],"state_sha256":"663e6029c0aded1fbf34aacb57ac7472a957e04800eaa6e54c9bac155754f8ca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VKmWRWWQHGPkhE1tmPZ6StTV7iLtdvbyGNh77QfvX5tIzxOeWNVJMamizvV78jdpBCw+Gn26B5KfjDLJ/v+ZDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T02:37:59.106220Z","bundle_sha256":"0f72d52fb79a9ac33bc1de66e8ab380dc8258b0bccf4145776240866a8b1466a"}}