{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:E4PYRHYRG27X7EOG54GIA6V5IJ","short_pith_number":"pith:E4PYRHYR","canonical_record":{"source":{"id":"2605.09383","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-10T07:20:34Z","cross_cats_sorted":[],"title_canon_sha256":"1dda08ca50df03924504a94e8a9892dae2e8c0d212f51976860fb8ab0a9fb3b7","abstract_canon_sha256":"6b5dee85534b0895227eff858cc79a8c156109f8cf9260fb6b14f0d1048c57bf"},"schema_version":"1.0"},"canonical_sha256":"271f889f1136bf7f91c6ef0c807abd4274b55b2504081444a3c90fbc894b4945","source":{"kind":"arxiv","id":"2605.09383","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.09383","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"arxiv_version","alias_value":"2605.09383v2","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.09383","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"pith_short_12","alias_value":"E4PYRHYRG27X","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"pith_short_16","alias_value":"E4PYRHYRG27X7EOG","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"pith_short_8","alias_value":"E4PYRHYR","created_at":"2026-06-19T16:12:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:E4PYRHYRG27X7EOG54GIA6V5IJ","target":"record","payload":{"canonical_record":{"source":{"id":"2605.09383","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-10T07:20:34Z","cross_cats_sorted":[],"title_canon_sha256":"1dda08ca50df03924504a94e8a9892dae2e8c0d212f51976860fb8ab0a9fb3b7","abstract_canon_sha256":"6b5dee85534b0895227eff858cc79a8c156109f8cf9260fb6b14f0d1048c57bf"},"schema_version":"1.0"},"canonical_sha256":"271f889f1136bf7f91c6ef0c807abd4274b55b2504081444a3c90fbc894b4945","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:12:54.783249Z","signature_b64":"dPsVgXFLGu/yhnK+uQ3lAe3KwlGhIvUy6irH/2m9CDX6JTyhRvEtYo49o9CFKROnSmvJH9SW86vWDjoyfBpUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"271f889f1136bf7f91c6ef0c807abd4274b55b2504081444a3c90fbc894b4945","last_reissued_at":"2026-06-19T16:12:54.782882Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:12:54.782882Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.09383","source_version":2,"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-06-19T16:12:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YHZu6Gcv+QTQ5+Bf3XUwUk2If1ZjKNQzpCBffjzPWvdhx9qzzcbgGDfC6wx/NQSVTbUCAix2adGIyntGiyP0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T21:52:50.813534Z"},"content_sha256":"2e9c1e3673c3073926cabed2a3d6864d8fceda1ee18fecf160129b83a3170676","schema_version":"1.0","event_id":"sha256:2e9c1e3673c3073926cabed2a3d6864d8fceda1ee18fecf160129b83a3170676"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:E4PYRHYRG27X7EOG54GIA6V5IJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety-Critical LiDAR-Inertial Odometry with On-Manifold Deterministic Protection Level","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"LiDAR-inertial odometry supplies deterministic protection levels by turning bounded point-cloud noise into feasible pose sets through an on-manifold filter.","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Bo Zhou, Chufan Rui, Jiasheng Luo, Shihua Li, Yan Pan, Yueqi Zhu","submitted_at":"2026-05-10T07:20:34Z","abstract_excerpt":"In safety-critical scenarios, the protection level of the autonomous navigation system is crucial for enabling mobile robots to perform safe tasks. However, existing studies on probabilistic navigation systems for robots usually perform offline accuracy evaluations using limited datasets and assume that the results can be applied to unknown real-world environments. As a result, current autonomous mobile robots often lack protection levels for online safety assessment. To fill this gap, we propose a safety-critical LiDAR-inertial odometry (LIO) that provides deterministic protection levels base"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"By adopting the unknown but bounded assumption, we derive a neat closed-form relationship between point cloud noise and the uncertainty of the estimation from the iterated closest point algorithm. Using this relationship, we design an on-manifold ellipsoidal set-membership filter and implement it within the LIO system.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The unknown-but-bounded noise model for point clouds holds in real-world environments and the derived closed-form relationship accurately propagates uncertainty through ICP without hidden fitting steps or post-hoc exclusions.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A LiDAR-inertial odometry pipeline supplies deterministic feasible sets as protection levels by linking ICP point-cloud noise to pose uncertainty via a closed-form relation and propagating it with an on-manifold ellipsoidal set-membership filter.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"LiDAR-inertial odometry supplies deterministic protection levels by turning bounded point-cloud noise into feasible pose sets through an on-manifold filter.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"f46eda9f44ed508739a592ed00d3588ff37592434e6f8f44075dd7cdaba7423a"},"source":{"id":"2605.09383","kind":"arxiv","version":2},"verdict":{"id":"877f0934-abc8-425b-b053-8237867cee95","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-12T04:41:48.975924Z","strongest_claim":"By adopting the unknown but bounded assumption, we derive a neat closed-form relationship between point cloud noise and the uncertainty of the estimation from the iterated closest point algorithm. Using this relationship, we design an on-manifold ellipsoidal set-membership filter and implement it within the LIO system.","one_line_summary":"A LiDAR-inertial odometry pipeline supplies deterministic feasible sets as protection levels by linking ICP point-cloud noise to pose uncertainty via a closed-form relation and propagating it with an on-manifold ellipsoidal set-membership filter.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The unknown-but-bounded noise model for point clouds holds in real-world environments and the derived closed-form relationship accurately propagates uncertainty through ICP without hidden fitting steps or post-hoc exclusions.","pith_extraction_headline":"LiDAR-inertial odometry supplies deterministic protection levels by turning bounded point-cloud noise into feasible pose sets through an on-manifold filter."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.09383/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"claim_evidence","ran_at":"2026-05-20T07:42:01.496081Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T19:36:22.316042Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T13:01:18.389873Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T10:19:12.135471Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"82200ad64655867c2bb88329e73c718af022727734c61dd3e7ce3108c41bfa59"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"79f483e3c12c50d36b43e2c555cece5c94a45ba461724745e3590844cd4b5c60"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"877f0934-abc8-425b-b053-8237867cee95"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-19T16:12:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HRkTrBS+w9iLgrrZDrxhLBx2zovVEWjC2URBwpcve+BEw2diVoc7VzRhSe2798ltEmRK99cwZNUcBQcUQsxgBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T21:52:50.814028Z"},"content_sha256":"bbc8aa74d260a81aec62a29d33d9af806d19097d85b6cfff3bdd281c5e2071d5","schema_version":"1.0","event_id":"sha256:bbc8aa74d260a81aec62a29d33d9af806d19097d85b6cfff3bdd281c5e2071d5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E4PYRHYRG27X7EOG54GIA6V5IJ/bundle.json","state_url":"https://pith.science/pith/E4PYRHYRG27X7EOG54GIA6V5IJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E4PYRHYRG27X7EOG54GIA6V5IJ/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-26T21:52:50Z","links":{"resolver":"https://pith.science/pith/E4PYRHYRG27X7EOG54GIA6V5IJ","bundle":"https://pith.science/pith/E4PYRHYRG27X7EOG54GIA6V5IJ/bundle.json","state":"https://pith.science/pith/E4PYRHYRG27X7EOG54GIA6V5IJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E4PYRHYRG27X7EOG54GIA6V5IJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:E4PYRHYRG27X7EOG54GIA6V5IJ","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":"6b5dee85534b0895227eff858cc79a8c156109f8cf9260fb6b14f0d1048c57bf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-10T07:20:34Z","title_canon_sha256":"1dda08ca50df03924504a94e8a9892dae2e8c0d212f51976860fb8ab0a9fb3b7"},"schema_version":"1.0","source":{"id":"2605.09383","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.09383","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"arxiv_version","alias_value":"2605.09383v2","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.09383","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"pith_short_12","alias_value":"E4PYRHYRG27X","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"pith_short_16","alias_value":"E4PYRHYRG27X7EOG","created_at":"2026-06-19T16:12:54Z"},{"alias_kind":"pith_short_8","alias_value":"E4PYRHYR","created_at":"2026-06-19T16:12:54Z"}],"graph_snapshots":[{"event_id":"sha256:bbc8aa74d260a81aec62a29d33d9af806d19097d85b6cfff3bdd281c5e2071d5","target":"graph","created_at":"2026-06-19T16:12:54Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"By adopting the unknown but bounded assumption, we derive a neat closed-form relationship between point cloud noise and the uncertainty of the estimation from the iterated closest point algorithm. Using this relationship, we design an on-manifold ellipsoidal set-membership filter and implement it within the LIO system."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The unknown-but-bounded noise model for point clouds holds in real-world environments and the derived closed-form relationship accurately propagates uncertainty through ICP without hidden fitting steps or post-hoc exclusions."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A LiDAR-inertial odometry pipeline supplies deterministic feasible sets as protection levels by linking ICP point-cloud noise to pose uncertainty via a closed-form relation and propagating it with an on-manifold ellipsoidal set-membership filter."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"LiDAR-inertial odometry supplies deterministic protection levels by turning bounded point-cloud noise into feasible pose sets through an on-manifold filter."}],"snapshot_sha256":"f46eda9f44ed508739a592ed00d3588ff37592434e6f8f44075dd7cdaba7423a"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"79f483e3c12c50d36b43e2c555cece5c94a45ba461724745e3590844cd4b5c60"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-20T07:42:01.496081Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T19:36:22.316042Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T13:01:18.389873Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T10:19:12.135471Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.09383/integrity.json","findings":[],"snapshot_sha256":"82200ad64655867c2bb88329e73c718af022727734c61dd3e7ce3108c41bfa59","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In safety-critical scenarios, the protection level of the autonomous navigation system is crucial for enabling mobile robots to perform safe tasks. However, existing studies on probabilistic navigation systems for robots usually perform offline accuracy evaluations using limited datasets and assume that the results can be applied to unknown real-world environments. As a result, current autonomous mobile robots often lack protection levels for online safety assessment. To fill this gap, we propose a safety-critical LiDAR-inertial odometry (LIO) that provides deterministic protection levels base","authors_text":"Bo Zhou, Chufan Rui, Jiasheng Luo, Shihua Li, Yan Pan, Yueqi Zhu","cross_cats":[],"headline":"LiDAR-inertial odometry supplies deterministic protection levels by turning bounded point-cloud noise into feasible pose sets through an on-manifold filter.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-10T07:20:34Z","title":"Safety-Critical LiDAR-Inertial Odometry with On-Manifold Deterministic Protection Level"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.09383","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-12T04:41:48.975924Z","id":"877f0934-abc8-425b-b053-8237867cee95","model_set":{"reader":"grok-4.3"},"one_line_summary":"A LiDAR-inertial odometry pipeline supplies deterministic feasible sets as protection levels by linking ICP point-cloud noise to pose uncertainty via a closed-form relation and propagating it with an on-manifold ellipsoidal set-membership filter.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"LiDAR-inertial odometry supplies deterministic protection levels by turning bounded point-cloud noise into feasible pose sets through an on-manifold filter.","strongest_claim":"By adopting the unknown but bounded assumption, we derive a neat closed-form relationship between point cloud noise and the uncertainty of the estimation from the iterated closest point algorithm. Using this relationship, we design an on-manifold ellipsoidal set-membership filter and implement it within the LIO system.","weakest_assumption":"The unknown-but-bounded noise model for point clouds holds in real-world environments and the derived closed-form relationship accurately propagates uncertainty through ICP without hidden fitting steps or post-hoc exclusions."}},"verdict_id":"877f0934-abc8-425b-b053-8237867cee95"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2e9c1e3673c3073926cabed2a3d6864d8fceda1ee18fecf160129b83a3170676","target":"record","created_at":"2026-06-19T16:12:54Z","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":"6b5dee85534b0895227eff858cc79a8c156109f8cf9260fb6b14f0d1048c57bf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-10T07:20:34Z","title_canon_sha256":"1dda08ca50df03924504a94e8a9892dae2e8c0d212f51976860fb8ab0a9fb3b7"},"schema_version":"1.0","source":{"id":"2605.09383","kind":"arxiv","version":2}},"canonical_sha256":"271f889f1136bf7f91c6ef0c807abd4274b55b2504081444a3c90fbc894b4945","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"271f889f1136bf7f91c6ef0c807abd4274b55b2504081444a3c90fbc894b4945","first_computed_at":"2026-06-19T16:12:54.782882Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:12:54.782882Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dPsVgXFLGu/yhnK+uQ3lAe3KwlGhIvUy6irH/2m9CDX6JTyhRvEtYo49o9CFKROnSmvJH9SW86vWDjoyfBpUCw==","signature_status":"signed_v1","signed_at":"2026-06-19T16:12:54.783249Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.09383","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e9c1e3673c3073926cabed2a3d6864d8fceda1ee18fecf160129b83a3170676","sha256:bbc8aa74d260a81aec62a29d33d9af806d19097d85b6cfff3bdd281c5e2071d5"],"state_sha256":"5b78aa9c9babdf955437f6fbe8eeb854d1cf2fe65061aebdebe72a3a03bb3d1c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s5lzxOmnD3ojW/AVcAFm5ORrPR4Xc1E1N2gzemWM89JLB13QFXZ5+4oxhMiBAOoROPoe9ZXOwtzj4Ki1YlTTBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T21:52:50.816759Z","bundle_sha256":"bc1ea616e284b9f014691f213b8c9a10b6f23873b9618555afe1f62e2ec58c9e"}}