{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:HQ6S53X7TCXZCOGLF5TEXFBS2E","short_pith_number":"pith:HQ6S53X7","canonical_record":{"source":{"id":"1111.1170","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-11-04T16:15:14Z","cross_cats_sorted":[],"title_canon_sha256":"eabf9ea37eae3fedabe9d6e5f736bef2b947da8151fecfa2443db914c1b6526e","abstract_canon_sha256":"c5a6c9d7373980057a8410144fa293686a90a482d45b32276b93898ae1226064"},"schema_version":"1.0"},"canonical_sha256":"3c3d2eeeff98af9138cb2f664b9432d10fe0fe933cdc5f6f1aca7e1cf0b92bb6","source":{"kind":"arxiv","id":"1111.1170","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.1170","created_at":"2026-05-18T02:21:34Z"},{"alias_kind":"arxiv_version","alias_value":"1111.1170v3","created_at":"2026-05-18T02:21:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.1170","created_at":"2026-05-18T02:21:34Z"},{"alias_kind":"pith_short_12","alias_value":"HQ6S53X7TCXZ","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"HQ6S53X7TCXZCOGL","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"HQ6S53X7","created_at":"2026-05-18T12:26:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:HQ6S53X7TCXZCOGLF5TEXFBS2E","target":"record","payload":{"canonical_record":{"source":{"id":"1111.1170","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-11-04T16:15:14Z","cross_cats_sorted":[],"title_canon_sha256":"eabf9ea37eae3fedabe9d6e5f736bef2b947da8151fecfa2443db914c1b6526e","abstract_canon_sha256":"c5a6c9d7373980057a8410144fa293686a90a482d45b32276b93898ae1226064"},"schema_version":"1.0"},"canonical_sha256":"3c3d2eeeff98af9138cb2f664b9432d10fe0fe933cdc5f6f1aca7e1cf0b92bb6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:21:34.902791Z","signature_b64":"W06qQs5sVj+mCnwNZEQqGAqvTN8T3fr6GkvyjazG5TpHj9PuQbNaZaAIQneR12vkjF9TBx0E+qDXRRbO9eB7Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c3d2eeeff98af9138cb2f664b9432d10fe0fe933cdc5f6f1aca7e1cf0b92bb6","last_reissued_at":"2026-05-18T02:21:34.902214Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:21:34.902214Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1111.1170","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:21:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IuEKNWGHIo5IqMTOWdWQFIGgfH5ZkG7Pwg4+qFPPvMA6hOhvLf+Nnvo1sQWengu9Hvr21cvYK4xlXrgFzvnKCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T07:41:01.803874Z"},"content_sha256":"0425a9d0d212582dab3548c5a66316a45c44879f19ff73d55127b764f654d172","schema_version":"1.0","event_id":"sha256:0425a9d0d212582dab3548c5a66316a45c44879f19ff73d55127b764f654d172"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:HQ6S53X7TCXZCOGLF5TEXFBS2E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Record-replay debugging for the SCOOP concurrency model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Benjamin Morandi, Bertrand Meyer, Sebastian Nanz","submitted_at":"2011-11-04T16:15:14Z","abstract_excerpt":"To support developers in writing reliable and efficient concurrent programs, novel concurrent programming abstractions have been proposed in recent years. Programming with such abstractions requires new analysis tools because the execution semantics often differs considerably from established models. We present a record-replay technique for programs written in SCOOP, an object-oriented programming model for concurrency. The resulting tool enables developers to reproduce the nondeterministic execution of a concurrent program, a necessary prerequisite for debugging and testing."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.1170","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:21:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HF7tmbyDntuNubX8VXPakTDURy+xhzhPGKc+sJY+hNObfHXYNWXzqNhCdDR7Fzm4vRQhXb5JMVAuWu2ATKfcCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T07:41:01.804213Z"},"content_sha256":"f6864ab7bbc7acf0db7c0db1c4787645faae32b54a0e004a9604818ddf09853d","schema_version":"1.0","event_id":"sha256:f6864ab7bbc7acf0db7c0db1c4787645faae32b54a0e004a9604818ddf09853d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HQ6S53X7TCXZCOGLF5TEXFBS2E/bundle.json","state_url":"https://pith.science/pith/HQ6S53X7TCXZCOGLF5TEXFBS2E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HQ6S53X7TCXZCOGLF5TEXFBS2E/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-28T07:41:01Z","links":{"resolver":"https://pith.science/pith/HQ6S53X7TCXZCOGLF5TEXFBS2E","bundle":"https://pith.science/pith/HQ6S53X7TCXZCOGLF5TEXFBS2E/bundle.json","state":"https://pith.science/pith/HQ6S53X7TCXZCOGLF5TEXFBS2E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HQ6S53X7TCXZCOGLF5TEXFBS2E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:HQ6S53X7TCXZCOGLF5TEXFBS2E","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":"c5a6c9d7373980057a8410144fa293686a90a482d45b32276b93898ae1226064","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-11-04T16:15:14Z","title_canon_sha256":"eabf9ea37eae3fedabe9d6e5f736bef2b947da8151fecfa2443db914c1b6526e"},"schema_version":"1.0","source":{"id":"1111.1170","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.1170","created_at":"2026-05-18T02:21:34Z"},{"alias_kind":"arxiv_version","alias_value":"1111.1170v3","created_at":"2026-05-18T02:21:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.1170","created_at":"2026-05-18T02:21:34Z"},{"alias_kind":"pith_short_12","alias_value":"HQ6S53X7TCXZ","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"HQ6S53X7TCXZCOGL","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"HQ6S53X7","created_at":"2026-05-18T12:26:30Z"}],"graph_snapshots":[{"event_id":"sha256:f6864ab7bbc7acf0db7c0db1c4787645faae32b54a0e004a9604818ddf09853d","target":"graph","created_at":"2026-05-18T02:21:34Z","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":"To support developers in writing reliable and efficient concurrent programs, novel concurrent programming abstractions have been proposed in recent years. Programming with such abstractions requires new analysis tools because the execution semantics often differs considerably from established models. We present a record-replay technique for programs written in SCOOP, an object-oriented programming model for concurrency. The resulting tool enables developers to reproduce the nondeterministic execution of a concurrent program, a necessary prerequisite for debugging and testing.","authors_text":"Benjamin Morandi, Bertrand Meyer, Sebastian Nanz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-11-04T16:15:14Z","title":"Record-replay debugging for the SCOOP concurrency model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.1170","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:0425a9d0d212582dab3548c5a66316a45c44879f19ff73d55127b764f654d172","target":"record","created_at":"2026-05-18T02:21:34Z","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":"c5a6c9d7373980057a8410144fa293686a90a482d45b32276b93898ae1226064","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-11-04T16:15:14Z","title_canon_sha256":"eabf9ea37eae3fedabe9d6e5f736bef2b947da8151fecfa2443db914c1b6526e"},"schema_version":"1.0","source":{"id":"1111.1170","kind":"arxiv","version":3}},"canonical_sha256":"3c3d2eeeff98af9138cb2f664b9432d10fe0fe933cdc5f6f1aca7e1cf0b92bb6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c3d2eeeff98af9138cb2f664b9432d10fe0fe933cdc5f6f1aca7e1cf0b92bb6","first_computed_at":"2026-05-18T02:21:34.902214Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:21:34.902214Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W06qQs5sVj+mCnwNZEQqGAqvTN8T3fr6GkvyjazG5TpHj9PuQbNaZaAIQneR12vkjF9TBx0E+qDXRRbO9eB7Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T02:21:34.902791Z","signed_message":"canonical_sha256_bytes"},"source_id":"1111.1170","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0425a9d0d212582dab3548c5a66316a45c44879f19ff73d55127b764f654d172","sha256:f6864ab7bbc7acf0db7c0db1c4787645faae32b54a0e004a9604818ddf09853d"],"state_sha256":"7872203ca3b262882e028047741c6eb64e62872248fbd103facda7695418115b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x428OlomVTjWcAj1VMMzZYoLwUv8q1FCWn33xgpY3zkd+TVmMDi021ku1riDluUHBznw6uNFSNRb+yaB6+vTBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T07:41:01.805982Z","bundle_sha256":"099879d216068a5561b5634b1b78d4ea2edc4607b0d196ee2d329efbf68216c4"}}