{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:3XXJBAKV7LF5FJESDKOPYM6RSJ","short_pith_number":"pith:3XXJBAKV","canonical_record":{"source":{"id":"2011.11763","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-11-23T22:10:08Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"392365c9a4d74666723d59f1fc8c7d9c51f3608e6299a1501347c7b454b94f32","abstract_canon_sha256":"df50ba95843e2547559160a0b928f09fa7773bc05e607a53fc22154dbe3f5d50"},"schema_version":"1.0"},"canonical_sha256":"ddee908155facbd2a4921a9cfc33d19275fe71f36521193a707b458fbd591930","source":{"kind":"arxiv","id":"2011.11763","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2011.11763","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"arxiv_version","alias_value":"2011.11763v3","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.11763","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"pith_short_12","alias_value":"3XXJBAKV7LF5","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"pith_short_16","alias_value":"3XXJBAKV7LF5FJES","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"pith_short_8","alias_value":"3XXJBAKV","created_at":"2026-07-05T03:11:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:3XXJBAKV7LF5FJESDKOPYM6RSJ","target":"record","payload":{"canonical_record":{"source":{"id":"2011.11763","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-11-23T22:10:08Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"392365c9a4d74666723d59f1fc8c7d9c51f3608e6299a1501347c7b454b94f32","abstract_canon_sha256":"df50ba95843e2547559160a0b928f09fa7773bc05e607a53fc22154dbe3f5d50"},"schema_version":"1.0"},"canonical_sha256":"ddee908155facbd2a4921a9cfc33d19275fe71f36521193a707b458fbd591930","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:11:26.926991Z","signature_b64":"EJFCFdcL0YukkaCsipeRsLNUzIkXDIscKgbCS9eOwdK1hybXRoE4aei6IKLh57BNWkIxpn+Z8fwf1SUfv4MJCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ddee908155facbd2a4921a9cfc33d19275fe71f36521193a707b458fbd591930","last_reissued_at":"2026-07-05T03:11:26.926574Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:11:26.926574Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2011.11763","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-07-05T03:11:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IZ+WWFGf2vLJJT0m2ChCZkYCVKZncL6U21cm9NbD0vbNjZWfYdR4mGFraP64nLYkBDgfi7gOgkQWBjewp4xdCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:08:56.250756Z"},"content_sha256":"6a6bd51f9db53c55c8d4765d6d9070cc7893158b38e7df377672d6b3be856aff","schema_version":"1.0","event_id":"sha256:6a6bd51f9db53c55c8d4765d6d9070cc7893158b38e7df377672d6b3be856aff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:3XXJBAKV7LF5FJESDKOPYM6RSJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Reads-From Equivalence for the TSO and PSO Memory Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Andreas Pavlogiannis, Krishnendu Chatterjee, Truc Lam Bui, Tushar Gautam, Viktor Toman","submitted_at":"2020-11-23T22:10:08Z","abstract_excerpt":"The verification of concurrent programs remains an open challenge due to the non-determinism in inter-process communication. One algorithmic problem in this challenge is the consistency verification of concurrent executions. Consistency verification under a reads-from map allows to compute the reads-from (RF) equivalence between concurrent traces, with direct applications to areas such as Stateless Model Checking (SMC). The RF equivalence was recently shown to be coarser than the standard Mazurkiewicz equivalence, leading to impressive scalability improvements for SMC under SC (sequential cons"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.11763","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2011.11763/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T03:11:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hE6OhzSIaVvfHHh7jsBtDwmP3RQj3iEXG+FA/M5g4nX34qqLe05/Q8mLLpuT3z9RrQOXAQzaolDrForILUU+BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:08:56.251377Z"},"content_sha256":"f15f2d78a0fd16fe0abf7fede7e075ad50ef423bd0c25813361d404914453c09","schema_version":"1.0","event_id":"sha256:f15f2d78a0fd16fe0abf7fede7e075ad50ef423bd0c25813361d404914453c09"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3XXJBAKV7LF5FJESDKOPYM6RSJ/bundle.json","state_url":"https://pith.science/pith/3XXJBAKV7LF5FJESDKOPYM6RSJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3XXJBAKV7LF5FJESDKOPYM6RSJ/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-08-06T15:08:56Z","links":{"resolver":"https://pith.science/pith/3XXJBAKV7LF5FJESDKOPYM6RSJ","bundle":"https://pith.science/pith/3XXJBAKV7LF5FJESDKOPYM6RSJ/bundle.json","state":"https://pith.science/pith/3XXJBAKV7LF5FJESDKOPYM6RSJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3XXJBAKV7LF5FJESDKOPYM6RSJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:3XXJBAKV7LF5FJESDKOPYM6RSJ","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":"df50ba95843e2547559160a0b928f09fa7773bc05e607a53fc22154dbe3f5d50","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-11-23T22:10:08Z","title_canon_sha256":"392365c9a4d74666723d59f1fc8c7d9c51f3608e6299a1501347c7b454b94f32"},"schema_version":"1.0","source":{"id":"2011.11763","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2011.11763","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"arxiv_version","alias_value":"2011.11763v3","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.11763","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"pith_short_12","alias_value":"3XXJBAKV7LF5","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"pith_short_16","alias_value":"3XXJBAKV7LF5FJES","created_at":"2026-07-05T03:11:26Z"},{"alias_kind":"pith_short_8","alias_value":"3XXJBAKV","created_at":"2026-07-05T03:11:26Z"}],"graph_snapshots":[{"event_id":"sha256:f15f2d78a0fd16fe0abf7fede7e075ad50ef423bd0c25813361d404914453c09","target":"graph","created_at":"2026-07-05T03:11:26Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2011.11763/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The verification of concurrent programs remains an open challenge due to the non-determinism in inter-process communication. One algorithmic problem in this challenge is the consistency verification of concurrent executions. Consistency verification under a reads-from map allows to compute the reads-from (RF) equivalence between concurrent traces, with direct applications to areas such as Stateless Model Checking (SMC). The RF equivalence was recently shown to be coarser than the standard Mazurkiewicz equivalence, leading to impressive scalability improvements for SMC under SC (sequential cons","authors_text":"Andreas Pavlogiannis, Krishnendu Chatterjee, Truc Lam Bui, Tushar Gautam, Viktor Toman","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-11-23T22:10:08Z","title":"The Reads-From Equivalence for the TSO and PSO Memory Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.11763","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:6a6bd51f9db53c55c8d4765d6d9070cc7893158b38e7df377672d6b3be856aff","target":"record","created_at":"2026-07-05T03:11:26Z","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":"df50ba95843e2547559160a0b928f09fa7773bc05e607a53fc22154dbe3f5d50","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-11-23T22:10:08Z","title_canon_sha256":"392365c9a4d74666723d59f1fc8c7d9c51f3608e6299a1501347c7b454b94f32"},"schema_version":"1.0","source":{"id":"2011.11763","kind":"arxiv","version":3}},"canonical_sha256":"ddee908155facbd2a4921a9cfc33d19275fe71f36521193a707b458fbd591930","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ddee908155facbd2a4921a9cfc33d19275fe71f36521193a707b458fbd591930","first_computed_at":"2026-07-05T03:11:26.926574Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:11:26.926574Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EJFCFdcL0YukkaCsipeRsLNUzIkXDIscKgbCS9eOwdK1hybXRoE4aei6IKLh57BNWkIxpn+Z8fwf1SUfv4MJCg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:11:26.926991Z","signed_message":"canonical_sha256_bytes"},"source_id":"2011.11763","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6a6bd51f9db53c55c8d4765d6d9070cc7893158b38e7df377672d6b3be856aff","sha256:f15f2d78a0fd16fe0abf7fede7e075ad50ef423bd0c25813361d404914453c09"],"state_sha256":"116c9ccdf11ca5cc89c5aafef9f46b809010d4b754e3a4d9d020c9d5bdb6b70d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nPpGJcbqlwJTM6F2CfIWUWyGptfKgjaprejDGf7cXX0UIfUtj5PPhUHtE+wLCuQabBuxWpzfM0x9Fymuno28Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T15:08:56.256629Z","bundle_sha256":"aadf801d172284d13195230b5ec2c2d129adc339fb27868f60b65ab1f6d23f2b"}}