{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:KT7DWJWJCG7RYR22DCWN4PGSSZ","short_pith_number":"pith:KT7DWJWJ","canonical_record":{"source":{"id":"2411.14367","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-21T18:07:31Z","cross_cats_sorted":["cs.AI","cs.RO"],"title_canon_sha256":"5e6f1f35e9ca6cfd76f15e44d42ed9e489a6a805b674c070bbcf845e360a8739","abstract_canon_sha256":"8fd85417c6f05b7a77553bcdc927fd479a65c5b4649418b582b0e003b281c7f1"},"schema_version":"1.0"},"canonical_sha256":"54fe3b26c911bf1c475a18acde3cd29676898715fa5da9fc519f5fe34887f453","source":{"kind":"arxiv","id":"2411.14367","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14367","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14367v1","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14367","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_12","alias_value":"KT7DWJWJCG7R","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_16","alias_value":"KT7DWJWJCG7RYR22","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_8","alias_value":"KT7DWJWJ","created_at":"2026-07-05T09:38:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:KT7DWJWJCG7RYR22DCWN4PGSSZ","target":"record","payload":{"canonical_record":{"source":{"id":"2411.14367","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-21T18:07:31Z","cross_cats_sorted":["cs.AI","cs.RO"],"title_canon_sha256":"5e6f1f35e9ca6cfd76f15e44d42ed9e489a6a805b674c070bbcf845e360a8739","abstract_canon_sha256":"8fd85417c6f05b7a77553bcdc927fd479a65c5b4649418b582b0e003b281c7f1"},"schema_version":"1.0"},"canonical_sha256":"54fe3b26c911bf1c475a18acde3cd29676898715fa5da9fc519f5fe34887f453","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:38:45.748120Z","signature_b64":"AqnEjHZxBuTZeFbSW17FKUMjx5pgtzdGqpImHPwsIgiarIGGl6lNevqKnXA03Bfw++C5Drtr/ENJ/HVW0GA7CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"54fe3b26c911bf1c475a18acde3cd29676898715fa5da9fc519f5fe34887f453","last_reissued_at":"2026-07-05T09:38:45.747614Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:38:45.747614Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.14367","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-05T09:38:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nySeJANufPqKLgEnEU8+qGRGaE4k+OfobXXAc1AdAt2LZG0snGre5jbp9W9qGPhM7pQfQWqTZOrRADuWRWH4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T04:50:09.975283Z"},"content_sha256":"df6f012b50f0fb7714ea4f3f691ab3303f87d9db2c32d485e87446b1728bcdec","schema_version":"1.0","event_id":"sha256:df6f012b50f0fb7714ea4f3f691ab3303f87d9db2c32d485e87446b1728bcdec"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:KT7DWJWJCG7RYR22DCWN4PGSSZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.RO"],"primary_cat":"cs.SE","authors_text":"Angelo Ferrando (University of Modena, Louise A. Dennis (University of Manchester), Maryam Ghaffari Saadat (University of Manchester), Michael Fisher (University of Manchester), Reggio Emilia)","submitted_at":"2024-11-21T18:07:31Z","abstract_excerpt":"Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of ROSMonitoring designed to facilitate the monitoring of both topics and services while considering the order in which messages are published and received. The framework has been enhanced to support these novel features for ROS1 -- and partially ROS2 environments -- offering improved real-time support, security, scalability, and interoperability. We discuss the modifications made to accommodate these advancements and pre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14367","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/2411.14367/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-05T09:38:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8xHUDkzfL5FhDa8hv1ZHFAYdiEuGTgyVUw3wEbaywv7t9AneqqPtrTisCRc9gBsmsPZuCnvPD6va7utPSPI9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T04:50:09.975793Z"},"content_sha256":"250c486280d61546b43930fbcdcad5dc4c535da0c98747a4605e0151ea0d8bd6","schema_version":"1.0","event_id":"sha256:250c486280d61546b43930fbcdcad5dc4c535da0c98747a4605e0151ea0d8bd6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KT7DWJWJCG7RYR22DCWN4PGSSZ/bundle.json","state_url":"https://pith.science/pith/KT7DWJWJCG7RYR22DCWN4PGSSZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KT7DWJWJCG7RYR22DCWN4PGSSZ/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-13T04:50:09Z","links":{"resolver":"https://pith.science/pith/KT7DWJWJCG7RYR22DCWN4PGSSZ","bundle":"https://pith.science/pith/KT7DWJWJCG7RYR22DCWN4PGSSZ/bundle.json","state":"https://pith.science/pith/KT7DWJWJCG7RYR22DCWN4PGSSZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KT7DWJWJCG7RYR22DCWN4PGSSZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:KT7DWJWJCG7RYR22DCWN4PGSSZ","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":"8fd85417c6f05b7a77553bcdc927fd479a65c5b4649418b582b0e003b281c7f1","cross_cats_sorted":["cs.AI","cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-21T18:07:31Z","title_canon_sha256":"5e6f1f35e9ca6cfd76f15e44d42ed9e489a6a805b674c070bbcf845e360a8739"},"schema_version":"1.0","source":{"id":"2411.14367","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14367","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14367v1","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14367","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_12","alias_value":"KT7DWJWJCG7R","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_16","alias_value":"KT7DWJWJCG7RYR22","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_8","alias_value":"KT7DWJWJ","created_at":"2026-07-05T09:38:45Z"}],"graph_snapshots":[{"event_id":"sha256:250c486280d61546b43930fbcdcad5dc4c535da0c98747a4605e0151ea0d8bd6","target":"graph","created_at":"2026-07-05T09:38: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2411.14367/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of ROSMonitoring designed to facilitate the monitoring of both topics and services while considering the order in which messages are published and received. The framework has been enhanced to support these novel features for ROS1 -- and partially ROS2 environments -- offering improved real-time support, security, scalability, and interoperability. We discuss the modifications made to accommodate these advancements and pre","authors_text":"Angelo Ferrando (University of Modena, Louise A. Dennis (University of Manchester), Maryam Ghaffari Saadat (University of Manchester), Michael Fisher (University of Manchester), Reggio Emilia)","cross_cats":["cs.AI","cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-21T18:07:31Z","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14367","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:df6f012b50f0fb7714ea4f3f691ab3303f87d9db2c32d485e87446b1728bcdec","target":"record","created_at":"2026-07-05T09:38: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":"8fd85417c6f05b7a77553bcdc927fd479a65c5b4649418b582b0e003b281c7f1","cross_cats_sorted":["cs.AI","cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-21T18:07:31Z","title_canon_sha256":"5e6f1f35e9ca6cfd76f15e44d42ed9e489a6a805b674c070bbcf845e360a8739"},"schema_version":"1.0","source":{"id":"2411.14367","kind":"arxiv","version":1}},"canonical_sha256":"54fe3b26c911bf1c475a18acde3cd29676898715fa5da9fc519f5fe34887f453","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"54fe3b26c911bf1c475a18acde3cd29676898715fa5da9fc519f5fe34887f453","first_computed_at":"2026-07-05T09:38:45.747614Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:38:45.747614Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AqnEjHZxBuTZeFbSW17FKUMjx5pgtzdGqpImHPwsIgiarIGGl6lNevqKnXA03Bfw++C5Drtr/ENJ/HVW0GA7CA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:38:45.748120Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.14367","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df6f012b50f0fb7714ea4f3f691ab3303f87d9db2c32d485e87446b1728bcdec","sha256:250c486280d61546b43930fbcdcad5dc4c535da0c98747a4605e0151ea0d8bd6"],"state_sha256":"a3b7daab1cea915349c6433e8d181ca41734d38e03a10b1d150b4f02c2df2415"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GO01fcnVqHAKar1y7heXrgfNWtFtkLtpsu1B1rfQ4M7d70iDGPLd1mm4c2HLwBaVFKI0VV7BPNZADJMeU8OICQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T04:50:09.980751Z","bundle_sha256":"8f9282cb368e5bbe52f55a054986a4529ed9cd2b71c89f982772610afe6f8922"}}