{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:4YVLIQANZ6AFT5XEVFEUBLNAH5","short_pith_number":"pith:4YVLIQAN","canonical_record":{"source":{"id":"2007.00330","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-07-01T08:50:47Z","cross_cats_sorted":[],"title_canon_sha256":"322fa5c045bfc3ac6995fc62e71825ce04de658baefb9b406b7e99a425e392c5","abstract_canon_sha256":"134890a77634cd85119d421423d47bb302582c049412b0cdafb77c212beadbf0"},"schema_version":"1.0"},"canonical_sha256":"e62ab4400dcf8059f6e4a94940ada03f469384f95ffe6b7bceb6c8df9e3c1464","source":{"kind":"arxiv","id":"2007.00330","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.00330","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"arxiv_version","alias_value":"2007.00330v2","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.00330","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"pith_short_12","alias_value":"4YVLIQANZ6AF","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"pith_short_16","alias_value":"4YVLIQANZ6AFT5XE","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"pith_short_8","alias_value":"4YVLIQAN","created_at":"2026-07-05T02:13:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:4YVLIQANZ6AFT5XEVFEUBLNAH5","target":"record","payload":{"canonical_record":{"source":{"id":"2007.00330","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-07-01T08:50:47Z","cross_cats_sorted":[],"title_canon_sha256":"322fa5c045bfc3ac6995fc62e71825ce04de658baefb9b406b7e99a425e392c5","abstract_canon_sha256":"134890a77634cd85119d421423d47bb302582c049412b0cdafb77c212beadbf0"},"schema_version":"1.0"},"canonical_sha256":"e62ab4400dcf8059f6e4a94940ada03f469384f95ffe6b7bceb6c8df9e3c1464","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:13:02.778428Z","signature_b64":"zMpVDeH21/LV4s1FFgbwC8fYd1QDgJVC9+YAKzDQOIj2EENErKVfd5yXVoKf3VneYRzNwjWeo0XYZps5NbbKBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e62ab4400dcf8059f6e4a94940ada03f469384f95ffe6b7bceb6c8df9e3c1464","last_reissued_at":"2026-07-05T02:13:02.778013Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:13:02.778013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2007.00330","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-05T02:13:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n3s9aRDSNZesmKkSzTMmGCnaTom7mL6NonmHe30/sf2yapWF3K2TmSGBWbXtl4jGwiZLcLKFSyHmnf9iWBWwAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:15:31.512380Z"},"content_sha256":"24d239d0889d0120320c6dae0879d101b08ced64de6c3623957d4423ae31090e","schema_version":"1.0","event_id":"sha256:24d239d0889d0120320c6dae0879d101b08ced64de6c3623957d4423ae31090e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:4YVLIQANZ6AFT5XEVFEUBLNAH5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formalizing Traffic Rules for Machine Interpretability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Alois Knoll, Klemens Esterle, Luis Gressenbuch","submitted_at":"2020-07-01T08:50:47Z","abstract_excerpt":"Autonomous vehicles need to be designed to abide by the same rules that humans follow. This is challenging, because traffic rules are fuzzy and not well defined, making them incomprehensible to machines. Satisfaction cannot be incorporated in a planning component without proper formalization, nor can it be monitored and verified during simulation or testing. However, no research work has provided a consistent set of machine-interpretable traffic rules for a given operational driving domain. In this paper, we propose a methodology for the legal study and formalization of traffic rules in a form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.00330","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/2007.00330/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-05T02:13:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nNkwjzK0BZ2hXY2mWBYaBS4Wsocr8/lrTfbHn3GB9zguTN6AEU9WcJBe9XPdBTt3JPfcoObf/KNf5QkW51pqCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:15:31.513332Z"},"content_sha256":"49915247c260722470c1a5630ade735ad04da7b9fc065098eb05c20269e6422d","schema_version":"1.0","event_id":"sha256:49915247c260722470c1a5630ade735ad04da7b9fc065098eb05c20269e6422d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4YVLIQANZ6AFT5XEVFEUBLNAH5/bundle.json","state_url":"https://pith.science/pith/4YVLIQANZ6AFT5XEVFEUBLNAH5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4YVLIQANZ6AFT5XEVFEUBLNAH5/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-03T17:15:31Z","links":{"resolver":"https://pith.science/pith/4YVLIQANZ6AFT5XEVFEUBLNAH5","bundle":"https://pith.science/pith/4YVLIQANZ6AFT5XEVFEUBLNAH5/bundle.json","state":"https://pith.science/pith/4YVLIQANZ6AFT5XEVFEUBLNAH5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4YVLIQANZ6AFT5XEVFEUBLNAH5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:4YVLIQANZ6AFT5XEVFEUBLNAH5","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":"134890a77634cd85119d421423d47bb302582c049412b0cdafb77c212beadbf0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-07-01T08:50:47Z","title_canon_sha256":"322fa5c045bfc3ac6995fc62e71825ce04de658baefb9b406b7e99a425e392c5"},"schema_version":"1.0","source":{"id":"2007.00330","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.00330","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"arxiv_version","alias_value":"2007.00330v2","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.00330","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"pith_short_12","alias_value":"4YVLIQANZ6AF","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"pith_short_16","alias_value":"4YVLIQANZ6AFT5XE","created_at":"2026-07-05T02:13:02Z"},{"alias_kind":"pith_short_8","alias_value":"4YVLIQAN","created_at":"2026-07-05T02:13:02Z"}],"graph_snapshots":[{"event_id":"sha256:49915247c260722470c1a5630ade735ad04da7b9fc065098eb05c20269e6422d","target":"graph","created_at":"2026-07-05T02:13:02Z","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/2007.00330/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous vehicles need to be designed to abide by the same rules that humans follow. This is challenging, because traffic rules are fuzzy and not well defined, making them incomprehensible to machines. Satisfaction cannot be incorporated in a planning component without proper formalization, nor can it be monitored and verified during simulation or testing. However, no research work has provided a consistent set of machine-interpretable traffic rules for a given operational driving domain. In this paper, we propose a methodology for the legal study and formalization of traffic rules in a form","authors_text":"Alois Knoll, Klemens Esterle, Luis Gressenbuch","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-07-01T08:50:47Z","title":"Formalizing Traffic Rules for Machine Interpretability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.00330","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:24d239d0889d0120320c6dae0879d101b08ced64de6c3623957d4423ae31090e","target":"record","created_at":"2026-07-05T02:13:02Z","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":"134890a77634cd85119d421423d47bb302582c049412b0cdafb77c212beadbf0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-07-01T08:50:47Z","title_canon_sha256":"322fa5c045bfc3ac6995fc62e71825ce04de658baefb9b406b7e99a425e392c5"},"schema_version":"1.0","source":{"id":"2007.00330","kind":"arxiv","version":2}},"canonical_sha256":"e62ab4400dcf8059f6e4a94940ada03f469384f95ffe6b7bceb6c8df9e3c1464","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e62ab4400dcf8059f6e4a94940ada03f469384f95ffe6b7bceb6c8df9e3c1464","first_computed_at":"2026-07-05T02:13:02.778013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:13:02.778013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zMpVDeH21/LV4s1FFgbwC8fYd1QDgJVC9+YAKzDQOIj2EENErKVfd5yXVoKf3VneYRzNwjWeo0XYZps5NbbKBg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:13:02.778428Z","signed_message":"canonical_sha256_bytes"},"source_id":"2007.00330","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:24d239d0889d0120320c6dae0879d101b08ced64de6c3623957d4423ae31090e","sha256:49915247c260722470c1a5630ade735ad04da7b9fc065098eb05c20269e6422d"],"state_sha256":"ae882e623b7f921a64305bf42e5a2787913c2971ce6492bdc4c34dd843cbfce3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SlJt5pI9U/RVZhyD7vNSq30pI1KxCdE4Y4TIuC7gWd7mjEKbrzLE2Ws1202mu6N59T1r5/NVjFVJ3tCEgC3mAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:15:31.536226Z","bundle_sha256":"4d539741fd60a4d2123cedc1fa885ec22901d1a8c14e28fb9ccdf4d8f8e0348d"}}