{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:F3WHNTNWFV5ERGWIUMHYUYEROJ","short_pith_number":"pith:F3WHNTNW","canonical_record":{"source":{"id":"1502.06286","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-02-22T23:05:54Z","cross_cats_sorted":[],"title_canon_sha256":"a38b2139542455e53d453ac86ce1dd96530f03bd1a0d2fa112b82c74d4c519a7","abstract_canon_sha256":"dc3f802f50e78b0c631058563a24ab0a22a1bb1b6ce6ce0c496cf2e1f6692e7d"},"schema_version":"1.0"},"canonical_sha256":"2eec76cdb62d7a489ac8a30f8a6091727e9554c68da439f7a685e529527929a5","source":{"kind":"arxiv","id":"1502.06286","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.06286","created_at":"2026-05-18T02:26:37Z"},{"alias_kind":"arxiv_version","alias_value":"1502.06286v1","created_at":"2026-05-18T02:26:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.06286","created_at":"2026-05-18T02:26:37Z"},{"alias_kind":"pith_short_12","alias_value":"F3WHNTNWFV5E","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"F3WHNTNWFV5ERGWI","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"F3WHNTNW","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:F3WHNTNWFV5ERGWIUMHYUYEROJ","target":"record","payload":{"canonical_record":{"source":{"id":"1502.06286","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-02-22T23:05:54Z","cross_cats_sorted":[],"title_canon_sha256":"a38b2139542455e53d453ac86ce1dd96530f03bd1a0d2fa112b82c74d4c519a7","abstract_canon_sha256":"dc3f802f50e78b0c631058563a24ab0a22a1bb1b6ce6ce0c496cf2e1f6692e7d"},"schema_version":"1.0"},"canonical_sha256":"2eec76cdb62d7a489ac8a30f8a6091727e9554c68da439f7a685e529527929a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:26:37.590515Z","signature_b64":"XagQbIECyka1+2rg5cyGudh83FC2G5fY+Kd8rA7obwBy+iGfgM+dvZPNZWDS0OaeeyzRgAtVBaTI4UDL6/m5Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2eec76cdb62d7a489ac8a30f8a6091727e9554c68da439f7a685e529527929a5","last_reissued_at":"2026-05-18T02:26:37.590107Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:26:37.590107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.06286","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-18T02:26:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t0EolOeIEC3frsnV/0sJB+LS9XJpO+fnN21a7HLisMtM6E72tIFVsCKM85dBGbNZBxb3o5uyGDocqNeqCXQBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T08:11:15.535613Z"},"content_sha256":"6fafc7d6e2552ab21b83589cda40588c731ca72df1b8a593a633754034b3be2b","schema_version":"1.0","event_id":"sha256:6fafc7d6e2552ab21b83589cda40588c731ca72df1b8a593a633754034b3be2b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:F3WHNTNWFV5ERGWIUMHYUYEROJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Sayan Mitra, Yixiao Lin","submitted_at":"2015-02-22T23:05:54Z","abstract_excerpt":"We developed StarL as a framework for programming, simulating, and verifying distributed systems that interacts with physical processes. StarL framework has (a) a collection of distributed primitives for coordination, such as mutual exclusion, registration and geocast that can be used to build sophisticated applications, (b) theory libraries for verifying StarL applications in the PVS theorem prover, and (c) an execution environment that can be used to deploy the applications on hardware or to execute them in a discrete event simulator. The primitives have (i) abstract, nondeterministic specif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.06286","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-18T02:26:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ENlC79B82v/kyHXhZa8JOQoqQnBC4q8XLJIuMsMwT5T9UGWrs/qyFvHnqGvY2RVt/gSSCBH+c1JOc9AJ7ZsIDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T08:11:15.536261Z"},"content_sha256":"25e7a0d54943a09787df5b4240586450d3a77fc1dc8e582a1bc551095aa226af","schema_version":"1.0","event_id":"sha256:25e7a0d54943a09787df5b4240586450d3a77fc1dc8e582a1bc551095aa226af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F3WHNTNWFV5ERGWIUMHYUYEROJ/bundle.json","state_url":"https://pith.science/pith/F3WHNTNWFV5ERGWIUMHYUYEROJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F3WHNTNWFV5ERGWIUMHYUYEROJ/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-27T08:11:15Z","links":{"resolver":"https://pith.science/pith/F3WHNTNWFV5ERGWIUMHYUYEROJ","bundle":"https://pith.science/pith/F3WHNTNWFV5ERGWIUMHYUYEROJ/bundle.json","state":"https://pith.science/pith/F3WHNTNWFV5ERGWIUMHYUYEROJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F3WHNTNWFV5ERGWIUMHYUYEROJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:F3WHNTNWFV5ERGWIUMHYUYEROJ","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":"dc3f802f50e78b0c631058563a24ab0a22a1bb1b6ce6ce0c496cf2e1f6692e7d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-02-22T23:05:54Z","title_canon_sha256":"a38b2139542455e53d453ac86ce1dd96530f03bd1a0d2fa112b82c74d4c519a7"},"schema_version":"1.0","source":{"id":"1502.06286","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.06286","created_at":"2026-05-18T02:26:37Z"},{"alias_kind":"arxiv_version","alias_value":"1502.06286v1","created_at":"2026-05-18T02:26:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.06286","created_at":"2026-05-18T02:26:37Z"},{"alias_kind":"pith_short_12","alias_value":"F3WHNTNWFV5E","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"F3WHNTNWFV5ERGWI","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"F3WHNTNW","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:25e7a0d54943a09787df5b4240586450d3a77fc1dc8e582a1bc551095aa226af","target":"graph","created_at":"2026-05-18T02:26:37Z","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":"We developed StarL as a framework for programming, simulating, and verifying distributed systems that interacts with physical processes. StarL framework has (a) a collection of distributed primitives for coordination, such as mutual exclusion, registration and geocast that can be used to build sophisticated applications, (b) theory libraries for verifying StarL applications in the PVS theorem prover, and (c) an execution environment that can be used to deploy the applications on hardware or to execute them in a discrete event simulator. The primitives have (i) abstract, nondeterministic specif","authors_text":"Sayan Mitra, Yixiao Lin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-02-22T23:05:54Z","title":"StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.06286","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:6fafc7d6e2552ab21b83589cda40588c731ca72df1b8a593a633754034b3be2b","target":"record","created_at":"2026-05-18T02:26:37Z","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":"dc3f802f50e78b0c631058563a24ab0a22a1bb1b6ce6ce0c496cf2e1f6692e7d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-02-22T23:05:54Z","title_canon_sha256":"a38b2139542455e53d453ac86ce1dd96530f03bd1a0d2fa112b82c74d4c519a7"},"schema_version":"1.0","source":{"id":"1502.06286","kind":"arxiv","version":1}},"canonical_sha256":"2eec76cdb62d7a489ac8a30f8a6091727e9554c68da439f7a685e529527929a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2eec76cdb62d7a489ac8a30f8a6091727e9554c68da439f7a685e529527929a5","first_computed_at":"2026-05-18T02:26:37.590107Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:26:37.590107Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XagQbIECyka1+2rg5cyGudh83FC2G5fY+Kd8rA7obwBy+iGfgM+dvZPNZWDS0OaeeyzRgAtVBaTI4UDL6/m5Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:26:37.590515Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.06286","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fafc7d6e2552ab21b83589cda40588c731ca72df1b8a593a633754034b3be2b","sha256:25e7a0d54943a09787df5b4240586450d3a77fc1dc8e582a1bc551095aa226af"],"state_sha256":"224cd8d683e6a4650d6346676225b168408c766ff9459fb55d4dab4ec49d06cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mdVlwIyA+g9XJ++3dY4SLLQFhfjHFwx2NXD9V4MyhxXUkUNAfRcFms1qyO/DMzVyXOwaso62yD0y3bH3rYhvAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T08:11:15.539628Z","bundle_sha256":"25da424d9f0bcb263c072f11b862acc0441bb0daa149b477e899ea17929301db"}}