{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:T4X5R25GAMN676LDQORLNHNAX6","short_pith_number":"pith:T4X5R25G","canonical_record":{"source":{"id":"2207.02387","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2022-07-06T01:27:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d756f5a92242454fb8b32d01a8b61660b45402ad4ec2b98ed4ddc2b44927a2ee","abstract_canon_sha256":"1507697e5839ea2e32fb941d71ea14dc7f134002ee2c872291c98031c2c61c8c"},"schema_version":"1.0"},"canonical_sha256":"9f2fd8eba6031beff96383a2b69da0bf826f1017bea47d8857a6620f8541b1e7","source":{"kind":"arxiv","id":"2207.02387","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.02387","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"arxiv_version","alias_value":"2207.02387v1","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.02387","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"pith_short_12","alias_value":"T4X5R25GAMN6","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"pith_short_16","alias_value":"T4X5R25GAMN676LD","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"pith_short_8","alias_value":"T4X5R25G","created_at":"2026-07-05T04:38:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:T4X5R25GAMN676LDQORLNHNAX6","target":"record","payload":{"canonical_record":{"source":{"id":"2207.02387","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2022-07-06T01:27:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d756f5a92242454fb8b32d01a8b61660b45402ad4ec2b98ed4ddc2b44927a2ee","abstract_canon_sha256":"1507697e5839ea2e32fb941d71ea14dc7f134002ee2c872291c98031c2c61c8c"},"schema_version":"1.0"},"canonical_sha256":"9f2fd8eba6031beff96383a2b69da0bf826f1017bea47d8857a6620f8541b1e7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:38:02.302917Z","signature_b64":"23tuKM6ZFDSGZZ0gosH1MzZuh38Z7twychEZCm+oQ3zCzu+t7kl/TjmHkOPacFQitPY6MhoTO2dumkkFJyU+DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f2fd8eba6031beff96383a2b69da0bf826f1017bea47d8857a6620f8541b1e7","last_reissued_at":"2026-07-05T04:38:02.302227Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:38:02.302227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2207.02387","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-05T04:38:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mEyHIstT6QsChtnmoauH2JMFqu+BUYk5GXq/74LO8IKWV4nD6R1a2Kx6fCRZbTFqvQyycFDreFX/gNCmk00rDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T23:29:34.917652Z"},"content_sha256":"c83d8c16b1dbf3c8801a6cc57c030baefffbf0e95b3e01e13374cb76e52aeefa","schema_version":"1.0","event_id":"sha256:c83d8c16b1dbf3c8801a6cc57c030baefffbf0e95b3e01e13374cb76e52aeefa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:T4X5R25GAMN676LDQORLNHNAX6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Goal-Aware RSS for Complex Scenarios via Program Logic","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.RO","authors_text":"Akihisa Yamada, Clovis Eberhart, Erik Andr\\'e Pallas, Fuyuki Ishikawa, Ichiro Hasuo, James Haydon, J\\'er\\'emy Dubut, Kenji Kamijo, Kohei Suenaga, Rose Bohrer, Sasinee Pruekprasert, Takamasa Suetomi, Tsutomu Kobayashi, Xiao-Yi Zhang, Yoshiyuki Shinya","submitted_at":"2022-07-06T01:27:14Z","abstract_excerpt":"We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement -- in addition to collision avoidance as in the original RSS -- requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller subscenarios and combine them to obtain RSS rules for bigger scenarios. As the basis of the framewo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.02387","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/2207.02387/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:38:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/j0d0y9LPKj4c5l8vYfN+IxfrfUjnphhlXhxI7QVtCK1EVH8quuLNYMrGcS+VHliFbD9M6TmqyIOuLVKgMQkAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T23:29:34.918034Z"},"content_sha256":"b3e8b6590ae150b7eec6e53741068938a31ef340a28ef9fd0a3f7e464285c962","schema_version":"1.0","event_id":"sha256:b3e8b6590ae150b7eec6e53741068938a31ef340a28ef9fd0a3f7e464285c962"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T4X5R25GAMN676LDQORLNHNAX6/bundle.json","state_url":"https://pith.science/pith/T4X5R25GAMN676LDQORLNHNAX6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T4X5R25GAMN676LDQORLNHNAX6/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-06T23:29:34Z","links":{"resolver":"https://pith.science/pith/T4X5R25GAMN676LDQORLNHNAX6","bundle":"https://pith.science/pith/T4X5R25GAMN676LDQORLNHNAX6/bundle.json","state":"https://pith.science/pith/T4X5R25GAMN676LDQORLNHNAX6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T4X5R25GAMN676LDQORLNHNAX6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:T4X5R25GAMN676LDQORLNHNAX6","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":"1507697e5839ea2e32fb941d71ea14dc7f134002ee2c872291c98031c2c61c8c","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2022-07-06T01:27:14Z","title_canon_sha256":"d756f5a92242454fb8b32d01a8b61660b45402ad4ec2b98ed4ddc2b44927a2ee"},"schema_version":"1.0","source":{"id":"2207.02387","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.02387","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"arxiv_version","alias_value":"2207.02387v1","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.02387","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"pith_short_12","alias_value":"T4X5R25GAMN6","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"pith_short_16","alias_value":"T4X5R25GAMN676LD","created_at":"2026-07-05T04:38:02Z"},{"alias_kind":"pith_short_8","alias_value":"T4X5R25G","created_at":"2026-07-05T04:38:02Z"}],"graph_snapshots":[{"event_id":"sha256:b3e8b6590ae150b7eec6e53741068938a31ef340a28ef9fd0a3f7e464285c962","target":"graph","created_at":"2026-07-05T04:38: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/2207.02387/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement -- in addition to collision avoidance as in the original RSS -- requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller subscenarios and combine them to obtain RSS rules for bigger scenarios. As the basis of the framewo","authors_text":"Akihisa Yamada, Clovis Eberhart, Erik Andr\\'e Pallas, Fuyuki Ishikawa, Ichiro Hasuo, James Haydon, J\\'er\\'emy Dubut, Kenji Kamijo, Kohei Suenaga, Rose Bohrer, Sasinee Pruekprasert, Takamasa Suetomi, Tsutomu Kobayashi, Xiao-Yi Zhang, Yoshiyuki Shinya","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2022-07-06T01:27:14Z","title":"Goal-Aware RSS for Complex Scenarios via Program Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.02387","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:c83d8c16b1dbf3c8801a6cc57c030baefffbf0e95b3e01e13374cb76e52aeefa","target":"record","created_at":"2026-07-05T04:38: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":"1507697e5839ea2e32fb941d71ea14dc7f134002ee2c872291c98031c2c61c8c","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2022-07-06T01:27:14Z","title_canon_sha256":"d756f5a92242454fb8b32d01a8b61660b45402ad4ec2b98ed4ddc2b44927a2ee"},"schema_version":"1.0","source":{"id":"2207.02387","kind":"arxiv","version":1}},"canonical_sha256":"9f2fd8eba6031beff96383a2b69da0bf826f1017bea47d8857a6620f8541b1e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f2fd8eba6031beff96383a2b69da0bf826f1017bea47d8857a6620f8541b1e7","first_computed_at":"2026-07-05T04:38:02.302227Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:38:02.302227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"23tuKM6ZFDSGZZ0gosH1MzZuh38Z7twychEZCm+oQ3zCzu+t7kl/TjmHkOPacFQitPY6MhoTO2dumkkFJyU+DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:38:02.302917Z","signed_message":"canonical_sha256_bytes"},"source_id":"2207.02387","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c83d8c16b1dbf3c8801a6cc57c030baefffbf0e95b3e01e13374cb76e52aeefa","sha256:b3e8b6590ae150b7eec6e53741068938a31ef340a28ef9fd0a3f7e464285c962"],"state_sha256":"53fb7086503801deea5ac2b23a96a6b6d2a8b013a0a095ab5b0a616b8c18192e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jtp3SkNXqFP20VlyyLuTuadu6WkUIDOidZwqudsaCAi+qBVyZcC/jNyM/R1iFWfSscc0XRxEskXyofwD1yHyDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T23:29:34.920106Z","bundle_sha256":"7486b1412a0c1f64ba6765b001a2ca1c063dab9b230842457723e311700f7b25"}}