{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:T5DP2YAK5WQ2ZLUQZQ7733YKXK","short_pith_number":"pith:T5DP2YAK","canonical_record":{"source":{"id":"2505.05548","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-05-08T17:59:00Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"09783902d25748f11636d31538b7e2d667f4db4bd8e4f2984010131e83a6fe7a","abstract_canon_sha256":"c41f17c88269676025000bd9ecf21c04ca7405f9d6d99999c6f2e1c5eb701aba"},"schema_version":"1.0"},"canonical_sha256":"9f46fd600aeda1acae90cc3ffdef0abab2e393c918e942d669be858d05a5cd73","source":{"kind":"arxiv","id":"2505.05548","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.05548","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"arxiv_version","alias_value":"2505.05548v1","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.05548","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"pith_short_12","alias_value":"T5DP2YAK5WQ2","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"pith_short_16","alias_value":"T5DP2YAK5WQ2ZLUQ","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"pith_short_8","alias_value":"T5DP2YAK","created_at":"2026-07-05T11:00:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:T5DP2YAK5WQ2ZLUQZQ7733YKXK","target":"record","payload":{"canonical_record":{"source":{"id":"2505.05548","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-05-08T17:59:00Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"09783902d25748f11636d31538b7e2d667f4db4bd8e4f2984010131e83a6fe7a","abstract_canon_sha256":"c41f17c88269676025000bd9ecf21c04ca7405f9d6d99999c6f2e1c5eb701aba"},"schema_version":"1.0"},"canonical_sha256":"9f46fd600aeda1acae90cc3ffdef0abab2e393c918e942d669be858d05a5cd73","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:00:27.724390Z","signature_b64":"YAh1UeatK/PeBSReG8Sxsy4TER85LNNHKon88fB09A9RCML3D/PksmLNiSl8BfVNCZWo1zm9kJvPBrWUZKpoCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f46fd600aeda1acae90cc3ffdef0abab2e393c918e942d669be858d05a5cd73","last_reissued_at":"2026-07-05T11:00:27.723865Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:00:27.723865Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.05548","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-05T11:00:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NiKSePJHPayrnEItiT2dDHYIOaKJL9QEnXQMA3N2zO0cWM/vw4Cwg1+mbmTlFZo84slzGytDq3u7mAvytsK+Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T08:04:25.349392Z"},"content_sha256":"6e4d6253fa416ced87ba84b4b69e2cca2d3683302ba4bab1e3dc3fe72af41c0e","schema_version":"1.0","event_id":"sha256:6e4d6253fa416ced87ba84b4b69e2cca2d3683302ba4bab1e3dc3fe72af41c0e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:T5DP2YAK5WQ2ZLUQZQ7733YKXK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Barrier Function Overrides For Non-Convex Fixed Wing Flight Control and Self-Driving Cars","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Eric Squires, Phillip Odom, Zsolt Kira","submitted_at":"2025-05-08T17:59:00Z","abstract_excerpt":"Reinforcement Learning (RL) has enabled vast performance improvements for robotics systems. To achieve these results though, the agent often must randomly explore the environment, which for safety critical systems presents a significant challenge. Barrier functions can solve this challenge by enabling an override that approximates the RL control input as closely as possible without violating a safety constraint. Unfortunately, this override can be computationally intractable in cases where the dynamics are not convex in the control input or when time is discrete, as is often the case when trai"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.05548","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/2505.05548/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-05T11:00:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JdWsy/nZrT9KIv3EOoYfesEGlBU5f5BCwBD4stAOIo2wqafj/QEzsBSYGSZUq9ISeJGXdQ9ktw6+QJYbegUCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T08:04:25.350408Z"},"content_sha256":"11cbce42124d0d55f16d4496039fcd8aa3343d6c21dab7f0233c325b6b587545","schema_version":"1.0","event_id":"sha256:11cbce42124d0d55f16d4496039fcd8aa3343d6c21dab7f0233c325b6b587545"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T5DP2YAK5WQ2ZLUQZQ7733YKXK/bundle.json","state_url":"https://pith.science/pith/T5DP2YAK5WQ2ZLUQZQ7733YKXK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T5DP2YAK5WQ2ZLUQZQ7733YKXK/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-12T08:04:25Z","links":{"resolver":"https://pith.science/pith/T5DP2YAK5WQ2ZLUQZQ7733YKXK","bundle":"https://pith.science/pith/T5DP2YAK5WQ2ZLUQZQ7733YKXK/bundle.json","state":"https://pith.science/pith/T5DP2YAK5WQ2ZLUQZQ7733YKXK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T5DP2YAK5WQ2ZLUQZQ7733YKXK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:T5DP2YAK5WQ2ZLUQZQ7733YKXK","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":"c41f17c88269676025000bd9ecf21c04ca7405f9d6d99999c6f2e1c5eb701aba","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-05-08T17:59:00Z","title_canon_sha256":"09783902d25748f11636d31538b7e2d667f4db4bd8e4f2984010131e83a6fe7a"},"schema_version":"1.0","source":{"id":"2505.05548","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.05548","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"arxiv_version","alias_value":"2505.05548v1","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.05548","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"pith_short_12","alias_value":"T5DP2YAK5WQ2","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"pith_short_16","alias_value":"T5DP2YAK5WQ2ZLUQ","created_at":"2026-07-05T11:00:27Z"},{"alias_kind":"pith_short_8","alias_value":"T5DP2YAK","created_at":"2026-07-05T11:00:27Z"}],"graph_snapshots":[{"event_id":"sha256:11cbce42124d0d55f16d4496039fcd8aa3343d6c21dab7f0233c325b6b587545","target":"graph","created_at":"2026-07-05T11:00:27Z","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/2505.05548/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reinforcement Learning (RL) has enabled vast performance improvements for robotics systems. To achieve these results though, the agent often must randomly explore the environment, which for safety critical systems presents a significant challenge. Barrier functions can solve this challenge by enabling an override that approximates the RL control input as closely as possible without violating a safety constraint. Unfortunately, this override can be computationally intractable in cases where the dynamics are not convex in the control input or when time is discrete, as is often the case when trai","authors_text":"Eric Squires, Phillip Odom, Zsolt Kira","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-05-08T17:59:00Z","title":"Barrier Function Overrides For Non-Convex Fixed Wing Flight Control and Self-Driving Cars"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.05548","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:6e4d6253fa416ced87ba84b4b69e2cca2d3683302ba4bab1e3dc3fe72af41c0e","target":"record","created_at":"2026-07-05T11:00:27Z","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":"c41f17c88269676025000bd9ecf21c04ca7405f9d6d99999c6f2e1c5eb701aba","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-05-08T17:59:00Z","title_canon_sha256":"09783902d25748f11636d31538b7e2d667f4db4bd8e4f2984010131e83a6fe7a"},"schema_version":"1.0","source":{"id":"2505.05548","kind":"arxiv","version":1}},"canonical_sha256":"9f46fd600aeda1acae90cc3ffdef0abab2e393c918e942d669be858d05a5cd73","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f46fd600aeda1acae90cc3ffdef0abab2e393c918e942d669be858d05a5cd73","first_computed_at":"2026-07-05T11:00:27.723865Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:00:27.723865Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YAh1UeatK/PeBSReG8Sxsy4TER85LNNHKon88fB09A9RCML3D/PksmLNiSl8BfVNCZWo1zm9kJvPBrWUZKpoCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:00:27.724390Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.05548","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e4d6253fa416ced87ba84b4b69e2cca2d3683302ba4bab1e3dc3fe72af41c0e","sha256:11cbce42124d0d55f16d4496039fcd8aa3343d6c21dab7f0233c325b6b587545"],"state_sha256":"07d31a0dc2c47de77a58a612b05ecb36ac6662ab577c1f6eebcb57c7f29c17f9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LOQcex6YxYaBEOfFUNLNulmLrisfxFXSwn3jNPAscHmbNPtENCwSY6YpuM19kZV3K1u4i4LjZXfcTvMEE9StDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T08:04:25.369369Z","bundle_sha256":"0a8ff17dc6d64ff2343ea4bf424dbe3c6641471ec586b62175550f01ec9b1d55"}}