{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:JKSJPANMJG47M2LPFPJBKNLTCM","short_pith_number":"pith:JKSJPANM","schema_version":"1.0","canonical_sha256":"4aa49781ac49b9f6696f2bd2153573132bececb196dde4e792f5672a62c6e646","source":{"kind":"arxiv","id":"1806.05300","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1806.05300","created_at":"2026-05-18T00:13:16.451484+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.05300v1","created_at":"2026-05-18T00:13:16.451484+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05300","created_at":"2026-05-18T00:13:16.451484+00:00"},{"alias_kind":"pith_short_12","alias_value":"JKSJPANMJG47","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_16","alias_value":"JKSJPANMJG47M2LP","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_8","alias_value":"JKSJPANM","created_at":"2026-05-18T12:32:31.084164+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM","json":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM.json","graph_json":"https://pith.science/api/pith-number/JKSJPANMJG47M2LPFPJBKNLTCM/graph.json","events_json":"https://pith.science/api/pith-number/JKSJPANMJG47M2LPFPJBKNLTCM/events.json","paper":"https://pith.science/paper/JKSJPANM"},"agent_actions":{"view_html":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM","download_json":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM.json","view_paper":"https://pith.science/paper/JKSJPANM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.05300&json=true","fetch_graph":"https://pith.science/api/pith-number/JKSJPANMJG47M2LPFPJBKNLTCM/graph.json","fetch_events":"https://pith.science/api/pith-number/JKSJPANMJG47M2LPFPJBKNLTCM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/action/storage_attestation","attest_author":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/action/author_attestation","sign_citation":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/action/citation_signature","submit_replication":"https://pith.science/pith/JKSJPANMJG47M2LPFPJBKNLTCM/action/replication_record"}},"created_at":"2026-05-18T00:13:16.451484+00:00","updated_at":"2026-05-18T00:13:16.451484+00:00"}