{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:37JFJRVC5SCW3GNUMZYV5CGST7","short_pith_number":"pith:37JFJRVC","canonical_record":{"source":{"id":"2607.11657","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-07-13T15:05:31Z","cross_cats_sorted":["cs.SC","math.AC"],"title_canon_sha256":"aea1d041fbc7f634c59dfdc585426b9ed02e8813ee58bbe6684cb846ed1d577b","abstract_canon_sha256":"eb98efaac8b47c2c3260e0117bef8245d214e270fb3c5001b90766e2ad19bfb9"},"schema_version":"1.0"},"canonical_sha256":"dfd254c6a2ec856d99b466715e88d29fd25d6619792179c54d3ca0263b2f1ef2","source":{"kind":"arxiv","id":"2607.11657","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.11657","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.11657v1","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.11657","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_12","alias_value":"37JFJRVC5SCW","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_16","alias_value":"37JFJRVC5SCW3GNU","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_8","alias_value":"37JFJRVC","created_at":"2026-07-14T02:22:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:37JFJRVC5SCW3GNUMZYV5CGST7","target":"record","payload":{"canonical_record":{"source":{"id":"2607.11657","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-07-13T15:05:31Z","cross_cats_sorted":["cs.SC","math.AC"],"title_canon_sha256":"aea1d041fbc7f634c59dfdc585426b9ed02e8813ee58bbe6684cb846ed1d577b","abstract_canon_sha256":"eb98efaac8b47c2c3260e0117bef8245d214e270fb3c5001b90766e2ad19bfb9"},"schema_version":"1.0"},"canonical_sha256":"dfd254c6a2ec856d99b466715e88d29fd25d6619792179c54d3ca0263b2f1ef2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-14T02:22:17.289351Z","signature_b64":"te8E4coigjd7Tt3KK0UTafZfAxsfhT5DonqctqTw20SOO3BoK/5DMkXLYtzOrwVWqTTREwqn8lwN6jy2UUIdAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dfd254c6a2ec856d99b466715e88d29fd25d6619792179c54d3ca0263b2f1ef2","last_reissued_at":"2026-07-14T02:22:17.288484Z","signature_status":"signed_v1","first_computed_at":"2026-07-14T02:22:17.288484Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.11657","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-14T02:22:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3xaRoRgE8jMaPUb4yYU+lQy2Hf9QDJ+hB3xOkXkDJHXvs4T4iPkLItdWPqccei/nG+sKa3ZSvZRXjG5vgbtTDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T23:13:56.072481Z"},"content_sha256":"a3bc6eb5d77ccffdd6cba3894b0c7eb526fc32b9875c3942694977b445cb4235","schema_version":"1.0","event_id":"sha256:a3bc6eb5d77ccffdd6cba3894b0c7eb526fc32b9875c3942694977b445cb4235"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:37JFJRVC5SCW3GNUMZYV5CGST7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.AC"],"primary_cat":"cs.RO","authors_text":"Akira Terui, Masahiko Mikawa, Yu Nakai","submitted_at":"2026-07-13T15:05:31Z","abstract_excerpt":"We propose an algorithm and its implementation for trajectory planning and certification for 3-DOF robot manipulators. The method uses Real Quantifier Elimination (QE) based on Comprehensive Gr\\\"obner Systems (CGS), also known as the CGS-QE method. The main advantage of the proposed method is its efficiency in trajectory planning and solution certification. This efficiency comes from the effective use of the CGS. First, for trajectory planning, we solve the inverse kinematics problem at each point along the trajectory via Gr\\\"obner basis computation. This usually requires recalculating the Gr\\"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.11657","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/2607.11657/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-14T02:22:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RVB1aFcH+MPI3xuIGRGgVp/FF0SNT6hnxmppd9LMd3Ohn5g3/sPog6Pzy/Q9IYrn0aBVQvuWFdTPM7pXYT7IBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T23:13:56.072990Z"},"content_sha256":"da03b1fdaee3a53ffc94b62897da078d32d50db6d5a6640a9e0a3a24834962eb","schema_version":"1.0","event_id":"sha256:da03b1fdaee3a53ffc94b62897da078d32d50db6d5a6640a9e0a3a24834962eb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/37JFJRVC5SCW3GNUMZYV5CGST7/bundle.json","state_url":"https://pith.science/pith/37JFJRVC5SCW3GNUMZYV5CGST7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/37JFJRVC5SCW3GNUMZYV5CGST7/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-03T23:13:56Z","links":{"resolver":"https://pith.science/pith/37JFJRVC5SCW3GNUMZYV5CGST7","bundle":"https://pith.science/pith/37JFJRVC5SCW3GNUMZYV5CGST7/bundle.json","state":"https://pith.science/pith/37JFJRVC5SCW3GNUMZYV5CGST7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/37JFJRVC5SCW3GNUMZYV5CGST7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:37JFJRVC5SCW3GNUMZYV5CGST7","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":"eb98efaac8b47c2c3260e0117bef8245d214e270fb3c5001b90766e2ad19bfb9","cross_cats_sorted":["cs.SC","math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-07-13T15:05:31Z","title_canon_sha256":"aea1d041fbc7f634c59dfdc585426b9ed02e8813ee58bbe6684cb846ed1d577b"},"schema_version":"1.0","source":{"id":"2607.11657","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.11657","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.11657v1","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.11657","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_12","alias_value":"37JFJRVC5SCW","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_16","alias_value":"37JFJRVC5SCW3GNU","created_at":"2026-07-14T02:22:17Z"},{"alias_kind":"pith_short_8","alias_value":"37JFJRVC","created_at":"2026-07-14T02:22:17Z"}],"graph_snapshots":[{"event_id":"sha256:da03b1fdaee3a53ffc94b62897da078d32d50db6d5a6640a9e0a3a24834962eb","target":"graph","created_at":"2026-07-14T02:22:17Z","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/2607.11657/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose an algorithm and its implementation for trajectory planning and certification for 3-DOF robot manipulators. The method uses Real Quantifier Elimination (QE) based on Comprehensive Gr\\\"obner Systems (CGS), also known as the CGS-QE method. The main advantage of the proposed method is its efficiency in trajectory planning and solution certification. This efficiency comes from the effective use of the CGS. First, for trajectory planning, we solve the inverse kinematics problem at each point along the trajectory via Gr\\\"obner basis computation. This usually requires recalculating the Gr\\","authors_text":"Akira Terui, Masahiko Mikawa, Yu Nakai","cross_cats":["cs.SC","math.AC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-07-13T15:05:31Z","title":"Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gr\\\"obner Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.11657","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:a3bc6eb5d77ccffdd6cba3894b0c7eb526fc32b9875c3942694977b445cb4235","target":"record","created_at":"2026-07-14T02:22:17Z","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":"eb98efaac8b47c2c3260e0117bef8245d214e270fb3c5001b90766e2ad19bfb9","cross_cats_sorted":["cs.SC","math.AC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-07-13T15:05:31Z","title_canon_sha256":"aea1d041fbc7f634c59dfdc585426b9ed02e8813ee58bbe6684cb846ed1d577b"},"schema_version":"1.0","source":{"id":"2607.11657","kind":"arxiv","version":1}},"canonical_sha256":"dfd254c6a2ec856d99b466715e88d29fd25d6619792179c54d3ca0263b2f1ef2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dfd254c6a2ec856d99b466715e88d29fd25d6619792179c54d3ca0263b2f1ef2","first_computed_at":"2026-07-14T02:22:17.288484Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-14T02:22:17.288484Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"te8E4coigjd7Tt3KK0UTafZfAxsfhT5DonqctqTw20SOO3BoK/5DMkXLYtzOrwVWqTTREwqn8lwN6jy2UUIdAg==","signature_status":"signed_v1","signed_at":"2026-07-14T02:22:17.289351Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.11657","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a3bc6eb5d77ccffdd6cba3894b0c7eb526fc32b9875c3942694977b445cb4235","sha256:da03b1fdaee3a53ffc94b62897da078d32d50db6d5a6640a9e0a3a24834962eb"],"state_sha256":"60d145b445aca2e7806547500da1be940ea5f7a5bccb1601d3730d3e750d7f83"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HDOkBX98dIg7iGwt7x7z16yGrSnAVQkMTmeO1abVsJ39pvwAXr95oGAp5w5wFCirzAOjTuvQUa4UzU2xt0hyDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T23:13:56.077168Z","bundle_sha256":"9aa7cad1256b69362b25bad842e6be4ede4daebc195afacba398bbfdc5ccdd34"}}