{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:ZWHAEYDHC344RHWXUJRBSGMBNB","short_pith_number":"pith:ZWHAEYDH","canonical_record":{"source":{"id":"2111.04611","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2021-11-08T16:33:53Z","cross_cats_sorted":[],"title_canon_sha256":"cc884399223e84049ead95c05953d7c887d3e3ad9cfad582c880e54e8bcc7ad1","abstract_canon_sha256":"48e9822d4c94281538fb1592502b41b63498e1365974a64594049b69a578c509"},"schema_version":"1.0"},"canonical_sha256":"cd8e02606716f9c89ed7a262191981685e7ca93cf33157f87b2245c10956123c","source":{"kind":"arxiv","id":"2111.04611","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.04611","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"arxiv_version","alias_value":"2111.04611v2","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.04611","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"pith_short_12","alias_value":"ZWHAEYDHC344","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZWHAEYDHC344RHWX","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZWHAEYDH","created_at":"2026-07-05T04:22:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:ZWHAEYDHC344RHWXUJRBSGMBNB","target":"record","payload":{"canonical_record":{"source":{"id":"2111.04611","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2021-11-08T16:33:53Z","cross_cats_sorted":[],"title_canon_sha256":"cc884399223e84049ead95c05953d7c887d3e3ad9cfad582c880e54e8bcc7ad1","abstract_canon_sha256":"48e9822d4c94281538fb1592502b41b63498e1365974a64594049b69a578c509"},"schema_version":"1.0"},"canonical_sha256":"cd8e02606716f9c89ed7a262191981685e7ca93cf33157f87b2245c10956123c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:22:52.812540Z","signature_b64":"S6Ya+Cxwl+FXKg/pjJOTCNlAAMqoLWIBk+nyd7c0U9llnaD7lS75TIRGAZOIlcKnE0KCrQf8xeX4t23iGZOGBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd8e02606716f9c89ed7a262191981685e7ca93cf33157f87b2245c10956123c","last_reissued_at":"2026-07-05T04:22:52.811966Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:22:52.811966Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.04611","source_version":2,"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-05T04:22:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UuWnTOLq9DL6Dh/OCS5J/324QvGpaJ3/sP/Dg/Bs6AfsE2j07uk51SSvwut7zh0w5U8WClVIZLqdEGoT7h/hAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:30:21.335482Z"},"content_sha256":"6b2c886e4cf9d4e328f4f00fc9c43c9b2eb8db9b6cac8c233f413e23b2871648","schema_version":"1.0","event_id":"sha256:6b2c886e4cf9d4e328f4f00fc9c43c9b2eb8db9b6cac8c233f413e23b2871648"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:ZWHAEYDHC344RHWXUJRBSGMBNB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety Validation of Autonomous Vehicles using Assertion Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Abanoub Ghobrial, Christopher Harper, Greg Chance, Kerstin Eder, Saquib Alam, Tony Pipe","submitted_at":"2021-11-08T16:33:53Z","abstract_excerpt":"Safety and mission performance validation of autonomous vehicles (AVs) is a major challenge. In this paper we describe a methodology for constructing and applying assertion checks to validate the behaviour of an AV operating either in simulation or in the real world. We have identified a taxonomy of assertion types and the general format of their specification, and we have developed procedures for translating driving codes of practice to yield formal logical expressions that can be monitored automatically by computer, either by direct translation or by physical modelling. We have developed exa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.04611","kind":"arxiv","version":2},"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/2111.04611/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-05T04:22:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fJadgy2KuQGZvy0Nky1iNTfP3t4NOKbAECL+Anr+u3+e+VpEHazHEttNCyEmwxBqQZPpQfP7ESWldJvVcebzAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:30:21.335855Z"},"content_sha256":"bf51a3bdc41f7291c73b5d4464c62b392d3423950a87df783aa3f541ad6d989b","schema_version":"1.0","event_id":"sha256:bf51a3bdc41f7291c73b5d4464c62b392d3423950a87df783aa3f541ad6d989b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZWHAEYDHC344RHWXUJRBSGMBNB/bundle.json","state_url":"https://pith.science/pith/ZWHAEYDHC344RHWXUJRBSGMBNB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZWHAEYDHC344RHWXUJRBSGMBNB/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-07-07T11:30:21Z","links":{"resolver":"https://pith.science/pith/ZWHAEYDHC344RHWXUJRBSGMBNB","bundle":"https://pith.science/pith/ZWHAEYDHC344RHWXUJRBSGMBNB/bundle.json","state":"https://pith.science/pith/ZWHAEYDHC344RHWXUJRBSGMBNB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZWHAEYDHC344RHWXUJRBSGMBNB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:ZWHAEYDHC344RHWXUJRBSGMBNB","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":"48e9822d4c94281538fb1592502b41b63498e1365974a64594049b69a578c509","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2021-11-08T16:33:53Z","title_canon_sha256":"cc884399223e84049ead95c05953d7c887d3e3ad9cfad582c880e54e8bcc7ad1"},"schema_version":"1.0","source":{"id":"2111.04611","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.04611","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"arxiv_version","alias_value":"2111.04611v2","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.04611","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"pith_short_12","alias_value":"ZWHAEYDHC344","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZWHAEYDHC344RHWX","created_at":"2026-07-05T04:22:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZWHAEYDH","created_at":"2026-07-05T04:22:52Z"}],"graph_snapshots":[{"event_id":"sha256:bf51a3bdc41f7291c73b5d4464c62b392d3423950a87df783aa3f541ad6d989b","target":"graph","created_at":"2026-07-05T04:22:52Z","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/2111.04611/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Safety and mission performance validation of autonomous vehicles (AVs) is a major challenge. In this paper we describe a methodology for constructing and applying assertion checks to validate the behaviour of an AV operating either in simulation or in the real world. We have identified a taxonomy of assertion types and the general format of their specification, and we have developed procedures for translating driving codes of practice to yield formal logical expressions that can be monitored automatically by computer, either by direct translation or by physical modelling. We have developed exa","authors_text":"Abanoub Ghobrial, Christopher Harper, Greg Chance, Kerstin Eder, Saquib Alam, Tony Pipe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2021-11-08T16:33:53Z","title":"Safety Validation of Autonomous Vehicles using Assertion Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.04611","kind":"arxiv","version":2},"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:6b2c886e4cf9d4e328f4f00fc9c43c9b2eb8db9b6cac8c233f413e23b2871648","target":"record","created_at":"2026-07-05T04:22:52Z","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":"48e9822d4c94281538fb1592502b41b63498e1365974a64594049b69a578c509","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2021-11-08T16:33:53Z","title_canon_sha256":"cc884399223e84049ead95c05953d7c887d3e3ad9cfad582c880e54e8bcc7ad1"},"schema_version":"1.0","source":{"id":"2111.04611","kind":"arxiv","version":2}},"canonical_sha256":"cd8e02606716f9c89ed7a262191981685e7ca93cf33157f87b2245c10956123c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd8e02606716f9c89ed7a262191981685e7ca93cf33157f87b2245c10956123c","first_computed_at":"2026-07-05T04:22:52.811966Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:22:52.811966Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S6Ya+Cxwl+FXKg/pjJOTCNlAAMqoLWIBk+nyd7c0U9llnaD7lS75TIRGAZOIlcKnE0KCrQf8xeX4t23iGZOGBg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:22:52.812540Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.04611","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6b2c886e4cf9d4e328f4f00fc9c43c9b2eb8db9b6cac8c233f413e23b2871648","sha256:bf51a3bdc41f7291c73b5d4464c62b392d3423950a87df783aa3f541ad6d989b"],"state_sha256":"34026da1f13a53e0f1fef5b39536865849520eb9237f32d29ee6eaf494c92710"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VtpKV+8iMlDUP4nKj/w5dABVt6mH7PLEdAwcG1Sv6AxHr9Yd/oV0Au9X/uRI131VbciHxudbVziTCXMnPwsrBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T11:30:21.337746Z","bundle_sha256":"2957c12e5c7c1c49ef2196c2f2a159f47bdf1ab0fb70ff4c7bd9df1a6467cf88"}}