{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:T5L5XLUN6XPTJ625K3HJIASA46","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":"5efb4868cf71216ebc7a421aa4ca816cb4e43fd32697ab451657e88a55024f1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-30T18:22:13Z","title_canon_sha256":"f9ec9692d0cd4ef67daf0a0e9fba949dc659e9bd632327669469ee097548f46d"},"schema_version":"1.0","source":{"id":"1707.00015","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.00015","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"arxiv_version","alias_value":"1707.00015v2","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.00015","created_at":"2026-05-18T00:24:31Z"},{"alias_kind":"pith_short_12","alias_value":"T5L5XLUN6XPT","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"T5L5XLUN6XPTJ625","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"T5L5XLUN","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:647460cca53219aedb7613f8c17500014ba09bf003307aa1bccd069be2000b05","target":"graph","created_at":"2026-05-18T00:24:31Z","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":"We present a structure-aware code editor, called Deuce, that is equipped with direct manipulation capabilities for invoking automated program transformations. Compared to traditional refactoring environments, Deuce employs a direct manipulation interface that is tightly integrated within a text-based editing workflow. In particular, Deuce draws (i) clickable widgets atop the source code that allow the user to structurally select the unstructured text for subexpressions and other relevant features, and (ii) a lightweight, interactive menu of potential transformations based on the current select","authors_text":"Brian Hempel, Grace Lu, Justin Lubin, Ravi Chugh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-30T18:22:13Z","title":"Deuce: A Lightweight User Interface for Structured Editing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.00015","kind":"arxiv","version":2},"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:585522ae56799fedbc3c1c4946d50c74c368e839594d2c1b157c905f97a95c6b","target":"record","created_at":"2026-05-18T00:24:31Z","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":"5efb4868cf71216ebc7a421aa4ca816cb4e43fd32697ab451657e88a55024f1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-30T18:22:13Z","title_canon_sha256":"f9ec9692d0cd4ef67daf0a0e9fba949dc659e9bd632327669469ee097548f46d"},"schema_version":"1.0","source":{"id":"1707.00015","kind":"arxiv","version":2}},"canonical_sha256":"9f57dbae8df5df34fb5d56ce940240e7ae065b416634d04744e2cb0ea88c48a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f57dbae8df5df34fb5d56ce940240e7ae065b416634d04744e2cb0ea88c48a5","first_computed_at":"2026-05-18T00:24:31.118131Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:24:31.118131Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"23JPC3ixtfnn7UtpcVAjOZ/jN0aYGi8LBmH0hqglO5oWKhdqP5mjJHEQwUYRYSqXUPQ4x2b94oxDJ9Gp1CrzDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:24:31.118651Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.00015","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:585522ae56799fedbc3c1c4946d50c74c368e839594d2c1b157c905f97a95c6b","sha256:647460cca53219aedb7613f8c17500014ba09bf003307aa1bccd069be2000b05"],"state_sha256":"17fd80c14adf2f95b8601580240fe8753017ddca29ceca15b839d54f857a7d89"}