{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:5OFCDOPM66KPGSMV4JGL65JMM3","short_pith_number":"pith:5OFCDOPM","canonical_record":{"source":{"id":"2402.05254","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-07T20:59:51Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"ee6124d263c4a529331be36def65e1c2a162e7c2fa3ba40d7b60d2059b25ea13","abstract_canon_sha256":"fcc50b250220670081c47a28545dde8e4f7d40cb5af685ee5e4b9f2abe88b424"},"schema_version":"1.0"},"canonical_sha256":"eb8a21b9ecf794f34995e24cbf752c66e50eeb2440ea337e139e59b06b53ab02","source":{"kind":"arxiv","id":"2402.05254","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.05254","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"arxiv_version","alias_value":"2402.05254v1","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.05254","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"pith_short_12","alias_value":"5OFCDOPM66KP","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"pith_short_16","alias_value":"5OFCDOPM66KPGSMV","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"pith_short_8","alias_value":"5OFCDOPM","created_at":"2026-07-05T07:42:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:5OFCDOPM66KPGSMV4JGL65JMM3","target":"record","payload":{"canonical_record":{"source":{"id":"2402.05254","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-07T20:59:51Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"ee6124d263c4a529331be36def65e1c2a162e7c2fa3ba40d7b60d2059b25ea13","abstract_canon_sha256":"fcc50b250220670081c47a28545dde8e4f7d40cb5af685ee5e4b9f2abe88b424"},"schema_version":"1.0"},"canonical_sha256":"eb8a21b9ecf794f34995e24cbf752c66e50eeb2440ea337e139e59b06b53ab02","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:42:46.971953Z","signature_b64":"j5m12QZ7HrPMjnKRIFzZ8tJPIcXr4FwyB+um8DsFE9V2ahk9LSDxigyKVvXgTOu9zOwqCaX7ewzsg1cMm3j0BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eb8a21b9ecf794f34995e24cbf752c66e50eeb2440ea337e139e59b06b53ab02","last_reissued_at":"2026-07-05T07:42:46.971376Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:42:46.971376Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.05254","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-05T07:42:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bWx1axtWkRgZDpV8RjVwzzNe9s9S47uTmxPczJxHQ1+E9mxELrVwmZRG95yq5yYUX9jxK8FSPzNpcIfDqYyyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T13:01:20.337487Z"},"content_sha256":"75ff8128dbcfd5719259866e08375ab1b19e2bfb0af0daeceab814f0754a4b10","schema_version":"1.0","event_id":"sha256:75ff8128dbcfd5719259866e08375ab1b19e2bfb0af0daeceab814f0754a4b10"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:5OFCDOPM66KPGSMV4JGL65JMM3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Online and Certifiably Correct Visual Odometry and Mapping","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Anurekha Ravikumar, Devansh R Agrawal, Dimitra Panagou, Jiangbo Yu, Rajiv Govindjee","submitted_at":"2024-02-07T20:59:51Z","abstract_excerpt":"This paper proposes two new algorithms for certified perception in safety-critical robotic applications. The first is a Certified Visual Odometry algorithm, which uses a RGBD camera with bounded sensor noise to construct a visual odometry estimate with provable error bounds. The second is a Certified Mapping algorithm which, using the same RGBD images, constructs a Signed Distance Field of the obstacle environment, always safely underestimating the distance to the nearest obstacle. This is required to avoid errors due to VO drift. The algorithms are demonstrated in hardware experiments, where "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.05254","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/2402.05254/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-05T07:42:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HIrIVOasRuI9T7lq0VF8x3tdbabOWYcpemOCzwrB3QOPeiDfLnl2hM6M+7clw3TQYRVIfR2/nivLHke3AELxBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T13:01:20.338000Z"},"content_sha256":"e3f25b05ce44e3afafc6e7f34e898c236809de72ee0bf2521f87c3fb1c9c0df6","schema_version":"1.0","event_id":"sha256:e3f25b05ce44e3afafc6e7f34e898c236809de72ee0bf2521f87c3fb1c9c0df6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5OFCDOPM66KPGSMV4JGL65JMM3/bundle.json","state_url":"https://pith.science/pith/5OFCDOPM66KPGSMV4JGL65JMM3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5OFCDOPM66KPGSMV4JGL65JMM3/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-23T13:01:20Z","links":{"resolver":"https://pith.science/pith/5OFCDOPM66KPGSMV4JGL65JMM3","bundle":"https://pith.science/pith/5OFCDOPM66KPGSMV4JGL65JMM3/bundle.json","state":"https://pith.science/pith/5OFCDOPM66KPGSMV4JGL65JMM3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5OFCDOPM66KPGSMV4JGL65JMM3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:5OFCDOPM66KPGSMV4JGL65JMM3","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":"fcc50b250220670081c47a28545dde8e4f7d40cb5af685ee5e4b9f2abe88b424","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-07T20:59:51Z","title_canon_sha256":"ee6124d263c4a529331be36def65e1c2a162e7c2fa3ba40d7b60d2059b25ea13"},"schema_version":"1.0","source":{"id":"2402.05254","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.05254","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"arxiv_version","alias_value":"2402.05254v1","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.05254","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"pith_short_12","alias_value":"5OFCDOPM66KP","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"pith_short_16","alias_value":"5OFCDOPM66KPGSMV","created_at":"2026-07-05T07:42:46Z"},{"alias_kind":"pith_short_8","alias_value":"5OFCDOPM","created_at":"2026-07-05T07:42:46Z"}],"graph_snapshots":[{"event_id":"sha256:e3f25b05ce44e3afafc6e7f34e898c236809de72ee0bf2521f87c3fb1c9c0df6","target":"graph","created_at":"2026-07-05T07:42:46Z","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/2402.05254/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper proposes two new algorithms for certified perception in safety-critical robotic applications. The first is a Certified Visual Odometry algorithm, which uses a RGBD camera with bounded sensor noise to construct a visual odometry estimate with provable error bounds. The second is a Certified Mapping algorithm which, using the same RGBD images, constructs a Signed Distance Field of the obstacle environment, always safely underestimating the distance to the nearest obstacle. This is required to avoid errors due to VO drift. The algorithms are demonstrated in hardware experiments, where ","authors_text":"Anurekha Ravikumar, Devansh R Agrawal, Dimitra Panagou, Jiangbo Yu, Rajiv Govindjee","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-07T20:59:51Z","title":"Online and Certifiably Correct Visual Odometry and Mapping"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.05254","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:75ff8128dbcfd5719259866e08375ab1b19e2bfb0af0daeceab814f0754a4b10","target":"record","created_at":"2026-07-05T07:42:46Z","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":"fcc50b250220670081c47a28545dde8e4f7d40cb5af685ee5e4b9f2abe88b424","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-07T20:59:51Z","title_canon_sha256":"ee6124d263c4a529331be36def65e1c2a162e7c2fa3ba40d7b60d2059b25ea13"},"schema_version":"1.0","source":{"id":"2402.05254","kind":"arxiv","version":1}},"canonical_sha256":"eb8a21b9ecf794f34995e24cbf752c66e50eeb2440ea337e139e59b06b53ab02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eb8a21b9ecf794f34995e24cbf752c66e50eeb2440ea337e139e59b06b53ab02","first_computed_at":"2026-07-05T07:42:46.971376Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:42:46.971376Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"j5m12QZ7HrPMjnKRIFzZ8tJPIcXr4FwyB+um8DsFE9V2ahk9LSDxigyKVvXgTOu9zOwqCaX7ewzsg1cMm3j0BA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:42:46.971953Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.05254","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:75ff8128dbcfd5719259866e08375ab1b19e2bfb0af0daeceab814f0754a4b10","sha256:e3f25b05ce44e3afafc6e7f34e898c236809de72ee0bf2521f87c3fb1c9c0df6"],"state_sha256":"85f794c9195057c25d52a64158e72a6c8f7b0febac69ce2a3d3d5924fcb4e14a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CuJcbmWgnLov92x3qyJWF2+S53ua3ftZt7ikJ1QSjNXyAlkWPpk4hskBfd66A4mnJ6fy5hh4Txb70B6jz5S9Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T13:01:20.342735Z","bundle_sha256":"0439ce78d4513c23f182e1aaeb7526eef19f4b0a15a55bbc3d1fef124c9be43f"}}