{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:N24YEGN5AA2ODVWZMFWMTMJNGZ","short_pith_number":"pith:N24YEGN5","canonical_record":{"source":{"id":"1508.00091","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-08-01T07:00:42Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"c4208776703491129fb76b47a925e1df403aadab5bcd106c40bb54c37fdcd31f","abstract_canon_sha256":"2a08dbae70f7ffe72652894bdab7e8fcff306ef5bd7bf9d13f4c8cc4f580eff9"},"schema_version":"1.0"},"canonical_sha256":"6eb98219bd0034e1d6d9616cc9b12d36666669576d43f809a5e4d74d9b9f7504","source":{"kind":"arxiv","id":"1508.00091","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.00091","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"1508.00091v1","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00091","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"N24YEGN5AA2O","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"N24YEGN5AA2ODVWZ","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"N24YEGN5","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:N24YEGN5AA2ODVWZMFWMTMJNGZ","target":"record","payload":{"canonical_record":{"source":{"id":"1508.00091","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-08-01T07:00:42Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"c4208776703491129fb76b47a925e1df403aadab5bcd106c40bb54c37fdcd31f","abstract_canon_sha256":"2a08dbae70f7ffe72652894bdab7e8fcff306ef5bd7bf9d13f4c8cc4f580eff9"},"schema_version":"1.0"},"canonical_sha256":"6eb98219bd0034e1d6d9616cc9b12d36666669576d43f809a5e4d74d9b9f7504","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:59.059868Z","signature_b64":"psryKBHe0/oAfMNolfDCmnAZZhcLYNopxh6axo8M5ts9wwRsABDDIiUrSEOj02V8lNdLsqsvPqtmWStYAERwDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6eb98219bd0034e1d6d9616cc9b12d36666669576d43f809a5e4d74d9b9f7504","last_reissued_at":"2026-05-18T01:35:59.059266Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:59.059266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.00091","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-18T01:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jgVmVuF8qIUk3iSrxAOsgIrvu4NCOpNiofHAfft/lmtm5bWL7xRlQdNjIQ6PTEW2WhOESBDT8u/alDePEZT3Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T22:11:44.596806Z"},"content_sha256":"22aed2febc818f3f2a50547a4fcea665500f3156b3a8fa7bc7e2ee7a4f739b93","schema_version":"1.0","event_id":"sha256:22aed2febc818f3f2a50547a4fcea665500f3156b3a8fa7bc7e2ee7a4f739b93"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:N24YEGN5AA2ODVWZMFWMTMJNGZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.DC","authors_text":"Jian Lu, Jiannong Cao, Yiling Yang, Yu Huang","submitted_at":"2015-08-01T07:00:42Z","abstract_excerpt":"It has gained broad attention to understand the timed distributed trace of a cyber-physical system at runtime, which is often achieved by verifying properties over the observed trace of system execution. However, this verification is facing severe challenges. First, in realistic settings, the computing entities only have imperfectly synchronized clocks. A proper timing model is essential to the interpretation of the trace of system execution. Second, the specification should be able to express properties with real-time constraints despite the asynchrony, and the semantics should be interpreted"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.00091","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-18T01:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bksTvyMbLvq7Gb9UBI2cViY85EPv94p8qQItkwo0MhBI4hNx/26L8zrpSmci0e+a6/r3Whk4qxW8SC44LRE3BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T22:11:44.597162Z"},"content_sha256":"32e0dd54966270bb849d69cf5256f59a00d366c5483217d09a9955ea8dcfbd12","schema_version":"1.0","event_id":"sha256:32e0dd54966270bb849d69cf5256f59a00d366c5483217d09a9955ea8dcfbd12"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N24YEGN5AA2ODVWZMFWMTMJNGZ/bundle.json","state_url":"https://pith.science/pith/N24YEGN5AA2ODVWZMFWMTMJNGZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N24YEGN5AA2ODVWZMFWMTMJNGZ/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-02T22:11:44Z","links":{"resolver":"https://pith.science/pith/N24YEGN5AA2ODVWZMFWMTMJNGZ","bundle":"https://pith.science/pith/N24YEGN5AA2ODVWZMFWMTMJNGZ/bundle.json","state":"https://pith.science/pith/N24YEGN5AA2ODVWZMFWMTMJNGZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N24YEGN5AA2ODVWZMFWMTMJNGZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:N24YEGN5AA2ODVWZMFWMTMJNGZ","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":"2a08dbae70f7ffe72652894bdab7e8fcff306ef5bd7bf9d13f4c8cc4f580eff9","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-08-01T07:00:42Z","title_canon_sha256":"c4208776703491129fb76b47a925e1df403aadab5bcd106c40bb54c37fdcd31f"},"schema_version":"1.0","source":{"id":"1508.00091","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.00091","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"1508.00091v1","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00091","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"N24YEGN5AA2O","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"N24YEGN5AA2ODVWZ","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"N24YEGN5","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:32e0dd54966270bb849d69cf5256f59a00d366c5483217d09a9955ea8dcfbd12","target":"graph","created_at":"2026-05-18T01:35:59Z","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":"It has gained broad attention to understand the timed distributed trace of a cyber-physical system at runtime, which is often achieved by verifying properties over the observed trace of system execution. However, this verification is facing severe challenges. First, in realistic settings, the computing entities only have imperfectly synchronized clocks. A proper timing model is essential to the interpretation of the trace of system execution. Second, the specification should be able to express properties with real-time constraints despite the asynchrony, and the semantics should be interpreted","authors_text":"Jian Lu, Jiannong Cao, Yiling Yang, Yu Huang","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-08-01T07:00:42Z","title":"Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.00091","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:22aed2febc818f3f2a50547a4fcea665500f3156b3a8fa7bc7e2ee7a4f739b93","target":"record","created_at":"2026-05-18T01:35:59Z","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":"2a08dbae70f7ffe72652894bdab7e8fcff306ef5bd7bf9d13f4c8cc4f580eff9","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-08-01T07:00:42Z","title_canon_sha256":"c4208776703491129fb76b47a925e1df403aadab5bcd106c40bb54c37fdcd31f"},"schema_version":"1.0","source":{"id":"1508.00091","kind":"arxiv","version":1}},"canonical_sha256":"6eb98219bd0034e1d6d9616cc9b12d36666669576d43f809a5e4d74d9b9f7504","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6eb98219bd0034e1d6d9616cc9b12d36666669576d43f809a5e4d74d9b9f7504","first_computed_at":"2026-05-18T01:35:59.059266Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:59.059266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"psryKBHe0/oAfMNolfDCmnAZZhcLYNopxh6axo8M5ts9wwRsABDDIiUrSEOj02V8lNdLsqsvPqtmWStYAERwDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:59.059868Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.00091","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:22aed2febc818f3f2a50547a4fcea665500f3156b3a8fa7bc7e2ee7a4f739b93","sha256:32e0dd54966270bb849d69cf5256f59a00d366c5483217d09a9955ea8dcfbd12"],"state_sha256":"25b4d56e8dedd556bbe67447e954093e4fae74d087fb3dd534bdb364e346e8f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gw5OoB44fArcWDh46Z8doOvkjLpAnb8KWifaFK9Q4S6Ts6v91GnoyLlFJ3sJwFUEJ9F68v3+l1s4QXXoj64JDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T22:11:44.599462Z","bundle_sha256":"c390139422e58a3581659468e9dede6659d2e0afe5fea24a9b240be8de748d2b"}}