{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JZJQAJFZBRBOOXOO35DUSLO4FV","short_pith_number":"pith:JZJQAJFZ","canonical_record":{"source":{"id":"1712.01341","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-12-04T20:40:06Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"b1d72c874d5cecaa884ff915e57e4a4750a9cbdb5500898a756a443cc25ae717","abstract_canon_sha256":"1204c8cf3094cd8ab62a4aa399ac9ea78147dc28146f490d68616f166d81f763"},"schema_version":"1.0"},"canonical_sha256":"4e530024b90c42e75dcedf47492ddc2d59442258ddef2ebd9775d12ce0c854cf","source":{"kind":"arxiv","id":"1712.01341","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.01341","created_at":"2026-05-18T00:28:51Z"},{"alias_kind":"arxiv_version","alias_value":"1712.01341v1","created_at":"2026-05-18T00:28:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01341","created_at":"2026-05-18T00:28:51Z"},{"alias_kind":"pith_short_12","alias_value":"JZJQAJFZBRBO","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JZJQAJFZBRBOOXOO","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JZJQAJFZ","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JZJQAJFZBRBOOXOO35DUSLO4FV","target":"record","payload":{"canonical_record":{"source":{"id":"1712.01341","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-12-04T20:40:06Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"b1d72c874d5cecaa884ff915e57e4a4750a9cbdb5500898a756a443cc25ae717","abstract_canon_sha256":"1204c8cf3094cd8ab62a4aa399ac9ea78147dc28146f490d68616f166d81f763"},"schema_version":"1.0"},"canonical_sha256":"4e530024b90c42e75dcedf47492ddc2d59442258ddef2ebd9775d12ce0c854cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:28:51.082796Z","signature_b64":"d2uxI8O/zO5V7+CFzibyb8eW0yT1WL0iwgqGvvyAg5r7A77jvdtURNZq2J8P0Gh3xQNGTjX9xBE/tYSm2oSuBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e530024b90c42e75dcedf47492ddc2d59442258ddef2ebd9775d12ce0c854cf","last_reissued_at":"2026-05-18T00:28:51.082335Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:28:51.082335Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.01341","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-18T00:28:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zyTGN/ZzpT9HFuNBvzpqXQQOpdD3RxsVdBSNt444vfPXiyGOelMHL6VTVkoBr2q5wbNGBInGilseHUmZ+GrdCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T07:22:39.930526Z"},"content_sha256":"2e18d4d0f41644c20b1374fbac554284f82ca91cf6cee7ec96f68c42295474c5","schema_version":"1.0","event_id":"sha256:2e18d4d0f41644c20b1374fbac554284f82ca91cf6cee7ec96f68c42295474c5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JZJQAJFZBRBOOXOO35DUSLO4FV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proving the existence of loops in robot trajectories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"cs.RO","authors_text":"Clement Aubry, Luc Jaulin, Peter Franek, Simon Rohou","submitted_at":"2017-12-04T20:40:06Z","abstract_excerpt":"This paper presents a reliable method to verify the existence of loops along the uncertain trajectory of a robot, based on proprioceptive measurements only, within a bounded-error context. The loop closure detection is one of the key points in SLAM methods, especially in homogeneous environments with difficult scenes recognitions. The proposed approach is generic and could be coupled with conventional SLAM algorithms to reliably reduce their computing burden, thus improving the localization and mapping processes in the most challenging environments such as unexplored underwater extents.\n  To p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.01341","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":""},"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-18T00:28:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0vyvQc/pXgq1VVIJc+Id+HZJ9scNW0XjMNStp3us51Xwy5Wab97FTQlRBCHm2y/Rw6sjPbFL+oHr8YbXDN1iBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T07:22:39.930866Z"},"content_sha256":"84771617b6b32921b26a811fb1a8126975eaacaf9697c983fd9dbc89e34f53da","schema_version":"1.0","event_id":"sha256:84771617b6b32921b26a811fb1a8126975eaacaf9697c983fd9dbc89e34f53da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JZJQAJFZBRBOOXOO35DUSLO4FV/bundle.json","state_url":"https://pith.science/pith/JZJQAJFZBRBOOXOO35DUSLO4FV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JZJQAJFZBRBOOXOO35DUSLO4FV/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-21T07:22:39Z","links":{"resolver":"https://pith.science/pith/JZJQAJFZBRBOOXOO35DUSLO4FV","bundle":"https://pith.science/pith/JZJQAJFZBRBOOXOO35DUSLO4FV/bundle.json","state":"https://pith.science/pith/JZJQAJFZBRBOOXOO35DUSLO4FV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JZJQAJFZBRBOOXOO35DUSLO4FV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JZJQAJFZBRBOOXOO35DUSLO4FV","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":"1204c8cf3094cd8ab62a4aa399ac9ea78147dc28146f490d68616f166d81f763","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-12-04T20:40:06Z","title_canon_sha256":"b1d72c874d5cecaa884ff915e57e4a4750a9cbdb5500898a756a443cc25ae717"},"schema_version":"1.0","source":{"id":"1712.01341","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.01341","created_at":"2026-05-18T00:28:51Z"},{"alias_kind":"arxiv_version","alias_value":"1712.01341v1","created_at":"2026-05-18T00:28:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.01341","created_at":"2026-05-18T00:28:51Z"},{"alias_kind":"pith_short_12","alias_value":"JZJQAJFZBRBO","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JZJQAJFZBRBOOXOO","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JZJQAJFZ","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:84771617b6b32921b26a811fb1a8126975eaacaf9697c983fd9dbc89e34f53da","target":"graph","created_at":"2026-05-18T00:28:51Z","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"},"paper":{"abstract_excerpt":"This paper presents a reliable method to verify the existence of loops along the uncertain trajectory of a robot, based on proprioceptive measurements only, within a bounded-error context. The loop closure detection is one of the key points in SLAM methods, especially in homogeneous environments with difficult scenes recognitions. The proposed approach is generic and could be coupled with conventional SLAM algorithms to reliably reduce their computing burden, thus improving the localization and mapping processes in the most challenging environments such as unexplored underwater extents.\n  To p","authors_text":"Clement Aubry, Luc Jaulin, Peter Franek, Simon Rohou","cross_cats":["cs.CG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-12-04T20:40:06Z","title":"Proving the existence of loops in robot trajectories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.01341","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:2e18d4d0f41644c20b1374fbac554284f82ca91cf6cee7ec96f68c42295474c5","target":"record","created_at":"2026-05-18T00:28:51Z","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":"1204c8cf3094cd8ab62a4aa399ac9ea78147dc28146f490d68616f166d81f763","cross_cats_sorted":["cs.CG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-12-04T20:40:06Z","title_canon_sha256":"b1d72c874d5cecaa884ff915e57e4a4750a9cbdb5500898a756a443cc25ae717"},"schema_version":"1.0","source":{"id":"1712.01341","kind":"arxiv","version":1}},"canonical_sha256":"4e530024b90c42e75dcedf47492ddc2d59442258ddef2ebd9775d12ce0c854cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e530024b90c42e75dcedf47492ddc2d59442258ddef2ebd9775d12ce0c854cf","first_computed_at":"2026-05-18T00:28:51.082335Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:28:51.082335Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d2uxI8O/zO5V7+CFzibyb8eW0yT1WL0iwgqGvvyAg5r7A77jvdtURNZq2J8P0Gh3xQNGTjX9xBE/tYSm2oSuBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:28:51.082796Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.01341","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2e18d4d0f41644c20b1374fbac554284f82ca91cf6cee7ec96f68c42295474c5","sha256:84771617b6b32921b26a811fb1a8126975eaacaf9697c983fd9dbc89e34f53da"],"state_sha256":"f9875e6494454a6e7c1ff2707d7262f26b319f417d4e86e32555e8ecaff7245f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QYAak/ucn53SH7iZIZ7IoQwL5YzVt2as7yvoUIovOlqovoMfvXJXYrSR0sAY9MRNqEG/sgCTPNXN3AZ5tmDHDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T07:22:39.932782Z","bundle_sha256":"e8c57ed59d8df834330bc7b0c281bf02fed1f142022cab367013c29ba8ee5fd8"}}