{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:FFCNMNQ2A6NNUQUIWVDAJ4GXQW","short_pith_number":"pith:FFCNMNQ2","canonical_record":{"source":{"id":"2004.04214","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-04-08T19:23:25Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c3214dda59f00364cce94b01f6274597d3e1fce12341f68ad7ba72f8838fd260","abstract_canon_sha256":"fd14c44d3ddda8bbcc74f64f89d503fd107c8f5883301ba56908f22ec48310cd"},"schema_version":"1.0"},"canonical_sha256":"2944d6361a079ada4288b54604f0d7859d9872e3e28fee475b317074f5009041","source":{"kind":"arxiv","id":"2004.04214","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.04214","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"arxiv_version","alias_value":"2004.04214v1","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.04214","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"pith_short_12","alias_value":"FFCNMNQ2A6NN","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"pith_short_16","alias_value":"FFCNMNQ2A6NNUQUI","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"pith_short_8","alias_value":"FFCNMNQ2","created_at":"2026-07-05T00:54:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:FFCNMNQ2A6NNUQUIWVDAJ4GXQW","target":"record","payload":{"canonical_record":{"source":{"id":"2004.04214","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-04-08T19:23:25Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c3214dda59f00364cce94b01f6274597d3e1fce12341f68ad7ba72f8838fd260","abstract_canon_sha256":"fd14c44d3ddda8bbcc74f64f89d503fd107c8f5883301ba56908f22ec48310cd"},"schema_version":"1.0"},"canonical_sha256":"2944d6361a079ada4288b54604f0d7859d9872e3e28fee475b317074f5009041","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:54:05.785938Z","signature_b64":"qmDYArH79+34WZc00MUyyMBWiqwoCOQdJG5ZRDF6hPEWHbjstvGI9CKp/9iY/8cdcQ0+Zq7IzqvIYxn1qbguDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2944d6361a079ada4288b54604f0d7859d9872e3e28fee475b317074f5009041","last_reissued_at":"2026-07-05T00:54:05.785513Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:54:05.785513Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.04214","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-07-05T00:54:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JLYElixQCCh8P4Uh068Y8v0bq4EHvZ1ijqMcjtoBgP8zaOTWNfNnMtdMLl/0X4Wyp3eA069VvYwRg0AcOo03BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:37:44.441403Z"},"content_sha256":"b19f2e1ad92b9980c3ce0fcf926f7639d534dce46c15339386fc8d0d267179b7","schema_version":"1.0","event_id":"sha256:b19f2e1ad92b9980c3ce0fcf926f7639d534dce46c15339386fc8d0d267179b7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:FFCNMNQ2A6NNUQUIWVDAJ4GXQW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Runtime Verification of Finite State Properties over Lossy Event Streams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Matthew B. Dwyer, Peeyush Kushwaha, Rahul Purandare","submitted_at":"2020-04-08T19:23:25Z","abstract_excerpt":"Monitoring programs for finite state properties is challenging due to high memory and execution time overheads it incurs. Some events if skipped or lost naturally can reduce both overheads, but lead to uncertainty about the current monitor state. In this work, we present a theoretical framework to model these lossy event streams and provide a construction for a monitor which observes them without producing false positives. The constructed monitor is optimally sound among all complete monitors. We model several loss types of practical relevance using our framework and provide construction of sm"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.04214","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/2004.04214/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-07-05T00:54:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ph8efedgE4bRVDdDaV3VErbANuuKQXsFdU5VsU41H3rFJJXmi5I4qnAeu37tiB7BUIlIMdfkxuwTo4Uhg7RRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T22:37:44.441792Z"},"content_sha256":"f873af025443366d161828bc7835a1450da11a082ebd36079be9ebb9c73fd757","schema_version":"1.0","event_id":"sha256:f873af025443366d161828bc7835a1450da11a082ebd36079be9ebb9c73fd757"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FFCNMNQ2A6NNUQUIWVDAJ4GXQW/bundle.json","state_url":"https://pith.science/pith/FFCNMNQ2A6NNUQUIWVDAJ4GXQW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FFCNMNQ2A6NNUQUIWVDAJ4GXQW/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-08-03T22:37:44Z","links":{"resolver":"https://pith.science/pith/FFCNMNQ2A6NNUQUIWVDAJ4GXQW","bundle":"https://pith.science/pith/FFCNMNQ2A6NNUQUIWVDAJ4GXQW/bundle.json","state":"https://pith.science/pith/FFCNMNQ2A6NNUQUIWVDAJ4GXQW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FFCNMNQ2A6NNUQUIWVDAJ4GXQW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:FFCNMNQ2A6NNUQUIWVDAJ4GXQW","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":"fd14c44d3ddda8bbcc74f64f89d503fd107c8f5883301ba56908f22ec48310cd","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-04-08T19:23:25Z","title_canon_sha256":"c3214dda59f00364cce94b01f6274597d3e1fce12341f68ad7ba72f8838fd260"},"schema_version":"1.0","source":{"id":"2004.04214","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.04214","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"arxiv_version","alias_value":"2004.04214v1","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.04214","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"pith_short_12","alias_value":"FFCNMNQ2A6NN","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"pith_short_16","alias_value":"FFCNMNQ2A6NNUQUI","created_at":"2026-07-05T00:54:05Z"},{"alias_kind":"pith_short_8","alias_value":"FFCNMNQ2","created_at":"2026-07-05T00:54:05Z"}],"graph_snapshots":[{"event_id":"sha256:f873af025443366d161828bc7835a1450da11a082ebd36079be9ebb9c73fd757","target":"graph","created_at":"2026-07-05T00:54:05Z","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/2004.04214/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Monitoring programs for finite state properties is challenging due to high memory and execution time overheads it incurs. Some events if skipped or lost naturally can reduce both overheads, but lead to uncertainty about the current monitor state. In this work, we present a theoretical framework to model these lossy event streams and provide a construction for a monitor which observes them without producing false positives. The constructed monitor is optimally sound among all complete monitors. We model several loss types of practical relevance using our framework and provide construction of sm","authors_text":"Matthew B. Dwyer, Peeyush Kushwaha, Rahul Purandare","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-04-08T19:23:25Z","title":"Optimal Runtime Verification of Finite State Properties over Lossy Event Streams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.04214","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:b19f2e1ad92b9980c3ce0fcf926f7639d534dce46c15339386fc8d0d267179b7","target":"record","created_at":"2026-07-05T00:54:05Z","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":"fd14c44d3ddda8bbcc74f64f89d503fd107c8f5883301ba56908f22ec48310cd","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-04-08T19:23:25Z","title_canon_sha256":"c3214dda59f00364cce94b01f6274597d3e1fce12341f68ad7ba72f8838fd260"},"schema_version":"1.0","source":{"id":"2004.04214","kind":"arxiv","version":1}},"canonical_sha256":"2944d6361a079ada4288b54604f0d7859d9872e3e28fee475b317074f5009041","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2944d6361a079ada4288b54604f0d7859d9872e3e28fee475b317074f5009041","first_computed_at":"2026-07-05T00:54:05.785513Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:54:05.785513Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qmDYArH79+34WZc00MUyyMBWiqwoCOQdJG5ZRDF6hPEWHbjstvGI9CKp/9iY/8cdcQ0+Zq7IzqvIYxn1qbguDA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:54:05.785938Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.04214","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b19f2e1ad92b9980c3ce0fcf926f7639d534dce46c15339386fc8d0d267179b7","sha256:f873af025443366d161828bc7835a1450da11a082ebd36079be9ebb9c73fd757"],"state_sha256":"edd0cc29096b5fdb3fcc0b95d14f8ff298e3b309a19bf156a5c1135eeed383a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2FwUYXmP1RyMFe/zRIYDU8jIe/C1uwzyN0rrvyU9GxXRDbgDeWRH3exDfITO/cu85DBMi9v/OTUxJdUZdqUNCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T22:37:44.444486Z","bundle_sha256":"4e68a5cb424fda8dfe41e5f5effaec8e902f6503cabdd82199ffadc96fa5a592"}}