{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:L3C6BBYGT43KQBHMUR5ZC3NHJG","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":"5972f01b5dd4f9ecba95afa33a8f341d88c7be6a9ecae80993141a5b67ef0c65","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-01T23:04:12Z","title_canon_sha256":"7436d3d069be02b1fae9cdd87385539fc0403607e78e6e3ebd6b5de71e8ed78d"},"schema_version":"1.0","source":{"id":"1404.0417","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0417","created_at":"2026-05-18T00:59:59Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0417v3","created_at":"2026-05-18T00:59:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0417","created_at":"2026-05-18T00:59:59Z"},{"alias_kind":"pith_short_12","alias_value":"L3C6BBYGT43K","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"L3C6BBYGT43KQBHM","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"L3C6BBYG","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:14e71c550a901cfc89bc2d49e83b907f0ccc61059dfd09dd6ca47be15855f985","target":"graph","created_at":"2026-05-18T00:59:59Z","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 the first method for automatically mining code idioms from a corpus of previously written, idiomatic software projects. We take the view that a code idiom is a syntactic fragment that recurs across projects and has a single semantic role. Idioms may have metavariables, such as the body of a for loop. Modern IDEs commonly provide facilities for manually defining idioms and inserting them on demand, but this does not help programmers to write idiomatic code in languages or using libraries with which they are unfamiliar. We present HAGGIS, a system for mining code idioms that builds on","authors_text":"Charles Sutton, Miltiadis Allamanis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-01T23:04:12Z","title":"Mining Idioms from Source Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0417","kind":"arxiv","version":3},"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:0c2aab82fa7c098148a16034e381998ed790088bf8f5ba691424406ed131fc79","target":"record","created_at":"2026-05-18T00:59:59Z","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":"5972f01b5dd4f9ecba95afa33a8f341d88c7be6a9ecae80993141a5b67ef0c65","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-01T23:04:12Z","title_canon_sha256":"7436d3d069be02b1fae9cdd87385539fc0403607e78e6e3ebd6b5de71e8ed78d"},"schema_version":"1.0","source":{"id":"1404.0417","kind":"arxiv","version":3}},"canonical_sha256":"5ec5e087069f36a804eca47b916da749b4b108f13b2a055d7afe8700f20acf76","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ec5e087069f36a804eca47b916da749b4b108f13b2a055d7afe8700f20acf76","first_computed_at":"2026-05-18T00:59:59.249600Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:59:59.249600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"46753LL34xZhp9B5DFZIRuTQOpskDHdSWgB66hKzBahTNQT01Nvs8k9ZU+71LsqYs8ek9ZjUybdA//BZ8mqHDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:59:59.250202Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.0417","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c2aab82fa7c098148a16034e381998ed790088bf8f5ba691424406ed131fc79","sha256:14e71c550a901cfc89bc2d49e83b907f0ccc61059dfd09dd6ca47be15855f985"],"state_sha256":"598f25368bbdcc005fb06978c83aa10ec77e652a7cf96a617e545cf27355c6d3"}