{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:6QAABOIKZXNVUYFWOD3GLMHM34","short_pith_number":"pith:6QAABOIK","canonical_record":{"source":{"id":"2605.22991","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-21T19:42:29Z","cross_cats_sorted":[],"title_canon_sha256":"0be94c3dab1a82e579abd20da05284d87bd55ff216201fd2ad33f9f62c7b95d1","abstract_canon_sha256":"5951d32613894316cdec639dcb8fc6a6d6adbbb22c9d8932660846d101ca4155"},"schema_version":"1.0"},"canonical_sha256":"f40000b90acddb5a60b670f665b0ecdf22e5f78444ef4ee0c4595d6b97a307a5","source":{"kind":"arxiv","id":"2605.22991","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22991","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22991v1","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22991","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"pith_short_12","alias_value":"6QAABOIKZXNV","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"pith_short_16","alias_value":"6QAABOIKZXNVUYFW","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"pith_short_8","alias_value":"6QAABOIK","created_at":"2026-05-25T02:01:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:6QAABOIKZXNVUYFWOD3GLMHM34","target":"record","payload":{"canonical_record":{"source":{"id":"2605.22991","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-21T19:42:29Z","cross_cats_sorted":[],"title_canon_sha256":"0be94c3dab1a82e579abd20da05284d87bd55ff216201fd2ad33f9f62c7b95d1","abstract_canon_sha256":"5951d32613894316cdec639dcb8fc6a6d6adbbb22c9d8932660846d101ca4155"},"schema_version":"1.0"},"canonical_sha256":"f40000b90acddb5a60b670f665b0ecdf22e5f78444ef4ee0c4595d6b97a307a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:01:33.478934Z","signature_b64":"a0XDnrpwVSzq1YhqTK+6l5O/3yN8POQ4X22GDj23U9m9xEogBhd1coa4Hyn/renOIDYXWSCiPjVkiK3fE9gJCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f40000b90acddb5a60b670f665b0ecdf22e5f78444ef4ee0c4595d6b97a307a5","last_reissued_at":"2026-05-25T02:01:33.478129Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:01:33.478129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.22991","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-25T02:01:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3mygBDnkNM4fUA+778YJu2hddazC8rU3ZSZjIVsdtO+M6bDHhtelDw3nddVRTKOUPrmzcP3Uak+t+YJhqrFqDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T11:23:53.372050Z"},"content_sha256":"335ea5adc61331efb7a50465f66f17d4387637f7669a94ac15e5e6597999c871","schema_version":"1.0","event_id":"sha256:335ea5adc61331efb7a50465f66f17d4387637f7669a94ac15e5e6597999c871"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:6QAABOIKZXNVUYFWOD3GLMHM34","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verified Task-Space Motion Planning Under Joint-Space Constraints","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Changliu Liu, Hanjiang Hu, Yebin Wang","submitted_at":"2026-05-21T19:42:29Z","abstract_excerpt":"Reactive task-space planners such as Bug2 operate with fixed Cartesian step sizes and are unaware of the manipulator's joint-angle limits. When the Jacobian is poorly conditioned, even small Cartesian steps can demand joint changes that exceed admissible bounds; clipping the joints to their limits causes tracking drift and can prevent goal reaching entirely. We address this by computing, at each planning step, the largest Cartesian hyperrectangle that is \\emph{certifiably reachable} under joint displacement bounds. Using a second-order polynomial approximation of the inverse kinematics and the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22991","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.22991/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-25T02:01:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TWJjdMq78DmSOJiJ6Ja9tyRtyoQaWcNeRAPO3CY2ZH+eg99I2hdi0jvo5t05EX5vxFac1oCU1Bk39jnM1PGYAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T11:23:53.372442Z"},"content_sha256":"777542cc433801a1682c8504f090872b3b85ce02461521fb252fc443a6c3e502","schema_version":"1.0","event_id":"sha256:777542cc433801a1682c8504f090872b3b85ce02461521fb252fc443a6c3e502"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6QAABOIKZXNVUYFWOD3GLMHM34/bundle.json","state_url":"https://pith.science/pith/6QAABOIKZXNVUYFWOD3GLMHM34/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6QAABOIKZXNVUYFWOD3GLMHM34/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-02T11:23:53Z","links":{"resolver":"https://pith.science/pith/6QAABOIKZXNVUYFWOD3GLMHM34","bundle":"https://pith.science/pith/6QAABOIKZXNVUYFWOD3GLMHM34/bundle.json","state":"https://pith.science/pith/6QAABOIKZXNVUYFWOD3GLMHM34/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6QAABOIKZXNVUYFWOD3GLMHM34/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:6QAABOIKZXNVUYFWOD3GLMHM34","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":"5951d32613894316cdec639dcb8fc6a6d6adbbb22c9d8932660846d101ca4155","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-21T19:42:29Z","title_canon_sha256":"0be94c3dab1a82e579abd20da05284d87bd55ff216201fd2ad33f9f62c7b95d1"},"schema_version":"1.0","source":{"id":"2605.22991","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22991","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22991v1","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22991","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"pith_short_12","alias_value":"6QAABOIKZXNV","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"pith_short_16","alias_value":"6QAABOIKZXNVUYFW","created_at":"2026-05-25T02:01:33Z"},{"alias_kind":"pith_short_8","alias_value":"6QAABOIK","created_at":"2026-05-25T02:01:33Z"}],"graph_snapshots":[{"event_id":"sha256:777542cc433801a1682c8504f090872b3b85ce02461521fb252fc443a6c3e502","target":"graph","created_at":"2026-05-25T02:01:33Z","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.22991/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reactive task-space planners such as Bug2 operate with fixed Cartesian step sizes and are unaware of the manipulator's joint-angle limits. When the Jacobian is poorly conditioned, even small Cartesian steps can demand joint changes that exceed admissible bounds; clipping the joints to their limits causes tracking drift and can prevent goal reaching entirely. We address this by computing, at each planning step, the largest Cartesian hyperrectangle that is \\emph{certifiably reachable} under joint displacement bounds. Using a second-order polynomial approximation of the inverse kinematics and the","authors_text":"Changliu Liu, Hanjiang Hu, Yebin Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-21T19:42:29Z","title":"Verified Task-Space Motion Planning Under Joint-Space Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22991","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:335ea5adc61331efb7a50465f66f17d4387637f7669a94ac15e5e6597999c871","target":"record","created_at":"2026-05-25T02:01:33Z","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":"5951d32613894316cdec639dcb8fc6a6d6adbbb22c9d8932660846d101ca4155","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-21T19:42:29Z","title_canon_sha256":"0be94c3dab1a82e579abd20da05284d87bd55ff216201fd2ad33f9f62c7b95d1"},"schema_version":"1.0","source":{"id":"2605.22991","kind":"arxiv","version":1}},"canonical_sha256":"f40000b90acddb5a60b670f665b0ecdf22e5f78444ef4ee0c4595d6b97a307a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f40000b90acddb5a60b670f665b0ecdf22e5f78444ef4ee0c4595d6b97a307a5","first_computed_at":"2026-05-25T02:01:33.478129Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:01:33.478129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a0XDnrpwVSzq1YhqTK+6l5O/3yN8POQ4X22GDj23U9m9xEogBhd1coa4Hyn/renOIDYXWSCiPjVkiK3fE9gJCA==","signature_status":"signed_v1","signed_at":"2026-05-25T02:01:33.478934Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.22991","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:335ea5adc61331efb7a50465f66f17d4387637f7669a94ac15e5e6597999c871","sha256:777542cc433801a1682c8504f090872b3b85ce02461521fb252fc443a6c3e502"],"state_sha256":"639fba5309cd9ef009c8ced3e86b4ed6a7121d077a11566d7e6889195fcb0390"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tgFbV+LUh/Wab3uo98Wa4QuUV/zq28dNWFD62Xd07ZdwVnVTM7S7f2jNtbfFFcw//QL4R491iJVgI4EEWP4hAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T11:23:53.374472Z","bundle_sha256":"cb9bb79529c2f37bd44a9cd7048d2e327dcc5960f1c211f536cf4d16b18e0ea6"}}