{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:3V2PASWBFIX3TB6DPQLND3K732","short_pith_number":"pith:3V2PASWB","canonical_record":{"source":{"id":"2103.02830","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-03-04T04:35:35Z","cross_cats_sorted":[],"title_canon_sha256":"bdd95317b52535f7e93556f33b7d7f3b712470022acf15dc9414e5a9c9862029","abstract_canon_sha256":"22d6947571f64109954184c914b5b07d6d209a433284cc7dbc408bfe1564a7ac"},"schema_version":"1.0"},"canonical_sha256":"dd74f04ac12a2fb987c37c16d1ed5fdeab0dcfa8ef1b774aa928549c6099b720","source":{"kind":"arxiv","id":"2103.02830","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.02830","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"arxiv_version","alias_value":"2103.02830v1","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.02830","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"pith_short_12","alias_value":"3V2PASWBFIX3","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"pith_short_16","alias_value":"3V2PASWBFIX3TB6D","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"pith_short_8","alias_value":"3V2PASWB","created_at":"2026-07-05T02:20:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:3V2PASWBFIX3TB6DPQLND3K732","target":"record","payload":{"canonical_record":{"source":{"id":"2103.02830","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-03-04T04:35:35Z","cross_cats_sorted":[],"title_canon_sha256":"bdd95317b52535f7e93556f33b7d7f3b712470022acf15dc9414e5a9c9862029","abstract_canon_sha256":"22d6947571f64109954184c914b5b07d6d209a433284cc7dbc408bfe1564a7ac"},"schema_version":"1.0"},"canonical_sha256":"dd74f04ac12a2fb987c37c16d1ed5fdeab0dcfa8ef1b774aa928549c6099b720","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:20:21.773894Z","signature_b64":"X8gPvZag4C5vj6uo3ahHaGk52uszrNpFxrrG/JoapNX+9yXRbPDX4qoM0crm+V4uqq3Jb+0ThH1Aud3NUvrcAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd74f04ac12a2fb987c37c16d1ed5fdeab0dcfa8ef1b774aa928549c6099b720","last_reissued_at":"2026-07-05T02:20:21.773389Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:20:21.773389Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.02830","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-07-05T02:20:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+FXhcFJfxlayKuAvYmOBflg7xRAtTTvbGhT9DWytS/GKFeVal06LbO3PVW1ylDY3FaacJ4dOwzXdEpxiAce2Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T13:07:06.150781Z"},"content_sha256":"cfa0e1a8b9276b4210798d3b96ab510e2370f02de024f20f8e003234743963dc","schema_version":"1.0","event_id":"sha256:cfa0e1a8b9276b4210798d3b96ab510e2370f02de024f20f8e003234743963dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:3V2PASWBFIX3TB6DPQLND3K732","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Akash Lal, Constantin Enea, Diptanshu Kakwani, Jyothi Vedurada, Ranadeep Biswas","submitted_at":"2021-03-04T04:35:35Z","abstract_excerpt":"Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale storage systems for storing and retrieving data. In the presence of concurrent accesses, these storage systems trade off isolation for performance. The weaker the isolation level, the more behaviors a storage system is allowed to exhibit and it is up to the developer to ensure that their application can tolerate those behaviors. However, these weak behaviors only occur rarely in practice, that too outside the control of the application, making it difficult for developers to tes"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.02830","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2103.02830/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-05T02:20:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4049CdaWBzy1RYUEEHeoIVY046mlpzAf+VF2c2lCCwV2VpF7N17P/n0B0kIxkgJzSYrIfoRpwfRRFRDbI9wjDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T13:07:06.151160Z"},"content_sha256":"06f6e415c18ab52f0937f8549289d942010cb0d488e11c07ecce606afd661a07","schema_version":"1.0","event_id":"sha256:06f6e415c18ab52f0937f8549289d942010cb0d488e11c07ecce606afd661a07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3V2PASWBFIX3TB6DPQLND3K732/bundle.json","state_url":"https://pith.science/pith/3V2PASWBFIX3TB6DPQLND3K732/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3V2PASWBFIX3TB6DPQLND3K732/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-07-06T13:07:06Z","links":{"resolver":"https://pith.science/pith/3V2PASWBFIX3TB6DPQLND3K732","bundle":"https://pith.science/pith/3V2PASWBFIX3TB6DPQLND3K732/bundle.json","state":"https://pith.science/pith/3V2PASWBFIX3TB6DPQLND3K732/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3V2PASWBFIX3TB6DPQLND3K732/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:3V2PASWBFIX3TB6DPQLND3K732","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":"22d6947571f64109954184c914b5b07d6d209a433284cc7dbc408bfe1564a7ac","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-03-04T04:35:35Z","title_canon_sha256":"bdd95317b52535f7e93556f33b7d7f3b712470022acf15dc9414e5a9c9862029"},"schema_version":"1.0","source":{"id":"2103.02830","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.02830","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"arxiv_version","alias_value":"2103.02830v1","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.02830","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"pith_short_12","alias_value":"3V2PASWBFIX3","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"pith_short_16","alias_value":"3V2PASWBFIX3TB6D","created_at":"2026-07-05T02:20:21Z"},{"alias_kind":"pith_short_8","alias_value":"3V2PASWB","created_at":"2026-07-05T02:20:21Z"}],"graph_snapshots":[{"event_id":"sha256:06f6e415c18ab52f0937f8549289d942010cb0d488e11c07ecce606afd661a07","target":"graph","created_at":"2026-07-05T02:20:21Z","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/2103.02830/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale storage systems for storing and retrieving data. In the presence of concurrent accesses, these storage systems trade off isolation for performance. The weaker the isolation level, the more behaviors a storage system is allowed to exhibit and it is up to the developer to ensure that their application can tolerate those behaviors. However, these weak behaviors only occur rarely in practice, that too outside the control of the application, making it difficult for developers to tes","authors_text":"Akash Lal, Constantin Enea, Diptanshu Kakwani, Jyothi Vedurada, Ranadeep Biswas","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-03-04T04:35:35Z","title":"MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.02830","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:cfa0e1a8b9276b4210798d3b96ab510e2370f02de024f20f8e003234743963dc","target":"record","created_at":"2026-07-05T02:20:21Z","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":"22d6947571f64109954184c914b5b07d6d209a433284cc7dbc408bfe1564a7ac","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2021-03-04T04:35:35Z","title_canon_sha256":"bdd95317b52535f7e93556f33b7d7f3b712470022acf15dc9414e5a9c9862029"},"schema_version":"1.0","source":{"id":"2103.02830","kind":"arxiv","version":1}},"canonical_sha256":"dd74f04ac12a2fb987c37c16d1ed5fdeab0dcfa8ef1b774aa928549c6099b720","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd74f04ac12a2fb987c37c16d1ed5fdeab0dcfa8ef1b774aa928549c6099b720","first_computed_at":"2026-07-05T02:20:21.773389Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:20:21.773389Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X8gPvZag4C5vj6uo3ahHaGk52uszrNpFxrrG/JoapNX+9yXRbPDX4qoM0crm+V4uqq3Jb+0ThH1Aud3NUvrcAg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:20:21.773894Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.02830","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cfa0e1a8b9276b4210798d3b96ab510e2370f02de024f20f8e003234743963dc","sha256:06f6e415c18ab52f0937f8549289d942010cb0d488e11c07ecce606afd661a07"],"state_sha256":"3602a9b7bc1952f935d7e9c7c8123095e54112a278aea5dea9a29285bbad5bc8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y9BT0N99wpPOD2igedGmtUyRk5MsGcXu6vi3H0TBo6KaHKIkDxKYWRINbEGPrey+eu8IewOXG6U8QR14YbiNAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T13:07:06.153158Z","bundle_sha256":"475c9f6e6911e9a03536d3f50b327df940b9874f6a4cd7dfe8f7d5c6a80eb87a"}}