{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:XV4WS465GH2L2SNAUBH5ZQ22B7","short_pith_number":"pith:XV4WS465","canonical_record":{"source":{"id":"2602.16073","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-02-17T22:57:43Z","cross_cats_sorted":["cs.AI","cs.LO","cs.SY","eess.SY"],"title_canon_sha256":"822f440029f2ea6f06d7314b3b71d6e4302275e1ce82ed26c7b636d91c318120","abstract_canon_sha256":"5de67ec4742ec811d376732659d992b16621a40421185a9b6bf0e1f0ffc1c85d"},"schema_version":"1.0"},"canonical_sha256":"bd796973dd31f4bd49a0a04fdcc35a0fc736c081e97ffbb27a69aed1d36899cf","source":{"kind":"arxiv","id":"2602.16073","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.16073","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"arxiv_version","alias_value":"2602.16073v2","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.16073","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"pith_short_12","alias_value":"XV4WS465GH2L","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"pith_short_16","alias_value":"XV4WS465GH2L2SNA","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"pith_short_8","alias_value":"XV4WS465","created_at":"2026-06-08T01:03:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:XV4WS465GH2L2SNAUBH5ZQ22B7","target":"record","payload":{"canonical_record":{"source":{"id":"2602.16073","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-02-17T22:57:43Z","cross_cats_sorted":["cs.AI","cs.LO","cs.SY","eess.SY"],"title_canon_sha256":"822f440029f2ea6f06d7314b3b71d6e4302275e1ce82ed26c7b636d91c318120","abstract_canon_sha256":"5de67ec4742ec811d376732659d992b16621a40421185a9b6bf0e1f0ffc1c85d"},"schema_version":"1.0"},"canonical_sha256":"bd796973dd31f4bd49a0a04fdcc35a0fc736c081e97ffbb27a69aed1d36899cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T01:03:59.084490Z","signature_b64":"B6iuSOHYX3+WkV4ZK2Se5hrMhRpXT9wqauQr1FTZcccH0Sn9ZUVjpJ1MHK8jqmFx0w0QEb4SRBk0rf+RX8HKCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd796973dd31f4bd49a0a04fdcc35a0fc736c081e97ffbb27a69aed1d36899cf","last_reissued_at":"2026-06-08T01:03:59.083576Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T01:03:59.083576Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.16073","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-06-08T01:03:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yMtoPs2a3Pi3u3zH8tF+cdA7L2dsgPE5NiaDVK9yrpnK3Oj7m4eLeMhrtVxsSmMDGRBTq/e2JipR9L5ISJCKCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T13:27:18.378169Z"},"content_sha256":"3ceff0f6ad85ea77baa3c161beb14362a38a793ae3edf7464e0403c3c0efc85c","schema_version":"1.0","event_id":"sha256:3ceff0f6ad85ea77baa3c161beb14362a38a793ae3edf7464e0403c3c0efc85c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:XV4WS465GH2L2SNAUBH5ZQ22B7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO","cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Alberto Sangiovanni-Vincentelli, Ekin Beyazit, Kevin Kai-Chun Chang, Sanjit A. Seshia, Tichakorn Wongpiromsarn","submitted_at":"2026-02-17T22:57:43Z","abstract_excerpt":"Developing autonomous driving systems for complex traffic environments requires balancing multiple objectives, such as avoiding collisions, obeying traffic rules, and making efficient progress. In many situations, these objectives cannot be satisfied simultaneously, and explicit priority relations naturally arise. Also, driving rules require context, so it is important to formally model the environment scenarios within which such rules apply. Existing benchmarks for evaluating autonomous vehicles lack such combinations of multi-objective prioritized rules and formal environment models. In this"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.16073","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/2602.16073/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-06-08T01:03:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BaSMwmOB79CryJwSKE+pctXUnYv2/tMdWCyj3mL5T1ApABBepnNZXV3NwGZShDlOth8hsHL7bBIwXQghEyLPDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T13:27:18.378568Z"},"content_sha256":"e0f8f8de263301b95fe9c0f75edcc54b0156178925477c34b761d64f257db992","schema_version":"1.0","event_id":"sha256:e0f8f8de263301b95fe9c0f75edcc54b0156178925477c34b761d64f257db992"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XV4WS465GH2L2SNAUBH5ZQ22B7/bundle.json","state_url":"https://pith.science/pith/XV4WS465GH2L2SNAUBH5ZQ22B7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XV4WS465GH2L2SNAUBH5ZQ22B7/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-06-24T13:27:18Z","links":{"resolver":"https://pith.science/pith/XV4WS465GH2L2SNAUBH5ZQ22B7","bundle":"https://pith.science/pith/XV4WS465GH2L2SNAUBH5ZQ22B7/bundle.json","state":"https://pith.science/pith/XV4WS465GH2L2SNAUBH5ZQ22B7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XV4WS465GH2L2SNAUBH5ZQ22B7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:XV4WS465GH2L2SNAUBH5ZQ22B7","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":"5de67ec4742ec811d376732659d992b16621a40421185a9b6bf0e1f0ffc1c85d","cross_cats_sorted":["cs.AI","cs.LO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-02-17T22:57:43Z","title_canon_sha256":"822f440029f2ea6f06d7314b3b71d6e4302275e1ce82ed26c7b636d91c318120"},"schema_version":"1.0","source":{"id":"2602.16073","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.16073","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"arxiv_version","alias_value":"2602.16073v2","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.16073","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"pith_short_12","alias_value":"XV4WS465GH2L","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"pith_short_16","alias_value":"XV4WS465GH2L2SNA","created_at":"2026-06-08T01:03:59Z"},{"alias_kind":"pith_short_8","alias_value":"XV4WS465","created_at":"2026-06-08T01:03:59Z"}],"graph_snapshots":[{"event_id":"sha256:e0f8f8de263301b95fe9c0f75edcc54b0156178925477c34b761d64f257db992","target":"graph","created_at":"2026-06-08T01:03:59Z","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/2602.16073/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Developing autonomous driving systems for complex traffic environments requires balancing multiple objectives, such as avoiding collisions, obeying traffic rules, and making efficient progress. In many situations, these objectives cannot be satisfied simultaneously, and explicit priority relations naturally arise. Also, driving rules require context, so it is important to formally model the environment scenarios within which such rules apply. Existing benchmarks for evaluating autonomous vehicles lack such combinations of multi-objective prioritized rules and formal environment models. In this","authors_text":"Alberto Sangiovanni-Vincentelli, Ekin Beyazit, Kevin Kai-Chun Chang, Sanjit A. Seshia, Tichakorn Wongpiromsarn","cross_cats":["cs.AI","cs.LO","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-02-17T22:57:43Z","title":"ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.16073","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:3ceff0f6ad85ea77baa3c161beb14362a38a793ae3edf7464e0403c3c0efc85c","target":"record","created_at":"2026-06-08T01:03:59Z","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":"5de67ec4742ec811d376732659d992b16621a40421185a9b6bf0e1f0ffc1c85d","cross_cats_sorted":["cs.AI","cs.LO","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-02-17T22:57:43Z","title_canon_sha256":"822f440029f2ea6f06d7314b3b71d6e4302275e1ce82ed26c7b636d91c318120"},"schema_version":"1.0","source":{"id":"2602.16073","kind":"arxiv","version":2}},"canonical_sha256":"bd796973dd31f4bd49a0a04fdcc35a0fc736c081e97ffbb27a69aed1d36899cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd796973dd31f4bd49a0a04fdcc35a0fc736c081e97ffbb27a69aed1d36899cf","first_computed_at":"2026-06-08T01:03:59.083576Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-08T01:03:59.083576Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B6iuSOHYX3+WkV4ZK2Se5hrMhRpXT9wqauQr1FTZcccH0Sn9ZUVjpJ1MHK8jqmFx0w0QEb4SRBk0rf+RX8HKCQ==","signature_status":"signed_v1","signed_at":"2026-06-08T01:03:59.084490Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.16073","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ceff0f6ad85ea77baa3c161beb14362a38a793ae3edf7464e0403c3c0efc85c","sha256:e0f8f8de263301b95fe9c0f75edcc54b0156178925477c34b761d64f257db992"],"state_sha256":"055bcdb2a72879ebd00c39e4e16429d641b5b41ebe693eea3e3d3cca3b5924f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o2BtnP1PzZp8oDlBFzkFkGTfPF6BRcJ7SAfV7JlrXf2SRoGl8hT1ARb6U9AtmstjjVFYoINxPBcAEJB/dMMdCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T13:27:18.380812Z","bundle_sha256":"86074dca110cee9dd242f983684274d020a2f740f9b68f693b6d99aebbeb4293"}}