{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IKEWVCA7ZQSLVKZWHZMQRULZIU","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":"002315e72e9c09328e95fa418d4be748950801cc2e8989bd111252b145013b94","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-24T15:50:42Z","title_canon_sha256":"3b9ff8b7415b6c47c28c624b276881b85f98dd5978be3c270176f4c14dfa4793"},"schema_version":"1.0","source":{"id":"2606.25979","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.25979","created_at":"2026-06-25T01:18:44Z"},{"alias_kind":"arxiv_version","alias_value":"2606.25979v1","created_at":"2026-06-25T01:18:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.25979","created_at":"2026-06-25T01:18:44Z"},{"alias_kind":"pith_short_12","alias_value":"IKEWVCA7ZQSL","created_at":"2026-06-25T01:18:44Z"},{"alias_kind":"pith_short_16","alias_value":"IKEWVCA7ZQSLVKZW","created_at":"2026-06-25T01:18:44Z"},{"alias_kind":"pith_short_8","alias_value":"IKEWVCA7","created_at":"2026-06-25T01:18:44Z"}],"graph_snapshots":[{"event_id":"sha256:ef8048f434e48dce1b881f9e0603acb602329be3ef606eaa455f0bc014526bee","target":"graph","created_at":"2026-06-25T01:18:44Z","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/2606.25979/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Runtime monitoring of quantitative signals faces a fundamental trade-off between volatility and over-aggregation: instantaneous observations are noisy, while long-run averages obscure local structure. Localisation measures such as discounted averages offer a principled middle ground, yet remain poorly understood in runtime verification. This paper studies discounted sums from a monitoring perspective, in both deterministic and stochastic settings. We formalize the discounted monitoring problem and show that exact, sound monitoring of discounted sums cannot be achieved with finite memory. To ov","authors_text":"Filip Cano, Konstantin Kueffner, N. Ege Sara\\c{c}, Thomas A. Henzinger","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-24T15:50:42Z","title":"Monitoring Discounted Sum Properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.25979","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:7965cf1dcf5852d2bbcbe2ebb96824d96dab1f68f834fedcc4d766df497cbe3c","target":"record","created_at":"2026-06-25T01:18:44Z","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":"002315e72e9c09328e95fa418d4be748950801cc2e8989bd111252b145013b94","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-24T15:50:42Z","title_canon_sha256":"3b9ff8b7415b6c47c28c624b276881b85f98dd5978be3c270176f4c14dfa4793"},"schema_version":"1.0","source":{"id":"2606.25979","kind":"arxiv","version":1}},"canonical_sha256":"42896a881fcc24baab363e5908d17945024e83238c4b8768c7290a7e459b2c71","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"42896a881fcc24baab363e5908d17945024e83238c4b8768c7290a7e459b2c71","first_computed_at":"2026-06-25T01:18:44.906769Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-25T01:18:44.906769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4ZC++4rbudosaBxcFUT+fckxAds//wDSye6MMUYx6yW7s7qtdYjLCmTl3GN3jTNVLYbr5YeDTc3kmXP1DAJcCw==","signature_status":"signed_v1","signed_at":"2026-06-25T01:18:44.907193Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.25979","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7965cf1dcf5852d2bbcbe2ebb96824d96dab1f68f834fedcc4d766df497cbe3c","sha256:ef8048f434e48dce1b881f9e0603acb602329be3ef606eaa455f0bc014526bee"],"state_sha256":"5c52e2482d60d7850de9c058d56c0a5c95aa839a1aa2dbe42a896bfc77fd14b7"}