{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:AHUR3EYIQZOQEVIKDOOYXN6ANP","short_pith_number":"pith:AHUR3EYI","canonical_record":{"source":{"id":"1905.04486","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-11T09:48:57Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"f58f44952ca7db2a2a949fa8c6ae667d7f5bfc2d94a64598d609060739829e98","abstract_canon_sha256":"f09fdf9ca18aed65545dfaf02d7826624ec9379f105dbcaf7079e7f31e6c0a05"},"schema_version":"1.0"},"canonical_sha256":"01e91d9308865d02550a1b9d8bb7c06bf470b81c7fd8cc447202d5efc458e1aa","source":{"kind":"arxiv","id":"1905.04486","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04486","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04486v1","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04486","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"pith_short_12","alias_value":"AHUR3EYIQZOQ","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"pith_short_16","alias_value":"AHUR3EYIQZOQEVIK","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"pith_short_8","alias_value":"AHUR3EYI","created_at":"2026-06-04T20:14:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:AHUR3EYIQZOQEVIKDOOYXN6ANP","target":"record","payload":{"canonical_record":{"source":{"id":"1905.04486","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-11T09:48:57Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"f58f44952ca7db2a2a949fa8c6ae667d7f5bfc2d94a64598d609060739829e98","abstract_canon_sha256":"f09fdf9ca18aed65545dfaf02d7826624ec9379f105dbcaf7079e7f31e6c0a05"},"schema_version":"1.0"},"canonical_sha256":"01e91d9308865d02550a1b9d8bb7c06bf470b81c7fd8cc447202d5efc458e1aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T20:14:30.097028Z","signature_b64":"GjyX3383SjZZUKzrsnHkzS07Hj93VwoTOvBkFJN1a2SRDr2wz/nMr2CfXle2JT+Q95fXd5kxM/qAqMksTrqmDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"01e91d9308865d02550a1b9d8bb7c06bf470b81c7fd8cc447202d5efc458e1aa","last_reissued_at":"2026-06-04T20:14:30.096586Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T20:14:30.096586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.04486","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-06-04T20:14:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/mGcs1vdIgVbTlC50MstUGhdlL4yX8r1GyP3paNIwcbQUubexiBCB45/1VTeQPJeKN3/OckViFM9O7IWyLmPBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T20:05:59.577762Z"},"content_sha256":"0056408da2d07bfe8fd58d818ffd087e34469a58dedec17dcfad6f5607097986","schema_version":"1.0","event_id":"sha256:0056408da2d07bfe8fd58d818ffd087e34469a58dedec17dcfad6f5607097986"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:AHUR3EYIQZOQEVIKDOOYXN6ANP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Monitoring against Specifications Parametric in Time and Data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.FL","authors_text":"\\'Etienne Andr\\'e, Ichiro Hasuo, Masaki Waga","submitted_at":"2019-05-11T09:48:57Z","abstract_excerpt":"Monitoring consists in deciding whether a log meets a given specification. In this work, we propose an automata-based formalism to monitor logs in the form of actions associated with time stamps and arbitrarily data values over infinite domains. Our formalism uses both timing parameters and data parameters, and is able to output answers symbolic in these parameters and in the log segments where the property is satisfied or violated. We implemented our approach in an ad-hoc prototype SyMon, and experiments show that its high expressive power still allows for efficient online monitoring."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04486","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/1905.04486/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-06-04T20:14:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+9QrwUC7w7NucBKx5TcUcVOJ6ADoKiB1u7Rvywj60kKNhfWtzDjqUyyWt6EAgjNG7egKfpBATy4RslNhDTwhBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T20:05:59.578130Z"},"content_sha256":"4d77ff8b4e8dbfae28b7d71bc61620c6136614a73cd7ed4988a2dbb39eed8cc9","schema_version":"1.0","event_id":"sha256:4d77ff8b4e8dbfae28b7d71bc61620c6136614a73cd7ed4988a2dbb39eed8cc9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AHUR3EYIQZOQEVIKDOOYXN6ANP/bundle.json","state_url":"https://pith.science/pith/AHUR3EYIQZOQEVIKDOOYXN6ANP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AHUR3EYIQZOQEVIKDOOYXN6ANP/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-28T20:05:59Z","links":{"resolver":"https://pith.science/pith/AHUR3EYIQZOQEVIKDOOYXN6ANP","bundle":"https://pith.science/pith/AHUR3EYIQZOQEVIKDOOYXN6ANP/bundle.json","state":"https://pith.science/pith/AHUR3EYIQZOQEVIKDOOYXN6ANP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AHUR3EYIQZOQEVIKDOOYXN6ANP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:AHUR3EYIQZOQEVIKDOOYXN6ANP","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":"f09fdf9ca18aed65545dfaf02d7826624ec9379f105dbcaf7079e7f31e6c0a05","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-11T09:48:57Z","title_canon_sha256":"f58f44952ca7db2a2a949fa8c6ae667d7f5bfc2d94a64598d609060739829e98"},"schema_version":"1.0","source":{"id":"1905.04486","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04486","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04486v1","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04486","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"pith_short_12","alias_value":"AHUR3EYIQZOQ","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"pith_short_16","alias_value":"AHUR3EYIQZOQEVIK","created_at":"2026-06-04T20:14:30Z"},{"alias_kind":"pith_short_8","alias_value":"AHUR3EYI","created_at":"2026-06-04T20:14:30Z"}],"graph_snapshots":[{"event_id":"sha256:4d77ff8b4e8dbfae28b7d71bc61620c6136614a73cd7ed4988a2dbb39eed8cc9","target":"graph","created_at":"2026-06-04T20:14:30Z","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/1905.04486/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Monitoring consists in deciding whether a log meets a given specification. In this work, we propose an automata-based formalism to monitor logs in the form of actions associated with time stamps and arbitrarily data values over infinite domains. Our formalism uses both timing parameters and data parameters, and is able to output answers symbolic in these parameters and in the log segments where the property is satisfied or violated. We implemented our approach in an ad-hoc prototype SyMon, and experiments show that its high expressive power still allows for efficient online monitoring.","authors_text":"\\'Etienne Andr\\'e, Ichiro Hasuo, Masaki Waga","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-11T09:48:57Z","title":"Symbolic Monitoring against Specifications Parametric in Time and Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04486","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:0056408da2d07bfe8fd58d818ffd087e34469a58dedec17dcfad6f5607097986","target":"record","created_at":"2026-06-04T20:14:30Z","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":"f09fdf9ca18aed65545dfaf02d7826624ec9379f105dbcaf7079e7f31e6c0a05","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-05-11T09:48:57Z","title_canon_sha256":"f58f44952ca7db2a2a949fa8c6ae667d7f5bfc2d94a64598d609060739829e98"},"schema_version":"1.0","source":{"id":"1905.04486","kind":"arxiv","version":1}},"canonical_sha256":"01e91d9308865d02550a1b9d8bb7c06bf470b81c7fd8cc447202d5efc458e1aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"01e91d9308865d02550a1b9d8bb7c06bf470b81c7fd8cc447202d5efc458e1aa","first_computed_at":"2026-06-04T20:14:30.096586Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T20:14:30.096586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GjyX3383SjZZUKzrsnHkzS07Hj93VwoTOvBkFJN1a2SRDr2wz/nMr2CfXle2JT+Q95fXd5kxM/qAqMksTrqmDA==","signature_status":"signed_v1","signed_at":"2026-06-04T20:14:30.097028Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.04486","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0056408da2d07bfe8fd58d818ffd087e34469a58dedec17dcfad6f5607097986","sha256:4d77ff8b4e8dbfae28b7d71bc61620c6136614a73cd7ed4988a2dbb39eed8cc9"],"state_sha256":"69ad66426ba002b3e99a4e84738c0f69527e578508afa2ef56bf784636d067ef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CzxQoKJ+k/Fx9FFtzAO6p2rOhSPyFfzMcCM9DoDFS/6VNJqjzSeylOvz74PeYicbjxtr3CdeEnbTVj99RlnNAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T20:05:59.580057Z","bundle_sha256":"d4d2c42f788718edc6e84f1958ba16231a6d997327622eef2da652982392b6a8"}}