{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KIYUJD3UBTEOK43Q5RT6NHRKGD","short_pith_number":"pith:KIYUJD3U","canonical_record":{"source":{"id":"1702.02439","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-02-08T14:33:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"30a370cd5834b99339313fcc2337c93e2abdc2cd78529e2809aa63a869f100c1","abstract_canon_sha256":"dfd7a347b7fb1d695420d86473efd4d76a903600e6c7c682c94b358a2dedd963"},"schema_version":"1.0"},"canonical_sha256":"5231448f740cc8e57370ec67e69e2a30fc0ba7ce0bec8aa66e48321185fe237c","source":{"kind":"arxiv","id":"1702.02439","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.02439","created_at":"2026-05-18T00:51:05Z"},{"alias_kind":"arxiv_version","alias_value":"1702.02439v1","created_at":"2026-05-18T00:51:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.02439","created_at":"2026-05-18T00:51:05Z"},{"alias_kind":"pith_short_12","alias_value":"KIYUJD3UBTEO","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KIYUJD3UBTEOK43Q","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KIYUJD3U","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KIYUJD3UBTEOK43Q5RT6NHRKGD","target":"record","payload":{"canonical_record":{"source":{"id":"1702.02439","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-02-08T14:33:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"30a370cd5834b99339313fcc2337c93e2abdc2cd78529e2809aa63a869f100c1","abstract_canon_sha256":"dfd7a347b7fb1d695420d86473efd4d76a903600e6c7c682c94b358a2dedd963"},"schema_version":"1.0"},"canonical_sha256":"5231448f740cc8e57370ec67e69e2a30fc0ba7ce0bec8aa66e48321185fe237c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:05.934072Z","signature_b64":"oe08GkFVsYWJGYshwny5Lxa9xb/bWU1/DAyUm+hgtFa6ub2AZhbFxhf4vPlsEGqiwYZMbQ0/+xWqNdeqReoPAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5231448f740cc8e57370ec67e69e2a30fc0ba7ce0bec8aa66e48321185fe237c","last_reissued_at":"2026-05-18T00:51:05.933597Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:05.933597Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.02439","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:51:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mtwh2Wo8WNEQGPjMU7PxZPQbKwiorQBcEA9tOo/JmWkG62XXPq3DmX3SnEXkWtxmpiVFXlVi5KCeebCsvUFDBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T12:29:20.823499Z"},"content_sha256":"c10c1a441d510ec75580554315cbdf8ce745d6662224510e2a3754e57ac9c434","schema_version":"1.0","event_id":"sha256:c10c1a441d510ec75580554315cbdf8ce745d6662224510e2a3754e57ac9c434"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KIYUJD3UBTEOK43Q5RT6NHRKGD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Executable Sequential Specification for Spark Aggregation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Bow-Yaw Wang, Chih-Duo Hong, Nishant Sinha, Ond\\v{r}ej Leng\\'al, Shin-Cheng Mu, Yu-Fang Chen","submitted_at":"2017-02-08T14:33:07Z","abstract_excerpt":"Spark is a new promising platform for scalable data-parallel computation. It provides several high-level application programming interfaces (APIs) to perform parallel data aggregation. Since execution of parallel aggregation in Spark is inherently non-deterministic, a natural requirement for Spark programs is to give the same result for any execution on the same data set. We present PureSpark, an executable formal Haskell specification for Spark aggregate combinators. Our specification allows us to deduce the precise condition for deterministic outcomes from Spark aggregation. We report case s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.02439","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:51:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BH6cG8yhCp8bEszaQYquHppq8JHylzeHYYGEJ9qbx4GRbU04GLmnffGQMD7dN5fD9cytS1tF+VcI72Lb7TW4DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T12:29:20.823841Z"},"content_sha256":"37d16b9a4270f7f057c0aa1e4d64a37d8b37abb901106d9ab833c6b2c2c8307d","schema_version":"1.0","event_id":"sha256:37d16b9a4270f7f057c0aa1e4d64a37d8b37abb901106d9ab833c6b2c2c8307d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KIYUJD3UBTEOK43Q5RT6NHRKGD/bundle.json","state_url":"https://pith.science/pith/KIYUJD3UBTEOK43Q5RT6NHRKGD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KIYUJD3UBTEOK43Q5RT6NHRKGD/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-06T12:29:20Z","links":{"resolver":"https://pith.science/pith/KIYUJD3UBTEOK43Q5RT6NHRKGD","bundle":"https://pith.science/pith/KIYUJD3UBTEOK43Q5RT6NHRKGD/bundle.json","state":"https://pith.science/pith/KIYUJD3UBTEOK43Q5RT6NHRKGD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KIYUJD3UBTEOK43Q5RT6NHRKGD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KIYUJD3UBTEOK43Q5RT6NHRKGD","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":"dfd7a347b7fb1d695420d86473efd4d76a903600e6c7c682c94b358a2dedd963","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-02-08T14:33:07Z","title_canon_sha256":"30a370cd5834b99339313fcc2337c93e2abdc2cd78529e2809aa63a869f100c1"},"schema_version":"1.0","source":{"id":"1702.02439","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.02439","created_at":"2026-05-18T00:51:05Z"},{"alias_kind":"arxiv_version","alias_value":"1702.02439v1","created_at":"2026-05-18T00:51:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.02439","created_at":"2026-05-18T00:51:05Z"},{"alias_kind":"pith_short_12","alias_value":"KIYUJD3UBTEO","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KIYUJD3UBTEOK43Q","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KIYUJD3U","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:37d16b9a4270f7f057c0aa1e4d64a37d8b37abb901106d9ab833c6b2c2c8307d","target":"graph","created_at":"2026-05-18T00:51:05Z","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":"Spark is a new promising platform for scalable data-parallel computation. It provides several high-level application programming interfaces (APIs) to perform parallel data aggregation. Since execution of parallel aggregation in Spark is inherently non-deterministic, a natural requirement for Spark programs is to give the same result for any execution on the same data set. We present PureSpark, an executable formal Haskell specification for Spark aggregate combinators. Our specification allows us to deduce the precise condition for deterministic outcomes from Spark aggregation. We report case s","authors_text":"Bow-Yaw Wang, Chih-Duo Hong, Nishant Sinha, Ond\\v{r}ej Leng\\'al, Shin-Cheng Mu, Yu-Fang Chen","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-02-08T14:33:07Z","title":"An Executable Sequential Specification for Spark Aggregation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.02439","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:c10c1a441d510ec75580554315cbdf8ce745d6662224510e2a3754e57ac9c434","target":"record","created_at":"2026-05-18T00:51:05Z","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":"dfd7a347b7fb1d695420d86473efd4d76a903600e6c7c682c94b358a2dedd963","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-02-08T14:33:07Z","title_canon_sha256":"30a370cd5834b99339313fcc2337c93e2abdc2cd78529e2809aa63a869f100c1"},"schema_version":"1.0","source":{"id":"1702.02439","kind":"arxiv","version":1}},"canonical_sha256":"5231448f740cc8e57370ec67e69e2a30fc0ba7ce0bec8aa66e48321185fe237c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5231448f740cc8e57370ec67e69e2a30fc0ba7ce0bec8aa66e48321185fe237c","first_computed_at":"2026-05-18T00:51:05.933597Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:05.933597Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oe08GkFVsYWJGYshwny5Lxa9xb/bWU1/DAyUm+hgtFa6ub2AZhbFxhf4vPlsEGqiwYZMbQ0/+xWqNdeqReoPAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:05.934072Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.02439","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c10c1a441d510ec75580554315cbdf8ce745d6662224510e2a3754e57ac9c434","sha256:37d16b9a4270f7f057c0aa1e4d64a37d8b37abb901106d9ab833c6b2c2c8307d"],"state_sha256":"371f576b7bce2afa6e83889663a00d883e32220a3453b6cc69cbe3d6ced216fa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hf/Q6sZDB0KUcChI5g5ToDW8aLKtp47RwcV/eWLHNL7Y01ziyDiyJosYAfvo8UgovClcfrII9YLlVwE8a2NhCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T12:29:20.825739Z","bundle_sha256":"f7400ea509894334e94e0719c5d3f4acf942f7c153f4783611e73ea57d3b5049"}}