{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:S5HT3DSBIZB7XGS5DR6FZI67SI","short_pith_number":"pith:S5HT3DSB","canonical_record":{"source":{"id":"2605.12053","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-12T12:35:25Z","cross_cats_sorted":[],"title_canon_sha256":"20c80b77618739a642c0b05fe626b9902301713c5c3b94899f110f592b69aac3","abstract_canon_sha256":"8e2cdf46b728847aa523519d32b37a400b80c6f5ce98eddff63796e25c12f1b1"},"schema_version":"1.0"},"canonical_sha256":"974f3d8e414643fb9a5d1c7c5ca3df920577d4889f354b80c6eb69e1a4321e5b","source":{"kind":"arxiv","id":"2605.12053","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12053","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12053v2","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12053","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"pith_short_12","alias_value":"S5HT3DSBIZB7","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"pith_short_16","alias_value":"S5HT3DSBIZB7XGS5","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"pith_short_8","alias_value":"S5HT3DSB","created_at":"2026-06-11T01:09:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:S5HT3DSBIZB7XGS5DR6FZI67SI","target":"record","payload":{"canonical_record":{"source":{"id":"2605.12053","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-12T12:35:25Z","cross_cats_sorted":[],"title_canon_sha256":"20c80b77618739a642c0b05fe626b9902301713c5c3b94899f110f592b69aac3","abstract_canon_sha256":"8e2cdf46b728847aa523519d32b37a400b80c6f5ce98eddff63796e25c12f1b1"},"schema_version":"1.0"},"canonical_sha256":"974f3d8e414643fb9a5d1c7c5ca3df920577d4889f354b80c6eb69e1a4321e5b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-11T01:09:37.691502Z","signature_b64":"dPz9vboevncHSrv1Gkm5ASeBlF9oqG6QMVxZsDvgwzXAIAhxwZfNup0tYJd4pVUT0R1jtibql5OUZjZ67m+fDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"974f3d8e414643fb9a5d1c7c5ca3df920577d4889f354b80c6eb69e1a4321e5b","last_reissued_at":"2026-06-11T01:09:37.690616Z","signature_status":"signed_v1","first_computed_at":"2026-06-11T01:09:37.690616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.12053","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-11T01:09:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"07ouULaXZqz6V2PrxL817iYNZ6igZ/fQ/udoEgammmohbFffLh+dzLI9uENaWHDzOFzREbW38ukj+CEzzASOAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T06:41:46.284157Z"},"content_sha256":"fdd86641d4778559ceb9477fca7deddb15d8f494cbaf39c16442c911b0b6dc85","schema_version":"1.0","event_id":"sha256:fdd86641d4778559ceb9477fca7deddb15d8f494cbaf39c16442c911b0b6dc85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:S5HT3DSBIZB7XGS5DR6FZI67SI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Closing the Motion Execution Gap: From Semantic Motion Task Constraints to Kinematic Control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Motion Statecharts turn semantic task constraints into executable kinematic motions that transfer across robot platforms without retuning.","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Malte Huerkamp, Michael Beetz, Simon Stelter, Vanessa Hassouna","submitted_at":"2026-05-12T12:35:25Z","abstract_excerpt":"This paper addresses the Motion Execution Gap, the disconnect between high-level symbolic task descriptions using semantic constraints and executable robot motions. Motion Statecharts are introduced as an executable symbolic representation for complex motions. They allow the arbitrary arrangement of motion constraints, monitors or nested statecharts in parallel and sequence. World-centric motion specification and generalization across embodiments are enabled through the use of a unified differentiable kinematic world model of both, robots and environments. Motion execution is realized through "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Motion Statecharts are introduced as an executable symbolic representation for complex motions. They allow the arbitrary arrangement of motion constraints, monitors or nested statecharts in parallel and sequence. ... Cross-platform transferability was demonstrated by deploying the method on eight robot platforms.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The unified differentiable kinematic world model of both robots and environments is sufficiently accurate and general to enable world-centric motion specification and generalization across embodiments without platform-specific tuning.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Motion Statecharts with a differentiable kinematic world model and lMPC close the gap between semantic motion constraints and executable kinematic control, demonstrated on eight robot platforms via the open-source Giskard framework.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Motion Statecharts turn semantic task constraints into executable kinematic motions that transfer across robot platforms without retuning.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"2bea52e402956d353b3bf9f85dfe1fb9ea783c2f9a0c77b235e5a3516254986f"},"source":{"id":"2605.12053","kind":"arxiv","version":2},"verdict":{"id":"abfff0a5-7793-41aa-84d9-98fe65ca55ce","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-13T05:15:54.865147Z","strongest_claim":"Motion Statecharts are introduced as an executable symbolic representation for complex motions. They allow the arbitrary arrangement of motion constraints, monitors or nested statecharts in parallel and sequence. ... Cross-platform transferability was demonstrated by deploying the method on eight robot platforms.","one_line_summary":"Motion Statecharts with a differentiable kinematic world model and lMPC close the gap between semantic motion constraints and executable kinematic control, demonstrated on eight robot platforms via the open-source Giskard framework.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The unified differentiable kinematic world model of both robots and environments is sufficiently accurate and general to enable world-centric motion specification and generalization across embodiments without platform-specific tuning.","pith_extraction_headline":"Motion Statecharts turn semantic task constraints into executable kinematic motions that transfer across robot platforms without retuning."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.12053/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-26T15:43:47.532995Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-20T17:01:26.408096Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-20T11:25:13.038861Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T23:01:58.415056Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"79f32bb7ccd84526e191caab96242591547c757440b633d33245176a6684e0f0"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":1,"snapshot_sha256":"47dfa2b99ba6483b00781e3d4631a1b9427de680d79d291f42da68f66b61da3a"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"abfff0a5-7793-41aa-84d9-98fe65ca55ce"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-11T01:09:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lL9MdwfRmpg++jW49RTXYksk998zeZarVRHyUBLFaRkmHS5iXElV9RORub0YD27AKAGs3g8Dzm8fBNea00GICg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T06:41:46.284694Z"},"content_sha256":"661735e6ab3b78457ce187d6a465f583f00c211593c8cef578688e3f70809327","schema_version":"1.0","event_id":"sha256:661735e6ab3b78457ce187d6a465f583f00c211593c8cef578688e3f70809327"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S5HT3DSBIZB7XGS5DR6FZI67SI/bundle.json","state_url":"https://pith.science/pith/S5HT3DSBIZB7XGS5DR6FZI67SI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S5HT3DSBIZB7XGS5DR6FZI67SI/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-12T06:41:46Z","links":{"resolver":"https://pith.science/pith/S5HT3DSBIZB7XGS5DR6FZI67SI","bundle":"https://pith.science/pith/S5HT3DSBIZB7XGS5DR6FZI67SI/bundle.json","state":"https://pith.science/pith/S5HT3DSBIZB7XGS5DR6FZI67SI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S5HT3DSBIZB7XGS5DR6FZI67SI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:S5HT3DSBIZB7XGS5DR6FZI67SI","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":"8e2cdf46b728847aa523519d32b37a400b80c6f5ce98eddff63796e25c12f1b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-12T12:35:25Z","title_canon_sha256":"20c80b77618739a642c0b05fe626b9902301713c5c3b94899f110f592b69aac3"},"schema_version":"1.0","source":{"id":"2605.12053","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12053","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12053v2","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12053","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"pith_short_12","alias_value":"S5HT3DSBIZB7","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"pith_short_16","alias_value":"S5HT3DSBIZB7XGS5","created_at":"2026-06-11T01:09:37Z"},{"alias_kind":"pith_short_8","alias_value":"S5HT3DSB","created_at":"2026-06-11T01:09:37Z"}],"graph_snapshots":[{"event_id":"sha256:661735e6ab3b78457ce187d6a465f583f00c211593c8cef578688e3f70809327","target":"graph","created_at":"2026-06-11T01:09:37Z","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":"Motion Statecharts are introduced as an executable symbolic representation for complex motions. They allow the arbitrary arrangement of motion constraints, monitors or nested statecharts in parallel and sequence. ... Cross-platform transferability was demonstrated by deploying the method on eight robot platforms."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The unified differentiable kinematic world model of both robots and environments is sufficiently accurate and general to enable world-centric motion specification and generalization across embodiments without platform-specific tuning."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Motion Statecharts with a differentiable kinematic world model and lMPC close the gap between semantic motion constraints and executable kinematic control, demonstrated on eight robot platforms via the open-source Giskard framework."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Motion Statecharts turn semantic task constraints into executable kinematic motions that transfer across robot platforms without retuning."}],"snapshot_sha256":"2bea52e402956d353b3bf9f85dfe1fb9ea783c2f9a0c77b235e5a3516254986f"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"47dfa2b99ba6483b00781e3d4631a1b9427de680d79d291f42da68f66b61da3a"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-26T15:43:47.532995Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-20T17:01:26.408096Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-20T11:25:13.038861Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T23:01:58.415056Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.12053/integrity.json","findings":[],"snapshot_sha256":"79f32bb7ccd84526e191caab96242591547c757440b633d33245176a6684e0f0","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper addresses the Motion Execution Gap, the disconnect between high-level symbolic task descriptions using semantic constraints and executable robot motions. Motion Statecharts are introduced as an executable symbolic representation for complex motions. They allow the arbitrary arrangement of motion constraints, monitors or nested statecharts in parallel and sequence. World-centric motion specification and generalization across embodiments are enabled through the use of a unified differentiable kinematic world model of both, robots and environments. Motion execution is realized through ","authors_text":"Malte Huerkamp, Michael Beetz, Simon Stelter, Vanessa Hassouna","cross_cats":[],"headline":"Motion Statecharts turn semantic task constraints into executable kinematic motions that transfer across robot platforms without retuning.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-12T12:35:25Z","title":"Closing the Motion Execution Gap: From Semantic Motion Task Constraints to Kinematic Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.12053","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-13T05:15:54.865147Z","id":"abfff0a5-7793-41aa-84d9-98fe65ca55ce","model_set":{"reader":"grok-4.3"},"one_line_summary":"Motion Statecharts with a differentiable kinematic world model and lMPC close the gap between semantic motion constraints and executable kinematic control, demonstrated on eight robot platforms via the open-source Giskard framework.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Motion Statecharts turn semantic task constraints into executable kinematic motions that transfer across robot platforms without retuning.","strongest_claim":"Motion Statecharts are introduced as an executable symbolic representation for complex motions. They allow the arbitrary arrangement of motion constraints, monitors or nested statecharts in parallel and sequence. ... Cross-platform transferability was demonstrated by deploying the method on eight robot platforms.","weakest_assumption":"The unified differentiable kinematic world model of both robots and environments is sufficiently accurate and general to enable world-centric motion specification and generalization across embodiments without platform-specific tuning."}},"verdict_id":"abfff0a5-7793-41aa-84d9-98fe65ca55ce"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:fdd86641d4778559ceb9477fca7deddb15d8f494cbaf39c16442c911b0b6dc85","target":"record","created_at":"2026-06-11T01:09:37Z","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":"8e2cdf46b728847aa523519d32b37a400b80c6f5ce98eddff63796e25c12f1b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-05-12T12:35:25Z","title_canon_sha256":"20c80b77618739a642c0b05fe626b9902301713c5c3b94899f110f592b69aac3"},"schema_version":"1.0","source":{"id":"2605.12053","kind":"arxiv","version":2}},"canonical_sha256":"974f3d8e414643fb9a5d1c7c5ca3df920577d4889f354b80c6eb69e1a4321e5b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"974f3d8e414643fb9a5d1c7c5ca3df920577d4889f354b80c6eb69e1a4321e5b","first_computed_at":"2026-06-11T01:09:37.690616Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-11T01:09:37.690616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dPz9vboevncHSrv1Gkm5ASeBlF9oqG6QMVxZsDvgwzXAIAhxwZfNup0tYJd4pVUT0R1jtibql5OUZjZ67m+fDA==","signature_status":"signed_v1","signed_at":"2026-06-11T01:09:37.691502Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.12053","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fdd86641d4778559ceb9477fca7deddb15d8f494cbaf39c16442c911b0b6dc85","sha256:661735e6ab3b78457ce187d6a465f583f00c211593c8cef578688e3f70809327"],"state_sha256":"ac264cfab01c817a427edc061e48ef22bed6e1ca3046fd033f0b2c92f19db630"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oCLP0v4/Jz9c6jDe1NankJzuLV5QJmIQEbCJCJ2pAgu9hinU72ErUtRA/0CMps/Sy+Vn+y1YZgWqLoL7rjrRDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T06:41:46.287228Z","bundle_sha256":"ca349e1a779bda26a8441e053687a1db1c74cd1dbf1b5f2fa6f960ddc0c79ff8"}}