{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:GJIN53MKNZFZFKG7BUUGYRORAF","short_pith_number":"pith:GJIN53MK","canonical_record":{"source":{"id":"2606.11132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T17:25:38Z","cross_cats_sorted":[],"title_canon_sha256":"acb5bb925f1596de9c6da038c93513c2a24c91eab0d5539fb50aa1e0cdb321b0","abstract_canon_sha256":"ad12a73f4986ce600480bc1ae4e673622d0d6134b0eeb18985738726a406f24a"},"schema_version":"1.0"},"canonical_sha256":"3250deed8a6e4b92a8df0d286c45d1014d78b5cdb7f5187e2e6c3a692af4dc39","source":{"kind":"arxiv","id":"2606.11132","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.11132","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"arxiv_version","alias_value":"2606.11132v1","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.11132","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"pith_short_12","alias_value":"GJIN53MKNZFZ","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"pith_short_16","alias_value":"GJIN53MKNZFZFKG7","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"pith_short_8","alias_value":"GJIN53MK","created_at":"2026-06-10T01:11:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:GJIN53MKNZFZFKG7BUUGYRORAF","target":"record","payload":{"canonical_record":{"source":{"id":"2606.11132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T17:25:38Z","cross_cats_sorted":[],"title_canon_sha256":"acb5bb925f1596de9c6da038c93513c2a24c91eab0d5539fb50aa1e0cdb321b0","abstract_canon_sha256":"ad12a73f4986ce600480bc1ae4e673622d0d6134b0eeb18985738726a406f24a"},"schema_version":"1.0"},"canonical_sha256":"3250deed8a6e4b92a8df0d286c45d1014d78b5cdb7f5187e2e6c3a692af4dc39","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-10T01:11:12.846131Z","signature_b64":"MwOal6lO42IuZ9Xi8iAiDee2SmKsaXR9IL5XpmX3sa2qXj/kk881IX/tMAoVmzHEHAV/CZ2XZw2FPGpuPvveAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3250deed8a6e4b92a8df0d286c45d1014d78b5cdb7f5187e2e6c3a692af4dc39","last_reissued_at":"2026-06-10T01:11:12.845349Z","signature_status":"signed_v1","first_computed_at":"2026-06-10T01:11:12.845349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.11132","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-06-10T01:11:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f/iKPb6P/g3SU1oRZT4MedwhF7JCzP51Y21TsocHeGLirIoQNbyOyHU4kLHsbne0hM9Seq09Hc9TbRQ9JJwBCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T02:26:28.745151Z"},"content_sha256":"2a13e831cf88b580867d779a88c841951a003bde6a27402504edbadc22342268","schema_version":"1.0","event_id":"sha256:2a13e831cf88b580867d779a88c841951a003bde6a27402504edbadc22342268"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:GJIN53MKNZFZFKG7BUUGYRORAF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Operationalizing Property-Based Testing for Data-Intensive Scalable Computing Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ahmad Humayun, Ingrid Lee, Miryung Kim, Muhammad Ali Gulzar, Yaoxuan Wu","submitted_at":"2026-06-09T17:25:38Z","abstract_excerpt":"While fuzzing effectively catches crashes, its shallow oracles often miss semantic drifts and optimization-related errors in data-intensive scalable computing (DISC) frameworks. Property-based testing (PBT) addresses this limitation by checking general semantic invariants across diverse workloads and inputs, rather than relying on specific expected outputs. However, systematically operationalizing PBT for DISC systems remains difficult because it requires both reusable property definitions and effective instantiation into valid workloads and data.\n  We present DiscPBT, a property-based testing"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.11132","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/2606.11132/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-06-10T01:11:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w6Xd5+9nGF1URaxcMR1y9RTHL9/GcpL4PGXQWOQ+GnKpd8iYsgNiU+lOWD3QzIuMNU5dnOpXfqSlrIz8E66fAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T02:26:28.745544Z"},"content_sha256":"f245caef6b5e3a7b3029fbe9ad361908d660e7d95337267321d6210ca408a53d","schema_version":"1.0","event_id":"sha256:f245caef6b5e3a7b3029fbe9ad361908d660e7d95337267321d6210ca408a53d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GJIN53MKNZFZFKG7BUUGYRORAF/bundle.json","state_url":"https://pith.science/pith/GJIN53MKNZFZFKG7BUUGYRORAF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GJIN53MKNZFZFKG7BUUGYRORAF/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-28T02:26:28Z","links":{"resolver":"https://pith.science/pith/GJIN53MKNZFZFKG7BUUGYRORAF","bundle":"https://pith.science/pith/GJIN53MKNZFZFKG7BUUGYRORAF/bundle.json","state":"https://pith.science/pith/GJIN53MKNZFZFKG7BUUGYRORAF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GJIN53MKNZFZFKG7BUUGYRORAF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GJIN53MKNZFZFKG7BUUGYRORAF","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":"ad12a73f4986ce600480bc1ae4e673622d0d6134b0eeb18985738726a406f24a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T17:25:38Z","title_canon_sha256":"acb5bb925f1596de9c6da038c93513c2a24c91eab0d5539fb50aa1e0cdb321b0"},"schema_version":"1.0","source":{"id":"2606.11132","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.11132","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"arxiv_version","alias_value":"2606.11132v1","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.11132","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"pith_short_12","alias_value":"GJIN53MKNZFZ","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"pith_short_16","alias_value":"GJIN53MKNZFZFKG7","created_at":"2026-06-10T01:11:12Z"},{"alias_kind":"pith_short_8","alias_value":"GJIN53MK","created_at":"2026-06-10T01:11:12Z"}],"graph_snapshots":[{"event_id":"sha256:f245caef6b5e3a7b3029fbe9ad361908d660e7d95337267321d6210ca408a53d","target":"graph","created_at":"2026-06-10T01:11:12Z","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/2606.11132/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While fuzzing effectively catches crashes, its shallow oracles often miss semantic drifts and optimization-related errors in data-intensive scalable computing (DISC) frameworks. Property-based testing (PBT) addresses this limitation by checking general semantic invariants across diverse workloads and inputs, rather than relying on specific expected outputs. However, systematically operationalizing PBT for DISC systems remains difficult because it requires both reusable property definitions and effective instantiation into valid workloads and data.\n  We present DiscPBT, a property-based testing","authors_text":"Ahmad Humayun, Ingrid Lee, Miryung Kim, Muhammad Ali Gulzar, Yaoxuan Wu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T17:25:38Z","title":"Operationalizing Property-Based Testing for Data-Intensive Scalable Computing Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.11132","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:2a13e831cf88b580867d779a88c841951a003bde6a27402504edbadc22342268","target":"record","created_at":"2026-06-10T01:11:12Z","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":"ad12a73f4986ce600480bc1ae4e673622d0d6134b0eeb18985738726a406f24a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-09T17:25:38Z","title_canon_sha256":"acb5bb925f1596de9c6da038c93513c2a24c91eab0d5539fb50aa1e0cdb321b0"},"schema_version":"1.0","source":{"id":"2606.11132","kind":"arxiv","version":1}},"canonical_sha256":"3250deed8a6e4b92a8df0d286c45d1014d78b5cdb7f5187e2e6c3a692af4dc39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3250deed8a6e4b92a8df0d286c45d1014d78b5cdb7f5187e2e6c3a692af4dc39","first_computed_at":"2026-06-10T01:11:12.845349Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-10T01:11:12.845349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MwOal6lO42IuZ9Xi8iAiDee2SmKsaXR9IL5XpmX3sa2qXj/kk881IX/tMAoVmzHEHAV/CZ2XZw2FPGpuPvveAQ==","signature_status":"signed_v1","signed_at":"2026-06-10T01:11:12.846131Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.11132","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a13e831cf88b580867d779a88c841951a003bde6a27402504edbadc22342268","sha256:f245caef6b5e3a7b3029fbe9ad361908d660e7d95337267321d6210ca408a53d"],"state_sha256":"2f456ca8c1f724bd942da6d44cb46db800200c67417ab4e2f4ca25037f504f3b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DR1qleJUHAh1WRuCqknx7wCNpMT5KKc0l11cr6e0N3PSGWkGWNO243TeDPnolWS6TvPk08DKLA4NVUgkzjbGDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T02:26:28.747488Z","bundle_sha256":"6c6b3df5d0b19653d03445c20df42e9c1fb3af0b4929304fda8479e4674c81b5"}}