{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:JKSJPANMJG47M2LPFPJBKNLTCM","short_pith_number":"pith:JKSJPANM","canonical_record":{"source":{"id":"1806.05300","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-06-13T23:34:00Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1b527e68affab5d833be54f58e556d9b6462f0c2696ec00b6689a578c8ae5fd5","abstract_canon_sha256":"e6c9659b48b1c5c36df85a50a4689193242b8f8b409b6151aca3905c5522d0ae"},"schema_version":"1.0"},"canonical_sha256":"4aa49781ac49b9f6696f2bd2153573132bececb196dde4e792f5672a62c6e646","source":{"kind":"arxiv","id":"1806.05300","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05300","created_at":"2026-05-18T00:13:16Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05300v1","created_at":"2026-05-18T00:13:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05300","created_at":"2026-05-18T00:13:16Z"},{"alias_kind":"pith_short_12","alias_value":"JKSJPANMJG47","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JKSJPANMJG47M2LP","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JKSJPANM","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:JKSJPANMJG47M2LPFPJBKNLTCM","target":"record","payload":{"canonical_record":{"source":{"id":"1806.05300","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-06-13T23:34:00Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1b527e68affab5d833be54f58e556d9b6462f0c2696ec00b6689a578c8ae5fd5","abstract_canon_sha256":"e6c9659b48b1c5c36df85a50a4689193242b8f8b409b6151aca3905c5522d0ae"},"schema_version":"1.0"},"canonical_sha256":"4aa49781ac49b9f6696f2bd2153573132bececb196dde4e792f5672a62c6e646","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:13:16.452120Z","signature_b64":"J91pINPf7Ty155CFY3yys/TiWITMzcr0kDNPb0oLkQjLsbOtIEh8Vsjpb4kM0JfEVNWGusMA1rRtHOWOZy5/Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4aa49781ac49b9f6696f2bd2153573132bececb196dde4e792f5672a62c6e646","last_reissued_at":"2026-05-18T00:13:16.451353Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:13:16.451353Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.05300","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:13:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1AE7Ob8Lb1oJuRMz1U2oNlVfSt26lK8xPJjnjM/ftyOWcfWPFDPcfqKn1kghsidTS2y7W3n/IZwIUgI1db8qBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T13:48:39.317265Z"},"content_sha256":"537bb71b28515f6e3557acb27495de318d443c48ddfb4e50483155740b84376a","schema_version":"1.0","event_id":"sha256:537bb71b28515f6e3557acb27495de318d443c48ddfb4e50483155740b84376a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:JKSJPANMJG47M2LPFPJBKNLTCM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Graphical Interactive Debugger for Distributed Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.DC","authors_text":"Doug Woos, Michael D. Ernst, Thomas E. Anderson, Zachary Tatlock","submitted_at":"2018-06-13T23:34:00Z","abstract_excerpt":"Designing and debugging distributed systems is notoriously difficult. The correctness of a distributed system is largely determined by its handling of failure scenarios. The sequence of events leading to a bug can be long and complex, and it is likely to include message reorderings and failures. On single-node systems, interactive debuggers enable stepping through an execution of the program, but they lack the ability to easily simulate failure scenarios and control the order in which messages are delivered.\n  Oddity is a graphical, interactive debugger for distributed systems. It brings the p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05300","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:13:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fzV7thdZ2YCL4AmFsp9i4DL/ovVmpKTRfEG0ULRbrA60OcUIDUfLoAHNAyG57XMtS6pXmIiSlIewXeGT/J/4Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T13:48:39.317797Z"},"content_sha256":"883fdd11e76ae2b34ea104a15f9eaa42a91734ace970cdf1469c4ad8c729c543","schema_version":"1.0","event_id":"sha256:883fdd11e76ae2b34ea104a15f9eaa42a91734ace970cdf1469c4ad8c729c543"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/bundle.json","state_url":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JKSJPANMJG47M2LPFPJBKNLTCM/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-27T13:48:39Z","links":{"resolver":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM","bundle":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/bundle.json","state":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JKSJPANMJG47M2LPFPJBKNLTCM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:JKSJPANMJG47M2LPFPJBKNLTCM","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":"e6c9659b48b1c5c36df85a50a4689193242b8f8b409b6151aca3905c5522d0ae","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-06-13T23:34:00Z","title_canon_sha256":"1b527e68affab5d833be54f58e556d9b6462f0c2696ec00b6689a578c8ae5fd5"},"schema_version":"1.0","source":{"id":"1806.05300","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05300","created_at":"2026-05-18T00:13:16Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05300v1","created_at":"2026-05-18T00:13:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05300","created_at":"2026-05-18T00:13:16Z"},{"alias_kind":"pith_short_12","alias_value":"JKSJPANMJG47","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JKSJPANMJG47M2LP","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JKSJPANM","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:883fdd11e76ae2b34ea104a15f9eaa42a91734ace970cdf1469c4ad8c729c543","target":"graph","created_at":"2026-05-18T00:13:16Z","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":"Designing and debugging distributed systems is notoriously difficult. The correctness of a distributed system is largely determined by its handling of failure scenarios. The sequence of events leading to a bug can be long and complex, and it is likely to include message reorderings and failures. On single-node systems, interactive debuggers enable stepping through an execution of the program, but they lack the ability to easily simulate failure scenarios and control the order in which messages are delivered.\n  Oddity is a graphical, interactive debugger for distributed systems. It brings the p","authors_text":"Doug Woos, Michael D. Ernst, Thomas E. Anderson, Zachary Tatlock","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-06-13T23:34:00Z","title":"A Graphical Interactive Debugger for Distributed Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05300","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:537bb71b28515f6e3557acb27495de318d443c48ddfb4e50483155740b84376a","target":"record","created_at":"2026-05-18T00:13:16Z","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":"e6c9659b48b1c5c36df85a50a4689193242b8f8b409b6151aca3905c5522d0ae","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-06-13T23:34:00Z","title_canon_sha256":"1b527e68affab5d833be54f58e556d9b6462f0c2696ec00b6689a578c8ae5fd5"},"schema_version":"1.0","source":{"id":"1806.05300","kind":"arxiv","version":1}},"canonical_sha256":"4aa49781ac49b9f6696f2bd2153573132bececb196dde4e792f5672a62c6e646","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4aa49781ac49b9f6696f2bd2153573132bececb196dde4e792f5672a62c6e646","first_computed_at":"2026-05-18T00:13:16.451353Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:16.451353Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J91pINPf7Ty155CFY3yys/TiWITMzcr0kDNPb0oLkQjLsbOtIEh8Vsjpb4kM0JfEVNWGusMA1rRtHOWOZy5/Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:16.452120Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.05300","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:537bb71b28515f6e3557acb27495de318d443c48ddfb4e50483155740b84376a","sha256:883fdd11e76ae2b34ea104a15f9eaa42a91734ace970cdf1469c4ad8c729c543"],"state_sha256":"9cd45c08ec2bf869bee84a8798f3c5ca73b834aee0728cc377104c1eeffd5291"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/jvrBvC4STZxVUeessI8VM1k/dsaKedzhD2UhmrcJBydNZqV+Q7CH/AM/5NfSsLk/HbrnKlObLdyaaC5rfb6DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T13:48:39.321286Z","bundle_sha256":"f2ec3c14c3fb8b9c19bc8b839e55bfbaeaee41a6b7318829371a4cab0b93908d"}}