{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:DPEITZDZC4I7UAK4CV6SFBSF3A","short_pith_number":"pith:DPEITZDZ","canonical_record":{"source":{"id":"1808.10717","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-08-31T12:59:50Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"3aba553a3a52475f3eef5e7eeb3a57c2691e5d2b532ccd07aab34ec0f5ec6595","abstract_canon_sha256":"a8822df10098249266e376c46a91144118613e0271fb79e754750e647ba71de5"},"schema_version":"1.0"},"canonical_sha256":"1bc889e4791711fa015c157d228645d82f9c3e10a976df0c2d51569c6bf18c55","source":{"kind":"arxiv","id":"1808.10717","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.10717","created_at":"2026-05-18T00:06:45Z"},{"alias_kind":"arxiv_version","alias_value":"1808.10717v1","created_at":"2026-05-18T00:06:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.10717","created_at":"2026-05-18T00:06:45Z"},{"alias_kind":"pith_short_12","alias_value":"DPEITZDZC4I7","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DPEITZDZC4I7UAK4","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DPEITZDZ","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:DPEITZDZC4I7UAK4CV6SFBSF3A","target":"record","payload":{"canonical_record":{"source":{"id":"1808.10717","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-08-31T12:59:50Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"3aba553a3a52475f3eef5e7eeb3a57c2691e5d2b532ccd07aab34ec0f5ec6595","abstract_canon_sha256":"a8822df10098249266e376c46a91144118613e0271fb79e754750e647ba71de5"},"schema_version":"1.0"},"canonical_sha256":"1bc889e4791711fa015c157d228645d82f9c3e10a976df0c2d51569c6bf18c55","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:45.010562Z","signature_b64":"YW7CO5M5rNcjCDwFtV5bHOK7G7cF4y2Eu9COG1WTAexM9qkBGL0UlbE3xmZs6W0U959XlmNYL9GjWf1gr2X+BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1bc889e4791711fa015c157d228645d82f9c3e10a976df0c2d51569c6bf18c55","last_reissued_at":"2026-05-18T00:06:45.009918Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:45.009918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.10717","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-18T00:06:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cTugS0wBAx80QPkzM84twhVg9D6zPC+0qvXz5zeIxjGmEVTwIVyKRQjCbcEIOYui02pZWeP9deM+lwkcbjD4CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T20:23:30.507431Z"},"content_sha256":"bc5fcc7fd42bd3c3af6101d23b613f84363487ce36fe574ecffc91356fe9c6c2","schema_version":"1.0","event_id":"sha256:bc5fcc7fd42bd3c3af6101d23b613f84363487ce36fe574ecffc91356fe9c6c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:DPEITZDZC4I7UAK4CV6SFBSF3A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"TeSSLa: Temporal Stream-based Specification Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.FL","authors_text":"Daniel Thoma, Lukas Convent, Malte Schmitz, Martin Leucker, Sebastian Hungerecker, Torben Scheffel","submitted_at":"2018-08-31T12:59:50Z","abstract_excerpt":"Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derives output streams. SRV can check logical properties and compute temporal metrics and statistics from the trace. We present TeSSLa, a temporal stream-based specification language for SRV. TeSSLa supports timestamped events natively and is hence suitable for streams that are both sparse and fine-grained, which often occur in practice. We prove results on TeSSLa's expressiveness and compare different TeSSLa fragments to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.10717","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-18T00:06:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1hhkw1+pjzCbhnzWpgVAB/+j3B/Jhl/+7qPEjDKRwX2qi0FWhgsAwi0r0kUeQtRZXD9if6cZazhdKhVfk270BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T20:23:30.507774Z"},"content_sha256":"1a77a8aafa1a3da0fec571e120f7752410703133ef68a161ef3d90f134616f7e","schema_version":"1.0","event_id":"sha256:1a77a8aafa1a3da0fec571e120f7752410703133ef68a161ef3d90f134616f7e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DPEITZDZC4I7UAK4CV6SFBSF3A/bundle.json","state_url":"https://pith.science/pith/DPEITZDZC4I7UAK4CV6SFBSF3A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DPEITZDZC4I7UAK4CV6SFBSF3A/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-03T20:23:30Z","links":{"resolver":"https://pith.science/pith/DPEITZDZC4I7UAK4CV6SFBSF3A","bundle":"https://pith.science/pith/DPEITZDZC4I7UAK4CV6SFBSF3A/bundle.json","state":"https://pith.science/pith/DPEITZDZC4I7UAK4CV6SFBSF3A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DPEITZDZC4I7UAK4CV6SFBSF3A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DPEITZDZC4I7UAK4CV6SFBSF3A","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":"a8822df10098249266e376c46a91144118613e0271fb79e754750e647ba71de5","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-08-31T12:59:50Z","title_canon_sha256":"3aba553a3a52475f3eef5e7eeb3a57c2691e5d2b532ccd07aab34ec0f5ec6595"},"schema_version":"1.0","source":{"id":"1808.10717","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.10717","created_at":"2026-05-18T00:06:45Z"},{"alias_kind":"arxiv_version","alias_value":"1808.10717v1","created_at":"2026-05-18T00:06:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.10717","created_at":"2026-05-18T00:06:45Z"},{"alias_kind":"pith_short_12","alias_value":"DPEITZDZC4I7","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DPEITZDZC4I7UAK4","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DPEITZDZ","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:1a77a8aafa1a3da0fec571e120f7752410703133ef68a161ef3d90f134616f7e","target":"graph","created_at":"2026-05-18T00:06:45Z","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 is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derives output streams. SRV can check logical properties and compute temporal metrics and statistics from the trace. We present TeSSLa, a temporal stream-based specification language for SRV. TeSSLa supports timestamped events natively and is hence suitable for streams that are both sparse and fine-grained, which often occur in practice. We prove results on TeSSLa's expressiveness and compare different TeSSLa fragments to ","authors_text":"Daniel Thoma, Lukas Convent, Malte Schmitz, Martin Leucker, Sebastian Hungerecker, Torben Scheffel","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-08-31T12:59:50Z","title":"TeSSLa: Temporal Stream-based Specification Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.10717","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:bc5fcc7fd42bd3c3af6101d23b613f84363487ce36fe574ecffc91356fe9c6c2","target":"record","created_at":"2026-05-18T00:06:45Z","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":"a8822df10098249266e376c46a91144118613e0271fb79e754750e647ba71de5","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-08-31T12:59:50Z","title_canon_sha256":"3aba553a3a52475f3eef5e7eeb3a57c2691e5d2b532ccd07aab34ec0f5ec6595"},"schema_version":"1.0","source":{"id":"1808.10717","kind":"arxiv","version":1}},"canonical_sha256":"1bc889e4791711fa015c157d228645d82f9c3e10a976df0c2d51569c6bf18c55","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1bc889e4791711fa015c157d228645d82f9c3e10a976df0c2d51569c6bf18c55","first_computed_at":"2026-05-18T00:06:45.009918Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:45.009918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YW7CO5M5rNcjCDwFtV5bHOK7G7cF4y2Eu9COG1WTAexM9qkBGL0UlbE3xmZs6W0U959XlmNYL9GjWf1gr2X+BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:45.010562Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.10717","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc5fcc7fd42bd3c3af6101d23b613f84363487ce36fe574ecffc91356fe9c6c2","sha256:1a77a8aafa1a3da0fec571e120f7752410703133ef68a161ef3d90f134616f7e"],"state_sha256":"6a16f604f4b71c058fcbc7d36b77ab24e1258cce90b59473c4a5519ff47546ef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1ymuvbnzzbZSDb9Cq8oE3UsxqNIs97pPV/Jyb29fIHSwYuySlgp1+q6cJH3xCPw1uEJcZQqmFQqIRSZSkZb9AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T20:23:30.509699Z","bundle_sha256":"3947fbed3e08446d246fd27412c13143eff9a36e880c5fbbb53c24198fc5a2c1"}}