{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:GGYRODWLTVNGZJCNZKZBLYWPYP","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":"39752488549e98700f137e0a103dc43bfaef2d8cdc8932e12b45327b01ee96ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-03T13:01:55Z","title_canon_sha256":"afea76901837c46a67bbe5146d85426648f69857aff8f4b259b91a195a5c8df2"},"schema_version":"1.0","source":{"id":"1906.00766","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.00766","created_at":"2026-05-17T23:44:23Z"},{"alias_kind":"arxiv_version","alias_value":"1906.00766v1","created_at":"2026-05-17T23:44:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.00766","created_at":"2026-05-17T23:44:23Z"},{"alias_kind":"pith_short_12","alias_value":"GGYRODWLTVNG","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"GGYRODWLTVNGZJCN","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"GGYRODWL","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:21415a93b5f8a1961ca490d5a66b051bb925d62b58c27226f6be547e3d29215a","target":"graph","created_at":"2026-05-17T23:44:23Z","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":"Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum: the fewer monitor guarantees that are required, the more properties become monitorable. We present a monitorability hierarchy and provide operational and syntactic characterisations for its levels. Existing monitorability definitions are mapped into our hierarchy, providing a unified framework that make","authors_text":"Adrian Francalanza, Anna Ing\\'olfsd\\'ottir, Antonis Achilleos, Karoliina Lehtinen, Luca Aceto","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-03T13:01:55Z","title":"An Operational Guide to Monitorability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.00766","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:0b92e884cdad3331c824389ca4f4960a54c7cd1b3d66bef83e192390cd655166","target":"record","created_at":"2026-05-17T23:44:23Z","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":"39752488549e98700f137e0a103dc43bfaef2d8cdc8932e12b45327b01ee96ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-03T13:01:55Z","title_canon_sha256":"afea76901837c46a67bbe5146d85426648f69857aff8f4b259b91a195a5c8df2"},"schema_version":"1.0","source":{"id":"1906.00766","kind":"arxiv","version":1}},"canonical_sha256":"31b1170ecb9d5a6ca44dcab215e2cfc3c3173b091f44400ab97f300a57a85a65","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31b1170ecb9d5a6ca44dcab215e2cfc3c3173b091f44400ab97f300a57a85a65","first_computed_at":"2026-05-17T23:44:23.958758Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:23.958758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2M/fsF9C9CK5ZjCkOfzf0HYzENZDuwkXJpn1/Mr7yQLo09Z0LSMbvV+TtPyl+NT/Oro3tixTXErLc8CFpS+qDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:23.959486Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.00766","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b92e884cdad3331c824389ca4f4960a54c7cd1b3d66bef83e192390cd655166","sha256:21415a93b5f8a1961ca490d5a66b051bb925d62b58c27226f6be547e3d29215a"],"state_sha256":"52dcf27d23c7bb8368e20c84cf18fd6ad96df1fb0e4e24b7d358c47f16ae0ea0"}