{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RNADVT4UBOAIUKFBALSVI2KMC2","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":"b22e96817a94e91f2ff3a25095ca5b26a685f386e2a8893cc8bdd47cbe67cde9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2025-07-12T07:07:10Z","title_canon_sha256":"933b3e8a290f7cc9e2bf47dd1b4bdb3bbf7369f2bc24983fc895c6044696b3d9"},"schema_version":"1.0","source":{"id":"2507.09167","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.09167","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"arxiv_version","alias_value":"2507.09167v1","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.09167","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_12","alias_value":"RNADVT4UBOAI","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_16","alias_value":"RNADVT4UBOAIUKFB","created_at":"2026-07-05T11:36:04Z"},{"alias_kind":"pith_short_8","alias_value":"RNADVT4U","created_at":"2026-07-05T11:36:04Z"}],"graph_snapshots":[{"event_id":"sha256:301e391cbc915b67ae573ad231894d1e516a0bf9e550044fec7dbef1fbfc3baa","target":"graph","created_at":"2026-07-05T11:36:04Z","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/2507.09167/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a novel approach for the procedural construction of multi-step contact-rich manipulation tasks in robotics. Our generator takes as input user-defined sets of atomic actions, objects, and spatial predicates and outputs solvable tasks of a given length for the selected robotic environment. The generator produces solvable tasks by constraining all possible (nonsolvable) combinations by symbolic and physical validation. The symbolic validation checks each generated sequence for logical and operational consistency, and also the suitability of object-predicate relations. Physical validati","authors_text":"Gabriela Sejnova, Karla Stepanova, Michal Vavrecka, Radoslav Skoviera","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2025-07-12T07:07:10Z","title":"PRAG: Procedural Action Generator"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.09167","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:c18f228cc33fd2b476271a6e4294acb58d936752ade20f5c1714410880270477","target":"record","created_at":"2026-07-05T11:36:04Z","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":"b22e96817a94e91f2ff3a25095ca5b26a685f386e2a8893cc8bdd47cbe67cde9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2025-07-12T07:07:10Z","title_canon_sha256":"933b3e8a290f7cc9e2bf47dd1b4bdb3bbf7369f2bc24983fc895c6044696b3d9"},"schema_version":"1.0","source":{"id":"2507.09167","kind":"arxiv","version":1}},"canonical_sha256":"8b403acf940b808a28a102e554694c16a98c695cf06730b5df0563a68e370c3e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b403acf940b808a28a102e554694c16a98c695cf06730b5df0563a68e370c3e","first_computed_at":"2026-07-05T11:36:04.833404Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:36:04.833404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YibP8ZUOpbHQi13SchOJ+bf6mGLNHVR6Q3TTRlT/NyMVcZK3CcgzhSx/Y7RcOdS51lWCQujegNTWNIJfrtTbDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:36:04.833820Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.09167","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c18f228cc33fd2b476271a6e4294acb58d936752ade20f5c1714410880270477","sha256:301e391cbc915b67ae573ad231894d1e516a0bf9e550044fec7dbef1fbfc3baa"],"state_sha256":"cc628067456fc4efe3e00dc6db30cd80593f54a3a37320f9432b39b0d817191e"}