{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:P6YK4VVNMPAKSZCJW6ACBF2TRA","short_pith_number":"pith:P6YK4VVN","canonical_record":{"source":{"id":"2411.14368","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-21T18:07:46Z","cross_cats_sorted":["cs.HC","cs.SE"],"title_canon_sha256":"f1687a1acfcf11c1c216de6b19b1cbf905b2d2638749e583bf91f583972403d3","abstract_canon_sha256":"6cefba91b3f3a0b1847183a8f645067d18a9bf14582c77eece9f48d1c64aca2d"},"schema_version":"1.0"},"canonical_sha256":"7fb0ae56ad63c0a96449b780209753880fb66331e970cfb81112a32fcb8b65ac","source":{"kind":"arxiv","id":"2411.14368","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14368","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14368v1","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14368","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_12","alias_value":"P6YK4VVNMPAK","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_16","alias_value":"P6YK4VVNMPAKSZCJ","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_8","alias_value":"P6YK4VVN","created_at":"2026-07-05T09:38:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:P6YK4VVNMPAKSZCJW6ACBF2TRA","target":"record","payload":{"canonical_record":{"source":{"id":"2411.14368","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-21T18:07:46Z","cross_cats_sorted":["cs.HC","cs.SE"],"title_canon_sha256":"f1687a1acfcf11c1c216de6b19b1cbf905b2d2638749e583bf91f583972403d3","abstract_canon_sha256":"6cefba91b3f3a0b1847183a8f645067d18a9bf14582c77eece9f48d1c64aca2d"},"schema_version":"1.0"},"canonical_sha256":"7fb0ae56ad63c0a96449b780209753880fb66331e970cfb81112a32fcb8b65ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:38:45.780228Z","signature_b64":"66EI8Xyn0HYe7xXJm+tAGVyt4UlbfmhDmVCxaQlX1xs0WAGjlxeqIr1UkatLgWzagiaidQP6CnHbC7HWspBnAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7fb0ae56ad63c0a96449b780209753880fb66331e970cfb81112a32fcb8b65ac","last_reissued_at":"2026-07-05T09:38:45.779726Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:38:45.779726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.14368","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":"p6Y0IVI/XIC+8moRiI+in1nN+13N/S7GwAPvarT/bLYcAwq5nuUsGO5Xn1VXbX2BsCiiqikKOzmT3JEmLk+QCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T14:53:42.142239Z"},"content_sha256":"3c80332c3dc89988494b1c1d8e5cf17bc9bc4f84c23ede6b17ae611ef15876f0","schema_version":"1.0","event_id":"sha256:3c80332c3dc89988494b1c1d8e5cf17bc9bc4f84c23ede6b17ae611ef15876f0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:P6YK4VVNMPAKSZCJW6ACBF2TRA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.HC","cs.SE"],"primary_cat":"cs.AI","authors_text":"Andrea Gatti (University of Genoa), Angelo Ferrando (University of Modena, Reggio Emilia), Viviana Mascardi (University of Genoa)","submitted_at":"2024-11-21T18:07:46Z","abstract_excerpt":"Chatbots have become integral to various application domains, including those with safety-critical considerations. As a result, there is a pressing need for methods that ensure chatbots consistently adhere to expected, safe behaviours. In this paper, we introduce RV4Chatbot, a Runtime Verification framework designed to monitor deviations in chatbot behaviour. We formalise expected behaviours as interaction protocols between the user and the chatbot. We present the RV4Chatbot design and describe two implementations that instantiate it: RV4Rasa, for monitoring chatbots created with the Rasa fram"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14368","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.14368/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":"hLb3TSAEhnOHzUfqAR7loQPAEOaSkQd2pWTiq117KZvVVk75tktugLhhPM8WoVGIeyzZSVZiamSz1fdNE6BwCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T14:53:42.142841Z"},"content_sha256":"8215400c35f4c1f21dfd87e405d8a0dd24a0848f45a7b6d6b11be08d1dfadb55","schema_version":"1.0","event_id":"sha256:8215400c35f4c1f21dfd87e405d8a0dd24a0848f45a7b6d6b11be08d1dfadb55"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P6YK4VVNMPAKSZCJW6ACBF2TRA/bundle.json","state_url":"https://pith.science/pith/P6YK4VVNMPAKSZCJW6ACBF2TRA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P6YK4VVNMPAKSZCJW6ACBF2TRA/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-13T14:53:42Z","links":{"resolver":"https://pith.science/pith/P6YK4VVNMPAKSZCJW6ACBF2TRA","bundle":"https://pith.science/pith/P6YK4VVNMPAKSZCJW6ACBF2TRA/bundle.json","state":"https://pith.science/pith/P6YK4VVNMPAKSZCJW6ACBF2TRA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P6YK4VVNMPAKSZCJW6ACBF2TRA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:P6YK4VVNMPAKSZCJW6ACBF2TRA","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":"6cefba91b3f3a0b1847183a8f645067d18a9bf14582c77eece9f48d1c64aca2d","cross_cats_sorted":["cs.HC","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-21T18:07:46Z","title_canon_sha256":"f1687a1acfcf11c1c216de6b19b1cbf905b2d2638749e583bf91f583972403d3"},"schema_version":"1.0","source":{"id":"2411.14368","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14368","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14368v1","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14368","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_12","alias_value":"P6YK4VVNMPAK","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_16","alias_value":"P6YK4VVNMPAKSZCJ","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_8","alias_value":"P6YK4VVN","created_at":"2026-07-05T09:38:45Z"}],"graph_snapshots":[{"event_id":"sha256:8215400c35f4c1f21dfd87e405d8a0dd24a0848f45a7b6d6b11be08d1dfadb55","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.14368/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Chatbots have become integral to various application domains, including those with safety-critical considerations. As a result, there is a pressing need for methods that ensure chatbots consistently adhere to expected, safe behaviours. In this paper, we introduce RV4Chatbot, a Runtime Verification framework designed to monitor deviations in chatbot behaviour. We formalise expected behaviours as interaction protocols between the user and the chatbot. We present the RV4Chatbot design and describe two implementations that instantiate it: RV4Rasa, for monitoring chatbots created with the Rasa fram","authors_text":"Andrea Gatti (University of Genoa), Angelo Ferrando (University of Modena, Reggio Emilia), Viviana Mascardi (University of Genoa)","cross_cats":["cs.HC","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-21T18:07:46Z","title":"RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14368","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:3c80332c3dc89988494b1c1d8e5cf17bc9bc4f84c23ede6b17ae611ef15876f0","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":"6cefba91b3f3a0b1847183a8f645067d18a9bf14582c77eece9f48d1c64aca2d","cross_cats_sorted":["cs.HC","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-11-21T18:07:46Z","title_canon_sha256":"f1687a1acfcf11c1c216de6b19b1cbf905b2d2638749e583bf91f583972403d3"},"schema_version":"1.0","source":{"id":"2411.14368","kind":"arxiv","version":1}},"canonical_sha256":"7fb0ae56ad63c0a96449b780209753880fb66331e970cfb81112a32fcb8b65ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7fb0ae56ad63c0a96449b780209753880fb66331e970cfb81112a32fcb8b65ac","first_computed_at":"2026-07-05T09:38:45.779726Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:38:45.779726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"66EI8Xyn0HYe7xXJm+tAGVyt4UlbfmhDmVCxaQlX1xs0WAGjlxeqIr1UkatLgWzagiaidQP6CnHbC7HWspBnAg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:38:45.780228Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.14368","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c80332c3dc89988494b1c1d8e5cf17bc9bc4f84c23ede6b17ae611ef15876f0","sha256:8215400c35f4c1f21dfd87e405d8a0dd24a0848f45a7b6d6b11be08d1dfadb55"],"state_sha256":"f1a6bc5a04627dc2a370368bf42ef3f39bbd786b0b4a4bb26960f085a46111cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7ahVttkt9/TX0UeksfLVY1a90ORUAygK5hBMzmr1877zz6ddWC5749k6LIX1Pbcn2o1hIl7U55WirHKCAwhlCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T14:53:42.148749Z","bundle_sha256":"fc7dde2cedee0b72cd26d28a2f7c2567af986be098bf8927c09cb548b9833703"}}