{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:L3C6BBYGT43KQBHMUR5ZC3NHJG","short_pith_number":"pith:L3C6BBYG","canonical_record":{"source":{"id":"1404.0417","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-01T23:04:12Z","cross_cats_sorted":[],"title_canon_sha256":"7436d3d069be02b1fae9cdd87385539fc0403607e78e6e3ebd6b5de71e8ed78d","abstract_canon_sha256":"5972f01b5dd4f9ecba95afa33a8f341d88c7be6a9ecae80993141a5b67ef0c65"},"schema_version":"1.0"},"canonical_sha256":"5ec5e087069f36a804eca47b916da749b4b108f13b2a055d7afe8700f20acf76","source":{"kind":"arxiv","id":"1404.0417","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:L3C6BBYGT43KQBHMUR5ZC3NHJG","target":"record","payload":{"canonical_record":{"source":{"id":"1404.0417","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-01T23:04:12Z","cross_cats_sorted":[],"title_canon_sha256":"7436d3d069be02b1fae9cdd87385539fc0403607e78e6e3ebd6b5de71e8ed78d","abstract_canon_sha256":"5972f01b5dd4f9ecba95afa33a8f341d88c7be6a9ecae80993141a5b67ef0c65"},"schema_version":"1.0"},"canonical_sha256":"5ec5e087069f36a804eca47b916da749b4b108f13b2a055d7afe8700f20acf76","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:59:59.250202Z","signature_b64":"46753LL34xZhp9B5DFZIRuTQOpskDHdSWgB66hKzBahTNQT01Nvs8k9ZU+71LsqYs8ek9ZjUybdA//BZ8mqHDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ec5e087069f36a804eca47b916da749b4b108f13b2a055d7afe8700f20acf76","last_reissued_at":"2026-05-18T00:59:59.249600Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:59:59.249600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.0417","source_version":3,"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-05-18T00:59:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cbpaGtGcKmqB3I+Nazi+khcYFRBEJg4nwxOu8MpSJMwhc+n7W1vC1qR6AgfsEoaqkSQaVcomJ5VAVL+2+IikDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T20:30:31.631230Z"},"content_sha256":"0c2aab82fa7c098148a16034e381998ed790088bf8f5ba691424406ed131fc79","schema_version":"1.0","event_id":"sha256:0c2aab82fa7c098148a16034e381998ed790088bf8f5ba691424406ed131fc79"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:L3C6BBYGT43KQBHMUR5ZC3NHJG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mining Idioms from Source Code","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Charles Sutton, Miltiadis Allamanis","submitted_at":"2014-04-01T23:04:12Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0417","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:59:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LYdwt6XdYP39c9kCTm2AEyavGtafEeTPNcM3btr6+Ggdt1tgao3sz5vYM89+t1fv7rG1Ur1QLZftqMPddzWkCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T20:30:31.631957Z"},"content_sha256":"14e71c550a901cfc89bc2d49e83b907f0ccc61059dfd09dd6ca47be15855f985","schema_version":"1.0","event_id":"sha256:14e71c550a901cfc89bc2d49e83b907f0ccc61059dfd09dd6ca47be15855f985"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/bundle.json","state_url":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/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-08T20:30:31Z","links":{"resolver":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG","bundle":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/bundle.json","state":"https://pith.science/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L3C6BBYGT43KQBHMUR5ZC3NHJG/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ils3wd4BkZXX6GtFUSAK0RdrMcW6jLhfUB8qu7w8W+q6RMzBp8wcOUH2P/uUfOeAuUnOepB7nWm6CVZIAZXhAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T20:30:31.635892Z","bundle_sha256":"4703e0e8f80eca319f3699b785bd86437142854491e1f2215e343b13cf294286"}}