{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:L2FRXGTQJXVOAA4D5MPA7CJTCX","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":"82de42c0d94f6d653bde8198764f16592d0f1059843ef07036b2c41b161dbf7e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2018-06-13T17:32:34Z","title_canon_sha256":"a3e9377cd7201b9d619f003f835bcffe0d5306fc610a79b411b652647f384084"},"schema_version":"1.0","source":{"id":"1806.05157","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05157","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05157v1","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05157","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"pith_short_12","alias_value":"L2FRXGTQJXVO","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"L2FRXGTQJXVOAA4D","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"L2FRXGTQ","created_at":"2026-05-18T12:32:33Z"}],"graph_snapshots":[{"event_id":"sha256:fb906e84fa784589bfc78fefedda5108fc5f599214780cb7db1f2d89060f39ea","target":"graph","created_at":"2026-05-18T00:13:20Z","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":"The objective of this paper is to distill the following essential idea from the RSS 2016 Workshop on Minimality and Design Automation and the RSS 2017 Workshop on Minimality and Trade-offs in Automated Robot Design:\n  The information abstractions popular within robotics, designed as they were to address insulated sub-problems, are currently inadequate for design automation.\n  This paper's first aim is to draw together multiple threads---specifically those of formalization, minimality, automation, and integration---and to argue that robot design questions involve some of the most interesting an","authors_text":"Alexandra Q. Nilles, Dylan A. Shell, Jason M. O'Kane","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2018-06-13T17:32:34Z","title":"Robot Design: Formalisms, Representations, and the Role of the Designer"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05157","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:76a201d740a613ee3b14ef8e2549fd129124352596ac57afca51591b052cb389","target":"record","created_at":"2026-05-18T00:13:20Z","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":"82de42c0d94f6d653bde8198764f16592d0f1059843ef07036b2c41b161dbf7e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2018-06-13T17:32:34Z","title_canon_sha256":"a3e9377cd7201b9d619f003f835bcffe0d5306fc610a79b411b652647f384084"},"schema_version":"1.0","source":{"id":"1806.05157","kind":"arxiv","version":1}},"canonical_sha256":"5e8b1b9a704deae00383eb1e0f893315de6b0008e9e49fa2cbd9e757aee814a9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e8b1b9a704deae00383eb1e0f893315de6b0008e9e49fa2cbd9e757aee814a9","first_computed_at":"2026-05-18T00:13:20.020740Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:20.020740Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D1C38FQSQR1N5oZiHpgqmBozk39SPo+VLqby9c9ikh5noNISl+XKinwjC+BlKULYP9/Dv/P30RXIZ3Ccf3i0Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:20.021344Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.05157","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:76a201d740a613ee3b14ef8e2549fd129124352596ac57afca51591b052cb389","sha256:fb906e84fa784589bfc78fefedda5108fc5f599214780cb7db1f2d89060f39ea"],"state_sha256":"0e3228f855f2bd7287aa400ba3543c838a7535b61fc3c0436584764f7651daf8"}