{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OWV4LIEL46OWLLYCQBZML54VSW","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":"bc727c4d8119efe4ec5f87ef2361e6c0a0f13a3ec7a933317a195c5938a1c5ab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-05-26T07:14:48Z","title_canon_sha256":"4e866669be52b6db0bf12a05851a64f74fe66c8b30d32e630827523ce3dbe2a6"},"schema_version":"1.0","source":{"id":"2605.26635","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.26635","created_at":"2026-05-27T01:06:03Z"},{"alias_kind":"arxiv_version","alias_value":"2605.26635v1","created_at":"2026-05-27T01:06:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.26635","created_at":"2026-05-27T01:06:03Z"},{"alias_kind":"pith_short_12","alias_value":"OWV4LIEL46OW","created_at":"2026-05-27T01:06:03Z"},{"alias_kind":"pith_short_16","alias_value":"OWV4LIEL46OWLLYC","created_at":"2026-05-27T01:06:03Z"},{"alias_kind":"pith_short_8","alias_value":"OWV4LIEL","created_at":"2026-05-27T01:06:03Z"}],"graph_snapshots":[{"event_id":"sha256:d60a53d828a5d8030b62c69cd11a9ce6b723bba2c72ca5511e75d6d33194a660","target":"graph","created_at":"2026-05-27T01:06:03Z","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/2605.26635/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Stream-based monitoring is a runtime verification approach where a monitor aggregates streams of input data from sensors and other sources to give real-time statistics and assessments of a system's health. One of the central challenges in designing reliable stream-based monitors is to deal with the asynchronous nature of data streams: in concrete applications, the different sensors being monitored produce values at different speeds, and it is the monitor's responsibility to correctly react to the asynchronous arrival of different streams of values. To ease this process, modern frameworks for s","authors_text":"Arthur Correnson, Bernd Finkbeiner, Florian Kohn, Jan Baumeister","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-05-26T07:14:48Z","title":"Pacing Types for Asynchronous Stream Equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.26635","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:ac339b6ec3bd8a9871c30c4f8346ac8a0b85c96b2790c2645be7b5f593cbe642","target":"record","created_at":"2026-05-27T01:06:03Z","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":"bc727c4d8119efe4ec5f87ef2361e6c0a0f13a3ec7a933317a195c5938a1c5ab","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-05-26T07:14:48Z","title_canon_sha256":"4e866669be52b6db0bf12a05851a64f74fe66c8b30d32e630827523ce3dbe2a6"},"schema_version":"1.0","source":{"id":"2605.26635","kind":"arxiv","version":1}},"canonical_sha256":"75abc5a08be79d65af028072c5f795959a51ca38558eabc1f1bbf631c68116f7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75abc5a08be79d65af028072c5f795959a51ca38558eabc1f1bbf631c68116f7","first_computed_at":"2026-05-27T01:06:03.162482Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-27T01:06:03.162482Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nE/4uwGlJRBvuZmRhK31esdHoyWVmK45wipTUMoRySiLbpa3yd+U9/t/4kMEd1tyEV5NqvbGbZP8J4iZ/SrBCw==","signature_status":"signed_v1","signed_at":"2026-05-27T01:06:03.163347Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.26635","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac339b6ec3bd8a9871c30c4f8346ac8a0b85c96b2790c2645be7b5f593cbe642","sha256:d60a53d828a5d8030b62c69cd11a9ce6b723bba2c72ca5511e75d6d33194a660"],"state_sha256":"5eb35cc129ed87a3b6c4f09a9a8094f24a3b7b639d44cda32b0bfad92274f7ef"}