{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:QSZWZT5VY6BIUDRY5FJ5PUJYX4","short_pith_number":"pith:QSZWZT5V","canonical_record":{"source":{"id":"2401.16633","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T00:06:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"811a8fc4baa1dce1edb19fe5d9f1b5afea01c073eb2bb4d9a5f4f69338c8b2e0","abstract_canon_sha256":"74fb17abb49304b40967a85c85a7d51a6048e7c683ff4df6e5acb12472102abb"},"schema_version":"1.0"},"canonical_sha256":"84b36ccfb5c7828a0e38e953d7d138bf07351c37927ee6ccfcc4c3c842cbcf00","source":{"kind":"arxiv","id":"2401.16633","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.16633","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"arxiv_version","alias_value":"2401.16633v1","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.16633","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"pith_short_12","alias_value":"QSZWZT5VY6BI","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"pith_short_16","alias_value":"QSZWZT5VY6BIUDRY","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"pith_short_8","alias_value":"QSZWZT5V","created_at":"2026-07-05T07:38:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:QSZWZT5VY6BIUDRY5FJ5PUJYX4","target":"record","payload":{"canonical_record":{"source":{"id":"2401.16633","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T00:06:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"811a8fc4baa1dce1edb19fe5d9f1b5afea01c073eb2bb4d9a5f4f69338c8b2e0","abstract_canon_sha256":"74fb17abb49304b40967a85c85a7d51a6048e7c683ff4df6e5acb12472102abb"},"schema_version":"1.0"},"canonical_sha256":"84b36ccfb5c7828a0e38e953d7d138bf07351c37927ee6ccfcc4c3c842cbcf00","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:38:58.084168Z","signature_b64":"QLCF0wjzxLAJPjmM8iAeYFMN2kFOUR1lx0tiO1i8k4bCGZKzq3hQJJ2lV29WY+o9cKTZrifoHB7VE7sRbiDLDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"84b36ccfb5c7828a0e38e953d7d138bf07351c37927ee6ccfcc4c3c842cbcf00","last_reissued_at":"2026-07-05T07:38:58.083788Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:38:58.083788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.16633","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-05T07:38:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k92E0JWebZVHf7a5SiwK6PXn8zmx16LmgUZyVbIlxtVSBZrrGqLoEjfAGtmzkWHfHlAZuXEC1oYdN0DAJso6CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T13:08:35.646301Z"},"content_sha256":"917161f50987e67fe242700542cd93e460cd6d7a31ea46d1fc63ea586b0601b2","schema_version":"1.0","event_id":"sha256:917161f50987e67fe242700542cd93e460cd6d7a31ea46d1fc63ea586b0601b2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:QSZWZT5VY6BIUDRY5FJ5PUJYX4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Alvine B. Belle, Hadi Hemmati, Kimya Khakzad Shahandashti, Mithila Sivakumar, Oluwafemi Odu, Opeyemi O. Adesina, Segla Kpodjedo, Song Wang","submitted_at":"2024-01-30T00:06:16Z","abstract_excerpt":"The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries, large-scale environmental damage, property destruction, and major economic loss. Hence, such systems usually require a strong justification that they will effectively support critical requirements (e.g., safety, security, and reliability) for which they were designed. Thus, it is often mandatory to develop compelling assurance cases to support that justification and allow regulatory bodies to certify such systems. In"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.16633","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/2401.16633/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-05T07:38:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mlB+uCn9MSz8flzNvTRH5jpQg15kbziD3hSZnNXiCoPHoZm8tM3gs5IJavoCzDLKf3imJGQVm1Y21IY5giXkCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T13:08:35.646818Z"},"content_sha256":"4afb5f20dd324d046753fcc1fbca5ea56b0f3ae341b9b037c032c1cda4607ab0","schema_version":"1.0","event_id":"sha256:4afb5f20dd324d046753fcc1fbca5ea56b0f3ae341b9b037c032c1cda4607ab0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QSZWZT5VY6BIUDRY5FJ5PUJYX4/bundle.json","state_url":"https://pith.science/pith/QSZWZT5VY6BIUDRY5FJ5PUJYX4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QSZWZT5VY6BIUDRY5FJ5PUJYX4/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-22T13:08:35Z","links":{"resolver":"https://pith.science/pith/QSZWZT5VY6BIUDRY5FJ5PUJYX4","bundle":"https://pith.science/pith/QSZWZT5VY6BIUDRY5FJ5PUJYX4/bundle.json","state":"https://pith.science/pith/QSZWZT5VY6BIUDRY5FJ5PUJYX4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QSZWZT5VY6BIUDRY5FJ5PUJYX4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QSZWZT5VY6BIUDRY5FJ5PUJYX4","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":"74fb17abb49304b40967a85c85a7d51a6048e7c683ff4df6e5acb12472102abb","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T00:06:16Z","title_canon_sha256":"811a8fc4baa1dce1edb19fe5d9f1b5afea01c073eb2bb4d9a5f4f69338c8b2e0"},"schema_version":"1.0","source":{"id":"2401.16633","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.16633","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"arxiv_version","alias_value":"2401.16633v1","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.16633","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"pith_short_12","alias_value":"QSZWZT5VY6BI","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"pith_short_16","alias_value":"QSZWZT5VY6BIUDRY","created_at":"2026-07-05T07:38:58Z"},{"alias_kind":"pith_short_8","alias_value":"QSZWZT5V","created_at":"2026-07-05T07:38:58Z"}],"graph_snapshots":[{"event_id":"sha256:4afb5f20dd324d046753fcc1fbca5ea56b0f3ae341b9b037c032c1cda4607ab0","target":"graph","created_at":"2026-07-05T07:38:58Z","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/2401.16633/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The execution failure of cyber-physical systems (e.g., autonomous driving systems, unmanned aerial systems, and robotic systems) could result in the loss of life, severe injuries, large-scale environmental damage, property destruction, and major economic loss. Hence, such systems usually require a strong justification that they will effectively support critical requirements (e.g., safety, security, and reliability) for which they were designed. Thus, it is often mandatory to develop compelling assurance cases to support that justification and allow regulatory bodies to certify such systems. In","authors_text":"Alvine B. Belle, Hadi Hemmati, Kimya Khakzad Shahandashti, Mithila Sivakumar, Oluwafemi Odu, Opeyemi O. Adesina, Segla Kpodjedo, Song Wang","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T00:06:16Z","title":"I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.16633","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:917161f50987e67fe242700542cd93e460cd6d7a31ea46d1fc63ea586b0601b2","target":"record","created_at":"2026-07-05T07:38:58Z","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":"74fb17abb49304b40967a85c85a7d51a6048e7c683ff4df6e5acb12472102abb","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T00:06:16Z","title_canon_sha256":"811a8fc4baa1dce1edb19fe5d9f1b5afea01c073eb2bb4d9a5f4f69338c8b2e0"},"schema_version":"1.0","source":{"id":"2401.16633","kind":"arxiv","version":1}},"canonical_sha256":"84b36ccfb5c7828a0e38e953d7d138bf07351c37927ee6ccfcc4c3c842cbcf00","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"84b36ccfb5c7828a0e38e953d7d138bf07351c37927ee6ccfcc4c3c842cbcf00","first_computed_at":"2026-07-05T07:38:58.083788Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:38:58.083788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QLCF0wjzxLAJPjmM8iAeYFMN2kFOUR1lx0tiO1i8k4bCGZKzq3hQJJ2lV29WY+o9cKTZrifoHB7VE7sRbiDLDA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:38:58.084168Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.16633","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:917161f50987e67fe242700542cd93e460cd6d7a31ea46d1fc63ea586b0601b2","sha256:4afb5f20dd324d046753fcc1fbca5ea56b0f3ae341b9b037c032c1cda4607ab0"],"state_sha256":"e8c53c8dce5b5456e496c76b585af0494312220945a8a12e38a4058df0eb10ce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ijqLI5JeKzS6VWVPeK+R9SIrsxv0b7D1fMotvD6ZORYL94+cIgvfk29n4+KDTBCgfhvawVEwd2QeiiX2AVbTAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T13:08:35.651300Z","bundle_sha256":"45754a1cd54c022bcd96087a69e5673607c999065e2bfd404278e8205885933c"}}