{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:OWV4LIEL46OWLLYCQBZML54VSW","short_pith_number":"pith:OWV4LIEL","canonical_record":{"source":{"id":"2605.26635","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-05-26T07:14:48Z","cross_cats_sorted":[],"title_canon_sha256":"4e866669be52b6db0bf12a05851a64f74fe66c8b30d32e630827523ce3dbe2a6","abstract_canon_sha256":"bc727c4d8119efe4ec5f87ef2361e6c0a0f13a3ec7a933317a195c5938a1c5ab"},"schema_version":"1.0"},"canonical_sha256":"75abc5a08be79d65af028072c5f795959a51ca38558eabc1f1bbf631c68116f7","source":{"kind":"arxiv","id":"2605.26635","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:OWV4LIEL46OWLLYCQBZML54VSW","target":"record","payload":{"canonical_record":{"source":{"id":"2605.26635","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-05-26T07:14:48Z","cross_cats_sorted":[],"title_canon_sha256":"4e866669be52b6db0bf12a05851a64f74fe66c8b30d32e630827523ce3dbe2a6","abstract_canon_sha256":"bc727c4d8119efe4ec5f87ef2361e6c0a0f13a3ec7a933317a195c5938a1c5ab"},"schema_version":"1.0"},"canonical_sha256":"75abc5a08be79d65af028072c5f795959a51ca38558eabc1f1bbf631c68116f7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-27T01:06:03.163347Z","signature_b64":"nE/4uwGlJRBvuZmRhK31esdHoyWVmK45wipTUMoRySiLbpa3yd+U9/t/4kMEd1tyEV5NqvbGbZP8J4iZ/SrBCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"75abc5a08be79d65af028072c5f795959a51ca38558eabc1f1bbf631c68116f7","last_reissued_at":"2026-05-27T01:06:03.162482Z","signature_status":"signed_v1","first_computed_at":"2026-05-27T01:06:03.162482Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.26635","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-27T01:06:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oWME6QcmO8pIuzcRaPYvYAwWs2CCRudWDWDCHqwyN/siMYZf9coCvyKrS2AkjkspP+jxbVOHlUx83BMok8buAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T22:26:50.198240Z"},"content_sha256":"ac339b6ec3bd8a9871c30c4f8346ac8a0b85c96b2790c2645be7b5f593cbe642","schema_version":"1.0","event_id":"sha256:ac339b6ec3bd8a9871c30c4f8346ac8a0b85c96b2790c2645be7b5f593cbe642"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:OWV4LIEL46OWLLYCQBZML54VSW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pacing Types for Asynchronous Stream Equations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Arthur Correnson, Bernd Finkbeiner, Florian Kohn, Jan Baumeister","submitted_at":"2026-05-26T07:14:48Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.26635","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.26635/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-27T01:06:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"irMhQCb9wC/02qaAjBuu+v3QLgNyPuaakvLd5djTYranWTe4aFQfb1KnwwfUpNottDchbdv7rXjPFVPzRrv4Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T22:26:50.198645Z"},"content_sha256":"d60a53d828a5d8030b62c69cd11a9ce6b723bba2c72ca5511e75d6d33194a660","schema_version":"1.0","event_id":"sha256:d60a53d828a5d8030b62c69cd11a9ce6b723bba2c72ca5511e75d6d33194a660"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OWV4LIEL46OWLLYCQBZML54VSW/bundle.json","state_url":"https://pith.science/pith/OWV4LIEL46OWLLYCQBZML54VSW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OWV4LIEL46OWLLYCQBZML54VSW/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-19T22:26:50Z","links":{"resolver":"https://pith.science/pith/OWV4LIEL46OWLLYCQBZML54VSW","bundle":"https://pith.science/pith/OWV4LIEL46OWLLYCQBZML54VSW/bundle.json","state":"https://pith.science/pith/OWV4LIEL46OWLLYCQBZML54VSW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OWV4LIEL46OWLLYCQBZML54VSW/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wVGtr9S1sdeMem5sATXCiAimO0gDrP/FLfwHk9kLnxFUxAw7RLbAayTfdA5l03SS2V/rdXgNv+TQ81se6bsVDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-19T22:26:50.200770Z","bundle_sha256":"f4da81d64fbab5cf7037d9cfb314fb682e759acb1f955e3d3429a7ce450511bf"}}