{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:QVJ5EO7LZF4AX5RAUQZT5S7ROP","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":"ded144d62e99660b4f793052014a1a5f77ffd7c55c55c9cfdda611e54490102e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-07-04T01:12:09Z","title_canon_sha256":"e082e071e97889b85d8a3cd3ea3ae73c02f116033b9b040b72f57eca8249d2bc"},"schema_version":"1.0","source":{"id":"1607.03369","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.03369","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"arxiv_version","alias_value":"1607.03369v1","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.03369","created_at":"2026-05-18T01:11:09Z"},{"alias_kind":"pith_short_12","alias_value":"QVJ5EO7LZF4A","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"QVJ5EO7LZF4AX5RA","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"QVJ5EO7L","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:ce7e9de6fe2b6943d8130336bd260c60ebbfe31aa6da3cd1073f106dcf3d4edf","target":"graph","created_at":"2026-05-18T01:11:09Z","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":"Runtime verification focuses on analyzing the execution of a given program by a monitor to determine if it is likely to violate its specifications. There is often an impedance mismatch between the assumptions/model of the monitor and that of the underlying program. This constitutes problems especially for distributed systems, where the concept of current time and state are inherently uncertain. A monitor designed with asynchronous system model assumptions may cause false-positives for a program executing in a partially synchronous system: the monitor may flag a global predicate that does not a","authors_text":"Duong Nguyen, Murat Demirbas, Sandeep Kulkarni, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-07-04T01:12:09Z","title":"Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.03369","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:797a0e15f3e24b278e7fa28959b5278923fe47490c04548d88f923861e68a74a","target":"record","created_at":"2026-05-18T01:11:09Z","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":"ded144d62e99660b4f793052014a1a5f77ffd7c55c55c9cfdda611e54490102e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-07-04T01:12:09Z","title_canon_sha256":"e082e071e97889b85d8a3cd3ea3ae73c02f116033b9b040b72f57eca8249d2bc"},"schema_version":"1.0","source":{"id":"1607.03369","kind":"arxiv","version":1}},"canonical_sha256":"8553d23bebc9780bf620a4333ecbf173e8fcfdbb761c50e865e18ca172d74e11","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8553d23bebc9780bf620a4333ecbf173e8fcfdbb761c50e865e18ca172d74e11","first_computed_at":"2026-05-18T01:11:09.142429Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:09.142429Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T27GqwTU8cPkYne209wh4iTk9gbiR7LWxFxpqu80TROJNWEa4wcm5nZpM9TCVe9wCcC1cAfQqKo1pNL0S/lRDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:09.143039Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.03369","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:797a0e15f3e24b278e7fa28959b5278923fe47490c04548d88f923861e68a74a","sha256:ce7e9de6fe2b6943d8130336bd260c60ebbfe31aa6da3cd1073f106dcf3d4edf"],"state_sha256":"69ab72f1db6a5fa7f7f1b0ab2fe326a4caea8af9be4c16aa3f89710345ea5aeb"}