{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:E7OUHM7BAIR56KFTBRCIMBE63K","short_pith_number":"pith:E7OUHM7B","canonical_record":{"source":{"id":"2409.12616","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-19T09:36:05Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"89557a702a664852a0482f12873483dde4a383bd1b8358da4c986d7ab3824315","abstract_canon_sha256":"e6415a96d05050ed80ed04e3a955bf0d3910706f5c5c84501140c965020ddb4b"},"schema_version":"1.0"},"canonical_sha256":"27dd43b3e10223df28b30c4486049eda912210409b5ae686fd7d7ba16720bd51","source":{"kind":"arxiv","id":"2409.12616","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.12616","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"arxiv_version","alias_value":"2409.12616v1","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.12616","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"pith_short_12","alias_value":"E7OUHM7BAIR5","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"pith_short_16","alias_value":"E7OUHM7BAIR56KFT","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"pith_short_8","alias_value":"E7OUHM7B","created_at":"2026-07-05T09:09:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:E7OUHM7BAIR56KFTBRCIMBE63K","target":"record","payload":{"canonical_record":{"source":{"id":"2409.12616","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-19T09:36:05Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"89557a702a664852a0482f12873483dde4a383bd1b8358da4c986d7ab3824315","abstract_canon_sha256":"e6415a96d05050ed80ed04e3a955bf0d3910706f5c5c84501140c965020ddb4b"},"schema_version":"1.0"},"canonical_sha256":"27dd43b3e10223df28b30c4486049eda912210409b5ae686fd7d7ba16720bd51","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:09:09.924802Z","signature_b64":"ShuF/AXAmrZlPQuaebAx3pzNa5yjg2+WxNFoEl34p+ahDXcWpA7Y6xnqjKFz1mLczAQ94PKfU9ifYYdbR82aAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"27dd43b3e10223df28b30c4486049eda912210409b5ae686fd7d7ba16720bd51","last_reissued_at":"2026-07-05T09:09:09.924313Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:09:09.924313Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.12616","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-05T09:09:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pTZJJPp846u+bhxrR4A1157jgFrYVdqc9W04+Z0s0WNHC9rA4f0zRlQ1b1HEqJ/F8LZmzo9LZUO6kST9B63uBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T08:29:10.858255Z"},"content_sha256":"1ef45718c9283c755f01615f8e2dde06c197320a3e1ba9273f87e7bf78f3634a","schema_version":"1.0","event_id":"sha256:1ef45718c9283c755f01615f8e2dde06c197320a3e1ba9273f87e7bf78f3634a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:E7OUHM7BAIR56KFTBRCIMBE63K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Aditya Singh, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya","submitted_at":"2024-09-19T09:36:05Z","abstract_excerpt":"In modern robotics, addressing the lack of accurate state space information in real-world scenarios has led to a significant focus on utilizing visuomotor observation to provide safety assurances. Although supervised learning methods, such as imitation learning, have demonstrated potential in synthesizing control policies based on visuomotor observations, they require ground truth safety labels for the complete dataset and do not provide formal safety assurances. On the other hand, traditional control-theoretic methods like Control Barrier Functions (CBFs) and Hamilton-Jacobi (HJ) Reachability"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.12616","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/2409.12616/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-05T09:09:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MccIYXjBXvpynJSv2kfDAHusyzzfM537ezML2g0SyUB6rF8nma4hP6Y1nxYXK3UfubIq7996b1+63kr5IO4VBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T08:29:10.859370Z"},"content_sha256":"c9362de51c81986153d36c1fd5567f493da24b03781c8fd1bfb206545684964f","schema_version":"1.0","event_id":"sha256:c9362de51c81986153d36c1fd5567f493da24b03781c8fd1bfb206545684964f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E7OUHM7BAIR56KFTBRCIMBE63K/bundle.json","state_url":"https://pith.science/pith/E7OUHM7BAIR56KFTBRCIMBE63K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E7OUHM7BAIR56KFTBRCIMBE63K/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-08T08:29:10Z","links":{"resolver":"https://pith.science/pith/E7OUHM7BAIR56KFTBRCIMBE63K","bundle":"https://pith.science/pith/E7OUHM7BAIR56KFTBRCIMBE63K/bundle.json","state":"https://pith.science/pith/E7OUHM7BAIR56KFTBRCIMBE63K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E7OUHM7BAIR56KFTBRCIMBE63K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:E7OUHM7BAIR56KFTBRCIMBE63K","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":"e6415a96d05050ed80ed04e3a955bf0d3910706f5c5c84501140c965020ddb4b","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-19T09:36:05Z","title_canon_sha256":"89557a702a664852a0482f12873483dde4a383bd1b8358da4c986d7ab3824315"},"schema_version":"1.0","source":{"id":"2409.12616","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.12616","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"arxiv_version","alias_value":"2409.12616v1","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.12616","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"pith_short_12","alias_value":"E7OUHM7BAIR5","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"pith_short_16","alias_value":"E7OUHM7BAIR56KFT","created_at":"2026-07-05T09:09:09Z"},{"alias_kind":"pith_short_8","alias_value":"E7OUHM7B","created_at":"2026-07-05T09:09:09Z"}],"graph_snapshots":[{"event_id":"sha256:c9362de51c81986153d36c1fd5567f493da24b03781c8fd1bfb206545684964f","target":"graph","created_at":"2026-07-05T09:09:09Z","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/2409.12616/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In modern robotics, addressing the lack of accurate state space information in real-world scenarios has led to a significant focus on utilizing visuomotor observation to provide safety assurances. Although supervised learning methods, such as imitation learning, have demonstrated potential in synthesizing control policies based on visuomotor observations, they require ground truth safety labels for the complete dataset and do not provide formal safety assurances. On the other hand, traditional control-theoretic methods like Control Barrier Functions (CBFs) and Hamilton-Jacobi (HJ) Reachability","authors_text":"Aditya Singh, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-19T09:36:05Z","title":"Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.12616","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:1ef45718c9283c755f01615f8e2dde06c197320a3e1ba9273f87e7bf78f3634a","target":"record","created_at":"2026-07-05T09:09:09Z","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":"e6415a96d05050ed80ed04e3a955bf0d3910706f5c5c84501140c965020ddb4b","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-19T09:36:05Z","title_canon_sha256":"89557a702a664852a0482f12873483dde4a383bd1b8358da4c986d7ab3824315"},"schema_version":"1.0","source":{"id":"2409.12616","kind":"arxiv","version":1}},"canonical_sha256":"27dd43b3e10223df28b30c4486049eda912210409b5ae686fd7d7ba16720bd51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"27dd43b3e10223df28b30c4486049eda912210409b5ae686fd7d7ba16720bd51","first_computed_at":"2026-07-05T09:09:09.924313Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:09:09.924313Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ShuF/AXAmrZlPQuaebAx3pzNa5yjg2+WxNFoEl34p+ahDXcWpA7Y6xnqjKFz1mLczAQ94PKfU9ifYYdbR82aAA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:09:09.924802Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.12616","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1ef45718c9283c755f01615f8e2dde06c197320a3e1ba9273f87e7bf78f3634a","sha256:c9362de51c81986153d36c1fd5567f493da24b03781c8fd1bfb206545684964f"],"state_sha256":"82fd79285699b8c6c1b6ff56ee7695cfb4e12e7dad7c39c26b0a31c52bec96c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TCDZMPysUuAsPHPkcdBRYbi47yjp6TG3JBSo8CjjfC5M77t574YCYJAf211gFMlYmP02cx+hQKy1zweB/iapDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T08:29:10.865487Z","bundle_sha256":"a07cca5247b7a95bf81ccf2699b191aac6da3f888f155b6c44600706394ca9d7"}}