{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7HJ3GKGKEBP5JEAMBHK2BDRDGH","short_pith_number":"pith:7HJ3GKGK","canonical_record":{"source":{"id":"2605.28172","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-27T08:53:23Z","cross_cats_sorted":[],"title_canon_sha256":"dd108ae614a8d7f40ca9a0d3efcb5fc823026dfe70be93f6254a7a90510b517e","abstract_canon_sha256":"a0dd10b9a4d080fcb8a7c4ca6f48a1fd07eb0fb76b89fb37836937bdbd43ba4b"},"schema_version":"1.0"},"canonical_sha256":"f9d3b328ca205fd4900c09d5a08e2331e49d225f32772046280b4b57d1044c9f","source":{"kind":"arxiv","id":"2605.28172","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.28172","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"arxiv_version","alias_value":"2605.28172v1","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.28172","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"pith_short_12","alias_value":"7HJ3GKGKEBP5","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"pith_short_16","alias_value":"7HJ3GKGKEBP5JEAM","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"pith_short_8","alias_value":"7HJ3GKGK","created_at":"2026-05-28T01:05:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7HJ3GKGKEBP5JEAMBHK2BDRDGH","target":"record","payload":{"canonical_record":{"source":{"id":"2605.28172","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-27T08:53:23Z","cross_cats_sorted":[],"title_canon_sha256":"dd108ae614a8d7f40ca9a0d3efcb5fc823026dfe70be93f6254a7a90510b517e","abstract_canon_sha256":"a0dd10b9a4d080fcb8a7c4ca6f48a1fd07eb0fb76b89fb37836937bdbd43ba4b"},"schema_version":"1.0"},"canonical_sha256":"f9d3b328ca205fd4900c09d5a08e2331e49d225f32772046280b4b57d1044c9f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T01:05:01.168672Z","signature_b64":"ggVTp0KeBNpeP70vv6EGASweTi7MyLjQnCtngOgIVoRBWIHaeXDQb8YfF3gu5DJsRy5ZZ1On7IpLGpCdWXitDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f9d3b328ca205fd4900c09d5a08e2331e49d225f32772046280b4b57d1044c9f","last_reissued_at":"2026-05-28T01:05:01.168110Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T01:05:01.168110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.28172","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-05-28T01:05:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GdPtLhR2hkHqB4l2m3NMjE8XnSwZJr4L4k2P+spjldlPicW4aBnEEgKFu+N+gRmFVuDMBruhUcrFbY7JR4e7Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:59:49.232076Z"},"content_sha256":"31decea0dffc1546b776767b721b46c25431676c3dca6d1cfc1a5df881d78eec","schema_version":"1.0","event_id":"sha256:31decea0dffc1546b776767b721b46c25431676c3dca6d1cfc1a5df881d78eec"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7HJ3GKGKEBP5JEAMBHK2BDRDGH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Provably Guaranteed Polytopic Uncertainty Quantification for SLAM","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Guangyang Zeng, Guodong Shi, Haoying Li, Junfeng Wu, Lingpeng Chen, Yuan Shen, Yulong Gao","submitted_at":"2026-05-27T08:53:23Z","abstract_excerpt":"In safety-critical robotics applications, guaranteed and practical uncertainty quantification (UQ) in perception is vital. Many existing works either offer no formal containment guarantee, rely on restrictive modeling assumptions, or focus only on pose estimation rather than a complete SLAM pipeline. This paper presents provably guaranteed UQ algorithms for 3D-3D landmark-based SLAM. The algorithms consist of three basic UQ modules: forward UQ for mapping, backward UQ for pose tracking, and pose compound. Each module produces a certified uncertainty set; when the input uncertainty bounds are d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.28172","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/2605.28172/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-05-28T01:05:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z71ImoHOi9LrdH43KccjQKZRLeYefV+ecEIOmEFxUEk3EPh37qcweoXcajuCdPxyHUeaZhUgtddborjaZmK9Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:59:49.232467Z"},"content_sha256":"fa533330bdaeddea5cfc716b5d576cd8046ade4900a41a3c83756b10065d4f5e","schema_version":"1.0","event_id":"sha256:fa533330bdaeddea5cfc716b5d576cd8046ade4900a41a3c83756b10065d4f5e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7HJ3GKGKEBP5JEAMBHK2BDRDGH/bundle.json","state_url":"https://pith.science/pith/7HJ3GKGKEBP5JEAMBHK2BDRDGH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7HJ3GKGKEBP5JEAMBHK2BDRDGH/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-03T17:59:49Z","links":{"resolver":"https://pith.science/pith/7HJ3GKGKEBP5JEAMBHK2BDRDGH","bundle":"https://pith.science/pith/7HJ3GKGKEBP5JEAMBHK2BDRDGH/bundle.json","state":"https://pith.science/pith/7HJ3GKGKEBP5JEAMBHK2BDRDGH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7HJ3GKGKEBP5JEAMBHK2BDRDGH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7HJ3GKGKEBP5JEAMBHK2BDRDGH","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":"a0dd10b9a4d080fcb8a7c4ca6f48a1fd07eb0fb76b89fb37836937bdbd43ba4b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-27T08:53:23Z","title_canon_sha256":"dd108ae614a8d7f40ca9a0d3efcb5fc823026dfe70be93f6254a7a90510b517e"},"schema_version":"1.0","source":{"id":"2605.28172","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.28172","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"arxiv_version","alias_value":"2605.28172v1","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.28172","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"pith_short_12","alias_value":"7HJ3GKGKEBP5","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"pith_short_16","alias_value":"7HJ3GKGKEBP5JEAM","created_at":"2026-05-28T01:05:01Z"},{"alias_kind":"pith_short_8","alias_value":"7HJ3GKGK","created_at":"2026-05-28T01:05:01Z"}],"graph_snapshots":[{"event_id":"sha256:fa533330bdaeddea5cfc716b5d576cd8046ade4900a41a3c83756b10065d4f5e","target":"graph","created_at":"2026-05-28T01:05:01Z","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/2605.28172/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In safety-critical robotics applications, guaranteed and practical uncertainty quantification (UQ) in perception is vital. Many existing works either offer no formal containment guarantee, rely on restrictive modeling assumptions, or focus only on pose estimation rather than a complete SLAM pipeline. This paper presents provably guaranteed UQ algorithms for 3D-3D landmark-based SLAM. The algorithms consist of three basic UQ modules: forward UQ for mapping, backward UQ for pose tracking, and pose compound. Each module produces a certified uncertainty set; when the input uncertainty bounds are d","authors_text":"Guangyang Zeng, Guodong Shi, Haoying Li, Junfeng Wu, Lingpeng Chen, Yuan Shen, Yulong Gao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-27T08:53:23Z","title":"Provably Guaranteed Polytopic Uncertainty Quantification for SLAM"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.28172","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:31decea0dffc1546b776767b721b46c25431676c3dca6d1cfc1a5df881d78eec","target":"record","created_at":"2026-05-28T01:05:01Z","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":"a0dd10b9a4d080fcb8a7c4ca6f48a1fd07eb0fb76b89fb37836937bdbd43ba4b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-27T08:53:23Z","title_canon_sha256":"dd108ae614a8d7f40ca9a0d3efcb5fc823026dfe70be93f6254a7a90510b517e"},"schema_version":"1.0","source":{"id":"2605.28172","kind":"arxiv","version":1}},"canonical_sha256":"f9d3b328ca205fd4900c09d5a08e2331e49d225f32772046280b4b57d1044c9f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f9d3b328ca205fd4900c09d5a08e2331e49d225f32772046280b4b57d1044c9f","first_computed_at":"2026-05-28T01:05:01.168110Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T01:05:01.168110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ggVTp0KeBNpeP70vv6EGASweTi7MyLjQnCtngOgIVoRBWIHaeXDQb8YfF3gu5DJsRy5ZZ1On7IpLGpCdWXitDw==","signature_status":"signed_v1","signed_at":"2026-05-28T01:05:01.168672Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.28172","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:31decea0dffc1546b776767b721b46c25431676c3dca6d1cfc1a5df881d78eec","sha256:fa533330bdaeddea5cfc716b5d576cd8046ade4900a41a3c83756b10065d4f5e"],"state_sha256":"a16f513d1298b2ec29e75d07b40d40441efc2801ca27d0be2b87fbb51b5f6f7d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+3qf/eRKpFygFtENW1kP3n8MxBQnJ6Xj0K7CCn8r2PY5XF6leQ3I/ynoUdpY1Eq/roXZrebPznXreNjC77vEDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T17:59:49.234420Z","bundle_sha256":"c1834f5bb8f331f7c00374b87adadffde9a2907b156f2fd2be6661fa72346199"}}